c - 3*y = 324, -2*c - 2*c + y - 447 = 0. Let f = 234 + c. Is 20 a factor of f?
False
Suppose 0 = r + r - 6. Suppose 0*x - r*x = 0. Suppose 4*i = -4*a + 152, -i + x*a + 23 = -4*a. Is 7 a factor of i?
True
Is (24/(-40))/1 + (-98)/(-5) even?
False
Let c(m) = m**3 - m**2 - 4*m + 4. Let z be c(3). Let d = z + -10. Suppose -2*l - 5 = 3*l, d = 3*o + 5*l - 82. Is 6 a factor of o?
False
Let r be (-4 + 5 + -1)/(-1). Suppose 2*u - 44 - 24 = r. Is 7 a factor of u?
False
Suppose -5*w + 4*h = -999 - 203, -3*w + 4*h + 726 = 0. Is w a multiple of 2?
True
Let p be ((-10)/4)/(7/(-14)). Let q be 4/(-10) - (-7)/p. Suppose -5*f - 2*z + q = -4, -4*f - 2*z = -2. Is 2 a factor of f?
False
Let d = 3180 - 1581. Does 36 divide d?
False
Does 17 divide (2455 - -4) + (-54)/(-18 + 9)?
True
Let z(q) = 2*q + 19. Let x be z(0). Let d = x + 3. Does 11 divide d?
True
Suppose 5*z + 130 = 7*z. Is (10/z + 18/52)*132 a multiple of 3?
True
Suppose 46920 = 2*y + 32*y. Is y a multiple of 15?
True
Suppose -129*y + 133*y - 2436 = 0. Is y a multiple of 21?
True
Suppose 2*h - 44 = -2*h + o, -3*o = -h. Let w = h - 7. Suppose -79 = -2*b + w. Is b a multiple of 21?
True
Suppose -5*c = -20, -4*c - 170 = -t - 6*c. Suppose -5*l - t = -587. Let g = l + -37. Is 16 a factor of g?
True
Suppose 6 + 6 = -4*l. Let q = l + 7. Suppose 3*b - 48 = -4*f, -4*b + 48 = q*f - 4. Does 3 divide f?
True
Let g(u) = u**3 - 4*u**2 - u - 3. Let t(c) = -c**2 - 4*c + 10. Let j be t(-5). Suppose a - 7 = -a - h, -j*h - 5 = 2*a. Does 10 divide g(a)?
False
Let b(f) = f**3 + 18*f**2 + 2*f - 56. Is 27 a factor of b(-17)?
False
Let p(b) = 8*b - 2 - 8*b + 2*b. Let s be p(1). Is 23 a factor of (-3 - s)/(2/(-54))?
False
Suppose -10 = -2*t - 0*t - 2*r, -4*t = -3*r + 1. Suppose -t*g + 15 - 81 = 0. Let l = -8 - g. Is 9 a factor of l?
False
Suppose -2*p = -5*p + 5*b + 42, 4*p + b - 33 = 0. Let n = p + 5. Is n a multiple of 3?
False
Let i(u) = -u + 51. Let v be (-1 + 1 + 0)/2. Is 17 a factor of i(v)?
True
Let g be (6/8)/(5/20). Suppose g*n + 0*l - 215 = 5*l, 345 = 5*n - 5*l. Is n a multiple of 21?
False
Suppose 2*y = y + 25. Suppose f + 4*f - y = 0. Let l(u) = u**3 - 6*u**2 + 7*u + 2. Does 6 divide l(f)?
True
Let o = 682 + -479. Does 48 divide o?
False
Let m = 14 + -10. Suppose -19 + 1 = -6*g. Suppose 3*j + 4*o = -j + 16, g*j - 26 = m*o. Is 2 a factor of j?
True
Let x = 288 - 145. Is 14 a factor of x?
False
Let a be 108/(-10)*5/(-1). Let o = a + -32. Suppose 0 = -5*z + 28 + o. Is z a multiple of 8?
False
Suppose 0 = -20*z + 31302 + 17038. Is 97 a factor of z?
False
Let j = 190 - -224. Does 12 divide j?
False
Suppose -175 = -10*o + 775. Is 13 a factor of o?
False
Suppose 0 = 3*l + 5*q + 45, q + 75 = -5*l - 4*q. Let s be (1/3)/((-5)/l). Does 26 divide (-12*s)/4 - -29?
True
Is 24 a factor of 15*-77*10/(-25)?
False
Let w = 56 - -61. Does 6 divide 7/(21/w) + 3*1?
True
Suppose 45*s = 41*s + 232. Let u = 74 - s. Is 4 a factor of u?
True
Let n = -39 - -108. Does 23 divide (n/(-4 + 1))/(-1)?
True
Let y = 1483 - -694. Does 7 divide y?
True
Let v(b) = b**2 + 14*b - 9. Let c be v(-6). Is 7 a factor of c*(3 + -4) + (-1 - -4)?
False
Let s be (32 - 0) + (2 - 4). Suppose s = 5*m - 100. Suppose 56 - 24 = 4*p + 2*x, -5*x + m = p. Does 4 divide p?
False
Suppose k = 5*k - 1000. Suppose -2*v - 38 = k. Let y = -90 - v. Is 18 a factor of y?
True
Let h be (-990)/20*12/2. Let c = -189 - h. Is 27 a factor of c?
True
Suppose -2*b + 3202 = 1276. Suppose -b = -14*u + 1249. Does 12 divide u?
False
Let m = -14 - -14. Suppose -b = x - 4 - 21, 3*x + b - 81 = m. Is (23 - 8)*x/10 a multiple of 27?
False
Is 24 a factor of -7 - (4 - 2 - 1766)?
False
Suppose 14 = 3*s - s. Suppose 4*o - 13 = s. Does 10 divide 1/5 + 234/o?
False
Let q = -1 - -2. Let o be 3 + q + 1 - -3. Is 15 a factor of (-2)/(3*o/(-684))?
False
Does 8 divide (8/(-5))/((-70)/1400)?
True
Let g(f) = 2*f**2 + 19*f + 13. Let b(o) = 3*o**2 + 20*o + 13. Let v(r) = -3*b(r) + 4*g(r). Is 7 a factor of v(15)?
True
Let n = -49 + 1765. Does 26 divide n?
True
Let w be (-1846)/(-65) - (-4)/(-10). Let i = w + 0. Does 14 divide i?
True
Suppose 0 = -100*g + 101*g - 768. Is g a multiple of 16?
True
Let c(m) = m - 1. Let g be c(1). Let n = 3 + g. Suppose 4*q = n*q + 6. Is 6 a factor of q?
True
Let k(j) = -j + 24. Let b be k(-14). Suppose 2*t - 3*n - b = 0, 2*n + 1 = -2*t + 29. Suppose 0 = -2*c + c + t. Does 16 divide c?
True
Suppose 5*v - 5955 = i, 5776 = 5*v + 2*i - 164. Is 35 a factor of v?
True
Let i = -38 + 44. Suppose 0 = -i*m + m + s + 164, -3 = -3*s. Is m a multiple of 6?
False
Suppose -1762 = -62*h + 60*h. Is h a multiple of 16?
False
Let y(m) = -4*m**3 + 12*m**2 + 5*m + 6. Let w(z) = 5*z**3 - 12*z**2 - 4*z - 5. Let h(s) = 5*w(s) + 6*y(s). Is 22 a factor of h(-11)?
True
Let f(h) = h**2 + 10*h + 19. Let c be (-6)/3 - 6/1. Is 3 a factor of f(c)?
True
Let c(u) = 141*u - 591. Is c(6) a multiple of 5?
True
Let h(g) = -g**3 - 3*g**2 + 5*g + 14. Let d be h(-12). Suppose -d = -s - 4*s. Is s/(-4)*78/(-65) a multiple of 15?
True
Suppose 3*j - 2 = 34. Let y(o) = o**3 - 12*o**2 + 3*o + 5. Does 13 divide y(j)?
False
Suppose -261 = 4*n - 49. Let k = 124 - 221. Let i = n - k. Is 22 a factor of i?
True
Suppose 0 = 5*l + 38 + 7. Let i = -6 - l. Suppose -i*c - 96 = -2*z, 4*c = 6*c + 8. Is z a multiple of 14?
True
Is 1*7*(-4095)/(-98)*4 a multiple of 78?
True
Suppose 0*n = -n. Suppose n = 7*f - 27 - 22. Does 7 divide f?
True
Suppose 0 = -b - 3*b - 104. Is 28 a factor of 5400/52 + (-4)/b?
False
Let v be (-1 - 24) + -4 + 6. Let h = v - -42. Suppose 59 = 4*z + h. Is z a multiple of 5?
True
Let w = 14 - 8. Let f be ((-1)/(-2))/(w/(-12)). Is 11 a factor of ((-29)/f)/(1/1)?
False
Let t(c) = 7*c**2 - c - 1. Let m be t(1). Suppose -m*h + 211 - 16 = 0. Let o = h - 28. Is o a multiple of 9?
False
Let b = 520 - 302. Does 15 divide b?
False
Let y(a) = -a**3 + 8*a**2 + 8*a - 4. Suppose 5*v = -0*v + 20. Let w be (-136)/(-20) + v/20. Is y(w) a multiple of 27?
False
Let g(f) = 3*f + 12 + 0*f - 4*f + 5. Let w be g(7). Let k = w + -1. Is k even?
False
Let w = 24 + -24. Suppose w = 2*y - 4*y + 122. Is 11 a factor of y?
False
Suppose 46*c + 9024 = 52*c. Is 61 a factor of c?
False
Suppose -80*u + 438 = -74*u. Is 17 a factor of u?
False
Let a(c) = -5*c**2 + 20*c - 6. Let s(z) = -1. Let k(v) = -a(v) + 4*s(v). Let b(o) be the first derivative of k(o). Does 23 divide b(8)?
False
Suppose -5*i - 3*b + 537 = 0, 0*b - 434 = -4*i + 2*b. Is 27 a factor of i?
True
Suppose 0 = 2*o - 6*o - 2*z + 18, z = 5*o - 5. Suppose -5*b - o*r + 19 = -178, 3*b - 121 = -4*r. Is b a multiple of 13?
True
Let u(i) be the third derivative of -23*i**4/12 - i**3/3 - 17*i**2. Does 36 divide u(-3)?
False
Suppose 0 = c - 8 - 7. Let i(d) = d**3 - 16*d**2 + 15*d - 5. Let k be i(c). Is 9 a factor of (k - 0)*(7 + -11)?
False
Let m be 300/(-9)*(-3)/2. Suppose 14 = 4*b + m. Is (-2)/(-2) + 11 + b a multiple of 3?
True
Let k(i) = 20*i - 6. Let f be k(5). Let w = f + -22. Is 18 a factor of w?
True
Let x(u) = u**2 - 3*u - 16. Let b be x(6). Let z(d) = d + 4. Let t be z(-2). Suppose -i = -t, b*f - 154 = -0*i + i. Is 13 a factor of f?
True
Is ((-7 - -1) + -1012)/(-2) a multiple of 6?
False
Suppose f + 8 = 3*f. Suppose r = -r + f. Suppose -7*o + 115 = -r*o. Is 23 a factor of o?
True
Let b be (-4)/(-2)*(2 + 0). Suppose -b*y - 70 = -9*y. Does 3 divide y?
False
Let o(v) = v**2 - v + 13. Let y = -20 + 26. Does 14 divide o(y)?
False
Let d = -9 - -2. Let p(z) = -14*z**3 - 6*z**2 + 13*z + 16. Let j(y) = 5*y**3 + 2*y**2 - 4*y - 5. Let r(s) = d*j(s) - 2*p(s). Is 12 a factor of r(-2)?
False
Let m = -26 + 28. Suppose m*z + 4*z - 360 = 0. Is z a multiple of 15?
True
Suppose 11*x = -51 + 7. Is 4 a factor of 1530/(-36)*(0 + x/5)?
False
Let z be (-5)/20 - 17/(-4) - -15. Let u be ((-2)/(-4))/((-1)/(-22)). Suppose 5*m - u = z. Is 3 a factor of m?
True
Suppose -2*c - 2*a + 168 = 0, 0 = 3*a - 12. Does 9 divide c?
False
Let r(l) = l**3 - 18*l**2 + 19*l - 34. Let d be r(17). Suppose 2*k - f + 5 = 46, d = -2*k - 2*f + 38. Is k a multiple of 9?
False
Let l be (-1 + 2 + -3 + 59)*-1. Let c = l - -158. Is 14 a factor of c?
False
Let n = 2724 + 2038. Does 8 divide n?
False
Let u(j) = 69*j**2 - 10*j - 31. Is 20 a factor of u(-3)?
True
Let g(d) = -d**3 - 7*d**2 + 3*d + 5. Let c be g(-8). Suppose 155 = 7*t - 2*t. Let m = c - t. I