ivide t(33)?
False
Let b(s) = -9*s**2 + 13*s**2 + 7 + 2*s - 6*s. Let y be b(3). Let o = y - -5. Is o a multiple of 12?
True
Let l(o) = 5*o**2 - 13*o - 34. Is 3 a factor of l(-6)?
False
Suppose 6599 = 3*p + 3*v + 35, v + 8732 = 4*p. Is p a multiple of 182?
True
Let k(b) = 1041*b + 51. Let z be k(4). Suppose 17*y = 11831 - z. Does 28 divide y?
True
Suppose 37*f - 20 = 32*f. Is 61 a factor of 1 + (2448/3 - 2) + f?
False
Is (-880632)/360*((-30)/(-9))/(-1) a multiple of 18?
True
Suppose -2*a + o = -3*a, -3*a = -4*o - 28. Suppose -10 = 4*t + 5*j - 93, -t = -a*j - 5. Suppose -25*p + 2048 = -t*p. Does 32 divide p?
True
Let o(g) = -16*g - 509. Let a(h) = 7*h + 255. Let x(f) = 7*a(f) + 3*o(f). Is x(12) a multiple of 22?
False
Suppose -7*k + 91313 = -64507. Suppose -18*l + k - 7410 = 0. Does 33 divide l?
True
Let j(y) = 2*y + 1. Let s be j(21). Suppose 3*k - 41 - s = 0. Suppose 0 = -p + 3*v - 9 + k, -3*p - v = -87. Does 28 divide p?
True
Let f(n) = 850*n**2 - 222*n + 665. Is f(3) a multiple of 6?
False
Suppose 765 - 201 = 3*l. Let s = 318 - l. Does 4 divide s?
False
Let h be (3/(-6))/((-6)/888) - 6. Let v(s) = 36*s + 4. Let j be v(3). Suppose 5*p - j = h. Is 7 a factor of p?
False
Suppose -3*v - 201 = -3*w, -4*w + 306 = 3*v + 24. Is w a multiple of 14?
False
Suppose -30 = 2*s + 3*y, -5*y + 17 + 13 = 0. Suppose 0 = c + 2*a - 5, -c - 4*a + 13 = -0*c. Is 28 a factor of (c*s/(-20) - -4)*235?
False
Let b be (2/(-5))/((-1)/(-5)). Suppose 5*m - 119692 = -4*w, 3*m - 6 = -18. Is 32 a factor of b/(-19) - w/(-152)?
False
Let h(k) = -31*k**2 + 39*k - 39. Let n(v) = -15*v**2 + 19*v - 20. Let c(p) = 6*h(p) - 13*n(p). Is 22 a factor of c(6)?
False
Let m = 450 + -446. Suppose b - m*b = -9, -2*v - 4*b = -152. Is 8 a factor of v?
False
Let g be -1*140/(-5) - -3. Suppose 0 = 11*u + g + 46. Is u/21 + (1 - 613/(-3)) a multiple of 27?
False
Suppose o - 37 = 4*w - 0*w, -5*o + 5*w + 155 = 0. Is 15 a factor of (1 - (o + -3))/(13/(-39))?
True
Suppose 6*g + 28*g = -6*g + 398040. Is g a multiple of 31?
True
Suppose -5*q + 5*d + 46047 = -11403, -45967 = -4*q + 3*d. Does 21 divide q?
False
Let u(k) = -3*k + 8*k + 19*k - 7*k**2 - 189 + 199 + 6*k**2. Let o be (-128)/(-6) + 1/(-3). Is 38 a factor of u(o)?
False
Let s(b) = -60*b**3 + 3*b + 6. Let i be s(-2). Is 9 a factor of -4*4/(-24)*i?
False
Suppose 6*t - 1 = 11. Let l(i) = 64*i**3 - 2*i**2 + 2*i - 4. Does 14 divide l(t)?
True
Let n be 28/(-238) - (-308)/17. Suppose 21*g - n*g = 615. Does 48 divide g?
False
Let m be 2/(((-52)/1000)/(-13)). Suppose 0 = -15*w - 65 + m. Does 7 divide w?
False
Suppose 213712 = 29*v - 43518. Does 60 divide v?
False
Suppose 3*y = -s + 171, -3*y + s + 85 = -92. Let j = 24 + -18. Let d = y + j. Is 16 a factor of d?
True
Let o(i) = i**3 + 5*i**2 + 2*i - 3. Let w be o(-4). Suppose 4*h = -3*n + 128, -n + 212 = 3*n - w*h. Suppose -4*p + n = -92. Does 15 divide p?
False
Suppose 18*t = -0*t - 16117 + 47887. Is t a multiple of 28?
False
Let k be (-22026)/(-22) + (-12)/66. Suppose -3*h + 759 = -5*a, h = -3*h + 3*a + k. Suppose -g = 2*m - h, -4*g + 4*m + 1198 = g. Is 46 a factor of g?
False
Let r = 9100 - 6360. Does 20 divide r?
True
Suppose -8*o = -7*o - 14. Let b be -16 + (4/o - 72/(-42)). Is 11 a factor of 3 - (-152)/7 - b/49?
False
Let k = 4 - -1. Let w(i) = 7*i**2 + 149*i - 310. Let o be w(-25). Suppose p + k*m + o = 6*p, -239 = -3*p - 4*m. Is 22 a factor of p?
False
Suppose -5*a - 3*a = -3408. Suppose 5*x - 2074 - a = 0. Suppose 2*o + o = 2*t + x, -834 = -5*o + 3*t. Is 37 a factor of o?
False
Let s(o) = -2*o**3 - o - 1. Let f(x) = -5*x**3 - 2*x**2 + 6*x + 9. Let r(l) = -f(l) + 2*s(l). Does 26 divide r(7)?
False
Suppose 4*r = 2*q + 10 - 76, -2*r - 3*q = 37. Let y = 58 + r. Suppose 67 + y = 4*n. Does 9 divide n?
True
Let a(l) = l**3 - 13*l**2 - 15*l - 24. Let k be a(14). Let v = 5 + k. Is (8/1)/(64/v - -2) a multiple of 22?
True
Suppose 22*v = 7*v - 15330. Let p = v - -1052. Is 5 a factor of p?
True
Let j(o) = o**2 + 4*o + 4. Let k be j(-5). Let v be -15*((-3)/k + 1). Does 25 divide -1 - ((-152)/v)/(2/(-10))?
True
Let d = -4605 - -7333. Suppose -74*u + d = -30*u. Is u a multiple of 31?
True
Suppose -2717*u + 2723*u - 3780 = 0. Suppose 4*i - 422 = u. Is 52 a factor of i?
False
Is 258 a factor of (-6 - 4215)*(-258)/21?
True
Let y(r) = 4*r**2 - 37*r - 1559. Is y(-28) even?
False
Let u(s) = 6*s + 276. Let t be u(-54). Let o = 238 - t. Is 11 a factor of o?
True
Is 12 a factor of (-27 - -17) + (-4960)/(-5)?
False
Let d be (3/3)/((-1)/(-137)). Suppose -d*k = -144*k + 560. Is 40 a factor of k?
True
Let j = -7603 + 12163. Suppose -27*w + 39*w = j. Does 20 divide w?
True
Let z(j) be the second derivative of -7*j**3/3 + 11*j**2/2 + 10*j + 1. Does 23 divide z(-2)?
False
Is 13 a factor of 32058/12 + 6 - (-1 - (-4)/8)?
True
Suppose -3*m + 3*s - 696 = -1656, 3*m = 5*s + 968. Let b(c) = 159*c**2 - c. Let v be b(-2). Let n = v - m. Is 14 a factor of n?
True
Let s = -7 + 6018. Does 46 divide s?
False
Suppose 9*p - 32 - 4 = 0. Suppose -y = p*k - 10, 3*y - 2*y + 3*k = 11. Does 8 divide y?
False
Suppose 136*w - 131*w = -8695. Is 21 a factor of w/(-7) + 44/77?
False
Suppose 0 = -164*b + 169*b - 140390. Is b a multiple of 278?
True
Does 18 divide (1 - 3)*7179/(-6) + 1?
True
Let z(x) = x**2 - 89*x + 1883. Is 277 a factor of z(83)?
True
Is 11 a factor of (-774)/(-645) + (-169347)/(-15)?
False
Let y(c) = -577*c + 3263. Does 151 divide y(-9)?
True
Let b(x) = 7*x**2 + 5*x - 1. Let p be b(3). Suppose 53 = 3*k + p. Is -108*6/(-8)*k/(-9) a multiple of 17?
False
Let b(q) = -q**3 + 7*q**2 + 19*q - 2. Let r be b(9). Suppose 0 = g - r + 4. Suppose 0 = 7*d - g*d - 260. Is 12 a factor of d?
False
Let y(a) = -a**2 - 5*a - 3. Let j be y(-3). Suppose l = v, -3*l - v - 74 = -82. Suppose -3*b - 2*u = -l*b - 34, -3*b - j*u = -96. Does 10 divide b?
True
Let d(o) = 6*o - 63. Let b be d(11). Suppose 150 = w + b*q, w - 50 = 3*q + 112. Is 6 a factor of w?
True
Let o be (13 - -2) + (3 - 2). Suppose 3*i - o = -7. Suppose -i*q - 988 = -5*v, -v - 2*q + 36 = -172. Is v a multiple of 11?
False
Suppose 2*d = -5*m + 3*d + 2568, -2*d - 1032 = -2*m. Is 12 a factor of m?
False
Suppose -5*i - 115 = 4*s, i + 13 + 10 = 2*s. Let v = i - -163. Does 11 divide (26/(-5))/((-28)/v)?
False
Suppose -26*o + 32327 = -176349. Does 6 divide o?
False
Suppose -2*z = -5*m + 5736, -2*m = -2*z - 3171 + 879. Suppose m = 46*b - 42*b. Is b a multiple of 32?
False
Suppose 2*y - 4098 = -2*p, -91*y + 87*y = 3*p - 8201. Does 13 divide y?
True
Let o(w) = -16*w + 1174. Is 174 a factor of o(-87)?
False
Let b = -1279 + 5005. Is b a multiple of 9?
True
Let u(a) = a**3 + 32*a**2 + 29*a - 58. Let j be u(-31). Suppose -j*s + 9 = -87. Does 8 divide s?
True
Let k = 40 + -32. Suppose -12*l + 12 = -k*l. Suppose 0 = -l*a - 5*c + 150, -3*a = c - 38 - 112. Is a a multiple of 18?
False
Let u = 170 + -167. Suppose 876 = u*c + 312. Is c a multiple of 47?
True
Suppose 417*s = 569*s - 6866752. Does 25 divide s?
False
Let c be (-5 - 300/(-16))/((-5)/20). Let l = c - -153. Is l a multiple of 39?
False
Suppose 82 = r + 8. Let g be r/4 + ((-9)/(-2))/9. Is (-4)/2*g/(-2) a multiple of 19?
True
Let h(a) = -a**3 - 8*a**2 - 13*a + 42. Suppose -3*c + 4*k + 0 = 10, 0 = 5*c + k + 55. Is 12 a factor of h(c)?
True
Suppose -16 = -3*w + 26. Suppose -2*x + 5*x - 1 = y, -w = -4*y + 3*x. Suppose -m - 22 = -y*q - 61, -q - 4 = 0. Is 19 a factor of m?
True
Let x = 25 - 24. Does 27 divide 6/8*6*(61 + x)?
False
Suppose 0*k + 4*k + 1095 - 7911 = 0. Is k a multiple of 12?
True
Let m be ((-63)/105)/((-2)/120). Does 6 divide m/162 + ((-8564)/(-18) - -1)?
False
Let j = 666 - 666. Suppose 5*t - 5*a - 2495 = -10*a, -4*t - 6*a + 1996 = j. Does 56 divide t?
False
Let d = 5703 + 7917. Does 10 divide d?
True
Let d(q) = q**2 + 3*q + 3. Let m be d(-3). Suppose -5*y + 2*f = -y - 8, 0 = y + m*f - 9. Is -1 - (y*-26)/3 a multiple of 5?
True
Let v(r) = -r + 20. Let b = 28 - 12. Let k be v(b). Suppose 5*c = -l + k*c + 36, -12 = -3*c. Is l a multiple of 12?
False
Let v be 12/(-3) - 0 - -6. Suppose -519 = -v*q + 165. Suppose 218 = 2*f + 3*y, 4*y + 114 = 4*f - q. Does 16 divide f?
True
Let c(o) = 13*o**2 + 29*o - 20. Let d(x) = -3*x**2 - 7*x + 5. Let y(p) = -2*c(p) - 9*d(p). Let f be y(-6). Does 3 divide 0 + 4 + f - (-4)/(-2)?
True
Suppose v = -v - u + 30, 4