0. Is v a multiple of 35?
True
Let j(h) = -5*h - 3*h + 38 + 14*h. Is j(7) a multiple of 43?
False
Is (-2)/(-5) - (-12852)/45 a multiple of 26?
True
Suppose 21*s = 25*s - 372. Let r = s + -45. Is 11 a factor of r?
False
Let s(y) = 12*y - 10. Suppose 6*n - 9 = 3*n. Is s(n) a multiple of 13?
True
Let z(p) = 2*p**3 + p**2. Let b be z(0). Suppose 13*l + 5*l - 2610 = b. Is l a multiple of 9?
False
Let y(q) = -24*q**3 + 2*q**2 + q. Let z = -19 + 17. Is 22 a factor of y(z)?
True
Suppose 8*q - 22*q = -56. Suppose 3*o = -5*m + 125, 38 - 234 = -5*o + q*m. Is o a multiple of 10?
True
Let w(y) = 4*y - 5. Let t be w(3). Let s be -9 + t + 12/2. Suppose -s*u + 24 = c - 7*u, 3*c - 92 = 4*u. Does 18 divide c?
True
Suppose h + 1 = -0*h, -2*p - 4*h + 22 = 0. Let y(x) = 13*x - 7*x**2 + 13 + 4*x**2 + 2*x**2. Is 13 a factor of y(p)?
True
Suppose 0 = 2*g - 3*c + 232, 8*c = -3*g + 4*c - 314. Let n = g - -278. Is n a multiple of 28?
True
Let n = 168 - 89. Is n a multiple of 10?
False
Suppose 4 = -4*n, -n - 21 = -k - 66. Let b = -22 - k. Is 4 a factor of b?
True
Let a = -58 + 110. Does 17 divide 2*a + -4 + 5?
False
Suppose -8*h + 88 + 152 = 0. Is 8 a factor of 12/h - (-236)/10?
True
Let c be -18*(-2 - -2 - 2). Suppose r - c = -2*x, 4*r - 157 = x - 58. Is 5 a factor of r?
False
Let m(b) = 2*b**2 + 10*b + 32. Let y be m(-8). Suppose 13*h - y = 8*h. Is h a multiple of 6?
False
Let k = 384 - 222. Is 21 a factor of k?
False
Suppose 0 = w + 5*c - 17, -3*w - 2*c - 17 = -3. Let p be 1 + -1 + w + 11. Suppose 131 = p*n - 106. Is 16 a factor of n?
False
Let u(j) = -j**3 - 7*j**2 + 8*j + 4. Is 8 a factor of u(-10)?
True
Suppose 0 = -2*k + 51 + 833. Is k a multiple of 17?
True
Let z = -645 - -915. Is 10 a factor of z?
True
Let u(o) = o**3 - 40*o**2 + 5*o - 10. Is u(40) a multiple of 61?
False
Let f = 639 + -354. Is f a multiple of 19?
True
Let y be (2 + 328)/(21/14). Suppose 0 = 11*r - 6*r - y. Does 22 divide r?
True
Let j(g) = -g**3 + 7*g**2 - 6*g. Let m be j(6). Suppose -3*f + 32 = -28. Suppose 0*r + 4*r - f = m. Is r a multiple of 2?
False
Is 4 a factor of (0 - (-2)/10) + 240051/245?
True
Let x be -33 - (-4 - 6/(-2)). Let c = 56 + x. Is 14 a factor of c?
False
Let x = 23 - 21. Suppose -30 = -2*z + x*h, h + 75 = 6*z - z. Is 15 a factor of z?
True
Let f(q) = -41*q**3 - 1. Does 14 divide f(-3)?
True
Let y(z) = z + 31. Let t be y(-11). Suppose -162 = t*x - 22*x. Is 27 a factor of x?
True
Let n(u) = u**3 - 7*u**2 - 42*u + 83. Does 10 divide n(18)?
False
Suppose 37*x = 5269 + 32027. Is 84 a factor of x?
True
Suppose 9*t - 3*n - 1092 = 5*t, 4*n = -5*t + 1396. Is t a multiple of 23?
True
Let r(m) = -4*m**3 + 18*m + 20. Is 22 a factor of r(-3)?
False
Let l = 78 + 24. Suppose -5*o + l = -2*o. Let m = 69 - o. Is 5 a factor of m?
True
Suppose i + 5*i = 264. Suppose 0*z - z + i = 0. Is z a multiple of 12?
False
Let s(f) = 23*f + 13. Let l be s(6). Let o = 223 - l. Is 8 a factor of o?
True
Let s be (-5)/(-15) - (-37)/(-3). Let v = s - -4. Let m = 34 - v. Is m a multiple of 14?
True
Let a = 135 - -5. Let j = a - 64. Does 19 divide j?
True
Let w(i) = -20*i + 488. Is 61 a factor of w(0)?
True
Let u be (-2)/(-5) + 18/(-45). Suppose -17*l + 2852 + 140 = u. Is 22 a factor of l?
True
Suppose 0 = -7*a + 17*a - 260. Is a a multiple of 2?
True
Suppose -4*c - 8 = -28. Suppose q - 4*d = 77 - 11, -c*q + 273 = -d. Does 27 divide q?
True
Suppose -2*z = -z - 16. Let q = z + -17. Does 3 divide 16 + -5 - (q - -3)?
True
Let i = 109 - -1202. Is 23 a factor of i?
True
Let a(k) = -k**2 - 3*k - 1. Let z be a(-2). Suppose 17*r + 3 = 18*r. Is 15*((z - 3) + r) a multiple of 4?
False
Let t be 377/15 + (-16)/120. Suppose -u + 6*u = t. Suppose u*z + 5 = 0, q - 5*z = -q + 17. Is q a multiple of 4?
False
Let u be 399/(-27) + (-4)/18. Is 6 a factor of 2/(-3) + (-5)/u*149?
False
Let a(u) = -53*u + 21. Let w(r) = 27*r - 10. Let l be 25/9 - 20/(-90). Let x(t) = l*a(t) + 7*w(t). Is x(2) a multiple of 13?
False
Let m be 2*1/(-2) + 23 - 0. Let k = 91 - m. Is 17 a factor of k?
False
Let z(o) = 2777*o + 5. Let h be z(1). Suppose 5*s = -8*s + h. Is 7 a factor of s?
False
Let h(c) = c + 11. Let l be h(-5). Suppose l*o - 12 = 3*o. Suppose 0 = 5*w, 45 = 2*r + r - o*w. Is 5 a factor of r?
True
Let s = 84 - 74. Suppose s*b = 18*b - 1064. Does 19 divide b?
True
Let x(o) = 101*o - 38. Let m be x(8). Suppose 0 = 7*h - m - 665. Is h a multiple of 39?
False
Let p = 3 - -2. Suppose 16 = 2*l + 2*v, -20 = -4*l + p*v + 21. Suppose l*r - 62 = 7*r. Is 7 a factor of r?
False
Let l(a) = 12*a - 20. Let c be l(2). Suppose -2*i = 3*i - c*q - 210, -2*i + 72 = -4*q. Is 17 a factor of i?
False
Let d(l) = -6*l**2 - 2*l + 1. Let t be d(1). Let m be 6/4*(-1 - 142/(-6)). Let z = t + m. Does 8 divide z?
False
Suppose 28 = 3*v - 4*v. Let s be ((-40)/(-12) - 0)*3. Let a = s - v. Does 22 divide a?
False
Let l be 2 - ((-138)/(-10) + (-2)/(-10)). Let f(o) = -17*o + 40. Does 24 divide f(l)?
False
Does 41 divide (7 + (-3102)/(-2))*1/2?
True
Suppose -4*w = 4*u + 628, -u - 6*w = -2*w + 148. Let c = -14 - u. Is 30 a factor of c?
False
Let l = -706 + 960. Does 75 divide l?
False
Let d = -11 - -11. Suppose 3*r + 0*g - 3*g - 123 = 0, d = -5*r + g + 205. Is 11 a factor of r?
False
Suppose 0 = 4*q - 3*s - 23, -3*q + 5*s = 2*q - 30. Suppose -2*i - 4 = -x + 31, 3*x = q*i + 105. Is 7 a factor of x?
True
Does 23 divide (-1)/(8/(-1066)) + 98/(-392)?
False
Suppose 0 = -h - 99 + 18. Let t = 168 + h. Does 29 divide t?
True
Let z = 13 + -6. Suppose 3*n + z - 52 = 0. Is (-1)/1*(-1 - n) a multiple of 8?
True
Let z(t) = -2*t**2 + 38*t - 125. Does 20 divide z(11)?
False
Let s(j) = j**3 - 8*j**2 + 6*j - 5. Let o be s(6). Let a be (-1 + (1 - 2))*o. Suppose -n - 5*t + 7 + 6 = 0, 0 = -2*n + 4*t + a. Is 11 a factor of n?
True
Let u = -1503 + 2263. Is 8 a factor of u?
True
Suppose 20*f - 1514 - 2486 = 0. Is f a multiple of 40?
True
Let f = -88 + 88. Suppose f = 10*m - 21*m + 1309. Is 7 a factor of m?
True
Let s be 29*2 + 12 + -14. Let l = s - 44. Is 6 a factor of l?
True
Let i = -6 - -6. Suppose -2*n + i*n - 3*q + 23 = 0, -5*n + q = -15. Suppose g - 14 = 3*z + z, -3*g - n*z = -58. Is g a multiple of 6?
True
Let j be 1*-9*1/(-2)*2. Let n(b) = b**3 - 8*b**2 + 8*b + 17. Is n(j) a multiple of 29?
False
Let j be -4*(-1)/2*(90 + -2). Suppose 0*a = -3*g + a + j, 40 = g - 5*a. Does 15 divide g?
True
Let m(j) = j**3 - 8*j**2 - j + 10. Let h be 212/26 - 20/130. Let i be m(h). Suppose x - 81 = -4*k, 2*x - 102 = -i*k - 3*k. Is 18 a factor of k?
False
Let b = -1812 + 2329. Is b a multiple of 11?
True
Suppose -2*h - 10 = 5*j + 5, -2*j = 2*h + 6. Is 1 + j + (-1)/((-3)/552) a multiple of 31?
False
Suppose -z - 40 - 165 = 0. Let v = z + 91. Let f = -60 - v. Is 18 a factor of f?
True
Let x = 47 + -39. Suppose -3*d + x = -2*d. Is 3 a factor of d?
False
Suppose -j - 2*l + 5 = 13, 5*l + 25 = -3*j. Let k(r) = -r - 2 - 2 + 2. Is k(j) a multiple of 3?
False
Let l(m) = -2 - m + 2*m + 0*m. Let w be l(12). Let o = 12 + w. Is o a multiple of 19?
False
Let o(a) = 8*a**2 - 9*a + 17. Let i = -29 - -35. Is o(i) a multiple of 37?
False
Suppose -37*t + 39*t - 1280 = 0. Does 40 divide t?
True
Let j(b) = 87*b**2 + 3*b + 4. Let h be j(-1). Suppose 9*i - 5*i = h. Is 4 a factor of i?
False
Let b(h) be the third derivative of 4*h**2 - 7/24*h**4 + 0 - 2*h**3 + 0*h. Is 22 a factor of b(-8)?
True
Suppose 3*v = 2*v + 2. Let p(s) = -22 + 4*s**v + 6 - 3*s**2 - 5*s. Is 13 a factor of p(-7)?
False
Suppose 0 = -52*i + 57*i + 125. Let f = 155 + i. Does 10 divide f?
True
Let d(c) = -c**2 - c + 328. Let i be d(0). Suppose -53 + i = 5*b. Is b a multiple of 16?
False
Is 495 - 13 - (4 - -1) a multiple of 53?
True
Suppose 4*a + 5*d = 1992, -12*d + 7*d = -2*a + 1026. Is a a multiple of 29?
False
Suppose -4*v - 6 = 3*g - v, g + 22 = -5*v. Suppose -2*q - s + 11 = q, -3*q + g*s = -3. Does 8 divide 1*(q - 132/(-3))?
False
Let c be (6 - 0)*(-3)/(-6). Suppose c*j = -3*j + 48. Let u = j - 1. Does 3 divide u?
False
Suppose 5*h = 5*i + 15, h - 1 - 17 = -2*i. Does 2 divide h?
True
Is 5 a factor of -3*(-1)/4*(-44 + 348)?
False
Let f = 36 + 1614. Does 25 divide f?
True
Does 5 divide (-572)/(-6) + (-76)/228?
True
Suppose 3*o - i = -23, 2*o + 32 = 3*i + i. Let k = o + 6. Is (-14 - 36)*(k + -1) a multiple of 25?
True
Let g = -184 - -207. Does 23 divide g?
True
