 + -1)/(17 - 19) a multiple of 28?
False
Let i = 236 - 156. Suppose 2*k - i - 248 = 0. Suppose 0 = -3*j, 0*x - 2*j = 4*x - k. Is 41 a factor of x?
True
Let z(s) = 371*s**2 - 197*s + 7. Is 65 a factor of z(-7)?
True
Let v = -123 + 171. Suppose v*g = 49*g - 340. Is g a multiple of 34?
True
Let s = -49 - -64. Suppose 2 + 1 = -q - t, 0 = -3*t - s. Suppose 122 = -q*x + 4*x - 2*m, -5*m = -5. Is 31 a factor of x?
True
Let u = 34505 - 14113. Is u a multiple of 56?
False
Let r be 515/(-30) + -1*3/(-18). Does 19 divide ((-1137)/4)/(-3) - r/68?
True
Let f be 9188/14 - 138/483. Let j = f - 596. Is 4 a factor of j?
True
Let n(o) be the first derivative of -2*o**3/3 + 30*o**2 - 19*o + 103. Is n(12) a multiple of 9?
False
Let l(x) = 37*x**2 - 176*x + 1512. Is l(9) a multiple of 75?
True
Let d be (-6)/4*(-32)/12. Suppose -2*a = -3*a - 4, -4*p = -d*a + 24. Is 10 a factor of 4/p + 1671/15?
False
Let l(y) = -y**2 + 18*y - 11. Let t be l(17). Suppose -42 = -2*s - 4*a, -3*a + t*a = 2*s - 42. Does 10 divide 450/s - (3 - (-36)/(-14))?
False
Let x(d) = -d**2 + 19*d - 16. Let s(w) = 2*w**3 - 9*w**2 + 2*w + 12. Let j be s(6). Let c = j + -120. Is x(c) a multiple of 13?
False
Let b = -55 + -110. Let c = b - -315. Is 6 a factor of c?
True
Let m = -411 - -414. Suppose -m*z + 143 = -157. Is 5 a factor of z?
True
Let c be -5 + (-86)/(-10) - (-4)/10. Suppose 2*z + 16 = 2*s, 7*s - z = c*s + 14. Suppose v + 5*m = 82, -5*v + s*m - 126 + 424 = 0. Does 18 divide v?
False
Let w = 7963 - 3791. Is w a multiple of 11?
False
Is ((-2656)/(-10))/(-16*17/(-3400)) a multiple of 10?
True
Let x = 83477 - 23134. Is 32 a factor of x?
False
Suppose 12*k = 8*k + 4688. Let i be -5*(k/(-20) - 4). Suppose 7*m = 3*m - 5*y + i, -3 = y. Is 13 a factor of m?
False
Suppose -3*u = -4*m + 47 + 613, 5*m - 2*u = 818. Suppose -x + 10*x = m. Is x even?
True
Suppose 3*y + 3*s = -156, 0*y = y + 4*s + 52. Let u = -50 - y. Suppose u*d - 5*l - 101 = 0, l - 3*l - 98 = -2*d. Is 16 a factor of d?
True
Let p be (5/2)/(6 + (-39)/6). Does 12 divide (2/p - 2)*-30?
True
Suppose 0*m = -2*m + n, -m - 10 = -3*n. Let v(y) = -11*y**2 - 3*y + 4. Let l(b) = b**2 - b - 1. Let w(u) = 2*l(u) - v(u). Is w(m) a multiple of 12?
True
Suppose -3*f = -5*f + 156. Suppose 2585 = 6*i - 43. Suppose 4*y + 4*h - i = -y, -4*h = y - f. Is 18 a factor of y?
True
Suppose -3*o = 3, -82*o - 497 = -a - 79*o. Is 2 a factor of a?
True
Suppose 0 = -2*y - 4*b + 7924, -5*b - 15568 - 4182 = -5*y. Does 6 divide y?
True
Let o(t) = t**2 - 10*t - 12. Let c(z) = -2*z**2 + 11*z + 12. Let j(n) = -2*c(n) - 3*o(n). Let s(k) = 2*k + 6. Let m be s(-7). Is j(m) a multiple of 2?
True
Suppose 0 = -6*o + 11*o + 5. Let w(z) = 160*z**2 + 2*z + 2. Let l be w(o). Suppose 5*c - 50 - l = 0. Is 21 a factor of c?
True
Suppose 18*r + 187234 = 705418. Does 122 divide r?
False
Let f(y) = 962*y + 322. Does 87 divide f(37)?
False
Suppose -660 = -10*i + 360. Suppose 0 = -3*j + 12, -5*a + j = 3*j - 33. Is (-411)/(-4) - (a + i/(-24)) a multiple of 17?
True
Let q(i) = 5*i - 1. Let v be q(-23). Let w = -114 - v. Suppose 5*j + 7*d - 5*d = 484, 0 = -2*j + w*d + 202. Is 24 a factor of j?
False
Suppose 5*n + 322 = -a - 2*a, 0 = 4*a - 3*n + 468. Let p = a - -132. Let h(l) = 8*l - 7. Is h(p) a multiple of 14?
False
Let a be ((-18)/(-3))/(-2) - -5. Let m be (1 - (1 - a))*(-7)/(-2). Suppose 0 = 4*u + 3*h - 832, 6*h - m*h = 3*u - 624. Is 19 a factor of u?
False
Suppose g = 3*i - 19226, -87*i + 84*i = -3*g - 19230. Is 12 a factor of i?
True
Suppose -2*y = 5*r - 19383, -2*y - 2*y = -3*r + 11609. Suppose i - 26*i = -r. Is 30 a factor of i?
False
Let u(g) = 2*g**3 + 61*g**2 + 4*g - 31. Does 112 divide u(-26)?
False
Suppose -13*o = -17*o + 3*s - 6891, -4*o = -2*s + 6890. Let g = o + 3033. Does 16 divide g?
False
Suppose -19*c + 27*c = 40. Let i(f) = 110*f + 64. Let o(v) = 22*v + 13. Let t(d) = -2*i(d) + 11*o(d). Is t(c) a multiple of 22?
False
Suppose i = -4, -422*j + 2*i = -421*j - 5542. Does 6 divide j?
False
Is ((-22)/(-396)*9567)/(2/12) a multiple of 46?
False
Suppose 0 = -q + 5*s + 26346, -4*q + 2*s + 104236 = -1022. Does 11 divide q?
False
Suppose -4*j = 5*q - 5022, 10*j + 5001 = 5*q + 7*j. Let u = -378 + q. Does 52 divide u?
True
Let r be -2 + (-55)/(-30) + (-46)/12. Is ((-13)/r)/(59/2832) a multiple of 9?
False
Suppose 2*c - 72 = -2*w, -3*w - 2*c = 2*w - 168. Suppose -33*m + 37 = -w*m. Is 14 a factor of m?
False
Is 102 a factor of (-215385)/(-25) - 51/(-85)?
False
Let z(y) = 3*y + y**3 - 10*y**2 - 12*y**2 + 8 + y + 26*y**2. Let b be z(-4). Is b/(-16)*-46*(-1)/1 a multiple of 12?
False
Let a(h) = -h**2 - 4*h + 6. Let m be a(-6). Let w = m - -11. Suppose -i + 77 = -w*y - 27, -2*y - 416 = -4*i. Is 26 a factor of i?
True
Suppose 2*o + 4725 = 7*o. Suppose 4*c = 9*c - o. Suppose 0 = -z - 1 - 0, -c = -4*f - 3*z. Does 17 divide f?
False
Suppose 0 = 50*a - 49420 + 661670. Does 11 divide a/(-15) + 9/((-81)/12)?
False
Suppose 5*i + 281490 = 5*s, 0 = -3*s - 2848*i + 2845*i + 168930. Is 34 a factor of s?
True
Suppose -232 - 157 = z + 5*w, 2*z + 718 = 2*w. Let t = z - -714. Is t a multiple of 35?
True
Suppose -2*u - 3 = -2*y + 3*y, 3*y = 2*u - 17. Let r(j) = -j. Let v be r(u). Does 16 divide 1/v + (-963)/(-3)?
True
Let p be 11/1 - (-3 - -2). Let j be ((-2622)/4)/(-3) + 255/170. Suppose p*v = 2*v + j. Does 12 divide v?
False
Suppose -4*l + 31861 = -5299. Is 12 a factor of l?
False
Let c(a) = -2*a**3 - 16*a**2 + a + 13. Let v be c(-8). Suppose -2*g + q + 379 = 0, -22 = -v*q - 47. Does 22 divide g?
False
Let g(s) = s**2 - 33*s + 29. Let i(k) = -2*k**2 + 67*k - 57. Let d(y) = -13*g(y) - 6*i(y). Let f = -3344 + 3369. Is d(f) a multiple of 2?
False
Let v = 107 - 224. Let h = -58 - v. Let w = 67 + h. Is 18 a factor of w?
True
Let q(v) = -v + 17. Suppose -9 + 3 = 2*i. Let u be 3/(-9) + i + (-40)/(-12). Does 7 divide q(u)?
False
Let m = 3 - 4. Let i be (-1 - m)/(3 + -1). Suppose i*b - 3*b + 162 = 3*t, 0 = -2*t + 3*b + 88. Is 10 a factor of t?
True
Let x = 33 + -29. Let u be (2/x)/(10/(-17000)). Is 38/(-171) + u/(-18) a multiple of 4?
False
Let g(u) = -u**3 + 71*u**2 - 256*u + 233. Is 80 a factor of g(65)?
False
Suppose 16*f - 28*f = 3927 - 170967. Is 24 a factor of f?
True
Let a(y) = -68*y - 80. Let t be a(-4). Let n = t - 158. Is 34 a factor of n?
True
Let b(c) = 228*c**3 - 6*c**2 + c + 4. Let z be b(2). Suppose z = 5*f + a - 0*a, -5*a = -5. Is f a multiple of 49?
False
Is 85 a factor of 52/(-13) - (5 - 5205)?
False
Let n be (477 + -31)*2/4. Suppose 3708 = 5*j + n. Is 17 a factor of j?
True
Suppose 2*b = -10*i + 15*i + 4, 2*i = 4*b - 8. Suppose -5*m = 5*z - 45, -6*m = -2*m - z - 11. Suppose b*h - a = 82, -8*h + m*h + 4*a = -172. Is 3 a factor of h?
True
Let n = 59 + -46. Let m(c) = -9*c**2 + 19*c**2 + 9*c + n - 8*c**2. Is 17 a factor of m(-9)?
False
Let d(x) = 290*x + 3786. Is d(72) a multiple of 92?
False
Let w = 519 + -522. Does 22 divide -6 + 5 + 187 + w?
False
Let n(o) be the third derivative of -o**6/120 - 4*o**5/15 - o**4/4 - o**3 - 114*o**2. Does 25 divide n(-18)?
True
Suppose 33*s - 37*s = -980. Suppose -s = -3*m + 106. Let q = -39 + m. Does 11 divide q?
False
Let w = -81 - -34. Let c = w + 54. Suppose 0 = -9*v + c*v + 64. Is v a multiple of 7?
False
Suppose 5*l - 22 = -0*l - y, y = 2. Suppose -5*k - n = -77 + 15, 0 = 2*n - l. Suppose -k*m = -6*m - 1068. Is m a multiple of 42?
False
Suppose -27*g = 6*g - 99. Suppose -9*p = g*p - 6564. Is 17 a factor of p?
False
Let y(f) = -76*f**3 + 2*f**2 - f - 2. Let z be 4 + (-3)/(12/20). Let q be y(z). Let u = -45 + q. Is u a multiple of 7?
False
Let q be 14 - -29 - -2*1. Suppose -q*r - 1414 = -52*r. Does 29 divide r?
False
Is (-60313)/(-9) + 47/(6768/(-64)) a multiple of 41?
False
Let h = -80 + 71. Does 6 divide -12*(2/h + 244/(-36))?
True
Suppose 3398 = 2*b - 2*g + g, -g - 6 = 0. Is 25 a factor of b?
False
Let u(k) = 237*k**2 - 74*k + 29. Does 93 divide u(-5)?
True
Let r(v) = -v**3 - 8*v**2 + 11*v + 20. Let n be -1*(-5)/15*-27. Let f be r(n). Suppose -3*w - f*w = -4*p + 660, -2*p - 5*w = -300. Is 20 a factor of p?
True
Let b(v) = 2*v**2 - 15*v + 198. Let l be b(8). Suppose l*q - 197*q - 5643 = 0. Is 33 a factor of q?
True
Suppose -5*b + 24 = -51. Let z be (-110)/825 + 3722/15. Suppose b*i - z = 13*i. Is i a multiple of 11?
False
Let b be (-328)/(-6)*(-18)/(-12). 