pose -2*f = -2*i - 4*f, -n*i + 2*f + 10 = 0. Is i a multiple of 2?
True
Suppose 54*z - 50*z = 28. Suppose 2*a = z*a - 410. Does 11 divide a?
False
Let h = -92 - -92. Does 40 divide ((-26)/8)/(h + 1/(-36))?
False
Suppose -6*a + 30 = -a. Suppose a = -5*t - 19. Let u(m) = -7*m - 6. Does 20 divide u(t)?
False
Does 8 divide -4 - -7 - -587 - (10 - 12)?
True
Suppose -4*z = z - 45. Suppose 12*k = z*k + 9. Suppose k*n = -2*n + 165. Is 9 a factor of n?
False
Is (-1*(-28)/(-8))/((-37)/35150) a multiple of 35?
True
Suppose 1 = c - 2*p, -19 = -4*c + p - 1. Suppose -4*j - 2*u + 112 = j, 0 = -c*j - u + 116. Does 2 divide j?
True
Let u be (28 - (4 + -3)) + 3. Is (20/u)/((-2)/(-288)) a multiple of 24?
True
Suppose 4*b - p = p - 62, 2*p - 36 = 2*b. Suppose -2*t = d + 23, 0 = d - 6*d + 5*t - 115. Let k = b - d. Is k a multiple of 5?
True
Is ((-24)/(-9))/(5*(-2)/(-3315)) even?
True
Let k(g) = 176*g + 22. Let j be k(6). Suppose 0 = 2*r - 9*r + j. Is 11 a factor of r?
True
Let y = -13 - -15. Suppose 0*r + y*r = 166. Is r a multiple of 23?
False
Suppose -24*a + 74229 + 24051 = 0. Does 13 divide a?
True
Let x = 312 - -750. Does 12 divide x?
False
Suppose -3*v + 2*v = o - 2, -19 = 3*o - 2*v. Let r be (-40)/12*o/2. Is 26/(r - (4 - 1)) a multiple of 13?
True
Suppose 0*n = 3*n + 9. Let v be ((-208)/12)/(n/9). Suppose -q - 18 = -v. Does 12 divide q?
False
Let y = 970 - 786. Is 20 a factor of y?
False
Let y(j) = 6*j**2 - 23. Is y(9) a multiple of 63?
False
Is (-4)/(-10) + (-103608)/(-180) a multiple of 24?
True
Let z = 25 - -83. Is z a multiple of 2?
True
Let z(j) = j + 90. Is 9 a factor of z(27)?
True
Suppose 5*a - 5 = -o - 2*o, 3*a + 1 = -o. Is -4 - (2 + -135 - a) a multiple of 30?
False
Let y(u) = -u**2 + 13*u + 27. Let b(c) = -c**3 - c**2 - 3*c + 13. Let k be b(0). Is y(k) a multiple of 5?
False
Let q = 4 + -5. Let z = 5 - q. Does 11 divide (24 + 0)/(9/z)?
False
Suppose -3*n + 2*n - 46 = o, 9 = 3*o. Let j = -35 - n. Is 7 a factor of j?
True
Let l(j) = 4*j**2 + 3*j - 5. Let n be l(-4). Suppose -n = -4*o - 127. Let m = o + 29. Is 5 a factor of m?
False
Suppose -3*n + 3*x + 6 = 0, 3*x - 5 - 1 = 0. Let l = 51 - n. Suppose -l - 13 = -3*i. Is 5 a factor of i?
True
Let o(z) be the first derivative of 49*z**4/4 - z**3/3 + z**2 - 2*z + 13. Does 8 divide o(1)?
True
Let p = 90 + -88. Suppose 0 = -t - p*g + 18, t - g + 2 = 2*g. Is 3 a factor of t?
False
Suppose -13 = -3*c - 1. Suppose -54*l + 4504 = 454. Suppose l = 3*f + 3*m, 3*f - c*m + 0*m = 82. Is f a multiple of 13?
True
Let p(d) = d**3 - 9*d**2 - 11*d + 8. Let a be p(10). Let u(h) = -2*h**3 - h**2 - 3*h - 2. Let v be u(a). Suppose 56 = 4*s + v. Is 5 a factor of s?
True
Let j = -7 - -7. Suppose 4*y = -3*h + y - 18, j = -h - 3*y - 2. Does 17 divide 4*14*(-3)/h?
False
Let w(f) = f**3 + 19*f**2 + 34*f - 9. Is 43 a factor of w(-16)?
True
Let k = -27 + 28. Let c(h) = 75*h**3 - h**2 + 1. Does 25 divide c(k)?
True
Suppose 5*y + 9 = -4*m, -4*m + 6 = -6*m - 4*y. Let f = 7 + m. Suppose f*n - 7*n = -26. Is n a multiple of 7?
False
Let n(y) = y**3 + 4*y**2 + 1. Let r be n(-4). Let u = r + 3. Suppose 0 = -3*l + 4*f + 41, -2*f + u*f = 5*l - 87. Is 4 a factor of l?
False
Suppose 615 = 5*y - 5*o, -2*y + 4*o = -131 - 121. Does 3 divide y?
True
Let r = -30 - -3. Let g = r + 18. Is ((-30)/g)/((-2)/(-18)) a multiple of 10?
True
Is 18 a factor of (1 - 3) + 217 + 1?
True
Let p = 708 - 339. Is 23 a factor of p?
False
Let i be -10*(-4)/(-8) + 3. Let g(d) = -13*d - 5. Let q be g(i). Suppose 0 = -3*h + 75 + q. Is 16 a factor of h?
True
Let q(p) = 6*p - 9 - 1 - 4 + 18. Suppose -2*x = 2*d - 18, -d + 5*d = -3*x + 32. Is 11 a factor of q(d)?
False
Suppose -5*m + 3*m + 189 = -5*u, 3*u - 9 = 0. Let v = m - 176. Is 21/49 + v/(-7) a multiple of 4?
False
Let a be (29 - 0) + 2 - (2 - 0). Let u = 37 - a. Does 3 divide u?
False
Let a = -45 + 3. Let s = a - -66. Is s a multiple of 18?
False
Suppose -2*a - 4 - 8 = 4*q, 2*q - 10 = 0. Is 18 a factor of 3/((-4)/(-36)*(-6)/a)?
True
Suppose -28*x + 5154 + 698 = 0. Is 4 a factor of x?
False
Suppose -2*n + 21 = 5*c, -4*n + c + 6 = -c. Suppose -339 = -2*s - n*p, p = 4 + 1. Is s a multiple of 27?
True
Let k(t) = 84*t**2 + 7*t + 7. Let y be k(-1). Let f be 2/((-4)/(-94)) + 1. Let g = y - f. Does 8 divide g?
False
Let t = 31 - 24. Let p(j) = 9*j - 29. Is p(t) a multiple of 17?
True
Suppose -q - 15 = 5*j, -5*q = -3*q + 3*j + 9. Let g = q + 19. Does 3 divide g?
False
Let y(b) = -5*b**3 - 7*b**2 + 12*b - 2. Let w(f) = -f**2 + 3*f - 4. Let v be w(3). Let h(p) = p**3 - p - 1. Let r(s) = v*h(s) - y(s). Is 6 a factor of r(-8)?
True
Let f be (2 - 2/3)*3. Suppose 37 = -a + 61. Suppose 373 = f*l - 5*j, 4 - a = 4*j. Is l a multiple of 23?
False
Suppose 3*a + 0*a = 0. Suppose a = -5*u + 5*j - 25, 4*j - 28 = 5*u - 0*j. Let o = u - -11. Is o a multiple of 3?
True
Let p(i) = i**3 - 33*i**2 + 12*i - 108. Does 56 divide p(34)?
True
Let s(m) = -454*m - 53. Does 38 divide s(-2)?
False
Suppose -2*o + 8 = 2. Suppose -2*d = m - 0*d - 11, -o*m = 3*d - 21. Is 27 a factor of ((-18)/m)/(4/(-18))?
True
Does 14 divide 299400/252 + -12 + 2/(-21)?
True
Suppose 5*n - 2262 = -337. Let i(u) = -u**3 + 6*u**2 + 6*u + 9. Let o be i(7). Is 5 a factor of o/8 - n/(-28)?
False
Let a(g) = 3*g - 37. Let x be a(14). Suppose -2*i + 49 = -5*p, 5*i + x*p + 5 = 180. Does 8 divide i?
True
Let u(g) = 11*g**2 - 3*g + 1. Let m be u(1). Suppose m*z + 41 = 10*z. Is z a multiple of 11?
False
Suppose -3*d = -5 - 28. Suppose -3 = r, -2*t - 2*r + r = -d. Is t a multiple of 5?
False
Let g be ((-9)/(108/8))/((-2)/12). Let l(b) = 3*b**2 + 8*b - 32. Does 6 divide l(g)?
True
Does 10 divide (0 - -2)/(25/1250)?
True
Let r(l) = -3*l**2 - 23*l - 8. Let h(n) = n**2 + 6*n + 2. Let k(y) = 9*h(y) + 2*r(y). Is k(-4) a multiple of 9?
True
Let l = -527 + 637. Is l a multiple of 5?
True
Suppose g - 21 = 3*c, 2*c - c = 2*g - 17. Does 2 divide g?
True
Let v = -35 - -35. Suppose v = -76*m + 79*m - 621. Is 39 a factor of m?
False
Let g = 165 + 59. Is 56 a factor of g?
True
Let w = 3 - -154. Does 13 divide w?
False
Let g(o) = 7*o + 3*o**2 - 5*o**3 - 77 + 2*o**3 + 87. Is 37 a factor of g(-4)?
True
Suppose -4*s + 13 = -k + 2*k, 2*k = -3*s + 11. Suppose 4*x = s*x + 14. Does 7 divide x?
True
Let v(d) be the first derivative of -d**3/3 + d**2 + 8*d + 7. Is v(0) a multiple of 3?
False
Let a(r) = r**2 - 12*r - 1. Let k be a(12). Let i be (-9)/27 - k/3. Suppose 268 = 4*x - i*x. Is 22 a factor of x?
False
Is 7*(-8 - 17780/(-49)) a multiple of 54?
True
Does 77 divide 63/6*((-856)/(-12) + 2)?
True
Let y = -33 + 37. Suppose -4*w + y = 12. Is -1*(50/w - 2) a multiple of 6?
False
Suppose -c = 2*z + 438 - 1195, 5*z - c - 1875 = 0. Let s = z - -17. Suppose -4*y = -3*j - s, -3*j = y - 15 - 87. Is 33 a factor of y?
True
Does 29 divide 112/6*25578/343?
True
Let b(u) = u**3 + 22*u**2 + 17*u + 8. Is 12 a factor of b(-20)?
True
Let r(f) = 3*f**2 - 17*f + 23. Is 14 a factor of r(-9)?
False
Let u(w) = -17*w - 41. Does 7 divide u(-9)?
True
Suppose r = 2 + 1. Suppose 52 = 2*x + 5*v, r*v - 172 = -5*x + v. Suppose -k + x = k. Does 11 divide k?
False
Suppose 0 = -3*l + 2247 - 177. Is l a multiple of 5?
True
Let f(n) = -3*n - 12. Let q = 30 + -18. Suppose 62 = -5*j + 2*h, -3*j - 5*h - 19 = q. Does 12 divide f(j)?
True
Let b(k) = 155*k + 438. Does 76 divide b(6)?
True
Suppose 4*w + 3*w - 6461 = 0. Suppose w = -11*x + 2694. Does 23 divide x?
True
Suppose -6*i + 5*i + 2 = 0. Let z(n) = -3*n + 8 - n**i - 19 - 7*n. Does 5 divide z(-6)?
False
Suppose -9 + 21 = 2*g. Suppose -g*t = -t - 760. Suppose -3*x + 0*i + t = 2*i, -5*x - i + 265 = 0. Is x a multiple of 14?
False
Let n = 14 - 12. Suppose -a = -2*t + 265, n*t - 269 = 3*a + 2*a. Is 12 a factor of t?
True
Let s = 119 - 115. Suppose r = s*c - 209, 4*c - 258 = 4*r - 46. Does 13 divide c?
True
Is 12 a factor of (-1468)/(-3) - -4*(-4)/(-24)?
False
Suppose -16 = 5*h + 24. Let f be (4 - 2)/(4/h). Let r(v) = -2*v**3 - 6*v**2 - 2*v + 5. Does 14 divide r(f)?
False
Let i(z) = z - 1. Let s be i(5). Suppose -s*q = 3*h - 4 - 439, 0 = 4*q + 4*h - 440. Is q a multiple of 23?
False
Is 1037 + -4*(11 + -9) a multiple of 21?
True
Let t(a) = 3*a - 9. Let h = -22 - -25. Let z be t(h). Suppose -3*k + 4*r + 157 = z, -4*k + 3*r + 59 = -3*k. Does 31 divide k?
False
Let z be (-5 + -1 + 4)*-2. Suppose -z*f - 