+ (-112)/20. Let z = k + 41. Is z a multiple of 10?
False
Suppose -u - 4*r + 1671 = 0, 2*u - 241 = -3*r + 3126. Is 89 a factor of u?
True
Let f(r) be the second derivative of r**3/3 - 5*r**2 - 9*r. Let m be f(5). Suppose -8 = -2*q - 4*k, m = q + k - 1 - 8. Does 14 divide q?
True
Let t(v) = 4 - 3*v**2 - 2*v**2 - 16*v + 6*v**2 + 6. Suppose -8*m + 66 = -86. Is t(m) a multiple of 18?
False
Suppose 61*r = 18*r + 61533. Does 9 divide r?
True
Let d(f) = f**2 + 25*f + 42. Let q be (-2 - -20)*(25/(-10) - -1). Is 17 a factor of d(q)?
False
Does 6 divide (150/(-8))/((-63)/(-16) - 4)?
True
Let n be 0/(-1)*1/(-3). Suppose -2*w + 0 - 112 = n. Let v = 110 + w. Does 24 divide v?
False
Does 8 divide (16 - -411) + 3/(-1)?
True
Let t(y) = -y**3 - 12*y**2 - 14*y. Let p be t(-12). Suppose 4*b - p = 2*b. Is b a multiple of 5?
False
Suppose -14*w + 1415 + 69 = 0. Is w a multiple of 5?
False
Let q(b) = 3*b**2 + 2*b - 2. Let v be q(2). Suppose 4*s - 2*t - 58 = 0, 3*s - 26 = 5*t + v. Is s a multiple of 15?
True
Let c(j) = 62*j**2 - 51*j - 2. Is 13 a factor of c(3)?
True
Let l(o) = -49*o + 24. Is 16 a factor of l(-24)?
True
Let s = 2949 - 1970. Is 29 a factor of s?
False
Let x(k) = 2*k**2 - 3*k + 2. Let o be x(2). Does 21 divide o/(-10) - (-1054)/10?
True
Let q be (2*2 + 1791/36)*-4. Let y = 353 + q. Does 48 divide y?
False
Suppose 5*x - 5*f = 4*x - 17, 0 = -5*x - 2*f + 23. Suppose -x*j + j = 0. Suppose 5*w - 2*p - 11 = 311, -4*p - 4 = j. Is w a multiple of 32?
True
Suppose 2*o + 3*l + l - 720 = 0, 5*o + 2*l - 1784 = 0. Is 18 a factor of o?
False
Let i(v) = 10 - 2 + 3*v + v**2 - 3*v. Does 8 divide i(4)?
True
Suppose 9*n + 238 - 4990 = 0. Does 43 divide n?
False
Let k = 5 - -61. Suppose -4*x + 37 = 3*i - 30, 3*x - 3*i - k = 0. Does 2 divide x?
False
Let t be 40/60 + (-4)/6. Suppose -38 + t = -2*c. Is c a multiple of 19?
True
Suppose -f + v = 5*v - 101, 4*v = 4*f - 304. Is f a multiple of 11?
False
Suppose 3*z = -3*d + 147, 3*z = 3*d - 69 + 204. Suppose 7 = 3*y - z. Does 6 divide y?
True
Let a(t) = 2*t**3 - 5*t**2 + 9*t - 15. Let g be a(5). Let m = g + -89. Does 11 divide m?
True
Let l(z) = 8*z**3 - 2*z**2 - z - 4. Let s be l(-2). Let d = s - -99. Does 3 divide d?
False
Let g(c) = -2*c - 6. Let w be g(-2). Is 1/w*24/36*-63 a multiple of 7?
True
Suppose -45*l = -36*l - 22095. Is 20 a factor of l?
False
Let x(o) be the first derivative of o**3/3 + 9*o**2/2 + 15*o - 5. Is x(-9) a multiple of 5?
True
Let j be -1*1/((-4)/(-4)). Is (60 - 2) + 2 + j a multiple of 22?
False
Let m(l) = -l**2 + 7*l + 5. Suppose 6 = 2*c - 8. Let n be m(c). Suppose 4*d = n*d - 3*u - 53, -3*d = -4*u - 134. Does 30 divide d?
False
Let r(a) = 2*a**2 - 3*a + 1. Let n be r(4). Let q = 24 - n. Suppose -6 = -z - q. Is z a multiple of 3?
True
Let g be 4*-5*(-2)/(-4). Let w(m) = 5*m + 39. Let d(c) = -2*c - 13. Let o(l) = 7*d(l) + 2*w(l). Does 10 divide o(g)?
False
Suppose -6*d + 3037 = -4*d - 5*g, -3*d + 4564 = g. Is d a multiple of 22?
False
Let i(l) = -l**3 + 12*l**2 - 9*l - 3. Is 15 a factor of i(8)?
False
Let g = -20 + 18. Let r(y) = 10*y**2 + 4*y + 6. Let t be r(g). Suppose 2*q - t = 3*u + 150, -4*q = 2*u - 360. Does 13 divide q?
True
Is ((-624)/30 - -2)/(3/(-225)) a multiple of 61?
False
Let s = 2788 + -1629. Is 19 a factor of s?
True
Suppose 0*c - 5*c = 40. Let y be 25 - 4/(4 + c). Suppose 4*h - 8 = 0, -y + 0 = -n + h. Does 14 divide n?
True
Let v be 1/(-4) + 993/4. Suppose -7*n + v = -3*n. Is n a multiple of 12?
False
Suppose 0 = 2*x - 3*g - 59, 0 = x - 0*g + 2*g - 47. Let y be -2 + (5 - (6 - 4)). Let o = y + x. Does 11 divide o?
False
Suppose 2*c = 6*c - 20, j + 5*c - 19 = 0. Let d(k) = 6*k + 49. Is d(j) a multiple of 9?
False
Let n be (-4)/(3/3) - -4. Suppose n = 6*d - d - 5, -3*i - 5*d = -338. Is 37 a factor of i?
True
Does 15 divide ((-5)/(-10))/((-4)/(-16384)) - -3?
False
Let u(z) = z + 7. Let k be u(5). Is ((-99)/(-22))/(1/k) a multiple of 6?
True
Does 17 divide 0 + (-3)/(-3) + 174?
False
Suppose -18111 = -19*b + 19661. Is 30 a factor of b?
False
Let y = 97 + -45. Suppose 0*c + 2*c = y. Let i = c - 11. Is i a multiple of 5?
True
Let n = -8 - -4. Is 28 a factor of ((-376)/(-1))/(n - -6)?
False
Let x = -95 - -100. Suppose 3*l = x*l - 618. Does 22 divide l?
False
Let v be ((-8)/36)/((-2)/18). Let b = 248 + v. Let w = b - 162. Is 16 a factor of w?
False
Suppose -d - 3744 = -5*d. Is 15 a factor of d/30 + -3 + (-2)/10?
False
Let a be 5 - (10/5)/(-2). Suppose -9 = y - 4*y. Suppose 87 = y*q - a. Is q a multiple of 14?
False
Suppose 0 = -c + 2*x + 680, 0 = -2*c + 9*x - 12*x + 1346. Does 12 divide c?
False
Suppose -4*s - q = -2774, -s + q - 6*q = -703. Is s a multiple of 63?
True
Let i = -13 - -26. Let v = i - 8. Suppose -w + 15 = 3*a, -32 = w - v*w - 5*a. Is w even?
False
Let r(g) = 6*g - 3. Let s be r(-5). Let b = -15 - s. Does 18 divide b?
True
Suppose 3*h - 6 = -0. Let j be 2 + -4 + h + -9. Does 5 divide ((-6)/4)/(j/42)?
False
Suppose -y = -2*x - 33, -2*y = x + 2*y + 30. Is 6 a factor of x/(-24)*2*30?
False
Suppose 0 = 73*p - 27*p - 11592. Is 12 a factor of p?
True
Suppose -490 = -5*h - 2*h. Let p = h + 33. Is 15 a factor of p?
False
Suppose -3*c - t + 3947 = 0, -3*c - 126 = -t - 4069. Does 5 divide c?
True
Suppose 12*r = -5*t + 15*r + 11894, 11888 = 5*t - r. Does 8 divide t?
False
Suppose 0*x + 3*x - 2*c - 10 = 0, 10 = 2*x - 3*c. Suppose 3 = x*k - 21. Suppose -2*w - 8*m = -3*m - k, 5*m = 2*w - 52. Is w a multiple of 16?
True
Let q(v) = -v**3 - 3*v**2 + 6*v + 8. Let o be (9 + -10)*4/1. Let p be q(o). Let n = 16 + p. Is 8 a factor of n?
True
Is (-6 - -1)*-10*(-22)/(-4) a multiple of 20?
False
Let b = 933 + -822. Is 5 a factor of b?
False
Let x be 4*39*(-1)/(-6). Suppose 2*d + 12 = -d, -d = 4*f + 92. Let q = x - f. Is 24 a factor of q?
True
Let i = 69 - 65. Suppose -i*g = -6*g + 140. Is g a multiple of 11?
False
Let a be 4/3*18/12. Let r be 4*1/a + 0. Suppose x - 4 = -3*k, -r*x - 3*k + 13 = -7. Is 14 a factor of x?
False
Let x(d) be the second derivative of 7*d**3/3 - 14*d**2 + 7*d. Does 7 divide x(5)?
True
Let z be ((-80)/(-36) - 4/18)*165. Suppose 5*s = -n + z, 5*s - 6*n + 11*n - 350 = 0. Is 6 a factor of s?
False
Suppose h + 99 = -83. Let r = h + 351. Is r a multiple of 13?
True
Suppose 79*h - 84*h + 575 = 0. Is h a multiple of 6?
False
Let g(n) = 7*n + 11. Suppose 3*s - 13 - 2 = 0. Is 6 a factor of g(s)?
False
Suppose 10*z + 2*c = 5*z + 1986, -c = -5*z + 1977. Is 44 a factor of z?
True
Suppose -2*f = f - 756. Suppose b + 2*b - f = 0. Suppose -2*d - 2*z = -b, 86 + 12 = 2*d - 5*z. Does 9 divide d?
False
Suppose 2*b - 2*g = 262, 3*b - g = g + 394. Is b a multiple of 11?
True
Is ((-1068)/(-30))/(4 + 158/(-40)) a multiple of 79?
False
Let a(w) = 18*w - 70. Does 17 divide a(56)?
False
Let u = 138 - 36. Does 51 divide u?
True
Does 23 divide (12/10)/(-2) - 4970324/(-1615)?
False
Let q = 252 + -99. Suppose -2*w + 5*w = 3*k + q, 0 = -5*w - k + 231. Does 16 divide w + (-3 - -3) - -1?
True
Is (-5 - 105/(-9))*3036/8 a multiple of 55?
True
Is (10/(-8))/((-3)/216) a multiple of 15?
True
Suppose -82 = g + 2*z, 0*g - 4*g - 3*z = 343. Let l = -29 - g. Does 12 divide l?
False
Suppose -5*s - 8*s = -26. Suppose -s*k = 3*y - 506, 4 - 5 = -k. Is 24 a factor of y?
True
Let n = 35 + -30. Let j(q) = 3*q - 1. Is 4 a factor of j(n)?
False
Let p be -10*((-243)/6)/9. Suppose -c - p = -6*c. Is c a multiple of 8?
False
Suppose 3 = -82*h + 79*h. Does 7 divide (((-224)/(-5))/(-2))/(h/5)?
True
Let a = -392 - -966. Does 83 divide a?
False
Suppose -3*j = 2*h - 6652, 34*j + 2204 = 35*j - 2*h. Does 54 divide j?
True
Suppose 0 = -6*a - 8*a + 3*a. Suppose a = 6*q - q - 45. Is q a multiple of 3?
True
Let w(j) = -j**3 + 2*j**2 + 5*j - 4. Suppose 2*v + 9 = -0*v + 3*y, 3*v - 4 = y. Let m be w(v). Suppose 3*t - 5*z = 32, 3*t - m*z = -7*z + 52. Does 11 divide t?
False
Let x(i) = 0*i + 2*i + 0*i - 6*i + 4. Let c be x(-11). Suppose -r + 3*r - c = 0. Is 8 a factor of r?
True
Suppose 0 = n + 20 - 20. Suppose -z + 2 + 33 = n. Is 20 a factor of z?
False
Let b(j) be the third derivative of -2*j**5/5 - j**4/12 + j**3/6 + j**2. Let q be b(2). Let s = -53 - q. Is s a multiple of 14?
False
Suppose -116*f + 3450 = -110*f. Is 23 a factor of f?
True
Suppose -11 + 1 = u. Let p(i) = i**3 + 9*i**2 - 13*i + 11. Is p(u) a multiple of 9?
False
Suppose -7*j = -