e of 2?
True
Suppose 164 = -2*w + 6*w. Let l = -38 + w. Suppose 7 = -2*m - l*q, -5*m - q = -6*m + 9. Is m a multiple of 4?
True
Let c(t) = t**3 - 19*t**2 - 44*t + 48. Let z be c(21). Is 39 a factor of z/(279/(-282) - -1)?
False
Suppose 2*b - 516 = 4*t, -b + 1290 = 4*b - 2*t. Let z = 507 - b. Suppose -8*c + 327 = -z. Is 5 a factor of c?
False
Let r(q) = 23*q - 190 + 507*q**2 - 248*q**2 - 248*q**2. Is r(7) a multiple of 34?
True
Suppose -j - 8*q + 11*q = -23106, j - 5*q - 23118 = 0. Is j a multiple of 8?
True
Suppose 219*p - 172*p - 143209 = 0. Is p a multiple of 3?
False
Suppose -20*c + 15*c + 14043 = 3*d, -5*c = -d - 14039. Does 13 divide c?
True
Let f = -48 + -24. Let c = f + 99. Let l = c - -177. Is 13 a factor of l?
False
Let c(t) = -4056*t + 208. Does 47 divide c(-6)?
False
Let v(k) = -8*k + 5. Let y be v(-9). Suppose j = y - 25. Suppose z - j = 109. Is 33 a factor of z?
False
Let y be (2/6)/(4/204). Let w(s) be the first derivative of 9*s**2/2 - 35*s + 2730. Is w(y) a multiple of 20?
False
Let z be (-14)/119 - (-12548)/17. Suppose 0 = -3*r + 10*n - 8*n + 742, z = 3*r - 3*n. Does 14 divide r?
False
Let u = -127 + 123. Suppose 0 = -d - 5*q + 31, 0 = 2*d - 3*d - q + 19. Is 9 a factor of ((-23)/u)/((14/d)/7)?
False
Let g(o) be the third derivative of -o**7/2520 - 7*o**6/720 - o**5/60 + o**4/6 + 11*o**2. Let q(j) be the second derivative of g(j). Is 6 a factor of q(-4)?
False
Suppose -11 = -9*i + 7. Suppose i*s + 116 - 627 = -3*u, -5*u = 2*s - 505. Is s a multiple of 30?
False
Let u(o) = -o**3 - 5*o**2 + 5*o - 10. Let q be u(-6). Let x = 15 + 3. Let h = q + x. Is 14 a factor of h?
True
Suppose -2*b - s = 7, -s = -4*b - 1 + 2. Let k(l) = 16*l**2 + 31*l**2 - 486*l + 242*l + 1 + 247*l. Is 13 a factor of k(b)?
False
Suppose 3*x + 4*i = 63594, -84792 = -0*x - 4*x + 3*i. Is 38 a factor of x?
False
Let b be (-1)/(-5) + (-16321)/(-95). Let p = b - 99. Is p a multiple of 4?
False
Let q be (-4)/((-48)/63)*4 + -2. Let d(s) = -s**2 + 22*s - 28. Is 12 a factor of d(q)?
False
Let s be -15*((72/20)/1 + -4). Is 7 a factor of 430/(-4)*-2*s/10?
False
Suppose -5*h - 245 = 5*d, 5*h - 43 = d + 4*h. Let x = 81 + d. Is 12 a factor of x?
False
Suppose 0 = 31*c - 16*c + 60. Is 6/(-12)*226*c a multiple of 18?
False
Let j be (-4*3/(-36))/(1/33). Suppose 6*d - 548 = -3*h + j*d, -h + d + 180 = 0. Does 4 divide h?
True
Let x be -5 - ((-118)/15 - (-2)/(-15)). Suppose 3*j = -4*u + 54, 2*j = -u - 3*u + 56. Does 15 divide 296*(u/(-6) + x)?
False
Suppose 2*y + 4*q - 118750 = 0, -8*y + 332661 + 142326 = 3*q. Is 9 a factor of y?
True
Let k(c) = -69*c + 18. Let j be k(4). Let s = j + 676. Does 11 divide s?
True
Let d(a) = 26*a**3 + a**2 + a - 2. Let z be d(1). Let t = 39 - z. Let g = 18 - t. Does 5 divide g?
True
Let u = 2306 + 15248. Does 67 divide u?
True
Suppose 5*m + 0 = -5*w - 5, 2*m + 1 = -3*w. Let v be (-3)/(-2*1/(-2)). Is v + (0 - m) + 5 a multiple of 4?
True
Suppose 0 = 4*f - 2*y - 2 - 2, f + 5 = -y. Is 5 + f - -2*(-21)/(-6) a multiple of 3?
False
Suppose -4*i = 0, -4*y + 20 = 7*i - 3*i. Let u = y + 1. Is (-28)/u*324/(-63) a multiple of 12?
True
Suppose p - 8*p = -1162. Suppose 5*a - 5*w - 89 = p, -4*a - w = -219. Does 16 divide a + 3/(-1) + 2?
False
Let a(h) = -166*h + 5099. Does 19 divide a(-66)?
True
Let t(h) = 957*h**2 - 490*h + 8. Is t(6) a multiple of 16?
True
Suppose -4*i - 12110 = -5*f, 5*i - 4609 - 2657 = -3*f. Is f a multiple of 14?
True
Suppose -13*h = -16*h + 144. Let x = 48 - h. Suppose x = 23*n - 19*n - 224. Is n a multiple of 8?
True
Suppose 3*m - 50 = -59. Let f be (1 - m)*28/7. Suppose 3*r = 5*v - 14 + 1, f = 4*v - r. Is v a multiple of 2?
False
Let i(a) = 2*a - 10. Let k be i(8). Suppose -k*b = -296 - 364. Let h = -36 + b. Is 37 a factor of h?
True
Suppose -2*t = 4*k + 32, 4*k + 0*k - 5*t = -4. Let v be (2 - (-5)/(-10)) + (-9)/k. Suppose 0*i - 210 = -4*i + 3*s, 0 = v*i + s - 151. Does 3 divide i?
True
Suppose 2*h = -4, -b = -4*b - 2*h + 560. Suppose 0 = -7*g + 5*g + b. Suppose -g = -2*i + 4*m, 2*i - 90 = -2*m + 5*m. Does 13 divide i?
True
Let d = -3 + 5. Let s be 2/((1 - -1)*(-6)/(-18)). Suppose 5*x + s*z = 119, x + 13 = d*x - 3*z. Is 6 a factor of x?
False
Let g be (-72)/(-14) - 16/112. Suppose 2*l - 153 = -4*z + g*z, 0 = l + 5*z - 82. Does 53 divide l?
False
Suppose -18 = -5*h - 9*z + 6*z, 0 = -h + 5*z - 2. Suppose -7 = -2*d + 4*d - u, -h*u = 3*d - 12. Is 21 a factor of (360/(-54))/(10/12 + d)?
False
Let q = -173 + 183. Let y be ((-42)/(-12))/(2/4). Suppose y*a = q*a - 54. Does 14 divide a?
False
Let s be -151 + (-7 - (-6 + 3)). Let z = s + 239. Is 12 a factor of z?
True
Let v be ((-30)/(-4))/((-90)/(-108)). Is (540/40)/(v/192) a multiple of 16?
True
Suppose 173 = -2*r + 5*d, -12 - 341 = 4*r - 3*d. Suppose 438 = -l + 4*l. Let x = l + r. Does 8 divide x?
False
Let w = 35 + -36. Let g be (w/4)/((-4)/744)*10. Suppose -4*k - 5*u = -g, -462 = k - 5*k - 2*u. Is k a multiple of 23?
True
Let x(f) = -1441*f - 27. Let p be x(3). Is 13 a factor of (-4)/14 - p/35?
False
Let q = 897 - -187. Let z be 22/(-5)*(-20)/8. Suppose -6 + q = z*j. Is 14 a factor of j?
True
Let p = -12084 - -12612. Is p a multiple of 44?
True
Suppose -61899 = -29*b - 68646 + 163811. Is 119 a factor of b?
False
Let q(v) = -v**2 + 129*v + 202. Does 16 divide q(47)?
False
Does 164 divide 5457 - (-72)/60*(-45)/(-6)?
False
Let k(u) = -u**2 - u - 13. Let j(n) = -6*n**2 - 6*n - 79. Let d(s) = 6*j(s) - 39*k(s). Is 22 a factor of d(-12)?
False
Is 37 a factor of ((-2)/((-4)/3217))/(23/46)?
False
Let j = -514 - -966. Suppose 3*z + 4*u = 1268, 2*z + 3*u - 394 - j = 0. Is z a multiple of 30?
True
Suppose 17*l - 4*l - 92160 = 5*l. Is l a multiple of 40?
True
Suppose 6*h = 5*x + 3775 - 25306, 3*x + h = 12914. Does 21 divide x?
True
Let p(n) = 24 - 11 - n - 4*n + 11. Let h be p(-14). Suppose y - 4*k = 36, -5*y + 155 + h = 3*k. Is 12 a factor of y?
True
Let y = -9452 + 13566. Is 22 a factor of y?
True
Is 35 a factor of 30299 + -7 + (-79 - -62)?
True
Let b(h) = 71*h**2 - 4*h - 3. Suppose 74*o = 72*o + 194. Let u = -98 + o. Does 24 divide b(u)?
True
Let i be 10/15 - (-3866)/6. Let a be (-4)/(((-15)/i)/(2 - 1)). Is 25 a factor of (-2)/(514/a - 3)?
False
Suppose 5*n - 19*o - 7981 = -20*o, -3*o + 7983 = 5*n. Suppose -n = -15*f - 321. Is 6 a factor of f?
False
Let r(x) = x**2 + 35*x + 170. Let s be r(-29). Is 5/(70/s) + (-2740)/(-35) a multiple of 32?
False
Suppose 7 + 2 = 3*d. Let z be d/24 + (-2982)/48. Let v = z - -111. Is v a multiple of 7?
True
Suppose -413442 = -429*c + 326*c. Is 6 a factor of c?
True
Does 9 divide (115/1)/(37858/(-828) - -46)?
True
Suppose 18 = -2*f - 3*o, -4*f + 0*f = 5*o + 34. Is 27 a factor of ((-441)/2)/(-1) + f/12?
False
Let z(p) = p**3 - 4*p**2 - 2*p - 15. Suppose -5*f + 7*f + 16 = 4*o, -3*o + 1 = 4*f. Suppose 0 = -o*n + 4*v - 6*v + 15, v - 4 = -n. Is z(n) a multiple of 12?
False
Let i(t) = 1141*t - 2385. Is 13 a factor of i(20)?
False
Is ((-9)/(-12) - -1) + -6*374426/(-624) a multiple of 30?
False
Suppose 3*t + 20 = 5*b + 8*t, 3*b + 2*t - 11 = 0. Suppose -4*u = -b*h + 1517, -6*u + u = 3*h - 1472. Does 69 divide h?
False
Suppose 70*n = 49*n + 9534. Let g = n - -1193. Is g a multiple of 28?
False
Does 37 divide 46/1380 + 2956761/270?
False
Suppose 0 = 17*n - 32181 - 3111. Suppose 0 = -3*g + 9*g - n. Does 4 divide g?
False
Let m = 49029 - 30537. Is m a multiple of 23?
True
Let a be (-74164)/(-10) + (-153)/(-255). Suppose -2*r - 8 = -10, -5*y = -3*r - a. Is y a multiple of 21?
False
Suppose -34*j = -31*j + 6. Let d be 0/(5/10*j). Suppose 4*l + m - 19 = d, l - 16 = 2*m - 0*m. Is l a multiple of 3?
True
Let f(v) = 5*v**2 - 121*v - 7. Let y(o) be the first derivative of o**3/3 - 15*o**2 - 2*o - 13. Let u(i) = -2*f(i) + 9*y(i). Is 28 a factor of u(-23)?
False
Let l(x) = -4*x**2 + 30. Let m be l(0). Suppose 16 = 4*j, j + m + 158 = 4*n. Is n a multiple of 16?
True
Let q(w) = -11*w**3 + 9*w**2 - 20*w - 67. Does 14 divide q(-9)?
False
Let n(a) = a**2 + 9*a + 1. Let r be n(-9). Let o be (-19)/r - (1 + 3) - -4. Let h(p) = -20*p - 23. Is 51 a factor of h(o)?
True
Suppose 0 = j + 5*x - 12998 + 394, 0 = -3*x - 15. Is j a multiple of 73?
True
Let q(t) = t**3 - 4*t**2 + 7 - 9 - 2*t + 8*t - 4. Let s be q(3). Suppose 292 = 2*m - 4*d, 0*m - 4*d = s*m - 488. Is m a multiple of 26?
True
Let p(s) = -1515