ue
Suppose -2*g + 1310 = -c, -5*g - c = -4*c - 3273. Is 72 a factor of g?
False
Suppose 11*l - 9*l = -60. Let a = -57 - -7. Let s = l - a. Does 5 divide s?
True
Suppose -2*w + 5*y = -10, -4*y + 0*y = 0. Suppose 2 = w*f - 23. Suppose 58 = -f*l + 7*l. Does 6 divide l?
False
Suppose 4*o - 1548 - 2400 = 4*v, -5*v - 967 = -o. Suppose -7*l = 9*l - o. Is 8 a factor of l?
False
Does 16 divide 128/6*57/38?
True
Suppose -7*s + 41 + 15 = 0. Does 3 divide s?
False
Suppose 2*m + 19 - 595 = 0. Suppose 3*v - m = 3*k - 0*k, -3*k - 484 = -5*v. Does 11 divide v?
False
Is 10 a factor of 66 + -7 + 2 + -11?
True
Let u(p) = -p**2 - p + 1. Let t be u(0). Suppose 4*z + t - 3 = -2*v, -5*z = -3*v - 19. Suppose -z*b = 5 - 41. Is b a multiple of 9?
True
Let s(m) = -1 - 4*m - 11 + 0 + 3*m. Let b be s(-17). Suppose 180 = b*r - r. Is r a multiple of 13?
False
Let t = 692 - -1512. Is 19 a factor of t?
True
Let v = -345 + 1493. Is 44 a factor of v?
False
Let d(m) = 5*m + 7. Suppose 5*p + 0 = 30. Let c(s) = -4*s - 6. Let a(r) = p*c(r) + 5*d(r). Is a(6) a multiple of 5?
True
Does 73 divide (70/(-42))/((1 + 2)/(-2151))?
False
Let p be (0 + 2)*60/24. Suppose 0 = -4*c - 2*o - 42 + 284, -p*c - o = -301. Is 20 a factor of (3 + 21/(-9))*c?
True
Suppose -6*u + 161 - 575 = 0. Let w = 127 + u. Is w a multiple of 8?
False
Let r(k) = k**2 + 5*k + 9. Let b be r(-3). Let t(v) = 5*v + 3. Is t(b) a multiple of 10?
False
Let i = 438 - 375. Does 3 divide i?
True
Let s be -64*(3/(-1) + 2). Suppose -32 - s = -3*k. Is 4 a factor of k?
True
Suppose 0 = f - 0 + 8. Let x(h) = -h**3 + 2*h**3 - 226*h + 8*h**2 + 223*h. Does 4 divide x(f)?
True
Suppose -5*g = -25 - 25. Does 4 divide ((-26)/g + 3)/(4/620)?
False
Let t = 26 - 59. Let p = -1459 + 1432. Let o = p - t. Is o a multiple of 2?
True
Suppose -5*d + 6 = -r - 2*d, -4*d = -r - 6. Let x be (-135)/10 - r/4. Does 8 divide (32/x + 0)*-3?
True
Let z be 2 - (1 - 1 - 1). Suppose 5*u + 5*x = 100, x - z*x - 56 = -2*u. Suppose -s = s - u. Is 4 a factor of s?
True
Let j be 274/6 - (-8)/6. Let h = 67 - j. Is 10 a factor of h?
True
Suppose 0 = 2*o - 10 + 82. Let z = o + 39. Is z even?
False
Let n(i) = i**2 + 2*i + 2. Let s be n(0). Let b be ((-2)/(-4))/(s/(-16)). Is (-14)/((b/6)/2) a multiple of 21?
True
Is 2 a factor of 18/(-6)*(175/(-15))/5?
False
Let p(v) = -v**3 + 4*v**2 + 19*v + 8. Does 86 divide p(-10)?
False
Suppose 171 - 465 = -7*a. Let x = 70 - a. Is x a multiple of 5?
False
Let a = 158 + -118. Is a a multiple of 3?
False
Let v(w) = 2*w - 4. Let y be v(3). Suppose -2*f = y*f - 1620. Suppose 5*p - f = -0*p. Does 10 divide p?
False
Let p = 39 - 35. Does 7 divide 286/p + (-1)/4*6?
True
Suppose 2*k - 32 = -0*c + 5*c, 4*c = -16. Suppose -344 = -k*a - 2*a. Is 3 a factor of a?
False
Suppose 0 = -x + 3*x - 3*j - 6, 4*j + 8 = 5*x. Does 13 divide -3*(x + (-26)/3)?
True
Let h = -276 + 384. Is h a multiple of 6?
True
Is 51 + (8 - 16) + -7 a multiple of 6?
True
Is (-25 + 44)*(-3 - -4) a multiple of 2?
False
Let j = 3537 - 2194. Is j a multiple of 79?
True
Let r(u) = -158*u + 38. Let m be r(6). Does 10 divide (0 + 1)/((-14)/m)?
False
Suppose -3*k + 2153 = x, 4*k - 3517 = 5*x - 621. Does 16 divide k?
False
Let f(l) = -l**3 - 6*l**2 - l + 2. Let n be f(-6). Suppose 0 = 3*j + 2*d + 2*d - 16, 0 = -4*j - 4*d + 20. Is 8 a factor of ((-2)/j)/(n/(-144))?
False
Let x be 756/44 - (-4)/(-22). Let q be x + -2*(-2)/(-4). Suppose 4 = v + 3*z, -3 - q = -v + 2*z. Does 13 divide v?
True
Let s = -408 - -660. Does 36 divide s?
True
Let r(c) = 2*c**2 - 2*c + 6. Suppose -7*q + 2*q + 3*v + 40 = 0, 0 = 4*q - 4*v - 40. Suppose q*f - 2*g = 30, 2*g = -f + g + 6. Is 22 a factor of r(f)?
True
Let l(d) be the third derivative of d**8/20160 - d**7/5040 - d**6/360 - d**5/20 + d**2. Let b(g) be the third derivative of l(g). Is 14 a factor of b(6)?
True
Suppose 0 = -3*m + 4*l + 262 + 280, 194 = m - 4*l. Is 7 a factor of m?
False
Let r(a) = -a**3 + 8*a**2 + 3*a + 4. Does 7 divide r(7)?
False
Let b(d) = -2*d**3 + 3*d**2 + 5*d - 11. Let j = -10 - -6. Let g(u) = 3*u**3 - 2*u**2 - 6*u + 12. Let i(c) = j*b(c) - 3*g(c). Does 15 divide i(-6)?
False
Let u(s) = 42 - 19 + 4*s - 39. Is u(10) a multiple of 2?
True
Let u = -524 + 1131. Suppose -l - 4*l + u = -3*t, -484 = -4*l + 2*t. Does 10 divide l/6 + 5/30?
True
Let f = 2610 - 1496. Is f a multiple of 10?
False
Let k(n) = -n + 17. Let b be k(14). Suppose f = -4*z + 8, -b*z + f - 5*f = 7. Suppose -4*v = 8, g + 46 = 6*g - z*v. Is 3 a factor of g?
False
Let g(t) = -10*t**2 + 14*t + 26 - t**3 + 24 - 30. Does 14 divide g(-12)?
True
Suppose 0 = -3*n + 4*i - 2*i + 1126, -5 = i. Does 12 divide n?
True
Let r be -5 + 3 + 4 + 2. Let g be (-4 + 6 - r)/2. Let n(m) = -40*m - 2. Is n(g) a multiple of 19?
True
Suppose 2*k = 353 + 239. Does 74 divide k?
True
Let f be -10*1/(-4)*(11 + 15). Suppose -3*k + f = 5*q - 152, 144 = 2*k + 3*q. Is 13 a factor of k?
False
Suppose -4*j + 20 = 3*b, 0 = -3*b + 8*b + j - 5. Suppose 3*a - 5*c - 120 + 33 = b, 3*c = -5*a + 111. Suppose -a + 63 = 3*p. Is 11 a factor of p?
False
Suppose 0 = 2*o - 444 - 50. Let d = o - 167. Is d a multiple of 16?
True
Suppose -g - 4*k + 217 = 4*g, -5*g - 3*k + 214 = 0. Let w = -19 + g. Is w a multiple of 22?
True
Let r(o) = o**2 + 17*o - 15. Suppose 11*t = 6*t + 450. Suppose -3*g + 4*c - 18 = -2*g, 0 = 5*g + 2*c + t. Does 3 divide r(g)?
True
Is 120 a factor of (-40)/(1 + 6 - 7843/1116)?
True
Let g = 23 - 23. Suppose g = m - 95 - 69. Does 32 divide m?
False
Let n = 40 - 21. Let o = -14 + n. Is 2 a factor of o?
False
Let l(a) = 12*a**2 + 5*a - 11. Let f(s) = 11*s**2 + 5*s - 10. Let b(h) = 5*f(h) - 4*l(h). Is 24 a factor of b(3)?
True
Suppose 4*d + 3*c = 2*c + 1699, c + 1701 = 4*d. Is 17 a factor of d?
True
Let q = -5 + 19. Suppose -2*o - 51 + 207 = -4*a, 2*a = 3*o - 218. Suppose q = 4*k - o. Does 18 divide k?
False
Let i be 2514/4 + (-5)/10. Suppose -3*n + 5*h + 782 = 0, 3*n - 199 = -4*h + i. Suppose -3*v + 279 = 3*p, -v + n = 2*v + p. Is v a multiple of 11?
True
Suppose -4*y + 25 + 19 = 0. Let i(x) be the third derivative of -x**6/120 + x**5/5 - x**4/3 + 8*x**3/3 - 2*x**2 - 7. Does 9 divide i(y)?
False
Let k(o) = -7 - 22*o + 8*o + 10*o. Let v(a) = 3*a + 6. Let u(d) = -5*k(d) - 6*v(d). Is u(13) a multiple of 12?
False
Let i be (-1035)/20 + 2/16*-2. Let z = -22 - i. Does 8 divide z?
False
Let v(c) = 32*c**2 + 3*c - 5. Let m be v(-4). Suppose -7*y - m = -12*y. Is y a multiple of 10?
False
Let m(k) = k**3 + 2*k**2 - 9*k - 3. Let w be 5 - (2 - (1 - -1)). Suppose w*z - 10 - 10 = 0. Does 19 divide m(z)?
True
Let b(l) = 0*l + 2*l - 2*l + 7 + 7*l + 2*l**3. Does 24 divide b(5)?
False
Let y = 4 - 9. Let b = 269 - 277. Let l = y - b. Is l a multiple of 3?
True
Let p be 0 + -3 + 2 + 3. Let t(q) = 2*q**3 - 3*q**2 + q + 2. Is t(p) a multiple of 3?
False
Let z be 30/(-12)*32/(-5). Suppose -4*r = -8*r + z. Suppose g = -r*i + 22, -19 = -4*g - 3*i + 69. Is g a multiple of 11?
True
Let p(w) = w**2 - w + 3. Let v be p(0). Suppose -28 = -h - v*h. Suppose 264 = h*b - 3*b. Does 11 divide b?
True
Suppose 3*f + 23 = 4*w - 36, -5*w = -4*f - 75. Let k = w - 6. Suppose k*s = 9*s - 36. Is 4 a factor of s?
False
Let q(j) = 17*j**2 + 2*j - 2. Let z be q(-2). Let h = z + -13. Is 7 a factor of h?
True
Let h = -9 + 237. Does 15 divide h?
False
Suppose -5*a + 12 = 3*d, 3*d - 4*a + 2*a = 12. Suppose 120 = 5*x - d*x. Does 12 divide x?
True
Let n = -3051 + 4397. Is 5 a factor of n?
False
Let i = 5 - -79. Suppose 2 - i = -2*m. Suppose 4*d = -p + m, -5*d - 2 = p - 45. Is p a multiple of 5?
False
Let a(l) = 26*l**2 - 7*l - 11. Let i(x) = x**2 - x - 1. Let h(t) = a(t) - 5*i(t). Does 27 divide h(-3)?
True
Suppose -5*x + 42 = -3. Let m(u) = -u + 11 - x + 10 + 8*u. Is 24 a factor of m(10)?
False
Let r(g) = 11*g - 57. Let k be (-9 - -4) + (1 - -1) + 17. Does 17 divide r(k)?
False
Suppose 16*f - 21289 - 38327 = 0. Does 27 divide f?
True
Suppose 30*n = 49*n - 8512. Is n a multiple of 16?
True
Let p(n) = 4*n**2 + 16*n + 40. Does 6 divide p(-5)?
True
Let b be 260 - (-6 + 4 - -3). Let o be b/6 + 2/(-12). Suppose -5*m = -o - 72. Is 23 a factor of m?
True
Let y(w) = -256*w + 10. Is 47 a factor of y(-1)?
False
Suppose 2*w - 1916 = 4*c, -6*w = -11*w + 3*c + 4797. Is 37 a factor of w?
False
Suppose -4*c + 3*c = 269. Let v = -174 - c. Is 31 a factor of v?
False
Suppose