/(-225)). Suppose 0*s - a = -4*s. Does 7 divide s?
False
Let c(f) = -f**3 + 32*f**2 - 54*f + 9. Does 26 divide c(29)?
False
Let s be (-5764)/(-14) + 70/(-98). Suppose -2*y - 6 = 0, -y - s = -2*m + 8*y. Is 12 a factor of m?
True
Let y = -63 - -72. Let v be 110/y + (29/(-9) - -3). Let q(z) = -z**2 + 17*z + 8. Is q(v) a multiple of 34?
True
Suppose 1374 = 23*a + 21*a - 37610. Is 37 a factor of a?
False
Suppose 2*q + 5*z - 128 = 0, z = -q - 2*q + 218. Let d(w) = 2*w**2 + 47*w + 37. Let y be d(-21). Let x = q + y. Is 4 a factor of x?
False
Let h(p) = 7*p + 14. Suppose 23*z - 72 = 21*z. Let y = -26 + z. Is h(y) a multiple of 14?
True
Let x be (-12)/(-18) + 304/(-6). Suppose -15 = -17*a + 2*a. Does 8 divide (x + -1)/(-1) - (a - -1)?
False
Let g = -79 - -91. Suppose -g*v = -13239 - 9561. Does 100 divide v?
True
Suppose -18578 = -3*d - 2*c - 5457, 2*c = 8. Does 31 divide d?
True
Suppose 0 = 4*s - 4*p - 28, 2*p = 2*s - p - 19. Suppose n = 4*t - 571, s*t - 292 + 24 = 4*n. Is 18 a factor of t?
True
Let m = 195 - 181. Suppose -23*z + m*z + 1620 = 0. Is z a multiple of 15?
True
Let u = -72814 + 121772. Is u a multiple of 13?
True
Suppose 746 = -4*c + 3*c. Let p = c - -1400. Does 48 divide p?
False
Let q(z) = 350*z**2 - 259*z + 790. Does 12 divide q(3)?
False
Let r = 117 - 119. Let g be (-1)/r - ((-723)/(-6))/(-1). Let u = g - 20. Is 15 a factor of u?
False
Let n = -3312 - -6067. Does 103 divide n?
False
Let t = -519 - -3973. Does 10 divide t?
False
Suppose 5*k - 155 = 4*v, -3*k = -v - 18 - 19. Let l(b) = -20*b - 134. Is l(v) a multiple of 18?
True
Suppose 0 = 18*f - 17*f - 4. Suppose -6*t + f*t = -4. Suppose 4*l = t*l + 20. Does 2 divide l?
True
Suppose -216 = -3*n + 2*i, -3*n - 5*i + 51 = -144. Suppose -27*v = 76*v + 5562. Let b = v + n. Is 4 a factor of b?
True
Let s be ((-1)/1)/(-1) - (-82)/1. Let u = 3 + s. Is 36 a factor of (u/(-14) + (-4)/(-28))*-8?
False
Let t = -177 - -191. Suppose 13*k + 2309 = 2*s + t*k, 2*s = -2*k + 2306. Is s a multiple of 17?
True
Let o(n) = -27*n**2 + n - 13. Let u(j) = -81*j**2 + 4*j - 35. Let d(y) = 11*o(y) - 4*u(y). Is d(2) a multiple of 4?
False
Suppose 3*l - 2 = 2*p - 6, 15 = 3*p. Let n = -1 + 5. Suppose 0 = -3*m + l*y - 0*y + 75, n*y = 0. Is 3 a factor of m?
False
Suppose 0 = q + 1, 0 = 3*a - a - 4*q - 10. Suppose 0 = -a*l + 9, -3*l - 323 = -3*u + 22. Is 6 a factor of u?
False
Is ((-20)/(-18))/(1/222)*(-10323)/(-222) a multiple of 62?
True
Suppose 2*z + 3*z - 12 = -p, -3*p = -z + 12. Suppose -2*g = -1 + z, 2*g = 4*b - 2322. Is b a multiple of 12?
False
Suppose x = 8*j - 6*j - 153, 5*x + j + 710 = 0. Let i = x + 150. Suppose 0 = -5*n + i*n - 144. Does 9 divide n?
True
Does 11 divide (7 + -2)/(15*(-6)/(-10350))?
False
Let m be 18*9/2 + 1/(-1). Suppose 11 = -7*c - m. Let q = -4 - c. Is 2 a factor of q?
False
Let m(v) = 162*v + 4667. Is m(0) a multiple of 13?
True
Let h(t) = -211*t**2 + 8 + 204*t**2 + 2*t**3 - t**3 - 42*t. Let z be h(-6). Let p = z - -320. Is p a multiple of 18?
False
Suppose 0 = 3*g - 12, 2*k - 11499 - 27805 = -4*g. Is k a multiple of 12?
True
Suppose -714 = -30*d + 23*d. Suppose 2*l = 6 + d. Does 5 divide l?
False
Let w(h) = 14*h**2 - 32*h + 184. Is w(18) a multiple of 5?
False
Suppose 0 = 278*a + 3792826 - 14545866. Does 40 divide a?
True
Suppose -74*o + 39750 = -70*o + 2*j, 0 = 3*o + 4*j - 29820. Does 147 divide o?
False
Let g = -75 - -208. Suppose z - 278 = g. Is 30 a factor of z?
False
Suppose 0 = -4*b + 2*o + 63332, 148*o - 146*o + 79166 = 5*b. Does 21 divide b?
True
Let u(k) = 3*k**2 - 65*k - 46. Let t be u(21). Let s = -57 - t. Is s a multiple of 4?
False
Let m = -51 + 52. Let t(x) = -7*x + 65. Let i be t(10). Is 123 + i - (3/3)/m a multiple of 9?
True
Suppose 1322 - 41871 = -41*m. Is m a multiple of 23?
True
Suppose -z - m + 14 = -119, 4*m + 242 = 2*z. Let c = z + -46. Is c a multiple of 4?
False
Suppose -10173 = -24*h + 68523. Is 29 a factor of h?
False
Let f(q) = -943*q - 10. Let h be (0 - (-7)/14)/(1/(-2)). Is 70 a factor of f(h)?
False
Suppose -7*k = -2439 - 494. Is 109 a factor of k?
False
Let m(z) = 10*z**2 - 94*z - 2457. Is 60 a factor of m(-25)?
False
Let z be ((-69)/92)/((-2)/304). Suppose 117*y = z*y + 3564. Is y a multiple of 33?
True
Suppose 4*i = 12, 9*r - 11*r + i = -387. Does 4 divide r?
False
Does 6 divide (((-712673)/13)/13)/(-1)?
False
Let y be 6/24 + 358/8. Let a = y + -51. Does 13 divide (84 + a)/((2 + -1)/1)?
True
Let u = -765 - -763. Does 10 divide 39 - (4/(1 + u) + 7)?
False
Does 161 divide (14628/(-30))/((-10)/100)?
False
Suppose -8*r - 234 = 454. Let o = 776 + r. Is o a multiple of 30?
True
Let h be (0 - (-20)/(-15))*3 + 2452. Suppose -19*l = -3*l - h. Is 9 a factor of l?
True
Let h(y) = -34*y**2 - y + 2. Let d be h(1). Let q be (-34)/(-6) + 22/d. Suppose -3*g + 68 = 4*z, 6*g - 2*z - 16 = q*g. Does 12 divide g?
False
Is ((-24)/(-18))/(5*(-7)/(-57750)) a multiple of 11?
True
Let p = 361 + -354. Suppose 168 = p*u + 5*u. Does 14 divide u?
True
Suppose -83*r = -82*r - 15. Suppose -19*d = -r*d - 16. Suppose -d*l + l = -2*o + 232, -4*l = 2*o - 232. Is 29 a factor of o?
True
Let m = -36 - -38. Suppose w - 246 = -m*i, -3*w - 123 = -0*i - i. Let q = i - 35. Is q a multiple of 8?
True
Suppose -4*x - 7529 = 5*c - 8*c, 0 = c - 4*x - 2523. Is c a multiple of 69?
False
Let l(z) = 5*z + 9. Let y(j) = 5*j + 8. Let k(n) = 3*l(n) - 4*y(n). Let q be k(-2). Suppose -a + 4*v - 3*v + 138 = 0, -4*a + 550 = -q*v. Does 20 divide a?
True
Let i(r) = -194*r**2 + r + 1. Let p be (-15)/(-10) + 2/((-8)/2). Let f be i(p). Is 16 a factor of -1 - f - ((11 - 5) + -7)?
True
Let k = 183 + -178. Suppose 4*v + 2*u = 1057 + 3225, -k*u = 5*v - 5345. Is v a multiple of 67?
True
Does 23 divide (-1 + 42/12)*7364/5?
False
Let y be 1*11*-1*-3. Suppose -141*k + 45095 + 43469 + 33965 = 0. Is 13 a factor of k/y + (-2)/6?
True
Let f(r) = -r**2 + 10*r + 44. Let z be f(13). Let p(k) = -6*k**3 + 2*k**2 - k - 4. Let o(m) = m**3 + m**2. Let v(w) = 5*o(w) + p(w). Does 28 divide v(z)?
False
Suppose 5*s + 5 = -5*q, 3*s = -4*q - q - 9. Suppose -106 - 212 = -s*d + 4*w, 2*d = 3*w + 323. Does 38 divide d?
False
Let i = 20 + -17. Suppose -i*x = -x + 14. Is 54 - x/7*(-3)/1 a multiple of 7?
False
Suppose 2*v = 4*w - 18734, 0 = -65*w + 69*w + 3*v - 18709. Is w a multiple of 25?
False
Does 3 divide ((18/180)/((-9)/135))/((-2)/612)?
True
Let h = 463 + -457. Does 9 divide 0 - (8 - h) - -227?
True
Suppose -5*i + 3*k = -64, 6*i + 5*k - 29 = 2*i. Let d = -9 + i. Does 7 divide 107 - (-8)/(d - 6)?
True
Let j = -157 + 158. Is 17 a factor of 86 + -14 - (1 + (4 - j))?
True
Let b = -101 + 106. Suppose -b*p + 239 = 769. Let o = p + 186. Does 10 divide o?
True
Is 75 a factor of (2 - -448)*1/2?
True
Let m(g) = -g**2 + 11*g - 12. Let x be m(9). Suppose 0 = -2*o, 3*j = 6*j + 2*o - 183. Let i = j - x. Is i a multiple of 25?
False
Suppose 10*r - 15 = 5*r. Suppose 0 = -r*k - 2 + 8. Suppose 5*m + 5 = -k*z + 545, -z - 101 = -m. Is 38 a factor of m?
False
Let o = 80 - 78. Suppose 5 = 5*x - o*p - 6, 5*x - 19 = -2*p. Does 2 divide 1*(27/x - 2)?
False
Let n(f) = 5*f**2 - 10*f + 108. Let r be n(7). Let p = r + 622. Is 31 a factor of p?
False
Let r be 1772/(-8)*(5 + -3). Let m = -360 - r. Is m a multiple of 13?
False
Let r(w) = 131*w - 579. Is 54 a factor of r(51)?
True
Suppose -4*j + 32 = 0, -5*j = 2*y - 61666 - 27614. Does 46 divide y?
True
Let d(w) = -36*w**3 - 8*w**2 - 12 - 5*w + 31*w**3 - 2*w**2. Let y(t) = 9*t**3 + 20*t**2 + 10*t + 24. Let x(l) = 11*d(l) + 6*y(l). Is 11 a factor of x(9)?
False
Suppose 885 = 32*f - 31*f. Suppose 6*r + f = 9*r. Is 15 a factor of r?
False
Suppose -101*f = -64*f + 12358. Let o = 494 + f. Is 20 a factor of o?
True
Let u(t) = t**3 + 6*t**2 - t - 3. Let h be u(-6). Let p = 930 + -930. Suppose p*k + 383 = 4*k - h*l, l - 493 = -5*k. Is 7 a factor of k?
True
Is (-1640)/(-3690) + 51022/18 a multiple of 7?
True
Let q(x) be the first derivative of -19*x**2/2 - 5*x + 2. Suppose 87*o - 91*o = 8. Does 4 divide q(o)?
False
Suppose 25*u + 3022 = 11*u + 15118. Is u a multiple of 18?
True
Suppose 5*f + 10*c - 65135 = -0*f, -3*c - 65148 = -5*f. Is 129 a factor of f?
True
Let t = -21 - -25. Let d(o) = t*o + 12 - 5*o - 7. Is d(-7) a multiple of 3?
True
Let m(l) = l**3 - 7*l**2 + 14*l - 9. Let d be m(9). Let x = d + -112. Does 44 divide x?
False