- 12*g**2 - 5*g - 2. Let q(p) = -p**3 - 12*p**2 - 6*p - 3. Let m(k) = 5*h(k) - 6*q(k). Let t be m(-11). Suppose c + 4 = t. Does 3 divide c?
False
Let d(y) = y**2 + 10*y + 22. Suppose 13*r - 12*r + 8 = 0. Is d(r) a multiple of 6?
True
Let j(q) = 108*q**3 + q**2 + q - 2. Let t be (1 - 3)*(-3)/(-2) - -4. Is j(t) a multiple of 18?
True
Let d(b) = 2*b**2 + 16*b + 29. Let j be d(-9). Suppose 407 = 5*m + j. Is m a multiple of 7?
False
Suppose 4*b - 168 = 372. Is b a multiple of 3?
True
Let z(n) = 5*n**2 - 3*n - 12. Let p be z(-5). Suppose -12*a = -14*a + p. Does 16 divide a?
True
Suppose -2*b - 789 = b. Let h = -323 - -155. Let r = h - b. Is r a multiple of 19?
True
Let d(z) = -z**2 - 14*z + 3. Let r be d(-12). Does 6 divide (4/6)/(1/r)?
True
Let i = 100 + -202. Let z = -30 - i. Let u = 127 - z. Does 20 divide u?
False
Does 11 divide (-3 - 12060/(-42)) + (-5)/35?
False
Suppose o - 157 = -3*n, 4*o - 3*o - 55 = -n. Suppose 0 = 3*l + 6 - n. Is l a multiple of 5?
True
Suppose 2*x = 4*n + 1904, 28*x - 948 = 27*x + 4*n. Is x a multiple of 51?
False
Suppose 5*z - 3*m = 11, -4*z = -2*m - 2*m - 4. Suppose 2*k = 4*r - 3*k - 133, 0 = z*r - 2*k - 118. Let d = r - 13. Does 5 divide d?
False
Let o be 1/5 - 41/5. Let p = o - -40. Suppose -p = -y + 2*v, -y + v + 30 = -0*v. Does 14 divide y?
True
Suppose 6*f = 3*f - 4*u - 171, 0 = -3*u + 9. Let k = f - -84. Does 12 divide k?
False
Let s be (2/(-4) + 0)/(2/24). Let v = s - -38. Is v a multiple of 10?
False
Let z = 12 + 6. Let j = z + -15. Suppose 2*i = j*i - 13. Does 11 divide i?
False
Let q(c) = -23*c. Let k = 7 - 6. Let m be q(k). Let v = -2 - m. Is 21 a factor of v?
True
Let q(g) = -g**3 + 16*g**2 - 29*g - 16. Is q(6) a multiple of 5?
True
Is (2/3)/(264348/26433 + -10) a multiple of 32?
False
Suppose 5*g - 13767 = x - 2*x, -5*g = 4*x - 13758. Does 71 divide g?
False
Let j(u) = u**3 - 8*u**2 - 24*u + 10. Let m(a) = 12*a**2 + 2*a - 2. Let t be m(1). Is j(t) a multiple of 17?
False
Let a = 892 + -547. Suppose -a = 9*k - 12*k. Does 24 divide k?
False
Let m(r) = r**3 + 11*r**2 + 11*r. Is m(-3) a multiple of 3?
True
Let i(z) = z**3 - 13*z**2 - 4. Let n be i(13). Is 5 a factor of (n + (-36)/16)/((-2)/8)?
True
Suppose -3*j + 2*x + 1664 + 74 = 0, 3*x - 1713 = -3*j. Suppose -g = 3*g + 4*p - j, 576 = 4*g - 2*p. Is 36 a factor of g?
True
Does 58 divide (-6 - (1 - 1863))*(-7)/(-14)?
True
Let b be 32/(-2)*6/(-12). Suppose 6*d = b*d. Suppose 0*x - 5*x + 50 = d. Is 5 a factor of x?
True
Suppose u + 1 + 4 = -5*x, -u + x = -1. Suppose 4 = -u*r + 2*r. Suppose -r*j - 3*j = -270. Is 19 a factor of j?
False
Let x(t) = t**3 - 7*t**2 + 3*t + 9. Let h be x(8). Let j = -60 + h. Let b = 53 - j. Is b a multiple of 5?
False
Let n = -23 + 32. Let d = 19 - n. Suppose -13*k + 156 = -d*k. Is 13 a factor of k?
True
Suppose 0 = -9*u + 95 - 32. Let p(t) = 12*t + 24. Is 12 a factor of p(u)?
True
Suppose -3*h = 32 - 161. Suppose 213 + h = 2*z. Is 32 a factor of z?
True
Suppose 2 = 2*z, 0 = -3*g - 2*z - 2*z + 58. Suppose 17*w = g*w - 27. Does 6 divide w?
False
Is (16 - 33) + 323 - (0 + 0) a multiple of 18?
True
Suppose 4*u - l - 2117 = 0, u - 3*l - 192 = 351. Is u a multiple of 33?
True
Let h = -25 + 27. Suppose 0 = -5*m - 3*u + 15, -2*u = h*u. Does 12 divide (-15)/(-1 + 0)*m?
False
Suppose -2*a - 8 = 2*a. Let r = a - -1. Is r/4*-10*8 a multiple of 10?
True
Let s be (-171)/(-33) - (-2)/(-11). Suppose -3*i = -2*i + 2*u + 8, 0 = s*i + u + 4. Suppose i = 5*n + 5*z - 282 - 183, -4*z = n - 93. Does 24 divide n?
False
Let i(b) = -b**2 - 9*b - 5. Let r be i(-8). Suppose -38 = c + 3*g, 3*c = r*g + 2*g - 156. Let z = c + 82. Is z a multiple of 13?
False
Let p = -122 - -157. Is p a multiple of 7?
True
Suppose 15*t - 3024 = 6*t. Does 17 divide t?
False
Suppose -n - 5 = 0, 6*n + 6 = -2*p + 4*n. Suppose p*u - 108 = 5*i, -3*u + 0*i = 5*i - 212. Is u a multiple of 16?
True
Let d(i) = 43*i - 493. Is d(26) a multiple of 4?
False
Let g be 1/(2 + (-65)/33). Let u = g - 31. Suppose -196 = -4*c + u*c. Is c a multiple of 41?
False
Let h be 15*-2*(-3)/18. Suppose -2*s = h*c - 8, 4*c - 13 = -5*s + 7. Suppose -s*f = -9*f + 210. Is f a multiple of 7?
True
Let k be (-3 - 2)/10*0. Let l(g) = -g**2 - g + 164. Is 23 a factor of l(k)?
False
Let f(s) = -s**2 - 6*s + 9. Let n be f(-7). Let p be (6/(-3) + 2)/n. Suppose p = 5*k - 24 - 106. Is 4 a factor of k?
False
Let n(o) = o**3 + 7*o**2 + 4*o - 6. Let s = 17 + -25. Let i = s - -3. Is 6 a factor of n(i)?
True
Let z(i) = i**2 + i - 4. Let y be z(0). Is (y + -1 - -1) + (-12 - -268) a multiple of 18?
True
Let a(x) = 9*x + 5. Let n be a(4). Let r = -1 - n. Let j = r + 78. Is 9 a factor of j?
True
Let a(b) = 2*b**2 - 5*b - 45. Suppose -8*h = 20 + 52. Is a(h) a multiple of 27?
True
Let j(c) = -89*c - 146. Is 20 a factor of j(-4)?
False
Let f(w) = w**3 + 2*w**2 + w + 2. Let v be f(4). Suppose -171 = -7*g + v. Is 39 a factor of g?
True
Suppose 2007 = 6*q - 4341. Is 23 a factor of q?
True
Suppose -30*s + 216 = -34*s. Is 180/s*(0 - 72) a multiple of 27?
False
Suppose -4*w - u + 13 = 0, -4*u = w + w - 10. Suppose -64 = -4*y + 2*b, -5*y = w*b - 25 - 55. Suppose 2*v = -6 + y. Is v a multiple of 5?
True
Suppose -11*f + 1370 = -214. Is f a multiple of 3?
True
Suppose 3*q + 137 = 2*s, 2*s - 4*q - 205 = -s. Suppose s = r + 50. Does 13 divide r?
False
Let p = -206 + 236. Is p a multiple of 30?
True
Let h = 63 + -51. Suppose -2*p + 150 = h. Is p a multiple of 8?
False
Suppose -x + 2 + 10 = -5*v, -3*x + 2 = 2*v. Suppose -40 = -4*m + x*m. Is m a multiple of 10?
True
Let q = 52 - 48. Suppose -4*t + 417 = 3*c - 258, q*c = t - 164. Is 12 a factor of t?
True
Suppose 0 = -41*z + 39*z + 628. Does 70 divide z?
False
Suppose x - 2 - 3 = 0. Suppose -5*o + x*j + 13 = -37, -3*o - 3*j + 6 = 0. Let t(b) = b**2 - 2*b - 7. Is t(o) a multiple of 14?
False
Let j(r) = -r**2 - 14*r - 8. Let m be j(-13). Suppose m*f - 89 = 31. Is 3 a factor of f?
True
Is 43 a factor of (19 + -22)*(-172)/6?
True
Suppose r - 70 + 3 = 0. Suppose 15 = 2*h - r. Suppose -3*v + 1 = -h. Is v a multiple of 5?
False
Let l(j) = -4*j - 9. Let p be l(-4). Suppose 3*u - p = 5. Suppose -4*x = -6*i + 2*i + 92, i - u*x = 35. Is 7 a factor of i?
False
Let k(l) = 10*l**2 - 90*l - 25. Does 15 divide k(22)?
True
Suppose 23 = -2*v + 31. Let y = -1 + v. Suppose 268 - 100 = 3*k + 2*m, -3*k + y*m + 153 = 0. Does 9 divide k?
True
Suppose 2*f = 4*w - 10 - 2, 2*f + w - 3 = 0. Suppose -4*p - 4*t - 340 = f, -40 = p - t + 45. Does 9 divide p/(-3) - (-2)/3?
False
Let j = 13 + 368. Is j a multiple of 16?
False
Suppose -2*g + 106 = k + 2*g, 309 = 3*k + 3*g. Is 51 a factor of k?
True
Let w(g) = g**2 + 6*g + 4. Let f = 5 - 10. Let k be w(f). Does 3 divide k - (-4*3)/3?
True
Suppose -13*x + 2*r - 15590 = -16*x, -5*x + 26025 = -5*r. Is 26 a factor of x?
True
Is 24 a factor of ((-1168)/5)/((-304)/60 + 5)?
True
Suppose 5 + 17 = 2*i. Suppose -3*d + 143 - i = 0. Is 8 a factor of d?
False
Suppose 5*o - c + 13 = -2*c, 0 = -4*o - 3*c - 17. Let y = o - -228. Does 18 divide (y + 2)/4 + -3?
True
Suppose -3*c + 2*c + 4 = 0. Suppose 2*m - 3*m + 265 = 4*o, c*m + 3*o - 1125 = 0. Suppose a = 6*a - m. Is 19 a factor of a?
True
Let y(k) = -1339*k + 8. Does 16 divide y(-1)?
False
Let k(t) = 4*t**2 - 11*t - 6. Let x(n) = 4*n**2 - 4*n - 2. Let v be x(-1). Is 9 a factor of k(v)?
True
Let c be 2/(((-3)/24)/1). Let t be 4/((c/6)/(-2)). Let j(n) = 13*n + 2. Is j(t) a multiple of 23?
False
Let p = 249 + -161. Does 4 divide p?
True
Let r be (5/(-2))/((-5)/10). Suppose -r*u + 166 + 214 = 0. Is 19 a factor of u?
True
Let o = -587 - -1123. Is o a multiple of 8?
True
Suppose 0 = -4*p + 3*d + 267 - 91, -3*d = 0. Does 4 divide p?
True
Let b = -308 - -392. Does 42 divide b?
True
Let x(q) = q**3 - 9*q**2 - 11*q + 8. Let u be x(10). Let w be 12/4 - (u - 132). Suppose 2*c - 50 = 2*k, 5*c - w = -0*c - k. Does 22 divide c?
False
Let j(m) = -m**3 - 17*m**2 - 16*m + 1. Let u be j(-16). Does 14 divide (-4)/2 - (u + -115)?
True
Let l(r) = -r + 12. Let u be l(4). Suppose 0 = 10*a - u*a - 162. Does 9 divide a?
True
Let d = 20 - 7. Suppose -3*u = -2*u - d. Let n = u - 7. Does 2 divide n?
True
Let k = 28 + -24. Suppose -k*o + 79 = 2*y - 99, 2*o - 92 = -4*y. Does 22 divide o?
True
Let b(f) = 13*f**2 + 52*f - 366. Is 11 a factor of b(9)?
True
Let h = 15 - 13. Suppose h*j 