 5*c - 520 = 0, -5*c + 3*c = -4*z + 702. Does 35 divide z?
True
Let u = 654 + -16. Does 22 divide u?
True
Let c(q) = 105*q**2 - 2*q - 1. Let g be c(2). Suppose h + 4*v = 105, -5*h + 4*v = 2*v - g. Is 12 a factor of h?
False
Is (-6335)/(-15) + -2*(-5)/15 a multiple of 3?
True
Let i be 1/(-3) + 125/15. Let p(u) = -3*u + u + u + 4 + i. Is p(9) a multiple of 3?
True
Suppose -583 = 15*r - 4078. Is r a multiple of 21?
False
Let x = 46 + -52. Is 41 a factor of ((-330)/4*8/x)/2?
False
Suppose 0 = 3*v - x - 632, -8*v + 10*v - 438 = 4*x. Is v a multiple of 13?
False
Suppose n = -3*f + 15506, -3*f + 5584 = 4*n - 9928. Is f a multiple of 38?
True
Let u = 801 + -728. Does 2 divide u?
False
Suppose -315*w + 304*w = -990. Does 10 divide w?
True
Suppose 4*z + 6*r - r - 11145 = 0, -z - 3*r + 2781 = 0. Is z a multiple of 45?
True
Suppose -1443 = -10*o + 1107. Does 51 divide o?
True
Suppose -4*k + 2*w + 5 = 3*w, 0 = 3*k - 2*w - 12. Suppose 2*a = -k*a - 44. Let x(m) = m**3 + 10*m**2 - 10*m + 14. Is x(a) even?
False
Let l(o) = -o + 13. Let j be l(9). Suppose -j*g - g = 1010. Is 16/(-72) - g/18 a multiple of 3?
False
Let b(m) = m**2 + 30*m + 82. Is b(-35) a multiple of 15?
False
Let t be (-64)/(-28) - (-3 + 69/21). Is 20 a factor of 454/8*t + 4/(-8)?
False
Suppose 0*v + 5*v - 201 = 2*d, 0 = -v - 4*d + 49. Let a = v + -18. Is a a multiple of 8?
False
Let x(s) = -23*s**3 - 8*s**2 - 21*s. Is 46 a factor of x(-3)?
False
Suppose -2*c + 3*m = -38 + 124, 0 = -3*c + m - 129. Let l = c - -163. Is l a multiple of 7?
False
Suppose 5*r - 91 = 5*d + 24, -91 = -4*r + 5*d. Let n = 39 - r. Does 15 divide n?
True
Suppose 2*j + y = 5*y - 60, -4*y = 5*j + 108. Let u = 22 + j. Is 37/(u/(-6) - 0) a multiple of 15?
False
Let z be (1 - 4)*1 + -25. Let c = z + 37. Does 9 divide c?
True
Suppose 0 = -k - 2*k - 5*f + 110, -34 = -k + f. Let b = k + -17. Is 18 a factor of b?
True
Let r(z) be the first derivative of -43*z**2/2 + z - 2. Let f be -4 + (-6)/(-2) + 0. Is 13 a factor of r(f)?
False
Suppose 17*l - 1664 = -3*q + 13*l, -l + 1106 = 2*q. Is q a multiple of 46?
True
Let c = 14 - 11. Suppose 0 = 2*m + 4*u - 20, c*m = -4*u + 16 + 24. Is 5 a factor of m?
True
Suppose 3*b = 8*b + 10. Let x be 0/((-3 - -4) + b). Let g(u) = u**3 - u**2 + u + 75. Does 20 divide g(x)?
False
Let h = 35 - 3. Is 472/h - 2/(-8) a multiple of 15?
True
Suppose -4*x - 4 = -40. Suppose x = b - 9. Is b a multiple of 6?
True
Let b be 9/(-12) + 591/4. Let q = b + 71. Suppose 2*f + q = 6*f - 5*y, 4*y = -5*f + 252. Is f a multiple of 8?
False
Let x be 11/33 - 58/(-6). Suppose -r = 3*i - 5*r + 8, i = -5*r + x. Suppose i = j - 4*j + 30. Does 10 divide j?
True
Let w(l) = -l**3 - 4*l**2 + 11*l - 11. Does 17 divide w(-9)?
False
Let c(u) = -2*u**2 - 58*u - 68. Does 8 divide c(-22)?
True
Let w be -1 + 30*44/6. Let o = 373 - w. Is 36 a factor of o?
False
Let y = 165 - 5. Let j = -57 + y. Is j a multiple of 9?
False
Let p = 63 + -40. Let a = p + -11. Suppose -4*h = -a, -z - 2*z - h + 243 = 0. Is z a multiple of 20?
True
Let m be (-10292)/(-1079) + (-6)/(-13). Let q(h) be the third derivative of h**4/8 - 4*h**3 + h**2. Is 6 a factor of q(m)?
True
Let d be -2*(-3)/(-3) + 61. Let k = -11 + d. Suppose 3*z - 56 = 5*b - 24, -4*z + 4*b + k = 0. Is 7 a factor of z?
True
Let p be 2*-13*(-30)/4. Suppose 0 = 5*b - p - 90. Does 19 divide b?
True
Let k = -41 + 32. Is (k*20)/(-6) - 2*-1 a multiple of 12?
False
Suppose 0*b + 80 = -5*b. Let d be (-220)/b*(3 + 1). Suppose d = 3*a - 44. Is 11 a factor of a?
True
Let t = 139 - 62. Is t a multiple of 77?
True
Let j(h) = h**3 - 31*h**2 + 63*h - 104. Is 20 a factor of j(29)?
False
Suppose 3067 = 4*a - 3*s, -a - 94*s + 772 = -93*s. Is a a multiple of 6?
False
Let y = 1144 - -26. Is y a multiple of 10?
True
Let v = -14 + 17. Suppose -2*r + 5*t = v*r - 60, -4*r + 46 = -2*t. Is 6 a factor of r?
False
Let k = 3328 + 295. Is 10 a factor of k?
False
Let s(g) be the first derivative of -g**2 + 140*g - 6. Does 35 divide s(0)?
True
Suppose -v - 9 + 49 = 0. Is v a multiple of 13?
False
Suppose -131*j + 6 = -128*j, 2*b - 112 = -4*j. Is 13 a factor of b?
True
Is 949 + (-1 + 1)/(0 + -2) a multiple of 73?
True
Let u(k) = 30*k + 46. Is u(4) a multiple of 14?
False
Let f(g) = 8*g + 2 + 14*g - 10 + 2. Does 12 divide f(3)?
True
Let f(t) = t**2 + 11*t - 10. Let g be f(-10). Let y be g*2*(-3)/12. Let p = y - 4. Is 3 a factor of p?
True
Let k be (-14)/(-21)*(-90)/(-4). Let o = -17 + k. Let h(i) = 4*i**2 + 4*i + 3. Is h(o) even?
False
Let l(a) = -a**3 + 4*a**2 - 3*a + 6. Let y be l(3). Suppose 46 + 62 = y*n. Is 7 a factor of n?
False
Let z(i) = i - 9 + 9 + 16*i + 21. Is z(4) a multiple of 43?
False
Suppose 0 + 14 = 2*f. Is (f*-2)/(0 + -2) a multiple of 7?
True
Suppose 58 = -m + 197. Let b = 207 - m. Is 34 a factor of b?
True
Let i(p) be the third derivative of -p**5/40 + 5*p**4/24 - 7*p**3/6 + 4*p**2. Let n(y) be the first derivative of i(y). Is 10 a factor of n(-5)?
True
Let u(p) = 4*p - p + p - 5*p - 5. Let m be u(-5). Suppose -l = 5, 10 = -m*g + 5*g + 5*l. Is g a multiple of 6?
False
Let f be 16*(3 - (-33)/(-12)). Is 15 a factor of f/12 + 1 - 1162/(-6)?
True
Let y(b) be the second derivative of b**3/6 + 17*b**2/2 - 29*b. Suppose -2*h - 3*s = -11, 0 = 4*s + 3 + 1. Is y(h) a multiple of 6?
True
Suppose -3*l + 181 = 5*p, 4*l - 10 = -5*p + 173. Let c = 109 - p. Is c a multiple of 22?
False
Suppose 0 = -4*n + s + 4673, -4*n - 9*s = -6*s - 4653. Is 7 a factor of n?
False
Let d(n) = n**2 + 3*n - 4. Let t be (-1 - 0)/(2/14). Let k be d(t). Suppose -y - 5*m + 29 = 0, -y - 2*m + k = -20. Is y a multiple of 27?
True
Suppose -4*y + 496 = -604. Suppose -18*m = -23*m + y. Does 8 divide m?
False
Suppose -575 = -3*l + 8*l. Let b = 165 + l. Does 8 divide b?
False
Suppose -12 = 7*k - 68. Let j = k - -7. Does 15 divide j?
True
Let o(i) be the third derivative of i**6/120 + 2*i**5/15 - i**4/6 - 13*i**3/6 - 15*i**2. Is 9 a factor of o(-7)?
False
Does 51 divide ((-36)/(-24))/((-2)/(-4)) + 159?
False
Let z(n) = 20*n**3 - 4*n**2 + n + 77. Let a(g) = -7*g**3 + g**2 - 26. Let f(h) = 17*a(h) + 6*z(h). Is f(8) a multiple of 22?
True
Is ((-3)/(-2))/(15/1100 + 0) a multiple of 9?
False
Let m = -185 + 1222. Is 7 a factor of m?
False
Suppose -70 = -6*o + o. Let z be 2/4 - (-217)/o. Is (36/z)/((-3)/(-12)) a multiple of 9?
True
Suppose -8*p = -3*p + 4*x - 10, -2*p + x = -17. Let o(b) = -b**3 + 8*b**2 - 6*b - 7. Let a be o(7). Let i = p + a. Does 3 divide i?
True
Let p = 311 - 214. Suppose -9*w + 164 = -p. Is 6 a factor of w?
False
Suppose -s + 2*s - 479 = 5*j, 4*j + 20 = 0. Is s a multiple of 35?
False
Let j be (-4 - 12/(-4))/(2/142). Let a = j + 129. Is a a multiple of 29?
True
Let l(c) = c**2 + 2*c. Let d be l(-3). Suppose -d*n = -7*n + 480. Is n a multiple of 12?
True
Suppose 0 = 3*l - l + 2*u - 380, 4*u - 8 = 0. Is 5 a factor of l?
False
Let f(z) = 8*z**3 + 5*z**2 - z - 2. Let t be f(3). Suppose -8*y + t = -4*y. Let m = -42 + y. Does 22 divide m?
True
Suppose -30*l + 28*l - 5*q + 2063 = 0, 3*q = 15. Is 16 a factor of l?
False
Suppose 4*p - 236 = 3*p. Suppose 0 = -4*w + p + 208. Is w a multiple of 16?
False
Let j(h) = 2*h**3 + 4*h**2 - 2*h. Let l be j(3). Let p be (-2)/((-8)/l) + -2. Let d = 16 + p. Does 15 divide d?
False
Let y(j) = 4*j**3 - 3*j**2 + 2. Is y(4) a multiple of 10?
True
Does 16 divide (2/4*-29)/(75/(-1050))?
False
Let c(z) = z**3 - 6*z**2 + 5*z + 4. Let r be c(5). Let w be 73/2*(r - -4). Suppose 5*v + s - 94 - w = 0, 20 = -5*s. Is v a multiple of 13?
True
Let n be (-9)/(-2) - (-4)/8. Let w(z) = -22*z**3 + 44*z**3 - 21*z**3 - 7*z - 2*z**2 + 5. Is w(n) a multiple of 14?
False
Let u be 0/((3 + -4)*1). Suppose 3*k - 98 = -4*i, 114 = 4*k - 3*i - u*i. Is k a multiple of 30?
True
Let c(k) = 3*k**2 + 30*k + 2. Let z(t) = -2*t**2 - 15*t - 1. Let i(x) = -x**3 - 6*x**2 + 3. Let q be i(-6). Let u(m) = q*c(m) + 5*z(m). Does 17 divide u(11)?
False
Let c be 12/8 + 2 + 51/6. Let o(t) = t**2 - 5*t - 19. Is 10 a factor of o(c)?
False
Suppose -3*u - 1032 = 4*t, 575 = -5*t + u - 734. Let q = -365 - t. Is -2 + (-5)/(20/q) a multiple of 9?
False
Let s = -3062 - -3207. Is s a multiple of 2?
False
Is 19 a factor of ((-1254)/77)/((-3)/126)?
True
Suppose -54 = 3*i + 6*i. Let c(f) = -21*f - 6. Does 26 divide c(i)?
False
Let l = 313 - 201. Suppose -4*a + 73 = 2*h 