e of 43?
True
Suppose -t + 36 = 5*t. Suppose t*u - 2*u - 128 = 0. Does 31 divide 0 + (62/(-4))/((-4)/u)?
True
Is ((-77)/(-22) + -6)*(-1)/(-5)*-31816 a multiple of 91?
False
Let t(x) = -x**3 + 6*x**2 - 6*x + 7. Let k be t(5). Suppose b = k*b - 4. Is 20 + b + (-2 - -2) a multiple of 8?
True
Suppose -25*h = -26*h + 2. Let y(s) = 39*s**2 + 3*s - 6. Is y(h) a multiple of 39?
True
Suppose -3*c = -3*r + 819, 2*r + 5*c = r + 243. Suppose 33 = 7*a + 4*a. Suppose a*o = r - 79. Is o a multiple of 33?
False
Let f = 463 - 466. Let b(j) = -j**3 - 4*j**2 - 2*j - 6. Let q be b(-5). Let g = f + q. Is 20 a factor of g?
False
Let u = 840 - 1641. Let j = u + 1347. Is 37 a factor of j?
False
Suppose -52*l + 2374 + 8067 = 2953. Does 3 divide l?
True
Suppose 13777*a - 13798*a = -434238. Does 11 divide a?
False
Let f(t) be the third derivative of -t**6/120 + 17*t**5/60 - 5*t**4/8 + 5*t**3/6 + 40*t**2. Is 3 a factor of f(16)?
True
Let w = -461 + 473. Suppose -4*g = -2*r - 134, w*g + 5*r - 141 = 8*g. Is g a multiple of 27?
False
Let b(x) = 25*x**2 - 5*x - 15. Let y be b(5). Let v = y + -402. Does 15 divide v?
False
Suppose 0 = 9*a - 13*a + 20. Suppose 21 = a*d + j, -2*d - 3*j = 4 - 2. Suppose 2*x - 5*p = -2*x + 304, -d*p = 0. Is x a multiple of 8?
False
Let c be (6/(-21))/1 - 2228/(-7). Suppose -u - 318 = -9*m + 8*m, 4*m + c = -u. Does 8 divide (-20)/15*3*u/8?
False
Let h(k) = 14*k**3 - k**2 + k + 1. Let v be h(-1). Let y be 12/9*v/(-10). Suppose 0*f - y*f = -12. Is f a multiple of 6?
True
Suppose -24*a + 7376 = -14824. Is a a multiple of 6?
False
Suppose -j + 7 = -7. Suppose -2*a + j = 10. Suppose -90 = a*i - 4*i. Is 45 a factor of i?
True
Let r(p) be the third derivative of 0 + 12*p**2 - 19/12*p**4 + 8/3*p**3 + 0*p. Is 21 a factor of r(-4)?
True
Let b(u) = -u**3 + 7*u**2 + 7*u - 1. Is b(-7) a multiple of 7?
False
Suppose 25*t = -144 - 56. Let p(h) = 2*h**3 + 21*h**2 + 8*h + 8. Is p(t) a multiple of 12?
True
Does 30 divide 7596 + 20/(-6)*(-27)/(-15)?
True
Suppose 0 = -5*b + g + 21529, 8*b - g - 17222 = 4*b. Does 46 divide b?
False
Let n = 579 - 12. Is 29 a factor of (174/(-9))/(-3 - (-1683)/n)?
True
Let z(k) = 16*k**2 + 2894*k - 339. Is 9 a factor of z(-181)?
False
Let l = 1756 - 1728. Is l a multiple of 5?
False
Let x(q) = -q**2 + 32*q + 67. Let w be x(34). Let i be (74/6)/(3/(-9)). Let s = w - i. Is s a multiple of 6?
True
Let s(d) = -676*d + 552. Is s(-3) a multiple of 15?
True
Let j = -16501 + 17422. Is j a multiple of 61?
False
Let k = 127 - 68. Suppose 0 = 5*d - 2*p - 26 - 105, 8 = 4*p. Let n = k - d. Is 20 a factor of n?
False
Suppose -21*w + 49132 = -142703. Does 7 divide w?
True
Suppose 2*p - b = 12, -2*p = 3*p + 3*b - 41. Suppose 4*j - p = 13. Suppose -133 = -a + j*y, 0 = -3*a - y - 3*y + 418. Is 31 a factor of a?
False
Let k = -65 - -83. Let l be 7224/38 - k/171. Suppose -l = 3*v - 8*v. Is v a multiple of 19?
True
Let u be -301 + 40/(-15)*3. Does 16 divide (2678/u)/((-1)/24 - 0)?
True
Let l = 19 - 15. Suppose z = -5*i + 79, -2*z + 81 = l*i - 83. Suppose 4*k - y - y = 392, k - z = -3*y. Is 32 a factor of k?
True
Suppose 3*w - 152557 + 9855 = -5*q, -3*q - 10*w = -85654. Is q a multiple of 173?
False
Let j(r) be the first derivative of 3*r**2/2 - 6*r - 1. Let a = 2217 + -2207. Does 6 divide j(a)?
True
Let b = -35876 + 56782. Is b a multiple of 22?
False
Suppose -3*c + 841*u - 842*u = -17907, -5*c + 3*u + 29873 = 0. Does 57 divide c?
False
Is -9 + 210/20 - (-268770)/20 a multiple of 120?
True
Let p(w) = 263*w + 2025. Is 108 a factor of p(28)?
False
Let u(k) = -1. Let d(o) = 815*o**2 - 7*o - 4. Let s(q) = d(q) + 2*u(q). Is s(-1) a multiple of 68?
True
Suppose -4*v + 29*g - 27*g + 18 = 0, 0 = g + 5. Let b be (278/4)/(1/(-2)). Let i = v - b. Does 47 divide i?
True
Let l be (-4)/(-6) - (8/3 + 0). Let m be 8/l - (-2)/(6/(-4773)). Is m/(-20) - -4 - 1/(-4) a multiple of 28?
True
Let i = -5862 + 10853. Is i a multiple of 90?
False
Let i be (16/(-6))/(-4)*6. Suppose 0 = -5*m - i*d + 32, 3*m + m - 13 = d. Suppose -78 = -m*n + 3*o, -2*n + 2*o = 6*o - 28. Does 6 divide n?
True
Let b be (-24)/(-10) + (-5)/((-100)/(-8)). Suppose b*v - 6 = -2*g, 3*v - v - 4*g = 0. Is 9 a factor of -65*(-3 + v)*1?
False
Is 15 a factor of (9/(-27)*-3)/(2/27746)?
False
Suppose m - 17 = -z, -80 = -m - 4*m - 4*z. Suppose i - 513 = -m. Let y = i + -333. Does 12 divide y?
True
Let x(z) = 3*z**2 - 17*z - 81. Let s be x(-9). Suppose -2*i - f + 109 - s = 0, 502 = -5*i + 4*f. Let j = -34 - i. Does 13 divide j?
False
Let x be 3 - (-7)/(-14)*-2. Suppose -443 = -o + 3*j, j + 850 = 2*o + x*j. Is o a multiple of 18?
False
Let w be (-8)/68 + 242/34. Suppose -w*t + 5349 - 1506 = 0. Is t a multiple of 9?
True
Is 240 a factor of (45682 - (-5 + 4)) + -1 + (-539)/(-77)?
False
Let g(t) = 3*t + 15 - 9 - 26*t**3 - 76*t**3 + t + 3*t**2 - 2. Is g(-1) a multiple of 34?
False
Suppose 0 = -209*d + 207010 - 53395. Is 11 a factor of d?
False
Let w(f) = 0*f**2 + 11 + 7*f - 4*f**2 - f**3 + f**2 + 13*f. Is w(-8) a multiple of 19?
True
Let a(u) = 971*u + 62. Let i(p) = -2911*p - 184. Let m(v) = -8*a(v) - 3*i(v). Does 14 divide m(1)?
False
Suppose 0 = -295*o + 199*o + 1166400. Is 150 a factor of o?
True
Suppose 1048*s = 1029*s + 470155. Is 12 a factor of s?
False
Suppose t - 57452 = -o, -17*o = -16*o + 3*t - 57440. Does 27 divide o?
False
Suppose -982 = -5*m + 2*b, 0 = 3*m + 4*b - 0*b - 584. Let y = 483 - m. Let z = y - 170. Does 14 divide z?
False
Suppose 16*l = -l - 238. Let c = l - -161. Is 31 a factor of c?
False
Suppose 12*x - 13*x = -3. Let j(i) = -9*i**3 - 8*i**2 + 5*i - 12. Let d(s) = -8*s**3 - 7*s**2 + 6*s - 11. Let p(m) = x*j(m) - 4*d(m). Is p(3) a multiple of 38?
True
Suppose -93*h = -56699 - 92659. Is h a multiple of 2?
True
Let p = -1750 - -3143. Is p a multiple of 82?
False
Let y(u) = u**3 - 7*u**2 + 6*u + 3. Let t be y(6). Is 4 a factor of ((-14)/t)/(50/(-45) + 1)?
False
Let l be -4 - 4/10*(15 - 20). Is -3*40*l/6 a multiple of 8?
True
Let y = 17655 + -12295. Is y a multiple of 40?
True
Let y(u) = 5*u**2 - 13*u + 6. Let i be y(9). Let r = 442 - i. Is r a multiple of 54?
False
Let l(h) = -h**3 + 34*h**2 + 62. Is l(34) a multiple of 62?
True
Let v(l) = 68*l**3 + 4*l**2 + 144*l + 22. Is 22 a factor of v(6)?
False
Let p be (4 - (-4)/(-2))*(-1 + 71). Suppose 3*r = 7*r - p. Let x = 59 - r. Is 2 a factor of x?
True
Let h = 112 - -44. Suppose 6*t = 2*s - 628, -4*t = -s + 162 + h. Is s a multiple of 18?
False
Let j be -2 + (-1 - 3 - -333). Let v = j + -265. Is v a multiple of 16?
False
Suppose -4*n - 5 = 4*r + 3, 3*n = 5*r - 6. Suppose -10*d + 2537 + 823 = r. Does 28 divide d?
True
Suppose 0 = 2*m + 2*b - 26504, 9*m - 5*m - 53005 = -5*b. Is m a multiple of 15?
False
Let f be 3/(-6 + (-46)/(-8)). Is 2 a factor of (-8)/f*18 + 6?
True
Suppose -18*w + 6244 = -25*w. Let g = -351 - w. Is 15 a factor of g?
False
Is 38/969 + (-4430615)/(-255) a multiple of 19?
False
Let x(f) be the second derivative of 5*f**4/6 - 19*f**2/2 - 2*f + 32. Does 11 divide x(6)?
True
Suppose 2*l = -2*s + 1830, 4*s - 1715 = l + 1970. Suppose 5*m - s = -0*m. Is 46 a factor of m?
True
Suppose 4*v + 72 = 13*v. Suppose 0 = v*x + 6*x + 2212. Let a = x + 248. Is a a multiple of 10?
True
Does 12 divide -38*1830/(-20) + -9?
True
Let u be (-2847)/15 + (-12)/(-15). Let f = u + 57. Let o = -79 - f. Does 12 divide o?
False
Let r be 8 - 5*(-2 - 12/(-5)). Suppose -3*q - r = n + 2*n, -q - 6 = -3*n. Let l(o) = 6*o**2 - 3*o. Does 9 divide l(q)?
True
Let i be 45/(-10)*(773 - -1). Is 11 a factor of ((-6)/9)/(18/i)?
False
Let t(g) = 30*g**3 + g**2 - 16*g + 55. Does 35 divide t(6)?
True
Let o be (1 - 1313/(-26))*11*2. Suppose 3*j + o + 148 = 2*h, 0 = 5*h - 3*j - 3216. Is h a multiple of 15?
True
Suppose 14*r - 22*r = 19*r - 458541. Is 27 a factor of r?
True
Suppose -2*m = -2*t - 186, 2*t + 533 = 5*m + 71. Let l be (-4)/2 + 1 + -46. Let f = l + m. Is f a multiple of 6?
False
Let o(z) = -z**2 - 12*z - 20. Let l be o(-10). Let g(i) = -i**3 - 14*i**2 + l*i**3 - i**3 - 33 + i**3 + 11*i. Does 27 divide g(-15)?
True
Let p(w) = 28*w**2 - 6*w**2 + 37 + 10*w - 16 - 53. Is 14 a factor of p(3)?
True
Does 103 divide 91 + -87 - (3 + 3373/(-5))*5?
False
Suppose -4*g = -3*x - g + 12, -2*x - 2*g - 8 = 0. Does 21 divide 110 - (4 + x + -7)?
False
Let y = 282 + -251. Let z = 181 + y. Is 15 a