b, -z - 44 = 5*r. Does 12 divide (z/(-5))/((-24)/(-180))?
True
Let w(t) = -t**3 + 29*t**2 - t + 101. Is 14 a factor of w(9)?
False
Suppose t - o - 1762 = 90, 0 = t - 4*o - 1864. Is 11 a factor of t?
True
Let y(c) = -c**2 + 13*c + 5. Is 11 a factor of y(10)?
False
Suppose 5*i = 2*r + 6, -3*r - 5 = -3*i + 4. Suppose -4*j + 5*n + 9 = 0, i = 5*j + 4*n - n + 35. Is 15 a factor of j/(-6) + 88/3?
True
Suppose -2*n + 274 + 170 = f, 676 = 3*n + 4*f. Suppose 5*x - 5*u + 41 = 406, -2*u = -3*x + n. Is x a multiple of 5?
False
Suppose 0 = 21*c - 18*c - 306. Let o be c/(-12) + 3/6. Does 12 divide (-86)/(-4) - (-4)/o?
False
Is 439 + -40 + (-2)/(-4)*4 a multiple of 23?
False
Let w(q) = 2*q**2 + 3 + 8*q - 1 + 7 - 1. Let g be 119/(-35) + (-6)/10. Is w(g) a multiple of 8?
True
Let u(m) = -31*m - 4. Let n(j) = -621*j - 81. Let t(b) = 4*n(b) - 81*u(b). Is t(3) a multiple of 9?
True
Suppose 2*r - 1 - 8 = -5*c, 4*c - 2 = r. Let j = -3 - c. Let o(t) = -20*t - 6. Does 21 divide o(j)?
False
Does 15 divide (40/(-6))/(16/(-3672))?
True
Let c(t) be the first derivative of 6 + 0*t**2 - 18*t + 1/3*t**3. Does 21 divide c(9)?
True
Suppose 2 - 50 = -2*b - 5*g, -b = -3*g - 35. Let w = b + -20. Is w a multiple of 9?
True
Suppose 3*v - 4*z - 81 = 0, 2*v + 3*z = 4*z + 59. Is 10 a factor of v?
False
Let s(i) = 8*i**2 + 5*i - 67. Is s(10) a multiple of 87?
True
Suppose 10*m - 9*m - 587 = 0. Does 50 divide m?
False
Let u = 4 - 11. Let v be -12*u/(42/9). Is 17 a factor of (-621)/v*(-4)/3?
False
Suppose y + 7584 = 17*y. Is y a multiple of 37?
False
Suppose -2*p - 4*w + 130 = 24, -3*w = 2*p - 105. Is 7 a factor of p?
False
Suppose -4*x + 4*l + 1160 = 0, 2*x - 4*x + 568 = 2*l. Is x a multiple of 15?
False
Let h = -20 - -14. Suppose 3*r - 5*r = 8. Does 15 divide (15/h)/(r/24)?
True
Let w(g) = -g**2 + 13*g - 10. Suppose 2*m = 3 + 21. Let u be w(m). Let c(h) = 9*h**3 - 2*h**2 + 2*h + 1. Does 23 divide c(u)?
True
Let s(h) = h**2 + 2*h - 1. Suppose 3*w - 2*u + 8 = 5*w, 3*w = 3*u - 6. Let l be s(w). Suppose -l*v = 19 - 61. Is v a multiple of 8?
False
Let s(u) = -u + 130. Let v be s(0). Let m(n) = n**2 - 25*n - 41. Let t be m(28). Let h = v - t. Does 29 divide h?
True
Suppose 17894 = 63*l - 12346. Is 50 a factor of l?
False
Let w(y) = -15 + 4 + 1 + 8*y + 8. Is w(1) even?
True
Suppose 46*y - 29*y - 1275 = 0. Is y a multiple of 15?
True
Let v = 47 - 11. Suppose -3*i = -8*d + 4*d + v, d - 5*i - 26 = 0. Suppose -d*q + 396 = -0*q. Does 22 divide q?
True
Suppose 3*y + 11 - 8 = 0. Let a(h) = 7*h**2 + 4*h**2 - 8*h**2 - h. Is a(y) a multiple of 4?
True
Suppose 14 = 2*k - 18. Suppose 4*t = -k, t = -2*o - t - 8. Suppose -5*f + 4*y - y + 148 = o, -y + 36 = f. Does 9 divide f?
False
Suppose -174 = -33*a + 31*a. Suppose -3*c + 46 + 203 = -3*t, -t + a = c. Is 17 a factor of c?
True
Let q(o) = -o**3 + 5*o**2 - 8*o - 8. Let i(k) = -3*k**3 + 9*k**2 - 17*k - 15. Let c(v) = -2*i(v) + 5*q(v). Is c(-6) a multiple of 13?
False
Suppose 3*m = 5*y + 940, -y + 323 = -2*m + 959. Is 49 a factor of m?
False
Let d be (-1)/(-3)*(3 + -30 + 0). Is 66 + 0 + 18/d + 4 a multiple of 11?
False
Suppose 28*s - 5365 = 23*s. Suppose -5*m - n - 2*n + s = 0, -2*m + 425 = -3*n. Suppose 2*b - m + 44 = 0. Is 14 a factor of b?
False
Let x(a) = -a**2 - 5. Let j be x(4). Is 14 a factor of (-1)/(j/20 + (-2 - -3))?
False
Suppose -5*g - 3 = -33. Let z = -1 + g. Suppose 0 = -3*s + 2*j + 75, 3*s + z*j - 60 = 2*j. Is s a multiple of 10?
False
Suppose u + 11 = 15. Suppose -2*h - 32 = -u*h - 3*w, h = -w + 17. Suppose -33 - h = -2*k. Does 11 divide k?
False
Let s(z) = -40*z**2 - 2*z - 2. Let d be s(-2). Let q = d - -266. Is q a multiple of 27?
True
Suppose -27*o + 22*o + 155 = 0. Let x = -25 + o. Does 6 divide x?
True
Let a(b) = 6*b**2 - 30*b - 7. Is 17 a factor of a(8)?
False
Let n(u) = -u**3 + u**2 + 3*u - 2. Let w be n(2). Suppose 6 = 3*l - w*l. Is 15 a factor of 31 - ((-6)/(-3))/l?
True
Let s(j) = j**2 + 4*j - 7. Let v be s(-6). Let t = 63 + 0. Suppose 0 = v*b - b + u - 252, b = 5*u + t. Is b a multiple of 17?
False
Suppose 4*o - 5*t + 3 - 49 = 0, 4*o = t + 54. Is (((-228)/5)/(-1))/(o/70) a multiple of 44?
False
Suppose 3*t + 13*j - 186 = 11*j, 0 = -t + 3*j + 62. Is t a multiple of 22?
False
Let b(m) = 2*m**2 - 6*m + 5. Suppose -3*t + 6 + 3 = 0. Let c be b(t). Suppose -c*s + s + 240 = 0. Is s a multiple of 10?
True
Let b(i) = -i**2 - 2*i + 3. Let s be b(5). Let x be (-1969)/(-33) + 12/9. Let z = x + s. Does 12 divide z?
False
Let a(j) = j**2 + 5*j + 5. Let d be a(-4). Let p be 9/6*(d + -3). Let g(y) = -2*y**3 - 4*y**2 - 2*y - 3. Is g(p) a multiple of 6?
False
Let z = 58 + -83. Let c = -36 - z. Let i(q) = q**3 + 11*q**2 - 6*q - 13. Is 15 a factor of i(c)?
False
Suppose -490*c + 493*c = 1035. Is 23 a factor of c?
True
Let r(w) = 9*w + 17. Does 8 divide r(7)?
True
Suppose 209 = -5*n + n - a, 3*a = -4*n - 211. Let o be (0 + -4 - n) + -1. Suppose -2*k + t + 36 = -3, -k + o = 5*t. Is 12 a factor of k?
False
Suppose -v + 140 = -0*v + 2*g, 3*g = 5*v - 713. Let d = 903 - 901. Suppose 300 = 5*c + u, d*u + v + 98 = 4*c. Is 15 a factor of c?
True
Let d(w) = -122*w**2 + 2*w - 2. Let n be d(-3). Let b = -758 - n. Is 45 a factor of b?
False
Let v(g) be the second derivative of -g**4/12 - g**3/6 + 9*g**2/2 + 2*g. Let c be v(0). Suppose i = c - 0. Is 9 a factor of i?
True
Let u(w) = 11*w + 5. Suppose -2*t + 14 = 2*s, -3*t - 8 = -2*s - 4. Does 9 divide u(t)?
True
Is 44 a factor of 8*6/24*194?
False
Suppose -2*y - 3*f = -7*f - 4, -4*f = -y - 4. Suppose y*a = -10*a + 1710. Is 5 a factor of a?
True
Suppose 0 = -m + y + 37, -m + 5*y = -3*m + 60. Suppose 4*d + m = 515. Is 30 a factor of d?
True
Suppose 5*u = -4*q + 31, -2*q - 3*u = -4*u - 5. Is 14 a factor of 2*49*q/8?
False
Let n = -20 + 16. Does 27 divide -4 + ((-324)/n - 4)?
False
Let w = 33 + -29. Let t(l) = l**3 - 2*l**2 - l + 9. Does 9 divide t(w)?
False
Suppose 12 = -5*o - 8. Let j be (12*o/(-6))/1. Suppose -3*i - 150 = -j*i. Does 26 divide i?
False
Let z = -49 + 69. Let i be (z/12 - 1)*6. Suppose 0 = i*l - 62 - 222. Does 15 divide l?
False
Let g(q) = 10*q - 30. Is g(16) a multiple of 6?
False
Let q = -83 - -117. Suppose -q = -b - 7. Does 11 divide (-2)/(-9) - (-291)/b?
True
Suppose 5*t - 4*t = 60. Let m = 437 + -273. Suppose z = 4, a + t = -3*z + m. Is 25 a factor of a?
False
Let n be 6/((-4)/(-134) - 0). Suppose -z - n = -4*z. Let h = z - 34. Is 11 a factor of h?
True
Let f = -4 + 13. Let z = f - 6. Let y = z - -13. Does 8 divide y?
True
Suppose 0 = 5*r + 2*g - 9499, -r = -0*r + 3*g - 1892. Does 59 divide r?
False
Let d(u) = 2*u**2 - 128*u - 31. Is 28 a factor of d(-9)?
False
Let q(c) = -c**2 + 14. Let n be q(0). Suppose n*a - 824 = -152. Is 4 a factor of a?
True
Does 34 divide ((-7168)/(-6))/4 + 15/45?
False
Suppose -37*q + 20*q = -816. Is q a multiple of 6?
True
Let f = 11 - 7. Suppose -4*s + f = -0*s. Is (-2)/s*51/(-6) a multiple of 17?
True
Let d(y) = 56*y - 49. Let s be d(3). Let a be 4/(-10) - (-8)/20. Suppose 3*r = -7 - 2, a = -2*c + 3*r + s. Is 17 a factor of c?
False
Let b = -84 + 88. Suppose 238 = -b*k + 11*k. Is 17 a factor of k?
True
Suppose 7*x - 9234 = x. Is x a multiple of 57?
True
Let d(l) = l**2 + 7*l - 26. Let i be (0 - 22)*3/6. Does 3 divide d(i)?
True
Let o = -84 - -2100. Does 68 divide o?
False
Let o(y) = 3*y + 1. Let d(a) = -a - 1. Let v(g) = -2*d(g) - 2*o(g). Let x be v(-1). Suppose -3*q - 6 = 0, x*b + 0*q - 178 = -q. Is b a multiple of 6?
False
Let x(i) = -11*i + 2. Suppose 8 = g + 3*g. Suppose 0*m = 2*m + g. Is x(m) a multiple of 3?
False
Let i(a) = 3*a**2 - 7*a - 2. Let d be i(3). Suppose -d*h + 361 = -31. Is h a multiple of 14?
True
Suppose -m - 3 = -2*f - f, 0 = -m + f + 3. Suppose 4*j - 4*g + 208 = 0, -j + 2*g = m*g + 62. Let r = -12 - j. Does 21 divide r?
True
Let q(c) be the second derivative of c**5/20 + 3*c**4/4 - 7*c**3/6 - 7*c**2/2 + 10*c. Is q(-9) a multiple of 14?
True
Let y = 31 + -21. Suppose 15*x - 255 = y*x. Is x a multiple of 8?
False
Let x(c) = -2*c + 3*c + 7 + 0. Let k be x(7). Suppose -4*z + k = -2*z. Is z a multiple of 2?
False
Let b(j) = 20*j + 66. Let p be b(-4). Let f be 17*(-2 - 0 - -1). Let a = p - f. Does 3 divide a?
True
Suppose 5 + 3 = 2*a + 2*o, 2*a - o + 7 = 0. Is 21 a factor of (a*84)/(5/30*-3)?
True
Let t = -14 + -80. Does 16 divide 1*(-1 - -3 - t)?
T