alse
Let y(w) = -13*w + 6 + 10*w + 5*w**2 - w**3 - 3*w**2 + 2*w**3. Is y(3) a multiple of 9?
False
Suppose -305 = -3*h + 361. Is h a multiple of 37?
True
Let u(y) = 5*y - 3. Let s(g) = -g**2 + 8*g - 8. Let x be s(6). Suppose -i = -2 - x. Does 17 divide u(i)?
False
Let d = 72 - -321. Does 16 divide d?
False
Suppose 80 = 7*c - 4*c - 5*q, 0 = -5*c + 2*q + 146. Does 5 divide c?
True
Let u(p) = 2*p**2 + 72*p + 11. Is u(-36) a multiple of 6?
False
Suppose 867 + 897 = 7*d. Suppose 12*m - 9*m - d = 0. Is 14 a factor of m?
True
Suppose -x = -4, 3*u + 2*x - 269 - 3714 = 0. Does 79 divide u?
False
Suppose 4*a = 3*d + 33, -2*a = -0*a - 3*d - 21. Suppose 8*m - 462 = a*m. Is m a multiple of 33?
True
Suppose 5*b - 828 = 47. Does 32 divide b?
False
Let x = -21 - -29. Is (-153)/(-36) + (-2)/x a multiple of 4?
True
Let c be 4/(-26) - (-154)/(-13). Let l = c - -15. Suppose l*h + 0*h = 99. Is 11 a factor of h?
True
Let j(g) = g**3 + 3*g**2 + 3*g + 2. Let v be j(-2). Suppose v*h + 5*h = 330. Is 19 a factor of h?
False
Let f be 1 - (-1 + (-3)/3). Suppose f*j - 4*j = -3. Suppose j*v = -2*v + 50. Does 5 divide v?
True
Let w(h) = 27*h**3 - 11*h**2 + 16*h + 5. Is 5 a factor of w(3)?
False
Suppose -45286 = -7*f - 5596. Is f a multiple of 15?
True
Let t(b) = 4*b**2 - 2. Let g be t(3). Is 7 a factor of -1 + (-15)/(-5) + g?
False
Let a(g) = 2*g + 1. Let c = -19 - -18. Let n be a(c). Is 8/n*(-33)/44 a multiple of 2?
True
Suppose -4*o + 2*o - 4*j = -84, -108 = -2*o + 4*j. Does 16 divide o?
True
Suppose -a = -5*w - 5, 0*w - 5*a + 25 = -5*w. Suppose -4*v + w = -12. Suppose 0 = -v*h + 165 - 48. Does 12 divide h?
False
Suppose 7*i = -20 - 71. Let y = 23 + i. Let n(b) = b**3 - 10*b**2 + b + 13. Is n(y) a multiple of 14?
False
Suppose -24*b + 5220 = -18*b. Does 26 divide b?
False
Suppose 50*k = 57*k - 3465. Is 14 a factor of k?
False
Let t(v) = -2*v**3 - 30*v**2 + 21*v + 21. Is t(-16) a multiple of 9?
False
Let c = -38 - -42. Suppose -5*p = 5*d - 325, -c*p + 0*d - 3*d = -259. Does 18 divide p?
False
Let f = -9 + -44. Let y be f/6 + 6/(-36). Let z = y + 34. Is z a multiple of 6?
False
Suppose 18 + 150 = -4*g. Let k = g + 148. Suppose 0 = -i + k - 41. Is 13 a factor of i?
True
Suppose z - 3*z - 2*c = -226, -4*c = -5*z + 583. Suppose -3*y - z + 607 = 0. Is y a multiple of 32?
False
Suppose 0 = b - 5 - 2. Suppose -4*f + 31 = b. Suppose -3*m - s + 197 = 0, 3*m + s = f*m - 199. Is m a multiple of 22?
True
Let x(z) = z**3 - 5*z**2 + 4*z - 5. Let a be x(3). Let h(s) = -s**3 - 9*s**2 + 8*s + 4. Does 27 divide h(a)?
False
Does 4 divide (-14)/(-1*14/91)?
False
Let f(p) = p + 26. Let o be f(7). Suppose -4*x = -x - o. Is x a multiple of 3?
False
Let y be 4/(-6) + (-2)/(-3). Let c = -1 - y. Is 4 a factor of c*(0 + (-10 - -1))?
False
Let z = 127 - 123. Let u(m) = -m**2 - m. Let c(v) = -3*v + 4. Let s(t) = c(t) - 3*u(t). Is s(z) a multiple of 14?
False
Let r(x) = 6*x**2 + 25*x - 247. Does 42 divide r(13)?
True
Suppose -14*j + 204 = -1630. Is j a multiple of 24?
False
Let h be 4*-2*(-9 + 1). Suppose 0 = 4*u - t - t - h, 42 = 3*u - 3*t. Is u a multiple of 9?
True
Does 34 divide -578*8/40*-5?
True
Suppose -45 = -16*t + t. Suppose -5*k = -2*i - t*k + 82, 5*k = i - 25. Is i a multiple of 9?
True
Let u = 32 + -15. Let k = u - 2. Is 3 a factor of k?
True
Let f(u) = u**3 - 8*u**2 + 4*u + 23. Let i be f(7). Suppose -i*c + 47 = x + 2*c, 94 = 2*x + 3*c. Is 5 a factor of x?
False
Suppose -16*i = 4 + 12. Is -1 + (183 + i - (-2 - -1)) a multiple of 26?
True
Let c(o) = o**3 + 8*o**2 - 13*o + 4. Let q = 20 - 28. Is 12 a factor of c(q)?
True
Let c be (-15)/(-4) - (1/4)/(-1). Suppose 0 = -c*d + 4*b + 632, 5*b = -3*d + b + 488. Is d a multiple of 34?
False
Suppose 554 = 4*z + 5*y, 4*z = -25*y + 26*y + 542. Is z a multiple of 3?
False
Suppose -13 = 4*h - 3*d, 2*h - 6*d + 3*d + 11 = 0. Let y be -30*(20/(-12) - h). Suppose 0 = -g + 6*g - y. Is g a multiple of 4?
True
Suppose 36 = 2*a - 6*a - 4*d, 4*a + 3*d = -37. Suppose 0*v - 4*s = -2*v - 6, 2*s = 0. Is 14 a factor of (-56)/a*(-30)/v?
True
Suppose -6 = 6*g - 8*g. Suppose g*a + 12 = w, -5*w + 3 = 3*a - 3. Suppose 2*s = w*s + 4*h - 25, -4*h = -16. Is s even?
False
Let c(k) = -31*k**3 - k**2 + k + 1. Let h be c(-1). Suppose 3*o - h = -6. Is o even?
True
Let t(b) = 22*b - 52. Let j(z) = -z - 11. Let g be j(-22). Is t(g) a multiple of 19?
True
Let j = -17 + 3. Let a = -17 - j. Is 12 a factor of 45*(-2)/a - -3?
False
Is 296*(-5 - -18 - 10) a multiple of 4?
True
Let t be (-3)/5 - (-76)/10. Let d = -2 + t. Suppose 142 - 42 = 4*g + l, -3*l = d*g - 118. Does 26 divide g?
True
Is 7 a factor of 353 - 1/2*(2 - 4)?
False
Let b(x) be the third derivative of -x**5/60 + 19*x**4/24 + 7*x**3 + 12*x**2 + 2. Does 4 divide b(17)?
True
Let c(n) = 3*n**2 + 7*n - 5. Suppose 7*t + k - 30 = 2*t, k + 12 = 2*t. Let a be 3*-2*t/(-9). Is c(a) a multiple of 18?
False
Let n be ((-3)/12)/(-1) + 402/(-8). Does 11 divide ((-3)/20*-4)/((-2)/n)?
False
Let m(d) = -70*d**3 + d**2 + 2*d + 1. Let t be m(-1). Let p = t + 26. Let v = p - 49. Does 19 divide v?
False
Let n be (-12)/(-30)*5/2. Is 1 + 79 + (n - -3) a multiple of 28?
True
Let m = 1114 - -346. Is 10 a factor of m?
True
Let b = -15 + 10. Let d(c) = -c**2 - 6*c - 3. Let f be d(b). Suppose 0 = -6*w + f*w + 268. Does 18 divide w?
False
Suppose 0 + 13 = 2*j - v, 3*j - 2*v - 18 = 0. Suppose -3*n - x = -6, 3*n + 2 = 4*x + j. Suppose -n*m = m - 15. Does 5 divide m?
True
Suppose -8*h = -3*h. Suppose h*w = w - 110. Let k = w - 63. Is 14 a factor of k?
False
Let z = 51 - -38. Let b = z - 39. Is 10 a factor of b?
True
Let o = -23 - -32. Let t be 512/6 + o/(-27). Suppose 0 = 2*c - 27 - t. Is 25 a factor of c?
False
Let a(m) = -m + 7. Let c be a(7). Suppose -3*i + c*o - 3*o = -111, -5*i + 2*o + 164 = 0. Is i a multiple of 5?
False
Let i = 30 - 23. Let r(v) = v**3 - 6*v**2 + 11*v - 9. Is 13 a factor of r(i)?
True
Suppose 3*n - 57 - 60 = 0. Suppose 3*d + 138 = n. Let p = -17 - d. Is p a multiple of 8?
True
Let w(x) = -40*x - 174. Does 9 divide w(-28)?
False
Suppose -7*m + 5*m = -6. Suppose -r = -4*c - 83, c = m*r + 2*r - 491. Is r a multiple of 22?
False
Let h = 11 + -1. Let f = h - -38. Is f a multiple of 5?
False
Let r be 0/2*15/30. Suppose 2*a + 4*g - 72 = 0, 5*a - g - 158 + 33 = r. Is 26 a factor of a?
True
Suppose -4*c - 3*f = -257, 4*f - 24 = -5*c + 296. Is c a multiple of 17?
True
Suppose 0 = 4*u + 2 + 6, -u = t + 22. Is 19 a factor of 152/20*t/(-8)?
True
Suppose 0 = -2*b + 2 - 4. Is 5 a factor of ((-231)/(-22))/(b/(-2))?
False
Let a(i) = 0 - 3 + 2 - 5*i**3 - 5 + i + 4*i**2. Does 20 divide a(-3)?
False
Let l = -1360 + 1954. Does 27 divide l?
True
Suppose 3*a + 4*h - 2455 = -268, 0 = 2*a - 3*h - 1458. Is 27 a factor of a?
True
Let c(l) = 95*l**2 - 26*l + 47. Is c(2) a multiple of 3?
True
Let j = -557 - -957. Is 10 a factor of j?
True
Suppose 0 = -y + 5*i + 10 + 22, -4*y + 112 = -4*i. Does 9 divide (8/(-6))/((-2)/y)?
True
Suppose 26*u = 13*u + 8294. Is 22 a factor of u?
True
Suppose 5*f - 1652 = -4*g, 11*f - 12*f - 4*g = -324. Is 28 a factor of f?
False
Let n = -69 + 101. Is 7 a factor of (48/n)/((-1)/(-18))?
False
Suppose -10*q = -15*q + 4*m + 864, 5*m = -3*q + 548. Is q a multiple of 4?
True
Let f(g) = 3*g + 7. Suppose -u - 2*z = -1, -2*u = -6*u - 4*z - 16. Let d = u + 20. Does 15 divide f(d)?
False
Let m = 47 - -13. Is 14 a factor of (7/2)/(5/m)?
True
Let m = 12 + 1. Suppose 4 = -h + m. Let c = 16 - h. Is 7 a factor of c?
True
Let y(l) = -21*l - 14. Let v be y(-6). Suppose -2*k + v = -0*k. Is k a multiple of 7?
True
Let a be 111/15 + (-6)/(-10). Let t(l) = -l**3 + 10*l**2 - 9*l - 9. Let v be t(a). Let i = 71 - v. Is i a multiple of 12?
True
Suppose -s = -2*n - 0*n + 26, 0 = 5*n - 25. Does 11 divide (0 + -3 - 8)*(s - 0)?
True
Let q(i) = i**2 + i + 136. Let d be q(0). Let r = -90 + d. Is r a multiple of 3?
False
Let d be 1/((-5 - -3) + (-25)/(-12)). Let n = 7 - 2. Suppose 0 = -2*i + n*t + d, -4 = -0*t - t. Is 11 a factor of i?
False
Let j be (5/15*3)/(-1). Let y be 2 - 1 - (0 - j). Suppose y = 5*d + 5*q - 65, -d - 5*q = 2*d - 31. Is 7 a factor of d?
False
Let n(y) = -18 + 18*y - 8 + 24*y - 61*y + 23*y. Suppose -4 = -q + 8. Does 4 divide n(q)?
False
Let v be 2/(-9) - 60/(-27). Suppose -v*f + 142 = 6*u - 2*u, 5*u + 3*f = 177. Is u a multiple of 36?
True
Su