-2). Suppose -i*n - 200 = -578. Does 27 divide n?
True
Suppose 4*i = 623 + 377. Suppose 5*t + i - 5 = 0. Let m = 71 + t. Does 21 divide m?
False
Let m = -15 + 8. Let y be 0*((-28)/8)/m. Let n(b) = b**2 - b + 15. Is n(y) a multiple of 5?
True
Let z be ((-195)/(-20))/((-2)/(-8)). Suppose -10*g = -7*g - z. Is 4 a factor of g?
False
Let i be (286/(-4))/(12/(-24)). Let y = -55 + i. Let m = y + -44. Does 22 divide m?
True
Let n be (-6)/(-12) + 2/((-12)/(-447)). Let y = -43 + n. Is y a multiple of 4?
True
Let v = -130 + 331. Is 16 a factor of v?
False
Suppose z = 5*z - 12. Suppose 0 = 5*r + 2*g + 2*g - 210, z*g - 15 = 0. Let p = 86 - r. Is p a multiple of 24?
True
Let g be (-4 - -1 - -4) + 3. Suppose -5*s - 55 = g*d, -s + 0*s + 5*d = 40. Let x = -10 - s. Is 5 a factor of x?
True
Let m(p) = p**2 - p. Let y be 2/(-8) + 36/16. Let g be m(y). Suppose 17 - 7 = 5*h - 2*w, -26 = -4*h - g*w. Is h even?
True
Let x(m) = 12*m**2 + 28*m - 16. Does 73 divide x(6)?
True
Let a(y) = 2 - 1 + 0 + 23*y - 6*y. Suppose 2*n = -0 + 4. Does 30 divide a(n)?
False
Let a = 1218 - 509. Is 65 a factor of a?
False
Let h = -635 + 1346. Is h a multiple of 16?
False
Let v = 259 - 204. Does 2 divide v?
False
Let v be 24/60*(0 + 150). Suppose 5*m = m - v. Let x(a) = a**3 + 14*a**2 - 18*a + 7. Does 21 divide x(m)?
False
Suppose -18 = 4*u + 5*u. Is 8 a factor of 0 + -1 + u - (-2 - 14)?
False
Suppose 4*o + 5*t - 4 = 0, -5*o = -2*t + 3*t - 26. Suppose -3*r = 0, -w + 123 = -o*r + 2*r. Is w a multiple of 18?
False
Suppose -86*x = 5*u - 88*x - 520, 4*x = 0. Is u a multiple of 8?
True
Suppose -3*u + 2*r = -2*u + 22, 0 = 3*u + 4*r + 96. Let k be 4 - 1 - u/(-7). Is 12 a factor of ((-1)/3)/(k/57)?
False
Suppose -11*u + 14 = -12*u. Is ((-105)/u)/(6/44) a multiple of 10?
False
Let l(o) = 25*o**2 - 4*o + 4. Let s = 18 - 16. Is 16 a factor of l(s)?
True
Suppose 0 = 11*z - 44. Suppose -i = -4*d - 135, -112 = -z*i - 3*d + 352. Does 17 divide i?
True
Suppose 39*f - 380 = 34*f. Is 74 a factor of f?
False
Suppose -40*j - 464 = -42*j. Is 3 a factor of j?
False
Let p = 1716 - 240. Is 4 a factor of p?
True
Does 10 divide (75/(-20))/(12/(-1088))?
True
Let x(t) = 2*t**3 + 34*t**2 - 15*t - 30. Does 9 divide x(-17)?
True
Suppose 0 = -4*p - 2*z + 8 - 4, -p + 1 = 3*z. Is 20 a factor of (3*p)/(21/700)?
True
Does 15 divide (-18 - -7)*(-149 + 2)?
False
Suppose -2 = k - 4. Let b be (-6)/9*k*3. Let m(n) = 4*n**2 + 6*n. Is 15 a factor of m(b)?
False
Let j(s) be the first derivative of 157*s**3/3 + s**2 + s - 12. Is 28 a factor of j(-1)?
False
Let x = -20 - -40. Let s = 43 - x. Let q = s + 21. Is q a multiple of 22?
True
Let u(l) be the second derivative of 61*l**3/2 + l**2 + 3*l - 4. Does 33 divide u(1)?
False
Suppose 3*t = r + 1858, -4 = 4*r - 6*r. Is t a multiple of 20?
True
Let d = -12 + 87. Let o be 6/21 + (-24)/(-14). Suppose -d = -4*x + 2*x - 3*l, -o*x + 77 = l. Is 13 a factor of x?
True
Suppose 2*u - 4*g = -14, -3*u - 3*g - 1 = -5*g. Suppose 0 = -7*n + 2*n + 30. Suppose u*b - 2*b = n. Is b a multiple of 5?
False
Let w be 4/(-10)*-10 - -8. Is 13 a factor of ((-116)/w)/((-3)/18)?
False
Is (-4)/(-10) + 10521/35 a multiple of 15?
False
Let k(b) = -46*b - 157. Does 14 divide k(-4)?
False
Suppose 4*v = 3*v + 8. Let q be ((-18)/8)/((-6)/v). Suppose -158 = -2*g + q*s, 4*g - 3*s - 22 - 300 = 0. Does 23 divide g?
False
Let x(p) = 25*p**2 - 1. Let w be x(-1). Suppose 3*i = -2*i + 3*f + w, 4*f + 21 = 3*i. Suppose -i*n = g - 44, -13 = -5*n + 5*g + 27. Does 3 divide n?
False
Let i = -463 - -905. Is i a multiple of 13?
True
Let j(s) = -s**3 - 7*s**2 + 8*s + 3. Let m be j(-8). Suppose -4*g - 2*n = -g - 6, 5*n = -m*g + 15. Suppose 9*k - 5*k - 24 = g. Is k a multiple of 3?
True
Suppose -2*a + 22 = 4*c, 2*a - 2 = -5*c + 25. Suppose d = -c - 26. Let w = d + 34. Is w even?
False
Let h(o) = 5*o**2 - 3*o - 4. Suppose 3 = -5*g + 4*g. Let w be h(g). Suppose -3*k + w = 2*k. Is k a multiple of 6?
False
Suppose 0 = -4*k + 4*a + 20, 5*k + a - 18 = -a. Suppose -1430 = -k*t - t. Does 18 divide t/6 - (-8)/(-12)?
False
Let a(f) = 4*f**3 + 77*f**2 + 24*f + 27. Does 76 divide a(-18)?
False
Let t(p) = p + 15. Let m(i) = i**2 + 15*i - 7. Let x be m(-15). Is t(x) even?
True
Let s be 164/(-5)*15/(-6). Suppose -s = -2*f - p, 0*f - 3*f + 122 = p. Is 12 a factor of f?
False
Suppose 4*t - 52 = -4*x, 5*x + 2*t - 41 = 3*t. Let h = x + 15. Let r = 8 + h. Is 9 a factor of r?
False
Let a = 52 + 61. Does 46 divide a?
False
Does 5 divide (-2)/6 - -616*4/12?
True
Let u = -364 - -468. Does 4 divide u?
True
Suppose 6 = -5*j + 2*j. Let z(v) = -v - 1. Let w be z(j). Is (0 - w - -3) + 10 a multiple of 8?
False
Let h(b) = -2*b + 12. Is h(-9) a multiple of 15?
True
Let l(y) = y**3 - 3*y**2 - 5*y + 6. Let m be l(4). Let f(r) = -2*r**3 + 2*r - 1. Let s be f(m). Let o = s + 29. Does 16 divide o?
True
Let i = -5104 - -7714. Is 15 a factor of i?
True
Is 7 a factor of (42/4)/(-9 + 38/4)?
True
Let d(q) = 22*q + 65. Is d(7) a multiple of 70?
False
Suppose -d + 3*x + 3 = -1, 4*d = -2*x + 58. Does 5 divide -3 - ((-444)/d + 2/13)?
False
Let s = 15 - 11. Let c be -8*(-14)/(-35)*-5. Suppose -5*w - 5*d = -4*w + c, -2*w + s*d + 38 = 0. Is 6 a factor of w?
False
Let w(p) = -p**3 - 14*p**2 - 46*p + 24. Does 11 divide w(-12)?
False
Suppose 0 = 130*l - 138*l + 1296. Is l a multiple of 4?
False
Is -6 - (-14 + 5) - (-393 + 3) a multiple of 9?
False
Let i be 2/(-4)*-2*11. Suppose 5 = 3*z + m, 5*z - i = -2*m - 1. Suppose -7*v + 2*v + 100 = z. Is v a multiple of 15?
False
Suppose -6*o + o = 3*c + 13, 2*c + 3*o + 7 = 0. Let i = 332 - 280. Suppose i + 88 = c*m. Does 7 divide m?
True
Let t = -22 - -27. Suppose -140 = -5*k - 5*z, -2*k + t*k - 77 = 4*z. Is k a multiple of 8?
False
Suppose 0 = 4*g - 166 + 698. Let d = g - -229. Does 16 divide d?
True
Suppose 29*c - 14*c = 14250. Is 51 a factor of c?
False
Let v(h) = h**3 - 1 + 1 + 3*h**2 - 1 - 2*h. Let z be v(-3). Suppose 5*a = 3*b + 306, 0 = -2*b + 1 - z. Is 20 a factor of a?
True
Let n = -438 + 777. Does 22 divide n?
False
Let x = -113 - -115. Suppose -x*l + 11 + 49 = 0. Does 10 divide l?
True
Suppose -3*d = -5*y + 103, d + 25 + 16 = 2*y. Suppose -y = i - 67. Does 5 divide i?
False
Let b(s) = -s**3 - s**2 + 5. Let x be b(0). Let i be x/(-10)*(1 + -33). Suppose i = 4*j - 2*j. Is j a multiple of 4?
True
Let h = -6 - -24. Suppose h*q - 216 = 17*q. Suppose -4*a = -q - 92. Is 11 a factor of a?
True
Let k be ((15/2)/(-3))/(3/(-162)). Suppose 0 = 9*c - 4*c - k. Does 9 divide c?
True
Let z be (-4 + 8)*(-9)/(-6). Suppose -z*q + q + 95 = 0. Is q a multiple of 6?
False
Let s be 1/((7/294)/(1/(-2))). Is ((-2904)/s - -1) + 14/(-49) a multiple of 8?
False
Let t(d) = 4*d + 0*d**3 + 7*d**3 - 6*d**3 - 9 - 11*d**2. Suppose -2*b + 19 = -m, 3*b + 2*m = 15 + 24. Is 11 a factor of t(b)?
False
Let j(d) = -21*d**3 - 3*d**2 - 3*d + 3. Is 26 a factor of j(-2)?
False
Suppose 0 = 4*p - 2*p. Let v be 7/((462/12)/11). Suppose -5*w + v*u + 74 = 0, p*w + 5*u + 24 = w. Is w a multiple of 7?
True
Is 51/(-33) - -1 - (-329976)/198 a multiple of 119?
True
Let v(z) = -z**2 + 8*z + 8. Let m be v(10). Let i = m - -14. Suppose -i*d = -41 - 31. Is d a multiple of 9?
True
Suppose 0 = -f - 4*w + 96, 0*f + 5*w = 4*f - 300. Is f a multiple of 20?
True
Let d(f) be the third derivative of f**4/6 + f**2. Let i = -181 - -186. Is 10 a factor of d(i)?
True
Let g(o) = -2*o - 2. Let d be g(-2). Suppose 3*m - 26 - 10 = d*c, -2*c = 5*m + 36. Let q = 40 + c. Is 19 a factor of q?
False
Suppose -3*i - 2*k - 184 = 0, 3*i + 155 = -4*k - 39. Let q = i + 93. Is 7 a factor of q?
True
Let c(v) = 12*v + 12 - 4*v - 9. Is 11 a factor of c(10)?
False
Let a be -16 - -14 - (0 - 5). Suppose a*y + 4*m = 368, -3*y + 0 = -2*m - 392. Is 32 a factor of y?
True
Let o = -26 + 47. Does 21 divide 2235/27 + (o/(-27) - -1)?
False
Let o(d) = d**2 + 19*d - 21. Let r be o(-14). Let j = -33 - r. Is 29 a factor of j?
True
Is 8 a factor of 98/1 + -18 + 16?
True
Let r(g) = g**3 + 8*g**2 + 7*g. Let l be r(-7). Suppose -4*q = -l*q - 216. Let o = q + -4. Is 21 a factor of o?
False
Suppose 4*f = -604 + 2492. Is 17 a factor of (f/10)/((-10)/(-25))?
False
Is ((-392)/20 + 4)*6240/(-36) a multiple of 26?
True
Let v(o) = -3*o + 7. Let h(q) = 5*q - 10. Let a(p) = 5*h(p) + 8*v(p). Is 11 a factor of a(5)?
True
Suppose -2*c = 3*c + 110. Let o