 = f + -137. Is 30 a factor of r?
False
Let g(u) = 22*u**2 - 11*u - 15. Let s be g(-7). Suppose 0 = -8*n + 4*n + s. Suppose 2*f - n = -2*f - i, 0 = 4*f + 2*i - 290. Does 14 divide f?
True
Suppose -2*b = 2*m + 1300, -2*b - 1315 = -2*m - m. Let t = -365 - b. Is t a multiple of 36?
True
Let n be (-2)/(-6) + (-11)/(-3). Is 31 a factor of 1992/16 + (-2)/n?
True
Suppose 4 = h, 2*h = -4*k + 3*k + 10. Suppose -p + 95 = 4*r, k*r + 3*p = -2*r + 93. Suppose -4*a = -0*a - r. Is a a multiple of 4?
False
Suppose 5*h - 575 = -4*g, 2*g + 20 = -2*g. Suppose h = q + 19. Is q a multiple of 34?
False
Suppose -59*n = -62*n + 1398. Is 20 a factor of n?
False
Suppose 0 = -2*y + 5*z - 2*z + 54, 2*y - 4*z - 58 = 0. Is y a multiple of 5?
False
Let m be (-106)/(-3 + 2 + 3). Let t = -47 - m. Is t even?
True
Suppose 14 - 11 = -f. Is 23 a factor of f/(-2) + 1185/6?
False
Suppose s + 26 = 2*b - 0*b, 3*s = 4*b - 70. Is (s/3)/((-6)/20) a multiple of 5?
True
Suppose 66*i = 81*i - 20610. Does 33 divide i?
False
Let x be 14/(-14) - (-6)/(-4)*-4. Let v(g) = g**3 - 5*g**2 + 2*g + 2. Is v(x) a multiple of 9?
False
Let c = -18 + 21. Suppose -j = c*k - 23, k - j = -0*j + 13. Suppose -4*g = -k*g - 5*o + 335, 4*g + o - 253 = 0. Is g a multiple of 31?
True
Suppose -9 = 8*m - 11*m. Suppose 1 = x, 3*q + 9 + m = -3*x. Is q/((-5)/17) + 1 a multiple of 11?
False
Let c = -3 + -4. Let x = c + 6. Let g(d) = 21*d**2 - 1. Is g(x) a multiple of 10?
True
Let g = -1 + -1. Let b(u) = u**2 + 2*u + 3. Let y be b(g). Is ((-21)/(-14))/(y/44) a multiple of 22?
True
Let r(o) = 16*o**3 + 3*o**2 + 2*o. Is r(2) a multiple of 8?
True
Let o = 844 + -81. Is o a multiple of 27?
False
Let o = -1425 + 6293. Does 21 divide o?
False
Suppose 2*j - 2078 - 234 = -2*f, 2 = -2*f. Is 89 a factor of j?
True
Let q(i) = 7*i - 13. Let r be (-192)/(-36) - ((-8)/(-3))/(-4). Does 3 divide q(r)?
False
Suppose -3*i - 1758 = -c, -38*c + 35*c - 3*i + 5238 = 0. Is c a multiple of 11?
True
Let f = -228 + 278. Does 5 divide f?
True
Suppose 0*z + z - 429 = -2*l, z + 1 = 0. Does 5 divide l?
True
Suppose 0 = 8*a - 5*a + 18. Let j(b) = -b**2 - 7*b - 4. Let v be j(a). Suppose m = -k + 2, -3*k = 5*m - v*k - 26. Is 2 a factor of m?
True
Suppose 312 - 86 = z. Suppose 3*f = 5*b + 90 + 66, -z = -5*f - 3*b. Does 4 divide f?
False
Suppose -43*i = 8695 - 31227. Is 75 a factor of i?
False
Suppose 2*d - 2*f + 14 = 4*d, 2*d = 5*f - 21. Suppose d*g - 74 = -3*s, 3*s - 14 = -g + 17. Does 7 divide g?
False
Suppose 99*d - 3408 = 95*d. Is d a multiple of 12?
True
Let z(y) = 3*y**3 - y**2 - 11*y - 4. Let i(j) = -9*j**3 + 2*j**2 + 32*j + 11. Let p(r) = -4*i(r) - 11*z(r). Is p(3) a multiple of 34?
False
Let y(f) = 3*f + 6. Let l be y(-2). Is 330/1 - (-3 - (-5 + l)) a multiple of 37?
False
Let y be (-1 + (-74)/4)/((-8)/(-160)). Is (-7)/2 - -2 - y/4 a multiple of 16?
True
Is 19 a factor of 2/(-6)*-1149 - (-3 + 6)?
True
Let v = -36 - 24. Suppose -q - 90 - 15 = 0. Let k = v - q. Does 9 divide k?
True
Let n be (-12)/(-6) - (-1 + 12). Let l(u) = -16*u**3 + u**2 + 8*u - 6. Let p(c) = -8*c**3 + 4*c - 3. Let h(r) = n*p(r) + 4*l(r). Is 26 a factor of h(2)?
False
Let h(m) = m**2 - 18*m - 15. Suppose 2*j - 46 = -8. Is h(j) a multiple of 4?
True
Let l(c) = 3*c**3 + 7*c**2 - 2*c + 10. Let a be l(6). Suppose -3*y - 235 = -a. Suppose 2*w + 77 = t, 0 = -4*t + w + 80 + y. Is t a multiple of 15?
True
Is 40/(-15) - (-4246)/6 a multiple of 47?
True
Let y(j) = 13*j**2 + 4*j - 13. Let g be y(6). Let u = 770 - g. Is 52 a factor of u?
False
Suppose -101 = -5*n - 4*i - 2, 5*i = -4*n + 72. Let b = n - 20. Suppose 67 = 5*r - b*x, -r - 3 - 2 = 4*x. Does 2 divide r?
False
Let t(j) = j**3 + 3*j**2 + 2*j - 3. Let v be t(3). Let c = v + -17. Is c a multiple of 10?
True
Let g be 0 + -4 + 16 - 4. Is g + 63 + (-8)/(-2) a multiple of 15?
True
Let g = 57 - 55. Is 62 + 1 - (0/2 - g) a multiple of 13?
True
Suppose 0 = 2*k + 2*m + 16 - 470, -3*m = -5*k + 1175. Is k a multiple of 9?
False
Suppose g + 5 = 0, 5 = -3*s - 5*g - 8. Is 9 a factor of (s*-3 - 1)/(17/(-170))?
False
Suppose 0 = -10*u - u + 1001. Is 13 a factor of u?
True
Let a(w) = w**3 + 4*w**2 + w + 9. Let h be a(-3). Let b = 32 - h. Is b a multiple of 17?
True
Suppose -150*z + 1370 = -148*z. Is 31 a factor of z?
False
Let h(b) = -b**3 + 4*b**2 - 4*b + 4. Let i be h(3). Suppose -a - 4*o - i = -2*a, 2 = o. Is a a multiple of 3?
True
Suppose -3*q = -3*u - 0*u - 27, 2*u = 3*q - 23. Is 10 a factor of u + 6 - 5 - -49?
False
Is 12 a factor of 16/32*-347*(2 + -4)?
False
Let g(n) = -n**3 + 5*n**2 + n - 10. Let d be g(5). Let y(z) = z**3 + 5*z**2 + 3. Let h be y(d). Let v(l) = l**3 + l - 2. Is v(h) a multiple of 14?
True
Suppose 14*a = 18*a - 20. Is 25 a factor of 1*-3 + (184 - 4)/a?
False
Does 42 divide 2/(((-48)/(-916))/6)?
False
Suppose -3*a + r - 3 + 27 = 0, -4*r - 47 = -5*a. Is ((4 - a) + 16)*(-36)/(-2) a multiple of 14?
False
Let y(k) = 5*k**2 + 5*k + 2. Let d(b) = -3*b**2 - 3*b - 1. Let i(u) = -7*d(u) - 4*y(u). Let z be i(-2). Is z/(-4) - (-49)/4 a multiple of 3?
True
Let w = 31 + -21. Let q = -5 + w. Suppose -16 = -q*l + 79. Does 16 divide l?
False
Suppose -1 = 8*n - 169. Suppose 16*y - n*y + 120 = 0. Is 16 a factor of y?
False
Suppose -5*r = 15, -11*m + 171 = -7*m + 3*r. Is m a multiple of 5?
True
Let x(c) = -c - 4. Let q be x(-6). Suppose -81 = -5*u + 2*u + 3*y, -4*u = q*y - 90. Does 8 divide u?
True
Let q(y) = y**2 - 67*y + 246. Does 9 divide q(82)?
True
Let x = 3 - -1. Suppose -x*q - a = -285, -q = 4*q - 4*a - 330. Is q a multiple of 13?
False
Suppose 0 = -37*i - 2784 + 92324. Is 34 a factor of i?
False
Let y(r) = r**2 - 8*r. Let h be y(8). Suppose 0 = -2*i + 5*v + 107, h*i + 3*i - 150 = 4*v. Is i a multiple of 11?
False
Let o(c) = -5*c + 9. Let t(n) = -n - 1. Let u(p) = -o(p) - 4*t(p). Let r = -12 - -19. Is 22 a factor of u(r)?
False
Suppose 4*d + 514 = 3*w, 2*w + 8*d = 5*d + 371. Does 15 divide (2 - 24/18) + w/3?
True
Suppose 5*b - 325 = -0*b. Let m = 122 - b. Let r = 119 - m. Is r a multiple of 31?
True
Let b = -762 - -1269. Is b a multiple of 22?
False
Suppose -4*l = -11*f + 8*f + 1129, 371 = f - 4*l. Is f a multiple of 32?
False
Let x = 76 + -40. Let k be x/(-8) - (-2)/(-4). Does 13 divide k*-3*32/20?
False
Suppose 67 = -7*p + 242. Is p a multiple of 8?
False
Suppose -25 = -0*l - 5*l + 3*g, l + 12 = 4*g. Suppose -135 = l*f - 11*f. Does 15 divide f?
True
Let d(m) = -m**3 + 5*m**2 + 5*m. Suppose 2*s - t - 6 = -1, -2*t + 5 = -s. Let b be d(s). Suppose -b = 6*j - 283. Does 13 divide j?
False
Let i(q) = 2*q**3 + 6*q**2 + 2*q + 1. Let l(h) = -h + 7. Let z be l(11). Let f be i(z). Let a = f - -77. Is a a multiple of 22?
False
Suppose 5*c + 223 - 2793 = b, 5*c = 4*b + 2585. Is c a multiple of 63?
False
Suppose -16*l + 1273 = -567. Does 20 divide l?
False
Let o be (-10)/4 + (-2)/(-4). Let y(s) = s**3 + 8*s**2 - 2*s - 2. Let n be y(-8). Does 17 divide -1*(o - 1 - n)?
True
Let g(p) = p**2 + 9*p + 4. Let f be g(-9). Does 12 divide (f/4 + 0)*14?
False
Suppose 5*f - 2727 - 2674 = -3*z, z - 1797 = -f. Does 56 divide z?
True
Suppose -3*x - 52 = 2*g, -2*g + 6*g + 104 = 2*x. Let l be 8/10*(-2 - (-237)/6). Let p = l - g. Is p a multiple of 14?
True
Suppose r = -r. Suppose r*i - 5*i + 475 = 0. Does 19 divide i?
True
Suppose -c = 268 - 880. Suppose -4*v = -5*u + c, -5*u = 4*v - 388 - 200. Suppose -f + 5*f - 4*y = u, 6 = 3*y. Does 12 divide f?
False
Let n(v) = -2*v - 9. Let u be n(-6). Let w be 1/(7/2 - u). Suppose -120 = -w*p - 3*r, -r - 1 = 3. Does 22 divide p?
True
Let c(j) = j**3 - 14*j**2 + 24. Does 6 divide c(14)?
True
Let g(d) = -51*d. Let k be g(1). Let l be (3 - (-363)/(-18))*-6. Let y = l + k. Does 9 divide y?
False
Suppose -5*r - 16 = 7*u - 3*u, 5*u = -2*r - 20. Suppose -5*h = -4*h + c - 122, r = -3*c + 6. Is 40 a factor of h?
True
Suppose 2*f = -w + 49, 4*f + 3*w = 8 + 89. Let b be f*-1 + (-14)/(-7). Let c = b + 50. Does 13 divide c?
False
Let b = 1032 - 18. Does 78 divide b?
True
Let c be -6*(-1 + 1 + (-212)/12). Let w = c - -98. Is w a multiple of 12?
True
Let a(h) = h**3 + 2*h**2 - 2*h - 2. Suppose 0 = -4*k + 3 - 11. Let x be -2 - -1 - (k - -3). Does 2 divide a(x)?
True
Let b = -9 + 16. Suppose -9*q + 37 = -8*q. Let r = b + q. Is 21 a factor of r?
False
Let b = -13 + 21. Let i(u) = -u**2 - u - 1. Let z(m) = -m**3 + 9*m**2 + 8*m - 7. Let 