ivide 85 + f + 4*1?
False
Let r(v) = -7*v**3 + 0*v**3 + 4 + 2*v**2 + 2*v - 3. Let f be r(-1). Is 476/f - 2/(-4) a multiple of 30?
True
Let d be 85/34*(-8)/(-10). Let p(q) = 16*q**3 - 3*q**2 + 2*q. Is p(d) a multiple of 12?
True
Suppose -p + i + 51 = 0, 4*p - i + 68 - 266 = 0. Let l = p - 23. Suppose s + l = 2*s. Is s a multiple of 26?
True
Let s = 43 - 43. Is 11 a factor of (-2)/(-6)*s - -53?
False
Suppose -11*r - 110 = -r. Let q(x) = x**2 + x. Let w(h) = -5*h**2 + 5*h - 14. Let o(y) = -6*q(y) - w(y). Does 14 divide o(r)?
True
Suppose -2*s + 5*k = -38, 3*s = 2*s + k + 16. Let x(c) be the first derivative of c**4/4 - 5*c**3 + 8*c**2 + 7*c + 12. Is 11 a factor of x(s)?
False
Suppose 5*l - 18 - 37 = 0. Let a = 12 - l. Suppose 0 = -3*u - 5*r + 35, -r + a = -0. Is 6 a factor of u?
False
Let o be ((0/3)/(-1))/1. Suppose -305 = -4*t - c, o*c + 290 = 4*t - 2*c. Is t a multiple of 15?
True
Suppose 5*t - 2*a = 56 - 4, -2*a = 5*t - 68. Let d be 175/42 - 2/t. Suppose -2*y - 66 = -d*y. Is 18 a factor of y?
False
Let t(y) = 9*y + 574. Is t(-16) a multiple of 32?
False
Let b = -244 - -849. Does 56 divide b?
False
Let l = -1033 + 1175. Is 6 a factor of l?
False
Let b(w) = -7 + 2 - 6 - 1 + 8*w. Is 12 a factor of b(6)?
True
Let p = 318 + 34. Is 11 a factor of p?
True
Suppose -5*o - 2*u = -4715, 4*o - o + 3*u - 2820 = 0. Is 15 a factor of o?
True
Suppose 27 = m - 15. Let u be 6 + -1 + (-1 - 0). Suppose 2*l + m = 2*t, -50 = -u*t - 3*l + 27. Is 7 a factor of t?
False
Suppose 0 = -3*p - 2*r - 1 + 71, -r - 97 = -4*p. Is -12*p/80*(-140)/6 a multiple of 7?
True
Let c(z) = -447*z**3 + 1. Is 56 a factor of c(-1)?
True
Suppose -2*z + 4*t = -8, -4*t = 2*z - 0*t. Suppose -z*m - 3*m = -300. Suppose k = -16 + m. Is 11 a factor of k?
True
Suppose -3*y + 422 = -5*f, 0*f - f - 5*y = 62. Let q = 22 - f. Is q a multiple of 13?
True
Let j(l) = 67*l**2 - 2*l. Let i(t) = t - 4*t - 2 + 6*t - 11. Let m be i(4). Is 23 a factor of j(m)?
True
Let i(c) be the third derivative of 0 + 0*c + 4*c**2 + 1/60*c**5 - c**3 + 1/6*c**4. Is 5 a factor of i(-7)?
True
Let q be (-4)/14 + 7/((-98)/136). Is (-4)/q - ((-1796)/10 - -5) a multiple of 35?
True
Let b be 18/2*((-15)/9 + 2). Suppose 2*o + b = 27. Is o a multiple of 12?
True
Let f be 2 - 2*15/(-6). Let b be (-3)/2 - (-75)/10. Suppose f = -5*n + b*n. Is n a multiple of 3?
False
Let z = 488 - 246. Is 8 a factor of z?
False
Let k(m) = -m**2 - 11*m - 2. Let y be k(-5). Let i = y - -3. Suppose -2*s - i = -3*s. Is 11 a factor of s?
False
Suppose 1292 + 3118 = 6*r. Does 7 divide r?
True
Suppose -12 = 4*x, -5*m + 4*x + 699 = x. Is 46 a factor of m?
True
Let i = -12 - -26. Let h be 4/i - (-144)/84. Suppose h*g = 2*p - 2*g - 68, -p = 4*g - 4. Is p a multiple of 12?
True
Let d(s) = 405*s - 38. Does 11 divide d(3)?
True
Let k = -156 - -80. Let u = 358 - k. Suppose -c - c + 199 = 5*a, 4*c - 2*a = u. Is 31 a factor of c?
False
Suppose 0 = 21*s + 3545 + 592. Let z = -26 - s. Does 7 divide z?
False
Suppose y + g + 1 - 30 = 0, -84 = -3*y - 4*g. Let a = y - 30. Suppose -5*k - a*m + 174 = 0, 3*m = k - m - 48. Is k a multiple of 9?
True
Let v(p) be the second derivative of p**5/40 + p**4/6 + p**3/2 + 2*p. Let w(o) be the second derivative of v(o). Is 7 a factor of w(6)?
False
Let j = -27 - -35. Suppose j*y = 11*y - 12. Suppose -y*s = 2*s - 720. Is s a multiple of 30?
True
Let p be (-20)/12 - 242/(-3). Let k(j) = -j**3 + 9*j**2 + 6*j + 11. Let d be k(8). Let l = d - p. Does 25 divide l?
False
Let y = 35 - 0. Suppose 2*w - 49 = y. Is 21 a factor of w?
True
Suppose -220*p = -214*p - 2436. Does 25 divide p?
False
Let o = -132 - -692. Is 10 a factor of o?
True
Let k = -24 + 200. Suppose -k = -4*l - 64. Does 14 divide l?
True
Let v(l) be the second derivative of 27*l**5/10 + l**4/6 - l**2/2 - 7*l. Is v(1) a multiple of 11?
True
Suppose -118 = 4*n - 150. Suppose 6*u - 2*u = n, -3*u - 60 = -2*q. Is q a multiple of 33?
True
Let p = -1 + 2. Let y be 0 + (6/(-3) - p). Does 12 divide (-14)/y*216/42?
True
Let g = -613 - -1487. Is 23 a factor of g?
True
Let o(d) = d**3 - 2*d**2 - 5*d - 3. Let n be o(4). Suppose 21 = 5*h - j, -3*h + j + 4 = -n. Suppose h*v - 57 = 3*v. Is 19 a factor of v?
True
Suppose -5*s + 3*g = -1010, 4*s - 5*g - 816 = -g. Is s a multiple of 11?
False
Let d(j) = -1 + 0*j - 5 - 4*j + 20. Is d(-15) a multiple of 37?
True
Let a(o) = -9*o**2 - o**3 + o + 0*o + o - 14*o - 8. Let y(s) = -s**3 + 8*s**2 - 8. Let f be y(8). Does 12 divide a(f)?
True
Let w = 152 + 110. Suppose 0 = -4*x + 2*s + 280 - 76, 0 = 5*x + s - w. Is x a multiple of 8?
False
Is ((-23)/(-2))/1*84 a multiple of 14?
True
Is 14 a factor of 42/(-28)*13530/(-9)?
False
Let w(n) = 12*n**2 + 4*n + 2. Let v be w(-2). Let p = v - 150. Let g = p - -172. Is g a multiple of 7?
False
Let f(t) = t**3 - 7*t**2 + 13*t - 32. Is f(6) a multiple of 5?
True
Let p(a) be the first derivative of a + 4 + 4/3*a**3 + 3/2*a**2. Is 18 a factor of p(3)?
False
Let z = -29 - -32. Suppose g - 7 = z*g - 3*j, -g - 11 = -3*j. Suppose -g + 8 = 2*y. Does 2 divide y?
True
Let u(w) = -6*w + 4*w + w + 13. Let g be u(10). Suppose -2*v - g*z - 9 = 0, 10 - 25 = 3*z. Does 3 divide v?
True
Let s be 294/4*(-12)/18. Let i = 80 + s. Is i a multiple of 10?
False
Suppose 5*f + 2*g - 523 = 0, 6*f - 10*f + 423 = -3*g. Does 35 divide f?
True
Let j(n) = 2*n**2 + 16*n + 17. Suppose -4*b + k = -0*k + 46, 3*b - k = -35. Does 19 divide j(b)?
False
Let c(s) = -s**2 - 4*s + 2. Let i be c(-4). Suppose -i*z = 6*z - 1360. Is 10 a factor of z?
True
Suppose -808 = -4*i + 24. Is 8 a factor of i?
True
Let y be (2 - 0) + -1 + -1. Let t = -184 + 179. Let n = y - t. Is n a multiple of 4?
False
Suppose 128 = 28*m - 488. Is m a multiple of 11?
True
Suppose -f + 12 = -5*f, 12 = -3*o - 2*f. Let s be (-4)/(-5)*155/o. Is 12 a factor of 18/(-9)*s/4?
False
Suppose 4*x - 9*x - 5*m + 545 = 0, 0 = 3*m. Let l = -67 + x. Is l a multiple of 14?
True
Let p = -224 - -951. Does 7 divide p?
False
Suppose -769*b - 56576 = -803*b. Does 32 divide b?
True
Suppose 2055 = 12*n - 5505. Does 15 divide n?
True
Is (-3*(-1 - -12))/((-6)/100) a multiple of 22?
True
Let o(d) be the third derivative of -d**6/120 - d**5/30 + d**4/24 + 7*d**3/6 - 13*d**2. Is o(-4) a multiple of 7?
True
Suppose -4*r - 1 - 17 = b, -5*r = 5*b + 30. Is 132/4 + r - 4 a multiple of 25?
True
Let y = 1 + 2. Suppose 175 = y*n - 5. Is n a multiple of 6?
True
Let y = -14 + 28. Let v = y - 11. Suppose -6 = -r + v. Is r a multiple of 3?
True
Let b = 850 - 510. Does 10 divide b?
True
Let i(v) = -v**3 + v**2 + 5*v + 827. Is i(0) a multiple of 18?
False
Let a(c) = 58*c**3 - 3*c**2 - 59*c**3 - 3*c - 2*c**2 + 3. Let o be a(-3). Does 17 divide 72 + 2 + o + 0?
True
Suppose 2*p + 3*z - 4*z - 302 = 0, 5*z + 467 = 3*p. Let d(c) = 2*c - 5. Let m be d(4). Suppose -2*g - 5*a = g - 139, m*g - 5*a - p = 0. Does 16 divide g?
True
Suppose -5*n - 749 = -f, 1177 = f - n + 412. Does 7 divide f?
False
Let q = -51 - -57. Does 5 divide 2*2 - (q - 77)?
True
Let v = 1899 - 1863. Is 12 a factor of v?
True
Suppose 27*a = 30*a - 414. Let y = -79 + -2. Let h = a + y. Is h a multiple of 19?
True
Suppose 0 = -5*u + 7*u. Suppose 2*i + i - 9 = u. Is i a multiple of 2?
False
Suppose j - 161 = 369. Suppose -u - j = -11*u. Does 19 divide u?
False
Let t(b) = -b**3 + 7*b**2 - b + 3. Let a be t(7). Let r be (0 - (1 + a)) + 15. Does 24 divide 218/9 + (-4)/r?
True
Let a = 1291 - -33. Is a/6*1 - (-4)/12 a multiple of 47?
False
Suppose -3*n + 6*n = 0. Suppose -4*h + 280 = -5*q, 210 = 3*h - n*q + 5*q. Does 22 divide h?
False
Let p(q) = q**3 - q**2 - 2*q + 2. Let b be p(-3). Is 5 a factor of 6 - 8 - b/2?
False
Let k = -3 + 2. Let b be 13 + (-1)/(k + 2). Does 2 divide 76/b + 1/(-3)?
True
Let a = -374 + 464. Does 9 divide a?
True
Suppose 4*y = 2*y - 12. Suppose -3*x - 2*x = 220. Does 4 divide x/y*(-21)/(-14)?
False
Is 45 a factor of (-2 - 0)/6 - 6860/(-60)?
False
Let a be -7 - -4 - 1*-5. Let f be (-2)/(0 + a)*0. Suppose f = -3*p + 65 - 26. Is 6 a factor of p?
False
Let u be -3*(-2)/3*1. Let r(n) = -2*n**2 - 3*n + 19. Let k be r(4). Let q = u - k. Is 11 a factor of q?
False
Suppose 1185 = 5*s + 5*z, -239 = -s + 103*z - 105*z. Is s a multiple of 79?
False
Suppose -8*p + 92 = -4*p. Let q(m) = 3*m + 21. Is q(p) a multiple of 9?
True
Does 10 divide 10542/4 - 20/(680/51)?
False
