e (-16276)/(-143) - (-2)/k?
True
Suppose 115*y - 105*y = 132860. Is 14 a factor of y?
True
Let v = 11027 + -467. Is v a multiple of 16?
True
Let u = 74 - 69. Suppose -2*s - 1209 + 414 = u*c, 15 = -3*s. Let n = 407 + c. Is 21 a factor of n?
False
Let w = -395 + 839. Suppose 5*z + 436 = -2*c, 3*c - 216 = 4*c + 3*z. Let h = w + c. Is h a multiple of 12?
True
Suppose -3*b - 960 = -9*b. Suppose 0*k = -k + b. Is k a multiple of 8?
True
Suppose 22*j - 315 = 7*j. Suppose j*a = 23*a - 52. Is 13 a factor of a?
True
Is 33 a factor of (-635145)/(-385) + (-9)/(-33)?
True
Suppose -37*d + 952 = -20*d. Is 3 a factor of d?
False
Is 46 a factor of ((-26)/(-114) - (-2)/(-6)) + 67254984/6498?
True
Let h = 1809 - -3639. Is h a multiple of 4?
True
Let s = 50 + -41. Let g(c) = -c - 7. Let l be g(s). Does 2 divide (l + -2)*8/(-12)?
True
Let g = -261 + 1222. Suppose -4*u = 297 - g. Suppose 5*h = -0*h + 2*q + u, -2*h - 2*q = -72. Is 24 a factor of h?
False
Let d(a) = 3*a**2 + 3*a - 1. Let v(h) = -2*h**3 - 5*h**2 + 4*h + 7. Let s be v(-3). Let j be -1 - ((s - 5) + -3). Is d(j) a multiple of 13?
False
Let z(s) = -4*s**2 - s - 3. Let h be z(3). Let j = h + 33. Let g(b) = -3*b + 23. Does 10 divide g(j)?
True
Does 39 divide 16 - 34064/32*-2?
True
Let y(b) = 8*b**2 + 9*b + 6. Let o(l) = -l**2 - 8*l - 18. Let t be o(-6). Let h be t/(-2) + -7 + -2. Does 19 divide y(h)?
False
Let v be ((-412)/8)/((-1)/6 + 0). Suppose 0 = -6*a + v + 4299. Is (a/(-18))/(6/(-9)) a multiple of 32?
True
Suppose 7*x - 15 = 6. Suppose x*a - 8*a = -5. Let b(f) = 9*f**3 - 2*f**2 + f. Does 4 divide b(a)?
True
Let w = -449 + 255. Let n = 221 + w. Is 2 a factor of n?
False
Suppose 3*l + 2*w = 10, -14 = -4*l - 4*w + 2*w. Suppose -3*j + 6 - 1 = -l*v, -4*v - 2*j + 10 = 0. Let q(i) = 20*i + 4. Does 16 divide q(v)?
False
Let b = -25565 - -31373. Does 16 divide b?
True
Let q(w) = 6402*w**2 - 425*w - 424. Is q(-1) a multiple of 184?
False
Let d = 1512 - -1450. Is d a multiple of 10?
False
Let t = -34399 + 45919. Does 72 divide t?
True
Suppose -4*a - 2*i - 2*i = -101760, 4*a = -2*i + 101760. Is a a multiple of 40?
True
Suppose -5*s = 6*z - z - 325, 5*z = -s + 45. Suppose 0 = -q + 2*g + s, 0 = -2*q + 2*g + 129 + 21. Does 40 divide q?
True
Suppose -4*q = -5*x - 412, q + 298 = 4*q - x. Is 14 a factor of q?
True
Suppose 0 = -5*v + 30, -2213*b + 2209*b + 85832 = 2*v. Does 101 divide b?
False
Let j = 2 - -4. Suppose j*n - 527 = 259. Suppose y = -4*f + n, -4*y + 363 = -y + 2*f. Is 21 a factor of y?
False
Let y be -84*(87/145 - (-8)/(-5)). Is 4 a factor of (-131)/(-3) - -4*7/y?
True
Suppose 4*k - 2*s - 292 = 0, -s + 76 = k - 3*s. Suppose 20*f - 21*f = -k. Is f a multiple of 9?
True
Let z(p) be the third derivative of p**5/15 + 5*p**4/24 - p**3/3 - 77*p**2. Does 42 divide z(-4)?
True
Let w = -7140 + 7142. Suppose -2*k + 0*k + 142 = 0. Suppose -w*q = -k - 49. Does 10 divide q?
True
Suppose 4*b = -s - 10, 2*s + 3*s - 18 = -3*b. Suppose -75*d = -74*d + s. Is 8*1/(d/(-45)) a multiple of 15?
True
Suppose l - 1568 = -2*y + 2229, -2*l + 7622 = -3*y. Does 24 divide l?
False
Let w(s) = 4*s**2 + 117*s**3 - 247*s**3 + 3*s + 63*s**3 - 344*s**3 - 1. Is 12 a factor of w(-1)?
False
Suppose 3*x + 16234 = 3*d - 5087, -5*d + 35547 = x. Is 246 a factor of d?
False
Let c(q) = 46*q**3 + 4*q**2 - 4*q + 2. Let n = -4 - -6. Does 9 divide c(n)?
True
Let h(l) = -l**3 - 13*l**2 + 7*l + 13. Suppose -c + 20 = -5*s + 4*c, c = 4*s + 28. Let b be h(s). Is 14 a factor of b*(3 + 33/(-9))?
False
Let m be 1 + 4/2 + 1 + 0. Let k be 39 + 4 + -2 - 0. Suppose -9 = m*n - k. Does 4 divide n?
True
Suppose 0 = -3*a - 2*a + 3*a. Suppose a*g - 5*g + g = 0. Let j(r) = 3*r + 96. Is 12 a factor of j(g)?
True
Let u = 2510 - 1097. Let p be 2/4 - u/(-6). Suppose -2*k - 2*m + 140 = 3*m, -p = -4*k + m. Does 15 divide k?
True
Let m(g) = -31*g**3 - 30*g**2 + 30*g + 341. Is m(-11) a multiple of 118?
True
Let s(k) = -8*k + 54. Let a be s(8). Does 12 divide (-2)/(a/1979) + 124/620?
True
Let s = 114 - 108. Suppose -280 = -s*o - o. Is o a multiple of 20?
True
Let z be 0*7/42*6. Suppose z = -12*t + 14239 - 2575. Does 18 divide t?
True
Let p(a) = 3*a**3 - 395*a - 24 + 15*a**2 + 396*a - a**3. Is p(-7) even?
True
Let f be (-25 - -11)*(-3)/(-6). Does 2 divide 0 + 36 + 13 + f?
True
Suppose 3*y - 405 - 340 = 5*f, 2*f - 486 = -2*y. Is 60*4*y/112 a multiple of 25?
True
Let w = -5597 + 3899. Let j = -575 - w. Is j a multiple of 22?
False
Let j(m) = m**3 - 3*m + 11. Let i be j(3). Suppose -i*p + 34*p - 1500 = 0. Does 15 divide p?
True
Let m = -20 + 18. Let g be 5/((-15)/(-4542))*(-1)/m. Suppose -9*a + 233 = -g. Does 11 divide a?
True
Let l(i) = i**3 + 20*i**2 + 20*i + 36. Does 12 divide l(-18)?
True
Let c = -4190 + 24461. Does 7 divide c?
False
Let w(a) = -a**3 - 24*a**2 - 22*a + 25. Let c be w(-23). Suppose 4*u + 346 = -c*l, 5*l + u + 303 = -535. Let f = -107 - l. Is f a multiple of 20?
True
Let r = -78 - -82. Suppose 8*g = -r*g + 60. Does 7 divide 2*(g - 4) - -14?
False
Suppose s = 5*x + 5, 8 = 3*s - 3*x - 7. Suppose 19 = p - 3*z, -5*p - 4*z = z + s. Let d(f) = f**3 - f**2 - 5*f - 1. Is 5 a factor of d(p)?
False
Let q be (0 + 2 + 0)*-2 - -232. Suppose 0 = 13*h - 12*h - i - q, -2*i = 3*h - 669. Does 12 divide h?
False
Let l be (-8)/((-1)/3*-6). Let r be (-334)/l + 1/2. Suppose -13 = -k + r. Is k a multiple of 17?
False
Let b = -716 + 948. Does 29 divide b?
True
Suppose 5*c = f - 143, -4*f - f + 2*c = -646. Suppose -3*g + 2*g + 3*l = -f, -3*g + 3*l = -408. Does 35 divide g?
True
Let c(h) = -471*h - 3196. Is c(-37) a multiple of 10?
False
Suppose 5*n - 2950 = h + 2*h, -3*h - 2363 = -4*n. Suppose 0 = -8*b - 83 + n. Does 9 divide b?
True
Let l(w) = -w**3 + 8*w**2 - 7*w + 7. Let y be l(7). Let j = -8 + 10. Suppose -6*r - 32 = -y*r - j*g, 0 = -r - 4*g + 40. Is r a multiple of 8?
True
Let s(t) = -7*t**2 - t - 50. Let d be s(-8). Let u = d - -826. Is 24 a factor of u?
True
Let s(d) = -35*d + 10. Suppose 2*j - 21 + 29 = 0. Does 32 divide s(j)?
False
Let f be (-41)/5 - (-3)/15. Let o(s) = -41*s - 14. Is o(f) a multiple of 19?
False
Let q(d) = -d**2 - 10*d - 12. Let i be q(-8). Does 22 divide (-3994)/(-12) + i/24?
False
Let w = -17734 + 35306. Is w a multiple of 191?
True
Suppose 5*l - 5*r = 4020, r - 4038 = -7*l + 2*l. Suppose 414 + l = 3*b. Suppose 3*s - 9 = 0, 7*v - s - b = 2*v. Does 12 divide v?
False
Let t(o) = 270*o**2 - 6*o + 19. Is t(4) a multiple of 13?
False
Suppose -93953 = -41*r + 201739. Is r a multiple of 9?
False
Suppose -3*z = 12, s + 26 = -6*z + 776. Is 3 a factor of s?
True
Let s = -760 + 2166. Is s a multiple of 37?
True
Suppose 27534 + 31468 = 3*l + 18205. Is 50 a factor of l?
False
Let x = -709 - -384. Let z = x + 643. Does 53 divide z?
True
Let t be (-2*7)/(4*(-3)/438). Let h = 536 - t. Is h a multiple of 5?
True
Suppose 0 = -2*n + 160 + 148. Is n a multiple of 22?
True
Suppose 0 = -29*v + 15*v + 56. Suppose 22*u - 18*u - 2*o - 2592 = 0, 3*u - 1933 = -v*o. Is u a multiple of 9?
False
Let b(o) = 19*o**2 + 33*o - 100. Does 36 divide b(-11)?
True
Let u(d) = -d**3 + 13*d**2 - 7*d + 16. Let o be u(10). Suppose -v + 2*v = 5*y + o, -3*v - 3*y + 828 = 0. Is 12 a factor of v?
False
Let b(m) be the first derivative of -11 + 0*m**2 + 10*m + 4/3*m**3. Is b(4) a multiple of 13?
False
Let z(r) = -4. Let x(w) = -2*w - 64. Let f(a) = -5*x(a) + 20*z(a). Is f(0) a multiple of 8?
True
Let u = -13 - -3. Suppose -m - 33 = 51. Is 11 a factor of m/(45/u - -3)?
False
Does 16 divide ((-8475)/150)/(1*(-2)/60)?
False
Let d = 4823 + -3203. Is 15 a factor of d?
True
Let z be 2/(-1) + -274*3/(-2). Suppose -z - 1145 = -21*o. Is o even?
True
Let b(t) = 7*t**2 - 75*t - 603. Is b(-17) a multiple of 3?
False
Let r(j) = -8*j + 74. Let v be r(9). Let z(o) = 31*o**3 - 3*o**2 + 5*o - 3. Does 25 divide z(v)?
False
Let l be (8 - (-2 + 2))*(-1 + 2). Is 246/(-24) + 10 + 2178/l a multiple of 16?
True
Suppose -5*m - 190270 = -5*n, 139*n - 142*n + 114154 = m. Is n a multiple of 84?
True
Let i(y) = -17*y - 9. Let k = -16 - -14. Let p be i(k). Suppose 2*a - 5 = n, -7*a + 4*a = 2*n - p. Does 2 divide a?
False
Let f be -1 - 2 - 1 - -4. Suppose f = 2*l - z + 2, 0*l + 5*z = -l + 10. Suppose t - 103 + 6 = l. Does 12 divide t?
False
Let r(a) = -a**2 - 13*a - 10. Let g = -50 + 38. Let b be r(g). Let k(s) = 29*s**2 - 4. Does 14 div