 -4*b = -3*s - 70. Suppose -4*a + b = 0, 4*m + a - 392 = -100. Is m a multiple of 40?
False
Let d(h) be the first derivative of -h**4/4 - h**3 - h**2 - 2*h + 2. Is d(-3) a multiple of 4?
True
Let a = 221 - -65. Is a a multiple of 13?
True
Let z = 11 + -7. Suppose d = -d + z. Suppose h - d*c - c = 92, -2*c = -h + 92. Does 16 divide h?
False
Let s = 17 + -8. Let f = s - 3. Suppose -f*o + 112 = -2*o. Is 16 a factor of o?
False
Suppose 9 = -3*r + 3*b, 17 - 6 = 3*r + 2*b. Let m(t) = 8*t**3 - t**2 + t. Let k be m(r). Let p = k + 4. Does 12 divide p?
True
Let c(d) = -2*d**2 - 56*d + 21. Is c(-21) a multiple of 28?
False
Suppose 0 = 5*d - 10 - 0. Suppose -5*r + 4*a + 444 = -d, 5*r - 3*a = 442. Does 27 divide r?
False
Let r(a) = -478*a + 14. Is r(-1) a multiple of 75?
False
Let h be (-1 - 0) + 7 + 2. Let t = 3 - h. Is (-10)/4*92/t a multiple of 23?
True
Let o = -1660 + 2673. Is o a multiple of 32?
False
Let c(p) = -p - 4. Let r be c(-6). Suppose 2 = -2*i, -23 = -m + 4*i + r. Is 5 a factor of m?
False
Let t be 189/12 - (-1)/4. Let i = -128 + t. Let r = -66 - i. Is r a multiple of 13?
False
Let n(c) = 37*c + 1. Let v be n(5). Let t = -108 + v. Does 21 divide t?
False
Let x = -5382 - -8168. Does 39 divide x?
False
Is (-12)/(-16) - 21483/(-44) a multiple of 23?
False
Suppose -4*v - 108 = -5*i, -4*v + 4*i - 109 + 1 = 0. Let m = -139 + 88. Let k = v - m. Is k a multiple of 10?
False
Let b(p) = 343*p**2 + 4*p + 3. Is b(-1) a multiple of 9?
True
Let u(o) = -o**2 + 56. Let l be u(-7). Suppose 10*t = l*t + 420. Does 10 divide t?
True
Suppose -5*d - 289 = -1989. Is d even?
True
Let h = 1 - -14. Let j be (-1 - (-14)/5)*h. Suppose -j - 19 = -f. Is f a multiple of 15?
False
Let n be (7 - 1)/(-5 + 4). Let d = 23 + n. Is d a multiple of 11?
False
Let t = 29 + -14. Let c(u) = 12*u - 7*u + 0*u**2 + u**2 - t. Does 21 divide c(-11)?
False
Let t be ((-16)/(-10))/(2/5). Let n(f) = 3*f + 1 + 7*f - t*f + 2. Does 11 divide n(5)?
True
Let n(k) be the first derivative of k**3 - 5*k**2/2 - 2*k + 7. Let w be n(-7). Suppose 4*v - w = -v. Does 12 divide v?
True
Let u be ((-3)/(-6))/(3/210). Suppose 0 = 14*p - 19*p + u. Is p a multiple of 7?
True
Is 395 + (-24)/(-4) + -11 a multiple of 10?
True
Let v = -918 - -1116. Is 13 a factor of v?
False
Suppose -5*k + 0*p = -4*p - 289, -5*p = 5. Let y = -51 + k. Is y a multiple of 2?
True
Let x = 13 - 8. Suppose -3*i + 2*i - 3 = 0, x*i = -r + 108. Suppose -4*q = -21 - r. Is 12 a factor of q?
True
Let z(c) = 1 - c + c**3 + c + 4 - 3*c + 8*c**2. Is z(-8) a multiple of 6?
False
Let b(g) = -g**3 + 19*g**2 - 12*g - 5. Let k(c) = 2*c**2 - 4*c - 12. Let h be k(5). Does 12 divide b(h)?
False
Let z(l) = -l**2 + 7*l + 6. Let a be z(4). Suppose -6 = 4*f - 3*f. Let y = a + f. Does 4 divide y?
True
Let v = 11 - 16. Let r(a) = -4*a - 1. Let k be r(v). Suppose -3*u + k = 4, 0 = -y + 2*u - 2. Is y a multiple of 4?
True
Let z(k) = 526*k + 102. Is 24 a factor of z(3)?
True
Suppose 757 = 4*l + 4*j - 183, 4*l - 972 = 4*j. Is l a multiple of 9?
False
Suppose -j - 20*u + 1460 = -15*u, 2*u = -5*j + 7346. Is 42 a factor of j?
True
Suppose -2*j = -4*d + 2*j - 2020, 5*d + j + 2507 = 0. Let y = -320 - d. Does 13 divide y?
True
Let t = 398 + -40. Is t a multiple of 34?
False
Suppose h + 30 = 4*h. Is h + -2*9/6 a multiple of 7?
True
Suppose -4*y - 4*h + 12 = 0, -y + 3*y - 5*h = -1. Suppose 0*b + 3*b = w + 149, y*w - 252 = -5*b. Suppose 6*r = 166 + b. Does 12 divide r?
True
Let y be (-9)/24*-4*(-28)/(-3). Suppose 41 = u - 659. Is 10 a factor of ((-4)/(-10))/(y/u)?
True
Is 13 a factor of (33 - 38) + (-148)/(-1)?
True
Let o be 3/9*-5*3. Let y(p) = -p**2 - 9*p + 1. Let t be y(o). Suppose 0 = 3*i - 15 - t. Does 12 divide i?
True
Suppose 310 = -2*w + 3*x, w - 23 = 5*x - 178. Let v = -55 - w. Is 10 a factor of v?
True
Suppose 2*j = -5*h - 3*j + 300, 5*h - 5*j = 290. Let u = h + 14. Suppose 3*d = u + 104. Is d a multiple of 11?
False
Let b(s) = 59 - 4*s + s**2 - 59. Does 20 divide b(-6)?
True
Suppose 2*w = -3*w + 30. Suppose -w*q + 3108 = -3*q. Does 18 divide 24/156 - q/(-26)?
False
Let i(x) = -4*x - 2. Is i(-9) a multiple of 9?
False
Suppose 2*c - 3*g = -2*g + 2419, -7262 = -6*c + 2*g. Is 21 a factor of c?
False
Suppose 0 = 4*g + d, 0 = -5*g - 2*d - d + 7. Let v = -2 - 2. Does 18 divide (-27)/g*v/(-6)?
True
Let c(p) = -40 + p + 244 + p**2 - p. Let j be c(0). Let a = -135 + j. Is 13 a factor of a?
False
Let y = 27 + -17. Let j be 4 - 0 - 10/y. Is j/(-2)*170/(-17) a multiple of 15?
True
Let f = -1017 - -1532. Is f a multiple of 39?
False
Suppose 2*v - 3*l - 12 = 0, -3*v = 4*l - 3*l - 29. Let p be 2/v + 156/27. Suppose i - 4*c = 34, 4*c - 6 - p = 0. Is i a multiple of 14?
False
Suppose -12 = -3*g - 0. Suppose 4*w - 2*z = 3*w - 32, 3*w + g*z + 56 = 0. Is 3 a factor of (w/(-10))/((-4)/(-20))?
True
Suppose h = -h + 48. Suppose h = p - 4. Let z = p + 35. Is 21 a factor of z?
True
Does 11 divide 61944/34 - (-72)/612 - -4?
True
Let n(a) = -3*a**3 + 3*a**2 + a - 1. Let h be n(-1). Does 12 divide (-726)/(-12) + (-2)/h?
True
Suppose 0*k + 2432 = 4*k - 3*a, 0 = -3*k - a + 1824. Is 16 a factor of k?
True
Suppose 0 = -i + 4*k + 517, -19*k = i - 14*k - 472. Is i a multiple of 7?
True
Does 45 divide (-64701)/(-455)*(25 + 2 + -2)?
True
Let n = 10 + -6. Suppose 16 = n*h - 4. Suppose 10 = -2*x - 5*v, -h*x - 3*v + 10 = -3. Does 5 divide x?
True
Let m(t) be the third derivative of t**5/5 - t**4/24 + t**3/2 - 4*t**2. Is m(-3) a multiple of 38?
True
Suppose -3*h + 78 = -75. Suppose 2*q - h = 45. Is 7 a factor of q?
False
Let t = 66 + -85. Let u be (-1 + 2)*116/(-4). Let i = t - u. Is 10 a factor of i?
True
Let w = 1003 - 911. Does 4 divide w?
True
Let p(w) = -16*w + 5. Let b be p(-6). Suppose 5*o - b = 569. Is 23 a factor of o?
False
Let y(l) = l - 10. Let v be y(10). Suppose 5*r - 5*m = 35, v*r + 5*m + 29 = 3*r. Suppose 3*a = -r*h + 69, -2*h = 4*a + h - 91. Is 14 a factor of a?
False
Suppose 2554 = 9*s - 4421. Is s a multiple of 31?
True
Let a(j) be the first derivative of -j**4/4 + j**2 + 3*j - 7. Let i be a(0). Is 11 a factor of (i/(-12))/(3/(-732))?
False
Suppose -141939 = -121*p + 94*p. Is 121 a factor of p?
False
Suppose -w + 4*s - 20 = 0, 3*s - 4 - 11 = 2*w. Let l(b) = -12*b + 70. Is 10 a factor of l(w)?
True
Suppose -3*t = -7 - 41. Suppose -3*b - b = -t. Is 16/(-4) - (-76)/b a multiple of 5?
True
Let q(h) = 62*h**2 - 12*h. Does 13 divide q(-2)?
False
Let m be 3/(-9) + (-10)/6. Let q(l) = 9*l**3 + l**2 + l - 3. Let f(o) = o**2 - 1. Let u(k) = f(k) - q(k). Is u(m) a multiple of 9?
False
Suppose 2*n = -4*v + 30, -n - 6 = -5*v + 21. Let c be -6*(-3 + v/(-4)). Suppose -2*s + c = -5. Is s a multiple of 16?
True
Let m(d) = d**3 + d. Let v(x) = -3*x**3 - 13*x**2 - 16*x - 24. Let u(f) = 4*m(f) + v(f). Does 3 divide u(14)?
False
Let m = 52 - 49. Suppose m*v - v = 432. Is v a multiple of 28?
False
Let z = -475 + 687. Suppose -5*j = -2*j - 2*h - z, -353 = -5*j + 3*h. Is j a multiple of 7?
True
Suppose -5*k + 5*q + 255 = 0, 0 = q + 1 - 0. Let s = -14 + k. Suppose -4*t + 10 = -y, -3*y - 5*t + s + 2 = 0. Is y even?
True
Suppose 0 = -4*q + r + 64, r = -4*q + 2*q + 32. Is 16 a factor of q?
True
Let r(v) = -4*v**3 - 2*v**2 - v - 1. Let t be r(-2). Let f = -27 + t. Is 3 a factor of (80/(-32))/(f/4)?
False
Let b(w) = w + 15. Suppose t - 2 + 11 = 0. Let g be b(t). Suppose 0*a + 4*a = -u + 3, a - g = -2*u. Does 3 divide u?
True
Suppose -506*j + 1836 = -503*j. Is j a multiple of 9?
True
Let y(t) = -6*t**3 - 3*t - 2. Suppose 4*c + 2*u = 14, -2*c - 9 + 41 = -4*u. Let g = c - 8. Is 13 a factor of y(g)?
True
Suppose -t - x - 5 = 0, -3*x = 5*t + 30 - 7. Is 45 a factor of 1/(((-6)/(-24))/((-122)/t))?
False
Let m = 1 + 4. Suppose 3*f - 4*f = -m. Is f a multiple of 2?
False
Let w = 344 - -398. Is 14 a factor of w?
True
Let z be 0/(-1) + 5/(-1). Let k be (60/(-3))/(2/z). Suppose 4*m + 10 - k = 0. Does 5 divide m?
True
Is -1316*((-45)/20 + 2) a multiple of 11?
False
Let v = 284 + -267. Is v a multiple of 17?
True
Suppose 2*z - 4*z = 0. Suppose z = 17*y - 2564 - 394. Is 30 a factor of y?
False
Let z = -254 + 977. Let f = -419 + z. Suppose 0 = 3*y + y - f. Does 22 divide y?
False
Suppose 9*g - 180 = 6*g. Is 16/g*57*10 a multiple of 35?
False
Suppose 0 = -23*j - 20028 + 50434. Is j a multiple of 13?
False
Let s = 29 + -33. Le