z?
True
Suppose 0 = -4*y - 2*z - 882, 5*y + z - 542 = -1637. Does 7 divide (5 - y) + 2 + -1?
True
Let l(i) = 7*i**3 + 4*i**2 - 6*i - 8. Let g be l(5). Let h = g - -55. Does 62 divide h?
True
Let c = 11801 + -3584. Does 15 divide c?
False
Let y(k) = 14*k**2 + k - 6. Let m be y(3). Let w = m - 69. Does 9 divide w?
True
Let x = -24262 + 55500. Is x a multiple of 34?
False
Suppose 4*a - 2109 = 3*q - 25858, 5*a + 39575 = 5*q. Does 9 divide q?
True
Let w be (-4530)/(-9) + (-12)/(-18). Suppose -5*h + h - 4*m + w = 0, 0 = -5*m. Is 18 a factor of h?
True
Let z = -54 - -101. Suppose -4*u + z = 6*p - 3*p, -u = -5*p + 17. Is u even?
True
Let i(r) = r**3 - 20*r**2 - 19*r - 28. Let s be i(21). Suppose -s*z = -4131 - 769. Does 32 divide z?
False
Let x be 3/(-9) + (-35)/(-15). Suppose 20 = u + x. Let s = u + 40. Is s a multiple of 21?
False
Let f(q) = 3*q - 16. Let l(r) = 17*r**2 + r - 1. Let u be l(1). Let y be f(u). Suppose 2*k - 122 = -5*o, -y = -3*k + 2*k + 4*o. Is k a multiple of 11?
False
Let g(h) = -h**3 + 20*h**2 - 3*h + 1. Does 2 divide g(18)?
False
Let a(h) = 608*h**2 - 211*h - 38. Does 3 divide a(-4)?
False
Let u(n) be the third derivative of -n**4/8 + 21*n**3/2 + 19*n**2 - 12*n. Let o = 1 - 1. Is u(o) a multiple of 14?
False
Let l = -13645 - -26318. Is l a multiple of 14?
False
Let z(u) = 15*u**3 - 4*u**2 - 31*u + 48. Is z(6) a multiple of 29?
True
Let o = -709 - -729. Let g(l) = 7*l**3 + 3*l**2 + 2*l. Let m be g(-2). Is (m/o + 2)/(1/(-90)) a multiple of 9?
True
Suppose -4*l - 20 = 5*t, -8*t = l - 13*t - 20. Suppose -5*g + 7*k - 11*k = -3566, l = -g + 4*k + 694. Is 37 a factor of g?
False
Let m(i) = -40*i - 87. Let d be m(-3). Does 14 divide (d/(-6))/1*178*-1?
False
Let z be (95/190)/(0 + 1/94). Suppose z = 4*q + 2343. Is 8 a factor of q/(-8) + 22/88?
True
Let r = 3837 + 196. Is r a multiple of 37?
True
Suppose 5*o - 1 = 9. Let u(d) = -1 + 25*d + d**3 - 4*d - 14 - 20*d**o. Is 6 a factor of u(19)?
False
Let f be (637/(-65))/(1/(-5)). Suppose -4*v = n - f + 14, 4*v - 20 = 0. Is 7 a factor of n?
False
Let g be (1 - 3) + 25 + -25. Is 81 a factor of g/5*-15 - -966?
True
Suppose 5*p = -4*i + 134, -6*i + 2*p + 222 = -p. Does 2 divide i?
True
Is (-3)/3 + 7/(119/26027) a multiple of 25?
False
Suppose -286*v + 1465398 = -565488. Does 18 divide v?
False
Let l(z) = z**2 - z + 1. Let a be l(3). Let q(u) = -u**2 + 3*u + 13. Let v be q(a). Is -2*5/15*v a multiple of 10?
True
Suppose -2*o = -2*x + 98, 3*x - 4*o = x + 94. Let b = x + 73. Suppose -3*t + 4*n + b + 237 = 0, 0 = -5*n + 10. Does 8 divide t?
False
Let q(x) = -x**3 + 25*x**2 + 51*x + 47. Let y be q(27). Is (-1)/2 + (-14161)/y a multiple of 16?
True
Suppose -2*k - 17*r = -18*r - 877, -2*k + 5*r + 865 = 0. Does 88 divide k?
True
Does 32 divide (8392/(-6))/(33/(-792))?
True
Suppose 7*u + 5*v + 8090 = 11*u, -2*u + 4040 = -5*v. Is u a multiple of 5?
True
Suppose -5*s = 5*k + 120, 0*k = 3*s + 4*k + 74. Let b = -18 - s. Suppose 3*f = -2*f - 5, 0 = -2*g + b*f + 304. Does 35 divide g?
False
Let q be -4*1/(12/(-2721)). Let z = q - 600. Let a = z - 216. Is 18 a factor of a?
False
Suppose -17*k - 49*k - 5*k + 961695 = 0. Does 35 divide k?
True
Let i(m) = -2*m**3 + 2*m - 12. Let k(g) = -3*g**3 + g**2 + 5*g - 25. Let d(q) = -5*i(q) + 2*k(q). Let l = -614 - -617. Does 17 divide d(l)?
True
Let f(i) = -68*i**3 + 2*i**2 - 10*i - 32. Is 6 a factor of f(-4)?
True
Let k = 14 + -9. Let r(o) = -o**2 + k*o**2 - 2*o**2 + 8*o**2 + 3. Is 10 a factor of r(-2)?
False
Let j be 1/(4*((-234)/48 - -5)). Suppose j*k - 179 = -c, -3*k = -5*c + 7*c - 361. Does 4 divide c?
False
Let g(r) = r**3 - 23*r**2 + 72*r - 36. Let d be (-42)/(-10)*17/(68/20). Does 33 divide g(d)?
True
Let q be -3*1/(-6)*0. Let s(x) = -x**2 + 8*x - 3. Let h be s(7). Suppose h*j - 142 - 54 = q. Is j a multiple of 10?
False
Let l be 408/66 + 2/(-11). Let u(k) = 86*k - 129. Is u(l) a multiple of 65?
False
Let z be 1/4 - (-5)/(-20). Suppose z = 10*g - 17*g + 1050. Does 15 divide g?
True
Does 15 divide (-15314380)/(-665) + (-5)/35*1?
False
Let a(v) = -v**2 + 9*v - 166. Let d be a(32). Let k = -823 - d. Is 6 a factor of k?
False
Is -9 + 323 + 24 - (-1 + -1 + 4) a multiple of 28?
True
Let u(k) = 6*k**2 + 148*k + 219. Does 11 divide u(-56)?
True
Is 135 a factor of (-64*60)/(91/117 + -1)?
True
Let y(k) = -253*k + 17. Let r be y(-4). Let a = r + -537. Is a a multiple of 27?
False
Let d(b) = -b**3 - 12*b**2 - b - 1. Let z be d(-12). Let o be (z/(-2))/((-12)/(-672)). Let p = -165 - o. Is p a multiple of 17?
False
Is ((3200/(-24))/10)/((-23)/12144) a multiple of 352?
True
Let n = 14060 - 13630. Is 5 a factor of n?
True
Let l be (-1)/(-6)*4 - 5/(-15). Let q be (2 + -2*18)/l. Let z = q - -39. Does 5 divide z?
True
Suppose -51*y - 115*y = -4009232. Is 18 a factor of y?
False
Suppose -12528568 = -407*b + 5827539. Is 9 a factor of b?
False
Is 16 a factor of (-134)/4489 - (-1277166)/402?
False
Suppose -3*w = -2*a + 680, -5*w - 2*a - 1160 = -0*w. Let i = w + 370. Suppose 36 = y - k - 0*k, i = 5*y + 5*k. Is y a multiple of 8?
True
Suppose -70 = -8*s + 7*s. Suppose d + 4*d = -s. Does 16 divide -2 - -2 - (d - 2)?
True
Let c(m) = 18*m**2 - m**3 - 6 - 14 + 12 + 11*m. Does 36 divide c(18)?
False
Suppose -87*m + 82*m - 10 = 0, 0 = g + 2*m - 6524. Is g a multiple of 34?
True
Suppose 364 - 353 = t. Does 12 divide 313/(-5 - ((-242)/4)/t)?
False
Let m(i) be the second derivative of 7*i**4/12 + i**3 + 3*i**2/2 + 2*i. Let o = 362 - 358. Does 18 divide m(o)?
False
Let u(q) = -q**3 - 9*q**2 - q - 6. Let r be u(-9). Suppose 4*g + i - 4 = -i, -r*g = -3*i + 6. Suppose 30*k - 27*k - 540 = g. Is k a multiple of 36?
True
Let r be (-2 + 1)/((-3)/(-27)). Let i be -3*r/(54/4). Suppose 8*s - i*t = 3*s + 252, -4*s + 3*t = -203. Does 7 divide s?
False
Let s be (-5 + 5)/(-3) - -4. Does 14 divide 398844/276 + s/(-46)?
False
Let s be 2 + 6*48/(-9). Does 4 divide (-471)/(-6) - (-75)/s?
True
Suppose 2795 = 4*s - 5*k, s - 5*k + 2105 = 4*s. Suppose -r = -6*r + s. Is 35 a factor of r?
True
Let q = 112 - 71. Let j be 4/(4/3) + 1. Let w = q + j. Is w a multiple of 15?
True
Let u(i) = 2*i - 10. Let a be u(6). Suppose 3*q + 288 = 4*d, -4*d + 3*q = a*q - 288. Is d a multiple of 8?
True
Suppose 0 = 4*f - 3*o - 58, -f - 2*o - 1 + 10 = 0. Suppose f*x - 580 = -7*x. Is 24 a factor of x?
False
Suppose 2 = -5*u - 18, -5568 = -2*v - 4*u. Does 159 divide v?
False
Is 53 a factor of (6/(-8))/(((-162)/(-20640))/(-27))?
False
Let n(g) = 520*g - 41. Suppose 4*j - 19 = -5*u, 4 - 3 = -2*j + u. Is 22 a factor of n(j)?
False
Suppose 60 = 20*m - 26*m. Does 46 divide 8/(-40) + -1 + (-1102)/m?
False
Let m(i) = -i + 23. Let f be m(24). Let w be (1 - -1)*f/(-1). Suppose w*z - 135 = -3*z. Is 5 a factor of z?
False
Let z(p) = -30*p + 60. Let c be z(2). Suppose 2*q - 4*q + 2*h + 542 = c, 0 = q - 3*h - 273. Is q a multiple of 11?
False
Suppose 2*l = -2*i + l + 18, 4*i - 2*l - 52 = 0. Suppose 6*r + 720 = i*r. Is 18 a factor of r?
True
Let j(k) be the third derivative of k**5/60 + k**4/3 + 74*k**2. Does 13 divide j(-38)?
False
Is -14*15/(-315)*7023 a multiple of 8?
False
Let m(d) = -3*d**2 - 6*d + 20. Let f be m(0). Is (-1716)/(-8) + 50/f a multiple of 7?
True
Let y(k) = 206*k**2 - 11*k - 6. Let q be (-5)/((-7)/((-112)/40)). Does 31 divide y(q)?
False
Let m = 179 - 179. Suppose m = -6*g + 156 - 48. Does 7 divide g?
False
Let k(y) = y**2 - 2*y + 120. Suppose 0 = -2*x + 5*c + 26, 0 = -c - 4 + 2. Suppose -x*u = -2*u - 0*u. Is 12 a factor of k(u)?
True
Suppose 5*c + 105 = 4*p - 3*p, -5*p + 441 = 3*c. Let y = p + -75. Is y a multiple of 3?
True
Let g(i) = 26*i + 8. Let j(y) = -29 - 19 - 2 + 8 - 131*y. Let l(d) = -11*g(d) - 2*j(d). Is l(-8) a multiple of 24?
False
Let z(j) = j**2 + 15*j + 36. Let i be z(-12). Suppose -b + i + 52 = 0. Let t = b - -26. Is t a multiple of 14?
False
Let f be -3 + (-54)/(-15) + 408/120. Let p(i) = 5*i**3 + 11*i**2 - 2*i + 19. Is 37 a factor of p(f)?
False
Let d(b) = 180*b + 2. Let o be 6/(-8)*22/33*-4. Suppose 2 + 0 = o*y. Is d(y) a multiple of 14?
True
Suppose u + 2985 = 4*f - 50743, 0 = 4*f + 2*u - 53704. Is 17 a factor of f?
True
Suppose 1293 = -3*w + 3*q, 0*q + 2163 = -5*w + 3*q. Suppose 5*d + 25 = -5*m, -3*m + d - 23 = -4. Does 8 divide w/(-6) - (-3)/m?
True
Let j = 5204 + -2671. Is j a multiple of 7?
False
Suppose -7*y - 2