s -3 + (-1855)/(-10)*2 a multiple of 50?
False
Suppose 5*v + 26*q - 6530 = 21*q, 2*v = -4*q + 2614. Is v a multiple of 29?
True
Let t = -1189 - -1780. Is t a multiple of 17?
False
Let d(n) = 190*n**2 + 7*n - 8. Does 3 divide d(1)?
True
Let x = 16 + -12. Let d be x/(-8)*16/(-2). Suppose -122 - 10 = -d*w. Does 13 divide w?
False
Let f(a) = a**2 - 10*a - 30. Let s be f(16). Let w = s + -34. Is 4 a factor of w?
True
Let d(y) = 424*y**2 - 3*y + 5. Does 36 divide d(-1)?
True
Does 129 divide (13 + 12125/10)*2?
True
Let a be -2 - 2*(2 - 3). Let g be a - (-2)/1 - -114. Suppose -3*w = -g + 44. Is w a multiple of 12?
True
Let c(s) = -67*s**2 + 8*s - 7. Let y(h) = 200*h**2 - 23*h + 20. Let z(q) = 17*c(q) + 6*y(q). Does 20 divide z(1)?
True
Let v(o) = -o**3 - 11*o**2 + 44*o + 76. Is v(-14) a multiple of 8?
True
Suppose o - 12065 = -5*x + 93, 3*x = 2*o + 7300. Is x a multiple of 64?
True
Let z(m) = -m**2 + 6*m + 7. Let t be z(10). Let r be (-4)/22 + 23325/t. Does 6 divide r/(-21) + 6/(-9)?
False
Suppose -48*g + 184 = -44*g. Is g a multiple of 5?
False
Let w be -2 - (-2)/((-2)/(-5)). Suppose -d - 224 = -w*d. Suppose 0 = -3*u - 15, -x + 4*u = -5*x + d. Is 11 a factor of x?
True
Let k(y) = -y - 8. Let g be ((-17)/(-3) + 1)*21. Suppose 5*z = 50 - g. Is k(z) a multiple of 5?
True
Suppose -2*w - 2*x = 2*x - 16, -2*x = -3*w + 48. Let l(a) = 5*a - 8 - 14 + 9. Is l(w) a multiple of 22?
False
Let j(l) = -4*l - 2. Let q(p) = 2*p + 1. Let b(f) = 4*j(f) + 10*q(f). Let x(g) = -4*g - 3. Let a be x(-2). Is 5 a factor of b(a)?
False
Does 8 divide ((-24)/3)/(112/(-8708))?
False
Let f = -200 + 340. Does 3 divide f?
False
Let v(u) = u**3 + 10*u**2 + 9*u + 19. Let y(n) = n - 17. Let r be y(9). Is 25 a factor of v(r)?
True
Let k = 169 - 53. Let t = k - 51. Is t a multiple of 7?
False
Let i(j) = j**3 + 11*j**2 - 13*j - 10. Let v be i(-12). Suppose -v*y + 32 = 2*y. Is 7 a factor of y?
False
Suppose -3*q + 4265 = 4*g, -q + 1421 = 5*g - 3*g. Is 10 a factor of q?
False
Let x(v) = -v**3 + v**2 - v + 5. Let d be x(0). Suppose 5*q = -d*q + 900. Is 45 a factor of q?
True
Suppose -6*v + 5*v + 248 = 0. Let m = 354 - v. Is m a multiple of 14?
False
Suppose 2*u + 7 = -27. Let m = -15 - u. Suppose m*d = -0*d - 3*p + 132, 140 = 2*d - p. Does 23 divide d?
True
Let p = -549 - -960. Is p a multiple of 36?
False
Let k(r) = 3*r**2 - 4*r + 25. Suppose -1 = -m, 0*s + 2*s + 2*m - 12 = 0. Is k(s) a multiple of 10?
True
Let d = -505 - -1667. Does 83 divide d?
True
Let r(k) = 4*k - 2. Let t be r(1). Let a be 2/(t - 0)*-3. Let h(m) = -5*m - 7. Does 6 divide h(a)?
False
Let d be (-2)/(-8) + (-7315)/(-20). Suppose -4*j + d = -2*j. Does 64 divide j?
False
Suppose 3*f - 2*y + 7*y - 30 = 0, 3*y = f + 4. Suppose -x - 217 = -f*k - 49, 4*x - 76 = -2*k. Is k a multiple of 5?
False
Let b be (0 + -1)*(-10 + 5). Suppose -195 = -5*y - b*h, 2*h = -0*h - 4. Let i = -29 + y. Is i a multiple of 2?
True
Let f be ((-6)/(-10))/((-1)/(-5)). Suppose 2*t = 5*w - 2*w + 24, -4*t - f*w + 84 = 0. Does 4 divide t?
False
Suppose 0 = -5*w + 8*w + 24. Is (-1862)/(-56) + 2/w a multiple of 12?
False
Suppose 234 = 20*g - 5186. Does 11 divide g?
False
Let a(k) = -7 - k - 9 - k**2 - 8*k - 6*k. Is a(-7) a multiple of 31?
False
Suppose 2*a + c - 6*c - 5 = 0, -3 = 3*c. Suppose g - 1 = -a*g. Is 18 - (g - -1 - 4) a multiple of 10?
True
Let f = -231 + 238. Does 2 divide f?
False
Suppose 5*c + 24*d - 27*d - 27 = 0, 0 = -4*c + 4*d + 28. Suppose 2*m + 3*r = -27, -3*m - 4*r + 5*r = 68. Let p = c - m. Is 8 a factor of p?
True
Suppose 0 = 106*v - 101*v - 15515. Is 19 a factor of v?
False
Suppose -l + 5*l - 10 = 2*k, -2*l - k = -7. Suppose -2*w + 2*f - 154 = 0, -f = -l*w - 4*f - 237. Let v = w - -117. Is v a multiple of 13?
True
Suppose u - 304 = -2*m - 0*m, -4*u + 1216 = m. Does 11 divide u?
False
Let f(o) = o**2 + 6*o + 5. Let w be f(-16). Suppose 0 = 4*v - 5*b - 159 + 63, 5*v - w = -5*b. Is 14 a factor of 3/(v/14 - 2)?
True
Suppose 5*a = -2*d + 4840, 0 = 4*d - 5*a - 3158 - 6582. Does 16 divide d?
False
Suppose -6*b + 2958 = -3*b. Does 29 divide b?
True
Let k be 2 - (500 + 0)/5. Let z = -67 - k. Is z a multiple of 27?
False
Let i = -10 + 14. Suppose -q = -3*u + 33, -5*q - 8*u = -i*u + 89. Let w = 6 - q. Is 5 a factor of w?
False
Suppose 8*j - 25*j + 1309 = 0. Is 7 a factor of j?
True
Suppose -975 = -5*y + 5*d, 4*d = -y - 2*y + 606. Is y a multiple of 22?
True
Suppose -68 = y - 3*j, -3*y + 46 = 4*j + 315. Let r = 71 - y. Does 17 divide r?
False
Let m be 3655/6 + (-4)/24. Suppose -12*f + 5*f = -m. Does 11 divide f?
False
Suppose 2*l - 3*f - 4 = 35, -2*l - 4*f = -32. Let r be (1/(-3))/((-3)/l). Suppose -r*j - 25 = -3*j. Is j a multiple of 25?
True
Suppose 8*p = 2501 + 739. Is 14 a factor of p?
False
Let k = -339 + 1344. Is 15 a factor of k?
True
Let j be 216/40 - 4/10. Let w(v) = -2*v - 3. Let d be w(j). Does 6 divide -2 + d/(52/(-168))?
False
Let h = -41 + 329. Is h a multiple of 18?
True
Let g(c) = -c**2 - 17*c + 26. Suppose 2*h = -4*f - 38, 2*f - 7 - 4 = h. Is 14 a factor of g(h)?
True
Suppose 0 = -3*j + 21 + 3. Let h(u) = -4*u + 9. Let a(x) = -5*x + 9. Let w(d) = 2*a(d) - 3*h(d). Does 3 divide w(j)?
False
Suppose 2792 = -31*u + 36*u + 2*s, 0 = -2*s - 8. Does 14 divide u?
True
Let d(o) be the second derivative of 5*o**3/6 - 23*o**2/2 + 15*o. Is d(16) a multiple of 19?
True
Suppose -2*l + 3*l + 15 = 0. Let v = 18 + l. Suppose -x + 482 = 5*f - v*x, 2*f + 5*x = 187. Does 32 divide f?
True
Suppose 4*v - 82 = 46. Suppose w = -w + v. Is w a multiple of 16?
True
Let y(v) = 2 + v + 0*v**3 - 3*v**2 + 0 + v**3 + 0*v**3. Let t be y(2). Suppose 0 = 5*p + 3*q + q - 132, t = 2*p - 2*q - 42. Does 24 divide p?
True
Suppose 5*j = -5*h + j + 6, 3*j = -5*h + 7. Let x be (0*h/(-8))/1. Is 23 a factor of (2 - (-71 + x)) + 3?
False
Let a(p) = -36*p - 7. Suppose -3*q - 10 = 2*q. Is a(q) a multiple of 13?
True
Is (148/(-111))/((-4)/3834) a multiple of 6?
True
Let t be 96/30 + (-1)/5. Let q be t - (0 + -1*185). Suppose f = -3*y + 106, -y + 4*f = 4*y - q. Does 9 divide y?
True
Suppose -3*g + l = -2*l - 24, 4*g + 3*l = 4. Let w = 2 + 1. Suppose 0 = g*y + 3*z - 68, -3*y + 7*z + 26 = w*z. Does 3 divide y?
False
Let p be 2*1 - (19 - 11). Let u(s) = s**3 + 7*s**2 + 2*s + 6. Is u(p) a multiple of 15?
True
Suppose 0*q - 3*v + 1044 = 4*q, -1324 = -5*q + v. Is q a multiple of 25?
False
Let i = 20 - 45. Let y = i + 68. Does 25 divide y?
False
Let m = 1668 - 1030. Is m a multiple of 22?
True
Let l(d) = 67*d - 432. Is l(24) a multiple of 8?
True
Let w(h) = -7*h - 37. Suppose -13*s = -15*s - 28. Does 39 divide w(s)?
False
Let d(z) = -2*z**2 - 18*z - 4. Let n = -11 + 4. Is d(n) a multiple of 12?
True
Suppose -3*g = -2*d - 3299, -6*g - 3*d + 4427 = -2*g. Is g a multiple of 8?
False
Let x be 1/((-1)/((-4)/(-4)))*0. Suppose 2*k - 68 = -x*k. Does 15 divide k?
False
Let z be -1*(-33)/((-9)/(-3)). Suppose -4*g + 13 = -z. Is 14 a factor of (-68)/g*(-6)/4?
False
Is 4 a factor of ((-56)/(-12))/((-4)/(-72))?
True
Suppose 0 = -2*p - p + 15. Suppose -4*j - 3*q = 6, j - p*q - 10 = -j. Suppose y - 4*u - 91 = j, 0*u = 5*u - 25. Does 28 divide y?
False
Let o = 1216 + -16. Suppose -3*m + o = 7*m. Is m a multiple of 24?
True
Let k be 14/6 - (-12)/18. Suppose -4*j = -k*j - 8. Is j even?
True
Is 25 a factor of (60/7)/((-148)/(-15540))?
True
Suppose -187 - 313 = -5*b. Does 13 divide 210/8 - 25/b?
True
Let r be ((4/(-5))/(-4))/((-7)/(-70)). Is 6 a factor of (r/4)/((-4)/(-296))*1?
False
Let n(k) = -k**3 + 6*k**2 - 11. Let z be n(5). Does 34 divide ((-120)/z)/(3/(-42))?
False
Suppose 25*z - 5407 = 2493. Is z a multiple of 13?
False
Let q(u) = -u**3 - 3*u**2 + 2*u + 5. Let z be q(-5). Let m = -29 + z. Let p = m - 0. Does 4 divide p?
True
Let i = 3 - 11. Let z(k) = -k**2 - 9*k + 3. Is z(i) a multiple of 11?
True
Let y be 75 + -20 + 1*-1. Suppose y*s - 600 = 51*s. Is s a multiple of 40?
True
Let n be ((-30)/(-9))/((-4)/(-6)). Let c = -239 - -355. Suppose -n*i = -9*i + c. Does 15 divide i?
False
Suppose -j + 2*d + 521 = 0, 34*j - 3*d = 38*j - 2040. Does 12 divide j?
False
Let z(k) = k**3 - 10*k**2 - 13. Let p be z(11). Suppose -5*m + p + 17 = 0. Is m a multiple of 14?
False
Let c = -15 - -32. Let o(j) = -j**2 - 3*j - 18 - 6*j**3 + 2*j + c. Does 3 divide o(-1)?
False
Suppose 0*x = 4*x - 12. Suppose x*z = 5*z + 64. 