 - 99 = 0, -p*t + 5*w = w - 297. Does 33 divide t?
True
Suppose -4 = -5*l + 8*l - 2*y, -3*y + 6 = 2*l. Let d(i) = 2*i**2 - 6*i + 64. Is d(l) a multiple of 4?
True
Let w(k) = 15*k**3 - 3*k**2 + 4*k - 4. Let j(s) = -s**3 + 7*s**2 + 7*s + 10. Let y(c) = c**2 - 8. Let p be y(-4). Let d be j(p). Is w(d) a multiple of 18?
False
Let i = 1538 - -2052. Is 10 a factor of i?
True
Let g = -12 + 8. Let o be -1*2/g*106. Let u = o + 31. Does 21 divide u?
True
Suppose 15*c = -6*c + 63. Suppose -3*m + 2*m = -383. Suppose -5*o + 0*i = i - 650, c*o + 2*i - m = 0. Is o a multiple of 29?
False
Let g = -849 + 857. Does 44 divide ((-10)/g)/(-1)*696?
False
Let w(j) = -j**3 + 29*j**2 - 48*j - 50. Is 16 a factor of w(27)?
True
Let a(r) = 33*r - 42. Let d be a(4). Let y = 150 + d. Is y a multiple of 6?
True
Let x(z) = -3*z + 30. Let b be x(6). Suppose -b = -2*r + l - 2, -4*r + 20 = -l. Let c(u) = 7*u**2 - 14*u + 8. Is 27 a factor of c(r)?
False
Let f = 433 - 263. Suppose 0 = -23*v + 290 + f. Is v a multiple of 10?
True
Suppose 0 = 3*y - 8*y - 310. Let q = 71 - y. Let b = q + -71. Does 12 divide b?
False
Suppose 4*b - 433 = 3*b + 4*o, 5*b - 2188 = -3*o. Suppose f = -3*z + 247 + 14, -5*z - f + b = 0. Suppose z = 2*a - 42. Is a a multiple of 13?
True
Let n(f) = -f**3 - f**2 - 2*f + 421. Is n(0) a multiple of 3?
False
Let r(v) = v**2 - 7*v + 7. Let h be r(1). Let f = h - -54. Does 4 divide f?
False
Let y = -250 + 400. Let o be y + (-5 - -4) + -4. Suppose 673 = 4*l + o. Is l a multiple of 33?
True
Suppose -4*b = -2*w - 3*w - 147, 3*w + 4*b = -101. Let l be (3 + 3)/2*w. Let u = 213 + l. Is u a multiple of 30?
True
Let i be 25/10 + 1/(-2). Let y be i/(-1 - 0) + (-1 - -222). Suppose -4*j + y + 117 = 0. Is j a multiple of 12?
True
Let t(z) = 44*z**2 - 143*z + 17. Is 37 a factor of t(9)?
True
Let y(s) = -178*s**2 + s + 85. Let z(v) = -59*v**2 + 28. Let f(p) = 2*y(p) - 7*z(p). Does 16 divide f(4)?
False
Let g(f) = 2498*f**2 - 19*f - 48. Is 23 a factor of g(-2)?
True
Let b = 305 + 8899. Is 52 a factor of b?
True
Suppose 17721 + 10583 = 16*u. Does 48 divide u?
False
Let j = -16783 - -24425. Suppose 11*b - j = 10794. Is b a multiple of 104?
False
Let b(n) = 287*n**2 + 51*n + 16. Is b(3) a multiple of 64?
True
Let t(o) = -4*o + 29. Is t(-6) a multiple of 6?
False
Suppose 5*r - 4032 = 2*c + 8003, -r = 4*c - 2385. Is r a multiple of 65?
True
Let p = -16085 + 23805. Is p a multiple of 40?
True
Suppose -4*y - 11824 = -8*y + 4*u, 5*y = -2*u + 14808. Is 10 a factor of y?
True
Let v(h) = -301*h + 1 + 157*h - 7 + 4*h**2 + 150*h. Is v(5) a multiple of 41?
False
Does 38 divide (-20)/((-32)/(-64)*(-1)/361)?
True
Suppose -303 = -4*f + 1309. Let n = f - 298. Does 21 divide n?
True
Let l(m) = -336*m**3 + m**2 - 2*m + 2. Let q be (1 + 1)*((-7)/2)/(-7). Let i be l(q). Let x = 593 + i. Is x a multiple of 11?
False
Let x(m) = -2*m**2 + 14*m. Let a be x(7). Suppose a = 5*v - 168 + 23. Suppose -4*f + 2*u + 86 = -0*u, f - v = -u. Is 6 a factor of f?
True
Let z = 110 - 106. Suppose -12 = -z*l + 4, -71 = -3*x + l. Suppose 22*n = x*n - 282. Does 18 divide n?
False
Let m be 8/(0 + (-25)/35 - -1). Suppose -16*y = -348 + m. Is 4 a factor of y?
True
Let m(w) = -w**2 - 48*w. Let g be m(-8). Let j = g - 233. Is j a multiple of 7?
False
Let a(l) = -37*l - 17 + 17. Let h be a(-1). Suppose 3*t + 0*z - 3*z - 21 = 0, 5*z = -4*t + h. Is t a multiple of 8?
True
Let s(a) = -40*a + 26. Suppose 0 = -3*i - 167 + 89. Is 26 a factor of s(i)?
True
Let c be (-3 + 2 + (-182)/(-10))*65. Is 6/51 - 5/(-170)*c even?
False
Let x(y) = 1931*y**3 + 0 - 1934*y**3 + 1 - 8*y**2 - 4*y. Is x(-4) a multiple of 3?
True
Suppose 5*c + 11702 = 2*n, 0 = -0*n - 4*n + c + 23458. Does 15 divide n?
False
Let y(i) = i**3 + 6*i**2 - 15*i - 34. Let m be y(-11). Let z = -307 - m. Does 3 divide z?
False
Suppose -8*j + 10*j = -4*p - 38, 3*j + 45 = -3*p. Let n(v) = 2*v**2 + 19*v + 21. Is n(j) a multiple of 9?
True
Suppose 2 = -6*g + 20. Suppose -48 + 9 = -g*k. Suppose 4*t + k - 89 = 0. Is 19 a factor of t?
True
Is (-8)/(-4)*(-11)/(66/(-492)) a multiple of 2?
True
Suppose -34*o + 2698 = 1032. Suppose -h = -204 - o. Is h a multiple of 11?
True
Let c(t) = 33*t**2 - 151*t + 14. Does 27 divide c(8)?
True
Suppose -2 = i, 2*i = 5*a - a + 4. Let r be (-6)/(a/(-1)) + 7. Suppose 3*h + 36 = r*h. Does 6 divide h?
True
Let i be (0 + 0)/((-12)/(-4)). Suppose 4*s - n + i*n = -34, -3*s + n - 26 = 0. Is (-84)/(-8)*s/(-6) a multiple of 3?
False
Suppose -13 = b - 5*d, 0*b + 2*b - 2*d + 2 = 0. Suppose -2*n - 3*w = -225, -b*n - 27 = -3*w - 270. Is n a multiple of 9?
True
Suppose -4*s - 2 = -10. Let v = -41 + 42. Suppose -4*c = 4*o - s*o - 86, -c + v = 0. Is o a multiple of 22?
False
Suppose -10*r + 6*r + 8 = 0. Suppose r*m + 1344 = 5*v, 5*m - 1356 = -5*v + 3*m. Suppose -4*b - b + v = 0. Is b a multiple of 9?
True
Is 156 a factor of (-1)/((430/(-26520))/43)?
True
Is -61*(-36)/36*(-7)/(-1) a multiple of 18?
False
Let d(c) = 60*c**3 + 12*c**2 + 50*c - 527. Does 30 divide d(9)?
False
Let d(j) = 11*j**3 - 9*j**3 - 3 - 33*j - 5 - 3*j**2 + 4*j. Is 4 a factor of d(7)?
True
Let g be -2 + 8 - (9 - 6). Suppose j + g*j + q = 879, 3 = -3*q. Is 20 a factor of j?
True
Let n(t) = -4*t - 24. Let b be n(-13). Let g be b*7 - (2 + 1 + -3). Suppose -2*m - g = -6*m. Does 8 divide m?
False
Let f(p) = -p**3 - 10*p**2 - 8*p + 11. Let h be f(-9). Let v(x) = x**2 - 6*x - 3*x - h*x + 9 - x. Is v(12) a multiple of 3?
True
Let i(h) = h**2 + 56*h - 1109. Is 27 a factor of i(48)?
False
Let c = -8017 - -13799. Is 7 a factor of c?
True
Let d(w) = 35*w - 67. Suppose 0 = -17*t + 13*t + 16, f + t - 13 = 0. Is 48 a factor of d(f)?
False
Let b(d) = 857*d + 861. Is b(5) a multiple of 31?
True
Let x = 70 - 55. Suppose -x*l = 334 - 1564. Is l a multiple of 4?
False
Suppose 5*q = -4*v - 169, 0 = 2*q + 8 + 2. Let i be v/24*16/(-3). Suppose i*a - 165 = 19. Is a a multiple of 2?
False
Let y(w) = 2*w**2 - 53*w + 38. Let j be y(28). Let c = j - -25. Is c a multiple of 65?
False
Suppose 0*l = k - l - 34, 3*k = -5*l + 62. Suppose 17 = i + 5*o, 3*o - 7 = 4*i - k. Suppose -i*h = 2*h - 396. Is 22 a factor of h?
True
Let r = 8149 - 778. Is r a multiple of 39?
True
Suppose 1 = -3*b + 3*j + 4, 4*b - 2*j - 14 = 0. Let v be 9/b - 595/(-10). Let l = v - 53. Does 4 divide l?
True
Let p(o) = 65*o**3 - 4*o**2 + 5*o + 3. Let a(l) = -4*l**2 - 19*l + 7. Let d be a(-5). Does 34 divide p(d)?
False
Let i = -4143 - -4387. Does 2 divide i?
True
Suppose -3*v + 19 = -4*z, 4*v + 4*z = 2*z + 62. Is 9 a factor of v + -12 + -1 + 2 + 97?
True
Let h = 10 + -18. Let k = 0 - h. Let n = 44 - k. Is n a multiple of 12?
True
Suppose 858 + 38 = 8*m. Suppose 109*p = m*p - 552. Does 23 divide p?
True
Let s(j) = -4*j**3 + 31*j**2 + 7*j + 11. Let u be s(8). Suppose 0 = 2*d + u*t - 1067, 4*d + t + 1116 = 3245. Does 14 divide d?
True
Let w be 10/10 + (-1 + 0)*1. Does 19 divide (-1)/(3/(-456) + w)?
True
Let y(i) = 130*i**2 + 89*i - 577. Does 21 divide y(20)?
False
Let z(a) = 111 - 137 - 5*a + 181 + 3*a. Does 13 divide z(-12)?
False
Let h(z) = z**2 - 11*z - 15. Let c be (2/(-4))/((-2)/12). Suppose 30 = -c*u + 4*d, 3*u + 5 + 19 = 2*d. Is 29 a factor of h(u)?
True
Suppose -46*u - 7080 + 17752 = 0. Suppose -120*q + 128*q = u. Does 13 divide q?
False
Let t(b) = 2*b**2 + 21*b - 30. Let y be t(6). Is 20 a factor of 4 - (y + 5)*-2?
False
Suppose 525 = 5*r - 5*y, -28*y + 186 = 2*r - 24*y. Suppose r*s - 2520 = 86*s. Is s a multiple of 28?
True
Let w be -3 + 5 + 1 + 3. Let s be 92/6 + 10/15 - -5. Suppose -w*d = 9 - s. Is 2 a factor of d?
True
Let s(h) = -h**3 - 34*h**2 + 32*h + 231. Let o(y) = -2*y**3 - 68*y**2 + 63*y + 460. Let l(v) = 3*o(v) - 5*s(v). Does 29 divide l(-35)?
True
Suppose 4*r = 14*r - 7250. Suppose 4*c - h - 1698 = 0, r - 2006 = -3*c - 3*h. Is 84 a factor of c?
False
Let k = 1834 - -2036. Is k a multiple of 86?
True
Let o = -14930 - -30284. Is o a multiple of 3?
True
Suppose 0 = 5*h - 3*y - 37546, -251 = -5*y - 236. Is h a multiple of 37?
True
Suppose -x + 2187 = 3*b - 139, 8*b = x - 2326. Does 4 divide x?
False
Suppose -6*z - 1659 = z. Let x = z - -597. Does 18 divide x?
True
Is (-204)/119*(-1459 - -3) a multiple of 39?
True
Let t = -16631 + 21189. Is 43 a factor of t?
True
Let p be (-2)/(-6*(-6)/9)*-2. Suppose 2*w - 112 = -4*x, 0 = w - 5 + p. Does 26 divide 