Let m = -39 + w. Does 2 divide m?
True
Suppose -40*x = -2*x - 11514. Is x a multiple of 8?
False
Is 228 a factor of ((-974)/(-10))/(-22 - (-1443)/65)?
False
Let p(a) = 164*a**2 - 163*a + 640. Is p(4) a multiple of 4?
True
Let n be 0 + (-230)/4*(-24)/20. Let b be n + (3 - (3 - -4)). Suppose 60*j + 225 = b*j. Does 8 divide j?
False
Let g(y) = y**2 - 13*y - 98. Let x be g(15). Let s = x - -140. Does 4 divide s?
True
Let i(j) = -10*j**3 + 9*j**2 - 12*j - 6. Let v be i(-8). Suppose -v + 131 = -5*w. Does 37 divide (7 + -2)/10 + w/6?
False
Let q(d) = -13 + 6*d + d + 13. Let v be q(3). Does 28 divide 1*v*((-80)/6)/(-2)?
True
Let n be -5073*3/(-36) - (-10)/8. Let j = n - 349. Is 16 a factor of j?
False
Let o(i) = -20*i + 377. Suppose 5*c = 8*c. Is 16 a factor of o(c)?
False
Suppose -f + 4*f - 12 = 0. Suppose -761 = -f*a + 1191. Is a a multiple of 13?
False
Let x(n) = -4*n**3 - 110*n**2 - 51*n - 111. Does 47 divide x(-29)?
False
Let y = 2683 + 4494. Does 135 divide y?
False
Suppose -5334 = -8608*p + 8601*p. Is 30 a factor of p?
False
Suppose g - 1871 - 1128 = 2*v, -12022 = -4*g - 5*v. Is 33 a factor of g?
True
Let m(a) = -a**2 + 45*a - 82. Let d be m(43). Suppose d*f - 646 = -l - l, 2*l = -f + 634. Does 35 divide l?
True
Suppose 0 = 5*v + w - 4*w - 21, 12 = 4*w. Suppose v = 4*x - x. Suppose -4*t + 298 = -k, t - 300 = -3*t + x*k. Is 17 a factor of t?
False
Let v be (-843)/(-27) + -2 + (-64)/(-36). Let w(r) = -r**3 + 29*r**2 + 79*r + 43. Is w(v) a multiple of 38?
True
Does 4 divide (258*(-9)/36)/(21/(-1904))?
True
Suppose 0*d = -d - n + 93, -5*d + 3*n = -497. Let w = -94 + d. Suppose 3*q + 78 = s, 0 = -s - 3*s + w*q + 348. Is 30 a factor of s?
True
Let g(s) = 4*s + 79. Let r be g(-29). Is (-13320)/r - (-8 + 0) a multiple of 16?
True
Suppose 16*z + 2*d = 14*z + 16596, 4*z + 2*d - 33184 = 0. Is z a multiple of 58?
True
Suppose 3*q + 0*q + 2*n - 19029 = 0, 0 = -q - 4*n + 6343. Is q even?
False
Let r(z) = 2*z**3 - 24*z**2 - 20*z + 30. Is 18 a factor of r(20)?
True
Let q = 78262 + -48518. Is q a multiple of 169?
True
Let q = 9413 - -1225. Is 34 a factor of q?
False
Suppose -4*s = -9*s - 1335. Let y = -86 - s. Suppose 4*f - 187 = 5*k, -4*f = 2*k - 5*k - y. Does 27 divide f?
False
Let s(k) = 9*k + 1037. Is 5 a factor of s(-53)?
True
Let z = 277 - 214. Is 3*(1*(-9 - -5) + z) a multiple of 5?
False
Suppose 0*k = 5*k + a + 127, 94 = -4*k + 3*a. Let b = k + 25. Suppose b = -10*o + 15*o - 185. Does 10 divide o?
False
Let w(g) = -328*g**3 - g**2 - 5*g - 4. Let b be w(-1). Suppose b - 1840 = -4*p. Does 27 divide p?
True
Let d(b) = -4*b**3 - 2*b**2 + 30*b - 2. Suppose 0 = 16*p + 114 - 18. Does 27 divide d(p)?
False
Let t(s) = 3*s**2 - 3*s - 4. Let n be t(3). Let q be (-12780)/(-105) + (-10)/n + 1. Suppose 0 = -9*b + 139 + q. Does 6 divide b?
False
Suppose 4*k - 13373 - 12733 = 5*t, 2*t = -4*k + 26148. Is k a multiple of 34?
False
Let r = 549 - -2325. Does 30 divide r/12 - 5/(-10)?
True
Let z be 2216/5 - ((-4)/5 + 1). Suppose -457 = -9*h + z. Suppose 0*j - 4*j = -h. Is j a multiple of 25?
True
Let m = -564 + 1567. Suppose s - m = 137. Does 19 divide s?
True
Suppose 6*h - 5*h - 86955 = -16*h. Does 33 divide h?
True
Let i = 1570 - 754. Is 23 a factor of i?
False
Let n(f) = -29*f**3 + 3*f**2 - 4*f - 7. Let m be n(-3). Suppose 5*l = 2*d - m - 480, -1985 = -3*d - l. Is 10 a factor of d?
True
Suppose 3*q = -6*q - 27, 2*q - 156 = -2*a. Is a a multiple of 7?
False
Let z = -15939 + 23698. Is 88 a factor of z?
False
Let p(z) = 663*z**3 - 7*z**2 + 2*z + 9. Does 41 divide p(2)?
True
Suppose 29*v = 11*v - 17730. Let j = v - -1643. Does 28 divide j?
False
Let q(u) be the second derivative of 47*u**4/12 - u**2/2 - 14*u. Let p be q(-1). Let g = 111 - p. Does 13 divide g?
True
Let s = 48618 - 34138. Does 16 divide s?
True
Let l(u) = -u**3 + 4*u**2 + 13*u + 2. Let b(o) = o**3 + 4*o**2 + 3*o + 6. Let s be b(-3). Let t be l(s). Does 11 divide (10/t)/((-2)/(-88))?
True
Suppose 4*j + 5*k = 2*k + 621, 0 = j + 2*k - 149. Suppose -5*b + t = -2*b - 477, b = 3*t + j. Does 15 divide b?
False
Let z(i) = 6*i + 67. Let q be 4/(-16) + 1/((-12)/(-87)). Is z(q) a multiple of 15?
False
Let q = 9011 - 1971. Is q a multiple of 16?
True
Suppose 2*z - 52244 = -5*w + 3748, -3*z = -18. Is 81 a factor of w?
False
Suppose 19*r + 2708 = -14449. Let q = 1279 + r. Is 23 a factor of q?
False
Let l = 136 - 447. Let j = -160 - l. Is j a multiple of 14?
False
Let v(d) = d**2 + 18*d + 37. Let b be v(-11). Let x = -30 - b. Let a = x + 23. Is a a multiple of 11?
True
Let u(q) = q**2 - 9*q + 18. Let i be u(3). Suppose -g = -0*g - 3*a + 211, -3*g + 4*a - 628 = i. Let w = -127 - g. Does 19 divide w?
False
Let w(q) = 7*q - 156. Let t be (-1 - (-220)/8) + (-4)/(-8). Is w(t) a multiple of 4?
False
Let m = 26 - 22. Suppose 28 = -3*s + 5*w, -2*w + 29 = -m*s + 3*w. Is ((-4 - -6) + -7)*(-12 + s) a multiple of 13?
True
Let f(m) = 565*m - 2055. Does 37 divide f(16)?
False
Let q = -570 + 4614. Does 12 divide q?
True
Let w(h) = 15*h**2 + 125*h + 580. Is w(-18) a multiple of 5?
True
Let x(h) = -h**3 + 4*h**2 + 5*h + 6. Let v be x(5). Let g = 21 + 28. Suppose v*y - 601 = -g. Is y a multiple of 24?
False
Suppose -4 = m - 2*m, -3 = -5*w + 3*m. Suppose w*c - 10*c + 1960 = 0. Is c a multiple of 14?
True
Let m(k) = -20*k - 21. Let q be m(-8). Suppose -5 + 0 = -5*j, -j = -4*w + q. Does 3 divide w?
False
Does 20 divide (-904944)/(-64) + (9/(-4) - 30/(-12))?
True
Let a(x) = -6*x - 9. Let i be a(-4). Suppose -13*j = -i*j + 14. Suppose 3*z = j*z - 20, 3*y - 328 = -2*z. Is y a multiple of 24?
False
Suppose -4*u - 8 = -5*y, -2*y = u - 1 - 10. Let b = 4 - 2. Suppose -y = -b*g + 4, 0 = 3*x + 2*g - 476. Is 13 a factor of x?
True
Let p(i) = i**2 - 13*i + 36. Let b(c) = -1 + 4*c**2 + 3*c**2 - 4*c**2 - 2*c + 3*c**2. Let g be b(2). Does 15 divide p(g)?
True
Let h be (-3)/6 - 835/(-2). Let s(q) = q**2 - 2. Let x be s(2). Suppose 4*o + 319 = 3*v, -4*v = x*o + o - h. Is 15 a factor of v?
True
Let v be (4 + -5 + 2)*(-2 - -2). Suppose v = 2*z - p - 12, -2*z + 2*p + 8 + 2 = 0. Is 6 a factor of 7/(z/(-8))*3/(-4)?
True
Does 51 divide (255/(-2))/((-233)/47532)?
True
Let y be ((-9 - -5) + (-163)/2)*-6. Let b = y - 198. Does 9 divide b?
True
Let h = -6321 - -10006. Does 9 divide h?
False
Let r be (-1 + -4 - -10) + 393*2. Let f = 1172 - r. Is 15 a factor of f?
False
Suppose -b + 30 = 5*n + 4*b, -n + 4*b = -11. Is 26 a factor of 2*(9219/6)/n?
False
Suppose -2*z = -i - 467 - 344, -4*i = -4. Let w = z + -16. Is 15 a factor of w?
True
Let w(a) = 2*a**2 - 6*a + 14. Let u(y) = -y**2 + 6*y - 14. Let i(z) = 4*u(z) + 3*w(z). Let o be i(-11). Is (-16)/6*o/(-12) a multiple of 3?
True
Let v(s) = 15*s - 30. Let c(d) be the third derivative of -d**4/24 + d**3/6 + 11*d**2. Let q(y) = -90*c(y) - 3*v(y). Does 6 divide q(3)?
False
Let b(z) = 2*z**3 + 3*z**2 - z - 2. Let n be b(-2). Let w(k) = -5*k**2 + 72*k + 2. Let a be w(14). Does 10 divide n + 4 + a + 0?
True
Let o(f) be the first derivative of -2*f**3/3 - 9*f**2/2 + 2. Let n be o(-4). Suppose -60 = -4*b + 2*b - n*q, 8 = 4*q. Is 9 a factor of b?
False
Let u = 103 - -73. Suppose -u = -10*b + 8*b. Suppose 0*s - 2*i - b = -2*s, 0 = -4*s + 2*i + 180. Does 44 divide s?
False
Suppose 7*y - 18 = -2*y. Suppose -y*m + 794 = 4*n, 3*m + 237 = 2*n - 140. Let x = n + -100. Is x a multiple of 13?
False
Let k be (5 - 4)*2 + 1*4056. Suppose 0 = b + 3*i - 1025, -3*b + k = b - 2*i. Is 12 a factor of b?
False
Let f(q) = 4229*q - 4198*q + 109 - 5. Is 8 a factor of f(8)?
True
Let h(w) = w**3 + 7*w**2 - 87*w - 561. Does 8 divide h(-7)?
True
Let q(m) be the second derivative of m**4/6 + 7*m**3/6 + 4*m**2 - m. Suppose 2 = -z - 5*b - 2, -3*b = -2*z - 8. Is 12 a factor of q(z)?
True
Is ((-6)/(-21)*1)/(30/2642745) a multiple of 82?
False
Suppose -78*s = -130*s + 66*s - 3402. Is 81 a factor of s?
True
Let f = -15 - -19. Suppose f*p - 112 = -0*p. Suppose -5*t + 330 = -5*z, -5*z = 8 - p. Is 14 a factor of t?
True
Suppose -181*q + 250*q - 408480 = 0. Is q a multiple of 40?
True
Suppose 0 = 30*a - 31*a - 3*r + 1475, -1443 = -a + 5*r. Is 7 a factor of a?
True
Suppose 10*p = 63*p - 310977 + 56047. Does 140 divide p?
False
Suppose -5*n - 1105 = -4*v, -4*v + 3*v - 1080 = 5*n. Let d = n + 387. Is d a multiple of 17?
True
Let x(q) = -10735*q + 65. Is x(-1) a multipl