/20 a multiple of 7?
True
Let k(n) = n**3 - 29*n**2 - 46*n - 10. Is k(31) a multiple of 54?
True
Let f = 25 - 15. Let j = f - 10. Suppose 3*k = -4*m - j*k + 327, 0 = 5*m - 3*k - 375. Is 23 a factor of m?
False
Let m = 256 - 147. Is m a multiple of 6?
False
Suppose -7*x - 182 = -9*x. Let o = x + -31. Does 10 divide o?
True
Let q(s) = 2*s**2 - 2*s - 37. Is q(-7) a multiple of 9?
False
Suppose 109 + 35 = 4*w. Suppose -5*v = -6*v + w. Does 14 divide v?
False
Let f = 480 - 210. Is f a multiple of 7?
False
Suppose -223 = 2*d - 3*d. Suppose -d = -5*t - 13. Suppose 4*m - t - 22 = 0. Is m a multiple of 16?
True
Is ((-36)/(-21))/(-3) - 8172/(-42) a multiple of 8?
False
Let r(q) = -q**3 - 3*q**2 + 1. Let a(j) = -4*j**2 - j + 1. Let g(o) = -3*a(o) + 4*r(o). Let c be g(-2). Let w = c - 19. Is w a multiple of 5?
False
Suppose 26*h - 9456 = 20*h. Is 100 a factor of h?
False
Suppose -7*o = -11*o + 3332. Is 49 a factor of o?
True
Suppose 0 = -21*p + 15*p - 96. Let u(o) = -7*o - 69. Is u(p) a multiple of 12?
False
Suppose 30*q + 8 = 32*q. Suppose -4*m - 68 = -y, 77 = -5*y - q*m + 417. Is 16 a factor of y?
False
Suppose 0 = -0*q - 2*q + 62. Suppose 21 = 2*v - q. Is v a multiple of 8?
False
Suppose 2*d = 24 - 164. Suppose -5*l + 524 = -t + 2*t, -3*l + 320 = 2*t. Let m = d + l. Does 13 divide m?
False
Let f(b) = -17*b + 305. Is f(0) a multiple of 10?
False
Let f = 44 + -34. Suppose 12*p = 10*p + f. Is p a multiple of 3?
False
Let m(r) = -9 + 12 - 3*r**3 + 44*r - 11*r**2 - 18*r**2 + 22. Let z(s) = s**3 + 10*s**2 - 15*s - 8. Let b(q) = 4*m(q) + 11*z(q). Is 13 a factor of b(-8)?
True
Suppose 17 = -7*a + 52. Suppose a*g - 4*r - 665 = 0, -3*r = 4*g + 2*r - 573. Is 12 a factor of g?
False
Suppose -g - 2 = 3*t - 7*t, g = 2*t. Let c be 8/2*(t + 4). Suppose 0 = -5*j - c, 4*w = j + j + 24. Is w a multiple of 2?
True
Let n = 17 - -490. Is 30 a factor of n?
False
Let t = -738 - -2971. Is t a multiple of 24?
False
Let w(u) = -u**2 + u - 2. Let n be w(-2). Let b = -5 + 3. Is 13 a factor of ((-36)/n)/(b/(-12))?
False
Suppose 3*k = -2*k + 30. Suppose v - 3 + k = 0. Is 4 a factor of (-8)/18*v*3?
True
Let t = 207 - 192. Does 4 divide t?
False
Let d = -699 + 1882. Does 13 divide d?
True
Does 21 divide (140/6)/((-37)/(-666))?
True
Does 47 divide 261 - 1 - (127 + -129)?
False
Suppose -56*i - 198 = -59*i. Let z = -11 + i. Is 7 a factor of z?
False
Let h(p) = p**3 + 9*p**2 + 7*p - 3. Let j be h(-8). Suppose m - 34 = -2*r, 91 = j*m - 4*r - 93. Suppose 3*z - m = -z. Is z a multiple of 4?
False
Suppose -2*y + 5*o = -259, -3*o + 5*o = 2. Suppose l - y = -3*l. Suppose -19 = -d + l. Does 13 divide d?
True
Let t(v) = v**3 - 11*v**2 - 2*v + 24. Let o be t(11). Let j(w) = 5*w**o + 1 - 3*w**2 - 7 + 20*w + 2. Is 27 a factor of j(-14)?
True
Suppose 45 = -2*u - 5*i, -u - 27 = 3*i - 2*i. Let q = -28 - u. Suppose -q*x + v + 3*v + 116 = 0, -3*x + v = -184. Is x a multiple of 31?
True
Suppose -191 = -4*n - 39. Suppose -n = 2*f - 150. Is 29 a factor of f?
False
Suppose -3*w = 3*d - 29 + 8, -5*w - 2*d = -35. Suppose 0 = 3*k + 2*l - w*l - 14, -2*k = 5*l + 24. Does 2 divide ((-9)/k)/9*8?
True
Let o be -2 - (3 - (-1 - -5)). Let h be o/(3/(-18)*2). Is h/6*14 + 0 even?
False
Let y(s) = 1223*s + 23. Is 21 a factor of y(1)?
False
Let h(k) = -11*k + 71. Let i(s) = -17*s + 106. Let u(v) = -8*h(v) + 5*i(v). Is u(15) a multiple of 3?
False
Let t = 298 + -168. Suppose 33*n = 38*n - t. Is 3 a factor of n?
False
Let m = 94 + -129. Does 8 divide m*(6/(-4) + 3/(-6))?
False
Suppose 5*k = 5*d + 1175, -4*k + 949 = -3*d + 9. Let a = 391 - k. Is a a multiple of 15?
False
Suppose -30*k = -28*k - 788. Is k a multiple of 16?
False
Let b = 657 - 303. Is 6 a factor of b?
True
Let u(y) = 5*y - 412*y**2 + 413*y**2 - 13*y. Does 3 divide u(14)?
True
Suppose 4*b = 4*m + 23 + 141, 0 = -4*m. Does 7 divide b?
False
Suppose -b = -3 - 1. Let l = 17 - 15. Suppose 2*r - 15 = -3*p, b*r = l*p + 2*p. Does 3 divide r?
True
Let a = -8 - -5. Suppose 1006 = 31*m - 544. Let g = a + m. Is 13 a factor of g?
False
Is 43 a factor of (-81396)/(-48) + 3/12?
False
Suppose 3*n + 4*v = 261 - 13, 3 = -3*v. Does 3 divide n?
True
Let b = 50 - 22. Suppose 0 = -a - b + 78. Does 10 divide a?
True
Suppose 0 = -2*l - l + 12. Suppose -3*g + 3 = 0, g - l*g = -2*a + 23. Does 5 divide a?
False
Let j = -597 + 973. Suppose 4*b + 5*d = b + j, 4*b - 520 = -2*d. Is b a multiple of 6?
True
Let v = -317 + 476. Suppose 72 = d + d - 2*c, c - v = -4*d. Does 11 divide d?
False
Suppose -5*l = 2*l - 28. Let x = 24 - l. Is x a multiple of 8?
False
Does 67 divide 10/(-3)*(-9828)/210?
False
Suppose 0 = 3*a + d - 243, -5*a - d + 394 = -3*d. Is 7 a factor of a?
False
Suppose 0 = -s - 31 + 10. Let r be ((-72)/s)/(4/(-42)). Let c = r + 61. Does 25 divide c?
True
Let b be (-2)/(-3) - 35/(-15). Let g be -3 + (-2 - (-915)/b). Suppose 2*n - g = -4*n. Is 25 a factor of n?
True
Let t(h) = -4*h**3 - 2*h + 1. Let m be t(1). Let n(i) = -1. Let s(b) = 5*b + 2. Let y(u) = -2*n(u) - s(u). Is y(m) a multiple of 5?
True
Suppose -5 = -4*t + 15. Let v(r) = r**3 - 2*r**2 - 2*r - 5. Is v(t) a multiple of 5?
True
Let q(j) = -j - 1. Let n be q(-4). Does 14 divide 147/(-28)*(-16)/n?
True
Let m = 9 - 10. Does 12 divide -8*(m + -5 + 3)?
True
Let o(y) = -50*y + 8. Let s be o(-6). Suppose -4*d = -0*d - s. Let k = d + -54. Does 6 divide k?
False
Suppose -4*c = 26 + 678. Let s = -6 - c. Does 55 divide s?
False
Let l(g) = 2*g**2 + 3*g - 1. Let d be l(-6). Let s(i) = -28*i + 23. Let b be s(-3). Let q = b - d. Is 27 a factor of q?
True
Suppose -5*s = c - 880, -4*s - c = -5*c - 704. Suppose -4*i = 16, -4*i - s = l - 5*l. Is 40 a factor of l?
True
Suppose 0 = -d - 3*l + 57, 0*d = 3*d - 4*l - 119. Suppose d = m - 23. Is m a multiple of 17?
True
Let n(b) = -8*b - 2 - 3*b - 2*b**2 + 4*b + b**2. Let k be n(-6). Suppose -2*t = -k*t + l + 52, 4*l + 40 = t. Is 8 a factor of t?
True
Let m(a) = 42*a**2 + 3*a + 16. Does 33 divide m(-6)?
False
Suppose h - 54 = -5*h. Let q be 6/(-4)*(-42)/h. Suppose q = n - 5. Does 9 divide n?
False
Let v = -3 + 6. Suppose -3*y = -2*y - v. Is 1*(y + 30)*1 a multiple of 11?
True
Let r be (-475)/10 + (-4)/8. Let s = 445 + -280. Let t = r + s. Is 13 a factor of t?
True
Let o = 117 + 53. Let m = o + -44. Does 33 divide m?
False
Let q = -35 - -38. Is (-40)/q*(-210)/20 a multiple of 20?
True
Let v(t) = 85*t - 234. Does 15 divide v(5)?
False
Suppose -5*q + 1697 = k - 1368, -q = k - 3061. Is 85 a factor of k?
True
Let m(j) = -j**2 + 21*j + 7. Let o be m(11). Let z = o - 73. Is z a multiple of 12?
False
Let q = -29 - -32. Suppose -2*k = -q*k + 31. Is k a multiple of 7?
False
Suppose -25 = 4*a - 9. Let k(c) = -5*c - 4. Let y be k(a). Suppose 10 = -5*f - 5*s, y = f - 2*s + 6. Does 2 divide f?
True
Let h = 38 - 27. Let s(b) = -b**2 - 4*b - 1. Let t be s(-4). Is (t/(-2))/(h/704) a multiple of 19?
False
Let m = -230 + 305. Does 3 divide m?
True
Suppose 2*s - 3*w - 3227 = 0, 5*s - 77*w = -78*w + 8025. Does 11 divide s?
True
Suppose 42*i = 29*i + 273. Is 21 a factor of i?
True
Let l(z) = 6*z**2 - 39*z - 55. Is 66 a factor of l(17)?
False
Let k be ((-2)/(-2))/((-928)/186 - -5). Suppose 227 = 5*j - k. Is 8 a factor of j?
True
Let b = 102 - 102. Does 56 divide 1 + (-447 + b)*-1?
True
Let t = -1 - -4. Let a be (-2)/t*9/(-6). Let s = a - -8. Is 8 a factor of s?
False
Let z be (12/(-18))/(2/9*1). Let k(b) = -28*b + 10. Is 19 a factor of k(z)?
False
Suppose -4*j = -2*o - 866, 5*j + o - 1076 = -3*o. Is j a multiple of 12?
True
Suppose 0 = -5*z + 14*z - 432. Is z a multiple of 48?
True
Does 24 divide ((-30)/3)/(6/(-201))?
False
Does 6 divide 0 + 2402 + -2 + 0?
True
Let y = 335 - 170. Is y a multiple of 21?
False
Let n(q) = q**3 - 31*q**2 + 30*q + 15. Suppose -3*f + 5*b + 115 = 0, -2*f - 3*f + 165 = -3*b. Does 4 divide n(f)?
False
Let y = -431 + 701. Is 29 a factor of y?
False
Is 15/(-12)*(-4)/10*6604 a multiple of 127?
True
Suppose 2*m = -w + 626, 5*m + 2*w - 624 = 3*m. Is m a multiple of 75?
False
Let o be 4/10 - (-28)/5. Let j = o - 1. Does 6 divide -2*21*j/(-10)?
False
Let a(x) = 10*x**2 + 2*x + 1. Let p = -17 + 19. Does 15 divide a(p)?
True
Suppose -5*i = -3*g + 577, 0 = 5*g - 3*g - 2*i - 382. Suppose g = 6*c - 567. Is 14 a factor of c?
True
Suppose -t + 184 = -50. Suppose -q + 5 = 1. Suppose -j - t = -q*j. Is j a m