-66*i(r) - 2*n(r). Does 56 divide g(14)?
False
Let g be 7*60/126*18/5. Let q be 15 - g - (1 - (-2 - -2)). Suppose 2*s - s - q*i = 202, 800 = 4*s - 4*i. Is s a multiple of 9?
True
Let x(f) = f - 7. Let s be x(6). Suppose 3 = -2*v - 5, 0 = 3*g - 4*v + 359. Is 12 a factor of s*(g/10 - 3/(-6))?
True
Suppose 3*y = 4*y - 6. Let k be 48/21 - y/21. Suppose k*v = -3*b + 18, 5*b = 4*v - 0*b - 14. Is v a multiple of 6?
True
Let a = -5 - -70. Suppose -5*p = -b + 38, a + 66 = 2*b + p. Is b a multiple of 4?
False
Let m = -332 - -386. Does 6 divide m/(-90) - (-3972)/20?
True
Let n = 729 - 194. Suppose -2*w + 3 = -3*q, -2*q - 13 = -39*w + 34*w. Suppose -2*z + 262 = -z + 4*i, 2*z - n = w*i. Is 24 a factor of z?
False
Let t(m) = m**2 + 30*m + 50. Let g be t(-39). Suppose 8*n - g = 327. Does 23 divide n?
False
Let u be ((-224)/21 + 2)*-3. Does 20 divide u/(-104) + ((-5610)/(-8))/5?
True
Suppose w - 6*w - 235 = 0. Suppose 215 = -27*v - 379. Let d = v - w. Does 5 divide d?
True
Suppose 77*b + 13*b = 975420. Is b a multiple of 114?
False
Let n(i) = 3*i**3 - 20*i**2 + 13*i - 10. Let f be n(6). Let p(u) = -u**2 + 5. Let s(t) = 2*t**2 - t - 10. Let o(q) = 11*p(q) + 6*s(q). Is o(f) a multiple of 18?
False
Let g be (48/(-10))/((-18)/1380). Suppose 3*q = -r + g, 4*q + 4*r - 504 = -0*q. Suppose v - i = q, 3*i + 8 = i. Is 13 a factor of v?
True
Let y(b) = -b - 1. Let f be y(-5). Suppose -a + f*a = -5*a. Suppose a = -4*t + 139 + 21. Is t a multiple of 10?
True
Let g be -2 - (-1714)/((-4 - 0) + 6). Let a = g + -465. Does 6 divide a?
True
Let u(o) be the third derivative of -o**6/120 - 3*o**5/20 - o**4/4 + o**3/2 - 45*o**2. Does 57 divide u(-9)?
True
Does 34 divide (-12*(-12)/96)/((-2)/(-2312))?
True
Let h be (-12)/(-10)*(-30)/12 - -2355. Suppose -6510 = -7*c - h. Is c a multiple of 27?
True
Let n(o) = o**2 + 2*o - 3. Let m be n(3). Suppose -m*a = -13*a - 5. Is (67 - 0)/((-2)/(a + 3)) a multiple of 14?
False
Suppose -5*f + 5*o = -0*f + 11835, 0 = 5*o - 15. Let r = 3504 + f. Suppose 11*a = 6*a + r. Does 57 divide a?
True
Let s be 2/(-8) - (2 - 1885/20). Suppose 0 = -f + 5*t - 2 - 2, 0 = 3*f - 4*t - 32. Suppose -s = -4*g + f. Is 9 a factor of g?
True
Let y(g) = 41*g - 15. Let d be y(9). Suppose -2*b = 2*q + b - d, 3*q + 2*b = 536. Is q a multiple of 10?
True
Let u = 101 + -139. Suppose 98 = -4*x - 22. Let m = x - u. Is m a multiple of 4?
True
Suppose 5*s - 14918 = 3*o, 3*o = 19*s - 15*s - 11935. Is s a multiple of 100?
False
Suppose 87*s - 89*s = 4*m - 79682, -5*m + 2*s + 99643 = 0. Is m a multiple of 25?
True
Let r(j) = -8*j**2 + 79*j + 12. Let o be r(10). Suppose -2*k + 107 + 1 = 2*u, -3*k - o*u + 162 = 0. Is k a multiple of 23?
False
Let f(y) = -3*y**3 - 8*y**2 - 100*y - 1732. Does 76 divide f(-18)?
True
Suppose -2*l - 18*l + 80773 = -94387. Does 58 divide l?
True
Let j(t) = -2 + 165 + 0 + 18*t + 11. Is 4 a factor of j(-7)?
True
Let q(b) = -b**3 + 23*b**2 - 90*b + 17. Let y(w) = w + 36. Let d be y(-18). Does 17 divide q(d)?
True
Let h(p) = 13*p - 54. Let s be h(-7). Let d = s + 325. Is 12 a factor of d?
True
Suppose -4*x - 25 = -29. Is 22 a factor of (x + 232)/(8 - 7)?
False
Let t = 176 + 501. Let m = t + -407. Suppose -5*i + 2*i = -m. Is i a multiple of 30?
True
Let a = -64 + 127. Let f = 1155 - 1098. Let m = a + f. Does 20 divide m?
True
Let h(k) = 4*k**3 + 4*k**2 - k - 3. Is 35 a factor of h(9)?
False
Let q = -75 + 60. Let i be (-1)/(10/q)*-2370. Is i/(-12) - (-21)/28 a multiple of 11?
True
Let a(h) = 7*h**3 - 32*h**2 + 12*h + 131. Let p(w) = 3*w**3 - 16*w**2 + 5*w + 65. Let k(o) = -2*a(o) + 5*p(o). Is 33 a factor of k(17)?
False
Does 187 divide 833*-6*(-132)/36?
True
Suppose 7*b - 9*b = 5*y - 2712, -b = -1. Suppose 394 = -3*l - 5*j + j, -y = 4*l - 3*j. Let x = l + 161. Is 12 a factor of x?
False
Let d = -399 - -371. Is 18 a factor of 3 - (-343 - -2 - d/14)?
True
Let r = -2 - -23. Let m be (-3*(-14)/r)/(1/3). Does 4 divide (-228)/(-42) + m/(-14)?
False
Suppose 33*c = 114*c - 115668. Does 42 divide c?
True
Suppose 4*f - 2522 = 76*r - 78*r, 2*f - r - 1259 = 0. Suppose -f = -3*d + 315. Does 45 divide d?
True
Let u = -3000 + 5703. Is 241 a factor of u?
False
Let n(o) = 427*o**2 - 140*o + 8. Is 148 a factor of n(-4)?
True
Let n = -33 + 54. Suppose -4*c + 17 = 2*l - n, -17 = -c + 2*l. Suppose -c*q = -620 + 180. Is 10 a factor of q?
True
Suppose -3*x = -47 + 8. Suppose -5*u = -2 - x. Does 10 divide u/(-18)*1 - (-1948)/24?
False
Let i(d) = -4*d - 17. Let p be i(7). Let c = -47 - p. Does 9 divide c + 26 + ((-4)/2 - -1)?
False
Suppose -32*m = -28*m + 24, -m + 2038 = 2*g. Does 14 divide g?
True
Suppose -n + 39 + 6 = 4*v, 5*v - 2*n = 66. Suppose -v*w + 17*w = 95. Is 41 a factor of (-6)/57 - (-3042)/w?
False
Let g = 10150 - -2134. Does 37 divide g?
True
Let t(u) = 7*u - 29. Let p be t(7). Suppose 2*h - 3 - 33 = -3*b, h = -2*b + p. Is 24 a factor of ((-98)/(-8) + h/16)*3?
False
Does 12 divide (12*23786/28)/((-9)/(-6))?
False
Suppose 39*g - 43*g = 8. Let f(o) = -15*o + 0 + 1 + 0 - 3. Does 4 divide f(g)?
True
Does 4 divide (-2)/((-47)/94*(-4)/(-4090))?
False
Suppose 122 = -3*w - 859. Let t = -291 - w. Is t a multiple of 4?
True
Let j(u) be the third derivative of 35*u**4/24 + 9*u**2. Let f be j(4). Suppose 0 = -7*p + 11*p - f. Does 13 divide p?
False
Let j = -2234 - -11554. Is 85 a factor of j?
False
Suppose -7*n + 17414 + 24495 = 0. Suppose 0 = 12*i - 2245 - n. Is 14 a factor of i?
True
Is -55*((-15 - 31) + -3) a multiple of 11?
True
Let z(s) = s**3 + 40*s**2 + 41*s + 33. Is 101 a factor of z(-25)?
True
Let n(p) = -1798*p - 70. Does 4 divide n(-3)?
True
Let i = 5155 + 14510. Is i a multiple of 72?
False
Suppose p - 2*p - 3*j = 144, 2*p = -2*j - 288. Let s = p + 384. Suppose -3*b + 158 + 142 = 5*r, 3*b = 4*r - s. Is r a multiple of 12?
True
Let s(q) be the first derivative of -3*q**2/2 + 16*q - 6. Let c be s(-4). Is (-2 - -19)/(2 - c/16) a multiple of 7?
False
Let x = 93 + -61. Let n(l) = l**2 - l - 40. Let f be n(-6). Suppose 32 = f*z - x. Does 15 divide z?
False
Let j = 6 + 4. Suppose 0 = 23*i - 751 - 744. Suppose -i - j = -3*n. Is n a multiple of 5?
True
Suppose -w + 3*s + s + 4 = 0, -w - s - 1 = 0. Suppose w*c = c - 9. Suppose -f + 56 = c. Does 9 divide f?
False
Let f be 16/7 - (-18)/(-63). Let s be (-6 - -5)*f/1*-30. Let w = -55 + s. Is 3 a factor of w?
False
Let h(j) be the first derivative of -j**4/2 - 9*j**2/2 - 4*j - 58. Suppose 0*r - 20 = 5*r. Is h(r) a multiple of 33?
False
Is 263 - 56/(-2 - -6) a multiple of 12?
False
Suppose -6 = -28*v + 30*v. Let y be (v/(-2))/((-30)/(-100)). Suppose -4*i + 3*u = -216, 0 = 3*i - 2*i + y*u - 31. Is 7 a factor of i?
False
Let m(v) = -v**2 - v. Let d(s) = 2*s**3 + 15*s**2 - 11*s - 52. Let w(f) = -d(f) + 4*m(f). Is 16 a factor of w(-12)?
True
Let r(f) = -166*f + 2. Is r(-2) a multiple of 32?
False
Let h(x) = -8 - 55*x - 20 - 16 + 41 - 14. Is 43 a factor of h(-16)?
False
Let o be (2/7)/(9/63). Let p be 52/13 + o*16. Suppose -l + p = -4*r, -2*r = 5*l - 4*r - 234. Is l a multiple of 12?
True
Suppose 286*l - 821100 = -36*l. Is l a multiple of 24?
False
Let n(k) = 4*k**2 - 9*k + 28. Let b be n(-13). Suppose 2*w + 4*z + 5 = b, -4*w + 1656 = 2*z. Is w a multiple of 16?
True
Suppose -20*p = -30*p - 10. Is 30 a factor of 332 + (p - 4) + 3?
True
Suppose i = -i + 84. Suppose 0 = 193*b - 213*b + 60. Suppose 0*x - 4*x + b*o = -i, -46 = -4*x + 5*o. Does 2 divide x?
False
Let y be -4 + 0 + 5 + (-12)/(-3). Suppose -4*h + 495 = a - 4*a, 5*a - 645 = -y*h. Is h a multiple of 14?
True
Suppose -4*k - 96 - 106 = 2*n, -3*k - 2*n - 154 = 0. Is (-2576)/k - (-2 - (-24)/9) a multiple of 7?
False
Suppose 0 = -4*v + g + 38842, -7*v + 2434 = -4*g - 65535. Is 17 a factor of v?
False
Is 85 a factor of 2 - (520/(-325))/(4/9770)?
True
Is 130 a factor of -18 - (14 + -30 + -31982)?
True
Let o(c) = c + 4. Let h be (-4 - -3)/(1/(-36)). Let t = 41 - h. Does 3 divide o(t)?
True
Suppose 31925070 = -509*g + 1255*g. Does 230 divide g?
False
Suppose 38 = -x + c, -x - 46 = 4*c - c. Let j = x - -43. Suppose 0 = o + l - 45, 2*o - j*l + 2 - 107 = 0. Does 17 divide o?
False
Suppose 24459 = 46*v - 46565. Is 8 a factor of v?
True
Suppose -192*j + 56*j + 82*j = -781650. Is j a multiple of 4?
False
Let m = -7094 + 13844. Is m a multiple of 15?
True
Let t be (-1 + -12)*(-5 + 4). Suppose 113 =