Let q be j(-10). Let g be c(q). Suppose g = 4*a - 199 + 39. Does 8 divide a?
True
Let n(y) = 667*y + 7036. Does 82 divide n(-6)?
True
Is 2 a factor of (4 - (-54)/(-15))/(4/7540)?
True
Suppose -3*i + 36*a = 38*a + 4, -3*a - 17 = -i. Suppose 1736 - 501 = 5*t + 5*b, -4*t + i*b = -1018. Is 42 a factor of t?
True
Let r = 21173 + -18765. Is r even?
True
Let r = -186 - -191. Let p(b) = b**3 + 7*b**2 + 10*b - 4. Let f be p(-6). Let d = r - f. Is d a multiple of 26?
False
Let z = 230 + -228. Let i(g) = 2*g - 2. Let x be i(3). Is 4 a factor of 22/z + (-3)/(5 - x)?
True
Let k = 215 + -224. Let u(d) = -29*d + 19. Is 10 a factor of u(k)?
True
Let h(a) = -3*a - 9. Let w be h(-6). Suppose 0 = w*j - 124 - 821. Does 2 divide j?
False
Suppose 105*j - 104*j = -3*h + 67423, 0 = -3*h + 3*j + 67407. Does 17 divide h?
False
Let g(y) = y**3 - 16*y**2 + 24*y - 58. Let x(d) = -d**3 - d**2 + d + 1. Let h(q) = g(q) + 2*x(q). Is h(-20) a multiple of 14?
True
Let c(f) be the first derivative of -f**4/4 - 10*f**3/3 + f**2/2 + 28*f + 14. Does 16 divide c(-12)?
True
Let o(l) = l**3 - 20*l**2 - l + 34. Let g be o(20). Suppose 50 = 3*p + g. Suppose -4*j + 2*r + 18 - 2 = 0, -p = -2*j + 3*r. Is 2 a factor of j?
False
Is (11 - 10)/((-1)/(-6)) + (752 - -3) a multiple of 44?
False
Let f = 65 - 498. Let j = 805 + f. Suppose 3*t - j = 3*u, 4*t - 3*u - 285 = 207. Does 13 divide t?
False
Suppose 197*u - 28635 = 87792. Is u a multiple of 26?
False
Suppose -49 = -2*n + 59. Let b be (-179)/4 - (-4)/(-16). Let d = b + n. Is 3 a factor of d?
True
Let n be (-18447)/(-77) - 6/(-14). Suppose v - 31 = -g + 30, 4*g - n = -2*v. Is g a multiple of 6?
False
Let r(u) = u**3 + 8*u**2 + 4. Let s(h) = -h**2 + 11*h - 26. Let w be s(9). Let k be r(w). Suppose 3*d - d = -3*b + 83, k*d - 2*b - 190 = 0. Does 31 divide d?
False
Suppose 0 = -3*i - 3*i + 6. Let d(v) = -9*v + 5. Let q be d(i). Is 16 a factor of ((-1)/1)/(1745/(-435) - q)?
False
Suppose j + 90 = -5*d + 3*j, 5*d + 85 = j. Is 25 a factor of (-6)/((2/(-65))/(d/(-20)))?
False
Let h(w) = -228*w - 14. Let r(i) = -114*i - 7. Let a(d) = 6*h(d) - 11*r(d). Let u be a(-1). Suppose -3 = -3*s, x + s = 5*x - u. Is x a multiple of 9?
True
Let r = 4486 - 555. Does 23 divide r?
False
Suppose f + 0*f - 280 = 0. Suppose -2*b = -5*z - 595, -b - z + f = -0*b. Is b a multiple of 57?
True
Let l(v) = -4*v - 2*v**3 - 2*v**2 - 7*v**2 + 8*v**2 + 3*v**3 + 210. Is 15 a factor of l(0)?
True
Let r be ((-18)/4)/(462/120 - 4). Is r*(310/25 + -4) a multiple of 16?
False
Does 49 divide ((-9800)/(-6))/((-158)/(-948))?
True
Suppose -1517*c + 1568*c - 581808 = 0. Does 248 divide c?
True
Let u(t) = 1901*t + 15417. Is 190 a factor of u(11)?
False
Let j(o) = -o**3 - 31*o**2 + 10*o + 38. Does 14 divide j(-34)?
False
Let q(i) = -55*i + 80. Let k be q(-13). Suppose 3*t - 1203 = 2*c, -2*t + 5*c + 18 + k = 0. Is 19 a factor of t?
True
Suppose 5 = g, 0 = 13*i - 10*i - g - 295. Let a = 261 - i. Is 6 a factor of a?
False
Suppose -2*b + b - 3*y - 5 = 0, -b + 25 = -3*y. Suppose 3*x - b = 14. Does 16 divide -144*(x/4 + -1)*-1?
True
Let f = -36 - -42. Let j(h) = 2*h**3 + f + 4 + 12*h - 11 + 15*h**2 - h**3. Does 9 divide j(-14)?
True
Let w = -26 - -25. Let z be 42/(-12) - w/2. Is 8 a factor of (1 + (-144 - (-6 - -4)))/z?
False
Let u(m) = 112*m**2 + 3*m + 2. Let y be u(-3). Let l = -671 + y. Is l a multiple of 33?
True
Suppose 9*i = 10*i + 2. Let b be 2 - (i/(-3) - 2/3). Is 5 a factor of (-903)/(-9) + b/(-6)?
True
Let z(a) = 3*a**3 - a**2 + 2*a - 2. Let k be z(1). Suppose -k*u = 3*l - 173, -4*u - 3*l - 132 = -481. Does 9 divide u?
False
Let d be -181*(1/1 - 0). Let c = 541 - 592. Let l = c - d. Does 13 divide l?
True
Let d(o) = -o**3 - 6*o**2 - 6*o - 12. Let p(r) = 0*r + 0*r**3 + 4 + r + 10*r**2 + 0*r + r**3. Let u be p(-10). Is 10 a factor of d(u)?
False
Let a = -93 + 105. Does 9 divide 4*a*(-315)/(-56)?
True
Let r(c) = 92*c - 700. Does 11 divide r(32)?
True
Is 8 a factor of -108 + 92 + 2 + 3039?
False
Suppose 1474 = 50*b - 49*b. Suppose -3*r + b = 295. Does 19 divide r?
False
Suppose 8*z - 7*z - 1375 - 1279 = 0. Does 6 divide z?
False
Suppose -2*t - 7 - 1 = 0. Is 11 a factor of (3 - 5)/(t/198)?
True
Let l(q) = q**3 - 13*q**2 + 22*q + 3. Let y be l(11). Suppose -5*m = 18 - y. Does 6 divide 12*5 + (9/(-3) - m)?
True
Let c(s) = s + 8. Let b be c(-4). Let l = b - 4. Suppose -t - u + 268 = 3*t, -5*t - 3*u + 328 = l. Does 17 divide t?
True
Let d be 17/68 - 430/(-8). Let p = d + -49. Let n = 21 + p. Is n a multiple of 13?
True
Let f(b) = b**2 + b. Let v(z) = z**2 - 5*z - 3. Let l(c) = 4*f(c) - v(c). Is l(-5) even?
False
Let w = -5 + 7. Let q(b) = 324 + 37*b**w + 4*b**2 - 326 - 5*b. Is q(-2) a multiple of 43?
True
Suppose 3*b = -2*b - 3*s + 60, -4*b + 26 = -2*s. Suppose -9*p = -2223 + b. Is p a multiple of 3?
True
Let h(k) = k - 1. Let s(g) = -3*g**2 - 23*g + 22. Let t(p) = -6*h(p) - s(p). Let x be t(-13). Let b = x + -144. Is 18 a factor of b?
True
Let y(c) = 31*c - 58. Let a be y(2). Suppose -o + 8 = 3*o. Suppose -2*v = -o*i + 126, -a*i - v + 256 = -16. Is 19 a factor of i?
False
Suppose 97*v - 197*v + 104*v = 251712. Is 16 a factor of v?
True
Suppose 3*f + 2*y + 9 = -y, 4*y = 5*f - 30. Suppose 2*z + f*z + 150 = 2*n, -4*z - 3*n - 155 = 0. Let x = z - -75. Is x a multiple of 3?
False
Is 18 a factor of (9 - 1) + 31339 + -8 + -1?
True
Suppose -5*f + 21672 = 3*d, -3*f + 16*d = 14*d - 13026. Is 6 a factor of f?
True
Let b(m) = -7*m**2 - m + 8. Let l be b(2). Does 11 divide (-372 - 1)*(l + 21)?
False
Suppose -3*a + 4*y = 2 + 4, 0 = -4*a + 2*y + 2. Suppose 0 = a*o - 2*h + 5*h - 839, -4*h = -5*o + 2086. Does 11 divide o?
True
Let g = -109308 - -167351. Is g a multiple of 274?
False
Suppose 5*d = -z + 21930, 5*z + 56454 - 166104 = d. Is z a multiple of 51?
True
Suppose -3*v = 2*i - 263 - 2998, 5*i = -4*v + 4348. Is v a multiple of 18?
False
Suppose f = -4*h - 1 - 6, 5*h - 5*f + 15 = 0. Let k = -83 - -48. Let p = h - k. Is p a multiple of 7?
False
Is 5586/(-665)*2190/(-4) a multiple of 63?
True
Let c be (-224)/(-40) - (-6)/15. Suppose -3*d = o - 24, d + c = 2*o - 14. Is o a multiple of 12?
True
Let r(a) = 15*a**2 - 4*a - 12. Let f(y) = y. Let o(v) = 5*f(v) + r(v). Let w be o(8). Suppose w = 9*n - 25. Is n a multiple of 12?
False
Let w(j) = j**3 - 18*j**2 - j + 23. Suppose 40*f = 44*f - 72. Let v be w(f). Suppose -v*l + 15 + 30 = 0. Is l a multiple of 4?
False
Let c = 7160 + -6007. Does 13 divide c?
False
Suppose 0 = 25*t - 21*t - 2*c - 3426, 3*c + 15 = 0. Is 42 a factor of t?
False
Let r be 9/(-54) + 6/(108/137379). Is 27 a factor of 7/(42/r) + -2 + -1?
True
Let g(d) be the first derivative of -2*d**3 + 9*d**2/2 - 9*d + 1. Let p be g(-7). Let h = -213 - p. Is h a multiple of 10?
False
Suppose i + 5*k - 2 = 0, -2*k = 2*i + 3*k + 1. Suppose -1 = -2*w + p - 3, 4 = -p. Is 5 a factor of ((-57)/w)/(1 + 3 + i)?
False
Let a = 208 - 206. Suppose -4*u + a*v + 754 = 0, 0 = -4*u - v + 252 + 517. Is u a multiple of 42?
False
Suppose 3*w - w - 8 = 0. Suppose -3*h - w = -5*h. Suppose 0 = h*z - 4*v - 148, -z + 2*v + v = -79. Is z a multiple of 4?
True
Let w = -321 + 733. Suppose 0 = 119*f - 115*f - w. Is 3 a factor of f?
False
Suppose 2*y + d - 283 = 179, 0 = y - 5*d - 209. Let r(m) = 9*m + m + 204 + 9*m - y. Is r(10) a multiple of 33?
True
Let w = 3859 - -1549. Does 104 divide w?
True
Let v(a) = -121 + 279 - 125 - 147 - 21*a. Is 3 a factor of v(-8)?
True
Let o = -42 + 45. Let s(v) = -13*v + 8. Let n(j) = -12*j + 7. Let x(b) = o*n(b) - 2*s(b). Does 11 divide x(-5)?
True
Let d be 8/72 - (-1502)/9. Suppose -10 = d*m - 172*m. Is 2 a factor of m?
True
Let d = 8969 - 5306. Does 99 divide d?
True
Let n = -570 + 1230. Suppose -17*u = -5*u - n. Is u a multiple of 11?
True
Let g = 22 + -17. Suppose 3*h + 96 = g*k, -k + 32 = k + 2*h. Is 3 a factor of (10/4)/(3/k)?
True
Suppose -1647 = 3*v - 7323. Suppose 2*t = 5*u - 1896, 0*u = 5*u - 4*t - v. Does 5 divide u?
True
Suppose 0 = 3*x - 7*x + 4*y + 136, 3*x - 101 = 2*y. Suppose 5*z - x = 1292. Is z a multiple of 13?
False
Suppose -512 = 11*u - 15*u. Suppose j - u = -3*a, a + 124 = 4*a - j. Let f = a - 25. Is f a multiple of 2?
False
Suppose -4*h - 4*w + 7784 = 0, 3*w = h + 6*w - 1948. Does 53 divide h?
False
Let d = 470 - 7. Let h = d + -274. Is h a multiple of 7?
True
Suppose -f - 104 = -