54. Is p a multiple of 30?
True
Let c(l) = l**3 - 8*l**2 - l - 6. Let u be c(8). Does 6 divide ((-30)/(-35))/((-2)/u)?
True
Is 5 + (-20)/(-5) + -9 + 1408 a multiple of 64?
True
Suppose 0 = 3*j - 3*h - 2*h - 9, 2*h + 6 = 2*j. Suppose j*t = t + 32. Is 4 a factor of t?
True
Suppose 20*z = 23*z. Is 7*(0 - (-4 - z)) a multiple of 7?
True
Let a(q) = -10*q - 342. Does 10 divide a(-39)?
False
Let x(f) = 3*f**2 + 11*f + 11. Let d be x(-3). Suppose p - 68 = 4*h, d*p - 2*h - 573 = -143. Is 22 a factor of p?
True
Suppose 0 = 13*q - 12*q + 90. Is 9 a factor of q*(5 + 31/(-5))?
True
Let o(c) = 541*c - 48. Is o(3) a multiple of 45?
True
Let g be -9*2*(-2)/4. Let w = -16 + g. Is w/(28/(-72)) + -3 a multiple of 4?
False
Let q be -1*-4*4 + -3. Suppose 71 = 2*l + q. Suppose 2*i + l = 3*i + 4*b, 13 = 2*i - b. Is 2 a factor of i?
False
Let c(f) = f**2 + 1. Let m(t) = -t**3 - 5*t**2 - 3*t + 3. Let b be m(-4). Let j be c(b). Suppose -4*i + 3*i = -j*r + 1, 7 = 5*i - 4*r. Does 3 divide i?
True
Suppose -4*d - 5*r + 711 - 155 = 0, 420 = 3*d + 3*r. Is 12 a factor of d?
True
Suppose 53*p - 60*p + 854 = 0. Does 6 divide p?
False
Suppose 8*k = 854 + 1266. Suppose t - k = -5*c - 0*t, -4*t + 176 = 3*c. Is 26 a factor of c?
True
Suppose -3*k + 0*t = 2*t - 825, -3*k - 3*t + 828 = 0. Is k a multiple of 13?
True
Let w(j) = 2*j**2 + 23*j + 110. Is w(-8) a multiple of 5?
False
Suppose 84 = -8*v + 5*v. Let p = v - -60. Suppose -3*o = -p - 157. Does 23 divide o?
False
Let p be (0 - -1) + -4 + 2. Is 9 a factor of (0 + 2)*p*(-126)/12?
False
Suppose 3*y = y. Let r = -58 + 60. Suppose 0*q = 2*q + 3*f - 67, y = 2*q - r*f - 42. Is q a multiple of 7?
False
Let r = 203 - 113. Let j be (-760)/25 - (-2)/5. Does 5 divide (40/j)/((-4)/r)?
True
Let f = -585 + 1249. Is 8 a factor of f?
True
Let c(l) = 101*l**2. Let v be c(1). Let h = v - 51. Is 9 a factor of h?
False
Let o = -5 - -11. Let z be 18/30 + o/(-10). Suppose -5*v - j = -6 - 28, v - 2*j + 2 = z. Is 2 a factor of v?
True
Let f be 45/2 - (-10)/20. Does 23 divide f/(-4)*(-7 - 5)?
True
Suppose -5*d = -7*d + 8. Suppose -d + 8 = 2*o. Suppose 3*i = 4*s + 41, -o*i + 2*s = 2*i - 48. Does 6 divide i?
False
Let k(n) = 20*n + 1. Let f be (-3)/6*(-3 + 3). Suppose f*w - 6 = -2*w. Is k(w) a multiple of 24?
False
Let o(f) = -f**3 + 19*f**2 + 20*f - 1. Let s be o(20). Let x be 5/(10/(-102))*s. Suppose 2*r = -5*u + 67, -4*u - 3*r - 3 + x = 0. Does 3 divide u?
True
Suppose 3*g + 3*o = 9903, g - 3307 = -23*o + 24*o. Is 118 a factor of g?
True
Let y be 3 + -1 - (17 + -18). Suppose 3*n + 5*h - 106 = 0, 4 = -y*h + 19. Suppose -2*x + n = -53. Is x a multiple of 22?
False
Let j(t) be the first derivative of -t**4/2 - 5*t**3/3 - t**2 + 2*t - 7. Let g = 7 + -10. Does 17 divide j(g)?
True
Let h = 59 - 61. Let b(x) = 48*x**2 + x + 6. Is 14 a factor of b(h)?
True
Let v = -23 - -26. Suppose 40 = 17*o - 19*o. Does 14 divide o/v*105/(-10)?
True
Suppose 0 = y - 0 - 2. Suppose y*m + 4*m = -948. Is (-6)/(-24) + m/(-8) a multiple of 4?
True
Let v(t) = -t**2 - 11*t + 1. Let b be ((-10)/(-30))/((-2)/66). Let r be v(b). Is 12 + 1*3/r a multiple of 9?
False
Let u = -708 - -755. Is 37 a factor of u?
False
Suppose 5*g - 7*g + 278 = 0. Suppose -b + 53 + g = 0. Does 32 divide b?
True
Suppose -3*t = 3*c + 1 - 7, -2*t - 3*c + 2 = 0. Suppose -3*u + 10 = 2*u. Suppose v = -3*o + 90, -107 = -t*o + u*v + v. Is 6 a factor of o?
False
Suppose -3*u + 0*r - 3*r + 237 = 0, -2*r = 4*u - 326. Let d = u + -24. Is d a multiple of 11?
False
Let d = 3389 - 1919. Is 15 a factor of d?
True
Does 67 divide (-67)/(-3 + (-39)/(-6) + -4)?
True
Let t = 1984 - 1766. Does 53 divide t?
False
Let s be 3/(-15) + 24*2/(-10). Is 330/(-99)*(-1)/(s/(-72)) a multiple of 17?
False
Let t(a) = -3*a**3 + 5*a**2 - 4*a + 3. Let o(c) = -3*c - 9. Let s be o(-4). Let g be t(s). Is 13 a factor of (-10)/g + 1182/27?
False
Suppose 365 = -2*c + 7*c - 5*u, 0 = 5*c - 3*u - 361. Is 28 a factor of c?
False
Let u = 64 + -59. Suppose 9*a - u*a - 480 = 0. Does 30 divide a?
True
Let d be 3/9 - (-2)/3. Let g = 2 + d. Suppose -4*m + 12 = 0, -g*m + 145 = 5*x + 2*m. Does 26 divide x?
True
Let i = -206 + -1. Let p = -143 - i. Suppose 3*m + m = p. Does 7 divide m?
False
Suppose -3 + 1 = -k. Let u(o) = -3*o**2 + o - k + o - 2*o - o**3. Is 7 a factor of u(-4)?
True
Let j = -2207 - -4547. Is j a multiple of 36?
True
Let m = 2683 + -2527. Is m even?
True
Let j(f) = 27*f + 51*f - 2 - 1 + 1. Does 38 divide j(1)?
True
Let y be 63/(-18)*24/(-14). Suppose -y*c + 5 = -1. Does 8 divide -2*c*(-9 + -2)?
False
Suppose 7*z + 721 = -0*z. Let f = z - -208. Is f a multiple of 8?
False
Let j(i) = -2726*i**3 - i**2 - 7*i - 6. Is j(-1) a multiple of 94?
True
Let v be 3/5 + (-12)/(-30). Is (12/10)/(v/90) a multiple of 13?
False
Suppose -7*x + 2535 = -1413. Is x a multiple of 47?
True
Let n(o) = -o**3 - 5*o**2 + 5*o - 5. Let c be n(-7). Let w = 132 - c. Is w a multiple of 32?
False
Does 8 divide (-402644)/(-330) + (-2)/15?
False
Suppose 4*t - 7*t + 2*h + 199 = 0, -20 = -5*h. Does 2 divide t?
False
Suppose -j - w + 246 = 0, 241 = j - w + 3*w. Suppose -25 = -3*l + j. Does 9 divide l?
False
Let j = -124 - -1029. Is 13 a factor of j?
False
Suppose 107 - 95 = -p. Is 8 a factor of 4/12 - 34*14/p?
True
Suppose -5*x - 5*u = -125, 58 = 2*x - 7*u + 11*u. Is 4 a factor of x?
False
Suppose -8 = 4*s - 9*s - 4*x, -2*s + 4*x + 20 = 0. Suppose 0*z - 47 = -3*w - 4*z, 0 = s*w + 3*z - 58. Is 12 a factor of w?
False
Let x(o) = -12. Let u(n) = n + 12. Let f(m) = -3*u(m) - 4*x(m). Is 6 a factor of f(-5)?
False
Suppose -3*k = 4*u - 56, -40 - 21 = -3*k - 5*u. Let d be ((-52)/k)/(2/(-12)). Suppose 64 = 2*n - 4*v, 67 = 4*n - v - d. Is 4 a factor of n?
False
Suppose 14*g = -g + 4725. Is 21 a factor of g?
True
Suppose 3*x + 11 = 32. Suppose -25 - x = -3*a - 2*r, a = 4*r - 8. Suppose -39 = 3*d - a*d - 3*m, 5*d + m - 33 = 0. Is d a multiple of 6?
True
Suppose 4*t = -4*p + 1247 + 7945, -6902 = -3*p - 5*t. Is p a multiple of 44?
False
Suppose -18414 = -13*f - 5*f. Is f a multiple of 33?
True
Let s(d) = d**3 + 10*d**2 - 13*d - 21. Let c be s(-11). Is (3/(-1) - (-70 + 6))*c a multiple of 16?
False
Let b = 10 - 9. Let u be -21*(0 + b)*1. Let r = u - -29. Is 6 a factor of r?
False
Let r = 6 - 17. Let m = 14 + r. Suppose -m*p - 3 = 0, -3*v + 6*v - 59 = 5*p. Is 9 a factor of v?
True
Suppose i + 10 = 2*o, 2*o - 3*o - 17 = 5*i. Suppose -5*w = -o*w - 332. Let f = -115 + w. Does 17 divide f?
True
Suppose -2*t + 9*t = 7. Is 268/2 + t*-4 a multiple of 5?
True
Let r = 1 + 3. Let t = r + -4. Let q(h) = h**2 + h + 50. Is 12 a factor of q(t)?
False
Let t be 1*-2 - 0/2. Let h be 0 + (t - -2) + 9. Suppose -4*a + h = -3*a. Is 5 a factor of a?
False
Let c be (-48)/(-5) - 10/(-25). Let s = 1 + 2. Suppose -c = -s*l + 50. Does 10 divide l?
True
Let l(o) be the second derivative of -o**3/2 + 17*o**2/2 + 9*o. Is 18 a factor of l(-23)?
False
Let z be 6/27 - 2590/(-9). Let u = -148 + z. Is u a multiple of 28?
True
Suppose 42*r + 2527 = 50197. Does 4 divide r?
False
Let k = 3507 + -428. Is 100 a factor of k?
False
Let n(b) = 8*b**2 - 6. Is 26 a factor of n(11)?
True
Let v be ((-5)/(-4))/(-5)*-20. Suppose 3 = -v*m + 4*m. Let n = 81 + m. Is n a multiple of 14?
False
Suppose h - 3*u - 123 = -2*u, 240 = 2*h + u. Let q = h - 101. Is q a multiple of 20?
True
Let l(x) = 10*x**2 - 32*x + 166. Is l(8) a multiple of 11?
True
Let r = 70 - -19. Does 37 divide -1*4 + (r - -6)?
False
Let j(v) = -16*v - 16. Let r(o) = -3*o - 3. Let q(l) = -2*j(l) + 11*r(l). Let s be q(-4). Suppose -3*b + 12 = p + b, s*p = -b + 25. Does 3 divide p?
False
Let r be (1 + 2)*(-2)/(-3)*1. Let y = r - -112. Does 38 divide y?
True
Let y = 22 + -20. Let x(v) = 7*v**2 + 3. Does 16 divide x(y)?
False
Let c(g) = 9*g**2 - 20*g + 3. Let s(z) = -4*z**2 + 10*z - 1. Let v(d) = 6*c(d) + 13*s(d). Suppose -24 = 3*f + b, -f - 2*f - 2*b = 24. Is 17 a factor of v(f)?
False
Let j be (-1)/(-8) - (-814)/16. Suppose -106 = -d - 2*b, 3*b + b = 5*d - 502. Let k = d - j. Does 17 divide k?
True
Let p(c) = c**3 + 5*c**2 + 4*c + 1. Let r be p(-4). Suppose -2*x = -r - 1. Is 14 a factor of (-44)/(4/((-4)/x))?
False
Is (-45)/(-15) + -1 - 367*-2 a multiple of 12?
False
Suppose 39*v - 2*v = 36556. Is 26 a factor of v?
True
Let t(h) = -4*h**2 - 56*h - 2. Suppose -3*v - 30 + 3 = 0. Is t(v) a