 = -u - 102. Let f be ((-80)/g)/(2/(-3)). Suppose -55 = -f*w + 60. Is w a multiple of 23?
True
Let k(r) = -3*r**2 - 17*r - 14. Let j be k(-6). Does 6 divide (-4*66/j)/(8/40)?
True
Let r(g) = 72*g - 3. Is 12 a factor of r(2)?
False
Let i = 11 + -1. Suppose 0 = 6*m - i*m + 32. Does 8 divide m?
True
Let s(q) = -4*q**2 - 31*q. Does 9 divide s(-7)?
False
Let f(w) be the first derivative of -6 - 1/2*w**2 + 18*w. Is 9 a factor of f(9)?
True
Let q be ((-2)/(4/7))/((-16)/32). Let b be (3/(-6)*0)/(-2). Suppose 7*w - 2*w = 2*t + q, -2*t - 3*w + 33 = b. Does 3 divide t?
True
Suppose -128 = 5*l + 2*s, -3*s + 26 = -4*l - 58. Is 39 a factor of (-942)/l - (-2)/(-8)?
True
Let a be (-53)/(-11) + (-8)/(-44). Suppose -573 = -5*d - n, -3*n + a*n = 5*d - 564. Does 19 divide d?
True
Let m = 221 - -237. Is 22 a factor of m?
False
Suppose 4*s = 5*s. Suppose 0*k + 6*k - 1146 = s. Is k a multiple of 25?
False
Let r = 58 + -41. Let c = r - 18. Does 4 divide 6*12/(-9)*c?
True
Let y(i) = 577*i - 14. Does 57 divide y(2)?
True
Suppose 0 = -4*j - v + 1249, -16*v - 933 = -3*j - 13*v. Does 9 divide j?
False
Let f(s) = -s**3 + 18*s**2 - 19*s + 18. Does 29 divide f(14)?
False
Let v(m) = m**3 + 12*m**2 - 16. Suppose 0 = -0*a + 2*a + 22. Is v(a) a multiple of 15?
True
Let s = 376 + 466. Suppose b = 16*a - 13*a - 632, 4*a = b + s. Is 15 a factor of a?
True
Let m(y) = -2*y - 7. Suppose -4*b = -2*h - 2*b - 2, 2*b = 3*h. Suppose 0 = h*q + 2 + 12. Is 2 a factor of m(q)?
False
Let z(f) = -f - 4. Let g be z(-7). Suppose -h - 36 = 2*x - g*x, 31 = -h + 2*x. Let j = -30 - h. Does 9 divide j?
False
Let f(s) = -3*s**2 + 0*s - 4*s + 11*s - s**3 - 2. Let b be -8 - (-1 - -3)*-1. Is f(b) a multiple of 16?
True
Suppose 8*s - 806 - 3410 = 0. Does 31 divide s?
True
Suppose 0 = -h - 0 - 1. Let m be -1*(-15 + (-1 - -4)). Let n = h + m. Is 10 a factor of n?
False
Suppose 10*y - 8 = 6*y. Suppose -11 = y*l - 7. Is 28/1 - (l + -1) a multiple of 22?
False
Suppose 6*k - 1149 = 3117. Let c = -486 + k. Is 36 a factor of c?
False
Let z = 146 - -56. Does 20 divide z?
False
Let a = 87 + 33. Suppose -3*f - a = f. Let d = f - -57. Does 9 divide d?
True
Does 5 divide (71244/(-33))/(-6) + (-2)/(-11)?
True
Does 3 divide (10/3)/(4*4/24)?
False
Let t(w) = -14*w - 27 + 3 - 8*w. Let f be t(-17). Suppose -z - f = -6*z. Is z a multiple of 14?
True
Suppose -4*b - 20 = 0, 0 = -4*o + 2*b + 13 - 127. Let i = o - -34. Does 3 divide i?
True
Let d = -224 - -316. Does 15 divide d?
False
Suppose -72*j + 1613 = y - 70*j, 0 = -j - 4. Does 73 divide y?
False
Suppose -t - 2*f + 7*f - 3 = 0, -f + 7 = 3*t. Let n(h) = 17*h**3 - 2*h**2 + 3*h - 5. Is n(t) a multiple of 17?
False
Let l = -273 + 132. Let s = l - -348. Does 37 divide s?
False
Is 28 a factor of 14924/(1 + 12) - 4/(-2)?
False
Suppose 0*d - 36 = 2*d. Let l be (-50)/d - 14/(-63). Suppose -4*p - 32 = -l*g, -3*p = 4*g - 2*p - 68. Is g a multiple of 8?
True
Suppose 0 = 3777*t - 3787*t + 2390. Is t a multiple of 15?
False
Let s = -2280 - -4549. Does 14 divide s?
False
Let x = -4 + 7. Let f be x + -2*(-4 + 3). Suppose 0*s = f*s - 45. Is s a multiple of 3?
True
Let x be -2*6/(-6 - -3). Suppose z - 2*g = 99, -x*z + 65 = -g - 359. Is z a multiple of 18?
False
Let t = -576 - -1681. Is t a multiple of 85?
True
Let q = 217 - 27. Is q a multiple of 10?
True
Suppose 3*f + 92 = -4*b - f, 5*f - 92 = 4*b. Let z = -20 - b. Suppose 0*n = z*n - 48. Is n a multiple of 4?
True
Let m(w) be the first derivative of w**4/6 + 4*w**3/3 - 3*w**2 + 1. Let y(s) be the second derivative of m(s). Does 16 divide y(10)?
True
Suppose 5*g = 1143 + 72. Suppose 8*d - 11*d = g. Is 26 a factor of 0 - (3 + 1*d)?
True
Suppose 0 = -16*v + 12*v + 104. Is v a multiple of 13?
True
Suppose -2*t + 4340 = 5*c, -7*c + 2*c + 4375 = -5*t. Suppose -2*l + f + 3*f + 322 = 0, -c = -5*l - 3*f. Is l a multiple of 19?
True
Let m = 34 - 32. Suppose 0 = 5*t - 0*t + 5*p + 335, -m*t - 132 = p. Let j = 145 + t. Is 16 a factor of j?
True
Suppose 23*g - 33*g = -2600. Is 13 a factor of g?
True
Let k be (-327)/3 + -3 + 4. Does 6 divide (k/42)/(2/14*-1)?
True
Let l(j) = -j**3 - 3*j. Let y be l(0). Let r = -4 + 6. Suppose -2*x - r*u + 96 = y, 0 = x - 0*x + 4*u - 39. Is x a multiple of 11?
False
Let o(c) = c**3 + 13*c**2 - 18*c + 39. Let l(k) = -7*k**2 + 9*k - 19. Let m(u) = 5*l(u) + 2*o(u). Is 17 a factor of m(7)?
False
Is ((-4)/(-5))/((-2)/(-1260)) a multiple of 28?
True
Suppose 3*f = 2*f + 43. Suppose 5*b - 92 = f. Does 9 divide b?
True
Let l(h) = 3*h**3 - 26*h**2 - 20*h - 12. Is l(12) a multiple of 11?
True
Suppose -19*x - 369054 = -106*x. Is x a multiple of 33?
False
Suppose 9368*r - 9940 = 9361*r. Does 6 divide r?
False
Suppose 11*w + 13*w - 28704 = 0. Does 13 divide w?
True
Suppose -4*n - r + 5838 = 0, 3*n + 2*r = -2*n + 7299. Is n a multiple of 79?
False
Let s(y) = 111*y - 7. Suppose 4*c + 2*f - 24 = -2*f, 14 = -3*c + 5*f. Does 43 divide s(c)?
True
Let m be (0 - -1)/(2/34). Suppose -m*d + 44 = -16*d. Is d a multiple of 7?
False
Let v(k) = -k**2 - 16*k - 25. Let m be v(-14). Suppose 54 = 2*x + m*z, -x + 0*z = 4*z - 22. Is x a multiple of 30?
True
Suppose -v - 16 = 3*v, -2*x + v + 2 = 0. Does 20 divide (4/(-16)*3)/(x/232)?
False
Suppose h - 155 = 5*m, 3*h - 5*m + 2*m = 417. Does 14 divide h?
False
Does 68 divide (-72)/(-6) - 4 - -1944?
False
Suppose -3*b = 2*y - b + 34, -3*y - 58 = -4*b. Is y*(-3 + -1 - -1) a multiple of 10?
False
Let b(a) be the second derivative of -a**4/12 + 4*a**3/3 - 5*a**2/2 + 5*a. Let s be b(7). Let j = s - -8. Does 10 divide j?
True
Suppose -11494 = -5*q - z, 181 = -5*z + 201. Is q a multiple of 32?
False
Suppose 5*m + m = 126. Is 154 - ((-9)/m - 8/14) a multiple of 31?
True
Let x = -242 - -302. Does 10 divide x?
True
Suppose f + 2*f - 15 = 0. Suppose 4*x + k = 16, f*x + k + 2*k = 13. Suppose o - y - 9 = -0*o, x*y = 15. Is o a multiple of 8?
False
Let i = 927 + -396. Suppose x - 86 = -2*q + 132, -5*q = -x - i. Is q a multiple of 12?
False
Is (-4170)/(-54) + (42/27)/(-7) a multiple of 11?
True
Let z(t) = 2*t + 39. Let n(d) = -d - 20. Let x(g) = 11*n(g) + 6*z(g). Let f be x(10). Suppose k - f = -6. Is 6 a factor of k?
True
Does 81 divide 2646*(-12)/294*-21?
True
Let a be 2 + -1 - (-1 - -8). Let y(j) = 5*j**2 - 17*j + 9. Let s(h) = -3*h**2 + 8*h - 4. Let t(v) = 7*s(v) + 4*y(v). Is t(a) a multiple of 22?
True
Suppose s + 2*x + 3*x = -13, 0 = 5*s - 3*x - 19. Suppose 5*j - 320 = -2*t, 0*t - 137 = -s*j + t. Does 11 divide j?
True
Let k be -4*3*(-2)/12. Let i be 14/8 - 2/(-8). Is (i + 31/k)*2 a multiple of 7?
True
Suppose 4*m - 2*m - 2*q = -10, -4*m - q = -5. Let o = m + 40. Is 4 a factor of o?
True
Suppose 0 = -3*k - b + 1619, 2*k = -0*k + 5*b + 1085. Is 50 a factor of k?
False
Let l(h) = -h**2 + 16*h - 4. Is l(7) a multiple of 3?
False
Suppose -2*j + 370 = -2*p, 4*p - 586 = -5*j + 348. Is 31 a factor of j?
True
Is 9 a factor of (11 + 228/(-60))*5?
True
Does 4 divide 3*-205*(-8)/12?
False
Suppose 7*j - 733 = 765. Does 5 divide j?
False
Suppose -27*r + 158598 = 54*r. Is r a multiple of 22?
True
Let b(m) = -8*m - 60. Let t(q) = -7*q - 59. Let z(k) = 6*b(k) - 7*t(k). Let f be z(0). Suppose -7 = l - d - f, -5*d = -l + 26. Does 17 divide l?
True
Let v = 461 - 77. Is v a multiple of 96?
True
Let u(d) = -d**2 - 5*d + 5. Let m be u(-6). Let q(j) be the first derivative of -31*j**2/2 - j - 18. Does 10 divide q(m)?
True
Let m be ((-8)/3)/((-16)/24). Let x(a) = 13*a - 1. Let h be x(2). Suppose u - h = -m*u. Is 2 a factor of u?
False
Let n(m) = -1286*m + 42. Is 59 a factor of n(-2)?
False
Let u(f) = f**3 - 4*f**2 - f + 6. Suppose 0 = 3*i - 2*k + 12, -15 = 4*k + k. Let c = -1 - i. Is u(c) a multiple of 13?
True
Let t(h) be the third derivative of -11*h**6/60 + h**5/30 + h**4/12 + h**3/6 + 22*h**2. Let q be 6/(-8) + 1/(-4). Does 10 divide t(q)?
False
Let t(p) = -p - 4. Let d be t(-9). Does 3 divide 15/d*(-6)/(-3)?
True
Is 160/1 - (-18 - -18) a multiple of 4?
True
Let p = 228 + -138. Suppose -12 = -5*m + 3. Suppose m*x - p = -2*x. Is 5 a factor of x?
False
Let g = -66 + 63. Is 25 a factor of (-24)/(-2*g/(-21))?
False
Let y = -336 + 509. Is 6 a factor of y?
False
Suppose 5*r - 2*r = -492. Let p = 336 + r. Is 33 a factor of p?
False
Suppose 4*b - 4116 = -2*b. Suppose 5*w - b + 136 = -2*y, 5*w - 2*y - 550 = 0. Is 10 a factor of w?
True
Supp