- 2445 = 0, 0 = y - 3*t + 7*t - 504. Is y a multiple of 45?
False
Let t = -26 + 44. Suppose 0 = 5*j - d + 5*d - 27, -t = -5*j - d. Is j a multiple of 3?
True
Suppose 0*l + 3*b = l + 15, 5*l + 151 = -4*b. Is 2 a factor of (4/(-6))/(2/l)?
False
Let q(i) = -i**2 - 12*i - 12. Suppose -9*l = -10*l + 15. Suppose 0 = 3*t - l, 0 = 5*u - 0*t + 5*t + 20. Is q(u) a multiple of 9?
False
Let p(d) = 4*d**2 - 18*d - 10. Let l be p(9). Is 8 a factor of l/5 + (35/(-25) - -1)?
False
Suppose -4*h - 43*u + 38*u + 963 = 0, -514 = -2*h + 4*u. Is 13 a factor of h?
True
Let d be (5 - -7)/(5 - (1 - -2)). Suppose -d = 2*n, 0*z + 179 = 2*z + 5*n. Is 5 a factor of z?
False
Let c be (-1)/(-8) + 17/(-136). Suppose -2*t - l = 2*l - 148, l + 2 = c. Does 11 divide t?
True
Suppose -11*i = -230 - 1772. Does 7 divide i?
True
Let x(u) = u + 14. Let s be x(-15). Let m = -1 - s. Suppose -3*t - 49 = -5*b, m = 2*b + 5*t - 13 - 19. Does 4 divide b?
False
Suppose -6056 - 4378 = -6*l. Is 37 a factor of l?
True
Let f = -9 - 5. Let l = 54 + f. Is 5 a factor of l?
True
Suppose 5*x + 3 = -7. Is ((-5)/x - 1)*638/33 a multiple of 4?
False
Suppose -5*t + 21 + 89 = 0. Let v be 1 - (-70)/(-6 + 1). Let z = v + t. Is z a multiple of 9?
True
Let x be (-182)/(-39)*1*-3. Let f = 3 - x. Does 17 divide f?
True
Let k(m) = 60*m + 374. Is 14 a factor of k(23)?
False
Is 10/8*(681 - (-132)/12) a multiple of 9?
False
Let b = 1112 - 705. Is 35 a factor of b?
False
Let r(n) = 2*n**2 - 6*n. Let a be r(5). Let x(w) = 2*w + 22. Is 23 a factor of x(a)?
False
Let w be (-1 - -4 - -1 - 1)*1. Suppose 568 = 4*d + 4*a, -d + 544 = w*d - 2*a. Is d a multiple of 19?
False
Does 3 divide -6 + (-1 - (8 + -111))?
True
Let j be -1*(-8 + (-9)/3). Let m = 3 - j. Does 3 divide (-50)/m + 16/(-64)?
True
Suppose -3 = a, -4*a - 15 = -3*o + 27. Let t(q) = -q**3 + 6*q + o - 4*q**2 - 19 - 5. Is t(-6) a multiple of 5?
False
Let k = -9 - -11. Suppose -2*n - k*n = -12. Suppose -n*g - 5*i = -82, -i - 62 = -3*g - 2*i. Is 18 a factor of g?
False
Let g(i) be the third derivative of i**5/10 - 2*i**4/3 + 19*i**3/6 - 3*i**2. Let k(h) = -7*h**2 + 16*h - 20. Let s(y) = -6*g(y) - 5*k(y). Does 8 divide s(13)?
False
Let v(s) = 2*s**2 + 7*s - 16. Let c be v(6). Let y = c - 54. Is y a multiple of 22?
True
Let z(h) = -h**3 + h**2 + 3*h + 1. Let a be z(-1). Let x be (-9)/(9/(-42) - a). Suppose -3*i - x = -3*p, -8*i + 3*i - 42 = -3*p. Is p a multiple of 7?
True
Let d = 2647 + -2086. Is d a multiple of 5?
False
Suppose 79 = 7*k - 110. Let g = k + 10. Let m = g + -5. Does 8 divide m?
True
Let d(h) = -h**3 + 5*h**2 - h + 2. Let q be d(5). Let i(g) = 11 - 13 + g**2 + 0*g**2 + 0*g**2. Is 2 a factor of i(q)?
False
Let x = 10296 - 5368. Is x a multiple of 32?
True
Let a = 61 + -59. Suppose 3*k = 6*k - a*c - 29, -4*k + c + 42 = 0. Is 2 a factor of k?
False
Let n(r) = -r**2 - 21*r + 87. Is 44 a factor of n(-22)?
False
Let i = 2 - -8. Suppose -515 = -i*n + 5*n. Does 32 divide n?
False
Let y = 31 + 368. Is 13 a factor of y?
False
Suppose -9*v - 445 = 365. Suppose 5*z + 0*z = 15, 4*d = -5*z + 631. Let s = v + d. Is s a multiple of 13?
False
Suppose -5*z - 25 = 0, 4*x - 4 = -4*z - 0*z. Suppose -2*j + 5*c - x = -j, -2*j - c = 45. Let a = -9 - j. Does 5 divide a?
False
Is (10 + -9 - 2/5)*395 a multiple of 51?
False
Let o = 31 - -1268. Is 42 a factor of o?
False
Suppose 0 = -p - 3*z + 7, -p = 2*p + 2*z. Let a be (-1)/(-2) - 5/p. Let r(w) = w**3 + w + 3. Is r(a) a multiple of 13?
False
Suppose 0 = -4*j - 2901 + 11801. Is j a multiple of 25?
True
Let u be -1*(-3 + (-120)/6). Suppose 12*k - u*k + 341 = 0. Is 5 a factor of k?
False
Let q(z) = 2*z**3 + 9*z**2 + 10*z - 2. Let h be q(-6). Let i = 87 + h. Is (i/(-2))/(3/6) a multiple of 32?
False
Is 33 a factor of (-171)/2*6*(-32)/36?
False
Let r = -116 + 194. Is r a multiple of 3?
True
Let b = -68 - -26. Let c be (-6)/(-12) + (-30)/4. Is (-86)/c + 12/b a multiple of 6?
True
Suppose 3*f = 8*f - 60. Let d = 147 - 103. Suppose 140 = 4*s - h, s - h + f = d. Is s a multiple of 18?
True
Suppose 0 = 20*w - 18*w. Suppose -3*f - 5*s + 126 = w, -5*f + 0*s + 210 = 3*s. Does 14 divide f?
True
Let o(f) = -f**2 + 3*f + 4. Let k be o(4). Suppose k = 4*b - 637 - 675. Does 4 divide b/24 - 1/(-3)?
False
Let y(m) = -3*m. Let s be y(-3). Suppose 4*l + 44 = -n, -l - s = 2*n + 2. Let t = l + 30. Is 19 a factor of t?
True
Let l(n) = n**3 + 10*n**2 - 2*n - 15. Let d be l(-10). Suppose -2*g = -2*y - 3*g + 7, d*y = -g + 16. Suppose -9 - 39 = -y*f. Is f a multiple of 4?
True
Let p = 70 + -6. Suppose 0 = -2*j + s + 29 + 35, 2*j - 4*s - p = 0. Is 4 a factor of j?
True
Suppose -10292 = -18*t - 13*t. Is t a multiple of 6?
False
Suppose 17*f + 8*f - 17050 = 0. Is f a multiple of 31?
True
Let a be -7*(-3 + (-54)/(-21)). Suppose -3*n - 2*t + 305 = 0, 170 - 483 = -a*n + 2*t. Is 10 a factor of n?
False
Let u = 2 + 3. Let q be 0/2 - (u - 9). Suppose -q*f = -f - 18. Is 2 a factor of f?
True
Let h = 5 - 3. Let v(i) = 3*i**2. Let u be v(-2). Let s = u + h. Does 9 divide s?
False
Suppose -16*p = -15268 + 5284. Is 48 a factor of p?
True
Suppose 46*a + 6*a - 8580 = 0. Is a a multiple of 33?
True
Suppose 61 = 7*v - 492. Let b = v + -35. Is b a multiple of 4?
True
Let z be 1 - -1 - (1 - 1). Suppose -9*x + 13*x = 16. Suppose k + 4*j - 52 = 0, 22 = z*k + x*j - 78. Does 16 divide k?
True
Let l(s) be the first derivative of -s**3/2 - s**2/2 + 2*s - 6. Let y(v) be the first derivative of l(v). Is 14 a factor of y(-5)?
True
Let k = -9 - -3. Let m(g) = -20*g**2 + 9*g + 2 + 55*g**2 - 12*g**2 - 21*g**2. Is 6 a factor of m(k)?
False
Suppose 0 = 5*k - 4*b - 18, 5*k = -2*b + 4*b + 14. Let c(v) = -k + 2*v**3 - 2*v**2 - v**3 - 5*v**3 - 2*v + 4. Is 15 a factor of c(-2)?
True
Suppose -7 = -3*a - p, -a + 5*a + 2*p = 6. Suppose 5*n - 2 = -4*b, -19 = -a*b + 3*n - 1. Suppose 5*l + b*o - 50 - 36 = 0, 4*o = -l + 24. Does 16 divide l?
True
Let o be (4 + -1)*(0 + 1). Suppose 99 = 2*k - o*c, -243 = -6*k + 2*k - 3*c. Does 19 divide k?
True
Let k(u) = -u**2 + 3*u - 2. Let l be k(2). Suppose 5*q + 11 - 1 = l. Does 9 divide q - 0 - -1*21?
False
Let q(u) = 29*u + 1. Let w be (-2)/(-7) - 48/21. Let a be q(w). Let i = -35 - a. Is i a multiple of 11?
True
Suppose 4*p - 324 = -2*p. Is 9 a factor of p?
True
Suppose 39*z - 27986 = 140689. Does 27 divide z?
False
Let h be (1 + 20)*60/9. Suppose -5*y + 3*d + 967 = 0, -y + d + h + 53 = 0. Is y a multiple of 23?
False
Let z = 981 + -338. Is z a multiple of 22?
False
Suppose -z + 849 = 2*p, 6*p + 5*z = 7*p - 430. Does 15 divide p?
False
Is 16 a factor of 2/3 + (1 - 2750/(-15))?
False
Let n be 1767/9 + ((-32)/6)/4. Suppose -n = -5*z + 20. Is 5 a factor of z?
False
Let k(w) = 812*w**2 + w - 1. Let g be k(1). Suppose -g + 252 = -5*p. Does 12 divide ((-6)/(-8))/(7/p)?
True
Let o(n) = -n**3 + 41. Let y be o(0). Suppose 36*c + 125 = y*c. Let r = 34 - c. Does 2 divide r?
False
Let q(t) = t**2 + 27*t - 120. Let u be q(-31). Suppose -5*k + 2*i + 20 = -8, -3*i + 3 = 0. Let s = k + u. Is s a multiple of 10?
True
Let b(x) = -x**3 + 14*x**2 + 14*x + 29. Let o be b(15). Suppose -10*y - 120 = -o*y. Does 10 divide y?
True
Suppose 0 = -4*h - 2*q + 2313 + 1189, -4*q = -12. Is 19 a factor of h?
True
Let q = 67 - 50. Let l(y) = 4*y + 8. Does 19 divide l(q)?
True
Let c = 164 + -69. Let s = c - 48. Suppose -5*x + n = -s, -4*x = -n + 3*n - 32. Is x a multiple of 8?
False
Let m be (-5 - -1) + 52 + 4. Suppose 3*r + r - 96 = 2*h, -2*r + 2*h = -m. Is r a multiple of 11?
True
Suppose 2*z = z + 13. Suppose -4*r + z + 3 = 0. Does 7 divide -25*1/(-5)*r?
False
Let j be 5/((-10)/4) + 2. Suppose j = 4*q - f - 330, 0 = 4*q + 3*f - 123 - 199. Let a = q - 14. Is a a multiple of 17?
True
Is (-29)/87*-7311*1 a multiple of 35?
False
Suppose 4*m + 20 = 0, 4*i + 4*m + m - 3599 = 0. Is i a multiple of 11?
False
Suppose -1030 = -0*x + 5*x. Does 16 divide 50/(-20) - x/4?
False
Suppose -2*c - 3*g + 561 = 2*c, 119 = c + 5*g. Does 4 divide c?
True
Let b(d) = 34*d + 1375. Does 55 divide b(0)?
True
Suppose 0*q = -5*h + 5*q + 430, -2*h + 188 = 2*q. Let o be 91/3 - (-7)/(-21). Suppose h = 5*l - o. Is 8 a factor of l?
True
Let i(r) = -r**3 + 8*r**2 - 3*r + 5. Suppose w + 2 = 7. Let c = w + 0. Is 20 a factor of i(c)?
False
Suppose -98 = -96*o + 89*o. Suppose 2*w = -2*w + 100. Let u = w - o. Does 11 divide u?
Tru