956/2 - h*30/75 a multiple of 37?
True
Let q = 3126 - 946. Is 10 a factor of q?
True
Suppose 0 = -5270*n + 5289*n - 140619. Is 89 a factor of n?
False
Let o(h) = h**3 - 30*h**2 - 40*h + 21. Does 28 divide o(36)?
False
Suppose 2*o - 12*v + 17*v - 1544 = 0, 0 = -o + 4*v + 798. Suppose -2*i - 2*i + 1272 = 0. Suppose -2*g + o = i. Does 15 divide g?
False
Suppose -92*m = 133*m - 394875. Is m a multiple of 12?
False
Let a(d) = -852*d**3 - d**2 + 2*d - 1. Let k be a(1). Let o = k + 873. Does 5 divide o?
False
Let r(c) = -c**3 - 1. Suppose 10*x - 6 = 4. Let v(a) = a**3 + 4*a**2 + 5*a - 2. Let z(s) = x*v(s) + 2*r(s). Does 4 divide z(3)?
True
Let s = 3637 - 3379. Is s a multiple of 6?
True
Let u(o) = 5*o**3 - 19*o**2 + 79*o + 159. Is u(13) a multiple of 5?
True
Let b = -705 + -54. Let c = 1241 + b. Does 44 divide c?
False
Let n(u) = -3*u**2 + 13*u - 33. Let k be n(8). Let f = -103 - k. Does 19 divide (855/f)/((-3)/(-12))?
True
Suppose -42276 = -4*o - 2*i, 0 = -2*o + 5*i + 2365 + 18749. Does 34 divide o?
False
Suppose -142*r = -151*r + 72. Suppose 0 = r*v - 14*v + 2268. Is 32 a factor of v?
False
Suppose -80*k + 920304 = 169*k. Does 84 divide k?
True
Suppose 2*q + 5*q = 14. Suppose -18 = q*r + 4*s, 0 = -6*r + 3*r + 3*s. Does 17 divide -3 - (-40 - r) - (2 + -2)?
True
Suppose 2502*u - 224980 = 2474*u. Is u a multiple of 9?
False
Suppose 63 - 27 = -3*v. Let q be (v/5)/(4/(-960)). Suppose k + q = 5*k. Does 18 divide k?
True
Is 40 a factor of 5/20*13921 + 8/(-32)?
True
Suppose -b + 2 = -0*b. Let l be ((-20)/20)/(b/(-10)). Suppose -14*y = -l*y - 27. Is y a multiple of 2?
False
Suppose -t - 3*y = 7, -14*t + 15*t + 7 = 3*y. Is 4 a factor of 26/(-117) - (5180/9)/t?
False
Suppose -m - 1547 = -s - 4*s, 2*m - 6 = 0. Let c = -193 + s. Does 48 divide c?
False
Let u(h) = -h**3 - 3*h**2 - h - 5. Let x(f) = f**3 + 2*f**2 + 2. Let r(j) = -3*u(j) - 5*x(j). Let g be r(-2). Suppose -g = -a + 15. Is a a multiple of 3?
False
Suppose -3*l = -c - 4366 + 1319, 5*l - 4*c = 5090. Let p = -222 + l. Does 12 divide p?
True
Suppose -u + 2600 = z + 987, 5*z - 5*u = 8035. Is z a multiple of 70?
True
Let t be 1052/(-20)*(-25)/5. Suppose 2*f - t = -5*v, 3*v - 129 = 13*f - 14*f. Does 9 divide f?
True
Let x(h) = -28*h - 1126. Is 37 a factor of x(-64)?
True
Suppose r + 44*z - 45*z = 21996, 28 = -4*z. Does 68 divide r?
False
Suppose 9*u = 6*u - 81. Let x be (36/(-27))/(6/u). Suppose 5*v - x*v - 81 = -3*j, 0 = -3*j + 3*v + 75. Does 16 divide j?
False
Let j be (3 - 2) + 3/4*4. Is 3 - 8/j - (1 + -224) a multiple of 11?
False
Suppose -4*m - 13*u + 8*u = -32763, 5*m = -5*u + 40955. Is m a multiple of 72?
False
Let n = -81 - -67. Let q = 14 + n. Suppose 4*i + 4*t = 196, 4*i - 3*t + 6*t - 197 = q. Is i a multiple of 25?
True
Let d be (10/15)/(1/3). Let p = -82 - -156. Suppose k = d*k - p. Is 16 a factor of k?
False
Suppose -2*x + 7*x + 1485 = 5*s, 5*s - 1485 = -2*x. Suppose 4*q + 0*q - 2*d = 574, -2*q - d + s = 0. Is q a multiple of 24?
False
Suppose 1066232 + 238059 = 39*t - 17809. Does 100 divide t?
True
Suppose -23*j - 6038 = -3*o - 15*j, -6062 = -3*o - 4*j. Does 24 divide o?
False
Let o be -34*-5*(-2)/10. Let j = -164 - o. Let q = 14 - j. Is q a multiple of 36?
True
Let n(z) = z**3 + 14*z**2 + 14*z + 10. Let l = 75 - 67. Let t be -1 - (-194)/(-18) - l/36. Is n(t) a multiple of 22?
False
Suppose -21*k - 9 = -9. Suppose 36*o - 45*o + 1395 = k. Does 4 divide o?
False
Suppose 101 = a - 15. Suppose -5*i + a = -i. Suppose o = -4*j + i, 5*j - 10 = -2*o + 48. Is o a multiple of 11?
False
Let f be (72/(-63))/(2/(-14)). Let v be f + -3 + 1 + 0. Is 20 a factor of -20*v/4*8/(-3)?
True
Suppose 3*n + 27846 = 3*n + 13*n. Is n a multiple of 6?
True
Let j(a) = -17410*a - 2000. Is j(-2) a multiple of 15?
True
Let w be (-6 - -6)/(-1)*1/(-2). Let m(x) = -x**2 + 3*x + 216. Is 24 a factor of m(w)?
True
Let h be 8/(-4) - (218 - -2). Let n = -142 - h. Is 10 a factor of n?
True
Suppose -j - 15*g = -17*g - 2222, 0 = -3*j - 4*g + 6656. Is j a multiple of 15?
True
Let k(w) = w**3 - 37*w**2 + 19*w + 297. Is 28 a factor of k(37)?
False
Suppose -5*u = f - 10557 - 20405, 0 = u - 4*f - 6184. Is 12 a factor of u?
True
Let x = 28 + -19. Let f = -12 + x. Does 9 divide 58 - (-10)/5 - f?
True
Let d(v) = -v**2 - v + 80. Let c be d(0). Is c/6*(-957)/(-116) a multiple of 22?
True
Suppose 4*n + 373*y = 369*y + 66968, -4*y = -n + 16717. Is n a multiple of 21?
True
Let n = 414 + -230. Does 8 divide n*((-65)/20)/(-13)?
False
Let j(l) be the first derivative of l**3/3 + 9*l**2/2 + 17*l - 10. Let p be j(-18). Suppose 0 = 5*u - 81 - p. Does 26 divide u?
True
Let g be 84/10*1960/42. Let i = -270 + g. Does 5 divide i?
False
Let q(j) = -31*j - 152. Let b be q(-5). Suppose -5*a - 6*n = -b*n - 166, 4*a - n - 143 = 0. Is 35 a factor of a?
True
Let h(b) = b**3 - 5*b**2 - 2*b + 7. Let q be h(5). Is (-274)/q*(27 - 24) a multiple of 12?
False
Suppose 28*v = 29*v - 22. Let u be (-140)/44 - (4 - 92/v). Let i(o) = -3*o**3 - 5*o**2 - 5*o + 4. Does 12 divide i(u)?
False
Let l = 76 + -70. Let v be (638/l - 24/(-36)) + 0. Is 4/18 - (-2)/9*v a multiple of 12?
True
Suppose 0 = 5*q - 6 + 196. Let d be 1/((-18)/4) + 30915/243. Let n = d + q. Is n a multiple of 21?
False
Let b = -231 - -254. Suppose b*q = 1507 + 2633. Is 30 a factor of q?
True
Suppose 4*l = -4*y + 1307 + 1833, -l = -2. Let a = y - 581. Is 101 a factor of a?
True
Suppose 611*k = 614*k + b - 21605, -2*k - 4*b + 14410 = 0. Is k a multiple of 168?
False
Suppose -16*h - h - 66528 = -29*h. Does 12 divide h?
True
Let q be 23/5 + (-6)/(-15). Let m(n) = -2*n**3 + 25*n**2 - 8*n + 24. Let i(s) = -s**3 + 13*s**2 - 4*s + 12. Let o(r) = -7*i(r) + 4*m(r). Is 23 a factor of o(q)?
True
Is 5544/(-45)*(-3480)/48 a multiple of 116?
True
Suppose 2*w + 4429 - 1719 = 5*l, 3*w - 1605 = -3*l. Let a = 860 - l. Is a a multiple of 40?
True
Let h(u) = 4*u**2 - u - 5. Let r(n) = -21*n**3 - 3*n**2 - 2*n. Let m be r(-1). Suppose -m - 3 = 4*q - g, -9 = 2*q - 3*g. Does 29 divide h(q)?
True
Let p(g) = -1607*g - 2963. Is 40 a factor of p(-29)?
True
Suppose -4*r = 3*n - 0*n - 20, 2*r - 10 = n. Suppose 3*l + 3*o - 264 = n, -376 = -4*l + 7*o - 3*o. Is 11 a factor of l?
False
Suppose 0 = 5*i - 10 - 5. Suppose -i*u + 21 = -4*b, u + 7*b + 6 = 4*b. Suppose 0 = 4*z + d - 64, u*d + 50 = 2*z - d. Does 17 divide z?
True
Let a(r) = r**3 + 18*r**2 + 5*r + 33. Let b be (5/((-40)/(-128)))/(-1). Is 15 a factor of a(b)?
True
Let u be ((-2)/(-6))/((4 + -2)/(-6)). Let r be ((57/(-6))/u)/(1/14). Suppose 0 = 5*c - 3*m - r, 0*c + 5*c - 2*m = 132. Does 22 divide c?
False
Suppose -5944 = 10*b - 12*b. Suppose -3*k + b = -k + 2*r, 5*r = -2*k + 2957. Suppose -11*i + k = -797. Is 26 a factor of i?
True
Suppose 62983 = 11*d - 2159. Is 7 a factor of d?
True
Let z be 42 + (-4 - 0) - 3. Let b be -1 + -5 + (-6 - -17). Suppose -2*y = p - z, 6*y - 5 = b*y. Is p a multiple of 13?
False
Suppose 195 - 35 = 20*m. Is (18780/32 - 2) + 1/m a multiple of 9?
True
Let d(u) = -5*u**3 + 10*u**2 + 3*u + 5. Let s(b) = -4*b**3 + 10*b**2 + 3*b + 5. Let m(i) = -3*d(i) + 4*s(i). Let a = 358 - 349. Does 59 divide m(a)?
False
Does 44 divide -4*6*(-1 - 35/(-28)) - -1414?
True
Let l(t) = -t**2 + 27*t - 42. Let w be l(20). Suppose 0 = -93*n + w*n - 3145. Is n a multiple of 17?
True
Let q(p) = -3*p + 25. Suppose -6*w - 14 + 38 = 0. Suppose -2*c + 0*c = w*h + 30, 4*h + 25 = -c. Does 8 divide q(c)?
True
Let s(n) = 18*n**2 - 3*n - 24. Let x(q) = 3*q + 64. Let m be x(-20). Does 14 divide s(m)?
True
Let u(p) be the first derivative of 212*p**3/3 + 4*p**2 + 8*p - 39. Is 4 a factor of u(-1)?
True
Suppose -3*p = -4*z - 4*p + 14401, 2*p + 3598 = z. Does 60 divide z?
True
Let a(b) = 5*b**2 - 2*b - 4. Let y(j) = -14*j**2 + 6*j + 11. Let f(m) = 17*a(m) + 6*y(m). Let o be f(2). Suppose -o*v + 646 = 238. Does 34 divide v?
True
Let c(b) = -b**2 + 10*b. Let w(i) = -i**2 - 20*i - 12. Let s(d) = -c(d) - w(d). Suppose 3*p + 5*a + 60 = -2*p, 5*p + a = -44. Does 10 divide s(p)?
True
Suppose 88*s - 73*s = 9075. Does 55 divide s?
True
Let v(p) = -p**3 + 39*p**2 - 116*p - 84. Does 21 divide v(28)?
True
Let c be 3/(-2)*(-16)/12. Let m = -129 - -132. Suppose -m*x - 3*y = -219, x + 3*x = -c*y + 286. Is x a multiple of 30?
False
Is ((-149)/298)/((1/(-19))/(1606 + 0)) a multiple of 11?
True
Let h(w) be the second d