s 10 a factor of ((-2)/5)/(1/a)?
False
Let y(v) = 21*v**2. Let w = 8 - 7. Is 12 a factor of y(w)?
False
Suppose 0*s + 2*s = 84. Is s a multiple of 42?
True
Let l = 3 + -3. Suppose -2*b - 4*j + 20 = l, -j - 2 = -4*b + 2. Suppose c - 48 = -b*c + 3*y, -3*c = -4*y - 46. Does 6 divide c?
True
Suppose l - 3*r - 1 = 0, 5*l + r - 2*r - 19 = 0. Suppose m = l*m. Suppose -i - 2*i + 48 = m. Is 6 a factor of i?
False
Let w be -1*(-25 + 1/(-1)). Suppose -x + 2*x - w = 0. Is x a multiple of 13?
True
Let r(n) = n**2 - 5*n + 9. Let y = 22 + -11. Let m(g) = -2*g**2 + 11*g - 18. Let d(b) = y*r(b) + 6*m(b). Is d(8) a multiple of 6?
False
Suppose 0 = j - 1 - 1. Suppose j*k - 3*k = -8. Is k a multiple of 4?
True
Let s(p) = p**3 + 10*p**2 + 9. Is 9 a factor of s(-10)?
True
Let v(s) be the third derivative of -11*s**4/12 - s**3/6 - 3*s**2. Is 9 a factor of v(-1)?
False
Let p = -96 - -138. Is 14 a factor of p?
True
Suppose 2*b + 7 = 2*l + 29, -2*b + 14 = -4*l. Is b a multiple of 15?
True
Suppose -l - 4*n = -25, -30 = 3*l - 4*l - 5*n. Suppose 0 = l*r - 182 - 43. Is 15 a factor of r?
True
Let k be 3/((24/10)/4). Suppose 3*t + 94 = k*n - 216, t - 5 = 0. Is 13 a factor of n?
True
Let g(q) = 2*q**3 - 2*q - 2. Let d be g(4). Let z = d + -37. Is 8 a factor of z/6*(-8)/(-6)?
False
Suppose 2*r + 24 = 2*i, 5*i + 3*r = 54 + 46. Is 3 a factor of i?
False
Does 12 divide (-3)/(-7) - (-1326)/91?
False
Let b(r) = -r**2 - 3*r + 5. Suppose 20 = -5*z - 0*z. Let l be b(z). Let g = 27 - l. Is 17 a factor of g?
False
Let d(h) = 3*h + 6. Does 15 divide d(6)?
False
Let d = -12 + 25. Is 5 a factor of d?
False
Suppose w + 0*w + 3 = 0. Is 19 a factor of (1 + w)/((-6)/159)?
False
Let k be (12/(-15))/((-4)/10). Suppose -k*h + 19 = -29. Is h a multiple of 12?
True
Suppose 5*a = -z + 59, -3*a = -4*z - 1 - 39. Suppose 8 = r - a. Suppose -k + r = 4*i, 6*k - 65 = 2*k - i. Is 16 a factor of k?
True
Let t(x) = -x**3 - 9*x**2 + x + 11. Let z be t(-9). Suppose -z*r - 3*r - 125 = -4*p, r = -p + 20. Is 10 a factor of p?
False
Suppose -22 = -4*s - 2. Suppose 0 = -5*n - s*u + 335, 2*n + 2*u + 61 = 3*n. Is n a multiple of 19?
False
Suppose 5*s = 6*s - 11. Is 11 a factor of s?
True
Let k = 37 - -53. Is 5 a factor of k?
True
Let l(t) = -t**3 + 7*t**2 + 11*t + 6. Let j be l(8). Is (-1)/(-6) + 385/j a multiple of 13?
True
Is 12 a factor of (-1017)/(-21) - 1/((-28)/(-12))?
True
Suppose 5*c = 2*c - 276. Let r = 132 + c. Is 14 a factor of r?
False
Let z(j) = -3*j + 3. Let i be (-1)/(-2)*(-2)/1. Let k(p) = -1. Let u(a) = i*z(a) + 2*k(a). Is 6 a factor of u(6)?
False
Is 26 a factor of 1*(-13)/(52/(-336))?
False
Let j(l) = 24*l. Suppose 0*c + 15 = 5*c. Suppose 0 = -c*m - m + 4. Does 12 divide j(m)?
True
Let g be (9 - 1)/(-1 + 2). Is (-1 + (-1 - g))/(-1) a multiple of 4?
False
Is 2 a factor of 24/60 + 148/5?
True
Suppose 4*t - 28 = -12. Is 2 a factor of t?
True
Let k = 17 + -12. Suppose -w + k*z + 21 = 3*w, 3*w = 4*z + 16. Is (24/(-20))/(w/(-10)) a multiple of 3?
True
Let v = 94 + 23. Is v a multiple of 36?
False
Suppose 170 = 4*f - 418. Is f a multiple of 25?
False
Let j(b) = -4*b - 8. Is 6 a factor of j(-5)?
True
Suppose -3*h - 59 = -2*m - 2*h, -127 = -4*m - h. Does 14 divide m?
False
Let k = -11 + 14. Suppose -4*z - 25 = -3*u + 12, -k*u - 3*z = -51. Does 15 divide u?
True
Let f(z) = -3*z - 1. Let x = 5 + -6. Let y be f(x). Does 6 divide (y + -10)*(-27)/12?
True
Let w = 0 - -3. Let l be w - 2 - -1 - 2. Suppose 42 = 3*d + j - 3*j, -d - 2*j + 22 = l. Does 12 divide d?
False
Suppose -2289 = -11*r - 10*r. Does 13 divide r?
False
Let z = 33 - 23. Is 94/z - (-15)/25 a multiple of 10?
True
Let k be -8 + (1 - 0/(-2)). Let y(l) = -l**3 - 3*l**2 + l + 3. Let i be y(-4). Let h = i + k. Does 8 divide h?
True
Suppose -1452 = 31*k - 42*k. Is 11 a factor of k?
True
Let p(l) = 9*l**3 + l + 1. Let a be p(2). Let y be -4*a/(-6) + -2. Suppose -y = -4*h + 24. Does 18 divide h?
True
Suppose 5*k - t - 7 = 0, -2*t + 9 = 5*k - 4*t. Let s be 16/2 - (k - 0). Let p = s - 3. Is 4 a factor of p?
True
Suppose -3*z - 3*r + 12 = r, -26 = -4*z - 2*r. Is z a multiple of 5?
False
Suppose -z - 10 = -2*z. Is z a multiple of 5?
True
Suppose -3*w + 12 = -0*w. Suppose w*k + 3*r + 60 = 6*k, 0 = k - 4*r - 20. Is 15 a factor of k?
False
Suppose 0 = 3*d - 25 + 10. Suppose d*y = -3*p + 20, 5*y + 0*p = -2*p + 25. Suppose y + 7 = b. Is 14 a factor of b?
True
Suppose 9 = c - 35. Does 11 divide c?
True
Suppose 5*k - 399 - 66 = 2*q, -4*q + 93 = k. Is k a multiple of 12?
False
Let g = -91 - -190. Does 11 divide g?
True
Is 17 a factor of 102/12*(14 + 2)?
True
Let z(h) = -h + 28. Is 14 a factor of z(13)?
False
Let b = -7 - -25. Is b a multiple of 6?
True
Let c = -197 + 377. Does 15 divide c?
True
Let r be (-14)/(-6) - 1/3. Suppose -3*c + c = -52. Suppose -r*t = -4*t + c. Is 13 a factor of t?
True
Let j = -27 - -29. Suppose 3*a = -4*q + 4, -q + j*q = 2*a + 12. Does 4 divide q?
True
Suppose -1 = 5*y - 31. Let l(n) = -n**3 + 7*n**2 - 2*n - 4. Is 10 a factor of l(y)?
True
Suppose -6 = 2*r - 4*r. Let o = r - -6. Is o a multiple of 2?
False
Let v be 8/(-36) + 29/9. Suppose 4*t + r = -10, -v*t + 0*t + 4 = -5*r. Does 12 divide 45*t/(-2 - 0)?
False
Suppose 4*o - 49 = 3*o. Is o a multiple of 7?
True
Let c = 7 - -11. Does 5 divide c?
False
Let h(p) = 9*p**2 + p. Does 28 divide h(-2)?
False
Let f(b) = b**3 + 9*b**2 - b + 1. Let k be f(-9). Suppose -2*t + 4*r = -k, 10 = -3*t + 5*r + 28. Is 11 a factor of t?
True
Let f(k) = -k**3 + 3*k**2 + k - 29. Let v(i) = i**3 - 2*i**2 - i + 30. Let c(b) = -2*f(b) - 3*v(b). Let p be c(0). Let m = p + 75. Is 16 a factor of m?
False
Let n be 3 - (4 - (-5 - -3)). Does 18 divide (-2)/n - 91/(-3)?
False
Suppose 0 = 5*b - 25, -2*b = 3*d - 24 + 2. Suppose -f + 0*c - 2*c = -7, 51 = 3*f - d*c. Does 7 divide f?
False
Let a(c) = -c**2 + 2. Let t be a(0). Let y = 6 + t. Is y a multiple of 5?
False
Let q be (20/6)/((-6)/(-36)). Suppose 275 = 5*r - q. Does 17 divide r?
False
Suppose 0 = -2*x + 2*j - 14, 5*x = -j - 33 - 14. Let i(r) = -r**3 - 10*r**2 - 13*r - 10. Does 7 divide i(x)?
False
Let n(s) = 3*s**2 - s. Let z be n(2). Let t be (1 - -1)/(z/(-15)). Let f = 6 - t. Is f a multiple of 7?
False
Let g(b) = b - 3. Let z be g(3). Suppose z*u + 15 = 5*u. Suppose -u*x - 4*r = -17, 2*x + r = 2*r + 15. Is 7 a factor of x?
True
Let h(a) = -a**2 + a + 16. Let v be 8/28 + (-4)/14. Is h(v) a multiple of 16?
True
Suppose -3*f - 4*g = -7, 3*f + f - g = 22. Suppose 5*v - p = 2*p - 111, 0 = -f*v - 3*p - 99. Does 7 divide v/6*(1 - 5)?
True
Let u = 297 - 161. Let m = u - 192. Let d = 108 + m. Is 18 a factor of d?
False
Suppose 3*h - w + 11 = 3*w, h = 3*w - 12. Suppose 2*q - u = 24, 3*u + 17 - 53 = -h*q. Is (-4)/(-2 - (-22)/q) a multiple of 12?
True
Let u(f) = -11*f - 34. Does 10 divide u(-10)?
False
Let g be 5 - 1 - (-2 + -21). Let c = g - 6. Does 7 divide c?
True
Let k(c) = -3*c**3 - 5*c**2 - 7*c - 3. Let m be k(-5). Let v be m/4*(-8)/(-6). Suppose -14 = 4*o - v. Is o a multiple of 8?
False
Let d(q) be the first derivative of -q**3/3 - 2*q**2 + 2*q - 1. Let t be d(-4). Suppose -t*m + 15 = m. Is 5 a factor of m?
True
Let a(b) = b**2 - 15. Does 22 divide a(-10)?
False
Let w(n) be the first derivative of -n**4/4 - 2*n**3 - n**2/2 + 3*n - 2. Let c be w(-6). Suppose 0 = 3*a - 63 + c. Is 7 a factor of a?
False
Suppose 0 = -10*a + 228 + 1762. Is a a multiple of 15?
False
Suppose 0 = -h + 3*h - 24. Does 12 divide 11/22*h*8?
True
Suppose 12 = 5*o - 3. Does 3 divide o?
True
Let f(v) = -v + 1. Let k be f(-6). Let c(p) = -p**3 + 8*p**2 - 5*p - 6. Is c(k) a multiple of 5?
False
Suppose -5*o = -2*o - y - 389, 5*o - 671 = -4*y. Is 27 a factor of o?
False
Let b = 16 + -26. Does 11 divide (132/b)/(21/(-70))?
True
Does 19 divide (46/(-6))/((-2)/60*1)?
False
Suppose 0 = 2*x + 4, 3*x = 5*n + 16 + 28. Does 28 divide 2248/40 - (-2)/n?
True
Let a(o) be the third derivative of o**5/60 + o**4/12 + 2*o**3/3 + 2*o**2. Is a(6) a multiple of 26?
True
Let t(x) = x - 3. Let d be t(5). Suppose k = -d*k + 9. Suppose b - 6*b = k*v - 47, -25 = -5*v + 5*b. Is v a multiple of 9?
True
Suppose u - 6*u + 28 = 3*k, 24 = -k + 5*u. Let x be k*6*2/3. Suppose 0*a = -x*a + 116. Does 10 divide a?
False
Suppose -p + 2 + 2 = 0. Suppose -p*t = -284 - 176. Suppose 4*x + 31 - t = 0. Is 12 a factor of x?
False
Suppose 2*t 