 Suppose 0 = x + t - 56. Let g = x - -226. Does 18 divide g?
False
Suppose 29*t = 43*t - 108500. Is t a multiple of 22?
False
Let c = 77467 - 38191. Is 129 a factor of c?
False
Let n = -2777 + 4637. Is 60 a factor of n?
True
Suppose -4*c + 7202 = -3 - 2459. Does 76 divide c?
False
Let i(x) = -900*x**3 + 30*x**2 + 24*x + 16. Let j(b) = 225*b**3 - 7*b**2 - 6*b - 4. Let t(k) = -2*i(k) - 9*j(k). Is t(-1) a multiple of 7?
False
Let l(j) = -74*j**3 - 3*j - 2. Let i(k) be the second derivative of -k**3/6 + 3*k**2 + 20*k. Let o be i(7). Is l(o) a multiple of 6?
False
Suppose 19*u - 2*u = 14246 + 8313. Is 14 a factor of u?
False
Let m = 543 + -385. Suppose -4*q + 1390 - m = 0. Does 27 divide q?
False
Let y(a) = 7*a**3 + 456*a**2 - 33*a - 225. Does 4 divide y(-65)?
False
Let h be 2 - 6/2*(6 + -3). Let n(c) = -3*c**2 - 32*c + 9. Is n(h) a multiple of 3?
False
Let y(l) = 27*l + 184 - 12*l + 14*l. Is y(-5) a multiple of 13?
True
Let i(q) = 71*q + 156. Let y(x) = -2*x**2 + 30*x + 47. Let z be y(16). Is i(z) a multiple of 13?
False
Suppose -54180 = -135*k - 37*k. Is 9 a factor of k?
True
Let m be (-8 - -14) + -3 + 383. Suppose -3*i = -2*u + m, 2*i = -4*u + 1326 - 538. Is 28 a factor of u?
True
Suppose 5*s + 0*s - 2*x = -146, -3*x = 3*s + 96. Is (1*12/s)/((-2)/360) a multiple of 9?
True
Let o(h) = h**3 + 7*h**2 - 3*h - 16. Let p be o(-7). Suppose 0 = -c + 2*c - k - 22, -p*c + 150 = 5*k. Suppose 94 - c = 4*f. Is f a multiple of 2?
False
Suppose 6*w - 684 - 1560 = 0. Suppose -346 = -4*q + w. Does 15 divide q?
True
Suppose -41*s + 44*s = 1089. Suppose -9*r + 8*r + 1743 = 5*b, -s = -b - 5*r. Does 17 divide b?
False
Suppose z - 17763 = -4*s, -11*s + 9*s + 4*z + 8904 = 0. Does 54 divide s?
False
Let k = -3232 - -3234. Suppose 1 = -4*g + 9. Suppose -c + 39 = -3*o - g*o, -3*o + 39 = k*c. Is 6 a factor of c?
True
Let s = -16479 - -29904. Is s a multiple of 179?
True
Let v be -12*(9/2 - -1) + -3. Let u = 179 + v. Is 22 a factor of u?
True
Let x(t) = 18*t**3 + 8*t**2 - 18*t + 34. Is 26 a factor of x(7)?
True
Suppose 15*k - 3*j - 12495 = 10*k, 4*k - 9996 = j. Is k a multiple of 51?
True
Suppose 36*l - 120 = 34*l. Suppose -l = 3*u - 60. Suppose -2*v = 3*d - 169, u = -5*d + v - 2*v + 284. Does 7 divide d?
False
Does 6 divide (2 - ((-96)/30)/2*5)*2133?
True
Suppose q = -3*x + 3*q - 489, -326 = 2*x + 5*q. Let h = x + 464. Is h a multiple of 18?
False
Let h = 11368 - 6824. Is 64 a factor of h?
True
Let y = 197 - 379. Let i = 260 - y. Let p = i - 304. Is p a multiple of 23?
True
Let i be -5 + 7 + 0 + -6. Suppose 0 = 7*c - 333 - 87. Let j = i + c. Is 8 a factor of j?
True
Let h = 1091 + -132. Let s = h - 790. Does 45 divide s?
False
Suppose a + 0*x - 3070 = 3*x, 0 = 5*a + 5*x - 15450. Let p = -2085 + a. Is 20 a factor of p?
True
Let y be 833/7*((-20)/(-7) + -2). Suppose 0 = c - y + 7. Is c a multiple of 65?
False
Let l(n) = n**3 - 2*n**2 + 2*n + 5. Let u be (2/3)/((-6)/9). Let q be (2 + -4)*u - -1. Is 5 a factor of l(q)?
True
Let u be (-30)/(-50) + (-16)/10. Let r be ((-3)/(-9))/(u/(-12)). Suppose -9 + 29 = r*i, 0 = -2*g + 3*i + 183. Is g a multiple of 19?
False
Let l(z) = -11*z - 30. Let w(m) = -7*m**2 + 29*m - 34. Let d(b) = 4*b**2 - 15*b + 17. Let p(u) = -5*d(u) - 3*w(u). Let c be p(8). Does 15 divide l(c)?
True
Let u(x) = 8*x**3 + 6*x**2 - 12*x - 83. Is 57 a factor of u(10)?
False
Suppose 110*v - 101388 = -50512 + 77824. Is 45 a factor of v?
True
Let s = 16139 - 9347. Is 8 a factor of s?
True
Let t = 7576 - -5953. Does 44 divide t?
False
Let b(v) = 50*v**2 + 3*v - 4. Let t be b(6). Let k = 2597 - t. Is k a multiple of 12?
False
Suppose -f - 14 - 33 = 0. Let z be (f - 7)/(-2 + 1 - 0). Does 36 divide (8/6)/(2/z)?
True
Suppose -8*u + 13 + 27 = 0. Suppose -3*t - 4 = u*g, -3*t + 0*t - g + 16 = 0. Suppose -t*m = 4*l - 3*m - 140, -3*l + m + 121 = 0. Is 9 a factor of l?
False
Let g(t) be the first derivative of -t**3/3 + 4*t**2 - 2*t - 8. Let o be g(7). Is 16 a factor of (-70)/15 + o - (-47)/3?
True
Does 41 divide ((-48)/(-6) - -12808) + (12 - 2)?
False
Suppose -1998*d - 9198 = -5*m - 2000*d, 0 = 5*m - 4*d - 9204. Does 80 divide m?
True
Suppose -2*s = -s + 213. Let g = 317 + s. Suppose -3*v + 94 + g = 0. Does 11 divide v?
True
Let m(k) = -6*k**3 - 24*k**2 + 31*k + 172. Is 34 a factor of m(-9)?
False
Suppose m - 4*k + 2*k + 3532 = 5*m, 0 = -k. Is m a multiple of 92?
False
Let k = -356 - 147. Let b = -193 - k. Is b a multiple of 10?
True
Suppose 9*q = 24*n - 23*n + 64731, 0 = -5*q - 2*n + 35954. Is 116 a factor of q?
True
Let w(o) = 5*o**2 + 94*o + 2547. Is w(-51) a multiple of 66?
True
Let c(f) = 62*f**2 + 8 - 48*f**2 - 18 - 5 + f**3. Let b be c(-14). Is -3*(-5)/b - -33 a multiple of 8?
True
Let a(y) = -3*y**2 - 6*y + 19. Let d be a(2). Is 23 a factor of (2/d)/(2/(-245))?
False
Suppose -20*x + 3*x + 187000 = 0. Suppose 46*h - x = 26*h. Is 50 a factor of h?
True
Suppose -5*x - 600 = 1380. Let a = -229 - x. Suppose 4*h - a - 425 = 0. Is 34 a factor of h?
False
Let q = -7 + 11. Suppose -3*x = q*w - 20, x - w + 8 = 3. Suppose x = -6*y + 638 + 10. Is y a multiple of 15?
False
Let l be (-244)/(-14) + 243/(-567). Does 4 divide 2/l - 6/51*-339?
True
Let k(o) = -o**3 - 53*o**2 - 118*o + 31. Let c be k(-51). Suppose -6*f + 449 = -c. Is f a multiple of 6?
True
Let o(d) = 5*d**2 - 3*d + 16. Let q be o(4). Let z = -79 + q. Suppose 5*x = -z*x + 1630. Is x a multiple of 11?
False
Let b(m) = -118*m + 200. Is 52 a factor of b(-29)?
False
Let o = 241 + 160. Suppose l = -j + o, -4*l + 402 = -3*l + 2*j. Is 22 a factor of l?
False
Suppose 2*v + 3*v + c + 2444 = 0, v + 5*c = -508. Let s = -363 - v. Is s a multiple of 14?
False
Let f(j) = 2*j**2 - 2*j. Let x be f(-1). Let y(p) = -6*p + 8. Let u(w) = -5*w + 7. Let c(z) = x*y(z) - 3*u(z). Does 5 divide c(-8)?
False
Is (-119)/(-4)*(-338 + 466) a multiple of 68?
True
Let v = 8486 - 6697. Is v a multiple of 34?
False
Let k be 6/(-9) - (-102)/18. Suppose -2*s = 3*t + k, 0 = 3*s - 2*t - 3*t - 40. Suppose 114 = p - s*c, 6*c - c + 228 = 2*p. Is 19 a factor of p?
True
Let v(h) = h**3 + 8*h**2 - 21*h - 15. Suppose -10*q + 5*q - 5*c = 30, 3*c + 36 = -5*q. Is 4 a factor of v(q)?
False
Suppose -15*c + 8 = -13*c, 5*b - 41219 = 4*c. Is 34 a factor of b?
False
Suppose -9*j = -0*j + 7*j + 592. Suppose 5*p = -3*f + 580, 0 = 3*p + 2*p - 2*f - 555. Let a = j + p. Is 19 a factor of a?
True
Let o = -17386 - -31706. Is 40 a factor of o?
True
Let t = -20401 + 33093. Is 36 a factor of t?
False
Let f(i) = i**3 - 5*i**2 + i + 12. Let h be f(6). Let y = 57 - h. Suppose -y*u - 120 = -6*u. Does 4 divide u?
True
Suppose 2*x = -16*x + 108. Suppose -137 - 3481 = -x*b. Does 7 divide b?
False
Let j(h) = -h**3 - 5*h**2 - 10*h - 10. Let k be j(-2). Is 8/(-20) - k*28285/50 a multiple of 31?
False
Let d(o) be the third derivative of 2/15*o**5 + 2/3*o**3 + 15*o**2 + 0 + 7/24*o**4 + 0*o + 1/120*o**6. Is d(-6) a multiple of 10?
False
Let n be (-6)/(-9) + 13/3. Suppose 302*r + 33 = 313*r. Suppose 6 = -3*l, -r*s + n*l - 302 = -7*s. Is 13 a factor of s?
True
Let d(o) = o**3 - 4*o**2 - o - 13. Let f be d(5). Is 27 a factor of (f - (-2 - 0))/(14/126)?
True
Let l = 67 + -22. Suppose -l = -12*t + 3*t. Suppose b = -b, 680 = 5*y - t*b. Is y a multiple of 23?
False
Let d be (-8*(-2)/(-6) + 1)*-3. Suppose 0 = -d*n + 4*n + 2. Suppose -n*l = 2*b - 396, 4*b + 138 = 3*l - 470. Does 20 divide l?
True
Does 156 divide ((-1832)/56 - -1)*(-9)/(-6)*-364?
True
Is 1/(((-6)/(-121890))/((-6)/(-15))) a multiple of 17?
True
Let q be (24 + -23)/(((-2)/27)/(-2)). Let r = q + -19. Suppose 2*o - 4*h = 36, -r*o + 3*h + 76 = -3*o. Is 7 a factor of o?
True
Does 8 divide 11025/2 - ((-35)/(-30) + 55/(-33))?
False
Suppose 0 = -27*g + 31*g - 28. Suppose g*q = q + 18. Suppose q*c + 156 = 3*m, -3*m - 2*c = -2*m - 40. Does 12 divide m?
True
Suppose -36 = -2*l + 3204. Is l a multiple of 162?
True
Suppose 131*s - 135*s = -1904. Let d = s - 276. Is d a multiple of 20?
True
Suppose 4*m - 6*v - 23 = -3*v, -5*m + 20 = -2*v. Does 23 divide (256/24)/(m/69)?
True
Let u be (-2)/8*-1 - 616012/(-272). Suppose 723 = 4*q - c - 1104, u = 5*q + 5*c. Is q a multiple of 8?
True
Suppose 16*u - 7 = 15*u. Let k be u/((-14)/40)*-1. Suppose 0 = -20*i + 19*i + k. Is 20 a factor of i?
True
Suppose 39064 - 244798 = -105*c + 3*c. Is c a multiple of 50?
False
