a multiple of 7?
False
Suppose 33*p = 32*p + 440. Let w = 200 + p. Is w a multiple of 32?
True
Let i(q) be the second derivative of q**5/20 - 5*q**4/4 + 15*q**3/2 - 2*q**2 + 66*q. Is i(12) a multiple of 37?
False
Suppose -3*p + 482 = 338. Suppose 39*z + 1701 = p*z. Is z a multiple of 7?
True
Does 5 divide -11*11/((-14)/49*7/52)?
False
Let j(a) = -3*a + 19. Let y be j(6). Is 6 a factor of 5 + 0 + 55 + (1 - y)?
True
Suppose 59*z - 43050 = -55*z + 108*z. Is 64 a factor of z?
False
Suppose -u + 5*p = -1 - 10, 5*u - 15 = 5*p. Let y = -2 - u. Does 23 divide y/(12/16) + 156?
False
Suppose 65*y = 57*y - 208. Let f = y - -206. Is f a multiple of 45?
True
Let c(x) = 5044*x + 1244. Is 51 a factor of c(4)?
True
Let h(x) be the first derivative of x**4/4 + 2*x**3 - 29*x**2/2 - 5*x + 27. Is h(-9) a multiple of 3?
False
Let z(c) = 6879*c**3 - 15*c**2 + 15*c + 1. Is z(1) a multiple of 43?
True
Suppose 0*g = 2*g - 1802. Suppose 2*t - 4*u - g = -t, 1493 = 5*t + 2*u. Let s = t - 143. Does 26 divide s?
True
Suppose -139*j + 141562 = 2741 - 211459. Does 18 divide j?
True
Let r(w) = 3834*w**2 + 6*w - 6. Is r(-1) a multiple of 14?
True
Suppose 0 = 3*g - v + 231, -4*g - v = 3*v + 292. Let x = g + 88. Is 14 a factor of (-1686)/(-24) - (1 - 9/x)?
True
Suppose 4446 = 58*o - 40*o. Let d = 611 - o. Is 16 a factor of d?
False
Let n(l) = -417*l + 2205. Is 22 a factor of n(-27)?
True
Suppose -4*l = 3*x - 641, -46*l + 677 = 3*x - 51*l. Does 3 divide x?
True
Let f(v) = -56*v**2 + 2. Let y be f(1). Let b = 166 + -72. Let a = y + b. Is 40 a factor of a?
True
Suppose 5*i - 26238 = -8*w + 5*w, 3*i - 8754 = -w. Does 13 divide w?
True
Let h(n) be the second derivative of -41*n**3/3 + 5*n**2/2 - 100*n. Is 11 a factor of h(-2)?
False
Suppose -10 = -3*z + 2. Let q be z/5 - (-22010)/50. Suppose 0 = -0*y + 3*y - q. Is y a multiple of 50?
False
Suppose v = 6*v - 4*a - 475, v - 95 = -5*a. Is v - (-3 - -4)/(2/(-6)) a multiple of 14?
True
Let z = 388 + -385. Suppose z*p - 4*p = -x + 709, 2846 = 4*x + p. Is x a multiple of 16?
False
Let y(s) = 18*s**2 - 15*s - 89. Suppose -8*f - k = -7*f + 9, -3 = k. Does 13 divide y(f)?
False
Let y = -141 - -141. Let p(o) = -5*o + 385. Is 19 a factor of p(y)?
False
Let m(a) = a**2 - 12*a + 37. Let o be m(10). Does 65 divide (-18)/153 + 9947/o?
True
Does 93 divide ((-6)/5)/((-44602)/4460 + 10)?
False
Let n(x) = 339*x**2 + 5*x - 6. Is n(4) a multiple of 2?
True
Let w(z) = -15*z + 7*z + 2*z - 3*z + 236. Is w(0) a multiple of 15?
False
Suppose 3*v - 3*j - 21660 = 0, 54*v - 3*j - 7220 = 53*v. Does 20 divide v?
True
Let x = -59 + 64. Suppose x*s = 4035 + 1740. Suppose 0 = 7*k - 245 - s. Is 40 a factor of k?
True
Suppose -415 = 10*x - 5*x. Let i = x - -267. Does 23 divide i?
True
Let w = -22100 + 22500. Does 10 divide w?
True
Is 37 a factor of (-1501236)/(-126) - (-96)/(-168)?
True
Let s be (-16)/(-40)*(-8 + 2 - -1). Is 17 a factor of 12*((-497)/(-28) + s)?
False
Let j(k) = -38*k**3 + k**2. Let i(s) = -38*s**3 + s**2. Let n(o) = -6*i(o) + 5*j(o). Let w = -128 - -129. Is n(w) a multiple of 10?
False
Suppose 125*c - 100 = 123*c. Suppose 9*r - 76 = c. Does 20 divide (-280)/r*(-1 + (0 - 1))?
True
Suppose 5*u = 27 + 13. Suppose -2*m = -4*o + 12, 0 = -u*m + 3*m + 2*o + 2. Suppose -2*b = z - 440, -217 = -3*b + m*b - 2*z. Is 17 a factor of b?
True
Suppose -19*s = -30045 - 4497. Let l = 2561 - s. Is 18 a factor of l?
False
Let w = 15205 + -2745. Is 89 a factor of w?
True
Let r(p) = 10*p + 493. Is r(20) a multiple of 77?
True
Let j(r) = r**3 + 20*r**2 - 22*r - 24. Let c be j(-21). Let s be ((-201)/4)/(c/(-12)). Let x = -71 - s. Is 35 a factor of x?
False
Suppose 41 = 3*v + 29, 0 = 4*w - 3*v - 103332. Is w a multiple of 58?
False
Suppose -u - 4*u = -6*u. Suppose -2*s + 133 = 5*c, -3*s + u*s + 191 = -c. Let l = 26 + s. Is 6 a factor of l?
True
Let u(g) = -g + 5. Let k be u(2). Suppose j - 33 + 116 = x, -k*j = x - 103. Suppose 0 = 6*s - x - 740. Is s a multiple of 26?
False
Suppose -12383140 = 27*u - 166*u - 246*u. Is u a multiple of 13?
False
Let c(p) = -p**2 + 12*p - 20. Let i be c(9). Suppose 13 = i*b - 1. Is ((-44)/(-20) - 1/5) + b a multiple of 2?
True
Let r(j) = 1093*j**2 + 897*j - 2696. Is 8 a factor of r(3)?
True
Let s(i) = -i**3 + 8*i**2 - 6*i - 7. Let h be s(7). Suppose -w + 4*y - 648 = -2*w, -4*y - 12 = h. Suppose 180 = -12*o + w. Is 8 a factor of o?
True
Let w = 20009 - 11505. Is 15 a factor of w?
False
Let q(h) be the third derivative of -h**5/20 + 49*h**4/24 + 37*h**3/6 - 79*h**2. Does 3 divide q(17)?
True
Let i(r) = 2*r**3 - 8*r**2 + r + 128. Let c(j) = -2*j + 46. Let w be c(23). Does 64 divide i(w)?
True
Let y(x) be the second derivative of 7*x**3/3 + 27*x**2/2 - 2*x - 118. Suppose -u + 3*u - 6 = 0. Is y(u) a multiple of 4?
False
Let l(w) = w**3 - 6*w**2 - 6*w - 10. Let a be l(7). Let x = a + -2. Does 17 divide (-69)/(-4) + 0 + x/20?
True
Let a(s) be the third derivative of s**6/120 - s**5/10 - 13*s**4/8 + s**2. Let h be a(13). Suppose 7*g - 59 = h. Does 35 divide g?
True
Let i = 143 - 102. Let r = 44 - i. Suppose r*b - 80 = -8. Does 4 divide b?
True
Suppose 10*y = 6*y + 32. Let m(f) = -f**3 + 8*f**2 + 0*f - 4*f + y + 0 + f**2. Is m(5) a multiple of 15?
False
Is 6 a factor of 7 - (8 + -997 + 10)?
False
Let k(c) = -19*c - 18. Let a be k(21). Let x = -274 - a. Does 13 divide x?
True
Suppose 5*b - 4*x - 44 = -12, b = -x + 1. Let y(m) = -27*m + 17. Let j(c) = 28*c - 19. Let t(f) = -5*j(f) - 6*y(f). Is 8 a factor of t(b)?
False
Let m = -6994 - -7962. Is 30 a factor of m?
False
Let m(f) = -f**2 + 7*f - 6. Let b(t) = t - 9. Let q be b(14). Let v be m(q). Does 4 divide ((-700)/(-21))/(-5)*(1 - v)?
True
Suppose 4*a - 13*k = -9*k + 56, -a = 4*k - 9. Let g(v) = 2*v**3 - 23*v**2 - 23*v - 8. Does 11 divide g(a)?
False
Let z = -100 - -103. Is 17 a factor of z/((-3)/34)*-2?
True
Let c be -15 + 14 - (-2 - 2). Suppose -t = -4*s + 775, 594 = 3*s - 2*t - c*t. Is 3 a factor of s?
False
Suppose 5*t - 6 = 14. Suppose 0 - 32 = -t*i. Suppose i*b - 701 = 211. Does 19 divide b?
True
Let p = 30 - 26. Let r(o) = o**3 - 5*o**2 + o + 2. Let n be r(p). Let i = 12 - n. Does 11 divide i?
True
Suppose 1039912 = 151*z - 449069 + 163503. Is 133 a factor of z?
True
Let j = 2507 + -1691. Let q = 1858 - j. Does 30 divide q?
False
Suppose -3962 = -o - 2*j, 0 = 4*o - 9*j + 13*j - 15844. Is 11 a factor of o?
True
Suppose -1071471 = -217*i + 392459 + 3667469. Is 17 a factor of i?
True
Suppose 0 = 24*t - 3*t - 63. Suppose -4*w - 1286 = -t*u, -2*u - 5*w + 190 = -675. Does 21 divide u?
False
Is 48 a factor of (-4832*3/(-15))/(352/(-60) + 6)?
True
Let c be (-32)/(-4)*9/(-6). Let z(i) = -i**2 - 14*i - 1. Let v be z(c). Suppose -4*b - v = -0*t - t, -3*b + 115 = 5*t. Is t a multiple of 23?
True
Let w(u) = u**3 - 10*u - 25 + 8 - 2*u**3 + 19*u**2. Let c be w(18). Suppose -k = 4*v - c, 4*v = 2*k + k - 365. Is 33 a factor of k?
False
Let l be 344/(-2) + 2*(-6)/4. Let u be ((-5)/(l/(-10)))/((-2)/14). Does 3 divide 395/45 - u/(-9)?
True
Let o = -5287 + 6701. Does 33 divide o?
False
Let w be (-1 - (-4)/6)/(1/(-15)). Suppose 0 = 5*p - k - 4*k - w, 3*k - 7 = p. Suppose p*r = 3*r - 10, 2*b - 51 = 5*r. Does 13 divide b?
True
Suppose 5*x + 8*x = 0. Suppose -2*r = -x*r - 6. Is r a multiple of 3?
True
Let i be -1*3*(-6 - -6 - 2). Suppose -17*w - i*w = -6187. Does 5 divide w?
False
Let j = 57273 + -38131. Is 9 a factor of j?
False
Let l(o) = 6*o**2 - 3*o + 6. Let b be l(2). Suppose -6*v = b - 72. Suppose -4*a + 26 = -a - 2*z, -v = -a + z. Does 10 divide a?
True
Let k = -8 - -12. Let n(a) = 4*a + 189 - 193 + 4*a + 5*a**2. Does 13 divide n(k)?
False
Suppose 759 + 3559 = f. Is 38 a factor of f?
False
Let n(s) = 274*s**2 - 27*s + 10. Does 16 divide n(-2)?
False
Let p(i) = -70393*i - 1776. Is 67 a factor of p(-1)?
False
Let s be (5 + -5)/((-2)/(-1)). Let b be -1*(-3)/6*0 - s. Suppose -i = 4*l + 3*i - 656, 4*i - 8 = b. Does 20 divide l?
False
Let b be 573378/273 + 2/(-7). Let o = -1020 + b. Is o a multiple of 45?
True
Let j = -79648 + 129455. Is 21 a factor of j?
False
Suppose -87*o + 95*o - 16952 = 0. Is 45 a factor of o?
False
Let g(c) = 257*c**2 - 19*c + 32. Does 14 divide g(3)?
False
Suppose -25*j + 104 = -21. Suppose 5*h - 9*h = z - 312, 0 = -j*z + h + 1497. Is 20 a factor of z?
True
Suppose -2*m + 11030 = -2*j, 3*m - 2*j