?
False
Suppose 2*b + 3 - 9 = 0. Suppose 301 = b*t - 137. Is 17 a factor of t?
False
Let p = -40 + 28. Let c = p - -21. Suppose -2*h + c + 3 = 0. Is h even?
True
Let v(w) = 17 - 2*w**3 + 5*w + 0*w**3 + 2*w**3 - 11*w**2 + w**3. Is v(11) a multiple of 13?
False
Does 3 divide 7/((-35)/(-220)) - 3?
False
Is ((-672)/(-80) - 6)/((-6)/(-320)) a multiple of 4?
True
Let g = -13 + 39. Suppose 0 = 4*l - 10 - g. Is l a multiple of 3?
True
Suppose -f - 24 = b, f + 4*b = -b - 32. Let d = 74 + f. Does 30 divide d?
False
Let j = -332 - 14. Does 38 divide (-4)/(3 + j/114)?
True
Let i = 6 + -6. Suppose h + h - 80 = i. Does 7 divide h?
False
Let z(p) = -4*p**3 + 55*p - 12. Is z(-7) a multiple of 11?
False
Suppose 3573 = 35*d - 38*d. Is 22 a factor of 2/7 - d/21?
False
Suppose -t - 3*t = 0. Let u = -1433 - -1431. Does 8 divide 30 + t/1 - u?
True
Let g = -3 + 7. Suppose -h = 0, h + 0 + g = 2*o. Suppose 3*w = -o*w - 10, w - 6 = -f. Is f a multiple of 4?
True
Suppose 2*g - 2 = 3*r, g + 5 = 5*r - 1. Suppose p - 6*j + r*j = 15, -4*j + 6 = 2*p. Is 4 a factor of p?
False
Suppose -149 = 3*x + 4*h - 137, -3*h = -4*x + 9. Suppose -5*i = 2 + 3. Does 9 divide (-37)/i - (x + 2)?
False
Let m(h) = h**2 + 2*h + 1. Let t be m(-3). Let p be 286/(-4) + 2/t. Let f = p - -104. Is f a multiple of 11?
True
Suppose 3*c = f - 274, -f = 5*c + 126 + 344. Let s be (c/(-9))/((-2)/(-12)). Suppose s = 2*q - 3*y - 20, -78 = -2*q + 2*y. Is q a multiple of 7?
True
Does 16 divide (-10)/(-4)*(-6 - (-7632)/15)?
False
Let o(z) = z**3 + 14*z**2 - 11*z + 11. Let c be o(-14). Suppose -5*k - 40 = -c. Does 9 divide k?
False
Let d be ((-13)/4)/(17/884). Let q = -121 - d. Let v = q - -9. Is 19 a factor of v?
True
Suppose 0 = 3*k - 5*p - 10, 0 = -2*k - 3*p - 8 + 21. Let s(w) = -3 + 2 - 5*w + 4*w**3 + 9*w**2 - k*w**3. Is s(8) a multiple of 5?
False
Suppose 3*w + 14 = 2*w. Does 11 divide 12/(-84) + (-310)/w?
True
Let h be 75/35 + 1/(-7). Suppose h*x = 404 - 52. Suppose 2*s + s + 2*c - x = 0, 5*c = -5*s + 290. Is s a multiple of 20?
True
Suppose -29512 = -34*i + 3*i. Is 68 a factor of i?
True
Suppose 7*v - 73 - 165 = 0. Suppose 0 = 3*o - 166 - 8. Let x = o - v. Is 19 a factor of x?
False
Let d(j) = 112*j + 12*j**2 - 38*j - 9 - 29*j - 34*j. Does 24 divide d(-4)?
False
Is -2 + (-28897)/(-11) + -5 a multiple of 20?
True
Suppose 40*c - 30*c = -3290. Let a = -179 - c. Is 10 a factor of a?
True
Suppose 2*q - 594 = 21*t - 25*t, -3*t + 903 = 3*q. Does 5 divide q?
True
Suppose 4*x = -0*x - 108. Let i = -6 - x. Is (-9)/21 + 576/i a multiple of 12?
False
Let r(m) = m**3 + 12*m**2 + 20*m + 4. Let h be r(-10). Suppose -h*k = -9*k + 225. Does 14 divide k?
False
Let r(k) = -k**3 + 8*k**2 + k + 8. Let y = 19 - 11. Is r(y) a multiple of 8?
True
Let p = 72 + -79. Suppose -2*w = -4*w + 90. Let n = w - p. Does 16 divide n?
False
Suppose 5*i = -3194 - 776. Let q be i/(-4) - 9/18. Suppose -5*l + 2 = -q. Is 20 a factor of l?
True
Let k be 2*(-6)/4 + 21. Suppose -21*f + 144 = -k*f. Is 9 a factor of f?
False
Suppose -14*b + 4560 = 5*b. Is 10 a factor of b?
True
Let p = -31 - -30. Does 39 divide 1166/10 + (p - 7/(-5))?
True
Suppose v = 4*v. Suppose v*y = -2*y. Suppose 2*d - 2*i - 14 - 10 = y, 5*i - 70 = -5*d. Does 13 divide d?
True
Let h(c) = 48*c + 689. Does 29 divide h(12)?
False
Suppose 3*p + 0*a - 1484 = -4*a, 5*p = -2*a + 2464. Does 14 divide p?
False
Suppose 0*j + 3121 = 5*k - j, 5*k = 5*j + 3125. Suppose -t - 3*t + k = 0. Does 41 divide t?
False
Suppose 2*w = -2*w - y + 1146, -3*y = -w + 280. Suppose w = 5*p + 26. Does 14 divide 4*(-2 - p/(-8))?
False
Let x(y) = 8*y**2 - 40 - 9*y + 19*y - 12*y. Is 12 a factor of x(6)?
False
Suppose -5*i = i - 3348. Suppose -3*b + 0*v + 412 = -4*v, -v - i = -4*b. Is b a multiple of 35?
True
Let i be 1108/3*9/6. Suppose -t + 2*m + 109 = m, -4*m + i = 5*t. Does 22 divide t?
True
Let i(u) = -u**3 + 4*u**2 - 2*u + 6. Let b be i(4). Let z = 77 + b. Suppose 0 = 4*h - h - z. Does 5 divide h?
True
Let f = 184 + -48. Suppose x - f = -3*x. Does 5 divide x?
False
Suppose -2*t + 3*d = -577, 3*t - 7*t = -2*d - 1174. Is t a multiple of 33?
False
Let a(c) = 11*c - c**3 + 6*c**2 - 45 + 50 + 4*c**2. Let q be a(11). Suppose 363 = 4*k + v, q*k - 437 = -2*v + 19. Is 15 a factor of k?
True
Suppose 0 = 5*f - 10*f + 30. Suppose 4*s - 70 = -f. Does 3 divide s?
False
Suppose -259*g = -265*g + 468. Is 39 a factor of g?
True
Let p(q) = 2*q**2 + q - 238. Let c be p(0). Let y = 442 + c. Is 53 a factor of y?
False
Let y be (1 + -2)*0 - 0. Suppose y = -3*d + 55 + 68. Does 8 divide d?
False
Let a(o) = -13*o + 3 + 11*o - 17*o. Does 21 divide a(-3)?
False
Suppose 12*n - 7*n + 1460 = 0. Let r = n - -418. Does 14 divide r?
True
Suppose -4*o + 904 = 5*l, -10*l - o + 732 = -6*l. Is 8 a factor of l?
True
Suppose -8*w + 5888 + 1928 = 0. Is 13 a factor of w?
False
Let j(r) = -r**3 - 2*r**2 - r - 10. Let i be j(-3). Suppose -5*w = i*m - 215, -4*w - 247 + 5 = -2*m. Is m a multiple of 21?
False
Let l(p) = -p**2 - 6*p + 6. Let u be l(-7). Let m = -67 + u. Let k = -32 - m. Is 9 a factor of k?
True
Suppose k = 67 - 22. Suppose -q = -4*q + k. Is q*(4 - (-4 + 3)) a multiple of 25?
True
Suppose 0 = -3*f + 2171 - 713. Suppose -f = -4*o + 2*o. Does 27 divide o?
True
Suppose 0 = s - 4*j - 260, 3*j = 1 + 5. Is s a multiple of 12?
False
Let k(o) = o**3 + 48*o**2 + 83*o - 102. Is 39 a factor of k(-46)?
True
Let z = -539 - -1020. Let o = z + -334. Is 21 a factor of o?
True
Let x(p) = 65*p - 26. Is x(7) a multiple of 5?
False
Is 41 a factor of 10/2 + -4 + 3940?
False
Let y be 2/3 + (-8)/(-6). Suppose 5*q - 73 = y*l, -2*q = 5*l + 15 - 50. Does 3 divide q?
True
Let i(b) = -b**3 + 10*b**2 - 8*b - 5. Let s be i(10). Let g = 121 + s. Does 15 divide g?
False
Let z be 1/(-4*3/(-5700)). Let m = z + -774. Is m/(-4) + 2/8 a multiple of 35?
False
Let k = 490 + -332. Suppose k = 3*l - 7*v + 2*v, 130 = 3*l + 2*v. Does 7 divide l?
False
Suppose -10 = 2*n, -2*n = 4*l + 2*n - 768. Suppose l + 19 = 4*r. Suppose 6*j - 36 = r. Does 11 divide j?
False
Does 3 divide (-722)/(-22) + 304/1672?
True
Suppose -r = -5*x + 25 + 235, -278 = r + 4*x. Let f be (48/10)/(12/r). Does 15 divide -1 - 5/(10/f)?
False
Suppose -2*r + 14 = -5*g - 16, -r - 2*g - 3 = 0. Suppose 0 = -r*j + 25. Suppose 3*l - 6*l + 3*q = -30, -j*q = 4*l - 58. Does 12 divide l?
True
Let w be (-32)/(-3)*21/14. Suppose 13 = -s + 6*s - 4*x, 5*s - w = 3*x. Suppose -s*i - 5 + 60 = 0. Is 11 a factor of i?
True
Let t(c) = -50*c - 235. Is t(-6) a multiple of 18?
False
Let t(b) = 5*b**2 - 18*b + 183. Does 23 divide t(13)?
False
Let q be ((-3)/2)/((-6)/8). Suppose -q*v + 11*v = 738. Is v a multiple of 41?
True
Suppose 0 = -3*b - 7 - 2, 2*m = -5*b + 69. Does 27 divide m*(-2)/(-21)*27?
True
Let i(y) = y**3 + 12*y**2 + 14*y + 14. Let c be i(-11). Let q = c - -27. Is 3 a factor of q?
False
Let k(h) = -2*h**2 - 74*h + 41. Is k(-29) a multiple of 49?
False
Suppose 0 = -5*m + k + 10672 + 1256, 7149 = 3*m + 2*k. Does 53 divide m?
True
Let n be -6*7/((-42)/4). Suppose -f = -n*f. Suppose -3*m + 41 + 1 = f. Does 11 divide m?
False
Let m be (-4)/(-6) + (-10)/6. Let r(k) = -2*k. Let x(i) = 6*i + 1. Let y(p) = 2*r(p) - x(p). Is y(m) a multiple of 4?
False
Let q(k) be the first derivative of 4*k**3 + 2*k**2 - 3*k - 13. Is 16 a factor of q(2)?
False
Suppose 0*l + 150 = 3*y + 4*l, 0 = 4*l. Is 6 a factor of 366/10 - 30/y?
True
Suppose -338 = 3*i - 5*i. Let d be (i/(-13))/(0 + 1). Let r = d + 79. Does 16 divide r?
False
Let z be 2316/72 - 2/(1 + 11). Let f = z + 55. Is 25 a factor of f?
False
Let c(v) = 6*v**2 - 5*v + 3. Suppose y - 14 + 12 = 0. Does 5 divide c(y)?
False
Suppose 14*f - 2293 - 5239 = 0. Does 12 divide f?
False
Let a(h) = -171*h - 17. Is a(-2) a multiple of 5?
True
Let t(l) = 68*l**2 - 2*l - 16. Is 6 a factor of t(-4)?
True
Suppose -2*g + 2*m = 122, 142 - 5 = -2*g + 5*m. Let v = -14 - g. Is 28 a factor of (-128)/12*v/(-8)?
True
Does 21 divide 35721/42*(-28)/(-21)?
True
Let x(r) = -r + 7. Let t be x(7). Suppose t*b = b - 7. Suppose -l + 13 = -b. Does 5 divide l?
True
Suppose -30816 = -27*o + 3*o. Is o a multiple of 6?
True
Let k = 321 - 103. Is k/3*(-6)/(-4) a multiple of 11?
False
Let u be 2/(-4) + (-969)/6. Let g = 192 + u. Does 3 divide g?
True
Suppose -24 + 264 = 5*f. Suppose 0 = -g - g + f. Is g a multiple of 8?
True
Supp