- s. Is 11 a factor of w?
True
Let m(n) = 6 + 3*n + 0*n**2 - 2 - n - n**2. Let t be m(4). Does 28 divide ((-54)/t + -3)*6?
False
Suppose 7 = 5*k + 4*s - 0*s, 2*s = 4*k - 16. Suppose 3*u - 135 = k*n, -3*n + 8 - 94 = -2*u. Is 7 a factor of u?
True
Let u(b) = b**3 - 12*b**2 - 10*b - 31. Let a be u(13). Does 26 divide 526/4 - 0 - 12/a?
True
Let o be (-5)/2 - 0 - (-26)/52. Is (-1)/(o/(-4) - (-203)/(-378)) a multiple of 9?
True
Let k(x) = 14*x - 150. Is k(12) a multiple of 3?
True
Suppose -y - 371 = -8*y. Does 4 divide y?
False
Let b(j) = 3*j**2 - 6*j. Suppose w - 5*d - 18 = 0, -2*d + 3*d + 18 = 2*w. Does 24 divide b(w)?
True
Let o be (8/(-16))/((-1)/86). Suppose 65 = u - o. Does 36 divide u?
True
Suppose -33*h - 1550 = -38*h + 5*v, -614 = -2*h - v. Does 7 divide h?
True
Suppose 2*t - 439 = j, 0*t - 3*t + 641 = -5*j. Let r = -132 + t. Is 33 a factor of r?
False
Suppose 0*f + 736 = 2*f. Let n = 590 - f. Suppose 0 = 5*b - 3*v - n, 0 = 2*b - 4*b + v + 88. Is 12 a factor of b?
False
Suppose 4*i - 6*i = a - 594, -i + 2*a + 297 = 0. Is 33 a factor of i?
True
Suppose 2*m = 2, 2*k = -0*k - 4*m + 12. Suppose -k*r = -8*r + 144. Is r a multiple of 17?
False
Suppose r - 4*z - 150 = -2*r, -4*r + 5*z + 199 = 0. Does 23 divide r?
True
Is (-20247)/34*8/(-12) a multiple of 32?
False
Suppose 102 - 7 = -5*l. Let s = 23 + l. Let d = 38 - s. Is d a multiple of 10?
False
Let a = -24 - 65. Let n = 164 + a. Is n a multiple of 25?
True
Does 6 divide ((-408)/40 - -6)*-40?
True
Let z = -1860 - -2640. Is 13 a factor of z?
True
Let y be 6/(-2)*4/(-8)*-4. Is 552/(-2)*y/18 a multiple of 23?
True
Let o(z) = -z**2 + 3 - 5*z + z + 3*z. Let f be o(0). Suppose -f*r + 5 - 17 = 0, x - 5*r - 30 = 0. Does 8 divide x?
False
Is ((-26)/6 - -3) + 1274/42 a multiple of 29?
True
Is 7 a factor of 6/4*(6 - (-3212)/33)?
False
Suppose 8 = -4*s - v, s - 3*s - 3*v = 4. Let t(w) = -5*w**3 - w**2 + 2*w - 2. Is t(s) a multiple of 10?
True
Let t = 2 + -2. Let z = t + 31. Let r = 67 - z. Does 18 divide r?
True
Let t be (-1)/(-4) - 3816/32. Suppose -3*c - 500 = -f, -c - 166 = -2*f + f. Let w = t - c. Is w a multiple of 27?
False
Suppose 0 = 4*i - 1 + 9. Let z be (1 + -1)/(i/2). Suppose z = -5*g, -3*w = -g - 0*g - 258. Is 13 a factor of w?
False
Let a(f) = f**3 - 8*f**2 - 7*f - 12. Let h be a(9). Let q be (180/3)/(4/h). Suppose -b = -6*b + q. Is 9 a factor of b?
True
Suppose -5*y = -0*s + 3*s, 5*s = -2*y - 19. Let b be 12/(-20) + (-18)/s. Suppose -5*p - 20 = 0, -u + b*p + 31 = -51. Is u a multiple of 14?
True
Suppose 0 = 64*j - 60*j - 416. Let s = 174 - j. Is 14 a factor of s?
True
Let p(h) be the second derivative of 47*h**3/6 - 25*h**2 - 23*h. Is p(6) a multiple of 16?
False
Is (0 + -13)*(-162 + 47) a multiple of 42?
False
Let m = 2 + 6. Suppose -c + 100 = m. Is c a multiple of 20?
False
Let m = 38 + -20. Suppose 22*t - m*t - 140 = 0. Does 7 divide t?
True
Let q be (27/6)/((-2)/(-4)). Let r = 33 + -18. Let b = r - q. Does 2 divide b?
True
Let c = 695 - 488. Let t = c + -87. Does 20 divide t?
True
Suppose 2*h - 2*o = o, 5*h = -o. Suppose 138 = -5*d - 3*p + 447, h = d - 4*p - 48. Suppose -2*c + d = -0*c. Is 10 a factor of c?
True
Suppose 3*m + c - 62 = 0, 5*c + 0*c = 3*m - 50. Suppose 6*s - m = 4*s. Is s even?
True
Suppose -3*w = 2*y - 4, 3*y + 2*y = -2*w + 32. Is 8 a factor of y?
True
Let a(t) be the third derivative of 11*t**4/24 - 11*t**3/2 - 11*t**2. Is 11 a factor of a(11)?
True
Let y be 4/(-10) - 732/(-30). Let k = y - 28. Let v(c) = 5*c**2 + 3*c - 3. Is v(k) a multiple of 13?
True
Suppose 0 = -3*j - 15, -809 = -y + 3*j - 4*j. Is 37 a factor of y?
True
Suppose -2*g + 3*p + 567 = g, 4*p = 5*g - 945. Is g a multiple of 3?
True
Let r be (3/(-2))/(-3)*6. Suppose r*t - 233 - 70 = -4*w, -12 = 4*t. Is w a multiple of 26?
True
Let x(u) = u**3 + u**2 - u + 48. Suppose y + 32 = -3*y. Let d be y/48 - (-2)/12. Does 12 divide x(d)?
True
Let b(a) = 40*a**2 - 17*a. Suppose 0 = -5*p - 0*c - c + 25, -p + c = -11. Let u(j) = -13*j**2 + 6*j. Let t(w) = p*b(w) + 17*u(w). Is 12 a factor of t(1)?
False
Suppose 14*k - 7831 = -397. Is k a multiple of 11?
False
Let b(r) be the second derivative of -r**4/12 - 4*r**3/3 + 3*r**2 - 2*r. Let m be b(-8). Is 13 a factor of (-370)/(-30) + 4/m?
True
Suppose 0 = 2*d + 3*o - 6, 3*o + 8 = 4*d - 4. Suppose z - 4*z - 3*f = -75, -z = d*f - 27. Is 4 a factor of z?
True
Let b be 1619/11 - (-20)/(-110). Suppose 220 = 5*s - 4*u, -35 = -4*s + 2*u + b. Suppose 2*d + 204 = 4*v + 3*d, -v - d = -s. Is 21 a factor of v?
False
Let h(c) = 0*c + 15 - 50 - c. Let t be h(-19). Let a = t - -54. Does 19 divide a?
True
Let d(s) = -s**3 - 12*s**2 - 11*s. Let h = 17 + -28. Let w be d(h). Suppose w = -b - 3 + 7. Is 4 a factor of b?
True
Let j(u) = 11 - 3*u**2 + 2*u + 0*u**2 + 2*u**2. Let p be j(-12). Let z = -84 - p. Is 13 a factor of z?
False
Let a be 7 + ((-2)/(-1) - 4). Suppose 31 = a*s - 119. Suppose c = -5*n - 3*c + 92, -s = -2*n - 5*c. Does 7 divide n?
False
Does 18 divide 8*(-119)/21*(-162)/4?
True
Let h be (-508)/32 - (-4)/(-32). Let f = h - -79. Is 11 a factor of f?
False
Is (-8)/(112/(-2471))*2 a multiple of 44?
False
Let o = -17 - -14. Is (-55 + o + 3)/(-1) a multiple of 13?
False
Suppose -f + 1149 = -4*l + 2*l, 0 = 2*f - 3*l - 2301. Is 55 a factor of f?
True
Let h(i) = i**2 + 2*i - 48. Let b be h(6). Suppose -2*y - 161 = -g - 5*y, -2*g = 4*y - 322. Suppose b = 5*z - 124 - g. Is z a multiple of 14?
False
Let j be 1 + -2 - (-1 + 11). Let x = -377 + 360. Let v = j - x. Does 3 divide v?
True
Suppose 0 = 5*b - 4*o - 153 - 335, -4*b + 3*o = -390. Let t = 22 + b. Is 13 a factor of t?
False
Suppose -5158 = 4*j - 1306. Let x = j - -1408. Suppose -x = -5*h - 45. Is h a multiple of 28?
False
Suppose 3*l = -3*u - 2*u + 7, 3*l - 1 = -2*u. Suppose -3 - 5 = g + 5*i, -u = i. Suppose -2*w - 228 = -5*w - 4*a, 0 = -3*w - g*a + 234. Is w a multiple of 16?
True
Suppose -3*y + 466 = 2*r, 5*y + 0*y - 774 = -4*r. Suppose -y = -4*q + 3*q. Suppose 5*a = 217 + q. Is 25 a factor of a?
True
Suppose -r - 697 = 5*p - 3*r, 3*r = 3. Let w = p - -282. Does 42 divide w?
False
Let x(v) = -8 - 2*v + 2*v - 2*v**2 + 3*v + 4*v**2. Is 18 a factor of x(4)?
True
Suppose -10*f + 264 = 14. Is 2 a factor of f?
False
Let v = -90 - -93. Is 14 a factor of ((-20)/v - -5)*-84?
True
Let m be (-189)/(-6)*(-2)/(-3). Suppose -414 = -m*d + 18*d. Is 11 a factor of d?
False
Let d be (3 - 2)/((-2)/(-244)). Let t = -99 + d. Is t a multiple of 19?
False
Let y = -86 + 1130. Does 12 divide y?
True
Suppose 2*r - f = 3*r - 269, -r = -5*f - 275. Suppose 8*q - 3*q - r = 0. Suppose 0*s = s - q. Is 18 a factor of s?
True
Let b be -1*(-6)/(-3) - -4. Let a be 0 + 0 - (-1 - 65). Suppose -a - 12 = -b*q. Is 13 a factor of q?
True
Suppose -5*u = -4*m - 0*u + 26, 4*u = 2*m - 16. Suppose 0 = m*o - 25 - 131. Does 3 divide o?
True
Let m(d) = 49*d - 350. Is m(20) a multiple of 42?
True
Suppose 2196 = 7*o + 5*o. Does 13 divide o?
False
Let f(d) = 2*d + 6. Let w be f(-7). Let g be (w/14)/(8/(-28)). Suppose g*n + 118 = 4*n. Is n a multiple of 12?
False
Suppose -2*j + 5*j = 18. Let b(o) be the first derivative of 4*o**2 + 7*o + 17. Is 16 a factor of b(j)?
False
Does 44 divide 3080/(-25)*(-45)/18?
True
Suppose -4*i = -4*f + 16, -2*f + 25 = 2*f + 5*i. Suppose -3*v = 2*v + 5*o - 95, -2*v - 5*o = -44. Suppose -377 = -f*n - v. Does 24 divide n?
True
Let g = -21 - -20. Does 57 divide (63/(-42))/(g/48)?
False
Suppose m = -d - 2*d + 2054, -2760 = -4*d + 4*m. Let y = d + -465. Is y a multiple of 13?
True
Let s be (12/(-14))/((-33)/154). Suppose -j = -m + s*j + 66, -4*m = 5*j - 339. Is m a multiple of 27?
True
Suppose 0 = -l + 5*b + 1331, -4*b + 5349 = 4*l + b. Does 60 divide l?
False
Let m(f) = 48*f**2 - 15*f - 36. Is 25 a factor of m(-2)?
False
Let c(i) = -2*i**2 - 55*i - 15. Is 4 a factor of c(-25)?
False
Let y(w) = 5*w - 3. Suppose -5*v = -14*v + 36. Does 3 divide y(v)?
False
Let b(l) = -4*l**2 - 9*l + 2. Let n(j) = -5*j**2 - 9*j + 3. Let h(s) = -4*b(s) + 3*n(s). Let f be (20 - 18)/((18/(-33))/3). Is h(f) a multiple of 10?
False
Let c = -1314 - -1833. Does 6 divide c?
False
Let k = -121 - -207. Let a = k + -53. Is 4 a factor of a?
False
Suppose -2*k - 2*b = 92, -1 = -4*b - 5. Let o = k + 50. Is 5 a factor of o?
True
Let q(k) = -k**3 - 20*k**2 - k + 1. Let a be q(-20). Suppose -a*p -