 a multiple of 20?
True
Suppose -2*o + 10 = 4*h, -o + 24 = 3*h - 5*o. Suppose k = -2*b + 5*b + 61, 3*k + h*b = 196. Is 16 a factor of k?
True
Let q(u) = -2*u - 12. Let f be 62/(-10) + (-32)/40. Let i be q(f). Is 21 a factor of (193 + -4)*i/6?
True
Let u(w) = -52*w - 280. Does 5 divide u(-19)?
False
Let u(w) = 6*w**2 + 2*w - 1. Let q be u(1). Suppose 14*b = q*b + 91. Does 3 divide b?
False
Let q(g) = -13*g - 1. Let o be q(-1). Let r = o + -10. Is 4 a factor of r*3*10/15?
True
Suppose 2*k + 350 = -3*k - 5*y, 3*k - 3*y = -222. Let s = -49 - k. Is 11 a factor of s?
False
Suppose 0 = 2*u - 9 + 35. Let p(o) = 6*o + 46. Let t(a) = a + 9. Let l(r) = -2*p(r) + 11*t(r). Does 6 divide l(u)?
False
Let g be 2/(-7) + 10/(-14). Let l be 0/3 + (-30)/g. Suppose -4 = 2*y, 2*y + 34 + l = 5*z. Is z a multiple of 6?
True
Let n = -32 - -286. Does 51 divide n?
False
Let j = -16 + 23. Let f = j - -7. Is 9 a factor of f + (5 - 1)/(-4)?
False
Let f = 1265 - -245. Is 28 a factor of f?
False
Suppose 8992 = 193*k - 177*k. Is k a multiple of 38?
False
Let d = 648 - 358. Is d a multiple of 5?
True
Suppose -5*n - 13 = -3, -3*z - n + 1021 = 0. Is 12 a factor of z?
False
Let k(r) be the first derivative of -5*r**2/2 - 21*r + 8. Is 15 a factor of k(-10)?
False
Let f = -1069 - -1967. Does 75 divide f?
False
Suppose -3*j - 2*w = -1334, 3*j + 9*w - 5*w = 1330. Is j a multiple of 32?
False
Let f(a) = 50*a - 2. Let z be f(13). Suppose z = 14*v - 11*v. Does 12 divide v?
True
Let w be 4/((27/(-12))/(-9)). Let b = 21 + w. Is b a multiple of 8?
False
Let n be ((-1)/(-2))/((-5)/(-30)). Let k be (-5 - -3)/(-1) - n. Let l(q) = -5*q**3 - 2*q**2 - q. Is l(k) even?
True
Let k(h) = -h**3 - 6*h**2 - h - 1. Let m be k(-6). Suppose -m*d + 81 = 5*f + 6, 0 = -4*d + 20. Does 5 divide f?
True
Suppose 0 = -2*u + 19*u - 16184. Is u a multiple of 56?
True
Suppose -2*k + 38 = -3*n, 3*k - 17 = 2*k + n. Suppose -11*g - 44 = -k*g. Is g a multiple of 22?
True
Let i(b) = 2 - 1 - b + 1 + 0. Let c be i(2). Suppose -q - 116 = -4*p, 4*q = 5*p - c*p - 145. Does 13 divide p?
False
Let p = 0 - -3. Suppose -n = -3*t + 16, -n + 5*t = -1 + 19. Let w = p - n. Does 4 divide w?
True
Let w be (-35)/(-14)*(-2 + 4). Suppose -3*o + l = -10 + 4, 3*l = 0. Suppose 0 = -w*s + o*z + 90, -5*z + 10*z - 105 = -4*s. Is 10 a factor of s?
True
Let i = -889 + 1349. Is 10 a factor of i?
True
Does 21 divide 168*(-4 + 63/14)?
True
Suppose -12 = -2*v - 4. Is 5 a factor of 1/2*v + 3?
True
Let d be (-11 - -12)*(126 - 1). Suppose 0*k = 2*l - 2*k - 124, 2*l = 3*k + d. Does 12 divide l?
False
Suppose 0 = 5*j + 4 + 1. Let f be j/(-4) + (-2758)/56. Let s = 85 + f. Is s a multiple of 9?
True
Suppose 0 = -463*w + 454*w + 1197. Is 7 a factor of w?
True
Let q = 713 + -639. Is q a multiple of 37?
True
Suppose 0 = 4*m + m - 15. Let s(k) = -k**2 + 2*k + 6. Let q be s(m). Suppose q*v - 1 = 50. Does 17 divide v?
True
Let l = -17 + 22. Suppose -g - 2 = -l. Suppose -2*u = -8, g*t + 2*u + 11 = 136. Is 13 a factor of t?
True
Suppose -432*c + 426*c + 768 = 0. Is c a multiple of 8?
True
Let b be ((-4)/6)/(-6 - 440/(-75)). Suppose 4*l + 5*z - 422 = 0, 3*l = b*z - 143 + 442. Does 30 divide l?
False
Does 13 divide (0 + -891)*(-85)/255?
False
Suppose 5*y - 2*v = 18, -4*y + 3*v - 12 = 8*v. Let u(q) = 12*q**3. Let j be u(-1). Is 9 a factor of j/(-6)*(12 + y)?
False
Suppose -1125 - 30 = -11*u. Is 21 a factor of u?
True
Suppose -1 = -2*n + 17. Let h = -9 + n. Suppose 4*u - 8 - 48 = h. Is u a multiple of 14?
True
Let i(d) = -162*d - 69. Let v be i(5). Let t = -537 - v. Does 39 divide t?
False
Let c be (-1*(-54)/(-21))/((-9)/84). Is (-420)/c*(-1 + -2 - 1) a multiple of 27?
False
Does 37 divide 2224/6 - (7 - 190/30)?
True
Let x be 1 - 18/14 - 41412/(-196). Let h = 14 + -9. Suppose -h*r + 29 = -x. Is r a multiple of 8?
True
Suppose 17 = 5*k + 2*v, 4*k - 3*k - 4*v = -1. Suppose 4*c + 13 - 56 = k*f, 5*c - 5*f = 60. Is 3 a factor of c?
False
Suppose 29*n - 8*n = 15414. Does 11 divide n?
False
Let w(j) = 36*j - 153. Is w(13) a multiple of 7?
True
Suppose -29 + 17 = -3*v. Suppose -5*h - v*x = -0*x - 790, 4*h - 628 = -4*x. Is 21 a factor of h?
False
Let m = -88 + -36. Let x = m - -229. Is x a multiple of 21?
True
Let d be (6/24)/((-2)/(-16)). Let p(u) = u**d - 2 - u + 2 + 0*u**2. Is p(-3) a multiple of 12?
True
Let u be ((-12)/10)/((-4)/10). Suppose -9 = -3*o + u*c, -4*c - 6 = -0*o - 2*o. Does 21 divide (498/(-3))/((-6)/o)?
False
Let w = -317 + 863. Is w a multiple of 39?
True
Let u(j) be the third derivative of j**6/120 + 7*j**5/60 - j**4/8 - 4*j**3/3 + 3*j**2. Let y be u(-7). Suppose y*o = 12*o + 19. Is 6 a factor of o?
False
Let y = -6 + 9. Suppose 72 = y*m - 4*l, 5*m - 2*l + l - 103 = 0. Is (-8)/m - 242/(-5) a multiple of 12?
True
Let c = -34 - -34. Suppose k + k - 18 = c. Does 2 divide k?
False
Is 4878/6 + -7 + -2 a multiple of 6?
True
Let r = 47 + -32. Let a(c) = -c**2 + 17*c - 14. Is a(r) a multiple of 8?
True
Does 101 divide ((-1616)/20)/((-6)/450)?
True
Let b(c) = -3*c**2 + 14*c - 19. Let n be b(9). Let x = -78 - n. Is x a multiple of 30?
False
Let t(p) = p**2 - 4. Let b be t(-3). Suppose 498 = b*w - h, 0 = 7*w - 3*w - h - 399. Is w a multiple of 7?
False
Let y(k) = -k**3 + 4*k**2 + 8*k + 3. Let i = 19 + -14. Is y(i) a multiple of 3?
True
Let w = 175 - -335. Does 10 divide w?
True
Let w(o) = o**3 + 30*o**2 + o + 31. Let r be w(-30). Is (-6)/5 + r - (-562)/10 a multiple of 12?
False
Let i = -2 + -6. Let z = 47 + i. Is 10 a factor of 3/12 + z/4?
True
Suppose -y + 15*r = 12*r - 412, 1212 = 3*y + 3*r. Is 14 a factor of y?
True
Suppose -o - 3*f + 35 = 4*o, -4*o - 5*f + 41 = 0. Suppose -84 = -4*b - o. Suppose -68 = -z - b. Does 16 divide z?
True
Let j(u) = u. Let v be j(0). Let x be 2/(-6) - 7/(-21). Suppose x = -z - v*z + 6. Is z a multiple of 6?
True
Let y be 42/6 - 10/2. Suppose -y*p + 8*p - 984 = 0. Is 41 a factor of p?
True
Suppose 5*u - 6 = 2*u, 3*u = -2*i + 46. Suppose -i = -4*d + 2*d. Is d a multiple of 2?
True
Let m be (-3 + 1)/2 - 12. Let x(l) = l**3 + 13*l**2 + 36. Does 12 divide x(m)?
True
Is 1 + ((-2)/(-8))/(4/7952) a multiple of 39?
False
Let l(s) = -16*s**2 - 3*s - 1. Let m = 12 - 14. Let t be l(m). Let u = t - -105. Is 15 a factor of u?
False
Let f = 2 + 0. Suppose 5*r - 53 - f = 0. Let d = r - -11. Is d a multiple of 13?
False
Let p(i) = i**3 - 5*i + 4. Let u be p(-3). Let z be -2*(4 - (-60)/u). Suppose 66 + 81 = z*m. Does 7 divide m?
True
Let l(n) = 2*n**2 - 6*n + 13. Let c be l(3). Suppose 14*j = c*j + 82. Is 25 a factor of j?
False
Let p be 3*((-8)/12)/(-2). Let t(i) = -22*i - 2. Let v be t(p). Does 23 divide 46/(-4)*v/12?
True
Suppose 17*k + 15 = 12*k. Let r(w) = 3*w + 2 + 0 + 2*w**2 + 0*w. Is r(k) a multiple of 10?
False
Let g be (-282)/(-15) + 5*(-5)/(-125). Suppose x + s - 133 = 0, -2*x - 3*s + 283 = g. Is x a multiple of 15?
True
Let m = 1183 + -568. Suppose -q + 0*q + 136 = 2*x, -3*x - m = -5*q. Is 14 a factor of q?
True
Let v(k) be the first derivative of k**5/20 + k**4/2 + k**3/6 + 6*k - 3. Let w(b) be the first derivative of v(b). Is 12 a factor of w(-3)?
True
Let a = -280 + 343. Does 2 divide a?
False
Suppose -14*u + 3618 = -3578. Does 30 divide u?
False
Let s(v) = v + 20 + 5*v + 7*v. Is 33 a factor of s(8)?
False
Let l(u) = 3*u + 5 + 2*u**2 + 3 - 19*u**3 - 8. Is 13 a factor of l(-2)?
False
Let t be (-2*1)/((-1)/43). Suppose -v + t = g - 6*g, -4*g = 4*v + 64. Let a = 22 - g. Is a a multiple of 13?
True
Suppose -r = -2*h + 16, 2*h + r + 1 - 9 = 0. Does 2 divide (-4 - 0) + (h - -1)?
False
Let v = -32 + 45. Let s = 80 - v. Is s a multiple of 14?
False
Let c = -201 - -259. Is c a multiple of 58?
True
Does 8 divide -2 + (-15)/(-2 + -1) - -498?
False
Suppose -4*z = -5*k - 5 - 13, -4*k + 4*z - 16 = 0. Let t be (8/(-12)*-57)/k. Let r = t - -76. Is r a multiple of 19?
True
Suppose 0 = 3*j - f - 23, 2*j + 5*f + 3 = 3*j. Let n be (-92)/j*(6 - 4). Let s = -20 - n. Is 2 a factor of s?
False
Let r = 48 + -47. Is 23 a factor of r - (-54 + -4) - -4?
False
Let i be 234 - (-4 - (1 + -2)). Suppose 30*j - i = 27*j. Is j a multiple of 12?
False
Let i = -45 - -344. Does 21 divide i?
False
Let s be (-145)/(-35) + (-3)/21. Is (-17)/(-2)*(-2 + s) a multiple of 5?
False
Let a = -19 - -15. Does 26 divide ((-140)/a + 4)/(6/4)?
True
Let j(x) = -x**2 - 12*x - 2. Let k be j