oes 14 divide w?
False
Let h = -774 + 1034. Is h a multiple of 4?
True
Suppose 6*v + 700 = 11*v. Suppose -4*p + w + 146 = -10, 4*p = -3*w + v. Is p a multiple of 10?
False
Let d = -148 + 220. Suppose 31*c - 33*c = -d. Does 18 divide c?
True
Let d(g) = -g**3 + 15*g**2 + g - 10. Let n be d(15). Let s(p) be the second derivative of 23*p**3/6 - 5*p**2/2 - p. Is s(n) a multiple of 28?
False
Is (-36*1 - 0)*(-40 + 36) a multiple of 16?
True
Let z be 26/10 + -2 - (-33)/(-55). Suppose -4*d + 3*h - 2*h + 449 = z, -5*d + 4*h + 564 = 0. Is 28 a factor of d?
True
Suppose 6 = 4*h - 2. Suppose 4*u + h*a - 315 = -125, -2*u - 2*a = -98. Is u/1*(-3)/(-2) a multiple of 15?
False
Suppose 4*m = -4*d + 20, -m - 3*m = -2*d - 8. Let o be 11/d - 33/22. Suppose -2*w - 26 = -o*w. Is 6 a factor of w?
False
Suppose 10 = -12*p - 26. Let z = 173 + p. Is z a multiple of 33?
False
Let j(y) = 12*y**2 + y. Let w = 0 - -1. Let s be j(w). Suppose -3*a = -s - 86. Does 11 divide a?
True
Suppose 3*s + 1 = -2. Let v be -12 - ((3 - 1) + s). Let f = 54 + v. Is f a multiple of 12?
False
Suppose 47 = -2*q + 5. Let f = q + 23. Suppose -s = f*s - 39. Is 4 a factor of s?
False
Suppose n + 214 = 3*c, -7*n + 4*n = -6. Is c a multiple of 2?
True
Let r(w) = 64*w**2 + w. Suppose -10*z = -9*z - 1. Is r(z) a multiple of 13?
True
Is (222/(-18))/(5 - (-318)/(-63)) a multiple of 37?
True
Does 8 divide 25 + (-5)/((-25)/(-20))?
False
Let u(v) = 3*v**2 - 14*v + 79. Is u(-16) a multiple of 21?
True
Let t(u) = 1116*u**3 - 2*u**2 - 2*u + 2. Does 90 divide t(1)?
False
Suppose 0 = -2*f + 10. Let g = 101 - -75. Suppose f*v + 56 - g = 0. Is v a multiple of 7?
False
Suppose -q - 3*h + 4*h + 57 = 0, -3*q = 4*h - 178. Is 15 a factor of q?
False
Suppose i - m = 0, 3*i - 11 - 5 = -m. Suppose -4*a + 848 = 2*c - 0*c, i*a - 2*c = 832. Does 14 divide a?
True
Let s be (8/(-3))/(4/(-18)). Suppose 3*i - 8 = i. Suppose i*z - s = z. Is z even?
True
Suppose 2*x = 3*r + 21, 3*x - 24 = -26*r + 29*r. Does 2 divide x?
False
Let q = 149 - 146. Let z(t) be the second derivative of t**5/20 + t**4/3 - t**3/2 - 2*t**2 - t. Is z(q) a multiple of 25?
True
Suppose -10*y + 1494 + 1236 = 0. Is 91 a factor of y?
True
Let w(b) = b + 1. Let q be w(8). Let v be 6/q - (-236)/(-12). Let z = v + 49. Is 15 a factor of z?
True
Let n = 897 + -645. Is 21 a factor of n?
True
Let j(a) = -12*a + 14. Let k(m) = -m**3 + 6*m**2 + 6*m + 2. Let i be k(7). Does 10 divide j(i)?
False
Let j be ((-458)/(-6) - 5)/(2/9). Suppose 219 = 9*s - j. Is s a multiple of 8?
False
Suppose -3*o + x + 10 = 0, -2*x - 3 = -3*o + 2. Let z(m) = 2*m - o*m + 11 + m**2 - 3*m - 3*m. Does 3 divide z(9)?
False
Let j(b) be the third derivative of b**5/60 - b**4/6 - 2*b**3/3 - b**2. Let y be j(5). Suppose f + y = 5. Does 3 divide f?
False
Let q = -433 - -703. Suppose m - q = -m. Is m a multiple of 15?
True
Let z(v) = 9*v + 31. Let u(o) = 5*o + 15. Let s(a) = 9*u(a) - 4*z(a). Does 13 divide s(6)?
True
Suppose -3*y - 155 = 2*y. Let a = -19 - y. Suppose -5*v + a = -v. Is v even?
False
Let z = 132 - 145. Suppose -5*a + 30 + 5 = 0. Let q = a - z. Does 5 divide q?
True
Suppose 3*q + 316 = v - 5*v, -535 = 5*q + 5*v. Let t = 54 + q. Let c = t - -120. Is c a multiple of 13?
False
Is 5 a factor of 20/50 + (-3068)/(-5)?
False
Suppose 10*a + 27 - 3877 = 0. Does 35 divide a?
True
Suppose 310 - 121 = -7*n. Let m = 51 + n. Is ((-612)/m)/((-6)/8) a multiple of 5?
False
Let k be -5 - (1 + -5) - -5. Suppose 0 = -6*f + k*f + 98. Does 7 divide f?
True
Let t(b) = 6*b + 17. Let x be 13/4 + (-12)/48. Suppose x + 37 = 5*w. Is 13 a factor of t(w)?
True
Let q(j) = 23*j + 1320. Is q(0) a multiple of 55?
True
Let r = 34 - -39. Let g be 3/(-12) + r/4. Suppose 3*z = 2*z + g. Is 9 a factor of z?
True
Let v(a) = -a**3 + 11*a**2 - 17*a + 19. Let f = 36 + -28. Is 10 a factor of v(f)?
False
Suppose 3*c = -3*u + 21, -4*u + 2*u + 11 = c. Suppose c*f + 41 = 122. Is 9 a factor of f?
True
Suppose 2*a = 2*z + 228, -4*z + 53 = -2*a + 277. Is a a multiple of 17?
False
Let v(n) be the second derivative of 4*n + 0*n**2 + 1/2*n**3 + 0. Is 9 a factor of v(6)?
True
Suppose -2*b + 5 - 31 = 2*l, 0 = -2*b - l - 24. Let j = -29 + 11. Let v = b - j. Is v a multiple of 4?
False
Suppose 36*d = 22*d + 7476. Is 11 a factor of d?
False
Let f(w) = -4*w**2 - w - 3 + 3*w + 6*w**2 - 10*w. Does 13 divide f(-3)?
True
Let r = 49 + -98. Does 4 divide -1*((-5 - -1) + r)?
False
Let y(r) = -r**3 + 14*r**2 - 21*r + 4. Is y(11) a multiple of 34?
True
Let h = 2828 + -2077. Is h a multiple of 8?
False
Suppose -24*k = -22*k - 4. Suppose -k*r + 4 + 3 = 5*m, -5*m + 4*r + 1 = 0. Suppose -3*h + 49 = m. Is h a multiple of 16?
True
Let a be (-10 + 7)*(-4)/6. Suppose 5*i - w = w + 4, 2*i + a = -w. Suppose z = -5*t + 38, 2*t + i = 2*z + 20. Does 4 divide t?
True
Suppose -2*m + 156 - 130 = 0. Suppose 5*i + 8 = -2*a, 2*i = 4*a + 4*i. Is m - a/(4/12) a multiple of 2?
True
Let a(n) = n**2 + 9*n - 17. Let i(q) = -4*q + 8. Let c(m) = 3*a(m) + 7*i(m). Is c(-3) a multiple of 5?
True
Does 9 divide -1 - 49/(-9 + 2) - -4823?
False
Let j(f) = 13*f + 1. Let l be (-2)/3 + (-1)/3 - -6. Is j(l) a multiple of 22?
True
Let f(l) = -3*l - 26. Let n be f(0). Let i = n + 53. Suppose 9*b + i = 12*b. Does 9 divide b?
True
Suppose -u - 6*u + 21 = 0. Suppose 3*b + 15 = 0, -u*b + 13 = 4*t - 40. Suppose -t*v = -14*v - 189. Does 9 divide v?
True
Does 17 divide (946 - 1) + -71 + 61?
True
Let y(m) = -5*m**3 + 11*m**2 + 5*m - 41. Let z(i) = 4*i**3 - 12*i**2 - 6*i + 42. Let k(l) = 5*y(l) + 6*z(l). Does 26 divide k(-17)?
True
Let b(m) = -841*m - 85. Is b(-2) a multiple of 14?
False
Suppose 32 = 2*j + 4. Suppose -v + t = 6*t - j, -3*t = 3*v - 78. Does 5 divide v?
False
Suppose 2113 = -17*z + 20*z - 5*s, -5*z = 2*s - 3563. Is z a multiple of 79?
True
Let q(i) = 3*i - 5. Does 8 divide q(23)?
True
Let k = -5 - -17. Let i = -28 + 46. Let b = i - k. Is b a multiple of 6?
True
Let h be 6/((-8)/4*-1). Let x(q) = -10*q - q**3 - 7 + 2*q**2 + 4*q**2 + 2*q**h. Is x(-7) a multiple of 14?
True
Suppose 3*p - 153 = u + 155, -212 = -2*p + 4*u. Is p a multiple of 3?
True
Suppose 4 = 2*z, -2*z = -2*f - z + 10. Suppose 543 = f*r - 3. Is 5 a factor of r?
False
Let t = 298 + -169. Suppose 43 - t = -2*k. Does 3 divide k?
False
Let p = 115 + -58. Suppose i = -1 + p. Does 12 divide i?
False
Let c(h) = 66*h**2 + 18*h + 118. Does 116 divide c(-6)?
False
Suppose -105*m + 156*m - 19278 = 0. Is 2 a factor of m?
True
Let l(j) = j**3 - 6*j**2 + 6*j - 5. Let o be l(5). Let g = 162 - -22. Suppose o = -f + 5*f - g. Is f a multiple of 18?
False
Let f(h) be the second derivative of -6*h + 7*h**2 + 1/6*h**4 + 0 - 5/3*h**3. Does 8 divide f(7)?
False
Suppose 0 = -2*t - 6 + 34. Let i(s) = -25*s + s**2 + t*s - 18 + 10*s. Is 3 a factor of i(6)?
True
Suppose 0 = -3*v - 2*o + 940, 0 = 2*o - 6*o - 4. Does 8 divide v?
False
Let l(c) = c**2 - 5*c - 12. Suppose x = -2*h + 19, 27 = x + 3*h + 3. Is l(x) a multiple of 4?
True
Is 2/(314/52 + -6) a multiple of 13?
True
Suppose u + 4595 = 5*z, 938 = 4*z - 3*z - 4*u. Is 18 a factor of z?
True
Suppose -3*s = g - 30, g = -3*g - 4*s + 136. Is (1308/g)/((-1)/(-3)) a multiple of 18?
False
Let y(j) = -j**3 + 11*j**2 + 14*j + 11. Let n be y(12). Let l = 17 + n. Is 14 a factor of l?
False
Let s(i) = 2*i**2 - 8*i + 5. Let z be s(6). Suppose -x - 13 = -2*f + z, 5*x - 63 = -3*f. Is 28 a factor of 645/f - 2/(-7)?
False
Suppose -708*b = -704*b - 76. Is b a multiple of 19?
True
Suppose p = -2*y - 3*y - 7, -3*y = p + 9. Let f = 55 + p. Does 20 divide f?
False
Let l(w) = -w**2 + 3*w + 7. Let v be l(5). Is -2*(-46)/(-2)*v a multiple of 31?
False
Let v be (-70)/15 + (-2)/(-3). Is 10 a factor of (-2)/((-6)/(-387)*6/v)?
False
Let b = 1 + 1. Suppose -b*j = -4*q + 40, 4*j - 3*j + 32 = 5*q. Let u = 20 + j. Is 2 a factor of u?
True
Suppose 24*r - 2*r - 9548 = 0. Is r a multiple of 22?
False
Let q(h) = 132*h - 72. Does 38 divide q(4)?
True
Let i(y) = -34*y + 7*y - 15*y - 2*y + 20. Is 21 a factor of i(-3)?
False
Let u be (-3)/(1/(-2)*2). Suppose u*y + 22 - 55 = 0. Let o(p) = -p + 14. Is 2 a factor of o(y)?
False
Let a(r) = 11*r + 3. Let k be (-27)/15*10/(-6). Is a(k) a multiple of 12?
True
Suppose 0 = t - 0*t - 56. Let w be -4 + (t/(-2))/(-4). Suppose -2*f = 5*x - 36, -2*x + w = -1. Does 6 divide f?
False
Suppose -11*d = 31 +