 12*a**2 - 16*a + 9. Let j be m(13). Let i = 92 - 46. Let l = i + j. Is 8 a factor of l?
True
Let b(u) = u**2 - u - 7. Let w be b(-3). Suppose 5*s - s = 20, s + 105 = w*j. Is 11 a factor of j?
True
Suppose 0 = 17*h - 6770 - 5861. Is 79 a factor of h?
False
Suppose -3*z + 24 = 5*o - o, -3*o = 5*z - 29. Suppose 0 = v - 5*c + 27, 31 = 2*v - o*v + 3*c. Let g = v - -64. Is 8 a factor of g?
False
Let k be ((-20)/6)/(20/(-15) - -1). Suppose -u - 9 = -n, -7 = 4*n - 2*u - 35. Suppose 5*b - n*l = 10, -2 + k = 2*b - l. Is 6 a factor of b?
True
Let w be 1/(-2)*(-19)/((-57)/(-18)). Suppose -4*f = w*z - 115, 77 = 9*z - 7*z + 3*f. Does 10 divide z?
False
Suppose -6*z = 4*z - 1060. Suppose 0 = f - 4*g - z, g + 43 - 501 = -4*f. Is 38 a factor of f?
True
Suppose -3*q = 2*q + 180. Let d be ((-9)/6)/(3/(-164)). Let x = d + q. Is 11 a factor of x?
False
Is 3248 - ((-3)/6*-8 + -1) a multiple of 55?
True
Let l = -7 - 1. Let a(q) = -4*q - 9. Let f be a(l). Let i = f + -10. Is i a multiple of 7?
False
Suppose 0*o = -3*o + 6. Suppose 0*l + o*l - 160 = 0. Does 40 divide l?
True
Let f = 5 - 5. Let v be 3*-15 + f + 1. Let u = v + 103. Is u a multiple of 18?
False
Let l = 314 + -209. Does 21 divide l?
True
Suppose -q - 3 + 1 = 2*v, -5*v = -2*q - 4. Suppose 0 = -v*y - 4*y + 72. Is y a multiple of 7?
False
Suppose 8*n - 12 = 7*n. Suppose -n = 2*p - 70. Is 15 a factor of p?
False
Suppose 2*j - 8*f + 7 = -3*f, -3*j - 4*f + 24 = 0. Suppose -3*c - 33 = -2*h - 8*c, 2*c - 74 = -j*h. Is h a multiple of 2?
False
Suppose -5285 = -17*j - 797. Is 22 a factor of j?
True
Let n = 291 - 161. Is 13 a factor of n?
True
Suppose -2*c = -5*c + 105. Is 3 a factor of (-8)/(-10) - (-1302)/c?
False
Let h(g) = 2*g**3 - 4*g**2 + 3*g + 12. Suppose n - 1 - 3 = 0. Does 22 divide h(n)?
True
Let u(h) = 2*h**3 + 2*h**2 - 4*h - 40. Is 16 a factor of u(5)?
True
Let u(l) = -l - 1. Let h(t) = 57*t**2 + 5*t + 5. Let o = 2 + -1. Let d(x) = o*h(x) + 4*u(x). Is 19 a factor of d(-1)?
True
Let x be (8/3)/(2/(-9)). Let r = 23 + x. Suppose g + r = 44. Is g a multiple of 11?
True
Suppose -3*c + 3 = -0. Suppose -c = -v + 3*d, -4*v = 4*d - 70 - 14. Suppose v*a - 108 = 12*a. Is 16 a factor of a?
False
Let x = -12 + -8. Let q(o) = 3*o**2 + 9*o + 3. Let m be q(-6). Let a = x + m. Is a a multiple of 13?
False
Let v(y) = -4*y**2 - 17*y + 42. Let p be v(-17). Is 15/5 - (p/3 - 2) a multiple of 16?
False
Let c(w) = -w**2 + 28*w + 73. Does 13 divide c(30)?
True
Let p = -172 + 293. Is p a multiple of 55?
False
Let t be (-201)/(-2)*196/21. Suppose -2*g = 5*a - 1578, g = 3*a - 0*g - t. Suppose -a = -4*y - s - s, 4*s = -y + 68. Is 35 a factor of y?
False
Suppose 21*j - 7 = 20*j. Is 12 a factor of 52/1 - (-3 + j)?
True
Let o(q) = 228*q + 18. Is o(9) a multiple of 50?
False
Let a(b) = -29*b**2 - 11*b - 1. Let u(d) = 14*d**2 + 5*d + 1. Let y(g) = 4*a(g) + 9*u(g). Is y(-5) a multiple of 50?
True
Suppose -p + 308 = 3*p. Let b = 118 - p. Does 22 divide b?
False
Is 4 a factor of (-35400)/(-192) + 9/(-24)?
True
Let o be 16/(-24)*6/(-4). Suppose 13 = 4*s + o. Is (-4 - (-6)/s)*-15 a multiple of 15?
True
Suppose -4 = -l + 1. Let i = l + -9. Does 20 divide ((-32)/3)/(i/30)?
True
Let v(x) = 46*x**2 - 17*x - 35. Is 18 a factor of v(-4)?
False
Let j(k) = 2*k**2 - 24*k + 7. Let f be j(16). Suppose q + 4*p = 6*q - 252, -f = -3*q - 3*p. Suppose 192 = 5*v - q. Does 16 divide v?
True
Let n = 56 - 98. Suppose 6*y + 7*y = 858. Let m = y + n. Does 8 divide m?
True
Suppose -2*j = -3*d - 4025, 5*d - 11048 = -5*j - 998. Does 68 divide j?
False
Suppose -16*h - 1425 = -11953. Is 14 a factor of h?
True
Suppose 587*a = 575*a + 4500. Is a a multiple of 20?
False
Is 44 a factor of -13 + -14*162/(-12)?
True
Suppose -6*s + 11*s = 0. Suppose -4*p + 16 = s, -2*g + 5*p = 3*p + 16. Is 13/(g - 145/(-35)) a multiple of 13?
True
Let q be -3 + (19 + 2)/3. Suppose -4*g - 4*c = 8, -3*g = -q*g + c + 6. Let o = 11 + g. Does 7 divide o?
False
Suppose 0 = -5*l - 0*l + 15. Suppose l*a = 9, -3*u + u + 16 = -4*a. Does 5 divide u?
False
Let j be 2253 + 0/(-3 + 0). Suppose 713 = -10*c + j. Does 26 divide c?
False
Suppose 2*s - 1176 = r, 0*r = -3*r + 12. Is 9 a factor of s?
False
Let h = 8 + -8. Suppose -4*y - 9*o + 4*o + 58 = 0, -2*y - 5*o + 34 = h. Suppose 5*l - y = -0*n + 2*n, 0 = 3*l - 3*n. Does 4 divide l?
True
Let f be 1/((-68)/24 - -3). Suppose f*v - 3*v - 12 = 0. Suppose 6 = 5*a - v. Is 2 a factor of a?
True
Let d = -10 - -9. Let x = 4 + d. Suppose x*s + 0*s - 54 = 0. Is s a multiple of 9?
True
Let k(u) = 2*u + 2. Let f be k(4). Suppose -4*w = w - f. Suppose l - v - 13 = 0, -w*l + 12 + 18 = -4*v. Does 4 divide l?
False
Suppose -22 = -5*f + 3. Suppose f*m - 20 = -3*u + 15, -13 = 3*m - 5*u. Suppose -4*i + 192 = 4*g + g, 166 = m*g - 3*i. Is g a multiple of 16?
False
Suppose -4*t - p + 3329 = 0, -3*t - 4*p = -t - 1668. Does 20 divide t?
False
Suppose 5*w - 2*n - 153 = 0, 3*n = -2*w - 0*w + 46. Is w even?
False
Is -6*35/(-14)*3*2 a multiple of 6?
True
Is 7 a factor of 5 + -1 + 50 + -33?
True
Suppose 0 = 5*a - 9*a + 4312. Does 49 divide a?
True
Let x = 66 + -53. Suppose -5*u = 2*a - x - 12, 0 = 5*a + 4*u - 37. Does 4 divide a?
False
Suppose 17*g + 1184 = 2*b + 13*g, g = 0. Does 16 divide b?
True
Is (143/39)/(3/1089) a multiple of 7?
False
Let n(d) = -d**3 + 3*d**2 - d + 20. Is 16 a factor of n(-8)?
False
Let k = 92 + -66. Suppose 0 = 2*z - 10, -z + k = 3*c + 69. Let y = c - -38. Does 5 divide y?
False
Let d = 53 - 41. Suppose -d*q = 19 - 691. Does 16 divide q?
False
Let t(u) = -u**2 + u - 66. Let x be t(0). Let s = 565 + -451. Let f = x + s. Is 8 a factor of f?
True
Suppose 0 = 7*d - 5*d - 26. Let f = d + -11. Suppose 6*k - 3*k = w - 4, w + f = 5*k. Does 8 divide w?
False
Suppose -4*d + 0*d + 3*d = 0. Suppose 3*y - 143 = 5*m, y - 4*m - 12 - 31 = d. Does 11 divide y?
False
Does 31 divide 1*((-4296)/(-6) + 3 + -6)?
True
Let d(y) = 3*y + 9*y**2 - 24 + 12 + 13. Does 8 divide d(3)?
False
Suppose -7*s = -9*s + 10. Suppose 0 = 3*h - s*h + 20. Does 10 divide h?
True
Let c(b) be the second derivative of 37*b**3/6 - 7*b**2 - 5*b. Let v be c(4). Let s = -90 + v. Is 11 a factor of s?
True
Let o(u) be the third derivative of 2*u**5/15 - 5*u**4/24 + 5*u**3/6 + 12*u**2. Let i be o(5). Suppose h - 81 - 23 = -5*z, 2*h - i = -3*z. Is 21 a factor of h?
True
Suppose -2372 + 345 = -5*x - 2*l, -3*x - 4*l = -1219. Is 28 a factor of x?
False
Suppose 5*i - c + 157 = 0, -1 = c + 2. Let o = 47 + i. Is o a multiple of 10?
False
Let t(a) = -a**2 + 6*a + 10. Let s be t(7). Let j be 339/21 - s/21. Suppose -2*m - j + 154 = 0. Does 19 divide m?
False
Let n(y) = -122*y - 80. Does 3 divide n(-4)?
True
Suppose 22*s - 2526 = 19*s - 5*o, -5*s = -4*o - 4247. Does 31 divide s?
False
Suppose -4*c + 3*c + i - 15 = 0, -3*i = -4*c - 55. Is 19628/70 + 4/c a multiple of 17?
False
Suppose -2*w = 2*w - 5*r + 29, -w + 2*r = 11. Is w/(-4) + 127*1/4 a multiple of 14?
False
Let p be 0/2*(-1)/(-2). Suppose p = -0*u + 3*u + 309. Let b = u + 166. Is 14 a factor of b?
False
Let v(x) = 65*x**2 + 2*x + 2. Let q(u) = -u**2 + 10*u + 2. Let n be q(8). Let y = n - 19. Does 16 divide v(y)?
False
Suppose 31524 = -169*n + 206*n. Is 13 a factor of n?
False
Is 6 - (-4 + (-2 - (-7612)/(-4))) a multiple of 30?
False
Let o = -4 + 2. Let k = -2 - o. Let x(f) = -f + 20. Is 8 a factor of x(k)?
False
Let t(u) = 60*u**2 - 6*u + 19. Does 90 divide t(3)?
False
Suppose 0 = 9*n - 13*n + 680. Does 17 divide n?
True
Let t(c) = c**3 + 6*c**2 + 6*c + 2. Let w be t(-5). Let n be 92/12 - 1/w. Suppose 62 = d + n. Is 15 a factor of d?
False
Let q = 7500 - 4360. Is 20 a factor of q?
True
Suppose 181*c - 190*c + 5859 = 0. Is 21 a factor of c?
True
Suppose -6*o + o + 2575 = -3*m, 4*m = 5*o - 3440. Is 22 a factor of (m/(-15) - 3)*3?
False
Let n(c) = 81*c - 10. Let v be n(5). Suppose v = 5*d - 0*a + 5*a, -5*d + 435 = -3*a. Suppose 5*w - 70 = -5*z, 4*z + d = 3*w + 21. Does 8 divide w?
False
Let u = -86 + 89. Suppose 0 = 5*w - 5, 2*i = -3*i - 2*w + 22. Suppose -20 = -4*b, i*b = -l + u*b + 14. Is l even?
False
Let q = 57 - -204. Let v = 448 - q. Does 34 divide v?
False
Let q(v) = -v**3 - 2*v**2 - v - 4. Let k be (-9)/(-3)*3/(-3). Is q(k) a multiple of 4?
True
Let h(d) = -29*d - 5. Does 5 divide h(-10)?
True
Let r(c) = c + 9. Let w be r(-5). Suppose k + 957 = 5*l + 2*k, -4*