*g**2 + 273*g - 44. Does 8 divide f(28)?
True
Suppose 3*j - 5*a = 2482 + 118, -4296 = -5*j - a. Is 57 a factor of j?
False
Let u(z) = 4*z**2 - 4*z - 5. Let f be u(-2). Suppose -5*b + 11 = -f. Suppose b*y - 98 = -y. Does 8 divide y?
False
Let v be 876/10 + (-36)/60. Suppose -v = -5*l + 3. Does 6 divide l?
True
Suppose 0 = -2*h - 4 + 66. Is h a multiple of 5?
False
Let g = 3746 - 2271. Is g a multiple of 12?
False
Suppose 1604 = -19*n + 16671. Does 61 divide n?
True
Let x(c) = c**3 - 6*c + 5. Let s = 8 + 0. Let g = -4 + s. Is x(g) a multiple of 12?
False
Let c be 2*6/(24/14). Suppose 10*b = c*b. Suppose 75 = -b*n + n. Is 15 a factor of n?
True
Let k be 2/5 - (-304)/(-10). Let c be ((-50)/2)/((-2)/8). Let m = c + k. Does 14 divide m?
True
Let q(x) = -x**2 - 3*x + 7. Let j = 7 - 12. Let g be q(j). Is (-19)/((4 + g)/(-2)) a multiple of 19?
True
Suppose -6 = -2*k + 8. Suppose 2*p - 5*p = -42. Let y = p - k. Is y a multiple of 2?
False
Is 3 a factor of 17/(-153) - (1947/(-27) - -1)?
False
Let s(p) = p**3 + 2*p**2 - p - 2. Let z be s(-2). Suppose -10 = -2*d, 4*d - 156 = 4*u - z*u. Let f = -22 - u. Does 4 divide f?
True
Let p(z) = 36*z - 416. Does 7 divide p(17)?
True
Let t = 35 - 31. Is (45 + -4)*1 - t a multiple of 28?
False
Suppose 2*v = 3*v + 78. Let x = v - -288. Suppose r = 4*r - x. Is 21 a factor of r?
False
Suppose 3*a - 2*p = 526, -p - 100 - 74 = -a. Does 15 divide a?
False
Let b(g) = g**2 - 12*g - 7. Let m be b(10). Let x = m + 30. Suppose 5*u - x*u = 28. Is 7 a factor of u?
True
Suppose -5*l = 5*l - 2660. Is l a multiple of 31?
False
Let c = 144 + 76. Let b = -109 + c. Does 26 divide b?
False
Let y = -7 - -13. Let c be ((-9)/(-4))/(y/(-16)). Let k(n) = -n**3 - 5*n**2 + 5*n + 8. Is k(c) a multiple of 14?
True
Let l(c) = -4*c - 33. Let v be l(-9). Let g = 5 + 0. Suppose v*u - 152 = -2*w, w + 4*w = -g*u + 260. Is 24 a factor of u?
True
Let y(w) = 17*w + 16. Let c be y(5). Suppose -c = -j - 25. Is 38 a factor of j?
True
Let y be 132/6 + 1 + 1. Suppose 8*s = 2*n + 3*s + 5, y = 3*n + 3*s. Suppose -106 = -n*q + 2*g, q + 2 - 18 = 3*g. Is 22 a factor of q?
True
Let p = -76 - -184. Suppose 5*c + p = 4*i + 26, 3 = i. Let a(x) = x**2 + 15*x + 29. Does 15 divide a(c)?
True
Is 29 a factor of (-54826)/(-237) + 1 + (-1)/3?
True
Let t(d) = d**3 - 3*d**2 - 34*d + 22. Is 28 a factor of t(11)?
True
Let j = -84 + 285. Let f = j - 121. Does 16 divide f?
True
Let g(p) = 7*p**2 - 1. Let t be g(-3). Suppose -2*u - 36 = t. Let h = -21 - u. Is 7 a factor of h?
True
Suppose -h + 37 + 317 = 0. Suppose 0 = 3*c - 24 - h. Is c a multiple of 23?
False
Let y(h) = h**2 - 23*h - 42. Is y(27) a multiple of 11?
True
Suppose 62 = c - 360. Is c a multiple of 22?
False
Let b be (68/(-7))/(4/(-14)). Suppose 30*r = b*r - 172. Does 20 divide r?
False
Let a(p) = -p**3 + 11*p**2 - 15*p - 5. Is a(7) a multiple of 6?
False
Let h be (-2)/(-8) - 38/(-8). Let j be (15/6)/(h/10). Suppose -j*x + 33 = -4*x. Is x a multiple of 13?
False
Suppose -3*p + 19 - 1 = 0. Suppose 14 - 278 = -p*x. Is 13 a factor of x?
False
Suppose 6*c - 54756 = -48*c. Does 6 divide c?
True
Let m be ((-1)/3)/((-3)/9). Suppose -6*u = m - 397. Does 26 divide u?
False
Suppose 3*a + 0 - 15 = 0. Suppose -5*j + 210 = -5*h, 2*j - a*h = j + 50. Is 40 a factor of j?
True
Suppose -2*f + 2*u = -216, 0 = 2*f - 4*u - 29 - 187. Is f a multiple of 54?
True
Is 3039 + 6 - (-6 - -13) a multiple of 38?
False
Let a = -43 + 45. Suppose a*f - 22 = 62. Does 14 divide f?
True
Suppose -5*h = -h - 520. Is (-56)/35*h/(-4) a multiple of 13?
True
Suppose 2*b - 18 = -5*d, b = -2*d + 4*b + 11. Is 24 a factor of (-2 - 1)*d*-2?
True
Suppose -5 = a + 4*n + 9, 3*n + 16 = 2*a. Suppose -l - 17 = -a*l. Is l a multiple of 4?
False
Let l be -1 - -1 - (-3 + -1). Is 21 - -60 - l/2 a multiple of 10?
False
Does 79 divide (-158*7/(-21))/((-2)/(-21))?
True
Let v(z) be the first derivative of 3*z**4/2 - z**3 - z**2 + 2*z + 28. Is v(3) a multiple of 26?
False
Is (-131915)/(-55) + -18*6/(-198) a multiple of 15?
False
Let t = -13 - -11. Let m be -5 - t*(-12)/(-8). Does 23 divide 72 + m*(-2 - -1)?
False
Let i = 705 + -675. Is i a multiple of 13?
False
Let r = -99 - -287. Does 47 divide r?
True
Let s = 59 + -26. Suppose 3*v - 2 = 3*i - 26, 5*i = -20. Is 3 a factor of 1/4 - s/v?
True
Suppose 4*x - 4*f - 100 = 0, -2*x + 5*f = -24 - 29. Suppose q = -q + x. Is q a multiple of 2?
True
Let a(t) = t**2 - t + 969. Is a(0) a multiple of 17?
True
Suppose -35 = -4*k - 3*q, k + 2*k + q - 20 = 0. Let d = k + 69. Does 21 divide d?
False
Suppose 22120 = 5*i - 2*a, -8*i + 4*i - 3*a + 17696 = 0. Is 28 a factor of i?
True
Suppose -5*f + f + 8 = 0. Suppose f*q + q = 6. Suppose 0 = -4*y - u + 107, q*u + 1 = -2*y + 53. Does 14 divide y?
False
Let v(m) = -m**3 + 5*m**2 - m + 2. Suppose 25 = 5*o - z, 2*o - 15 - 18 = 5*z. Let d be v(o). Suppose -5*b - d = -39, -4*l + 127 = 3*b. Does 28 divide l?
True
Suppose 6*j + 1407 = 5*m + 8*j, 0 = 5*j + 20. Does 23 divide m?
False
Let b be 12/((-12)/8 - 0). Let r be -4 - -50*(-4)/b. Let c = 25 - r. Is 3 a factor of c?
False
Is 34 a factor of 10/85 - (-2 - 37390/85)?
True
Suppose 22*k = 24*k - 58. Let a(c) = c**2 - 18*c - 73. Does 38 divide a(k)?
False
Suppose 84*o - 308 = 82*o + 4*w, -w + 781 = 5*o. Is o a multiple of 51?
False
Let j = -131 - -215. Does 4 divide j?
True
Suppose -2*v - 5*j + 115 = 0, -5*v + j + 334 - 60 = 0. Suppose 4*i = q - 24, -5*q - i - 20 = -140. Let l = v - q. Is l a multiple of 14?
False
Let w(t) = t**3 + 14*t**2 + 14*t + 23. Does 17 divide w(-6)?
False
Let f = -1460 - -1465. Let v(o) = -4*o + 0*o + 2*o**3 - 8*o**2 + 7 + 7*o. Is v(f) a multiple of 11?
False
Let t = 50 + 23. Let g = -12 + t. Is g a multiple of 19?
False
Suppose h - 5*d - 168 = 275, 2215 = 5*h + 3*d. Suppose 3*o - 327 = 4*q, 0*q - 3*q = -4*o + h. Is o a multiple of 11?
False
Let o(b) = 79*b**2 - 23*b + 1. Is 27 a factor of o(-2)?
False
Suppose -4*s - 205 = -3*l, -4*l + 290 = -3*s + 6*s. Does 6 divide l?
False
Suppose -4*b + 15 = b. Suppose -b*h + 39 = -0*h. Let t = h + -2. Does 4 divide t?
False
Let d = 234 - -43. Does 36 divide d?
False
Let l = 6 + -3. Suppose l*x - 48 + 216 = 0. Let g = 181 + x. Does 25 divide g?
True
Let v(l) = l + 25. Let p be v(-18). Suppose -5*s + p*s - 252 = -5*t, 3*s = 3*t - 168. Is t a multiple of 13?
True
Suppose 0 = 2*y + 25 - 19. Let m = 23 - y. Is 13 a factor of m?
True
Let d(i) = -3*i**3 + 3*i**3 + 6*i**3 - 5*i**3 + 5*i + 2 - 4*i**2. Suppose 4*y - 16 = -0. Is 14 a factor of d(y)?
False
Let h(t) = t**3 + 8*t**2 + 8*t - 14. Let m be h(-6). Is 178/m - ((-12)/15)/4 a multiple of 6?
True
Let s = -27 + 69. Let g be s/(-35)*(-6 - -1). Let f(y) = 3*y**2 - 8*y - 6. Is 18 a factor of f(g)?
True
Let d = -213 + 249. Is 9 a factor of d?
True
Suppose 22*v - 291 = 6815. Is v a multiple of 19?
True
Let x(j) = 3*j**2 + 8*j + 1. Let w be x(-6). Let c be (-29)/3 + 1/(-3). Let q = c + w. Does 17 divide q?
True
Suppose 31 = 4*w - 0*w - 3*t, 17 = 3*w - t. Suppose w*d + 35 = 5*o - 34, -o = -d - 14. Does 8 divide o?
False
Let y(j) = -33*j**3 - 5*j**2 - 7. Let h(p) = 50*p**3 + 7*p**2 + 10. Let q(w) = -5*h(w) - 7*y(w). Let c be q(1). Is 6 a factor of (-370)/c + 1/(-2)?
True
Let k = -613 - -702. Is 5 a factor of k?
False
Is 8551/51 + 16/(-6) + 3 a multiple of 12?
True
Suppose -17 = -i + 3*l, 4*i - 35 - 1 = 4*l. Suppose r + x - 224 = -r, 4*x - 560 = -i*r. Does 39 divide r?
False
Suppose 0*d + 3*d - i = 432, -4*i - 133 = -d. Does 5 divide d?
True
Suppose 4*b = 8*b - 48. Let a = -10 - b. Let f = 7 - a. Is 12 a factor of f?
False
Let c = -185 - -785. Is c a multiple of 75?
True
Let z(h) = 6*h**2 + 4*h + 3. Let p be z(-3). Suppose -g = -6*g + p. Let l(y) = y**3 - 8*y**2 - 5*y - 3. Is 6 a factor of l(g)?
False
Let o be -5 - -2*10/2. Suppose 0 = u - d - 87 - 17, o*u = -4*d + 475. Is u a multiple of 33?
True
Let f(a) = -a**2 - 3*a - 2*a - 3*a + 9. Let v be f(-9). Suppose 2*t + v*t - 48 = 0. Is 12 a factor of t?
True
Let f(b) = -38*b**3 - 3*b**2 - 5*b + 7. Let y(j) = j**2 - 1. Let l(t) = -f(t) - 3*y(t). Is l(1) a multiple of 13?
True
Let r = 21 - 36. Let x(j) = -2*j - 11. Is 16 a factor of x(r)?
False
Let d(v) = 3*v**2 + 24*v - 2. Let h be d(-10). Let a = 67 - h. Is 7 a factor of a?
False
Let s = 13 - 11. Suppose 7*o - s*o = 15. Suppose 2*u - 89 = -x - u, -o*x - 3*u + 27