True
Suppose 92 = 3*n - 2*n. Is 4 a factor of n?
True
Suppose -1064 = -3*z - 98. Suppose 3*t - 3*p = 11 + z, 0 = 2*t + p - 228. Is t a multiple of 34?
False
Let q(f) = -f**2 - 8*f - 16. Let u = 9 + -20. Let o be q(u). Let j = -22 - o. Is 9 a factor of j?
True
Let h be 13 - 4/(12/9). Let o = h + 10. Let l = 82 - o. Does 31 divide l?
True
Let b(v) = 41*v**2 + 2*v - 1. Is b(1) a multiple of 14?
True
Suppose -17*b = -6393 - 220. Is b a multiple of 32?
False
Suppose 6*v = 22*v - 9488. Does 35 divide v?
False
Suppose 0*x + 5*d + 10 = -2*x, 0 = -3*x - 2*d - 26. Let c = 37 - x. Is 7 a factor of c?
False
Suppose 3*o - 152 = -5*d, 0 = 2*o - 7*d + 3*d - 116. Let t(s) = -s**2 + 147. Let q be t(0). Suppose 2*i + o = 3*i - 5*p, 2*i + 3*p = q. Does 28 divide i?
False
Let x(n) = 3*n - 194. Let z be x(20). Let h be -54 + 2 + 1*-3. Let v = h - z. Is 16 a factor of v?
False
Let q = 104 - 100. Let g be (1 + 22/(-10))*-120. Suppose q*l = l + g. Is 15 a factor of l?
False
Suppose -1389 + 17979 = 15*t. Suppose 8*b + 114 = t. Is b a multiple of 13?
False
Let z(v) = 3*v**2 + 17*v - 17. Let p be z(7). Is p - (0 + 3 + -1) - -1 a multiple of 28?
False
Suppose -400 = -7*c + 111. Is 6 a factor of c?
False
Suppose -3*x + 53*b = 58*b - 13, 2*b = 5*x - 63. Is x a multiple of 5?
False
Let j be 0 + -3 - (-96 + -4). Does 13 divide -2*1 + j + -17?
True
Let n(x) = x**3 + 5*x**2 - 15. Let l be n(-4). Is l + -3 - (-442)/1 a multiple of 43?
False
Suppose 20*y - 17*y = 3*p - 1515, 2*p + 5*y - 1003 = 0. Is p a multiple of 84?
True
Let l = 44 - 42. Suppose -p - 2*k + 190 = 3*p, -4*p + l*k = -210. Is p a multiple of 11?
False
Suppose 694 = 3*b - h - 0*h, -2*b + 456 = h. Let z = 188 - 184. Suppose z*n - b = -n. Is 13 a factor of n?
False
Is (8/(-18))/((-13)/(-78))*-576 a multiple of 16?
True
Suppose 7*l - 900 = -200. Does 6 divide l?
False
Let o = 7 + 261. Suppose 0 = 3*f - 5*c - 233, 0 = 5*f - f + 4*c - o. Is f a multiple of 7?
False
Suppose 2*l = 5*b - 4*b + 32, -2*b = -3*l + 49. Is 6 a factor of l?
False
Let o = 265 - 209. Does 14 divide o?
True
Suppose 2*h - 8 = 4*j, -4*j - 5*h = -3*h - 8. Suppose 4*q = 3*o - 1, 4*o + 0*o - 5*q - 2 = j. Is o even?
False
Suppose 0 = -4*i - 6*i + 1650. Suppose i = -w + 193. Is w a multiple of 14?
True
Let w(d) = 2*d**2 + 24*d - 22. Let t be w(17). Suppose 5*v - t + 59 = k, -700 = -4*v - 4*k. Is v a multiple of 36?
True
Let o(z) = z - 1. Let i(m) = 5*m + 7. Let x(k) = i(k) - 4*o(k). Is x(0) even?
False
Suppose 0*n = n + 4. Let h(x) be the first derivative of -x**4/4 - 2*x**3/3 + 5*x**2/2 - 2*x - 27. Is 6 a factor of h(n)?
False
Suppose -2*t - r + 973 = 0, -4*t + 457 + 1483 = 4*r. Does 5 divide t?
False
Is 65 a factor of ((-38)/(-4))/(1 + (-744)/752)?
False
Suppose -2*t + 125*d - 124*d = -7915, 0 = -2*t + 5*d + 7927. Does 86 divide t?
True
Suppose 0 = 99*t + 163842 - 439854. Is 17 a factor of t?
True
Let d(a) = -4*a**3 - 10*a**2 + 7*a + 41. Does 26 divide d(-7)?
False
Suppose 0 = 12*h - 18*h + 24. Suppose -2*g + 84 = h*g. Does 5 divide g?
False
Let p = 31 + -33. Is 22 a factor of ((-1)/p)/(((-2)/(-288))/1)?
False
Suppose 0 = -3*c + c - 8, -5*b + c = -1399. Does 31 divide b?
True
Suppose 4*j = 207 + 197. Suppose a = -p - 2*p + j, -4*p - 4*a = -148. Is 6 a factor of p?
False
Let b = -32 + 36. Suppose b*w - 142 - 626 = 2*g, 4*g + 206 = w. Does 34 divide w?
False
Let f = -1 - -2. Let b(w) = -50*w + 3. Let x(k) = -51*k + 2. Let p(v) = 3*b(v) - 4*x(v). Does 22 divide p(f)?
False
Suppose -4941 = -22*p - 1795. Does 11 divide p?
True
Let q(z) = -24*z - 49. Is 18 a factor of q(-7)?
False
Let d be ((-2)/(-6))/(1/(-6)). Let z = d + 5. Suppose 0 = z*m - m - 102. Is 13 a factor of m?
False
Suppose -z + 6 = -1. Let c(x) = x + 9. Is c(z) a multiple of 8?
True
Suppose 9*m + 427 - 1606 = 0. Suppose 4*q - 489 = m. Is 19 a factor of q?
False
Suppose -5*r = -0*r. Suppose r = g + 3*g - 24. Suppose 0 = 5*t - 2*u + g - 76, 0 = 2*t + u - 19. Does 10 divide t?
False
Let w(k) = k**2 - k - 1. Let y be w(-2). Suppose -66 = 8*v - y*v. Let g = v + 34. Is 3 a factor of g?
True
Suppose 0 = 4*y + 3*u - 483 - 21, -3*y - 5*u + 378 = 0. Is 5 a factor of y?
False
Let b be -24*((-8)/3)/(-4). Let l = 32 + b. Let i = -6 + l. Is 4 a factor of i?
False
Let k = 1606 - 778. Is k a multiple of 43?
False
Suppose -2*o - 780 = -17*o. Is o a multiple of 52?
True
Let u(a) = -4*a**3 + a**2 + a - 1. Let t be 2/(5*(-8)/(-20)). Let r be u(t). Does 2 divide r + 8*6/4?
False
Does 16 divide 232 + (2 - (-8)/(-2))?
False
Let m(u) = 11*u - 39. Suppose s + s + y = 31, -5*s - 2*y = -77. Is m(s) a multiple of 7?
True
Let r(h) = 3*h**2 - 5*h + 15. Let l be r(-6). Suppose -70 = -q + 5*s + l, 2*q = 2*s + 430. Is 26 a factor of q?
False
Is (-5)/((-5)/184) + -4 a multiple of 30?
True
Let o be 7/2*(-3 - -1). Let k be o/14 + 26/4. Suppose 5*m = -2*b + 118, 2*b - 70 = 3*m - k*m. Does 9 divide m?
False
Let s = 607 - 336. Is 10 a factor of s?
False
Let s(i) = i**2 + 2*i + 11. Does 7 divide s(-6)?
True
Let t be (-6)/(-18)*(-57)/1. Let x = -7 - t. Does 6 divide x?
True
Let z = 19 - 17. Suppose 0 = p + z*p - 120. Is 16 a factor of p?
False
Suppose 916*j = 922*j - 1512. Is j a multiple of 12?
True
Suppose -o = -6*o - o. Let g(h) = -h**2 + 2*h + 45. Is 22 a factor of g(o)?
False
Let h = -2650 + 2669. Does 19 divide h?
True
Suppose 6*u = 2*u + 16. Suppose -2*l = u*m - 5*l - 250, -m = -4*l - 56. Is m a multiple of 16?
True
Let u = 12 + -20. Let j = -4 - u. Suppose j*h = 75 - 27. Does 4 divide h?
True
Let x(q) = q + 1. Let a be x(7). Let t = a - -13. Does 3 divide t?
True
Does 11 divide ((-10752)/(-60))/((-4)/(-20))?
False
Let p(f) = 294*f + 26. Does 5 divide p(1)?
True
Let b = 158 + 110. Is 6 a factor of b?
False
Let y = 14 - 12. Suppose -y*b - 3*b = -10. Suppose b + 3 = 2*u + 3*l, 3*u = l + 35. Does 2 divide u?
True
Suppose -3*t = 0, -4*m + 41 = -2*t - 519. Is m a multiple of 70?
True
Is (-2*5/(-10))/((-1)/(-90)) a multiple of 11?
False
Suppose -73*j = -21*j - 33280. Is j a multiple of 9?
False
Suppose 3*g - v - 35 = 0, -7*v + 2*v = -5. Let s be (-3)/(4/g - 0). Let u(d) = -4*d - 5. Is u(s) a multiple of 13?
False
Suppose 0 = -2*w + 8, o - 4*o + 3*w = 6. Suppose -o*u = -u + 84. Is 7 a factor of (u/15)/(4/(-10))?
True
Let k(t) = t**3 - 4*t**2 - t + 7. Let i be k(4). Suppose d + i*d = -2*p + 202, -2*p = -10. Is 12 a factor of d?
True
Let y = 211 - 91. Let d = y - 103. Is 7 a factor of d?
False
Suppose 2*q + x = 14, 3*q = -0*q + 3*x + 3. Suppose -y = -q*s + 15, -5*y = -3*s - 6 + 191. Let v = 62 + y. Does 11 divide v?
True
Suppose -41*a + 45*a - 208 = 0. Let s(z) = z + 3. Let f be s(0). Suppose 2*w = 3*t + t - a, -f*w = -5*t + 67. Does 11 divide t?
True
Does 29 divide 1481/3 - (-14)/(-21)?
True
Let t be (-4 + 0)*(-35)/20. Suppose t*w - w = 534. Is 10 a factor of w?
False
Suppose 0 = -3*u + 2*l + 3, -4*l - 3 + 1 = -2*u. Let j be u - 2 - (-1)/(-1). Does 11 divide j/6 + 308/6?
False
Let d be (-39)/26*4/6. Let u(m) = -10*m**3 + 3*m**2 - 1. Let r be u(-2). Is d - r/(4/(-4)) a multiple of 30?
True
Suppose 6*u - 32 - 34 = 0. Suppose 3*t - 218 + 11 = 0. Let d = t - u. Is 29 a factor of d?
True
Let j(v) = 116*v + 8. Let b be j(-16). Let w be (1/(-3))/(14/b). Suppose -4*g + w = 2*f - 6*f, 3*f = 4*g - 42. Is 2 a factor of g?
False
Let i(a) = 59*a + 167. Does 25 divide i(6)?
False
Suppose 2683 = 4*b - w, -b + 2*w = -625 - 51. Is 16 a factor of b?
False
Let b(x) = -19*x + 70. Is 23 a factor of b(-6)?
True
Let k = 1121 + -671. Is k a multiple of 15?
True
Let x be (1 - 4)*(-10)/15. Suppose q - 4*b - x = 51, 0 = 3*q + 3*b - 99. Suppose -4*h + q = -63. Does 11 divide h?
False
Let t be (66/44)/(2*(-3)/(-244)). Let u = t - 53. Does 4 divide u?
True
Let o(p) be the third derivative of 13*p**4/12 + 7*p**3/3 + 7*p**2. Let i be o(5). Let u = 224 - i. Does 15 divide u?
False
Let f(i) = -i**3 - 5*i**2 - i - 5. Let w be f(-5). Suppose 2*j - 18 = -w*j. Suppose -j = -u + 6. Does 15 divide u?
True
Suppose 5*d - 3288 = j + 2449, 0 = 5*d - 5*j - 5745. Does 37 divide d?
True
Let h(a) = -24*a**2 - 4*a + 1. Let s be h(-3). Is 29 a factor of (s/(-35))/(1/25)?
True
Suppose -368 = -6*s - 10*s. Is s a multiple of 23?
True
Suppose 0*n = -2*n - 710. Let l = -1018 - n. Is 11 a factor of l/(-15) - (-1)/(-5)?
True
Let i be (-3)/(-18) - (2 - (-563)/(-6)). Let d = i + -72. Is d