+ (8 - 4)). Is -2 - (-2 + -2 - x) a multiple of 12?
True
Let m be 79 - -6 - 0/(-1). Suppose 5*c - 20 = m. Does 21 divide c?
True
Suppose -3*k + 9*k - 12 = 0. Suppose -2*l + 3*s + 62 = 0, 0 = l + 3*s - 33 + k. Is l a multiple of 11?
False
Let b(g) = -g**3 + 4*g**2 + 5*g + 9. Suppose 2*v - 30 = -5*m, 0 = 3*m + m - 16. Does 9 divide b(v)?
True
Let h(b) = -24*b**3 - 2*b - 16. Does 51 divide h(-3)?
False
Let b = 7 + -13. Let r be ((-3)/b)/(1/(-8)). Is 11 a factor of 21 + (-3 - r)*-2?
False
Is 32 a factor of (-2114)/(-6) - 4/12?
True
Let w be (-4)/(-14) - 0 - (-2172)/42. Suppose -r + 3*p = -w, -r - 2*p + 87 = 2*p. Is 15 a factor of r?
False
Let h(n) be the third derivative of 7*n**5/120 + n**4/6 - 2*n**3/3 - 5*n**2. Let j(u) be the first derivative of h(u). Does 22 divide j(5)?
False
Suppose 8 = -4*b, -3*b - 191 = -5*u - 0*b. Suppose 3*n + u = 4*n - 3*o, 0 = -4*o - 8. Does 5 divide n?
False
Let z(i) = -17*i + 10 + 6*i - 17. Let o be z(-6). Let a = 105 - o. Is 23 a factor of a?
True
Suppose 4*c = 29 + 35. Let n be 8 - -4*(-12)/c. Suppose 0 = u - 5*s - n - 22, 3*u - 4*s = 48. Does 4 divide u?
True
Suppose 3*t + 33 + 12 = 0. Let r = 75 - t. Is r a multiple of 13?
False
Let q = 217 - 41. Is 9 a factor of q?
False
Let x(v) = 7*v**3 - 3*v**2 + 2. Let b be (-2)/(-8) - 9/4. Let l be x(b). Let a = -29 - l. Is a a multiple of 12?
False
Let c = 563 - 321. Let z = -137 + c. Is z a multiple of 15?
True
Let r be -1*(-2 + 0) - -43. Suppose -a + 46 = 4*t - 65, 0 = -5*t + 3*a + 160. Let n = r - t. Is 15 a factor of n?
False
Suppose 297 = 4*l + 277. Suppose -f + 93 = l*c + 17, 5*f = c + 354. Is 5 a factor of f?
False
Let z = -45 - -95. Suppose -4*i = 10 + z. Is 14 a factor of (212/(-10))/(6/i)?
False
Let y(k) = -k**2 + 4*k + 5. Let d be y(4). Suppose 4*r + 2 = d*a, -a + 6*a = -2*r + 14. Suppose -27 = r*s - 89. Does 14 divide s?
False
Let s(x) = 6*x + 1. Let v be s(2). Let h be v - -58 - 1*2. Suppose -4 = 5*i - h. Does 4 divide i?
False
Let n(x) = -2*x - 15. Let t be n(-11). Suppose 0 = -4*o - t + 23. Suppose -2*k - 236 = -5*q - o*k, 102 = 2*q - 3*k. Does 12 divide q?
True
Let b = 31 + -259. Let r = -160 - b. Is r a multiple of 17?
True
Let h(t) = 127*t**2 - 5*t + 60. Does 11 divide h(-4)?
True
Suppose -2*a = -4*f + 476, 2*a + a - 6 = 0. Suppose -h = -5*m + 109 + f, -4*m + 5*h = -179. Is m a multiple of 13?
False
Suppose r - 481 + 426 = 0. Does 27 divide r?
False
Let v(o) = -15*o + 478. Does 10 divide v(0)?
False
Let i(m) = 103*m**2 + 3*m - 4. Let s(d) = -d**2 + 21*d - 19. Let r be s(20). Is i(r) a multiple of 12?
False
Suppose -4*m - 32 = 5*o, 3*m - 9 = -3. Let t(z) = -12*z - 27. Does 23 divide t(o)?
True
Suppose 4*i - 2*k = i + 17, 4*k + 28 = 4*i. Suppose -i*y - 5*q + 271 = 0, 2*q - 178 = -2*y - 0*y. Is y a multiple of 36?
False
Let q(m) = -30*m + 10. Let b be q(-7). Let w(j) = -j**3 - 3*j**2 + 3*j + 1. Let p be w(-4). Suppose u + b = p*u. Does 11 divide u?
True
Let s(r) = -8*r**2 + 8*r - 1. Let w(u) = 23*u**2 - 23*u + 2. Let p(a) = 17*s(a) + 6*w(a). Let q be p(8). Suppose -3*m - 14 = -q. Does 18 divide m?
False
Suppose 3*v = -5*d + 2*v + 12739, 0 = -4*d - 3*v + 10200. Is d a multiple of 11?
False
Suppose 4*t - 41 = -5*z, -5*t - 4*z = -2*z - 64. Suppose 3*q = q - t. Is 9 a factor of (12/q)/(10/(-105))?
True
Let t(i) = -i**2 + 11*i - 9. Let n(w) = -w**3 - 5*w**2 + 5*w - 3. Let x be n(-6). Let a be 10 - 0/3 - x. Is 19 a factor of t(a)?
True
Suppose 794 = 2*w - 4*u + 78, 0 = -4*u - 12. Suppose 5*i - 98 - w = 0. Does 45 divide i?
True
Let x(p) = -p**3 - 6*p**2 + 6*p - 3. Let j be x(-7). Suppose j*n - 7*i = -3*i + 656, 5*n = 4*i + 818. Is n a multiple of 9?
True
Suppose 3*d + 8*o - 9*o = 5761, -2*d - 2*o = -3838. Is d a multiple of 24?
True
Let w(n) = 2*n**2 - 2*n - 1. Let f be w(-3). Let i = -28 - -30. Suppose 0*v + 3*d - f = -i*v, -d = -5. Does 3 divide v?
False
Suppose -4*h + 98 = 3*w, -h = -4*h - 4*w + 77. Let j = 45 - h. Does 11 divide j?
True
Suppose 0 = 7*l - 6*l - 49. Let g = -17 + l. Let a = g + 11. Is a a multiple of 10?
False
Let o = 7 - -36. Let a be o/9 - (-4)/18. Suppose -120 = -a*h + 120. Is h a multiple of 16?
True
Suppose -3*h = -3*j + 1371, 8*h = 2*j + 13*h - 949. Is j a multiple of 11?
True
Let r(c) = -c**2 + 8*c. Let p be r(8). Let z(a) = -a - 1 + 0*a + 0 + 4. Does 3 divide z(p)?
True
Let k(c) = c**2 - 29*c - 223. Does 56 divide k(45)?
False
Let c(p) = 38*p - 1. Suppose 0 = -6*a + 3*a + 3. Let t be c(a). Is t + 5/((-20)/12) a multiple of 15?
False
Suppose 0 = n - u - 14 - 16, -3*n - 3*u + 66 = 0. Let c be n/10 + (-8)/(-20). Suppose -5 = c*g + 4*d, -4*g + d + 10 = 3*d. Is g a multiple of 4?
False
Suppose -6*y - 1638 = -12*y. Suppose -9*f + 15 = -y. Does 16 divide f?
True
Let d = -43 + 43. Suppose f + 3 - 36 = d. Does 4 divide f?
False
Suppose -6*y + 3*y = -171. Let r = y + -2. Is 15 a factor of r?
False
Let w = -374 + 1038. Is 12 a factor of w?
False
Suppose -37*x + 15854 + 5088 = 0. Does 14 divide x?
False
Let n(k) = -161*k + 48. Is 9 a factor of n(-3)?
True
Let x(y) = -55*y**3 - y + 13*y**3 - 52*y**3. Suppose -2*j + 3*c = -13, 8 + 7 = -3*c. Is 19 a factor of x(j)?
True
Let n = 178 - 70. Suppose -4*j = -2*o + 24 + n, 0 = -3*j - 3. Does 16 divide o?
True
Is 41 a factor of 5/((-100)/(-14628)) + 2/(-5)?
False
Let f(c) = 82*c**2 + 6*c + 6. Does 10 divide f(-2)?
False
Suppose 0 = 3*r + 2*q + 1 - 11, 3*r - 3*q = 0. Suppose -5*j + 2*f = -8, 0 = -5*j + 3*f - r*f + 9. Suppose 2*i = j*s + 44, 2*s - 13 - 3 = -i. Does 5 divide i?
True
Let r be 2/(-6) + 7/21. Suppose r = i - 0*i + 31. Let h = -19 - i. Does 6 divide h?
True
Suppose 2*k = 6*k + 4*v - 1768, -2*v - 888 = -2*k. Is k a multiple of 23?
False
Let l = -5 + 11. Let h be 4/(-6) - (-328)/l. Suppose 6*m = 8*m - h. Does 9 divide m?
True
Is 7 a factor of 42800/340 + 4/34?
True
Let i be 12/(-4) + -1 + 10. Suppose -i*f + 66 = -198. Is 22 a factor of f?
True
Suppose 1546 = 2*m + 2*a, 29*a + 758 = m + 27*a. Does 8 divide m?
True
Suppose 0 = 5*d - 3*v - 2*v + 5, 3*d + 2 = 4*v. Is (2 + (-32)/(-4))/(d/(-28)) a multiple of 28?
True
Suppose 2*j - 4*j = -2*g - 50, -98 = -4*j + 2*g. Let t = -11 + j. Is t a multiple of 4?
False
Is 23 a factor of 277/(-2)*-2 - 1?
True
Suppose -2*s = -2*r - 502 + 148, s + 4*r = 202. Is s a multiple of 14?
True
Suppose -4*r = -j - 1076, 5*j - 48 = -2*r + 468. Is r a multiple of 13?
False
Let s be 2/(-14) + (-11)/(616/(-848)). Suppose 856 = s*x - 44. Is 3 a factor of x?
True
Let i(b) = -3*b**3 - 2*b**2 + 3*b + 1. Suppose -10*d = 80 - 30. Is 50 a factor of i(d)?
False
Let q(x) = 24*x**2 + 12*x + 42. Is q(-4) a multiple of 14?
True
Suppose 4*m + 62*n - 60*n - 3938 = 0, 0 = -2*m + 2*n + 1984. Does 8 divide m?
False
Suppose -2*n + 21 = 5*i, 0 = 4*n - 8*n + 4*i - 28. Let x = n - -2. Suppose -4*s - 2*a + 128 = -62, x = -4*s + 2*a + 170. Is 12 a factor of s?
False
Suppose -16*b + 9247 + 15377 = 0. Is b a multiple of 21?
False
Let l be -1*((-6)/9)/((-4)/6). Is l/2*(-420)/6 a multiple of 11?
False
Let c(h) be the first derivative of -3*h**2 - 18*h - 22. Is c(-4) a multiple of 4?
False
Let v be 2/4 + 126/(-12). Let u be (-4)/v*(2 + 113). Let z = -24 + u. Is 7 a factor of z?
False
Let p(m) = 2*m**2 - 3*m. Let o(d) = d - 6. Let w be o(6). Suppose 6 + w = 2*z. Does 3 divide p(z)?
True
Suppose -364 = 2*i - 1056. Let g(t) = -t**3 - 2*t**2 + 2*t + 10. Let f be g(0). Does 13 divide i/f - (-6)/15?
False
Suppose -f = 4*f - 4*u + 1678, -685 = 2*f + 3*u. Let y = 549 + f. Suppose 67 = -2*j + y. Is 18 a factor of j?
True
Suppose 16*f = 14*f + 8. Let z(c) = 17*c - 4. Is 9 a factor of z(f)?
False
Suppose -w + 5 = -1. Let m be (2/w)/(2/12). Does 13 divide (-1 - 0) + (42 - m)?
True
Let m be 164/(-3) - (48/9 - 6). Let c = -47 - m. Is 2 a factor of c?
False
Suppose -5*w - 307 + 1567 = 0. Suppose -172 = 8*v - 196. Suppose v*f = -f + w. Does 9 divide f?
True
Let x(f) = -107*f - 4. Let b be x(-2). Suppose 39*m - 32*m = b. Is m a multiple of 6?
True
Suppose -2*a + 455 = 3*x - 2*x, 3*a - 5*x = 689. Is 11 a factor of a?
False
Let c = 31 + -51. Is (-2)/(((-25)/c)/(-5)) a multiple of 5?
False
Suppose 2*c - 133 = -4*m + 103, -5*m + 124 = c. Does 19 divide c?
True
Suppose -5*j = 922 - 3227. Does 29 divide j?
False
Suppose 3*b + 774 = 3*l, -4*b + 809 = -14*l + 17*l. Is l a multiple of 31?
False
Let z be (2/(-8)*0)/(-4)*1. Suppos