f). Suppose -3*j = 19 - k. Is 4 a factor of j?
True
Suppose 4*a - 1117 = 3*w, 251 = 2*w + 5*a + 1011. Let f = -13 - w. Does 12 divide 20/70 - f/(-7)?
False
Suppose -5*k = s - 83, 2*k = k + 3*s + 7. Suppose k*q = 163 - 35. Is q a multiple of 8?
True
Suppose -123*g = -119*g - 14616. Does 114 divide g?
False
Let q be ((-405)/6)/9*-2. Let w(x) = x**3 - 15*x**2 + x - 19. Let p be w(q). Is 9 a factor of (p/(-3))/(2/27)?
True
Suppose 30 = -4*r + 3*c, 5*r - 2*c + 16 = 3*r. Let o(b) = -b**3 - 4*b**2 + 9*b + 5. Is 23 a factor of o(r)?
True
Let z be (-2 - (-2 + 1)) + 4. Suppose 15 = z*a - 69. Is a a multiple of 4?
True
Suppose -5*h = o + 38, -5*h - o = -3*o + 44. Let c(v) = -13*v + 2. Let g(w) = 38*w - 7. Let u(i) = -8*c(i) - 3*g(i). Is u(h) a multiple of 30?
False
Let n be (2/(-2))/(-4 + 19/5). Suppose -2*w + 55 = -5*q - 33, n*w = -q + 166. Does 17 divide w?
True
Let w = 55 + -46. Suppose w*x - 119 = 61. Is x a multiple of 10?
True
Let h = -621 + 1471. Does 25 divide h?
True
Let g(h) = h**3 - 14*h**2 + 33*h - 48. Is 12 a factor of g(12)?
True
Suppose 2*z - 17 = -a, 2*a - 48 = z - 39. Let h = 149 - 216. Let w = a - h. Does 9 divide w?
False
Does 16 divide (3/9)/(-2 + 410/204)?
False
Let a = 530 + -426. Is a a multiple of 17?
False
Let k(s) = -s + 3. Let p = 0 + 3. Let x be k(p). Suppose -68 = -4*b - 0*b + 2*o, x = -2*b - 2*o + 34. Is b a multiple of 6?
False
Suppose 2*h - g + 15 = 5*h, -g = -h + 5. Let m(v) = -v**3 + 5*v**2 + 12. Does 4 divide m(h)?
True
Let u(d) = -45*d + 394. Does 88 divide u(-46)?
True
Suppose -n = -a + 1, 4*a + 0*a - 16 = 0. Suppose -5*d - 3*o = -753, -n*o - 1 = -4*o. Suppose 0 = 3*q + 5*t - d, -q - 2*q + 5*t + 150 = 0. Does 25 divide q?
True
Suppose -105171 - 22593 = -63*h. Is 14 a factor of h?
False
Let g(x) = 4*x**2 + 11. Let q be 26/6 + (-18)/(-27). Is g(q) a multiple of 41?
False
Suppose -3*z + 115 = m, 0 = -5*z + 3*m - 5*m + 193. Let a = z - 19. Does 18 divide a?
True
Does 17 divide ((-5394)/310)/(1/(-145))?
False
Is (-2 - -8) + (-26 - -420) a multiple of 50?
True
Let h(l) = -126*l + 15. Let f(r) = 25*r - 3. Let d(s) = 24*f(s) + 5*h(s). Is 11 a factor of d(-7)?
False
Let m be (-8)/(4 + -6) + 4. Let a be ((-60)/m)/((-1)/2). Let q(t) = t**3 - 15*t**2 + 3*t - 3. Does 21 divide q(a)?
True
Let f = -82 - -126. Is 11 a factor of f?
True
Suppose 2*r + 16 = 2*a, -5*a - 5*r - 4 = -a. Suppose -304 = -0*t - a*t. Is 25 a factor of t?
False
Let q(r) = r**3 + 21*r**2 - 15*r - 57. Is 50 a factor of q(-19)?
True
Does 7 divide 176 + (-5 - -4 - 2)?
False
Let q be (3 + 28/(-8))/((-4)/200). Suppose 52 = 3*o - 2*r, 5 = -5*r + q. Is o a multiple of 6?
False
Let y be 8/14 - (-8)/(-14). Is 28 + (y/2)/1 a multiple of 7?
True
Suppose 2*a = 4*q + 4*a - 20, -2*a = -q. Suppose 2*j - 130 = 2*p - q*p, 25 = 5*p. Is 15 a factor of j?
True
Let l be 3 - (6 - 3) - -112. Suppose 2*f + 0*f = l. Suppose -x + f = 19. Is x a multiple of 11?
False
Suppose 44 = 5*l + 234. Let b = 225 + l. Is b a multiple of 19?
False
Let s = 852 + -770. Is s a multiple of 14?
False
Let j(h) = -2*h**3 - 6*h**2 + 7*h - 7. Let d be j(3). Let w = 158 + d. Is w a multiple of 4?
True
Suppose -20 = f - 5*u, -5*u + 0*u = -20. Let m be f + 4 + -22 + 20. Is m - 2 - -1 - -20 a multiple of 7?
True
Let p(l) be the second derivative of -l**3/6 - 5*l**2/2 - l. Is p(-11) a multiple of 6?
True
Let k(r) = 85*r**2 - 14*r + 33. Is 42 a factor of k(3)?
True
Let d = -97 - -17. Let c = -35 - d. Suppose 2*w - c = k + 9, -5*w + 144 = 2*k. Does 7 divide w?
True
Let f(n) = -n**3 - 6*n**2 - 3. Let g be f(-6). Is (-99)/(-1) - (g + -2) a multiple of 13?
True
Does 23 divide ((-8)/10)/(((-126)/(-3325))/(-9))?
False
Let m(h) be the first derivative of -h**4/4 - 4*h**3 - 15*h**2/2 - 8*h - 19. Suppose -5*i = -3*l - 2*l - 70, 3*i - 53 = 4*l. Is 9 a factor of m(l)?
True
Let x = 304 - -3292. Is x a multiple of 20?
False
Suppose -31 = -3*d + 35. Suppose 2*u - 2*n = 20, 0 = 5*u + n + n - d. Suppose 0 = -v + u*v - 285. Is 13 a factor of v?
False
Let n(h) = -157*h - 56. Is 8 a factor of n(-1)?
False
Let j(l) = -l**3 - 7*l**2 + 6*l + 6. Let c(g) = g**3 + 8*g**2 - 7*g - 7. Let x(r) = -6*c(r) - 7*j(r). Let n be x(0). Suppose 60 = d - n*d. Is 18 a factor of d?
False
Let s = -22 - -12. Let y = 19 + s. Suppose -y*f = -12*f + 90. Is f a multiple of 10?
True
Let s = -14 + 25. Suppose 5*x + 1 = s. Is 2 a factor of x?
True
Let v = 18 - 18. Suppose 2*f - 2*o - 42 = v, -3*o = 5*f + o - 141. Does 3 divide f?
False
Let q(z) = -z**3 + z**2 - 2*z + 68. Let l be q(0). Let o = l + -40. Is o a multiple of 14?
True
Suppose -216 = -r + 4*t, -4*r = -2*r + 3*t - 465. Is 3 a factor of r?
True
Suppose 4*u + 130 = -2*a, a - 4*a - 5*u = 190. Does 22 divide ((-80)/50)/(2/a)?
True
Let y(p) = -p + 15. Let t be y(9). Let m be ((-16)/t)/(4/(-30)). Suppose -m - 12 = -r. Is r a multiple of 25?
False
Let l(w) = -31*w - 18. Does 72 divide l(-9)?
False
Suppose -3*o - i = -6*i - 16, -5*o + 16 = -3*i. Suppose 2*r - 140 = -o*r. Suppose 5*l - 25 = r. Is 3 a factor of l?
True
Is (24/15)/((-17)/(-340)) a multiple of 5?
False
Let k = -1911 + 2802. Is k a multiple of 27?
True
Is 38 a factor of 149/(7*(-10)/(-140))?
False
Suppose -6*b = -3*b + 138. Let z = -39 - b. Is 2 a factor of z?
False
Let k(a) = 2*a - a**2 + a**3 + 6 - 4 - 2*a. Let i be k(0). Is (84/(-18))/(i/(-9)) a multiple of 6?
False
Let p = -7 + 32. Is 37 a factor of (-5)/(p/(-760)) - 4?
True
Suppose 5*d - 4*b + 2*b + 875 = 0, 0 = 5*b - 25. Let a = 346 + d. Is a a multiple of 22?
False
Suppose -3*x = 2*l - 24, -12 + 0 = -l + 3*x. Suppose 41 + l = c. Is c a multiple of 13?
False
Let a = 2090 + -1178. Is 44 a factor of a?
False
Suppose 2330 = -4*a + 6. Let z = a + 856. Does 51 divide z?
False
Is 24 a factor of (3530/(-20))/((-2)/4 + 0)?
False
Let a(s) = -s**3 - s**2 + 3*s + 3. Let n be a(0). Let m(u) = -n*u - 5*u - 4*u + 4*u + 4. Is 36 a factor of m(-13)?
True
Let x = 20 - 23. Let l be (-62)/6*x - 0. Suppose -3*s + l = o, 3*o = -s + 4*o + 5. Is s a multiple of 6?
False
Let b be -3 + -1*(1 + 0). Is b/(8/(-28) + 0) a multiple of 3?
False
Suppose -2*g - 4*l + 28 = 0, -2*g + 3*g + 5*l = 29. Suppose -b = g*b. Is 13 a factor of b + -4 + 0 + 40?
False
Let j(t) = -t**2 + 20. Suppose 5*z + 15 = -5*q - 0, -3*q - 9 = -3*z. Let v be j(z). Let m = v + 0. Does 5 divide m?
True
Suppose 0*t = 2*t + 62. Suppose 4*a - 25 = 19. Let c = a - t. Is c a multiple of 21?
True
Let o(q) = -q + 11. Let n be o(0). Let x = 7 - 5. Suppose -x*a = -n - 29. Does 13 divide a?
False
Let u = -60 + 139. Is u a multiple of 7?
False
Is 4511/10 - 0 - (-4)/(-40) a multiple of 11?
True
Suppose 0 = -d - 5*l, -5*l + 6 = 21. Suppose 5*i = -3*u + 4*u - d, 5*i + 35 = 5*u. Let h(v) = 11*v**2 - 2*v. Is h(i) a multiple of 14?
False
Suppose -585*z + 593*z - 976 = 0. Does 10 divide z?
False
Let i(k) = 6*k**2 + k - 1. Let w be i(1). Let r(h) = -27 - 4*h**2 - 4*h - 32 - h + 60 + h**3. Is 7 a factor of r(w)?
False
Suppose 5*h - 12 = 13. Let v(d) = 6*d**3 - d**2 - 8*d - 1. Let y(g) = g**3 - g**2 - g - 1. Let m(w) = h*y(w) - v(w). Is m(-5) a multiple of 3?
True
Let w be ((-6)/4)/(18/(-48)). Let l(n) = 4 - 4*n + w - 8. Does 5 divide l(-5)?
True
Let o be (-29)/(-9) + (-4)/18. Suppose -9*b = -8*b + o. Does 16 divide -15*((-7)/3 + b)?
True
Let z be (-27)/(-6)*(-10)/(-15). Let h = z + -21. Does 3 divide ((-12)/(-8))/((-3)/h)?
True
Let u(t) = 409*t + 4. Let q be u(3). Suppose 5*f + 0*c = 5*c + 1195, -5*f = 4*c - q. Suppose -i + n - f = -6*i, -102 = -2*i - 2*n. Is i a multiple of 38?
False
Let x be 8/6*135/30. Let d be ((-6)/(-1))/(9/x). Suppose -d*a - 336 = -8*a. Does 28 divide a?
True
Let f be (-35)/(-2)*(3 - -3). Suppose -2*r = -r - 1, 5*r = 5*z + f. Is 18 a factor of ((-54)/5)/(3/z)?
True
Let i = 1181 + -1179. Suppose 5*y + 5*k - 22 = 3*k, -5*k = y - 9. Suppose 3*l + i*v = 61, -y*l - 5*v = -53 - 40. Does 14 divide l?
False
Let t(a) = 10*a - 7*a + 15*a + 8*a**2 - 9*a**2 - 19. Is t(13) a multiple of 9?
False
Suppose 6*t + 0*t = 0. Let f(b) = -b - 3 - b + t*b. Does 2 divide f(-5)?
False
Let d(z) = z**2 - 16*z + 2. Let t be d(16). Suppose -t*p = -16 + 6. Suppose -p*a - 53 + 233 = 0. Is a a multiple of 20?
False
Let w = -25 + 28. Suppose n - w = -0*n. Is (-1 - n)/((-20)/50) a multiple of 10?
True
Let b be 5/((-35)/(-706)) - 1/(-7). Let f = b - 26. Is f a multiple of 15?
True