*v - 24. Suppose m - v = 51. Does 12 divide m?
False
Suppose 2*w = 4*w - 3*k + 2, 0 = -2*w - k + 6. Suppose 3*c - 156 = -2*l - w*l, 3*c - 156 = 2*l. Is 4 a factor of c?
True
Let l(h) = 17*h**2 - 4*h - 4. Let d be l(-1). Suppose 11*r + 552 = d*r. Is r a multiple of 33?
False
Suppose -7*r = 20*r - 25461. Does 46 divide r?
False
Suppose 4*j + 2 = -2*a, -3*j + 2*a = 15 - 3. Let q be (-111)/(1/j + -1). Suppose -2*p + q = -2*i + 4*i, -i - 59 = -2*p. Does 15 divide p?
False
Suppose -3*l = -2*l + 14. Let u = l - -16. Suppose -u*q + 48 = 2*q. Is q a multiple of 5?
False
Let d(m) = -3 + 11 + 24 - 18*m. Is d(-6) a multiple of 20?
True
Let b(z) be the third derivative of z**5/12 + z**4/12 - z**3/6 - 12*z**2 - z. Let d be ((-1)/2)/(1/(-2)). Is 6 a factor of b(d)?
True
Suppose -440 = 3*k + 415. Let i = k + 533. Is 28 a factor of i?
False
Suppose -4*v - 23*f + 702 = -25*f, 5*f + 339 = 2*v. Does 10 divide v?
False
Let g(t) = t**3 - 5*t**2 - 5*t - 1. Let n be g(7). Suppose 10*u - 18 = n. Is u even?
True
Suppose 41*a - 57*a = -960. Is 30 a factor of a?
True
Let s(t) = -t**3 + 21*t**2 + 8*t + 8. Does 22 divide s(21)?
True
Let z(a) = 8*a**2 - 12*a + 4. Is 16 a factor of z(5)?
True
Suppose -2*r = 5*b - 25, -6 = -0*b + 3*b - 3*r. Suppose -4*k = -12, 4*u = b*k + 329 + 82. Is 15 a factor of u?
True
Let y(g) = 5*g**3 + 5*g**2 - g - 9. Is 14 a factor of y(3)?
True
Is 13 a factor of ((-3512)/(-28) - -4) + 60/105?
True
Let p(d) = 8*d**2 - 7*d - 7. Let m(h) = -h**2 + h + 1. Let g(o) = 4*m(o) + p(o). Let b(v) = -v**3 + 3*v**2 + 3. Let t be b(3). Is 23 a factor of g(t)?
False
Let t(f) = 3*f**2 - 74*f - 26. Let m(d) = 2*d**2 - 49*d - 17. Let n(j) = -8*m(j) + 5*t(j). Let v be n(10). Suppose 0 = -5*o + v + 34. Is o a multiple of 20?
False
Suppose 1809 = 3*a + 4*r - 840, 3513 = 4*a - r. Is a a multiple of 2?
False
Suppose u - 5*u = 0. Suppose 5*o - 16 - 4 = u. Let p = o + 24. Is 14 a factor of p?
True
Suppose 5*l + 2*a - 5147 + 943 = 0, 2*l - 1676 = 2*a. Let b = -480 + l. Is b a multiple of 59?
False
Suppose -57 = 28*x - 4761. Is x a multiple of 9?
False
Suppose -2*k - 6*k + 1896 = 0. Is k a multiple of 17?
False
Let p be 6/4*(-10 + 44). Suppose -p - 94 = -5*j. Let n = 43 - j. Is n a multiple of 3?
False
Suppose 2*r = 4*l + l - 32, -5*l + 24 = -4*r. Let c be (l/(-10))/(10/(-25)). Suppose 9 = c*z - 81. Is 15 a factor of z?
True
Let x = -1084 + 1246. Is 6 a factor of x?
True
Suppose 2884 = 2*m - 2*r, 5*m = -0*r + r + 7202. Is 45 a factor of m?
True
Let p(o) be the second derivative of 0 + 7*o - 1/2*o**2 + 2/3*o**3 + 5/12*o**4. Is p(-3) a multiple of 7?
False
Suppose 3*z - 540 = -z + 4*a, a = -4. Suppose 0*l + 89 = 2*v - l, 3*v - z = l. Is v a multiple of 7?
True
Suppose 3*s - 2*p - 53 = 0, 5*p - 31 - 15 = -3*s. Let n(v) = -9*v + 56. Let f be n(6). Suppose -f*j = -15 - s. Does 4 divide j?
True
Let u(s) be the third derivative of 7*s**4/24 + s**3/2 - 13*s**2. Is 17 a factor of u(3)?
False
Let h(u) = -2*u**3 + 19*u**2 - 5*u - 10. Let f be h(9). Suppose 25*m + 118 = f*m. Does 6 divide m?
False
Let r be -9 + 3 + 1 + 3. Let y(q) = -13*q + 1. Let t be y(r). Suppose i = t + 52. Is 26 a factor of i?
False
Let o(b) = 34*b**2 + 33*b + 11. Is o(-10) a multiple of 16?
False
Suppose -2*y + 10 = 4. Suppose -y*b + 5*b + 36 = 0. Let c = b - -36. Is 5 a factor of c?
False
Let b(h) = 592*h**2 + 6*h + 2. Is b(-1) a multiple of 49?
True
Let s = -3 + 8. Let j(t) = 2*t + 6. Let l be j(s). Suppose -5*w + 10 = 0, l + 44 = 5*c + 5*w. Is c a multiple of 5?
True
Let o(r) = r**2 + 18*r + 9. Let a be o(-18). Does 11 divide -4*-3*78/a?
False
Let t(b) = b**3 - 4*b**2 - 14*b + 35. Is 3 a factor of t(7)?
True
Suppose q + 3*q = 232. Suppose -h - 3*h + 3*t = -15, -2*t = -3*h + 10. Suppose 3*s + 2*p - 73 = h, -q = -6*s + 3*s + p. Is s a multiple of 13?
False
Let s = 48 + -68. Does 13 divide ((-484)/s)/(((-3)/(-5))/3)?
False
Suppose -11*l + 1852 = 587. Does 8 divide l?
False
Let k(g) = -g**3 + 4*g**2 + 7*g - 6. Let t be k(5). Let b = -1 - t. Does 7 divide 3 - (-3)/(-3) - b?
True
Let j(u) = -683*u + 21. Is 16 a factor of j(-1)?
True
Suppose 5*b = -5, -6*b = 4*y - b + 329. Let w = y + 201. Is w a multiple of 24?
True
Let t(s) = 10*s**2 + 14*s + 293. Is t(14) a multiple of 31?
True
Let z(k) = k**3 - 7*k**2 + 14*k + 21. Is z(11) a multiple of 15?
False
Let m = -388 - -520. Is m a multiple of 33?
True
Let q = -135 + 168. Is q a multiple of 11?
True
Is 26 a factor of ((16/(-10))/2)/((-12)/5460)?
True
Is 522/(-58) + (2552 - 1) a multiple of 82?
True
Suppose 4*q = 2*u + 2*u, 4*q - 5*u = 0. Suppose -5*a = 2*y - 15, -a + 3 = -q*a. Suppose 0*g - 50 = -g + d, y = -3*g - d + 142. Is 16 a factor of g?
True
Suppose -15 = 21*x - 26*x. Suppose x*w + 5*f - 16 = 0, 3*w - 4*f + f = 0. Suppose t = -5*y + 6 + 11, w*t - y = 45. Is 22 a factor of t?
True
Is 32 a factor of 2 + 2189/3 - 76/(-57)?
False
Suppose 5*x - 4*u - u = 5, -18 = 2*x + 2*u. Let n be (-1)/2 - 18/x. Let g(h) = 10*h + 5. Is 20 a factor of g(n)?
False
Let u(w) = -2*w**2 + w + 4. Let f be -3 - (-6 - (-7 + 4)). Is u(f) a multiple of 2?
True
Let c(m) = -2*m + 8. Let w be c(-7). Let g(j) = j**3 + 9*j**2 + 11*j - 4. Let x be g(-5). Let u = x - w. Is u a multiple of 5?
False
Let l(t) = -4*t - 18. Let m be l(-6). Does 16 divide m*(9 - -1) + 4?
True
Let i = 240 + 50. Is i a multiple of 21?
False
Suppose 30*u + 28*u - 165880 = 0. Does 110 divide u?
True
Let k be (-403)/26*-1*2. Suppose -a = 3*c - k - 46, -a - 2*c = -73. Does 5 divide a?
True
Let k(o) = o**3 - 7*o**2 + 3*o + 1. Let r(p) = -8*p**2 + 3*p + 2. Suppose 2*n = 2 + 6, 0 = -3*m - 2*n + 20. Let v(g) = m*k(g) - 3*r(g). Is 20 a factor of v(2)?
True
Let t(g) be the first derivative of 6*g**3 + g**2 - g + 26. Is t(-2) a multiple of 3?
False
Let g(w) = w**2 - 10*w - 9. Let t(a) = a**3 + a**2 - a + 1. Let f be t(2). Let c be g(f). Suppose 3*y - 20 = c*y. Is y a multiple of 5?
True
Let o(c) = -22*c - 2. Let v be ((-4)/2)/((-2)/(-2)). Let i = -4 - v. Is 18 a factor of o(i)?
False
Let d = -25 - -18. Let f(o) = -o**3 - 5*o**2 - 6*o. Does 35 divide f(d)?
True
Let a = 38 - 28. Suppose -30 = -3*f - 4*p + p, -2*p + a = 0. Let j = 43 - f. Is j a multiple of 26?
False
Is 48 a factor of 3555/2 - (-16)/(-32)?
False
Let h(v) = 53*v - 4. Let i be h(14). Suppose 0 = -4*q + k + 153 + i, k + 1115 = 5*q. Is 32 a factor of q?
True
Let s = 19 - 21. Let x(y) = 4*y**3 - 2*y**2 + 2. Let j(c) = 3*c**3 - 2*c**2 + c + 1. Let f(v) = s*x(v) + 3*j(v). Does 17 divide f(3)?
True
Let x(f) = -119*f**3 - f**2 + 2*f - 1. Let a be x(1). Let u = a - -193. Does 37 divide u?
True
Suppose -5*n + 149 = -2*m, 0 = -4*m - m + 15. Suppose 0 = 2*y + 1 - 7. Suppose -23 = -y*c + n. Is c a multiple of 6?
True
Suppose 0 = 4*p + p - 10. Suppose 2*k + 3*k - 226 = -3*d, 0 = -k - p*d + 48. Does 3 divide k?
False
Suppose l + 243 = -5*b, 3*l - 2*l = -3*b - 145. Let u = b - -81. Does 27 divide u?
False
Let v = -19 - -19. Suppose -4*h = -v*c - 5*c + 222, 4*h + 180 = 4*c. Is c a multiple of 34?
False
Let x be 1758/4*(-9)/((-81)/6). Suppose -x = -5*w - 38. Does 17 divide w?
True
Let k be ((-2)/(-4))/(1/(-6)). Let p(o) = 10*o**2 - 8*o**2 - 15*o + 12*o. Does 14 divide p(k)?
False
Is 73 a factor of (-67212)/8*104/(-234)?
False
Let b(j) be the third derivative of -j**6/120 - j**5/20 + j**4/8 - 7*j**2. Let g be b(-4). Suppose c - 50 = -g*c. Does 5 divide c?
True
Let r = 69 + -31. Let p = r - 16. Is 22 a factor of p?
True
Let i(c) be the third derivative of -c**6/120 + c**5/10 + c**4/24 - c**3/2 + 3*c**2. Let y be i(6). Suppose -y*u = -3*r + 27, 24 + 3 = 5*r + u. Is r even?
True
Let u(w) = 15*w**2 + w - 5. Let n be u(3). Let i = -89 + n. Is i a multiple of 11?
True
Let o(l) be the third derivative of 37*l**6/720 + l**5/30 - l**4/3 - 9*l**2. Let v(h) be the second derivative of o(h). Does 13 divide v(2)?
True
Suppose -3*t + 16 = 7. Let y(k) = -k**2 + k + 8. Let q be y(t). Let m(x) = 5*x**2 - 4*x + 2. Is 4 a factor of m(q)?
False
Suppose 15*i + 36*i = 248523. Is 12 a factor of i?
False
Let u(f) = f**3 - 12*f**2 - 13*f - 2. Let a be u(13). Let w be (392/70)/(a/(-5)). Let m = w - 3. Is m even?
False
Let u(r) be the second derivative of r**5/20 - 5*r**4/6 + 4*r**3/3 + 11*r**2/2 - 2*r. Let i be u(9). Suppose i*o = 40 - 6. Is o a multiple of 5?
False
Suppose 0 = t + 2*x - 90, 2*t - 149 - 34 = -3*x. 