k?
False
Let x(f) = f**3 + 7*f**2 - 2*f - 7. Let a be x(-6). Let k = a + -25. Suppose 15*w = k*w - 12. Is w a multiple of 12?
True
Let o(h) = -9*h - 23. Let u be o(-14). Suppose 505 = 4*b - c, -2*b + u + 146 = 3*c. Does 18 divide b?
True
Let o = -155 - -395. Suppose -a = 3*a - o. Does 12 divide a?
True
Suppose c + 3*q = -3*c + 9, 3*c + 2*q - 7 = 0. Suppose 48 = c*d - 3*s, -d + 18 = 2*d + 3*s. Let k = d + 17. Is 7 a factor of k?
True
Suppose 5*f - 99 = 2*f. Let k = 63 - f. Let q = 37 - k. Does 2 divide q?
False
Let d(t) = 43. Let j(q) = q - 130. Let v(b) = 17*d(b) + 6*j(b). Is 19 a factor of v(24)?
True
Let k = 159 + 157. Does 9 divide k?
False
Suppose 4*k - 5 = 7. Suppose -k*l + 2*l = 4*r - 77, 5*l = 4*r + 433. Does 23 divide l?
False
Suppose -781 = -4*u + 671. Is 33 a factor of u?
True
Suppose -34*z + 2527 = -41*z. Let h = z - -505. Is h a multiple of 12?
True
Let m be (-3)/(17/(-14) - (-8)/(-28)). Suppose 4*i - 92 = m*i. Is i a multiple of 12?
False
Let d(i) = i**3 + 7*i**2 + 4*i + 15. Suppose -3*q + 8 = u + 29, q - 1 = u. Does 3 divide d(u)?
True
Let g = -104 + 174. Does 5 divide g?
True
Suppose -6*z = -678 - 8010. Does 8 divide z?
True
Let m = -40 - -45. Suppose 0 = 5*c - 5*l - 50, m - 25 = -2*c + 5*l. Is 9 a factor of c?
False
Suppose 4*p + 5*a = 40, 4*a + 19 = -5*p + 60. Suppose r + 0*r = 5, -p*r = -2*j + 37. Is 7 a factor of j?
False
Let f be (0/3 - 23) + 0. Let c = f - -17. Does 30 divide 592/20 - c/15?
True
Is 252 + -1 + (-10)/(9 - 19) a multiple of 28?
True
Let b(y) = 2*y**2 + 7*y - 10. Let t be b(-5). Suppose 3*q = -2*q + t*f + 270, 0 = -q + 2*f + 59. Does 3 divide q?
False
Let a(v) = 106*v - 282. Does 24 divide a(9)?
True
Let z(r) = r**3 + 6*r**2 - 11*r - 15. Is z(6) a multiple of 9?
True
Suppose 7*w = -22 + 113. Is w a multiple of 13?
True
Let w be (-1704)/30*(14/(-4) - -1). Let u = w + -111. Is 3 a factor of u?
False
Suppose 8 - 38 = -2*g. Suppose -o + 5*v = g, -7 - 5 = -o - 4*v. Suppose o*q - 2*q = -8. Is q a multiple of 4?
True
Let v(u) = u**3 + 13*u**2 + 13*u + 3. Let h be v(-9). Suppose h*b - 205*b = 160. Is b a multiple of 4?
True
Is 13 a factor of -1 + -7 + (-2 - -1401)?
True
Let w be -2*(0 - (-4 - -5)). Suppose -3*t = s - 254, -2*s = 2*s + w*t - 976. Is 22 a factor of s?
True
Let v(h) = -h**3 + 3*h**2 + 2*h - 3. Let u be v(3). Suppose 4*z - 128 = 4*l, 0*l = 5*z + u*l - 200. Does 33 divide z?
False
Let h = 54 + -37. Suppose 5*d = -z - 5, -6*z + d = -3*z - h. Suppose 4*m + i = 194, -2*m + z*i + 134 = m. Is 16 a factor of m?
True
Let s = -163 + 283. Is s a multiple of 5?
True
Let c(q) = 5*q**3 - q + 4. Let j be c(2). Let n be (j/(-9) + -2)*-3. Suppose f = -0*f + n. Is f a multiple of 20?
True
Let b = 297 - 75. Is 20 a factor of b?
False
Let y(h) be the second derivative of 8*h**3/3 + 9*h**2 + h. Does 7 divide y(5)?
True
Let h(n) = -n**2 - n + 4. Let r be h(0). Suppose r*z + 11 + 67 = c, 3*z - 156 = -2*c. Let u = c + -54. Is 12 a factor of u?
True
Let i(c) = 2*c**3 - 7*c**2 - 4*c + 36. Does 12 divide i(6)?
True
Let y(f) be the second derivative of f**3/6 - 7*f**2/2 - 5*f. Let u be y(5). Is (12/15)/(u/(-135)) a multiple of 18?
True
Let w = -186 + 528. Is w a multiple of 57?
True
Let p(j) = j. Suppose 3*t = 4*v - 0*t + 5, 2*t = -3*v + 9. Let r be p(v). Suppose -r + 52 = d. Is d a multiple of 13?
False
Suppose 0 = -4*g - 3*a + 24, 0*g - 1 = g - a. Suppose 2 + 2 = -o, -g*j + 52 = 5*o. Does 24 divide j?
True
Let k = -7 - -5. Let b be 3 + 0/(k + 0). Does 12 divide 35/(b*2/6)?
False
Let m = 839 + -426. Is 12 a factor of m?
False
Let v(s) = -s**2 - 40*s + 33. Is v(-29) a multiple of 11?
True
Suppose 0 = -15*s + 9*s + 276. Suppose v = s + 24. Does 10 divide v?
True
Suppose -13*x + 3696 = -7*x. Is x a multiple of 64?
False
Suppose 32*j - 12*j = 8980. Is 58 a factor of j?
False
Suppose r + 2*v - 137 = 328, -25 = 5*v. Does 6 divide r?
False
Suppose -3*c + 5*c = 10. Suppose 2*n - c*n = -492. Is n a multiple of 41?
True
Suppose -2*x - 220 = -4*t, 3*t + 91 = -2*x - 143. Let h = x + 240. Is 14 a factor of h?
True
Let r be (12/(-16))/((-2)/8). Let k = r + 0. Suppose -3*v + k = -3. Does 2 divide v?
True
Does 39 divide (8/(-24))/(1/(-234))?
True
Suppose 17*u + 20595 = 32*u. Is u a multiple of 45?
False
Let r be (-888)/(-16) - 1/(-2). Suppose -22*s + 18*s + r = 0. Is 2 a factor of s?
True
Let y(v) = v**3 - 24*v**2 + 50*v + 48. Does 12 divide y(22)?
True
Let d(a) = a**2 - 5*a + 2. Let j be d(3). Let x be j/8*1*2. Is 14 a factor of x + 2 + (0 - -25)?
False
Let f(g) = -5*g + 128. Does 22 divide f(-6)?
False
Suppose 5*i = 4*v - 60, -3*i - 4*v - 12 = i. Let q be i/(-3 - 57/(-21)). Let o = 8 + q. Is o a multiple of 8?
False
Suppose -7*m - 81 = -4*m. Let n = m - -31. Is n even?
True
Let f = 291 + -269. Let m(o) = 20*o**2 + 2*o - 1. Let k be m(-2). Let x = k - f. Is x a multiple of 16?
False
Is (-40890)/(-18) - 4/6 a multiple of 73?
False
Suppose -2*y - 151 = -5*t - 4*y, 0 = 3*t + 5*y - 83. Suppose -36*w + 195 = -t*w. Is 12 a factor of w?
False
Let q = -18 + 28. Is 19 a factor of 12*((q - -1) + 3/(-2))?
True
Let a be (-2 + 2)*(-2)/4 - -30. Let m = a + 11. Is m a multiple of 9?
False
Let f = 20 - 15. Suppose -47 = -f*s + 203. Does 10 divide s?
True
Suppose 2*g + 77 = 2*m - 571, 0 = m + 2*g - 312. Does 20 divide m?
True
Let p = 112 + -4221. Does 13 divide 4/(-18) - p/63?
True
Let c = 932 - 622. Is 10 a factor of c?
True
Let u(z) = -1330*z**3 + z**2 + z + 2. Is u(-1) a multiple of 35?
False
Let n = 3628 - 6438. Does 22 divide n/(-70) - 1/7?
False
Suppose 41*t + 4020 = 44*t. Does 6 divide t/35*(1 - (-20)/8)?
False
Let a = 29 + -23. Does 19 divide 1/(3/a) - -17?
True
Let q(f) = 3*f + 35. Let b be q(-17). Let y = 41 + b. Suppose -2*r + 118 = 4*i, 0 = -3*i + 4*i + 2*r - y. Does 12 divide i?
False
Let b be (4/(-3))/((-3)/(1 - 10)). Let t(d) = d**3 + 5*d**2 - 2*d - 1. Is 2 a factor of t(b)?
False
Suppose -2*z = 2*z - 20. Suppose 12 = y - z*y. Does 14 divide (y/(-3))/((-3)/(-69))?
False
Let y(w) = -17*w - 16. Let q be y(-4). Is 1776/q + 4/(-26) a multiple of 17?
True
Let x = 135 + -53. Suppose -2*r - 2*l - x = -0*r, 2*r = -l - 81. Is 23 a factor of r/(-30) - (-406)/6?
True
Suppose -k + 15 - 7 = 0. Suppose -4*q - z = -0*z - k, 4*q - 8 = 3*z. Is -4 + (-288)/((-6)/q) a multiple of 25?
False
Let d(o) = 0*o**2 + 11*o**2 - 7*o**2 - 24 - 15*o - 5*o**2. Is d(-11) a multiple of 5?
True
Let o be 5961/4 + (-14)/56. Suppose -o = -5*a - 6*b + b, -4*a + b = -1177. Is 59 a factor of a?
True
Let t be 8/2 - (10 + -10). Suppose 5*m - 5*a - 595 = 0, 0 = t*a + 2 - 6. Is m a multiple of 30?
True
Suppose 0 = i - 3 - 2, 35 = 3*d + 4*i. Suppose -d*t + 101 = -3*z - 16, -4*t = 0. Let c = z - -65. Is 13 a factor of c?
True
Suppose -104*b + 77*b = -9504. Is 44 a factor of b?
True
Is (522 - -13) + (-8)/(-2) a multiple of 49?
True
Let d be 0/(3*2/(-6)). Suppose -b + 0*b + 4 = d. Suppose -b - 26 = -i. Does 20 divide i?
False
Is 19 a factor of (23 + -399)/((-2)/57*3)?
True
Let w = 47 + -40. Suppose -4*i = -w*i + 108. Is i a multiple of 12?
True
Suppose -3*x = -21 + 6. Suppose 0 = -a + n + 27, 4*n + 31 = a - x. Suppose 0 = 2*t - a - 46. Is 10 a factor of t?
False
Suppose 0*j = -2*n - 5*j + 22, 5*n - 78 = -j. Let l = 76 - n. Is 12 a factor of l?
True
Suppose 0 = 4*o + 3*m - 1239, -3*o - 3*m = 2*m - 921. Is o a multiple of 52?
True
Suppose 4*s = 8*s - 60. Suppose 0*l = 5*l + 2*j - 1, -s = -5*j. Is l/(-2) + 66/4 a multiple of 16?
False
Let g = 188 + 14. Suppose 5*v - g = -3*h, 5*h - 210 = -2*v - 3*v. Does 6 divide 3/(-9) + v/6?
True
Suppose -4*b - 5*z + 76 = 0, -b - 2*z + 19 = z. Suppose 3*t - b + 10 = 0. Is 2 a factor of t?
False
Suppose -4*k - 2*u + 290 = 0, 4*u - 345 = -5*k + 5*u. Is 11 a factor of k?
False
Suppose 43*h - 12 = 39*h. Suppose 9 - 3 = -2*r, -h*v + 3*r + 255 = 0. Is 31 a factor of v?
False
Suppose 8*w + 20 = 10*w. Suppose -w*s + 1082 - 92 = 0. Does 14 divide s?
False
Let n(t) = -2*t - 7. Let v be n(-6). Let u be (-344)/(-40) - (-2)/v. Is 3*(-6)/u + 7 a multiple of 3?
False
Let g = -92 + 96. Does 15 divide (90/(-27))/(g/(-234))?
True
Let h(q) = q**2 - 7*q + 4. Let d be h(5). Let b be 8/d*(-12)/8. Suppose -s + 2*s - 22 = 3*w, b*s + 4*w - 64 = 0. Does 6 divide s?
False
Let b(g) = -90*g**3 + 6*g**2 + 18*g + 7. Does 55 divide b(-2)?
True
Let r(g) be the first derivative of 23*g**5/60