
Suppose 4*u = 4*g + 140, 5*u - 47 = 4*u - 3*g. Is 19 a factor of u?
True
Suppose -5*o + 4*t = -84 - 42, 5*o + 2*t = 102. Let k be 2*1/(-2) + 17. Suppose 0 = g - k - o. Is 13 a factor of g?
False
Let r(f) = 12*f + 1. Let h(a) = a. Let q(b) = -18*h(b) + 2*r(b). Let s(m) = m**3 + 6*m**2 + m + 8. Let i be s(-6). Is q(i) a multiple of 14?
True
Suppose -3*p - 3*g = -4*g - 23, 5*p - 39 = g. Is p a multiple of 2?
True
Suppose 134 = 2*k - 118. Does 21 divide k?
True
Let p(m) = -4*m**3 - 3*m**2 + m + 2. Let z be p(-2). Let a = -8 + z. Is 4 a factor of a?
True
Let a = 18 - -11. Let f = 0 - -3. Suppose -r + 6*r + 2 = 2*s, a = f*s - r. Is s a multiple of 4?
False
Suppose p - 281 = -g, 7*p - 1079 = 3*p + 5*g. Does 46 divide p?
True
Does 5 divide (-90)/(-9 + 6)*(0 + 1)?
True
Let g be ((-1)/(-5))/(4/20). Let o(c) = -2*c - 2*c + g - 1. Does 16 divide o(-4)?
True
Let a be 4/12 - 246/9. Let p = 6 - a. Does 17 divide p?
False
Let k(t) = 18*t - 58. Is k(6) a multiple of 5?
True
Suppose -367 = -4*m + 801. Suppose -m = -0*u - 4*u. Let a = u + -21. Does 21 divide a?
False
Let h(d) = d**2 + 5*d - 4. Let p be h(-5). Let c = p + 14. Is c a multiple of 5?
True
Let l(c) = c**2 - c + 2. Suppose 4*o - 2*o = 0. Suppose -2*r + 2*y = o, r - y + 4 = -r. Is l(r) a multiple of 11?
True
Let i = 2 + 8. Suppose -4*p = -2 - i. Is 3 a factor of p?
True
Let i = 6 + -36. Is 12 a factor of (16/5)/((-4)/i)?
True
Suppose 6 = -l + 3*d, 0*l - 3 = 4*l - 5*d. Suppose 0 = u + l*r - 7, -4*r = -4 - 0. Suppose 24 = 3*s - s - u*o, 3*s = -4*o - 14. Is s even?
True
Let r(h) = h + 14. Let i be r(0). Suppose 0 = q + q - i. Is 4 a factor of q?
False
Let m = 8 + -24. Let r = m - -44. Is r a multiple of 11?
False
Let h = -1 + -2. Let f be (-25)/15*h*1. Suppose -172 = -9*o + f*o. Is o a multiple of 15?
False
Does 3 divide ((-34)/(-6))/(10/30)?
False
Let n(f) = f**3 + 12*f**2 + 8*f - 15. Let y be n(-11). Does 5 divide y*3*(-3)/(-27)?
False
Suppose -u = 4*u - 2*a - 458, 4*a + 376 = 4*u. Is 10 a factor of u?
True
Let k = 20 + 20. Suppose -k = -2*x + 7*x. Let f(a) = -a**3 - 9*a**2 - 8*a + 8. Does 4 divide f(x)?
True
Suppose o - 22 = 53. Does 15 divide o?
True
Let a = -135 + 210. Is 11 a factor of a?
False
Let m(l) = -l**2 + 6*l + 3. Let x be m(4). Let k = x - 8. Is 3 a factor of k?
True
Let j(i) = i**2 + 5*i**2 - 5*i**2 - 6*i. Does 7 divide j(7)?
True
Let w(q) = 37*q**3 + 2*q**2 - 2*q. Is 18 a factor of w(1)?
False
Suppose -o - 3 = -y + 4*o, -o = 2*y - 17. Suppose -z = -6 - y. Does 19 divide z + 0 - -3 - -2?
True
Let u(b) = -b**3 - 6*b**2 + 2. Let n be u(-6). Suppose k = 1, n*l - 3*k = -k + 40. Is 8 a factor of l?
False
Let k be (4/(-2))/(-2)*2. Suppose 3*t = 1 + k. Is 15 + -1 - (-1 + t) a multiple of 14?
True
Suppose u - 13 = 2. Suppose 4*m - 7*m = -3*i - u, -2*m + 3*i = -9. Is 2 a factor of (m/(-12))/(1/(-10))?
False
Let y(p) = 12*p**2 - 6*p + 2. Is 57 a factor of y(7)?
False
Let o = -59 + 145. Suppose -2*k + o = -3*w, 5*k + w - 169 = -3*w. Is 16 a factor of k?
False
Suppose -2*z - 2*c + 11 = -5, 3 = 3*c. Suppose -36 = -2*q - 2*k, -q + 20 = 3*k - 0. Let t = q - z. Is 6 a factor of t?
False
Suppose -3*z + 2*o = -85, -3*z = -6*z - 3*o + 60. Does 5 divide z?
True
Let z(k) = k**3 + 6*k**2 + 5. Suppose -50 = -5*o + 25. Let p be (o/(-6))/((-3)/(-6)). Does 17 divide z(p)?
False
Suppose -4*w = -2*w - 4. Suppose 0 = -2*k - w*k + 36. Does 3 divide k?
True
Let o be 2/7 + 2052/(-126). Let m = o + 51. Is 14 a factor of m?
False
Suppose -3*p = n - 0*n - 131, 0 = 3*p - 3*n - 135. Does 22 divide p?
True
Suppose -5*t = -32 + 7. Does 3 divide (-2)/t*(-10 - 5)?
True
Let k(j) = 9*j**2 + 31*j + 6. Does 9 divide k(-6)?
True
Let f = 22 + -8. Let a(m) = m**2 + 3*m + 6. Let o be a(-5). Suppose -3*d + o = -f. Is 5 a factor of d?
True
Let o be (14/(-8))/((-2)/8). Let g = o + -4. Suppose 0 = -g*c, 88 = 5*s - s - 5*c. Is 11 a factor of s?
True
Suppose 5*r - 5 = -0. Let y = r + -2. Let j(m) = -13*m**3 + m. Is j(y) a multiple of 6?
True
Let v(s) = 2*s**2 + 5*s + 9. Let x be v(-4). Suppose -x = -n + 14. Is n a multiple of 35?
True
Suppose 78 = 5*k - 3*k. Let f = k - 28. Is 4 a factor of f?
False
Let u be 3 + -1 + (-5 - -4). Is u + 29 - 2 - 0 a multiple of 14?
True
Is 17 a factor of 3*(-1 - -56) + (-6)/(-2)?
False
Let k(a) = -9*a - 6. Does 15 divide k(-4)?
True
Suppose -2*h + 40 = -0*h. Is 10 a factor of h?
True
Let l be (-1 + -1)/2*-6. Let t be 2 + (l/(-1))/(-3). Suppose -3*s + 40 = y, 35 = -0*s + s - t*y. Does 15 divide s?
True
Let c = -20 + 11. Let v(r) = r**2 + 9*r + 1. Let t be v(c). Let q = t + 7. Is q a multiple of 8?
True
Let q = -1 - -3. Suppose -d - 3 = -2*y, q*d + 4 - 2 = 3*y. Suppose 3*f + 4*x - 40 = 0, -x = 3*f + y*x - 38. Is f a multiple of 8?
True
Let c(b) = b**3 - 6*b**2 + 3*b - 4. Is 7 a factor of c(6)?
True
Let p(d) be the second derivative of d**5/20 + d**4/4 - d**3/3 + 3*d**2/2 - d. Is 5 a factor of p(-3)?
False
Let k(j) = 6*j**2 - 5. Let f(z) = -7*z**2 + z + 6. Let s(q) = 4*f(q) + 5*k(q). Let c be s(-3). Suppose 0 = -2*p + 21 + c. Is 13 a factor of p?
True
Let v(o) = 5*o**2 + 0*o - 4*o + 5*o**2 + 3*o. Is v(-1) a multiple of 9?
False
Let t(c) = 66*c + 7. Is t(2) a multiple of 20?
False
Suppose 13 = 6*j - 17. Suppose 2*w - 20 - 27 = 5*t, j*w - 3*t = 108. Is w a multiple of 7?
True
Let z(y) = 15*y**2. Let t be 2/(-8) + 12/(-16). Let n be (t/(-3))/((-3)/9). Is 5 a factor of z(n)?
True
Suppose 61 = 3*x - 4*d - 155, -d = 2*x - 144. Does 9 divide x?
True
Let m(q) = q**2 + 2*q + 1. Let h(f) = f**2 + 2*f + 2. Let v(p) = 2*h(p) - 3*m(p). Let g be v(1). Is 3 a factor of (-2 + -1)/(g + 1)?
True
Let h be (-48)/(-22) - (-12)/(-66). Suppose -3*d - h*d = -30. Suppose r + 2 = 0, o = 3*r + 26 + d. Does 13 divide o?
True
Let u(n) = -4*n - 22. Is 6 a factor of u(-13)?
True
Let j(y) = -2*y + 3. Let v(h) = h - 2. Let z(b) = 2*j(b) + 3*v(b). Let c = -9 - -1. Is z(c) a multiple of 4?
True
Let z(q) = q**3 + 7*q**2 - 8*q. Let u be z(-8). Suppose 5*k = 2*k - c + 103, 2*c - 2 = u. Is 13 a factor of k?
False
Let f(h) = 4*h - 5. Let d be (-7 - (1 + 1))*-1. Let g be f(d). Let c = -15 + g. Is 10 a factor of c?
False
Suppose 3*r + 349 = 3*t + r, 4*t - r - 472 = 0. Suppose -t - 29 = -4*q. Is 13 a factor of q?
False
Let m = -60 - -129. Let f(n) = -7*n**3 - 2*n**2 + n - 1. Let d be f(-2). Let a = m - d. Is a a multiple of 12?
True
Let q(t) = t - 1. Let p(l) = -l + 2. Let j(s) = 4*p(s) + 3*q(s). Is j(-7) a multiple of 12?
True
Suppose 2*u - 63 + 5 = 0. Suppose 2*w - 4*f = -18, 5*f - u = -2*w - 2*w. Is w*9*8/6 a multiple of 12?
True
Let h = -11 - -13. Let g be (1/2)/(1/78). Suppose h*v - 17 = g. Is v a multiple of 14?
True
Let n(b) = -b**3 + 7*b**2 + 16*b + 13. Let i be n(9). Is 3 a factor of 1/i - 760/(-50)?
True
Let g = -2 + 4. Suppose -g*r - 104 = -4*m, 7*m - 2*m - 141 = -3*r. Is m a multiple of 7?
False
Let m(z) = -z - 3. Let g be m(-6). Let n(c) = 2*c**2 - 6*c + 4. Let l be n(8). Suppose k + l = g*k. Is k a multiple of 19?
False
Suppose v = w + 5 - 0, 4*w + 20 = 5*v. Suppose v*m - 2*m = 0. Is 11 a factor of (m - 1)*(1 + -12)?
True
Let s(c) = 2*c**2 + 15*c. Does 10 divide s(-10)?
True
Let k = 60 - 10. Does 25 divide k?
True
Suppose 0 = -2*m - 2*z + 106, 0 = 3*z + 2*z + 5. Suppose m = 4*o - 58. Is 14 a factor of o?
True
Let o(n) = -n**2 - 5*n. Let g be o(-5). Suppose g = s + 3*s - 12. Suppose -s*q = -31 - 8. Is 4 a factor of q?
False
Let f(x) = 3*x**2 - 2*x - 2. Let c be f(2). Suppose w - c*k - 50 = -2*k, 85 = 3*w + k. Is w a multiple of 15?
True
Suppose 6*m + 2*k = 3*m + 3, -m = -4*k - 15. Let j(w) = 4*w - 1. Is 4 a factor of j(m)?
False
Let s = 3 - 0. Let k = 2 - s. Is (2 - (k - 9)) + 0 a multiple of 12?
True
Suppose 4*j - 2 = -2*u, 0*u - 6 = -2*u - 2*j. Let f(p) = -p**3 + 6*p**2 - p - 10. Is f(u) a multiple of 5?
True
Let k(z) = 4 + 3*z + z + 0*z - 2*z. Is 8 a factor of k(9)?
False
Suppose 0 = 2*x - 41 - 7. Is x a multiple of 24?
True
Let i = -13 - -18. Let z(u) = 2*u**2 - 5*u - 7. Does 9 divide z(i)?
True
Let z(x) be the first derivative of -13*x**2/2 - 1. Let f = 3 - 4. Is 7 a factor of z(f)?
False
Suppose 3*x - 18 = -3*v - x, -4*v + 11 = x. Let w(c) = 6*c**2 - 4*c + 2. Is 9 a factor of w(v)?
True
Let v = 122 + -84. Let r = -60 + v. Let p = r + 40. Is 18 a factor of p?
True
Let r(l) = l**2 + 2*l. Let b(o) be the first derivative of -o**3/3 - 4