multiple of 10?
False
Let s = -2581 + 3517. Is s a multiple of 13?
True
Suppose -18*z + 27189 = 33*z - 79656. Does 5 divide z?
True
Let p be 13023 + (-5 - -1) + 0/(-1). Suppose 1355 = -24*b + p. Is 27 a factor of b?
True
Let u(t) = t. Suppose -b - g + 30 = 4*b, -4*g = -2*b - 10. Let s be u(b). Suppose 13*a - 168 = s*a. Does 3 divide a?
True
Let p(k) = -11*k**3 + 40*k**2 - 5*k + 1. Let d(b) = 9*b**3 - 39*b**2 + 6*b - 1. Let l(o) = 5*d(o) + 4*p(o). Is 16 a factor of l(35)?
False
Let p be (-15)/(225/(-78) + 3). Let s = p + 90. Let j = s + 68. Is j a multiple of 17?
False
Let b(q) = -q**3 - 26*q**2 - 15*q - 13. Let i be ((-11)/(-2) - 6)/((-1)/(-52)). Is b(i) a multiple of 47?
False
Let w(i) = -2*i**2 - 34*i - 2. Let x be w(-17). Does 9 divide -30*((-32)/40 + (x - -1))?
True
Suppose -3*o = g - 16, g + 31 = 3*g + 5*o. Suppose 0 = 4*c + g*c - 4335. Does 24 divide c?
False
Let g(m) = -109*m**3 + 7*m**2 - 2*m + 4. Let x(f) = 108*f**3 - 6*f**2 + 2*f - 3. Let j(c) = -6*g(c) - 7*x(c). Does 5 divide j(-1)?
False
Let u(c) = c**3 + 14*c**2 + c - 9. Is 3 a factor of u(-6)?
True
Suppose 0 = -4*y - 2*g + 30, 4*y + 4 - 31 = g. Suppose i + 4374 = y*i. Does 11 divide i?
False
Suppose 0 = -n - v + 6, 0 = 4*n - 4*v + 2*v - 24. Let d(b) = 6*b**2 + 2*b + 12. Does 40 divide d(n)?
True
Let u = 111 - 54. Let c = u + -42. Suppose c = 2*j - 15. Is 9 a factor of j?
False
Suppose -44*d + 60*d = -16. Is (5 - -115)*(28/16 + d) a multiple of 17?
False
Is (-5 - (-34895)/25)/(5/150) a multiple of 19?
True
Let b = 5055 + -3644. Is 17 a factor of b?
True
Suppose 138*v - 154*v + 28800 = 0. Does 10 divide v?
True
Suppose -w - 31*g + 7764 = -29*g, -3*w + 2*g + 23268 = 0. Suppose b = -5*b + w. Is 17 a factor of b?
False
Let m be (((-392)/(-20))/(-7))/(4/1660). Let a = -825 - m. Does 3 divide a?
False
Is (6/4)/(9 - 675158/75020) a multiple of 33?
True
Let z(i) be the second derivative of i**5/120 + 2*i**4 + 7*i**3/6 - 13*i. Let t(f) be the second derivative of z(f). Does 4 divide t(0)?
True
Suppose -24*x = 28*x - 131612. Is x a multiple of 156?
False
Let a = -527 - -529. Suppose 32 = -4*u - a*g + 948, -g + 1142 = 5*u. Is 12 a factor of u?
True
Suppose 0 = -6*f + 23 - 5. Suppose -12 - 3 = -f*q. Suppose 214 = q*c - 231. Is c a multiple of 21?
False
Let b(l) = 2*l**2 + 6*l + 5. Let h be b(-3). Let i be (h + -8)/(2 - 1). Is (19 + i + -2)*7 a multiple of 24?
False
Suppose -a + 0 - 1 = 0. Let x(n) = -25*n - 3. Let i be x(a). Suppose t - i = 25. Is t a multiple of 12?
False
Let u(a) be the second derivative of a**5/20 - a**4/2 + 4*a**3/3 + 7*a**2/2 - a. Suppose -24*l = 169 - 289. Is u(l) a multiple of 22?
True
Suppose 0 = -b + 3*b - 198. Let c be 2/(-4) + b/6. Does 16 divide (c/20)/((-2)/(-200))?
True
Suppose 5*f = -5*d + 325, -2*d + 142 = 2*f + 3*f. Suppose -5*m + 88 - 235 = -4*j, -2*j + 57 = 3*m. Let k = d - j. Is 7 a factor of k?
True
Suppose -3*o + 297449 - 75529 = 37*o. Is o a multiple of 146?
True
Let m(k) be the second derivative of -k**4/12 + 3*k**3 + 23*k**2/2 - 16*k. Is 13 a factor of m(15)?
False
Suppose c - 2*g - 213 = -3*g, -4*g + 642 = 3*c. Suppose -c = -4*n + 1470. Is n a multiple of 60?
True
Suppose -7581 = 25*w - 26*w + 4*y, -15186 = -2*w + 4*y. Is w a multiple of 13?
True
Let h(z) = -4*z - 5. Let x be h(0). Let w = x + 9. Does 5 divide w/8*(102 + -2)?
True
Let g be 4349940/350 + -2 + (-16)/(-10). Is 19 a factor of (g/9 - -4) + 3/27?
False
Suppose -75 = 3*z - 2*l, -z + 0*z - 25 = -l. Let r be (120/z - -6)/(6/5560). Suppose t - 4*t + r = 5*i, -2*t + 8 = 0. Does 20 divide i?
True
Suppose 5 + 11 = -4*v. Let d be ((-12)/(-4) + -23)*v/16. Suppose -3*p + 6*c = 5*c - 585, 5*c = d*p - 975. Does 13 divide p?
True
Does 35 divide (5 - 15) + 18 + (-3 - -2690)?
True
Let a = -3965 + 4959. Does 14 divide a?
True
Let o(t) = -8*t + 33. Let n be o(-11). Suppose -3*l + 131 = -n. Does 21 divide (0 - l/10)*(41 - 46)?
True
Suppose 76*k - 6627 = -775. Let r = -200 - -136. Let l = k + r. Is l even?
False
Suppose 0 = -4*k + 3*w + 16773, -2*w + 8376 = 19*k - 17*k. Suppose 3297 = 9*j - k. Is j a multiple of 8?
True
Let k = -223 + 228. Let s(a) = -a**3 + 7*a**2 - a + 11. Does 6 divide s(k)?
False
Let i(u) = 8*u**2 + 50*u - 428. Does 121 divide i(16)?
True
Let a(n) = -29*n - 3. Let p be a(-5). Suppose i - 32 = p. Let u = i - 78. Does 8 divide u?
True
Let u(y) = y**2 + y + 1. Let i(d) = -91*d**2 + 5*d - 17. Let m(s) = i(s) + 4*u(s). Let w be m(2). Let g = -232 - w. Is g a multiple of 37?
True
Suppose 599*o + 1317255 + 858426 = 7471440. Is o a multiple of 3?
True
Suppose l + 4*l = 5*a + 65, 4*a - 68 = -4*l. Let v(b) be the first derivative of b**4/4 - 16*b**3/3 + 15*b**2/2 + 26*b + 5365. Does 26 divide v(l)?
True
Suppose -28*m - 109280 = -129756 - 1393664. Is m a multiple of 185?
True
Let y = -73 + 41. Let i be y/(-6)*(-12)/4. Is 4 a factor of (-500)/i + (-4)/16?
False
Suppose 4*a - z + 4*z - 1262 = 0, 0 = 2*a + 3*z - 628. Let v = a - 236. Does 3 divide v?
True
Suppose 0 = 3*h - i - 626, -h + 30*i + 204 = 25*i. Does 2 divide h?
False
Suppose -2*b + 18*b + 2560 = 0. Let w = b + 177. Is w even?
False
Suppose -3066 = -7*w - 525. Suppose -5*z + w = -242. Is 25 a factor of z?
False
Suppose h + 19 = 2*y, h + 53 = 5*y + 4*h. Let p(b) = 7*b**2 - 2*b + 1. Let s be p(2). Let x = s - y. Is x even?
False
Suppose 157*x + 308580 = 187*x. Is x a multiple of 130?
False
Let m(d) = 50*d**3 + d**2 + d - 1. Let t be m(-1). Let s = t - -65. Let c = 71 + s. Does 5 divide c?
True
Suppose 0 = 4*r + 5*u - 15, -8*u + 3 = -4*r - 7*u. Does 58 divide (1 + -2 - r)*-857?
False
Suppose 2942 + 5182 = -12*d. Let h = -508 - d. Is h a multiple of 13?
True
Suppose 20*q - 17*q - 315 = 0. Let b = q + 121. Does 44 divide b?
False
Let i(s) = 6*s**3 + s**2 - 4*s + 3. Let b be i(1). Is 18 a factor of 2/b - (-3400)/24?
False
Suppose 2*o = 6 + 14. Let v be 2 - 14448/(-20) - 4/o. Suppose 0 = 5*l - 10*l - 15, -4*j = 4*l - v. Does 8 divide j?
True
Let n = 67 + -64. Suppose 205 = 2*l - n*o, 4*l = o - 6*o + 443. Suppose h + 8 - l = 0. Is h a multiple of 11?
True
Let p(n) = 36*n**2 + 2*n + 3. Let d be (14 - 10/5)/((-2)/4). Let m = 22 + d. Does 18 divide p(m)?
False
Let h = -1969 + 5742. Does 49 divide h?
True
Suppose -5*b - x = -37148, 17677 - 2829 = 2*b + 2*x. Does 37 divide b?
False
Suppose 0 = 39*j - 47*j + 23296. Is 52 a factor of j?
True
Let o = 19 + -10. Suppose -11*d + 10 - 10 = 0. Suppose 2*c - 5 = -f - d, 0 = -3*c - f + o. Is c a multiple of 4?
True
Let w = 849 + -397. Suppose 0*f + 4*f = w. Suppose -4*q = 89 - f. Is 2 a factor of q?
True
Let t = 7920 - 1953. Is t a multiple of 51?
True
Suppose -2*j + 1499 = 3*v, -v = -25*j + 28*j - 2245. Is 17 a factor of j?
True
Let k = -400 + 1300. Let d = k + -526. Let s = 580 - d. Does 23 divide s?
False
Let t = 48758 + -32159. Is t a multiple of 107?
False
Let j(a) = 2*a. Let d be j(-6). Is (d/(-5 - -11))/(4/(-584)) a multiple of 30?
False
Let w = 3473 + -2204. Is 113 a factor of w?
False
Is 131 a factor of 51/6 - 7 - (864135/(-10))/3?
False
Let k(t) = 298*t**2 + 1886*t - 14. Does 231 divide k(-7)?
True
Suppose v - 3 = -k - 0*k, 0 = k - 2*v + 3. Let i(q) = q + 2. Let g be i(k). Suppose 3*w + 7*m - 185 = 2*m, g*m - 67 = -w. Does 20 divide w?
False
Let q = -194 - -127. Let j = 87 - q. Is 7 a factor of j?
True
Let u = 14754 - -5513. Does 13 divide u?
True
Is ((-294032)/5405)/(0 - (-2)/(-15)) a multiple of 12?
True
Suppose -60997 = -29*v - 14597. Is 2 a factor of v?
True
Suppose 0 = -5*b - 0*f + 5*f, 3*b = -f - 8. Does 10 divide b*(5/(-3))/(8/96)?
True
Suppose -3*h = -35 - 40. Let y = h - 24. Does 13 divide -3*y + 340/5?
True
Let s(b) = -247*b - 988. Is 123 a factor of s(-27)?
False
Let l(i) = 5 - 58*i**3 + 4 + 12*i**2 - 60*i**3 + 117*i**3 + 6*i. Is 12 a factor of l(8)?
False
Let s be 21 - 3 - (3 - 2). Is s/(-51)*-57*(-23)/(-1) a multiple of 23?
True
Suppose x - 5*d - 419 = 0, 2*d + 9 = -7*d. Does 10 divide x?
False
Let z(l) = -6*l**3 + 103*l**2 + 20*l + 79. Does 7 divide z(17)?
False
Does 9 divide 1087 - (17/(-4) + (-133)/28 + 5)?
False
Let z be (-495)/315 - (-4)/7. Does 9 divide z/((-10)/808) - 1/(-5)?
True
Suppose -o - 3*m = -1668, 20*m = o + 16*m - 1661. Suppose 6*t - 11*t + o = 0. Is t a multiple of 36?
False
Is 22 a factor of (484/(-55))/((-12)/(-19340)*2/(-3))?
True
Suppose 3*k - k + 658 = 5*l, k - 12