e g?
False
Let z(n) = n**2 - 19*n + 6. Let r(d) = -d**2 + 4*d - 10. Let i be r(4). Let h be z(i). Suppose 188 = 3*o + 3*g + g, -2*g = -5*o + h. Is 12 a factor of o?
True
Let r(o) = 14*o**3 - 102*o**2 - 9*o + 211. Is 3 a factor of r(10)?
True
Let n = -4 - -6. Let p be -2*(6 - (-2 - (6 - -204))). Does 3 divide (n/(-6))/(p/144 - -3)?
True
Let l = 9137 + -8003. Does 17 divide l?
False
Suppose 4*m - m + p = -5, -m + 25 = -5*p. Suppose 3*n + 4*v + 2 = m, 0*v = -2*v - 4. Suppose -n*d + 121 + 157 = 4*z, 2*d - 345 = -5*z. Is 5 a factor of z?
False
Is 36 a factor of 31393/8 + (0 + 7)/(-56)?
True
Suppose -7*g = -33 - 2. Suppose -g*j - 2*r = -193, j + 0*j = r + 40. Suppose j + 24 = 3*b. Does 7 divide b?
True
Let i(r) = -6*r**3 + 29*r**2 + 26*r + 1. Does 7 divide i(-9)?
False
Let h(a) = -20*a**2 - 660*a - 54. Is 6 a factor of h(-21)?
True
Let f = -5657 + 6979. Is 5 a factor of f?
False
Does 64 divide 10780 + -353 - (-1 + -4)?
True
Suppose 5*t - 146289 = -4*k - 44728, -k = -t - 25370. Does 10 divide k?
False
Suppose 19*w - 2691 - 17373 = 0. Is w a multiple of 7?
False
Does 177 divide 100822/14 - (-180)/420?
False
Let w(g) = -14*g - 47. Let m be w(-4). Suppose -m*s + 1311 = 10*s. Does 23 divide s?
True
Let r(n) = -7*n + 25. Let l be r(4). Let f be (5/l)/1*(6 + -9). Suppose f*o = -2*v + 185, 530 = 5*v + 2*o - 3*o. Does 20 divide v?
False
Let m(o) = 19*o**2 - 13*o + 84. Let g be m(12). Suppose 72 = -3*t + g. Is 27 a factor of t?
True
Let w(d) = 14*d**2 + 24*d + 12. Suppose 0 = 4*t - 5*i + 64, 2*t + 2*i + 47 = -3*t. Let l be w(t). Suppose l = -3*s + 17*s. Is 58 a factor of s?
False
Let o(l) = -3*l + 91. Let i be o(20). Suppose 39*r - i*r - 2888 = 0. Is r a multiple of 34?
False
Let a = -427 + 433. Does 15 divide (-2 + -32 - a)/(1/(-6))?
True
Suppose -36 = -3*z - 0*z. Let c = z - 8. Suppose q - 6*o = -2*o - 3, -c*o - 15 = -3*q. Is 9 a factor of q?
True
Let j(h) = -3*h**3 - 5*h**2 - h + 10. Let l be j(-4). Let t = -122 + l. Suppose t*p - 5*g = 599, -g + 2*g - 629 = -4*p. Is p a multiple of 39?
True
Suppose -12 = -3*n + 6. Suppose -s = -2*v + 846, -4*v + n = 4*s - 1698. Suppose -6*t - v = -10*t. Does 20 divide t?
False
Let a(h) = -h**2 + 31*h - 47. Let b be a(29). Let u(i) = 2*i**2 - 16*i + 30. Does 32 divide u(b)?
True
Suppose -6*i - 4*p + 5442 = -4*i, -5*i + 5*p = -13530. Suppose -4518 = -5*k + 2*x, -k + i = 2*k - x. Is 9 a factor of k?
False
Let s(p) = -192*p + 40. Suppose -r - 5*f = 11, -f + 4*f + 9 = -r. Is 9 a factor of s(r)?
False
Suppose 0 = 3*s - 29 - 103. Suppose 3*k + 2*v - 8 = 0, k - 5*k + 4*v = -s. Is 23 + 4 + -7 + (k - 2) a multiple of 12?
True
Suppose -5*d - 20 = 0, 29*n - 24*n = 4*d + 22041. Is n a multiple of 18?
False
Let k(f) = 2*f**2 + 17*f - 2. Let v be k(-8). Let n(l) = -26*l - 36. Does 32 divide n(v)?
True
Suppose -5*g = -4*d + 6*d + 231899, -2*d - 231902 = 4*g. Does 19 divide (-2)/(-15) + d/(-285)?
False
Let a = -18281 - -25995. Suppose -17*z = 2*z - a. Is z a multiple of 7?
True
Let p(z) = -z**3 - 2*z**2 + z + 224. Let g be p(0). Let t = 244 - g. Is 4 a factor of t?
True
Let o(f) = -f**3 - 6*f**2 - 7*f + 24. Suppose 3*z = 1 - 22. Does 8 divide o(z)?
False
Let v(q) = -q - 46. Let f be ((-5)/(-2) - 4)*6. Let g be v(f). Does 12 divide g*2/(-1) - (-29 - -31)?
True
Let h(q) = 7*q + 98. Let k be h(-5). Let t = 14 - 26. Is (k - 1)/((-8)/t) a multiple of 31?
True
Let l(x) = 55 - 20 - 42 + 3*x - 32. Let z be l(18). Is (-687)/(-18) - (z/(-18) + 1) a multiple of 11?
False
Is 14 a factor of ((-29019)/68)/((-8)/(-68) - 1375/9520)?
True
Suppose 7 = -7*o + 35. Suppose 3*h - 2*j = 61, h = -o*h + 2*j + 103. Suppose -4*x = -5*v - h, 0 = x + 4*v + v + 1. Is x a multiple of 2?
True
Suppose 2*m = 16, 2*m = -3*l + 3022 + 3036. Is l a multiple of 6?
False
Let u(o) = 48*o**2 - 60*o - 464. Is u(-7) a multiple of 21?
False
Let o(l) = -l**2 - 4*l + 10. Let h be o(-7). Let x(j) = 1. Let z(d) = -d**3 - 11*d**2 + 2*d + 15. Let p(w) = 2*x(w) - z(w). Is p(h) a multiple of 3?
True
Suppose 10 = 74*n - 69*n. Suppose 0 = -j - 5*u + 87, 0 = -j - 4*j - n*u + 343. Suppose j = 3*s + 5*h, 5*s - 4*h = -6*h + 99. Is s even?
False
Let v = -9585 + 11295. Is 45 a factor of v?
True
Suppose 20*a + 285 = 39*a. Suppose y - 95 = -5*c, 0 = -12*c + a*c + y - 59. Is 18 a factor of c?
True
Let d be 7826/104 + 3/4. Suppose -5*i + 4*t = -d, 5*t = -3*i + 12 + 4. Is i a multiple of 3?
True
Let d = 270 - 216. Let o = 190 - d. Is 8 a factor of o?
True
Suppose 720 = 4*w + 2*w. Suppose -d + w = -0*d + 2*q, 5*d + q - 636 = 0. Is d a multiple of 5?
False
Suppose 3*y + 4*v + 0*v = 20, -2*y + 40 = -4*v. Suppose -14*a + y*a + 696 = 0. Does 58 divide a?
True
Let v(b) = -71*b**2 + 6*b**3 + 35*b**2 + 46*b**2 + 5. Let r(q) = q**3 + q**2 + 1. Let l(d) = 14*r(d) - 2*v(d). Is 3 a factor of l(4)?
True
Is (-6 + 18 - 20)*(-3316)/8 a multiple of 3?
False
Let b be (-2430)/(-126) + 2/(-7). Suppose b*x + 13851 = 46*x. Is 7 a factor of x?
False
Let k(h) = -2*h**3 - 85*h**2 - 27*h + 500. Is 78 a factor of k(-43)?
True
Let a(s) = 1150*s**2 + 218*s - 1737. Does 49 divide a(8)?
False
Is 5872 + (2/5)/(3/15) a multiple of 89?
True
Suppose 2*c = 12 - 8, -5*l + 4*c = 33. Is 1462/2 - (l + 9 + -5) a multiple of 12?
True
Let d = 1469 - -2626. Suppose 54*m + d = 69*m. Is m a multiple of 7?
True
Suppose -3*h = -s - 0*h + 57, -2*s + 5*h + 117 = 0. Suppose -t - s = 5*t. Is (-2)/2 - (2 + -6 + t) a multiple of 6?
False
Let z(a) = -4*a**3 + 2*a**2 - 8. Let v = -564 + 561. Is z(v) a multiple of 40?
False
Does 65 divide (-39384)/(-162) - -17 - (-2)/(-18)?
True
Suppose -4*b - 2*a + 1853 + 49 = 0, 3*a - 3 = 0. Let u = 1245 - b. Is u a multiple of 93?
False
Let f = 12 + -9. Suppose 0*h + 5*q = f*h - 7, -2*h = 3*q - 11. Suppose -2*g = -0*g + v - 141, -57 = -g + h*v. Does 23 divide g?
True
Suppose -47*z + 21168 = -20*z. Is 4 a factor of z?
True
Suppose -2*f = 10, -4*f + 0 + 140 = 5*u. Suppose u = 4*z - 4*k, -4*z = 5*k - 4*k - 47. Suppose 186 + 45 = z*w. Does 3 divide w?
True
Let w(j) be the second derivative of -5*j**3/6 + 63*j**2/2 + 59*j. Is w(-18) a multiple of 12?
False
Suppose 228*x = -76*x + 1906688. Is x a multiple of 112?
True
Let u(x) = -x**2 - 35*x + 40. Let q be u(-36). Suppose -4*h + 2862 = 4*f + 710, q*f - 2142 = -2*h. Is 13 a factor of f?
True
Let j(m) = m**2 + 161*m + 6610. Is 6 a factor of j(-115)?
True
Let v(l) = 3*l**3 - 32*l**2 + l + 181. Is v(19) a multiple of 25?
True
Let i(z) be the first derivative of 29*z**3/3 - 31*z**2/2 + 33*z - 76. Is i(6) a multiple of 11?
True
Suppose i = 5*z - 2 - 3, 1 = z - 3*i. Let k(u) = 5*u**2 - 3*u + 1. Let y be k(z). Does 5 divide (y - (-21 - 0)) + -4?
True
Let f be 1/7 + (816/21)/8. Suppose -5*t = 10, -f*a + 3079 = -0*t + 3*t. Is 34 a factor of a?
False
Let j = 35 + -33. Suppose 139 = -v + j*i, 111 = -v + 3*i - 25. Does 29 divide ((-4 + 1)/(-3))/((-1)/v)?
True
Is (-429 + 157)*(-189 + (2 - 3)) a multiple of 136?
True
Let d = 432 + -221. Suppose -3*c = 4*w - 245, -d + 36 = -3*w - 4*c. Is w a multiple of 11?
False
Suppose 9*v - 36772 = -31*v - 18*v. Does 8 divide v?
False
Let h be (-2)/8 + 8400/64. Suppose 0 = 4*d - r + 270, -2*d + 2*r + 2*r = 142. Let m = d + h. Does 19 divide m?
False
Let h(b) = -b**3 + 15*b**2 - 7*b + 26. Let q = 397 + -391. Is 28 a factor of h(q)?
True
Suppose -7*i = -9*i - 14. Let h(q) = 5*q**2 + 16*q + 7. Let l be h(i). Suppose 3*a = 0, -4*x + l = 3*a - 276. Is x a multiple of 26?
True
Let w = -11393 - -14538. Does 37 divide w?
True
Suppose 229999 = -176*k + 2926495. Is k a multiple of 4?
False
Suppose 44*t + 2468 = -6860. Suppose -l = 4 - 0, -l = -q - 363. Let m = t - q. Does 33 divide m?
False
Let i = -237 - -228. Let l(g) = -4*g**3 + 6*g**2 - 4*g + 4. Let z be l(4). Is 8 a factor of (-898)/i - (-5 - z/36)?
False
Suppose 723*i + 11932 = f + 727*i, -3*i = 3*f - 35760. Does 188 divide f?
False
Suppose -17*u = -1758 - 32718. Suppose 0 = -n - 4*z + 409, -5*n - 6*z = -3*z - u. Is 27 a factor of n?
True
Suppose 5*v - 20 = 0, 4*h + 3*v - 24 = h. Suppose -2*s + 42 = h*s. Suppose s*r - 2*r = 3*b - 112, 32 = b + r. Does 34 divide b?
True
Let a(g) = 16*g**2 + 16*g - 66. Is a(17) a multiple of 5?
True
Suppose 7 + 10 = d. Suppose d*c = 479 + 4366. Is c a multiple of 19?
True
Let c = -7078 - -8822. Is 48 a factor of c?
False
Let s(o) = 53*o**3 - 1. Let z be s(1). Let a = z - -88.