
Let o(f) = -f**3 - 13*f**2 - 14*f + 16. Suppose 3*c - 5*p = -c - 63, 45 = -5*c - 5*p. Let s be o(c). Let v = s + -29. Does 2 divide v?
False
Suppose 5*m - 4353 = 4*b, m + 5*b + 0*b = 859. Is 23 a factor of m?
False
Let m(c) = -38*c**3 + 2*c**2 + 3*c + 1. Let p be m(-1). Let g = p - -19. Is 12 a factor of g?
False
Let y be -9*(1 + -3 + 1). Let l be -1*(1 + -3) - 26. Is l/y*(-42)/8 a multiple of 11?
False
Suppose 5*q + 3*i = 1788, 348 = q - 2*i + 5*i. Is 60 a factor of q?
True
Let a(w) = 88*w + 29. Is 67 a factor of a(5)?
True
Suppose 20 = 2*o - 6*o. Let s = o + 19. Does 6 divide s?
False
Suppose -o - 3*j - 2*j = -18, 2*o - 4 = -2*j. Let q = 44 - 37. Is ((-4)/7)/(o/q) even?
True
Let j(q) = 29*q**2 - 66*q + 408. Is j(6) a multiple of 16?
True
Let h(m) = 14*m**2 - 27*m + 152. Does 19 divide h(6)?
True
Let h = 356 - 50. Does 17 divide h/12*(-20)/(-6)?
True
Let y = -110 + 10. Suppose -40 = -0*c - 5*c. Is (c/20)/((-2)/y) a multiple of 4?
True
Suppose -2 - 10 = 2*q. Let w(u) = 2*u**2 - 2*u - 18. Is w(q) a multiple of 22?
True
Let h(t) = 10*t - 13. Let j be h(6). Suppose 45*x = j*x - 152. Is x a multiple of 19?
True
Suppose 2*k + 0*k - 88 = 0. Let t = 62 - k. Is t a multiple of 4?
False
Let h(m) = 12 - 7*m - 2*m + 4*m. Let y be h(5). Let s = y - -16. Is s even?
False
Let a = 32 - 32. Suppose a = -4*c + 3*n + 184, -2*n + 292 = 5*c + 62. Does 23 divide c?
True
Let u = -1000 - -1776. Does 63 divide u?
False
Let z = 3954 + -2730. Does 6 divide z?
True
Let n(u) = 40*u. Let v be n(1). Suppose -3 = l - 4*j + 2*j, -5*l - v = -5*j. Let z = 5 - l. Does 14 divide z?
False
Let m(n) = -2*n**3 - 3*n**2 + n - 5. Suppose 10 = -2*b - 0. Let z(t) = -4*t**3 - 5*t**2 + 2*t - 9. Let l(c) = b*m(c) + 3*z(c). Is l(-2) a multiple of 4?
True
Let j = -466 + 670. Is 17 a factor of j?
True
Suppose -46705 = -42*o + 23981. Is o a multiple of 17?
True
Suppose -2*w - p = -601, 2*w + 4*p - 383 = 215. Is w a multiple of 7?
True
Let c = 350 + -317. Is 32 a factor of c?
False
Let k = -675 - -1084. Let f = k + -205. Is f a multiple of 34?
True
Let t be (-2)/11 + 168/(-44). Let u(s) = 6*s + 12. Let b be u(t). Does 19 divide (-1 - 164/b)*3?
True
Let f = -1250 + 2901. Is 13 a factor of f?
True
Suppose -5*j = 5*s - 3*s - 24, -j - 5*s = -14. Suppose 274 = o + f, -j*o = -o + f - 814. Is o a multiple of 45?
True
Let j(g) = -268*g**3 + 2*g. Is 19 a factor of j(-1)?
True
Suppose 2*t + 5*g = 15 + 70, -3*t + 135 = 5*g. Suppose m - 58 = t. Does 12 divide m?
True
Let y(m) = 2*m - 8. Let n be y(5). Suppose -2*p - n*d + 19 = p, 0 = -5*p - 4*d + 35. Suppose -p*k + 7*k + 4*q - 84 = 0, -2*k = 4*q - 44. Is k a multiple of 14?
False
Does 75 divide 4*(-75)/6*36/(-24)?
True
Let x be (2/(-3))/(9/594). Let q = 92 + x. Is 24 a factor of q?
True
Suppose z = 2*z - 21. Suppose -26*c = -z*c - 10. Suppose -c*b + 5 = -13. Does 5 divide b?
False
Let n be (9/(-15) - -1) + 798/30. Let m = 63 - n. Is 8 a factor of m?
False
Suppose 0 = j - 0 - 8. Suppose -2*u + 309 = -3*q + j*q, 300 = 5*q + 5*u. Does 9 divide q?
True
Let l = -3 + -7. Let s(m) = -2*m - 14. Let y be s(l). Suppose 0*b + y = b. Is b a multiple of 5?
False
Let d be 3 - (4 + -1 + 4). Does 20 divide (9/d)/((-9)/216)?
False
Suppose -1016*q + 1020*q - 3760 = 0. Is 20 a factor of q?
True
Suppose 0 = 2*d + 3*c - 24 - 11, -2*c = -10. Does 10 divide d?
True
Let f be (-4 + (-28)/(-16))*2*-48. Is ((-50)/(-15))/(3/f) a multiple of 30?
True
Does 91 divide 2362/2 + 5 + (7 - 10)?
True
Let c(v) = 2*v + 8. Let i be c(-4). Suppose 2*m - 4*g - 32 - 36 = 0, 2*m + 3*g - 40 = i. Is m a multiple of 4?
False
Does 25 divide (-5 - -10) + -4 + 76?
False
Let h(b) = -5*b**2 + 5 - b + b**3 + 0*b + 1 + 0*b**3. Let f be h(5). Let y(s) = 80*s**3 + 2*s - 1. Is 29 a factor of y(f)?
False
Suppose -k - 4*k = -10. Suppose 5*s = 6*d - d + 885, 2*d = 0. Suppose k*j - r = s, 4*j - 5*r - 381 = -18. Is j a multiple of 15?
False
Let j = 81 - -14. Suppose -4*p + 88 = s, p + j = 2*s - 72. Does 12 divide s?
True
Is 8 a factor of (-8)/(-6)*20256/128?
False
Does 34 divide 23224/40 - ((-48)/20 + 3)?
False
Let o(i) = -23*i**3 + 3*i**2 - 2*i + 7. Let y be o(4). Does 32 divide (1/(-3))/(5/y)?
False
Let a = 794 - 559. Is 5 a factor of a?
True
Let n be (-5)/25 - (-19)/(-5). Let q(a) = -a. Let k be q(n). Suppose -5*c + 173 + 97 = k*x, 0 = x. Is c a multiple of 10?
False
Let y(x) = x**3 + 3*x**2 - 5*x + 4. Let q be y(3). Let z = q - 29. Does 2 divide (-141)/(-27) + z/(-63)?
False
Suppose -22*u = -24*u + 840. Is 9 a factor of u?
False
Let w be 1/3*0 - 40. Let r be ((-3)/2)/(12/w). Suppose -r*g + 2*g + 63 = 0. Is g a multiple of 5?
False
Let t be ((-50)/(-3))/(-2)*-3. Let z = t + -14. Let l = 25 - z. Is 14 a factor of l?
True
Let m = 1417 - 1207. Is m a multiple of 7?
True
Suppose -856*k - 1968 = -864*k. Is k a multiple of 31?
False
Does 29 divide (5 + 21/(-6))*(14 - -160)?
True
Let b(h) = 6*h**2 - 9. Let j be b(7). Let s = j - 192. Is 26 a factor of s?
False
Does 11 divide (-221760)/35*1/(-2)?
True
Let w(i) = -4*i - 10. Let r be w(-5). Suppose 7*f + 393 = r*f. Let t = f - 65. Is t a multiple of 14?
False
Let x(g) = -3*g + 177. Is 8 a factor of x(-49)?
False
Suppose -2*s + j - 2 = 0, -2*j + 18 = -2*s + 3*j. Let v(q) = 35*q + 3. Is v(s) a multiple of 16?
False
Let c(w) = 2*w**3 + 29*w**2 + 5*w + 18. Let i be (1 - 0) + (1 + -18 - -2). Is 48 a factor of c(i)?
True
Let t(a) = 4*a**3 - 12*a**2 + 14*a - 2. Let l be t(7). Is 46 a factor of 48/(-100)*-5*l/6?
False
Let z be 2/15 + 308/165. Suppose 0 = -z*j - 2, -r - 2*j + 188 = 4*r. Is 19 a factor of r?
True
Does 13 divide ((-2)/(-4) - 35/(-10)) + 2934?
True
Let j = 55 - 58. Does 14 divide (j/(-1) + (-173)/(-3))*3?
True
Let g be (-444)/(-10) - 3/(-5). Does 3 divide 3/(-2)*-2 + g?
True
Let x(s) be the first derivative of s**3 + s**2 + 18*s + 13. Does 39 divide x(-3)?
True
Let m(c) be the third derivative of 0 - 13/24*c**4 - 1/60*c**5 - 13/6*c**3 + 0*c - 4*c**2. Does 11 divide m(-9)?
False
Suppose 2 = -m, -5*o - 2*m = -0*o - 1046. Is o a multiple of 10?
True
Let j(h) = -3*h**2 + 9*h. Suppose 31 = o + 22. Let n(t) = 13*t**2 - 36*t + 1. Let i(k) = o*j(k) + 2*n(k). Is i(8) even?
True
Let x be (-6 + 7)*(-1 + -2). Does 18 divide 73/2 - x/(-6)?
True
Let w(d) = -4 + 3*d - 3 + d**3 - d**2 - 4*d**2 - 6*d. Let y(q) = -q**3 + 4*q**2 - 2*q + 3. Let u be y(3). Is w(u) a multiple of 11?
True
Let b be -12*(5/(-3) - -3). Is 4 a factor of b/40 + 6*(-59)/(-10)?
False
Let i(f) = 13*f**3 - 2*f**2 - f + 2. Suppose 4*v - 3*v - 1 = 0. Is 3 a factor of i(v)?
True
Suppose -6*v + 10 = -v. Let w be 4/((-12)/(-39))*-2 - -1. Is v + 0 - 0 - w a multiple of 9?
True
Let v(b) be the second derivative of -b**3 - 13*b**2/2 + 77*b. Suppose 5*m - 2*k = -26, -k - 14 = -4*m - 36. Does 23 divide v(m)?
True
Let t be 2/1 - (-140)/(-4). Let f = 62 + t. Suppose 4*q = m - 1 - f, 0 = 5*m + 2*q - 194. Does 19 divide m?
True
Let t = 2556 - 941. Does 95 divide t?
True
Let l = 28 + -26. Suppose g = z - 2*z, l*g = z - 9. Suppose 35 = z*o - 61. Is 11 a factor of o?
False
Suppose -207 = -2*n - z + 4*z, -2*n + 208 = -2*z. Suppose n = -w + 6*w. Is 7 a factor of w?
True
Let g(u) = -5*u**2 - 9*u - 9. Let b(l) = -l**2 - 2*l - 2. Let d(f) = 9*b(f) - 2*g(f). Let w be d(-2). Suppose -w*q - 13 + 45 = 0. Is 4 a factor of q?
True
Suppose -259*z + 6156 = -250*z. Is z a multiple of 22?
False
Does 81 divide 1/((-20421)/(-5103) + -4)?
True
Suppose -5*a = -3*l - 61, -12*a - 21 = -13*a + 5*l. Is 5 a factor of a?
False
Let k(q) = -4 - 7*q**3 + 1355*q + 2 - 1354*q. Is k(-2) a multiple of 13?
True
Let m(n) = 10*n - 17. Let h be m(7). Suppose 0 = 7*x - 185 - h. Is x a multiple of 17?
True
Is 59 a factor of (-6 + 8 + -3)/(4/(-2596))?
True
Let x be (-1 - -4)/(12/736). Suppose 5*t = -3*h - 0*h + 226, -2*h + x = -5*t. Does 14 divide h?
False
Suppose 0 = 11*a - 12*a + 495. Let q = a - 265. Is 36 a factor of q?
False
Suppose 0 = 13*s + 3*s - 21760. Is s a multiple of 34?
True
Let t = 635 + -357. Is t a multiple of 10?
False
Let p(f) = 2 - 3 + 2 + 6 + 5*f**2 - 10*f. Let k(h) = 4*h**2 - 9*h + 6. Let a(i) = 3*k(i) - 2*p(i). Is a(8) a multiple of 38?
True
Let c(i) be the third derivative of -i**4/24 + 4*i**3/3 - 8*i**2. Let y be c(8). Suppose y = 4*f - 18 - 10. Does 3 divide f?
False
Let r(y) = -y**2 + 8*y - 3. Let v be r(7). Suppose i = -2*i + v*n - 29, 3*