i(-21)?
True
Suppose 2*f = 20 + 124. Is (f/10)/((-3)/(-20)) a multiple of 16?
True
Let y = -1 + -6. Is 6 a factor of (3 + -1)*y/(-2)?
False
Let f(r) = r**2 + 7*r - 5. Suppose 3*x - 7*x - h + 17 = 0, 0 = 3*x + 2*h - 14. Let i be f(x). Suppose 0 = 4*b + 7 - i. Does 8 divide b?
True
Let c(o) be the first derivative of 1 - 5*o + o**2 + 1/3*o**3. Does 3 divide c(-4)?
True
Let f be (2/5)/((-2)/(-30)). Suppose f*u = 2*u + 24. Does 3 divide u?
True
Let o = 33 + -20. Is o even?
False
Let d(t) = -t**3 + 4*t**2 + 4*t - 6. Let b = 10 + -6. Is d(b) a multiple of 10?
True
Suppose 0 = -c + 3 - 5. Let v = c - -8. Suppose v*t = t + 90. Is 13 a factor of t?
False
Let k(m) = 2*m**2 - 3*m + 1. Let a be k(2). Let s be -2 + 2 + -1 + a. Suppose -5*y - s*n = -7*n - 45, 4 = y - 2*n. Does 12 divide y?
False
Let o(c) = 5*c - 7. Let z(k) = -k - 1. Let y be z(-6). Let r(j) = -9*j + 14. Let g(n) = y*o(n) + 3*r(n). Is 11 a factor of g(-8)?
False
Let j(r) = r**3 - r**2 - r + 4. Let c be j(0). Let h = c - 2. Is -1 + (h - (-12 + 0)) a multiple of 13?
True
Let w be (1/(-3))/((-8)/144). Let q(m) be the third derivative of -m**6/120 + m**5/10 + m**4/8 - m**3/2 + m**2. Is q(w) a multiple of 5?
True
Let r(l) = 4 - 5 + 9 + 9*l + l**2. Let j be r(-7). Is 9/6*(-104)/j a multiple of 13?
True
Let g = -119 + 83. Is 8 a factor of 1 - (5 + -3) - g?
False
Suppose -5*c + 192 + 158 = 0. Is c a multiple of 7?
True
Let t(h) be the second derivative of -3*h**5/10 + h**3/6 - 2*h. Let v be t(-1). Suppose 5*d + 45 = v*i, -d - d = 3*i - 52. Does 8 divide i?
False
Suppose 0 = -k + 4*k + 195. Let b = -109 - -9. Let n = k - b. Does 12 divide n?
False
Let c be (-1)/((3/(-9))/(-1)). Let d(w) be the second derivative of -w**5/20 - w**4/6 - 5*w**3/6 - 2*w**2 - w. Does 20 divide d(c)?
True
Is 10 a factor of 3/(69/30 - 2)?
True
Suppose -2 = 4*i - 38. Let a(z) = -z**3 + 10*z**2 - 7*z + 6. Is 8 a factor of a(i)?
True
Let j(q) = -q**3 + 6*q**2 + 10*q + 3. Does 12 divide j(7)?
True
Let x(q) = 3*q**2 - 32*q - 15. Is 45 a factor of x(15)?
True
Let c(d) = d**3 - d**2. Let p be c(3). Let h = -8 + p. Let l = h + -3. Is l a multiple of 2?
False
Let o(i) = -i**3 - i**2 + 2*i + 2. Let n be o(-2). Suppose 0*p = 5*p - 10. Let f = p + n. Is 4 a factor of f?
True
Let j = -193 - -314. Is j a multiple of 11?
True
Let t(o) = -o + 8. Let i be t(6). Suppose 0 = 2*h - 0 + i. Does 9 divide (h - 1) + 0 + 20?
True
Let c = 735 + -514. Does 14 divide c?
False
Let c(d) = -6*d + 2. Let v be c(-4). Let x be (-10)/(-15) - v/(-6). Suppose -4*f + 90 = 2*s, 61 = x*s - 4*f - 108. Is 15 a factor of s?
False
Let i be 2/5*15/(-3). Let o be i/(-5) - (-36)/(-15). Is 8 a factor of (46/8)/(o/(-8))?
False
Suppose 0 = g + 1 - 3. Suppose 5*r - g*r + 15 = 0. Let v(c) = -c**3 - 5*c**2 - 3*c + 3. Is 9 a factor of v(r)?
True
Let t(x) = -5*x**2 - 3*x + 2. Let g be t(6). Let b = -124 - g. Suppose -8 = -5*p + b. Does 7 divide p?
False
Is 11 a factor of 1/(-1)*((-5 - 117) + 1)?
True
Suppose 0 = 2*i + y + 1, 5*y = -4*i + 7*i - 31. Suppose -3*b - 5*d = -27, -3*b - 2*b - i*d = -64. Is b a multiple of 7?
True
Let h(w) = -w**3 + 21*w**2 + 25*w + 9. Is 5 a factor of h(22)?
True
Suppose 19 = 2*u - u. Suppose -5*j = 2*x + 3*x + 85, 2*j + u = -x. Let h = -8 - x. Is h a multiple of 4?
False
Suppose -44 = 5*x - x + 5*p, -4*x + 3*p - 44 = 0. Let t = 15 + x. Is t even?
True
Let q be 4/2 - (-1 - -3). Suppose -4*k = 5*j - 70, q*j = 2*k - j - 42. Does 20 divide k?
True
Does 19 divide ((-1)/2)/(9 - (-8697)/(-966))?
False
Suppose -m = 3*c - 139, -5*m + 23 = 2*c - 48. Is c a multiple of 7?
False
Suppose 10*p = 5*p. Is -1 + (5 - p/1) a multiple of 2?
True
Let n = 8 + 5. Is n a multiple of 6?
False
Let l(x) = 2*x**3 - 6*x**2 + x. Does 17 divide l(4)?
False
Suppose -2*f = -0*f - w + 30, -w = 2*f + 34. Let p(s) = -3*s - 16. Does 16 divide p(f)?
True
Let q(b) = b**3 + 2*b**2 - 7*b - 5. Let g be q(-4). Let p = -7 - g. Is (-9)/3 - -14 - p a multiple of 3?
True
Let m = 72 - 29. Let j be (-4)/(-14) + (-163)/7. Let g = m + j. Does 11 divide g?
False
Let t(g) = 6*g**2 + 4*g - 11. Is 13 a factor of t(5)?
False
Let n = -30 - -187. Suppose n = 4*c - 19. Suppose -2*h - 4*j = 2, -4*h = -5*j + j - c. Is h even?
False
Suppose 4 = 3*r - 5. Is 2 a factor of r?
False
Let f(g) = g**2 - 3. Is 6 a factor of f(-4)?
False
Suppose -2*z = q - 3*q + 372, 3*z = 2*q - 371. Is q a multiple of 52?
False
Suppose t = 2*t - 5. Suppose t*k = 2*k. Suppose k*c - 4*c + 26 = v, 0 = -v + 4*c + 10. Is 9 a factor of v?
True
Let d(f) be the third derivative of f**4/24 + 16*f**3/3 - 11*f**2. Suppose -4*h + 0*h + 3*u = 0, 2*h + 4*u = 0. Is d(h) a multiple of 13?
False
Let a(l) = -l**2 - 8*l - 7. Let m be a(-6). Suppose 5*s - 2*p - 2*p - 37 = 0, -m*s = p - 47. Does 9 divide s?
True
Let d be 4 + -7 - 1*-5. Suppose 6 = i - 0*i + 2*p, p = d*i - 12. Does 6 divide i?
True
Suppose j - 327 = -2*a, -j = 16*a - 20*a + 669. Is 13 a factor of a?
False
Suppose -y - 3 = 4*x, -4*y - 4*x = -5*y + 13. Suppose -v = 4*l - y, -2*v = l + 2*l. Suppose 0 = -4*k + 5*o + 67, -4 = -k - l*o + 3. Is 8 a factor of k?
False
Let g(y) = y**2 + 2*y + 1. Let u be g(-3). Suppose -6 = 3*b + 3*j + j, u*j = -b - 2. Let p = b - -7. Does 5 divide p?
True
Suppose 0 = -105*x + 106*x - 70. Is 14 a factor of x?
True
Let u(c) = 218*c**2. Let w be u(1). Suppose -5*n = -w + 88. Is 15 a factor of n?
False
Let c be (-7 - -1)*5/2. Is ((-42)/c)/((-3)/(-15)) a multiple of 7?
True
Does 51 divide -2 - ((-4966)/14 + (-22)/77)?
False
Let j(p) = p**3 - 14*p**2 + 11*p + 19. Let r be j(13). Let s = r + 14. Is s a multiple of 7?
True
Suppose -5*c = -2*s + 5*s - 316, -3*s + 320 = 4*c. Is 16 a factor of s?
True
Is 7 a factor of (-5)/20 + (-22)/8 - -157?
True
Let w be (-18)/(-5) - 4/(-10). Suppose 5*x - 3*q + 10 = 0, 23 = -x + 4*q + w. Let s = 3 - x. Does 2 divide s?
True
Suppose -5*r + 335 = -0*q + 5*q, 333 = 5*q + 3*r. Does 22 divide q?
True
Let h(l) = -2*l**3 - 11*l**2 + 7*l. Let y(t) = -3*t**3 - 12*t**2 + 8*t + 1. Let g(p) = -4*h(p) + 3*y(p). Does 12 divide g(7)?
True
Let v = 82 + -54. Is v a multiple of 7?
True
Let h = 6 - -1. Is 5 a factor of h?
False
Is 355/10 - (-2)/4 a multiple of 15?
False
Suppose 21 = -g + 6. Let b be (-70)/g + (-2)/(-6). Suppose -b*x + 98 = -72. Is 17 a factor of x?
True
Suppose 0 = -4*o + o + 3*a + 12, 18 = 5*o - 4*a. Does 7 divide o/5 + (-66)/(-10)?
True
Suppose 4*s - 6*s = 0. Let l = 7 - s. Is 6 a factor of l?
False
Let u = -1 + 7. Let p(t) = 3*t**2 + 3*t + 6. Let s be p(u). Suppose 48 = 4*a - s. Does 19 divide a?
False
Let l(z) = z - 11. Let h be l(-8). Let b = h + 36. Does 17 divide b?
True
Let n(w) = 9*w**2 + 2*w + 2. Does 7 divide n(-1)?
False
Let k(x) = 43*x - 7. Is k(1) a multiple of 9?
True
Let q = 35 - 12. Is q even?
False
Let r(h) = -5*h. Is 10 a factor of r(-8)?
True
Let q(s) = s**3 + 8*s**2 + 10*s + 15. Let r be -3 + -6 + (1 - -2). Is q(r) a multiple of 9?
True
Does 8 divide (-55)/(45/(-42) - 4/(-7))?
False
Let b(k) = k**3 + 9*k**2 + 4*k + 1. Is b(-8) a multiple of 10?
False
Let c(v) = -3*v**2 - v. Let d be c(-1). Let y = 7 + d. Suppose 55 = 4*u - y*z, 0*z = -2*u + 3*z + 27. Is u a multiple of 15?
True
Let s be (2/(-4))/((-4)/(-856)). Let q = s - -188. Does 20 divide q?
False
Let z(j) = 3*j**2 - 5*j + 5. Does 11 divide z(4)?
True
Let w(v) = -2*v - 4. Suppose -3*p - 4*m = 5, 3*m - 6 = 2*p + 3. Let c be w(p). Suppose 5*o - 4*t = 175, -c*o + 58 = -3*t - t. Does 13 divide o?
True
Let q = 10 + -4. Suppose q*f = f + 145. Is 11 a factor of f?
False
Let u = 109 + -37. Suppose -2*y - y = -u. Is y a multiple of 18?
False
Let f = 278 - 191. Let g = f + -60. Is g a multiple of 8?
False
Let a(l) = -l**2 + 12*l - l - 3 - 2*l. Let s be a(6). Does 9 divide 4/(-10) - (-276)/s?
True
Suppose -r + 10 = 4*r. Suppose -3 = r*b + 19. Is 16 a factor of ((-6)/(-5))/(b/(-385))?
False
Suppose 0 = -3*v - 2*v + 1005. Does 32 divide v?
False
Suppose 5*d = -2*w + 519, -3*w - 33 = -2*d - 840. Is 40 a factor of w?
False
Let f be 18/(-2) + (-4 - -1). Let u = f - -20. Is 6 a factor of (-21 + 5)*(-6)/u?
True
Let l(r) = r - 5. Let n be l(6). Let d = -3 - -3. Suppose d = c - n, 0*c = -5*s - c + 61. Does 6 divide s?
True
Suppose -4*l - 19 = -299. Suppose q = -5*i + 1, 2*i + q - 1 = -0*i. Suppose -x - x + l = i. Is 14 a factor of x?
False
Suppose -31*t + 1032 = -28*t. Is t a mult