f 4?
True
Let i = 40 + 3. Does 16 divide i?
False
Suppose -5*r - 2*s = 16 + 3, 14 = -4*r - 2*s. Suppose -k - 15 + 2 = 0. Let j = r - k. Is j a multiple of 4?
True
Let b(j) = 44*j - 10. Let f(t) = -29*t + 7. Let l(p) = 5*b(p) + 7*f(p). Let u be l(2). Let s = 77 - u. Does 17 divide s?
False
Suppose w - 3 = 32. Let q = 5 + w. Does 20 divide q?
True
Let y be (-4)/(-20) - (-104)/5. Suppose -4*f - 2*k = -31 - y, 0 = -2*k - 8. Suppose s + q - f = 0, 4*s + 2*q - 66 = -0*q. Is s a multiple of 9?
True
Suppose -2*m + 1 = -5*m - 2*z, -2*m + 3*z = -21. Let s(b) = 100*b**2 - b - 1. Let l be s(-1). Suppose -m*k - 28 + l = 0. Is 12 a factor of k?
True
Let p(s) = -9*s + 1. Let k be p(-3). Suppose 7*i - 3*i - k = 0. Is i a multiple of 7?
True
Let v be 1*21/(-9)*-3. Suppose -h - v*u + 3*u = -16, h - 5*u = 43. Is 7 a factor of h?
True
Suppose k = -5*w + 13, 0*w - w - 1 = -k. Let q = -18 - -26. Suppose s + k = q. Is s even?
False
Let i be 21/(-14)*(2 - 22). Does 10 divide i*1*(-14)/(-21)?
True
Suppose -2*q + 1062 = 5*x, 2*x - x = -3*q + 202. Is x a multiple of 11?
False
Suppose -3*a = -0*a + 96. Let d = a - -56. Is d a multiple of 9?
False
Let g(f) = -f**2 + 17*f - 19. Is 3 a factor of g(15)?
False
Let i(b) = 12*b**2 + 3*b + 15. Is 30 a factor of i(5)?
True
Suppose 2*w = -3*w. Suppose 3*n + 5*i - 55 = w, n = 2*i + 2*i - 10. Does 5 divide n?
True
Let c(l) = 102*l. Is 17 a factor of c(1)?
True
Suppose 0 = t - 2 - 2. Let z be 174/(-11) + t/(-22). Let q = -5 - z. Is 9 a factor of q?
False
Is (0 - -3)/(6*1/70) a multiple of 7?
True
Let d = 7 + -6. Let h(u) be the third derivative of u**6/10 + u**5/30 - u**4/24 - 2*u**2. Is h(d) a multiple of 5?
False
Suppose 0 = -3*r - 3*d - 30, 2*r + 27 = 5*d. Let q = 0 - r. Does 11 divide q?
True
Suppose 6*t = 4*i + 2*t - 40, 0 = 4*i - 3*t - 41. Suppose -x + 7 - 14 = 4*m, -i = -3*x + 4*m. Does 13 divide (-13)/(-2)*(3 - x)?
True
Let y = -7 + 5. Is 6/(y + -1) - -10 a multiple of 5?
False
Let l = -15 - -11. Let k be (-2 - l) + 1*13. Suppose 26 = w - k. Is w a multiple of 16?
False
Let h = -421 + 607. Is 31 a factor of h?
True
Suppose 8*b - 3*b - 55 = 0. Is 25 a factor of (-2)/b - 4080/(-55)?
False
Let r = -1 + 9. Is r even?
True
Let i(z) = -z**2 + 13*z + 20. Is i(14) a multiple of 6?
True
Suppose 3 = 5*l + 3*v + 5, -l - 4*v = 14. Suppose 5*t = -3*o + 6, 3*o - 2*t = l*t + 33. Is 7 a factor of o?
True
Let t(m) = m**2 - 7*m - 23. Does 15 divide t(-7)?
True
Let p(x) = -x**2 - 9*x - 10. Let c be p(-7). Suppose -5*n - 2*a + 10 = 0, 3*n - a = c*a + 6. Suppose n*q = -0*r + 3*r + 52, -4*q - r + 90 = 0. Does 6 divide q?
False
Let a(g) = -g**3 + 6*g**2 + 2*g - 2. Let u(w) = 5*w**2 - w. Let o be u(-1). Does 10 divide a(o)?
True
Suppose 0 = l + 4*h + 6, l = 2*h - h + 4. Suppose -3*w - 3*o + 105 = 0, -l*w - 5*o + 28 + 48 = 0. Is 13 a factor of w?
False
Let f = -4 + 6. Is ((-1)/f)/((-2)/36) a multiple of 3?
True
Is 3 a factor of (-2)/(-8) - ((-189)/12 - 3)?
False
Suppose 6*r - 7 - 35 = 0. Does 2 divide r?
False
Let f be -39 + 4 + -2 + 1. Does 2 divide f/(-8)*(-12)/(-9)?
True
Let y(f) = 74*f - 6. Let d be y(4). Let x = -161 + d. Suppose 71 = 5*k - x. Is k a multiple of 20?
True
Suppose -28 = -5*n - s - 6, 35 = 4*n - 5*s. Suppose -n*d + 15 = 0, -32 = -r - 2*d + 1. Is 12 a factor of r?
False
Suppose 2*c - 55 - 113 = 0. Is 14 a factor of c?
True
Suppose -a + m + 1 + 0 = 0, 4*a - 3 = 5*m. Let r(i) = 1 - 5*i - 2*i - 2*i**2 + i**a. Is r(-5) a multiple of 4?
False
Let w = 0 + 0. Let i(f) = 3*f**2 + 3*f - 64. Let k(b) = 2*b**2 + 2*b - 43. Let d(m) = -5*i(m) + 7*k(m). Does 19 divide d(w)?
True
Let f(a) be the second derivative of -a**2 - 5/12*a**4 + 0 - 1/3*a**3 - 3*a - 1/20*a**5. Does 3 divide f(-5)?
False
Let j(d) = d**2 - 6*d + 16. Does 9 divide j(9)?
False
Let v(l) = -l. Is v(-15) a multiple of 15?
True
Let d(u) be the second derivative of -u**5/20 + u**4/2 + 5*u**3/6 - u**2 + 4*u. Let f be d(6). Let k = 88 - f. Is 25 a factor of k?
False
Let n be (-6)/4*16/(-3). Let c = -6 + n. Does 3 divide (-4 + -2)/(c/(-2))?
True
Let f = -33 - -51. Let i = 5 + -9. Let k = f - i. Is k a multiple of 11?
True
Suppose -j + 4*j + 15 = 0. Let b = 345 + -521. Does 18 divide b/(-10) - 2/j?
True
Suppose 2*u - 3*n + 11 = 3*u, -3*u + 3*n + 93 = 0. Is u even?
True
Suppose 7*g - 4*g - 99 = 0. Does 12 divide g?
False
Let l be ((-153)/(-18))/((-2)/24). Let z = -21 - -15. Does 4 divide (-4)/z - l/9?
True
Let v(q) = -5*q**2 + 2*q**2 + 2 - q**3 + 1. Let b be v(-3). Suppose 2*i = -3*z + 7, 5 + 13 = 3*i + b*z. Is i a multiple of 11?
True
Suppose 0 = -0*b + 10*b - 20. Let o(r) be the first derivative of 11*r**3/3 + r**2/2 - 2*r + 1. Is o(b) a multiple of 23?
False
Suppose -4*s + 5*a + 22 = -3*s, 44 = 2*s - a. Does 14 divide s?
False
Suppose -2*v + 4*v = 8. Is v a multiple of 2?
True
Let t(y) = -y**3 - 7*y**2 - 9*y - 7. Suppose -d = k + d + 13, -2*k - 20 = 2*d. Let h be t(k). Does 2 divide (-2)/(-6) - h/(-12)?
False
Suppose 5*v = 20, t - 2*t - 4*v = -29. Does 2 divide t?
False
Is (-1121)/(-5) + (-148)/(-185) a multiple of 10?
False
Let f = 149 - 83. Suppose 5*i - 186 = -f. Is i a multiple of 13?
False
Suppose -4*n = n + 1400. Let u = 796 + n. Is 23 a factor of u/9 - 2/(-3)?
False
Suppose 0 = -4*j - 5*o + 30, -j + 4*o - 3*o = -3. Suppose 0 = j*y + 32 + 58. Let s = y + 27. Is 3 a factor of s?
True
Let y = -8 + 7. Is (y - (1 - 18))/1 a multiple of 8?
True
Let m(d) = -d - 1. Let z be m(-8). Let a = -8 + z. Is 5 a factor of a/(-4) + (-38)/(-8)?
True
Suppose -5*x - 90 = 2*y - 7*y, x - 70 = -3*y. Is y a multiple of 4?
False
Let s(x) = -x - 1. Let l be s(0). Let d be -17 + l + (0 - 0). Let q = d + 26. Does 4 divide q?
True
Suppose h + 53 = -5*k + 144, 2*h + 3*k = 147. Is 11 a factor of h?
True
Suppose 0 = 4*d + d. Is -68*((-1)/2 + d) a multiple of 17?
True
Let b = -8 + 11. Suppose -4*m = -b*k - 2 - 22, 2*k - 26 = -2*m. Is 9 a factor of m?
True
Let c(g) = -g**3 - 6*g**2 + 6*g. Let p be c(-7). Let n = 11 - p. Is 10 a factor of -3 + n/((-8)/(-58))?
False
Let p = 74 - 46. Let n = -64 - -46. Let j = n + p. Does 5 divide j?
True
Let o be ((-3)/(-4))/((-2)/(-16)). Suppose 0 = 2*w - 0*w. Suppose w = 5*l - 5, -o*t + 86 = -t - 4*l. Is 9 a factor of t?
True
Let k be (-3)/(18/(-10))*3. Suppose z - 14 = -3*p, 0*z + k*z - 6 = p. Does 4 divide p?
True
Suppose -n - 2*n = -15. Is 5 a factor of n?
True
Let s(u) = u**2 + 3*u - 16. Is s(-7) a multiple of 2?
True
Suppose -18 = 4*m - 2. Let t = m - -4. Is t + (2 + -4 - -12) a multiple of 5?
True
Let n = 22 + -20. Let p = 8 + n. Does 6 divide p?
False
Suppose -m - 5*l + 41 = 0, -4 + 6 = -2*l. Is m a multiple of 38?
False
Let a = -90 - -136. Suppose -a = -5*h + 39. Is h a multiple of 5?
False
Is 9*(-1)/(-3) - -36 a multiple of 13?
True
Is (288/2)/((-18)/(-12)) a multiple of 32?
True
Suppose 5*x - 11*x + 102 = 0. Is 17 a factor of x?
True
Suppose 117 = 3*x - 0*x. Is x a multiple of 12?
False
Let d be -2*(-1 - (2 + -2)). Let z(l) be the third derivative of l**6/30 - l**5/20 + l**4/6 - l**3/3 - l**2. Does 13 divide z(d)?
True
Let k(o) = -7*o - 1. Let a be k(-1). Suppose 0 = -2*w + a + 42. Is w a multiple of 6?
True
Suppose -5*k + 23 = 2*d - 0*k, 5*d + k - 23 = 0. Suppose -d*i + 12 = -0*i. Suppose i*l = 2*o + 72, 4*l + 2*o - 82 = -0*o. Is 22 a factor of l?
True
Suppose -3*j + n + 0*n + 8 = 0, 2*j - 3*n - 10 = 0. Suppose g = -j*g. Suppose 0 = 3*k - g*k + 5*x + 4, 2*k - 9 = -x. Is k a multiple of 7?
True
Suppose -4*m - t = -m - 168, 0 = -4*t - 12. Does 12 divide m?
False
Let x(q) = -q**2 + 9*q. Suppose 2*b - 4*o = 78, 5*b + 4*o - 2*o = 135. Suppose -3*c = 2*i - b, -4*c = -20 - 0. Is 10 a factor of x(i)?
False
Let n be -1 - 1 - (-993)/3. Suppose 0*d - 2*s + n = 5*d, -5*s = -5*d + 315. Does 14 divide d?
False
Let n = 1 - -4. Suppose -14 = -n*r - 4. Is (1 - 2)/(r/(-10)) a multiple of 4?
False
Suppose -4*p - 3*t + 139 = 0, -4*t + 104 = 3*p - 2*t. Does 15 divide p?
False
Suppose 2*d + 0*k = -4*k - 4, -5*d = -3*k - 16. Let z be ((-1)/d*-4)/1. Suppose 0 = -n + z + 20. Is n a multiple of 11?
True
Let h(y) = -y**3 + 4*y**2 - 2*y. Let q be 6*(0 - 4/(-8)). Does 2 divide h(q)?
False
Let l = -1 + 3. Suppose 0 = -28*k + 26*k. Suppose k = 2*i + l*i - 12. Is i a multiple of 3?
True
Let u = 372 - 264. Is u a multiple of 27?
True
Let n = 65 + -36. Let m(p) = -p**2 + 3*p - 5. Let r be m(5). L