35. Is b(5) a multiple of 162?
False
Let h(i) = i**3 - 56*i**2 + 115*i - 41. Is 7 a factor of h(54)?
False
Suppose 300 = 5*p - 160. Is p a multiple of 46?
True
Is 39 a factor of (-13 - 15)*30/(-2)?
False
Let u(j) = 2*j - 3. Let p be u(4). Suppose -4*b + 4*a + 12 = -92, -110 = -p*b - 5*a. Is 20 a factor of b?
False
Let m(u) = 2*u**2 + 18*u - 4. Let f be m(-9). Is 11 a factor of (f + 0)/(6 + 175/(-28))?
False
Let n be 1/(-4) + ((-30)/8)/(-3). Suppose -4 = -u - n. Is u even?
False
Suppose 4*w = 2 - 2. Suppose 3*o + 1073 = 5*a - 265, -a + 3*o + 258 = w. Does 30 divide a?
True
Let m = -1213 + 2457. Does 6 divide m?
False
Is (3/(-6))/(0 + 5/(-6470)) a multiple of 37?
False
Let l(a) = 112*a - 452. Does 17 divide l(11)?
False
Let t(r) = r**3 - 5*r**2 + 2*r + 2. Let z be t(6). Let n = z - -38. Is n a multiple of 22?
True
Let z(h) = 315*h**2 - h + 1. Is 21 a factor of z(1)?
True
Suppose -2*b = 5*x - b + 93, 4*x = -5*b - 87. Is x/(-63) - 278/(-7) a multiple of 40?
True
Suppose 51*k = 34*k + 11101. Is 14 a factor of k?
False
Is (-1)/1*(-8 - (7 - -422)) a multiple of 23?
True
Let j(o) = -o**3 + 8*o**2 - 5*o - 3. Let z be -2 - (-19 + 2 - 3). Suppose 0 = 3*s + 3 - z. Is 9 a factor of j(s)?
False
Let a = 35 + -26. Is 519/a - (-4)/12 a multiple of 23?
False
Let t = 271 - 159. Is t a multiple of 14?
True
Is 76 a factor of 10/(-145) - (-187350)/145?
True
Let q(u) = 2*u**2 + 8*u + 1714. Does 17 divide q(0)?
False
Suppose 0 = -v + u + 21, 3*u - 6*u = 4*v - 63. Suppose 51 = 5*i - 84. Suppose 5*k = v + i. Is k a multiple of 4?
False
Let a(w) = 88*w**2 - 4*w - 2. Suppose -4*c + 9*c + 3*o = 4, 2*c = 2*o - 8. Is a(c) a multiple of 10?
True
Let p(x) = x + 3. Let b be p(0). Let n = 128 - 126. Suppose -c - 52 = -g, b*g + 0*c - 156 = -n*c. Is 15 a factor of g?
False
Suppose 231*l + 42174 = 242*l. Is 36 a factor of l?
False
Let g be (0 - 0)/((-15)/(-15)). Suppose q - 30 - 11 = g. Does 9 divide q?
False
Is 375/20*(-1 - 151/(-3)) a multiple of 5?
True
Does 16 divide 4/(-10) + 66432/30?
False
Let d(b) = -5*b - 4. Let i(v) = 11*v + 8. Let q(u) = 13*d(u) + 6*i(u). Let r be q(6). Suppose h = r*t + 31, 27 = -3*h + 5*h + 3*t. Is h a multiple of 5?
False
Let o(m) = m**3 - 7*m**2 + 2*m. Let g(b) = -b**3 + 8*b**2 - 3*b + 1. Let z(y) = -4*g(y) - 5*o(y). Let c be z(3). Suppose -h = c*h - 138. Is 23 a factor of h?
True
Let f be 4/3 - (-1)/(-3). Let x be 1 - (-49 + f + 1). Let g = x - -12. Does 15 divide g?
True
Let a = 1 + 1. Let t(z) = 147*z + 11. Is 18 a factor of t(a)?
False
Let u = 355 + -157. Does 11 divide u?
True
Let l = -80 + 144. Suppose 2*r - 10 = 0, 5*r + l = 3*z - 475. Suppose 4*a = -0*a + z. Is 15 a factor of a?
False
Is (-1000 + 1)*(-6)/(-18)*-1 a multiple of 37?
True
Let u = 658 + -242. Is u a multiple of 13?
True
Let z(v) = -3*v**3 - 3*v**2 + 24*v + 29. Is 15 a factor of z(-9)?
False
Let f = -1063 - -1102. Is 39 a factor of f?
True
Let z be 74/3 + 1/3. Let r = z - -28. Does 12 divide r?
False
Let n(v) be the first derivative of 7*v**2/2 + 4*v + 5. Let k be n(5). Suppose 4*g + c = 40, -3*c = -2*g + k - 5. Is 3 a factor of g?
False
Let b(p) be the third derivative of p**6/120 + p**5/30 - p**4/4 - 3*p**3/2 + p**2. Let k be b(-6). Let f = -77 - k. Is 20 a factor of f?
True
Suppose 17*d + 1152 = 23*d. Suppose -2*k - k + d = 4*t, 3*t = 3*k + 144. Is 7 a factor of t?
False
Suppose 32*b - 14*b = 11340. Is 9 a factor of b?
True
Let n(w) = -w**2 - 4*w - 5. Let q(l) = l + 3. Let h(s) = -n(s) - 4*q(s). Suppose -30 = -4*c - 2. Does 14 divide h(c)?
True
Let v be 4/10 + 3560/(-25). Let s = -85 - v. Does 18 divide s?
False
Let x be 3 + 57/((-9)/(-3)). Let i be 180/22 + (-4)/x. Suppose -i*r - 14 = -10*r. Does 2 divide r?
False
Let q(l) = -8*l**2 + 10. Let f be q(-3). Let t = 104 + f. Is t a multiple of 11?
False
Suppose 2*o + 5*q = 1721, -o = q - 454 - 399. Is 53 a factor of o?
True
Let w = -789 - -1626. Is 14 a factor of ((w/(-15))/3)/((-3)/15)?
False
Does 14 divide (-28487)/(-7) + 2 + (-55)/35?
False
Let d = -752 + 1343. Is d a multiple of 10?
False
Let a be 46/115 + (-2)/5. Suppose -8 = -i - 4*n, a*i - 3*n - 5 = -2*i. Does 3 divide i?
False
Let h(r) = r**2 + 9*r - 4. Let w be h(-10). Let z be (-1 + 51)*w/4. Suppose 0 = 5*n - 0*n - z. Is 5 a factor of n?
True
Let g = -156 - -159. Suppose 0 = -4*u + 2*h + 1352, u + g*u + 4*h - 1376 = 0. Is 57 a factor of u?
False
Let h = 419 - 297. Let a = h + -38. Is 7 a factor of a?
True
Let j(y) = 113*y**2 + 4*y + 7. Is j(-2) a multiple of 55?
False
Let n(y) = -92*y + 8. Let o be n(-2). Suppose -3*m + o = -3*r, 2*m = m - 5*r + 82. Does 11 divide m?
False
Suppose 0 = -2*f - f - 18. Let a = f + 15. Is 2 a factor of a?
False
Let j(k) = k + 9. Let v be j(-7). Let h(o) = -2*o - 3*o - v*o - o**2 + 8 + 3. Is h(-6) a multiple of 4?
False
Suppose -l - 27 = 2*j, 5*l + 58 + 12 = 3*j. Let z = l + 37. Does 4 divide z?
True
Let n(f) = -4*f - 2. Let s = -5 + 13. Let q be 12/s*(-8)/6. Does 3 divide n(q)?
True
Let u = 2 + -2. Suppose 2*o = 5*d + 30, 4*d + 0*d = -3*o - 1. Suppose 5*y + 3 = 2*y, u = -3*m - o*y + 49. Does 9 divide m?
True
Is 31 a factor of ((-10092)/522)/((-2)/558*2)?
True
Let q(a) = 89*a + 62. Does 24 divide q(2)?
True
Let q be (-834)/36 + (-1)/(-6). Let g(d) = -66*d**2 - 1. Let u be g(1). Let v = q - u. Does 22 divide v?
True
Suppose 2*a = 6*a + 12, -3*a + 3 = 4*z. Suppose -g + 14 = 5*q + 53, -z*q + 3*g - 27 = 0. Does 2 divide -5 + 4 - (q + -2)?
False
Let a(h) = -h**3 - 4*h**2 + 4*h. Let x be (-11 - (-9 + 5)) + (2 - 0). Is 2 a factor of a(x)?
False
Let u(l) = -l**3 - 2*l**2 - 3*l - 11. Let q(d) = -d**3 - d**2 - d - 1. Let v(c) = -2*q(c) + u(c). Is 38 a factor of v(5)?
False
Suppose -i - 2*i - 3*r = 90, 4*r = i + 55. Let f = i + 43. Is 8 a factor of f?
True
Let m = 235 - 188. Does 4 divide m?
False
Let n(u) = 11*u**3 - 5*u**2 - 9*u - 12. Let s be n(-3). Let l = s - -547. Does 22 divide l?
True
Suppose 3*j = -3*r + 60, -5*j + 2*r = r - 106. Let c(q) = -3*q + 10. Let w be c(-10). Let h = w - j. Is 8 a factor of h?
False
Let y be (4/12)/((-4)/(-72)). Suppose -4*f + 242 = y. Is f a multiple of 13?
False
Let s(k) = -2*k**3 - 4*k**2 + 14*k + 36. Does 12 divide s(-6)?
True
Let h = -95 + 142. Let c(p) = 2*p**2 - 5*p + 5. Let m be c(2). Suppose 2*x + h = 2*i + m*i, 5*i + x - 44 = 0. Does 9 divide i?
True
Let i(p) = -81*p**3 + p. Let a be i(1). Suppose -v - 8*r + 7*r + 189 = 0, 5*v = 3*r + 913. Let g = v + a. Is g a multiple of 17?
False
Let y = 135 - 133. Is ((-2394)/35 + y)*10/(-4) a multiple of 12?
False
Let a = 1572 - 900. Does 4 divide a?
True
Suppose -5*d - 2*n + 8 = -4*d, d - 5*n + 13 = 0. Let w(o) = 8*o + 2. Does 18 divide w(d)?
True
Let u(w) = w**3 + 18*w**2 + 23*w - 4. Suppose q = -q + 5*b - 52, -2*q - 16 = 4*b. Is u(q) a multiple of 28?
True
Let c be 3/6*334/(-1). Let r = -250 - c. Let l = r - -139. Is l a multiple of 14?
True
Let j(m) = 3*m**2 + 2*m + 8. Let z be j(7). Suppose 87 = 4*a - 5*h - z, -2*h + 169 = 3*a. Let f = 45 + a. Is f a multiple of 26?
True
Let t(z) = -10*z - 1. Suppose 6 = d - 7. Suppose 4 = 2*k - 2*f, 0 = -3*k - 2*f - 1 - d. Is t(k) a multiple of 19?
True
Suppose -5*m = -4*n - 12, 2*n = 3*m - n - 6. Suppose -p = 4*w - 3*p - 164, 8 = m*p. Is w a multiple of 31?
False
Suppose 3*v + 3*j - 281 - 37 = 0, 0 = v - 4*j - 86. Let n = v + -76. Is 2 a factor of n?
True
Suppose 5*v - 469 = v - a, 0 = 4*v - 5*a - 439. Is 19 a factor of v?
False
Suppose 26*c - 5654 = 21*c + 2*y, -2*y = 4. Does 10 divide c?
True
Let d be 1*(-1)/1 - -12. Let r = 45 - d. Is r a multiple of 3?
False
Suppose -28*y - 506 = -16046. Is 15 a factor of y?
True
Let j = 76 - 51. Suppose 256 = -21*k + j*k. Does 8 divide k?
True
Let a(f) = 201*f + 588. Is a(13) a multiple of 97?
True
Suppose 52 = 4*j - 56. Suppose -91 = -2*u + j. Suppose 3*g - u = -4*h, -4*h = 2*g - g - 57. Does 5 divide h?
False
Suppose -3*j + 12 = -4*o, 2*j - 4*o = 4 + 8. Suppose -3*n = j, -3*r + n + 18 = -0*n. Let l(c) = 2*c. Is l(r) a multiple of 4?
True
Suppose 12 = -4*t, -g - 3*t - 219 = -0*t. Let c = 317 + g. Is c a multiple of 16?
False
Is 45 a factor of -8*(621/(-3) + -7)?
False
Suppose -4*i + 4 = -4*s, -5*s = -0*i + 2*i - 23. Suppose -p + 3*y - 37 = -175, y - 526 = -i*p. Does 22 divide p?
True
Let u(c) = 2*c**3 + 11*c**2 - 3*c - 5. Let h be u(-6). Let l = 12 - h. Does 10 divide l?
False
Let z(g)