?
True
Let h = 113 - 106. Is 7 a factor of 28*(3 - h - (-25)/4)?
True
Let s = -131 - -94. Let u = -21 - s. Is u a multiple of 5?
False
Let a be 1 - (-8)/(-12)*-6. Suppose -3*p = -a*m - 40 + 130, -p + 3*m - 34 = 0. Let y = p + 28. Is 3 a factor of y?
True
Suppose i - 558 = -2*i - 3*r, -518 = -3*i + 5*r. Is i a multiple of 5?
False
Let i(k) = 31*k + 7. Let b be i(7). Let l = b - 328. Let a = -71 - l. Is a a multiple of 11?
True
Let k = 708 + -428. Is 28 a factor of k?
True
Suppose -4*g - 10 = -6*g, 3*x - 3*g + 15 = 0. Suppose -n + 2 + 0 = x. Suppose -62 = -n*m + 24. Is m a multiple of 17?
False
Suppose 5*f - f = 0. Let y(p) = p + 3. Let z be y(f). Suppose -z*x + 23 = -16. Is x a multiple of 13?
True
Suppose -60*v - 3528 = -72*v. Is v a multiple of 49?
True
Let q be (2/3)/(10/4995). Suppose 0 = -5*y + 47 + q. Is 19 a factor of y?
True
Let h(s) = 65 - 60 + 13*s - 10*s - s**3. Suppose f - 4 = -6. Does 6 divide h(f)?
False
Suppose 2*v - 4*h + 514 = 0, -4*h - 486 = 2*v - h. Let f = -112 - v. Is f a multiple of 30?
False
Suppose -21*w - 11986 = -35170. Does 12 divide w?
True
Let a = 291 - 153. Suppose h - 80 = -5*q, h + h - q - a = 0. Does 14 divide h?
True
Suppose -25*i + 19*i = -1302. Does 18 divide i?
False
Let j(w) = w**3 - 4*w**2 + 4. Let s be j(4). Let l be (-3)/(-6) - 10/s. Is 6 a factor of (-36)/((-6)/2) - l?
False
Let c(m) = 2209*m**3 - m**2. Does 12 divide c(1)?
True
Suppose 0 = -5*z + f + 17, 4*z - 3*f - 14 = -2*f. Is 8 a factor of (-4)/(-12) + 119/z?
True
Suppose 0 = -6*i + 1323 + 93. Suppose -3*b + 8*b - 1295 = 3*r, -b + i = 4*r. Does 16 divide b?
True
Suppose -1074 = 64*g - 70*g. Does 16 divide g?
False
Let i = 855 - 519. Is 42 a factor of i?
True
Suppose -18*v + 17*v = -5. Suppose -35 = 3*g + l - 100, 85 = 3*g + v*l. Suppose 8 + 29 = 5*z - 3*f, 3*z = 4*f + g. Is z a multiple of 4?
True
Let l(x) = 6*x**2 - 12*x + 49. Is l(3) a multiple of 15?
False
Let t(z) = -z**2 + 3*z + 1. Let n be t(2). Let y be 3*(-4)/((-12)/n). Suppose -y*j - 4*s + 232 = j, -5*j = -5*s - 310. Is j a multiple of 29?
False
Is (1 + 1354/(-4))*(-156)/234 a multiple of 25?
True
Let m(g) = -2*g**3 - 10*g**2 - 13*g - 15. Is 54 a factor of m(-8)?
False
Suppose 0 = 5*y - 16 + 16. Suppose y = -2*s - 7*s + 1008. Is 45 a factor of s?
False
Let v be (1248/(-2))/(-4) + -2. Let p = -84 + v. Is p a multiple of 34?
False
Let l = 208 + -4. Is 40 a factor of l?
False
Let p be -4 - (-4 + 1 + 2). Let i(m) = -4*m**3 + 3*m + 7. Is 12 a factor of i(p)?
False
Suppose 2 = 2*x, x + 7 = v + 3*v. Suppose v*i = 2*t - 3 + 47, -73 = -4*i - t. Does 2 divide i?
False
Suppose 0 = 4*m - 4*s - 56, -2*m + 0*s = 3*s - 38. Is 2 - (m/(-1) + 2) a multiple of 4?
True
Let f be (-558)/10 + (76/20 - 4). Let p = -20 - f. Is p a multiple of 3?
True
Let g(d) = -35*d**2 + 2*d - 2. Let l(s) = s**2 - s. Let q(y) = -g(y) - l(y). Let v be q(1). Suppose 0 = 4*u + u - v. Is 7 a factor of u?
True
Let h = -223 - -431. Suppose -16*q + 37 = -4779. Let y = q - h. Is y a multiple of 17?
False
Suppose 0 = j + 2 + 3. Let f be (-2)/j + (-12)/30. Does 2 divide 3 - (f + -3 + 3)?
False
Suppose 0*i + 2*i = 0. Suppose -2*s + 4*n + 186 = i, -3*s - 5*n + 385 = s. Is 18 a factor of s?
False
Let r(i) = -1. Let u(n) = -n**2 + 8*n - 8. Let a(q) = -6*r(q) + u(q). Let o(c) = -c**3 - 13*c**2 - 13*c - 6. Let t be o(-12). Does 6 divide a(t)?
False
Let i(h) = -h**3 + h**2 - 5*h + 3. Let a be i(4). Let p = -284 + 397. Let n = p + a. Is n a multiple of 24?
True
Let v(t) be the second derivative of 2*t**3 - 30*t**2 - 4*t. Is 12 a factor of v(16)?
True
Suppose -g - 4 = -3*y + 4*g, 3*g = -4*y + 44. Suppose y*w - 10*w = -290. Is w/4 + (-7)/28 a multiple of 8?
False
Let h(m) = 1422*m**3 + 2*m**2 - 7*m + 4. Does 29 divide h(1)?
True
Let i be (-13 - -6)/(((-2)/1)/2). Suppose -217 = -0*m - i*m. Is 26 a factor of m?
False
Let t(j) = -j**3 + 7*j**2 + j + 12. Let y(m) = m + 17. Let d be y(-10). Let q be t(d). Suppose q*a + 54 = 22*a. Is a a multiple of 9?
True
Suppose -2*r - 18 = 4*g, r = -1 + 6. Let d(u) = 2*u**3 + 14*u**2 - 5*u + 23. Let x(m) = m**3 + 7*m**2 - 2*m + 11. Let b(n) = 4*d(n) - 9*x(n). Is b(g) even?
False
Let u = 251 + -8. Does 27 divide u?
True
Let s = -26 + 24. Let f(q) = -51*q - 3. Is 11 a factor of f(s)?
True
Let d(r) = -3*r - 9. Let i be d(-3). Suppose 0*o + 84 = 4*h - o, i = -4*h + 3*o + 92. Is 4 a factor of h + -5 + (1 - -3)?
False
Suppose 581 = -10*t - 399. Is (5 - (-1 - t))*18/(-8) a multiple of 23?
True
Let m be 23/1 - 42/14. Suppose -6*t - m = -t. Is ((-56)/(-10))/(t/(-50)) a multiple of 18?
False
Let u(x) = -3*x. Suppose 0 = -2*b - b - 18. Let o be u(b). Is (-120)/o*-3*1 a multiple of 10?
True
Let i be (((-595)/10)/(-7))/(1/6). Let l = 126 - i. Does 37 divide l?
False
Does 12 divide 15/(-60) - 9798/(-24)?
True
Suppose -5*y = -4*y - 9. Let l(s) = s**3 - 8*s**2 - 11*s + 10. Let z be l(y). Is 8 a factor of (-2 + (-20)/z)*44?
False
Let w(d) be the second derivative of d**3/3 + d**2 + 6*d. Let u be w(0). Suppose 0 = u*r - f - 29, -r = -3*r - 4*f + 14. Is r a multiple of 7?
False
Suppose 5*v = 5*c - 20 + 55, -c + 2*v - 7 = 0. Is -1*c/(28/180) a multiple of 11?
False
Let a(z) = 2*z**2 - 34*z + 102. Is 21 a factor of a(23)?
True
Let q be (-711)/(-7) - ((-32)/(-7) + -5). Suppose -q = -k - 2*b, b = -3*k + 7*k - 435. Is 37 a factor of k?
False
Suppose y - 2*n - 47 = 0, 5*n = -2*y - 12 + 106. Suppose -f = 2*k - 32, -f + 3*k + y + 5 = 0. Is f a multiple of 5?
True
Suppose -3*i - 1 = -2*i + 4*r, 0 = -3*i + 2*r + 11. Suppose -4*m - 20 = p + 3*p, -i*p - 18 = 4*m. Is 14 a factor of ((-1)/3)/(m/351)?
False
Suppose -5*f - 21 = 2*g, -5*f - 27 = -g - 0*g. Suppose g*q - r = -0*r + 33, -3*q = -5*r - 67. Does 3 divide q + (-2)/(-4)*-2?
False
Let p be (-2 + 7)/((-8)/(-32)). Does 10 divide (-15)/(-25) - 394*(-2)/p?
True
Let z(o) = 11*o**3 + 3*o**2 + 5*o + 2. Let r be z(-2). Does 3 divide r/210 + 1*(-77)/(-5)?
True
Let x(o) = 2*o**3 + 3*o**2 - 4*o - 23. Let k(n) = n**3 + 2*n**2 - 2*n - 12. Let y = 3 - 14. Let b(m) = y*k(m) + 6*x(m). Is b(5) a multiple of 2?
False
Let l = 1384 - 708. Is l a multiple of 26?
True
Suppose -2 + 35 = p. Suppose q = -q - 5*r + p, -5*q = 2*r - 30. Suppose -q*f + 73 = -291. Does 10 divide f?
False
Let x(y) = 19 + y - 2*y + 0*y + 3*y + y**2. Let q be x(0). Suppose -14*u - 155 = -q*u. Does 31 divide u?
True
Let b be (-139)/(-3) - 5/15. Suppose -b = -q - 7. Is 10 a factor of q?
False
Let s = 11 - 10. Let t be s*0/(9/(-3)). Let a(m) = -m**3 + m**2 + 18. Does 6 divide a(t)?
True
Suppose 1045 = 6*m - 455. Is 17 a factor of m?
False
Suppose 0*r + 5*r = 1345. Let x = r - 156. Is x a multiple of 24?
False
Let c(g) be the second derivative of g**4/12 - 5*g**2 + 3*g. Let v be c(8). Suppose -2*y + v = -0*y. Is 22 a factor of y?
False
Let w(l) = 2*l**2 - 14*l - 10. Let a be w(7). Does 18 divide (4/a)/((-11)/2970)?
True
Let h(k) = 5*k**2 + 12*k - 2. Does 42 divide h(4)?
True
Let w(h) = h**2 + 25*h - 4. Let o be w(-11). Let x = -81 - o. Is x a multiple of 11?
True
Let b = 17 + -21. Let y be 60/18*(-6)/b. Suppose 6*g - 78 = y*g. Is 34 a factor of g?
False
Let r = -463 - -705. Does 11 divide r?
True
Let i(k) = -k**3 + 8*k**2 - 6*k + 12. Let p(o) = 2*o**2 + 5*o + 4. Let l be p(-3). Is 8 a factor of i(l)?
False
Let i(b) be the first derivative of -b**3/3 - 21*b**2/2 + 25*b + 11. Is i(-16) a multiple of 10?
False
Let w be (1 + -2)*20/(-5). Suppose 2*d = -w*s + 110, -4*s + 8*s - d = 101. Is s a multiple of 4?
False
Let c(f) = f**3 + 10*f**2 - 11*f - 2. Let w(v) = -v**2 - 2*v + 4. Let a be w(-5). Let r be c(a). Is 12 a factor of (3 + r)/(1/23)?
False
Let f(k) = 26*k**2 + k - 3. Suppose 6*c + 5 = 17. Is f(c) a multiple of 16?
False
Is 3 a factor of (1 + (-37)/3)/(12/(-36))?
False
Let x(y) = -2*y + 9. Does 23 divide x(-53)?
True
Let f(l) = 16*l + 81. Let n(j) = j**3 - 3*j**2 + 3*j - 3. Let p be n(3). Is 8 a factor of f(p)?
False
Let t(k) = -21*k**3 + 13*k**3 + 9*k**3 + k - k**2 + 205. Does 31 divide t(0)?
False
Let d = -33 + 83. Let n = -78 + d. Let a = n - -63. Is 14 a factor of a?
False
Suppose 0*i - 8 = -4*i. Suppose -8 = -2*u, 0*m - 4*u = -m + 8. Suppose -4*a + i*a = -m. Does 12 divide a?
True
Suppose 6*s = -757 + 1927. Does 5 divide s?
True
Let z = 33 - 31. Suppose 0 = 4*c + c + z*a - 60, 55 = 5*c + a. Does 3 divide c?
False
Suppose -2*i + 8 + 24 =