 = 21 + c. Is (o/2)/((-13)/2574) a multiple of 33?
True
Let g = -257 + 344. Is 2 a factor of g?
False
Let q(d) = 6*d + 0*d + 4*d - 10 + 2. Does 2 divide q(2)?
True
Is 105*8/36*3 a multiple of 7?
True
Is -8*(-30)/(-20) + 5160 a multiple of 143?
True
Suppose -70*o - a - 2547 = -72*o, -a + 1266 = o. Is o a multiple of 41?
True
Let w(c) = 2*c**3 + 5*c**2 - 4*c - 6. Let l be w(-4). Let m = 30 + l. Let h(p) = p + 18. Is h(m) a multiple of 3?
False
Suppose 0*b + 3*b = r + 5, 0 = 4*r - 4*b - 4. Let m be r/(-6)*90/(-20). Suppose -m*f = -f - 64. Is f a multiple of 12?
False
Let f = 10 - 12. Let m be (-1)/(20/(-8) - f). Suppose 0 = -3*a - 3*o + 147, -6*a + 168 = -m*a - 3*o. Does 14 divide a?
False
Let j(f) = 2*f**3 - 6*f + 4. Suppose -2*z + 16 = -2*w, -w = 3*z - 0*w - 8. Let k be j(z). Suppose 5*h = -3*m + k, -3*m - h + 135 = -5*h. Is 9 a factor of m?
False
Let s(b) = -3 - b**3 - 5*b + 12*b**2 + b**2 + 21*b. Suppose -10*j + 2*y = -134 - 10, -3*j + y = -44. Is s(j) a multiple of 7?
False
Let r = -400 + 894. Is 26 a factor of r?
True
Let v be (-2)/6 + (-13)/(-3). Let z(q) = 6*q**3 + 19*q**2 - 35*q + 31. Let n(u) = -u**3 - 4*u**2 + 7*u - 6. Let t(s) = -11*n(s) - 2*z(s). Does 5 divide t(v)?
False
Let v(a) = 49*a - 6. Let r be v(-4). Let x = -118 - r. Is x a multiple of 28?
True
Let o be -1 + 4 + 128 + 4/1. Suppose -100*w = -99*w - o. Does 27 divide w?
True
Let c = -300 - -1044. Suppose 0 = -8*a + c + 8. Does 12 divide a?
False
Let b(x) = -6*x**2 - 12*x - 2. Let s be b(-3). Let t(f) = -f**3 - 21*f**2 - 22*f - 4. Is 3 a factor of t(s)?
True
Suppose 0 = z + 36 + 9. Let w be 4/(-18) + (-1810)/z. Is 10 a factor of -6*w/12*-1?
True
Does 7 divide (-1)/1 + (-5100)/(-12) + 2?
False
Let c be 4/(-12)*-3*445. Suppose 9*a = 11*a + 5*h - c, 4*a = -5*h + 915. Is 47 a factor of a?
True
Let z(j) = 2*j - 6. Let c be z(4). Suppose -5*u = -c*u. Suppose u = -3*v + 82 + 44. Is 21 a factor of v?
True
Suppose -v + 0*v = -5. Suppose v*p = -158 + 2543. Is 15 a factor of 2/(6/p*3)?
False
Let q(x) be the second derivative of x**4/12 + 197*x**2/2 + 3*x. Let w be q(0). Suppose -a + 4*i - w = -4*a, -4*i + 256 = 4*a. Does 21 divide a?
False
Let s(f) = -53*f - 10. Let w be 4/((-9)/((-27)/(-6))). Is 38 a factor of s(w)?
False
Let v(x) = 33*x**2 - 3*x. Let o = 5 + -6. Does 6 divide v(o)?
True
Let v be (308/(-35))/(-2)*(31 - 1). Let b(f) = -f - 2. Let w be b(-4). Suppose -2*x = w*x - v. Is x a multiple of 12?
False
Suppose 30*j - 2189 = 9751. Does 8 divide j?
False
Suppose -4348 = -4*x - 4*a, 7*a - 636 - 1533 = -2*x. Is 113 a factor of x?
False
Let r be (-228)/((2/(-3))/1). Suppose -2*z = -3*w + r, -4*z - 7*w - 664 = -3*w. Does 14 divide 20/6*z/(-20)?
True
Let u(b) = b - 1. Let h be u(6). Suppose 0 = -h*m + 94 + 246. Let f = m + 25. Does 19 divide f?
False
Suppose 8136 = 17*o - 4682. Does 38 divide o?
False
Let x(i) = -469*i**3 + 16*i**2 + 11*i - 21. Let q(v) = -94*v**3 + 3*v**2 + 2*v - 4. Let j(t) = 11*q(t) - 2*x(t). Does 5 divide j(-1)?
True
Suppose 3*n = -12*n + 930. Let w = 4 + n. Is 22 a factor of w?
True
Let o(s) = s**3 + 15*s**2 - 2*s + 37. Suppose 0 = -11*i + 16*i + 70. Does 18 divide o(i)?
False
Suppose 2*m = 3*m. Suppose m = i - 9 - 38. Does 31 divide i?
False
Suppose -5*f - p = -1443, -4*p = 2*f - 308 - 280. Is 10 a factor of (f/54)/(4/90)?
True
Suppose 2567*k - 2582*k = -855. Is k even?
False
Let w = 6 - 7. Let d be 18/(-6) + (-33)/w. Does 12 divide 356/d + 6/45?
True
Is (552/(-23))/((-4)/10) a multiple of 19?
False
Let b be 3 + -1 + -31 + -1. Let v = 57 + b. Does 10 divide v?
False
Suppose -4*y + 4879 = 4*m - 5*y, 3*m = 5*y + 3672. Is 9 a factor of m?
False
Let t(n) = -n**2 + 5*n + 8. Let q be t(7). Let l be (-1 - -2)/(q/(-306)). Let i = l + 5. Is i a multiple of 28?
True
Let l(v) be the second derivative of -v**5/20 + 19*v**4/12 + 5*v**3/6 - 18*v**2 + 10*v. Is 29 a factor of l(19)?
False
Is 16 a factor of (7 + 286 + -4)*1?
False
Let i(w) = -14*w - 31. Let y(v) = -7*v - 16. Let g(b) = 3*i(b) - 5*y(b). Does 5 divide g(-4)?
True
Let s(z) = 2*z**3 - 2*z**2 + 3*z - 2. Let p be s(1). Suppose 0 = -u + 4*u - 3. Let r = p + u. Is 2 a factor of r?
True
Let j(p) = 2*p**3 - 3*p**2 - 3*p - 4. Let w(m) = -m**3 + 7*m**2 + 9*m - 3. Let i be w(8). Let z be (3/i)/(4/20). Is 14 a factor of j(z)?
True
Let t(n) = 3*n + 5. Suppose 3*v = 4*m + 13, -v - 1 = -0*v + 4*m. Is 13 a factor of t(v)?
False
Suppose 0 = 5*l - 27*l + 10120. Is l a multiple of 29?
False
Let t = 18 - 10. Let n = t - 6. Let c = n + 2. Is 4 a factor of c?
True
Let o = 2825 - 963. Is 38 a factor of o?
True
Let t be (4 - (-3 + 10)) + 2 + 5. Suppose -375 = -t*r + r. Is r a multiple of 12?
False
Suppose -37*t = 717 - 3011. Does 9 divide t?
False
Let c = 30 + -28. Suppose 4*d + y = -226, c*d = d - 5*y - 66. Let z = d - -104. Is 16 a factor of z?
True
Let r(t) be the first derivative of 38*t**3/3 + 5*t**2/2 - 7*t - 11. Does 19 divide r(2)?
False
Suppose 4 = o + 2. Suppose -2*c - 2*t = -o, 14 = 4*c + 5*t + 5. Is c/6*(-138)/4 a multiple of 12?
False
Suppose -5*h = -h - 3*o - 15, -25 = 2*h + 5*o. Suppose 4*g - 5*s + 2 = 0, -2*g + 3*g - 2*s - 1 = h. Let f = g - -57. Does 16 divide f?
False
Suppose -n - 2*n = -9. Suppose -n*j + 18 = -30. Does 16 divide j?
True
Let d = -330 + 726. Is 18 a factor of d?
True
Let p = -7 + 9. Suppose p*l - 3*m = 25, -5*l - 3*m = -0*m - 31. Does 2 divide l?
True
Suppose 2*l = -5*d + 31, 0 = -d - 0*d + 5*l + 17. Suppose -d*r = -2*h - 4*r + 418, 3*h + r = 605. Is 19 a factor of h?
False
Let q = 418 - 242. Does 11 divide q?
True
Suppose 444 = 2*i + 3*t, 3*i - 2*i - 4*t = 200. Is 36 a factor of i?
True
Let z(t) = -45 + 0*t**2 - 31*t + t**2 + 0*t**2 - 2*t**2. Is z(-11) a multiple of 13?
False
Suppose -25*h + 21*h + 8 = 0. Suppose -5*x = -h*t - 2 - 96, -5*x = -5*t - 95. Is x a multiple of 10?
True
Suppose a - d = 3*d + 30, -4*d = 2*a - 12. Suppose -a*n = -10*n - 16. Suppose 2*r + 138 = n*r. Is 23 a factor of r?
True
Let h be (9/1)/(-3) + 33. Suppose 0 = 4*q - q - h. Is q a multiple of 10?
True
Let c = 50 - 48. Suppose -3*j + 3*z + 200 = c*z, 4*j + 5*z = 254. Does 27 divide j?
False
Suppose 0*k + 21 = -3*p + 4*k, 2*k - 21 = 5*p. Let w be 166/(-12) + p/18. Is (-1 + 4/(-8))*w a multiple of 21?
True
Let y(v) = -v**3 + 11*v**2 + 45*v - 4. Let z be y(14). Suppose 2*b - 2*t - z = 0, 0*b + 34 = 2*b - 4*t. Is b a multiple of 3?
True
Let p be 4/(-10) + (-36)/(-15). Let s be (7/p)/7*354. Suppose -s = -0*u - 3*u. Is 21 a factor of u?
False
Let t be (-42)/21 - 10/(-1). Is 10 a factor of (227/(-3))/(t/12 - 1)?
False
Let y be 1/(-3 + 20/6). Suppose s = y*s - 76. Is 6 a factor of s?
False
Suppose 20*g = 11*g + 3168. Does 11 divide g?
True
Let u(t) = -t**2 + 124*t + 45. Is 9 a factor of u(16)?
True
Let u(c) = -16*c - 6. Let w be u(-16). Suppose 2*y + r - w = -r, -652 = -5*y + 4*r. Is y a multiple of 20?
False
Let z(d) = 3*d + 21. Let x be z(-9). Let q be 949/39 + 2/x. Suppose i + 20 = q. Does 2 divide i?
True
Suppose -14*a + 25 = -7731. Is a a multiple of 20?
False
Let k(j) = 7*j**2 - 9*j. Let c be 5/(1 + (-2)/12). Is 22 a factor of k(c)?
True
Suppose 2*u + 6 = 4*u. Suppose 0 = c - 2*q - 46, -3*c - u*q + 75 = -36. Does 11 divide c?
False
Suppose 4*f - 11 = 1. Suppose -w - 5*d = -3*w - 9, 31 = 2*w + f*d. Suppose b + m - w = 2*m, 2*m = 5*b - 28. Is b even?
True
Let g = -9 - -89. Is 10 a factor of g?
True
Let y be 671/22*(-4)/(-1). Let i = -104 + y. Is 3 a factor of i?
True
Let x(m) = -m**3 + 13*m**2 - 19*m - 29. Let a be x(11). Let f(k) = 34*k - 37. Is f(a) a multiple of 11?
True
Suppose 115 = 4*n - 1. Let u = n + -21. Does 3 divide u?
False
Let m = 776 - -1864. Is 12 a factor of m?
True
Let w(j) = -8*j**3 + j**2 - j. Let b = -12 + 19. Let i be (b/14)/((-1)/4). Does 14 divide w(i)?
True
Let m be (2 - (-3)/(-2))*36. Let i be 20/(-90) - 76/(-18). Is 5 a factor of (-2367)/(-81) - i/m?
False
Let b be (4 - 4) + 3 + -3. Is 6 a factor of (1 - b/(7 + -3)) + 5?
True
Let d(z) = -z**3 + 12*z**2 - 15*z - 5. Let o = -23 - -33. Does 8 divide d(o)?
False
Suppose 0 = -2*i - 3*i + 180. Suppose -c + 4*q + 23 - 9 = 0, 4*c - i = -4*q. Let t = c + 8. Is t a multiple of 4?
False
Does 14 divide (-72)/18 + 1666 - (-6 - -2)?
True
Let y(g) be the third derivative of g**5/20 + g**4/8 - g**3/2 + 4*g**2. Let i = -1 - 2. Is y(i) a multiple of 14?
False
Let j be ((-12