+ c. Is 3 a factor of f?
True
Let y be (-1 - 1) + 1 + 1. Suppose 0 = 3*k - y*k - 114. Is k a multiple of 16?
False
Is 5 a factor of (-30)/(-4)*(2 + 0)?
True
Suppose 0*y - 2*u + 208 = 3*y, -5*y + 350 = 5*u. Is y a multiple of 18?
False
Suppose -22 = -3*x - 91. Let v = -14 - x. Is v a multiple of 5?
False
Let u(j) = j**3 - 8*j**2 - 5*j - 13. Let r be (-18)/(-2) + (0 - 0). Is u(r) a multiple of 14?
False
Suppose 2*f - 15 = j + 4*j, 0 = 5*f + 5*j - 20. Suppose 0 = -x - 3*m + f, -7 = -3*x + 3*m + 20. Is x a multiple of 4?
True
Suppose u - 4*w - 8 = 0, 13 = -3*u + 5*w + 51. Suppose -1 = -o - 2*s, 2*o - 4*s = -2*o + u. Is 3 a factor of o?
True
Let x(m) be the third derivative of -m**6/120 - m**5/30 + m**4/24 + m**3/3 + 3*m**2. Is x(-3) a multiple of 5?
False
Suppose -4*u = 5*i - 0*u + 5, 0 = -u - 5. Let m be (4/3)/(1/i). Suppose 0 = -v - 4*z - 6, 2 = 5*v + m*z - 0. Is v even?
True
Let s be ((-1)/3)/((-10)/150). Let b = 4 + s. Does 2 divide b?
False
Suppose 0 = 3*l - 7*l + 12. Suppose 3*f - 33 = l. Does 4 divide f?
True
Suppose 76 = -2*s + 4*s - 2*q, 3*s - 4*q - 115 = 0. Is s a multiple of 18?
False
Suppose -5*d + 5 = 0, -698 = -0*g - 5*g + 2*d. Does 14 divide g?
True
Let d be (3/(-9) + 0)*-9. Suppose 3*s = d, -3*p - s + 6*s = -79. Is p a multiple of 14?
True
Suppose -65 = -6*t + 5*t. Is t a multiple of 13?
True
Suppose o - 2*o = 0. Suppose 3*q - 3*g - 33 = o, q - 4*g = -2*g + 6. Is q a multiple of 8?
True
Suppose -8*f - 205 = -1637. Is f a multiple of 14?
False
Suppose 5*u + s = 12, 4*u + 6 = 5*u + 2*s. Let o be (0/(-1))/(2/2). Suppose -u*i = -o*i - 8. Is 2 a factor of i?
True
Let j(s) = 17*s - 12. Does 35 divide j(5)?
False
Suppose -3*d + 14 = 2*c - 3, 4*c - 13 = d. Is (2/4)/(c/208) a multiple of 13?
True
Let v(d) = -2*d - 10. Is v(-8) a multiple of 2?
True
Suppose 4*i + 3*u = -i - 7, -2*i + 5*u = 9. Is 15 a factor of (-27 + (-1 - 2))/i?
True
Let g(n) = -n - 7. Let w be g(-8). Let l = w + -1. Suppose -b - 5*v - 4 = l, 4*b = -b - 5*v + 40. Is b a multiple of 4?
False
Suppose 5*a - 227 - 53 = 0. Is a a multiple of 7?
True
Suppose 16 = 2*y - 3*g, y + 2*g = -y - 4. Suppose 3*r - 5*r = -208. Suppose r = -0*c + y*c. Is c a multiple of 18?
False
Suppose 0 = 11*l + l - 192. Does 4 divide l?
True
Let k(c) = -5*c**2 - 7*c - 10. Let s(g) = 14*g**2 + 20*g + 29. Let n(m) = -17*k(m) - 6*s(m). Is n(-3) a multiple of 8?
True
Let w(l) = l**3 - 2*l + 39. Is w(0) a multiple of 13?
True
Let o(j) = -j**3 - 2*j**2 - 2*j + 1. Let g be o(-2). Suppose 0 = l - g*c - 41, -l + 3*c + 39 - 6 = 0. Is l a multiple of 9?
False
Suppose 3*w = b + 77, w - 5*w + 88 = -5*b. Does 13 divide w?
False
Suppose 7 = p - z, -3*z = 3*p - 8*p + 33. Suppose -2*r + p*r - 200 = 0. Does 11 divide r?
False
Let y(v) = 5*v**2 + 6*v + 13. Is 6 a factor of y(-4)?
False
Suppose -7 = -r - 4. Suppose k - 5*n - 27 + 12 = 0, r*n - 47 = -5*k. Does 10 divide k?
True
Let n = 156 + -11. Does 29 divide n?
True
Suppose 7*n = n - 198. Is (-4)/(-4) - (n - 2) a multiple of 6?
True
Let z be (13 - 1)*7/4. Suppose -2*r = 4*q + z - 75, -5*r = 2*q - 119. Is 23 a factor of r?
True
Let q be 125/(-10)*(-8)/10. Is 126/90 + 6/q even?
True
Suppose -5 = 5*k - 5*d, -2*d - d + 19 = 5*k. Suppose -1 = -k*h - 5*o - 3, 4*o + 12 = h. Suppose 0 = h*l - 67 - 77. Is l a multiple of 18?
True
Let c(n) = 11*n**2 + 7*n**2 + 2*n**2 + 4*n - 6*n**2. Is c(-2) a multiple of 16?
True
Suppose 4*d + 5*j = -d + 25, -4*d + 4*j = 4. Let k(w) = 3*w**2 + 6*w - 3. Let y(x) = x**2. Let l(o) = d*y(o) - k(o). Is l(-5) a multiple of 4?
True
Let b = -16 + 7. Is 6 a factor of (12 + -2)*b/(-15)?
True
Let m = 25 + -13. Is m a multiple of 3?
True
Suppose -19 = -4*c + 61. Suppose 0 = -2*m - 0*m + 5*t + 29, 0 = 2*m - 2*t - c. Does 2 divide m?
False
Let w = 153 + -49. Is w a multiple of 16?
False
Let a be 5*(52/(-20) + 3). Suppose -22 = a*y - 148. Does 21 divide y?
True
Let j be (9/2)/(4/16). Suppose -w + 2*u + j = 3*w, w - 3*u = -3. Is 3 a factor of w?
True
Let h = 10 - 12. Is 14 a factor of (-83)/h + 3/6?
True
Suppose -3 + 42 = 3*d. Does 8 divide d?
False
Let o = -6 + 10. Let r(t) = 4 + t**2 - 1 - o*t + 0 + 0. Is 3 a factor of r(5)?
False
Let s = -19 + 33. Does 2 divide s?
True
Suppose -z = -0 + 2. Does 9 divide (z - -2 - -11) + -2?
True
Let a = 3 + 41. Does 8 divide a?
False
Let x(o) = 5*o**2 - 3*o + 2. Let a be x(4). Let m = a - 25. Is m a multiple of 13?
False
Let k be 12*3/(-6)*1. Let w be (-19)/4*(k - -2). Is ((0 - 0) + 1)*w a multiple of 5?
False
Let c be (0 - -9)*8/(-12). Let k(q) = -3*q - 4. Is k(c) a multiple of 8?
False
Let p(t) be the third derivative of -t**4/8 + t**3/6 + 4*t**2. Is 11 a factor of p(-7)?
True
Suppose -3*l + 5*f + 136 = 0, f + 68 = 2*l - 32. Is l a multiple of 23?
False
Let c be 21/(-6)*(-20)/35. Suppose 2*q = -c*x - 3*q + 5, 0 = 5*x - 5*q - 30. Is 3 a factor of x?
False
Let h(b) = -b**3 - 7*b**2 + 7*b + 17. Let k be h(-8). Suppose k + 131 = 2*s. Does 21 divide s?
False
Suppose 3*v - 3*w - 18 = 0, -3*v - 2*v + 2*w + 42 = 0. Is 5 a factor of v?
True
Let b(c) = 6*c - 4. Suppose 2*o - 6*o = -20. Is b(o) a multiple of 13?
True
Suppose -8*m + 96 + 448 = 0. Does 32 divide m?
False
Let m = -20 - -14. Let z be 6/4*(-8)/m. Does 15 divide -2*2 + z - -40?
False
Let t(u) = 15*u**2 - 20*u + 9. Let h(k) = 10*k**2 - 13*k + 6. Let x(m) = 8*h(m) - 5*t(m). Let l be x(2). Suppose 2*w + 1 = l. Is 3 a factor of w?
False
Let c be (6 + -6)*(-1)/2. Suppose g - 3 = -c. Suppose -4*z = g*p - 40, -3*z + 68 = z - 4*p. Is z a multiple of 13?
True
Suppose c - 6 + 2 = 0. Suppose c = -4*r + 20. Suppose 0 = 3*v - 0*v + 2*z - 44, -4*z = -r*v + 32. Is v a multiple of 5?
False
Let u(k) = -k**3 + 2*k**2 + 2*k - 5. Let a(l) = 5*l**3 - 9*l**2 - 10*l + 26. Let b = -1 - 1. Let t(v) = b*a(v) - 11*u(v). Is 15 a factor of t(5)?
False
Suppose -416 = -8*n + 128. Does 8 divide n?
False
Is (-12)/2*(-154)/28 a multiple of 11?
True
Let y be -2*(476/8)/(-7). Suppose 3*k = 2*b - 59 + y, 0 = b - 4*k - 26. Is 15 a factor of b?
False
Suppose 2*s + 70 = 3*a - 3*s, 0 = -4*a + 5*s + 85. Does 15 divide a?
True
Let f(m) = -2*m - 4. Let l be f(-6). Let w = l + -5. Does 12 divide (-450)/(-12) - w/2?
True
Let y = -5 - 1. Let j(n) = n**2 - n + 6. Does 24 divide j(y)?
True
Let o(k) = -k**2 + 17*k + 4. Is 8 a factor of o(12)?
True
Let q(n) be the second derivative of n**4/12 - n**3/3 - 2*n**2 - 3*n. Does 7 divide q(6)?
False
Let y = 30 - -30. Does 6 divide y?
True
Let z = 525 - 294. Is z a multiple of 35?
False
Suppose 0 = b + 5*p - 40, -2*b - 2*b - p = -84. Is 20 a factor of b?
True
Suppose -2*f - 3*f = 0. Suppose -5*y - 3*q + 56 = f, -2*y - 3*q = -17 - 9. Suppose -y = -2*d + d. Is d a multiple of 5?
True
Is 5 a factor of (-1)/(-2)*(1 + 52 - 3)?
True
Suppose 0 = g - 4*g + 4*x + 20, 0 = -g + 2*x + 6. Suppose g*h - 3*h - 195 = 0. Is h a multiple of 13?
True
Let l be (0/3 - -2) + -2. Let x(v) = v + 16. Is x(l) a multiple of 6?
False
Is (12/9)/(-1 + 124/123) a multiple of 27?
False
Suppose 3*h = 4*h - 96. Suppose 30 = 3*w - h. Is w a multiple of 18?
False
Let v(c) = -c**3 - 7*c**2 + 10*c + 7. Let g be v(-8). Let w(d) = d + 12. Let a be w(g). Let b(m) = 2*m**2 + 3*m + 1. Does 14 divide b(a)?
True
Let x(d) = 15*d - 15. Does 45 divide x(7)?
True
Let g be 10 + 8/(-12)*-3. Let i be 0 + (-3)/(3/(-28)). Suppose 4*a - g = i. Is 10 a factor of a?
True
Suppose -d + 2 = -0*d. Suppose 5*h - 520 = 3*l, h = -0*l + d*l + 104. Is 26 a factor of h?
True
Let p(c) = c**3 - 7*c**2 - 7*c - 5. Let y be p(8). Suppose y*d = 4*a + 200, d + 5*a - 33 - 21 = 0. Is d a multiple of 10?
False
Suppose -8 = -4*r + 36. Is r even?
False
Is 34 a factor of ((-20)/14 - -1) + (-22032)/(-252)?
False
Let z(k) = -4*k + 2. Let o be z(-1). Is (-636)/(-54) + o/27 a multiple of 3?
True
Suppose -5*d + 75 = -0*d. Suppose -d = -3*a + 9. Is 4 a factor of a?
True
Let j = -20 + 39. Suppose j = o - 47. Is 22 a factor of o?
True
Let t(m) = 4*m**2 - 1. Let x be t(1). Suppose -88 = -7*h + x*h. Does 22 divide h?
True
Suppose -5*c = 3*o - 276, -o + 3*o = 5*c - 291. Suppose 5*m = 8*m - c. Suppose 0 = 4*u - 161 - m. Is 15 a factor of u?
True
Suppose t = -3*f - 3*t + 22, -5*t = 3*f - 23. Let r(l) = 7*l - 4. Let n be r(f). Suppose 5*u - 4*u - n = 0. Is 19 a factor of u?
True
Suppose 0 = -0*x - 6*x. Let o(r) = -2*r**2 + 4*r - 3. Let a be o(2). Does 12 divide (-1 - x