 of 7?
True
Suppose -5*k = 3*y - 817, -k + 1080 = 4*y + k. Suppose 11 = -3*u + y. Does 34 divide u?
False
Let r(c) be the first derivative of c**4/4 - 3*c**2/2 - 3*c + 11. Let f be r(4). Does 7 divide 2/2 + f + 5?
False
Let f = 154 - 87. Let q = 298 - 206. Suppose 0 = 3*o - f - q. Is 24 a factor of o?
False
Suppose 5*p = 6*p - 687. Is p a multiple of 18?
False
Let c(q) = q**3 - 9*q**2 + 9*q + 4. Suppose 0 = 6*g - 41 - 7. Is c(g) a multiple of 4?
True
Let z = 777 - 233. Is 17 a factor of z?
True
Suppose 4*i = -20 - 4. Let b be (1/3)/(1/i). Is 8 a factor of -3 - 11*b/2?
True
Let n(d) = -39*d - 1. Let p be n(-4). Let o = p + -19. Is o a multiple of 34?
True
Suppose -5*a + 10 = 5*y, -2*y - 2 = -4*a - 0*a. Let d be (a/(-1))/((-2)/496). Suppose 8 = -3*t + d. Is 20 a factor of t?
True
Let h = 24 + -19. Suppose -4 = -6*p + h*p. Suppose l = -5*n + p, -l - 5*n = l - 13. Is l a multiple of 8?
False
Let h(d) = -10*d**2 - 6*d - 3. Let p be h(-2). Let w = 65 - p. Is 8 a factor of w?
True
Suppose m - 4*c - 17 = 0, -18*c = -20*c + 2. Does 4 divide m?
False
Suppose 649 = 4*a + 129. Suppose 2*f - 28 = -b - 2, 5*f = 4*b - a. Does 5 divide b?
True
Suppose -3*o + 10 = y, 4*o - y - 26 = 4*y. Suppose o*w + 3*p = 104, 18 = 3*w - 3*p - 60. Is 13 a factor of w?
True
Let s = -40 + 49. Suppose -6*t = s*t - 3120. Does 13 divide t?
True
Let f = 62 + -62. Suppose 158 = a - f*a. Is 19 a factor of a?
False
Let s(h) = h**3 + 10*h**2 + 6*h - 30. Does 26 divide s(-6)?
True
Suppose 16*m = 12*m + 28. Suppose -k - m = 8. Let l = k - -56. Does 19 divide l?
False
Suppose -12 = -4*p - 4*l, -2*p + 0*l + 1 = l. Is 1/(2 + -3) - 132/p a multiple of 13?
True
Let a = 16 + -15. Let w = 4 + a. Suppose -w*g + 18 = -2*g. Is g even?
True
Suppose -4 = -2*y - y - k, 0 = -5*y + k + 12. Suppose 220 = 2*q + y*q. Is q a multiple of 11?
True
Let i(t) = 2*t**2 + 12*t + 15. Let j be i(-7). Let c = j - 17. Suppose -c*m - 16 = -14*m. Is m a multiple of 2?
True
Let s = 132 - 15. Suppose d - s = a + 41, -3*a = 12. Is 51 a factor of d?
False
Let n = 553 + 359. Is 57 a factor of n?
True
Suppose -3*u + 2*n = -u + 2, 5*n - 8 = 4*u. Suppose -2*b = -3*m - 3*b + 210, -2*m + u*b = -140. Is 10 a factor of m?
True
Suppose 216*v + 81 = 219*v. Does 3 divide v?
True
Suppose 8*x = 4*x + 12. Suppose -3*d = 3*z - 48, 2*z + x*z = -2*d + 38. Does 7 divide d?
True
Let a = -8 + 10. Let z(d) be the second derivative of 7*d**3/3 + d**2 + 8*d. Does 6 divide z(a)?
True
Suppose 5*r + 109 - 39 = 0. Suppose -2*t + 3*y = -46, -2*y = -5*t + 23 + 92. Let s = r + t. Does 8 divide s?
False
Let u(g) = 2*g**3 + 8*g**2 - 5*g. Let m be u(-7). Let x = -110 - m. Is 22 a factor of x?
False
Let b(x) = 7*x**3 - 11*x**2 + 9*x - 7. Let y(r) = -3*r**3 + 6*r**2 - 4*r + 3. Let d(u) = 2*b(u) + 5*y(u). Is d(7) a multiple of 9?
True
Suppose 3780 = 37*x - 30*x. Is 54 a factor of x?
True
Suppose -3*o - 2*x + 2644 = 0, -4*o = -3*o + 4*x - 888. Does 44 divide o?
True
Let k be (-1 - -4)*(0 + (-41)/(-3)). Let u = k + 20. Is 9 a factor of u?
False
Suppose 0 = 14*d - 7*d - 35. Suppose 2*k + 0*k = 10. Suppose d*j - 2*q - 139 = 0, -2*j + k*q + 91 = j. Does 9 divide j?
True
Suppose 6*u = 5*u + 3. Suppose t - 2*t = -u*d - 73, 5*d - 285 = -5*t. Is 9 a factor of t?
False
Let b = 65 - 59. Suppose 153 + 837 = b*r. Is r a multiple of 15?
True
Let i = 1239 + -1062. Is 63 a factor of i?
False
Let d = 22 - 25. Is 20 a factor of (-124)/6*(0 + d)?
False
Let b be (125/1)/(-2 - -3). Let t = -83 + b. Is 3 a factor of t?
True
Suppose -9*d + 4933 = 181. Is 52 a factor of d?
False
Let r(o) = o**3 - 16*o**2 + 8*o + 30. Let n be r(15). Let t = n - -159. Is t a multiple of 21?
True
Suppose -4*n + 2*s + 8 = 0, -n = n + 3*s - 12. Suppose n*d + 2*u = 2*d + 1, -4*d = u - 4. Suppose g = -3*p + 12 + d, 3*p - 7 = -4*g. Does 5 divide p?
True
Let d(k) = -k**2 - k - 1. Let y be d(-2). Let q(p) = p**3 - 1. Let l(o) = 6*o**3 - 3*o**2 + 2*o - 3. Let m(s) = y*q(s) + l(s). Is m(2) a multiple of 8?
True
Is 35 a factor of 1573/33 + (-3)/(-9)?
False
Let c be (-2 + -1 - -3) + 9. Let b be -1 - 2/(6/c). Does 8 divide (-6)/8 + (-79)/b?
False
Let l = -2 - -5. Let t = -4 + l. Does 14 divide 0/4 + (t - -52)?
False
Let l = -1834 - -2608. Is 10 a factor of l?
False
Let z(l) = 19*l - 98. Does 25 divide z(17)?
True
Let n be 0 + 17 + (2 - 4). Suppose n = -m + 4*m. Suppose 23 = k - i - 10, -3*k = -m*i - 103. Does 8 divide k?
False
Let r be (-70)/8 - (-7)/(-28). Let b be (12/r)/((-4)/6). Does 5 divide (2 + -4)*-16 + b?
False
Suppose 0 = -0*v + 3*v + 2*j - 6, -4*j + 8 = 4*v. Suppose 5*w = v*o + 60, 2*w - 4*o - 50 = -w. Does 5 divide w?
True
Does 7 divide 780/28 - ((-40)/(-14) - 3)?
True
Let u(g) = -g**2 + 12*g + 13. Let n be u(13). Suppose -4*d + 112 = 5*j, -5*d - 6*j + 2*j + 140 = n. Suppose -4*r + 4 = -d. Does 4 divide r?
True
Let r(w) = -w - 29. Let g be r(0). Let j be (-22)/6*(g - 13). Suppose -2*u + 0*u = -j. Does 13 divide u?
False
Let x(k) = 54*k - 7. Let v = 165 + -163. Does 6 divide x(v)?
False
Let i(s) = s**3 + 16*s**2 + 31*s - 15. Is 89 a factor of i(-13)?
True
Let w(t) be the first derivative of 5*t**4/4 - 4*t**3/3 + 6*t + 14. Is 21 a factor of w(3)?
True
Suppose 681 = c + 3*z, 0 = -3*c - 10*z + 5*z + 2059. Does 63 divide c?
True
Let v(s) = 6*s**3 - s**2 - s - 13. Is v(3) a multiple of 27?
False
Let h(o) = -o + 239. Let w be 24/(-18) - ((-2)/6 - 1). Is 32 a factor of h(w)?
False
Suppose 3*d + 2*x = 8, -d + 4*x = d + 16. Suppose d = i + 3*i. Does 29 divide -3 - i/(-1) - -90?
True
Is 5538/33 - (0 - 4/22) a multiple of 8?
True
Let o(s) = -17*s + 280. Is o(0) a multiple of 35?
True
Suppose 23*w = -17*w + 400. Let r = 48 - 83. Let d = w - r. Does 6 divide d?
False
Let u = 1 + 3. Suppose 0 = -5*i + d - 2*d, u*i = 3*d. Does 6 divide 30/(i + -1 - -3)?
False
Suppose -5*t + 2233 = 2*h, 4*h = -t + 4*t + 4427. Is 30 a factor of h?
False
Suppose 3*y - 20 + 2 = 0. Suppose 0 = y*v - v - 60. Is 123/5 + v/(-20) a multiple of 24?
True
Let t(s) = 2*s + 26. Let d(c) = -c**3 - 4*c**2 + 12*c + 8. Let l be d(-6). Is t(l) a multiple of 6?
True
Suppose -3*a = -5*a + 20. Let o(h) = -5 - 8*h - a + 15*h. Does 11 divide o(7)?
False
Let m = 13 - 10. Suppose -2*c = -3*j + 210, 2*j - m*c = j + 70. Suppose -4*y + 154 = -j. Is y a multiple of 14?
True
Let z = 18 + -14. Suppose -3*n = -4*n + z. Is (2/(-2))/(n/(-28)) a multiple of 7?
True
Suppose 1395 = -7*k + 10*k. Is k a multiple of 15?
True
Suppose -3*q - 76 = 3*o - 211, 48 = o - 2*q. Is 18 a factor of o?
False
Let f = 32 + 892. Does 44 divide f?
True
Is 28 a factor of (-80646)/(-72) + (-5)/60?
True
Suppose -52 = -5*x + 38. Suppose 5*l = 2*w + 16, 4*l - w + 2*w = x. Suppose -2*f = -l*f + 40. Is 10 a factor of f?
True
Suppose 3*i - 10*i = -238. Does 28 divide i?
False
Suppose l + 27 = 5*f + 4*l, f = 3*l - 9. Let b(x) = x + 8. Is b(f) a multiple of 5?
False
Let v = 72 - 71. Is 27 a factor of (-1944)/(-45)*5/v?
True
Let p be 6/4*2*17. Let r be 33*9/27 - 0. Let v = p - r. Is 10 a factor of v?
True
Suppose 5*z = 23 - 43. Is 17 a factor of 3566/14 - ((-150)/35 - z)?
True
Is (3 - 2)/(-9 + 85775/9530) a multiple of 36?
False
Let d be (4 - 3)*(2 - -260). Suppose 6*b - d = 20. Is 47 a factor of b?
True
Let z(o) = 32*o**2 + o + 4. Is 46 a factor of z(-3)?
False
Let b = 16 - 9. Let l be -54 + b/((-21)/(-6)). Let f = l + 78. Is f a multiple of 13?
True
Suppose 21 = 5*v - 39. Let h = v - -22. Is 12 a factor of h?
False
Let d(u) = 93*u + 304. Is 10 a factor of d(12)?
True
Let p = -33 - -49. Suppose 5*y - i - 1144 = -255, -p = 4*i. Does 8 divide y?
False
Let d(u) = u - 33*u**2 + 97*u**2 - 44*u**2. Is 7 a factor of d(-1)?
False
Suppose -17750 = -4*o - 26*v + 21*v, -2*o = -2*v - 8884. Is o a multiple of 10?
True
Suppose 3*g = 5*d - 74, 0 = -5*d - 2*g + 62 + 22. Suppose 2*m + 6 = 2*c, -2*c = c - 4*m - 12. Suppose c = 5*p - d - 79. Is p a multiple of 8?
False
Suppose 0 = -7*b + 9*b - 4*k, 0 = 3*b - k + 20. Let p be 10*(-1 + (-12)/b). Suppose -p*l - 298 - 67 = -5*w, -w + 67 = -3*l. Does 15 divide w?
False
Let n be 96/52 - (-3)/(78/4). Suppose 2*a + n*s - 182 = 5*s, a + s - 86 = 0. Does 42 divide a?
False
Suppose -1195 = -5*a + 4*g + g, -224 = -a - 4*g. Is 4 a factor of a/8 + 3 - 2/4?
True
Suppose 8*n = -6157 + 37533. Is n a multiple of 106?
True
Let p = 1400 + -619. Is 43 a factor of p?
False
Suppose 4*t 