0?
False
Let o = -616 + 864. Is 31 a factor of o?
True
Suppose -5*m - 3*g + 4*g = -80, 0 = g. Is (-2 - 5/((-20)/m)) + 112 a multiple of 6?
True
Suppose 2*x - 394 = -2*j, 103 - 303 = -j - 4*x. Does 14 divide j?
True
Let n(d) = d**2 - 11*d - 56. Is n(-8) a multiple of 32?
True
Let t(w) be the first derivative of -w**3/3 + w**2 + 14*w + 3. Let k(q) = -q - 1. Let x be k(-1). Does 14 divide t(x)?
True
Let u = 37 + -36. Does 30 divide 1 - u - (-2 - 118)?
True
Let p = 81 + -37. Is 4 a factor of p?
True
Let v = 1434 + -693. Does 39 divide v?
True
Let k be ((-1)/1)/(2/8). Let n be (-1)/k + 175/20. Suppose n + 9 = z. Does 9 divide z?
True
Let d(w) = 15*w - 3*w**2 + 4*w**3 - 35*w + 24*w - 3. Let z be 5/(-2)*8/(-10). Is d(z) a multiple of 9?
False
Let w = 132 + -117. Suppose -2*a + w*a - 715 = 0. Is a a multiple of 12?
False
Let a be (-21)/(3 - 0) + -1. Let s be a/(-48) - 371/(-6). Let g = s - 26. Does 18 divide g?
True
Let g(p) = 2*p - 1. Let c be (1 - -3) + (-6)/2. Let w be g(c). Is 12 a factor of (-3 + -38)/(-1) - w?
False
Suppose -m = -2*m + 4*n + 24, -2*m + n + 76 = 0. Is 5 a factor of m?
True
Suppose -5*c + 2 = -4*c. Let y be ((-6)/(-5))/(24/60). Suppose -26 = -y*f - c*x, -5*x - 8 = 2. Does 10 divide f?
True
Suppose 5*d - 15 = 4*q + q, 5*d - 14 = 4*q. Suppose -a + 36 + d = 0. Is 19 a factor of a?
True
Suppose 0 = 4*b - 4*q - 1892, -14*b + 5*q + 946 = -12*b. Is 13 a factor of b?
False
Suppose 17*y + 5616 = 25*y. Is 18 a factor of y?
True
Suppose -4*j + j = 0. Let m = 100 + j. Suppose 3*g + 3*d - 85 = 56, -m = -2*g + 4*d. Does 16 divide g?
True
Let z(v) = -9*v + 4 + 1 - 11*v - 8*v. Does 30 divide z(-7)?
False
Let l(h) = -5*h - 12. Let a be l(-4). Let g(o) = -o**3 - 6 + a*o - 1 - 4 + 8*o**2 - 5*o. Is g(8) even?
False
Suppose -2*v - 5*t - 20 = v, 5*v - 5*t = 20. Is 3 a factor of 4/(-10) - ((-54)/10 + v)?
False
Let q be 2/(-6) - 56/3. Let y(a) = a**2 + 16*a + 34. Is y(q) a multiple of 11?
False
Let c = -81 - -83. Let p(r) = 17*r**3 - 2*r**2 - 3. Is p(c) a multiple of 43?
False
Let r(d) = 10*d**2 - 28*d + 35. Is 42 a factor of r(14)?
False
Let f(b) = b**2 + 5*b - 6. Let a be f(-6). Let u = -10 - a. Is ((-156)/u)/(12/30) a multiple of 13?
True
Let i be (7 - 4 - -78 - 3) + 1. Let q = i + 39. Is q a multiple of 20?
False
Let g(v) = 8*v**2 - 5*v + 7. Let w(c) = -15*c**2 + 9*c - 13. Let b(p) = -11*g(p) - 6*w(p). Let n be b(-3). Is 27 a factor of -36*(-1 + 4/n)?
True
Let u = 140 + -83. Let v(g) = -g - 3. Let z be v(-6). Suppose -4*t = -u - z. Is t a multiple of 5?
True
Let a(r) be the first derivative of -19*r**2/2 + 26*r + 9. Is 47 a factor of a(-5)?
False
Let d(a) = 17*a - 6. Suppose 5*h + 4*z + 4 - 14 = 0, 0 = -4*z. Is d(h) a multiple of 7?
True
Suppose -2*z = -2*c + 4, -3*c = -4*c + 5. Suppose 70 = -z*i + 382. Suppose -2*g - 2*g + i = 0. Does 13 divide g?
True
Let d(w) = -w**3 - w**2 + w - 1. Let s(q) = 3*q**3 + 4*q**2 - 2*q + 5. Let h(b) = -d(b) - s(b). Let t(g) = g**2 - 2*g - 38. Let v be t(7). Does 17 divide h(v)?
False
Let p(a) be the first derivative of -a**3/3 + 13*a**2/2 + 4*a - 5. Let y be p(13). Suppose -y*l = -2*l - 52. Is 13 a factor of l?
True
Suppose 0 = -2*l - 2*d + 3*d + 404, 5*l = -d + 996. Does 10 divide l?
True
Suppose -w + a = -8, 2*w + 4*a = -5 + 15. Suppose 0 = 4*h - w*h - 3*c + 399, 0 = c - 1. Does 11 divide h?
True
Let y(s) = -3*s + 38. Is y(-16) a multiple of 13?
False
Suppose 2*c = -55 - 41. Let w = 126 + c. Is 39 a factor of w?
True
Suppose -16*i - 120 = -904. Let z = i - -35. Is 6 a factor of z?
True
Let f = -28 + 31. Suppose 2*a + 235 = 5*w, f*w + 0*a + a - 130 = 0. Is 6 a factor of w?
False
Suppose -y - x = 5 + 16, -y = 5*x + 13. Let d = y - -31. Does 7 divide d?
False
Let i = 24 - 13. Let g = 14 - i. Does 4 divide ((-3)/(-2) + g)*2?
False
Suppose -3*q + 2*q = -4. Suppose 0*l + 552 = q*l. Is 28 a factor of l?
False
Let l = 9 - 14. Does 10 divide 299/5 - 1/l?
True
Let u be 3 + 9 + -1*4. Suppose u*l - 3*l - 5 = 0. Is 37 a factor of 1 + (-190)/(-1 - l)?
False
Let d(m) = -21*m + 3. Let j be d(-2). Let u = j - 8. Is 17 a factor of u?
False
Suppose 40*x - 17*x = 25806. Does 17 divide x?
True
Let z = 1162 + -497. Suppose w = -4*c + z, 4*c - 335 = 2*c - w. Is c a multiple of 33?
True
Let k = 6 + -6. Suppose -4*q + 3*x = 24, -3*q - 2*x + 0 - 1 = k. Is 2 - (6/q)/2 a multiple of 2?
False
Let z be 10*(4/8)/1. Suppose -4*v + z*v + 36 = 0. Let b = 72 + v. Is b a multiple of 18?
True
Suppose l + 20 = -4*l. Let n be (21/(-12))/(1/l). Let w(i) = i**2 - 4. Does 15 divide w(n)?
True
Let p = -29 + 56. Suppose 0 = 2*t + t - d + 15, -d = 4*t + p. Is (3/t)/(4/(-152)) a multiple of 19?
True
Let c = 1362 + -892. Is 10 a factor of c?
True
Let t(q) = 21*q**3 - 17*q**2 - 12*q + 1. Let j(m) = 5*m**3 - 4*m**2 - 3*m. Let i(b) = 9*j(b) - 2*t(b). Let r be i(3). Suppose g = -20 + r. Does 16 divide g?
True
Suppose -5*u + 5*w - 10*w + 40 = 0, 5*u - 40 = -3*w. Suppose u*a = 13*a - 90. Is 6 a factor of a?
True
Is 2 a factor of 19/(171/(-60))*-33?
True
Let i be 9 - 6 - 112/4. Let l be -1*((-1)/(-1) - 0). Is 6 a factor of i/(-4) - l/(-4)?
True
Is 16 a factor of (-3)/9 + ((-2152)/(-12) - -2)?
False
Suppose -2*m - 3*u = -3*m + 13, 3*m + u = 49. Let l(w) = 2*w - 29. Let f be l(m). Does 7 divide (176/(-12))/((-1)/f)?
False
Let o be -4*12/(-16)*-1. Let d(c) = 3*c**2 + 3*c - 4. Is 14 a factor of d(o)?
True
Suppose 2*k - 31 = 5*o, 7*o = -4*k + 10*o + 27. Suppose 637 = 4*b - 3*v, k*b - 482 = -v - v. Is 16 a factor of b?
True
Suppose 0 = -4*f + 2*b + 84, -2*f + 3*b + 80 = 2*f. Let r = f + -18. Suppose r*n - 25 = q + 5, 2*n + 11 = 5*q. Is n a multiple of 7?
True
Suppose 4*r + 0*r - 3*s + 3 = 0, -s = -4*r - 1. Let n be (34 - r)*13/26. Suppose -n*i + 24 = -14*i. Does 7 divide i?
False
Let v = -80 - -125. Suppose -3*f = -3*w + v, 2*f = 5*w + 4*f - 89. Does 4 divide w?
False
Is 20 a factor of (1 - 4) + 1378 + -1?
False
Suppose 3*m - 1516 = -4. Does 24 divide m?
True
Is (-27)/(-45)*2*110 a multiple of 5?
False
Let z = -56 - -75. Suppose 0 = z*s - 876 - 606. Is s a multiple of 39?
True
Suppose -5*n = -q + 86, 7*n - 388 = -4*q + 5*n. Suppose -4*g - 4*s + 136 = 0, -2*g = g - 3*s - q. Is g a multiple of 33?
True
Let q(x) be the third derivative of -4*x**4/3 - x**3 + 8*x**2. Let b be q(-2). Is 28 a factor of 12/(-4) + b + 0?
False
Let s be -1 + 1 + -5 + 1. Let d be 2/4*(16 + s). Let n(i) = 4*i - 3. Is n(d) a multiple of 9?
False
Let t(f) be the third derivative of f**4/8 - 35*f**3/6 - 16*f**2. Is 11 a factor of t(17)?
False
Suppose -84*l + 36163 = -55*l. Does 29 divide l?
True
Let p(h) = -23*h**3 - h - 5. Let a(d) = 2*d**2 + 21*d - 13. Let s be a(-11). Is 14 a factor of p(s)?
False
Is 11 a factor of ((-488)/20 - -6)*-140?
False
Is 55 a factor of 53 + -5*((-5)/5 + 0)?
False
Is ((-14)/4)/7 + 5769/18 a multiple of 8?
True
Let c(o) = o**3 - 10*o**2 - 13*o + 26. Let w be c(11). Suppose 3*q = -7*i + 2*i + 612, i - 816 = -w*q. Is 28 a factor of q?
False
Suppose -2*u = -4*p - 0 - 16, 0 = 5*p - 4*u + 20. Let z be ((-12)/4)/(6/p). Suppose z*n = -n + 168. Does 28 divide n?
True
Let y(t) = -t**2 + 14*t + 1232. Does 8 divide y(0)?
True
Let i = -2 + 5. Let j(c) = -c**2 + 2*c - 4. Let h be j(2). Is h/10*(-58 + i) a multiple of 10?
False
Let m(g) = 8*g**2 - 9. Is m(-2) a multiple of 10?
False
Suppose -5*x - 419 = 36. Let i = 220 + x. Does 32 divide i?
False
Let p(i) = 12*i**3 + 6*i**2 + 4*i - 2. Let u(h) = -h**2 - h. Let z(m) = -p(m) - 6*u(m). Let y be 2/6 + (-20)/15. Is 12 a factor of z(y)?
True
Let x(u) = -141*u + 22. Let a be x(-8). Suppose a + 650 = 12*m. Is 15 a factor of m?
True
Suppose 0 = -5*p - 20, 2*r = -0*r + p + 14. Suppose -j - 16 = -r*v, 0*v - 13 = j - 4*v. Is (j*1)/((-5)/15) a multiple of 3?
True
Let c be (-3)/(-2) - 77/(-14). Is 59 + 1 - (-21)/c a multiple of 21?
True
Suppose -20 = -2*u - 3*u, 3*t - 8 = 4*u. Suppose -17 - t = -5*b. Suppose -4*s = -3*r - 26, 0*s - 2*s = -b*r - 6. Is s a multiple of 5?
False
Suppose -3*w + k = -606, 8*w - 2*k = 5*w + 609. Is 12 a factor of w?
False
Let d(i) = i**3 - 9*i**2 + 13*i - 6. Let s be d(5). Let b = 100 + s. Is b a multiple of 5?
False
Let m(y) = -47*y + 113. Is m(-6) a multiple of 22?
False
Is (-15)/(-2)*(-3 + (-5941)/(-39)) a multiple of 62?
False
Suppose -2*i = 3*u + i - 822, -5*u + 1358 = -i. Is u a multiple of 16?
True
Let g = 4683 + -133