e i/(-9)*1*12?
True
Suppose 38 + 214 = 3*j. Let i be 3 + ((-6)/(-2) - 3). Suppose c + 140 = 6*c + p, p = i*c - j. Is 10 a factor of c?
False
Suppose 5*x = 20, 0 = r + 3*r + x + 56. Is 15*(-1 + (-51)/r) a multiple of 10?
False
Let x(b) = b**2 + 9*b - 1. Let p be x(-9). Is (-1 + 2)/(p/(-21)) a multiple of 7?
True
Suppose 0 = -0*c + 2*c. Let a(u) = u**3 + u**2 - 6*u + 14. Let y(i) = -i**3 - i**2 + 5*i - 13. Let w(h) = -4*a(h) - 5*y(h). Is w(c) a multiple of 9?
True
Let b = 3 - 1. Suppose 5*v - 3*v - u - 101 = 0, 2 = b*u. Does 17 divide v?
True
Suppose -4*q - u = -31, q + 4*q - 35 = -5*u. Does 8 divide 3/(-12) + 66/q?
True
Let p(h) be the third derivative of 0*h - 1/2*h**3 + h**2 + 2/15*h**5 + 0 - 1/6*h**4 - 1/120*h**6. Is 23 a factor of p(4)?
False
Let f(c) = -8*c - 2. Let m(r) = 2*r**3 - 3*r**2 + r. Let g be m(3). Let o be ((-4)/(-5))/((-6)/g). Does 15 divide f(o)?
True
Is 38 a factor of 33/22 - -1*(-754)/(-4)?
True
Let f be 1/(3*2/18). Suppose f*i + 2*i = 20. Suppose -v + 4*g = -3, 9*v + i*g - 87 = 4*v. Is 7 a factor of v?
False
Let r(u) = -u**3 + 8*u**2 - 4*u + 6. Let o be r(7). Suppose -o = -7*x + 4*x. Does 4 divide x?
False
Let g(i) = -i**3 - 8*i**2 + 8*i - 4. Let m be g(-9). Suppose 3*y = -0*o + 3*o + 9, -m*y + 4*o = -12. Suppose y = -2*f - 2*f + 124. Does 16 divide f?
False
Let k(n) = -11*n**3 + 2*n + 1. Suppose 4*p - 3 + 4 = 3*m, 0 = -m - 1. Does 10 divide k(p)?
True
Let a = -62 + 103. Does 6 divide a?
False
Let y(j) = -j**3 + 4*j**2 - j + 5. Let x be y(4). Let a be (3 - x)/(6/9). Is a*(1 + (-22)/(-6)) a multiple of 13?
False
Let w be -3*(16/(-3) - -1). Let u = -8 + w. Is 5 a factor of u?
True
Let y(j) = 139*j**2 - 2*j + 1. Let i be y(1). Suppose 3*b + 155 = 5*g, -i = -4*g + 3*b - 11. Does 14 divide g?
True
Let u = 4 - -1. Suppose -3*l + 2*k + 278 = 0, 166 + 268 = u*l + 4*k. Does 30 divide l?
True
Let q be -1 + -2 - -1 - -2. Suppose d + q*d = 7. Does 7 divide d?
True
Let d(m) = -2*m + 29 + m + 0*m - 21. Is d(-7) a multiple of 3?
True
Let l be (-2)/(((-16)/6)/4). Let g(c) = 2 - c**2 + c**l - c + 6 - 2*c**3. Is 3 a factor of g(0)?
False
Let c = -3 + 8. Does 11 divide (-38)/(5/(c/(-2)))?
False
Suppose 5*n + 0*n - 225 = -5*q, 5*q + 135 = 3*n. Is n a multiple of 11?
False
Is 25 a factor of 2/(-6) + 302/6?
True
Let m(d) = d**3 - d - 2. Let q be m(2). Let i(s) = -s**3 + 5*s**2 + s - 5. Does 15 divide i(q)?
True
Let s(x) = 3 + 2*x**2 - 5 - 4*x - x**2. Let n be s(5). Suppose -c + n - 5 = 0, 3*w - 88 = 5*c. Is w a multiple of 13?
True
Is 40*((-6)/4 + 2) a multiple of 20?
True
Let q = 3 - 1. Let z = 4 - q. Suppose 10 = -4*y + z, 0 = -4*a - 4*y + 8. Is a a multiple of 2?
True
Let a = -1 - -1. Suppose 0 = 5*w - 4*t - 18, -3*w + 0 = 5*t + 4. Suppose a = -2*k - w*k + 68. Is k a multiple of 17?
True
Let l = 21 - 12. Suppose 2*r + 5*u + l = 0, 4*r - r = 4*u + 44. Suppose -i + r + 0 = 0. Does 3 divide i?
False
Let i(j) = 34*j - 3. Let t be i(-4). Let o = -73 - t. Suppose -o = -k - k. Is k a multiple of 15?
False
Suppose -m + 137 = -0*y - 5*y, 4*m + 4*y = 620. Let r = -83 + m. Is r a multiple of 28?
False
Does 12 divide -61*-1*(5 + -4)?
False
Let g be -6*(15/(-6) + 2). Let i(h) = 4*h + 3. Let x be i(-3). Is 16 a factor of 6/x*g*-8?
True
Suppose -8 = -2*p + 6*p. Let i = 7 + p. Is i a multiple of 2?
False
Let h = -1 - -10. Suppose 3*m - 3*i - h - 3 = 0, -3*i - 21 = -4*m. Is 4 a factor of m?
False
Suppose 3*m - 5 = 2*m. Suppose -m*b + 50 = -65. Is 19 a factor of b?
False
Suppose 0 = -5*i - 25, 5*i = 3*h + 8 - 39. Let s(o) = 3*o**2 + o + 2. Let l be s(2). Let b = l - h. Does 6 divide b?
False
Let i(j) = j**3 - 8*j**2 + 2*j + 9. Is i(8) a multiple of 5?
True
Suppose 0*w = w + 4. Let j(u) = -2*u**3 - 6*u**2 + 2. Is j(w) a multiple of 17?
True
Suppose 2*k - 4*k = -180. Is 9 a factor of k?
True
Let z be 2514/21 + (-4)/(-14). Suppose 4 = -4*s + z. Suppose -3*f - 48 = -4*d + s, d = 2*f + 23. Is 16 a factor of d?
False
Let v(w) = -8*w. Let l be v(-1). Let a(f) = 2*f - 4. Is 12 a factor of a(l)?
True
Let s(l) = -15*l - 3. Is s(-3) a multiple of 14?
True
Suppose 18*u = 10*u + 1320. Is 24 a factor of u?
False
Let j(m) = -3 - 4*m**2 + 7 + 3*m**2 + 2*m**2. Is j(-4) a multiple of 19?
False
Suppose -2*n = -2*f - 26 - 6, -2*n + 41 = f. Does 3 divide n?
False
Let p = -3 - -6. Suppose -5*v - 110 = -2*a - 610, -v + 117 = p*a. Is 4/(-14) - v/(-14) a multiple of 5?
False
Let k(d) = 2*d**3 + 12*d + 1 - 12*d - 4*d**2 - 4*d**3. Suppose 12 = -2*j - 2*j. Does 14 divide k(j)?
False
Suppose -5 - 3 = -4*a. Suppose 0 = -a*i + i. Suppose i = -3*r + 9. Does 2 divide r?
False
Let y(i) be the second derivative of i**3/6 + 16*i**2 - 8*i. Is y(0) a multiple of 7?
False
Suppose -4*w + 356 = 2*h, 2*h - 267 = -3*w - 2*h. Is w a multiple of 18?
False
Suppose 0 = -v + 135 - 6. Is 12 a factor of v?
False
Let k be ((-10)/3)/(1/3). Let w be (24/k)/(15/50). Let h(s) = -s**2 - 10*s + 8. Is 24 a factor of h(w)?
True
Is (-4)/(-3)*63/6 a multiple of 6?
False
Does 34 divide (-9 + 4)*(-204)/10?
True
Let v(o) = o**2 + 7*o - 11. Is v(-10) a multiple of 19?
True
Let b(w) = 6*w**2 - w. Let r be b(1). Suppose -84 + 249 = r*c. Is 11 a factor of c?
True
Let c be (1 - -2) + (-3 - -2). Suppose -c*m = -m + 9. Let f = m - -19. Does 10 divide f?
True
Let r(w) = -50*w + 20. Is 55 a factor of r(-4)?
True
Let t = -24 - -101. Is t a multiple of 15?
False
Suppose -2*n + 10 = 0, n + 156 = 3*r - 157. Let d = 61 - r. Let j = -21 - d. Does 12 divide j?
True
Let k be (-7 + 2)*(-3 + 2). Let j be k/((-10)/(-6)) + 17. Suppose -3*q - j = -4*q. Is q a multiple of 19?
False
Suppose 0 = -0*b + 2*b - 4. Suppose b*m - 57 = -m. Is m a multiple of 9?
False
Suppose -2 = 4*y - 18. Suppose -241 - 4 = -5*j. Suppose 17 - j = -y*r. Is r a multiple of 8?
True
Suppose -20 = h - 6*h. Let l(d) = d**2 + 2*d - 1. Does 10 divide l(h)?
False
Suppose -5*b - 6 = -3*n + 6, 2*b - 12 = -3*n. Suppose -28 = -b*p - 4*p. Is p a multiple of 7?
True
Let b(t) = 0*t**2 + 3 - 12*t + 4*t**2 + 16*t. Does 15 divide b(-3)?
False
Suppose p - 2*p = 1, -4*m + 5*p = -181. Let h = m - 23. Does 7 divide h?
True
Suppose -5*h = 4*i + 1, -4*h + 0*h + 4 = 2*i. Suppose -4*a + 56 - 15 = 5*d, -d - h = -2*a. Suppose -l - 4 = 0, w = d*l + 15 + 17. Is 12 a factor of w?
True
Let v = -14 - -32. Is v a multiple of 4?
False
Let c = -102 + 168. Is 20 a factor of c?
False
Let s = 0 + -1. Is s/5 + 273/15 a multiple of 14?
False
Let t = -12 + 94. Is 13 a factor of t?
False
Let x(u) = 3*u - 15. Is x(14) a multiple of 19?
False
Let m(o) = -2*o. Is m(-5) a multiple of 3?
False
Is 20 a factor of (0 + 3)/((-4)/(-84))?
False
Suppose 2*h + 2*h - 108 = -2*y, -2*y = -3*h - 143. Does 18 divide y?
False
Suppose z + 5 = v, v + 0*z = 2*z + 6. Let y(r) = -r**3 + r**2 + 3*r + 5. Let s be y(v). Let c = 57 + s. Does 13 divide c?
True
Suppose 284 = 7*k + 81. Does 5 divide k?
False
Let d = 24 - 36. Does 2 divide (-6)/(-4)*(-24)/d?
False
Suppose z - 276 = -2*z - 2*g, -4*z = -3*g - 351. Is z a multiple of 30?
True
Does 12 divide (-4)/84*-9 + (-2259)/(-21)?
True
Let h = 18 - 16. Suppose 5 = -l, 5*c - h*l - 260 = -4*l. Is 19 a factor of c?
False
Does 43 divide 387/6*(-8)/(-12)*2?
True
Let n(x) = -2*x - 7. Let m be n(-5). Does 5 divide m/(-2)*(-66)/9?
False
Suppose 0 = -r + 5*r + 304. Let v be (12/(-8))/(3/r). Let x = v - 20. Does 18 divide x?
True
Let k(j) = -j**3 - 2*j**2 - 2*j + 4 - 2 + j. Let s be k(-2). Suppose s*d - 25 = 27. Does 12 divide d?
False
Suppose 2*q = -0*q + 4. Suppose -n = -3*i + 2*i + 67, -n - 132 = -q*i. Does 19 divide i?
False
Suppose 0 = -s + 71 + 13. Does 12 divide s?
True
Let l be 10/(-4)*(-8)/10. Suppose l*t - 19 = t. Suppose 3*c - t = -4*m, 7*m + 20 = 3*m. Does 11 divide c?
False
Suppose 4*l = 5*l. Suppose l = -w + 5*w - 72. Is w a multiple of 8?
False
Let b = -1 - -3. Suppose 4*s = b*z - 6, -5 = -2*s + 5. Does 9 divide z?
False
Let k = 76 + 50. Does 9 divide k?
True
Let y = -2 - -5. Suppose 72 = y*q - 3. Does 7 divide q?
False
Let o = 545 + -125. Is 28 a factor of o?
True
Let f be 42/((-2)/4 + 2). Let u = f + -19. Is u a multiple of 9?
True
Let v(k) = -k**2 + 4*k + 5. Let g be v(5). Suppose -2*f - f + 468 = g. Suppose f = s + 3*s. Does 14 divide s?
False
Let o = 11 - 1. Is 7 a factor of (-3)/3 + o - 2?
True
Let x = 93 + -48. Is 12 a factor of x?
False
Suppose -3*q = -39 - 33. Let u = q + 2