
True
Suppose 37*z = -17*z + 36*z + 416808. Is z a multiple of 31?
False
Is 14 a factor of -1 + 73848/(-8)*-1?
False
Let p(r) = 67*r**2 - 6*r + 5. Let f be p(1). Let j = -15 - -25. Suppose 3*m - 3*i = f, i - j = -m - 2*i. Is 5 a factor of m?
False
Let f(c) = 3*c + 42. Let o be f(-13). Suppose -8 + 68 = -t + x, -177 = o*t - 2*x. Let j = t - -72. Is j a multiple of 7?
False
Does 115 divide (-2)/(-9) + (-25 - -28 - 306302/(-18))?
True
Let l(o) = 541*o - 111. Is 57 a factor of l(6)?
True
Suppose -122*i + 110*i = -97992. Is ((-33)/(-99))/(2/i) a multiple of 102?
False
Let x(k) be the first derivative of -2*k**2 + 11. Let t be x(0). Suppose t = 5*w + 5*r - 47 - 43, 3*r - 90 = -5*w. Is 5 a factor of w?
False
Let o(z) = 44*z + 1. Let a be o(5). Suppose -3*q + h + a = 0, -3*q + 4*q = 5*h + 97. Suppose -q = 3*v - 369. Is v a multiple of 15?
False
Let t(u) be the second derivative of u**5/20 - 3*u**4/4 + 5*u**3/6 - 6*u**2 + 15*u. Let q be t(9). Let v = 69 - q. Is 8 a factor of v?
False
Let v = 5776 - 5516. Is 49 a factor of v?
False
Let y be (-373)/(6/(-6)*(1 - 2)). Let z = -250 - y. Is z a multiple of 3?
True
Suppose 66725 = -18*n + 120274 + 146107. Is 47 a factor of n?
True
Suppose -5*a + 3*f = -24916, 451*f - 446*f = -5*a + 24900. Is a a multiple of 12?
False
Suppose 2*p - 4 = 0, -5*h - 5*p - 14 = 21. Let i(a) = 26*a**2 + 45*a + 31. Is i(h) a multiple of 36?
False
Let h(f) be the first derivative of -3*f**2 + 28*f + 14. Is h(0) a multiple of 7?
True
Suppose 17*o - 3024 = 6071. Let v = o + -28. Does 39 divide v?
True
Let h(q) = -56*q**3 + 5*q**2 - q + 1. Let m be h(1). Let a = m - -216. Does 33 divide a?
True
Suppose 2*w - 1797 = 4117. Is 55 a factor of w?
False
Is 11 a factor of (22/8)/(2*17/57936)?
True
Let h be (1890/(-12))/(6/(-8)). Suppose h + 1122 = 6*c. Is c a multiple of 37?
True
Suppose 60*h + 15 = 55*h, 8*h = 4*b - 2664. Is 30 a factor of b?
True
Suppose 116*q - 115*q - 4 = 0. Suppose 2940 = 5*v + 5*z, q*v - 619 - 1760 = 5*z. Is 25 a factor of v?
False
Is (4187/6)/((-52)/(-312)) a multiple of 35?
False
Let r = 146 + -205. Let q = 257 + r. Does 18 divide q?
True
Let u(g) be the third derivative of g**6/120 + 7*g**5/60 + g**4/12 + 7*g**3/3 + 7*g**2. Let y be u(-7). Suppose y = 2*s - 49 - 17. Is s a multiple of 11?
True
Suppose -6*m - 220 = -2*m. Let b = -52 - m. Suppose -b*n + 400 = 5*n. Is n a multiple of 28?
False
Let m = -28108 + 45125. Does 46 divide m?
False
Let q(y) = -13*y**2 + 10*y - 1844. Let d(v) = -5*v**2 + 4*v - 615. Let s(o) = 8*d(o) - 3*q(o). Is 9 a factor of s(0)?
True
Suppose 2*r - 2*k = 3*r + 4, -23 = 2*r - k. Let o(l) = l + 14. Let q be o(r). Does 5 divide (-3)/(q/(640/(-12)))?
True
Let p = -53939 - -78520. Is 158 a factor of p?
False
Let f(i) = -i**3 - 12*i**2 + 4*i + 24. Let u be f(-15). Suppose 4*b = u - 55. Does 13 divide b?
False
Let c = 16 + -12. Suppose 5*v - 22 = -7. Suppose -4*s - 96 = 2*m - 7*m, -c*m + v*s + 77 = 0. Is m a multiple of 4?
True
Suppose v - 36 + 56 = 0. Does 17 divide (-3058)/(-10) - 4/v*1?
True
Let j(n) = 74*n + 305. Is j(26) a multiple of 33?
False
Let a(b) = 1524*b**2 - 17*b - 5. Is 16 a factor of a(-1)?
True
Let a be 2/((-2)/(-2) + 0). Suppose 20 = -5*v, -4 - 3 = -3*y - a*v. Suppose -3*p + i = -p - 252, -y*i = 0. Is p a multiple of 9?
True
Suppose 4*a + 11*a - 90 = 0. Let q = -6 + a. Suppose -2*z = -q*z + 3*r - 160, 4*r + 188 = 2*z. Is z a multiple of 10?
False
Let i(v) be the second derivative of v**7/2520 + v**6/144 + v**5/12 + 7*v**4/4 + 5*v. Let r(n) be the third derivative of i(n). Is r(-6) a multiple of 8?
True
Let r = 21979 + -12619. Does 117 divide r?
True
Let k(l) = -2*l - 7. Let f be k(-9). Suppose 12*p - 85 = f*p. Suppose -5*o + 130 = -5*i, -o - 4*i + p = 4*o. Is o even?
False
Let i be 2/(-1) + -1 + -370. Let s = i + 503. Is s a multiple of 4?
False
Does 6 divide (70/4)/((-2)/5 + 12342/30580)?
False
Suppose 3*m - 5 = 4*a, 1 = m - 2*a - 0. Suppose 0 = -m*c - 265 + 1666. Is c a multiple of 38?
False
Suppose 4*x + 5*g - 421 = 9445, -14822 = -6*x + 4*g. Does 8 divide x?
False
Suppose -3*o - 149 - 1070 = -2*s, 0 = -s + 3*o + 605. Does 13 divide s?
False
Let h(o) = 6*o - 67. Let u be h(17). Suppose u = 5*i + 5. Does 15 divide ((-8)/i)/(14/(-1260))?
True
Suppose 196*g = 210*g - 95704. Does 64 divide g?
False
Let k be 54306/72 + (-9)/(-12). Suppose -5*p + k + 1265 = 0. Is p a multiple of 29?
False
Let a(f) = 49*f + 37. Let l(h) = 16*h + 12. Let o(z) = -3*a(z) + 8*l(z). Suppose 3*j - 4*c = -11, -3*j - c + 3*c = 13. Does 20 divide o(j)?
True
Suppose 20*z - 1092 - 1106 = 18*z. Is z a multiple of 8?
False
Let g(u) = -28*u**2 - 36*u - 234. Let w(y) = 19*y**2 + 24*y + 156. Let l(r) = -5*g(r) - 7*w(r). Is l(-6) a multiple of 37?
False
Let t be 0 - 6/(-15) - 39/(-15). Suppose -2*d + 2*a = 50, -t*d - 4*a - 30 = 10. Let w = d + 24. Does 4 divide w?
True
Let m(a) = 35*a**2 - 2*a - 4. Let y be m(-4). Suppose -2*z = 3*q - 7*z - y, 924 = 5*q - 3*z. Suppose 0 = 8*v - q - 41. Is 28 a factor of v?
True
Suppose h - 5*z = 3*h - 75, 2*h - 3*z - 35 = 0. Suppose 48*r = 55*r - 420. Suppose -30*q = -h*q - r. Is q a multiple of 3?
True
Suppose -2*i - 2*r = -27 - 13, -5*r + 12 = i. Let l be ((-16)/i)/(-4) + 25318/22. Suppose l = 8*c + 31. Is c a multiple of 35?
True
Suppose -7 = -2*n - 4*m + 7*m, 5*n = m - 2. Is 499 - (-1)/(n/4) a multiple of 11?
True
Let o(y) = y**3 - 19*y**2 + 3*y + 17. Let x be o(19). Let z(m) = m**2 + 4*m - 2. Let k be z(-8). Let i = x - k. Does 20 divide i?
False
Let c = 17907 + 10613. Is c a multiple of 92?
True
Suppose 3*l + 10 = 109. Let h be (-6)/l + (-33678)/(-99). Suppose -236 = -3*n + h. Does 32 divide n?
True
Let g(h) = -h**3 - 16*h**2 - h - 8. Let s be g(-16). Suppose 0 = -s*k + 2*k - 192. Let f = -13 - k. Is f a multiple of 19?
True
Suppose k - 5*t = -16, 11*t = -k + 10*t + 8. Suppose -4*o - 179 = k*c - 3559, 0 = 5*c + 2*o - 4237. Does 71 divide c?
False
Let z(w) = 4*w**3 - 39*w**2 - 35*w + 460. Is 10 a factor of z(16)?
True
Suppose -r + 79 + 32 = 0. Let g = 861 + r. Is 12 a factor of g?
True
Let x(y) = -177*y + 763. Does 20 divide x(-57)?
False
Let z be 1*(-12 - 16/(-4)). Let x be (-8)/(-12) - z/(-12). Suppose 2*f + 12 = 2, -2*d + 4*f + 186 = x. Does 13 divide d?
False
Let r be -300*(-18)/(-5)*8/24. Let h = -88 - r. Does 17 divide h?
True
Let t(l) = 406*l + 2966. Is 13 a factor of t(60)?
True
Suppose -2*i - 3*w = w - 8, 0 = 5*i + 2*w - 12. Let z be i + 1 + 1 + 77. Suppose -5*v + 368 = 3*r, 4*v - 211 = -3*r + z. Is v a multiple of 38?
True
Suppose -7*v - 91 = -14*v. Suppose -v*s + 15*s = 0. Suppose -428 = -4*g - s*g. Is g a multiple of 16?
False
Suppose -808 - 947 = 3*v. Let s = 165 + -578. Let h = s - v. Is 25 a factor of h?
False
Suppose -4*b + 790 = 2830. Let x = b + 303. Let u = 319 + x. Is u a multiple of 8?
True
Is 192 a factor of 6337 + 1 - (-19 + -17 + 38)?
True
Let q = 13 - 0. Suppose -8 = -2*n - 4*y, 5*n - 5 = 4*y - q. Suppose n*v + 2*v - 2*p - 398 = 0, 4*p = -v + 194. Is v a multiple of 34?
False
Let l(k) = k**2 - 9*k + 10. Let c be l(7). Let f(v) = -4*v**2 - 7*v - 13. Let s(w) = w**2 + 3*w + 7. Let b(g) = -2*f(g) - 5*s(g). Is 20 a factor of b(c)?
False
Let t be ((-16)/3)/((-23)/13248). Suppose 175*w - t = 172*w. Is w a multiple of 32?
True
Suppose 3*g - 7 = -2*j, -2*j = 3*j + 5*g - 15. Let y be ((-1)/4*j)/((-4)/240). Suppose -x = -41 - y. Is 11 a factor of x?
False
Let l be (1 - 3) + -1 - -25. Let m = 30 - -22. Let o = m - l. Does 3 divide o?
True
Let t(v) = 4*v**2 - 2*v - 4. Let j be t(6). Suppose -10*a = -18*a + j. Let o(r) = 9*r + 32. Is o(a) a multiple of 16?
True
Let b = 449 - 445. Suppose b*q = 3*d + 4769, -4*d = q - d - 1211. Is 23 a factor of q?
True
Suppose 0 = 7*v - 905 - 838. Let q = v - -216. Is 20 a factor of q?
False
Let m(r) = 40*r + 8. Let c be (-708)/(-9)*6/(-4). Let i = 122 + c. Does 12 divide m(i)?
True
Suppose t - 2641 = -24*h + 22*h, -5*h = 2*t - 6601. Does 104 divide h?
False
Let l(i) = -i**2 + 17*i - 14. Let p = 165 + -155. Is 18 a factor of l(p)?
False
Suppose -88650 = -5*d + 5*c, -2*d - 871*c + 35439 = -866*c. Is d a multiple of 19?
True
Let j(q) = 84*q - 116. Suppose 5*r + 10 = 5*n - 35, 0 = -n + 4*r + 9. Is j(n) a multiple of 17?
False
Let x = 6091 + -4347. Suppose x = -463*c + 467*c. Does 47 divide c?
False
Let k = 312 - 0. Let s be (k/(-14))/((-