k = 964. Is c a multiple of 81?
True
Suppose 4*r = 3*l + 24098, 36*l - 38*l = -12. Is r a multiple of 41?
False
Suppose -2*r + 6 = -2. Suppose -3*c = -c - d - r, -3*c + 5*d - 1 = 0. Suppose -2*z + 5*f - 5 = -45, -2*z - c*f + 8 = 0. Does 4 divide z?
False
Does 7 divide (-5340825)/(-1225) + 16/14?
True
Let z(d) = 4*d**2 + 33*d - 168. Does 11 divide z(-14)?
True
Is ((-4)/(-10) - (1 + -1))*(159 - -37941) a multiple of 193?
False
Let u = -140 - -138. Is (3 - 171/21)/(u/7) a multiple of 2?
True
Let b(g) = -g**2 - 38*g - 19. Is 3 a factor of b(-26)?
False
Let c(t) = 16*t**3 - 6*t**2 - 3*t - 1. Let h be 19/5 - (-116)/(-145). Is 46 a factor of c(h)?
True
Suppose -17 = -3*p - 20. Let s be 1 + (p + 2)*-1. Suppose s = -15*a + 10*a + 275. Is 17 a factor of a?
False
Let d(i) = 2*i - 12. Let u be d(0). Let j be ((-4)/u)/(4/1020). Suppose -3*g + j = -137. Does 26 divide g?
False
Let w = 516 + -64. Let g = -398 + w. Is g a multiple of 27?
True
Suppose 0 = 1756*n - 1765*n + 9747. Is n a multiple of 59?
False
Let k(d) = d**3 + 10*d**2 + 19*d + 2. Let f = 297 + -303. Is k(f) a multiple of 8?
True
Let a = -12081 - -15656. Is 11 a factor of a?
True
Let q(j) = -j + 28. Let s be q(16). Let t = -10 + s. Is 3 - (t + -2 + -17) a multiple of 10?
True
Suppose 0 = 5*t - 4*g + 585, -7*t - g - 610 = -2*t. Let p = t - -97. Let u(a) = -3*a - 54. Does 4 divide u(p)?
False
Let c(m) = -m**2 + 11*m + 18. Let l be c(9). Let k = 427 - l. Is 23 a factor of k?
True
Is 198 a factor of 12*((-3)/(-8)*932 + (-12)/4)?
True
Let a(i) be the second derivative of -31*i**4/12 - i**3/3 - 3*i**2/2 + 40*i. Let q be a(2). Let j = 244 + q. Does 15 divide j?
False
Let c = 2732 - -1943. Is c a multiple of 17?
True
Suppose 6*n - 34544 = -4*k + 10*n, -4*n + 8656 = k. Is 144 a factor of k?
True
Suppose 4*w + 227 - 231 = 0, -8472 = -f + 5*w. Does 49 divide f?
True
Suppose 216*s = -54*s + 5421870. Is s a multiple of 142?
False
Let a(y) = 3*y**3 + 19*y - 310. Does 36 divide a(10)?
True
Let a(k) = -k**3 - 35*k**2 + 46*k + 137. Does 69 divide a(-37)?
True
Let b = 385 + -248. Let p = b + 253. Is 15 a factor of p?
True
Let y be -3 + (-4 - -2)*2*4. Is 0 - 1 - (15 - 12) - y a multiple of 9?
False
Let k(b) = 2*b**2 + 45*b + 15. Let a be k(-22). Let l(d) = d**3 + 11*d**2 + 10. Is l(a) a multiple of 20?
False
Suppose -5*d + 0*h - 1739 = 2*h, h = -2. Let f = -210 - d. Is 39 a factor of f?
False
Suppose -1434 = 4*u + 2*h, -4*u + 0*h = -3*h + 1429. Let z = 126 - u. Is z a multiple of 37?
False
Suppose -140 = 2*o - 2*r, -4*o + 4*r - 5*r - 270 = 0. Let m = o - -77. Suppose -m*x + 1971 = -0*x. Does 66 divide x?
False
Let g(x) = x**3 + 3*x**2 - 5*x - 5. Let j be g(-5). Let h = j - -27. Does 9 divide -2*h*(-36)/(-8)?
True
Suppose -37524 = -6*o + 5862. Suppose 4*l - 5*i = -2*i + 7207, 4*l - o = -5*i. Is l a multiple of 105?
False
Let k(r) = -r**3 - 14*r**2 - 15*r + 9. Let l = 1 - 14. Let n be k(l). Is 16 a factor of 327/21 + 15/n?
True
Let d(j) = j**3 - 11*j**2 - 24*j + 1. Suppose -5*v + 60 + 5 = 0. Let k be d(v). Suppose -9*q + 126 = -k. Does 8 divide q?
False
Let v = -47 - -47. Suppose 3*x - 2*i - 146 = v, -12 = 3*x - 4*i - 154. Suppose -m - 4*m = -x. Is m a multiple of 4?
False
Let a(u) = 7*u + 9. Let k(r) = -r**2 + 9*r - 10. Let y be k(4). Suppose -29 = -3*x + y. Is a(x) a multiple of 25?
True
Suppose 0 = 28*x - 36*x + 129816. Suppose x - 2871 = 12*y. Is 24 a factor of y?
False
Suppose -4*o - 4*c + 4 = 0, 3*o - 7 = 5*c + 4. Suppose 0 = o*a + a + 387. Let v = -84 - a. Is v a multiple of 13?
False
Is 48 a factor of ((-293360)/1140)/((-1)/108)?
True
Let p(q) = 5*q + 7. Let j be p(5). Suppose -1117*t = -1079*t - 76. Suppose t*x + j = 2*d, -d = -3*x - 11 - 13. Is 2 a factor of d?
True
Let f(a) = a**2 + 2*a + 1. Let n be f(-3). Suppose 2251*y + 264 = 2259*y. Suppose -127 - y = -n*v. Is 5 a factor of v?
True
Let s = -13 + 12. Let x = 1 + s. Suppose 3*z - 58 = t, x = 2*z + 2*z + t - 82. Is z a multiple of 10?
True
Let m = 172 - 158. Suppose 7 + 3 = 2*n. Suppose -n*b + 204 = m. Does 20 divide b?
False
Let i = 0 - -3. Let t be (2 + i)*(-1 + 231/(-15)). Does 18 divide 6/(t/(-120) - (-12)/(-20))?
True
Let r = -22782 + 32607. Does 25 divide r?
True
Let s(x) = 159*x + 14*x**2 + x**3 - 27 - 3 - 309*x + 156*x. Does 31 divide s(-12)?
True
Suppose 26*x - 8078 - 4740 = 0. Does 6 divide x?
False
Let t(c) = 2*c**2 + 4*c - 2. Let x be t(-3). Suppose 2*y - 5*m - 397 = 0, -312 = -x*y + 2*m + 490. Is y a multiple of 53?
False
Let x(b) = 2*b**2 - 81*b + 42. Let y be x(40). Does 10 divide y/(-10) + ((-71643)/(-55))/13?
True
Let v = 5442 + 1972. Is 38 a factor of v?
False
Suppose -r - 3*r + 1208 = 2*f, -4 = -2*r. Suppose -2*z + 2*n + 904 = z, f = 2*z - 2*n. Does 46 divide z?
False
Suppose -23*m + 27*m = -w + 12782, -12776 = -4*m - 2*w. Is 66 a factor of m?
False
Suppose -4*c - 4 = -a, -4*c = 5*a - 5*c - 58. Is (a - 11) + 465 + 0 + -1 a multiple of 15?
True
Let i = -438 + 280. Let r = 202 + i. Is 2 a factor of r?
True
Let a(m) = -115*m + 2068. Does 15 divide a(11)?
False
Let y be (2/5)/(14/35). Let t be (y/2)/(5/(-300)). Let f = t - -74. Does 8 divide f?
False
Is 196 a factor of (120/(-90))/((20/80622)/(-5)) - -8?
False
Let x = 214 + -214. Let j be ((0 - -7)/(-1))/(-1). Suppose -q + j*q - 132 = x. Is q a multiple of 11?
True
Let i = 14068 - 7277. Suppose 20*k - 3769 = i. Does 39 divide k?
False
Let u = 47 + -42. Suppose 3*r = -0*a + a + 166, -a + 290 = u*r. Let w = 86 - r. Is 5 a factor of w?
False
Let v = -12051 + 12876. Is 25 a factor of v?
True
Let t be (-9)/(-3) - (-64)/4. Let l(g) = 4 - 1 + t*g - 6 - 3. Is 16 a factor of l(2)?
True
Let c be (-2 - (-52)/20) + (-17)/(-5). Suppose 5*j - 2*o = 2702, -2 = c*o + 2. Is 12 a factor of j?
True
Suppose 373*o + b - 12738 = 370*o, -2*o + 4*b + 8506 = 0. Is 32 a factor of o?
False
Let t = -81 - -84. Suppose -y = 2*y + 3*k - t, 2*y = 3*k + 12. Suppose 4*f = -y*j + j + 234, 0 = -j - 4*f + 119. Is 15 a factor of j?
False
Let k(q) = -118*q - 10. Let w be k(-7). Suppose -w + 144 = -16*o. Is o a multiple of 5?
False
Suppose 24*d - 20*d = 8, -j - 4*d + 2595 = 0. Does 13 divide j?
True
Suppose 0 = 5*j + k - 1022 - 388, -4*k = -3*j + 823. Is j even?
False
Suppose -10*o + 1195 = -9*o - 2*u, -3*o + 3589 = -5*u. Let m = o + -518. Is m a multiple of 27?
False
Let o(w) be the third derivative of 49*w**5/60 - w**4/12 + 2*w**3/3 - 22*w**2 + 3*w. Is 12 a factor of o(-2)?
True
Suppose 82 = b + 3*b + 2*q, q + 99 = 5*b. Is 46 a factor of b/6*1302/10?
False
Suppose -17*v - 32*v + 24255 = 0. Is 6 a factor of v?
False
Let s(j) = -j**3 - 9*j**2 + 8*j - 21. Let t be s(-10). Let o(z) = -241*z - 7. Is 13 a factor of o(t)?
True
Let u = 1779 + 333. Is u a multiple of 44?
True
Let z be (-15)/(-5) - 2*(-1 - -2). Let b be 1*1/z*(9 + 2). Suppose -b = -4*v + 229. Is v a multiple of 12?
True
Let k(r) = r**2 + 33*r + 44. Let j be k(-14). Let f = j - -306. Does 13 divide f?
False
Suppose l - i = -55, -2*i - 10 = -l - 61. Let q = 63 + l. Is (112/q)/((-6)/(-15)) a multiple of 6?
False
Let o = -3908 + 4928. Is o a multiple of 17?
True
Let h be (-8)/2 + 4 + 275. Suppose 291 = l - 0*l - 5*r, l - h = r. Let p = l - 83. Is 34 a factor of p?
False
Let f be 10/45 - (-10)/(-45). Suppose f = -5*n + i + 34, -5*i + 53 = 5*n + 13. Suppose -q + n = -79. Is q a multiple of 15?
False
Let x(t) = -t**2 + 15*t + 19. Let s be x(16). Let r be 1/s - 66/(-18). Let f(g) = g**3 - 3*g**2 + g + 8. Is f(r) a multiple of 14?
True
Let z = 346 - 335. Let g(u) = 26*u - 214. Is g(z) a multiple of 3?
True
Suppose 248*u - 28812 = 234*u. Is 49 a factor of u?
True
Let q = -3626 + 775. Let g = -1672 - q. Is 9 a factor of g?
True
Let h = 1045 - 105. Suppose -3*r - u = -h, -4*u + 2 = -14. Does 4 divide r?
True
Let d(b) = -16*b + 1. Suppose -2*l = 5*n + 13, -4*l + 2*n + 1 = 3*n. Let k be 3*l/(-3)*1. Does 8 divide d(k)?
False
Suppose 5*s - b - 22 = 151, -4*b = 2*s - 56. Let w be 17/5 + 2/(-5) + s. Let j = -31 + w. Is j a multiple of 6?
True
Let m(k) = 916*k**2 - 4*k + 2. Is 118 a factor of m(2)?
True
Suppose 0 = 19*h - 15*h - 140. Is 7/(h/3) + (-8308)/(-20) a multiple of 16?
True
Let y = 27 + -24. Suppose 0 = 2*d - a - 6, 3*d + y*a = 4*d + 2. Is (-4)/3*(d + -16) a multiple of 8?
True
Suppose -18 = -3*r + 2*x - 1, 5*r + 4*x + 1 = 0. Suppose -5*j + 35 + 13 = 4*s, -3*s + 36 = r*j. Su