(-20)). Let t be -2*2/(p*1). Is i(t) a multiple of 2?
True
Suppose 3*p + 0*p - 5*i - 22 = 0, -3*p + 3*i + 12 = 0. Is 14 a factor of 4 + (1 + p - -69)?
False
Suppose -4*w - 4*f = -3*f + 1, 2*w + 1 = -f. Suppose 4*d = -m - w*m + 146, -109 = -3*d - m. Is 11 a factor of d?
False
Let z(m) = -2*m**2 + 37*m + 14. Does 7 divide z(18)?
False
Let m(z) = 77*z**2 + 3*z + 1. Is 25 a factor of m(-1)?
True
Let r(z) = 9*z**3 + z**2 + z. Let m be r(-1). Let l be m*3/(-9)*1. Suppose -15 = -k + 3*q - 2*q, -l*k - q = -29. Is k a multiple of 7?
False
Let m(s) = 3*s**2 - 4*s - 9. Does 15 divide m(-3)?
True
Does 12 divide (0 + 1)/((-11)/(-660))?
True
Suppose 3*h - 18 + 3 = 0. Suppose -h*x + 242 - 27 = 0. Does 22 divide x?
False
Let z(h) = 2*h**2 - h - 8. Is z(4) a multiple of 5?
True
Let a(i) = -i**2 - 4*i + 3. Let y be a(2). Let h be (-3*1)/(y/15). Suppose 4*u - 20 = 0, 0 = -h*t + 6*u - 9*u + 185. Is t a multiple of 17?
True
Let h(l) = -l**2 - 2*l. Let r be h(-2). Suppose r = -4*t + 83 + 13. Suppose i - t = -i. Is i a multiple of 7?
False
Let v = -20 - -24. Suppose -2*a + 84 = 2*t, -2*t - v*a + 0 = -78. Does 15 divide t?
True
Suppose 4*s + 25 = -s, -390 = -5*y - 3*s. Does 27 divide y?
True
Let y be (-18)/(-5)*(4 + 1). Suppose 3*f + k + 17 = -0*k, 0 = -2*f - 2*k - y. Let p = f - -8. Does 4 divide p?
True
Is (-4 - -2 - -1)/(-1)*15 a multiple of 2?
False
Let f(y) = -41*y + 2. Let l = 25 + -26. Is 35 a factor of f(l)?
False
Let m(d) = -4*d - 4*d - 3*d + 2. Is m(-2) a multiple of 5?
False
Let k be 221 - 3/(-3 - -6). Suppose 0 = -4*w + k - 36. Does 17 divide w?
False
Suppose 81*j = 80*j + 138. Does 23 divide j?
True
Let t be -1*(2 - (-1 + 0)). Is 3 a factor of 10/t*6/(-4)?
False
Let r(v) be the first derivative of 5*v**2/2 + v - 1. Let d be r(4). Suppose 45 = 3*p - d. Is 10 a factor of p?
False
Let g(l) = 33*l**2 - 1. Let h(t) = t**2 + 8*t + 2. Let r be h(-8). Suppose k = -0*d - 3*d + 8, -r*d + 4*k = 18. Does 14 divide g(d)?
False
Suppose -s = 5*u + 21 + 5, 3*u + 14 = s. Let b(d) = 40*d**2 + 2*d + 1. Let c be b(s). Suppose 0 = -5*q + 21 + c. Is q a multiple of 12?
True
Let z(r) = -12*r - 4. Suppose -m = 3*v - 12 + 2, -26 = -5*v - 4*m. Let j be (-3)/(v - 5/4). Does 22 divide z(j)?
True
Suppose -2*w - 3*w = -160. Suppose b + w = 3*b. Is b a multiple of 6?
False
Let o(s) = -s + 4. Let p(k) = 4*k - 12. Let d(b) = 7*o(b) + 2*p(b). Let a be d(-7). Is 6 a factor of 14*a*(-1)/6?
False
Suppose -r + 3*d + 6 = 0, -4*d + d = -2*r + 12. Suppose -r*q - 12 = -4*p - 2*q, 5*p + 4*q = -3. Let x(l) = 16*l**3 - l + 1. Is 13 a factor of x(p)?
False
Let t(f) = 8*f**3 + 2*f**2 - f. Let y be t(1). Let m be (y/(-4))/(3/(-8)). Suppose 0 = -w + m*w - 120. Is w a multiple of 11?
False
Let t(y) = 2*y**3 + 5*y**2 + 4*y + 1. Let k be t(-3). Let i = -12 - k. Does 3 divide i?
False
Let f(j) = 31*j**2 - 1 + 43*j**2 + 20*j**2 + j. Let h be f(1). Suppose 2 + h = 2*o. Is o a multiple of 19?
False
Let b be 128/72 - 2/(-9). Suppose -15 = -b*i - 5*p, i - 5*p - 30 = -0*i. Is 5 a factor of i?
True
Suppose -4*v = 2*l + 64, -5*v - 79 = 5*l + 11. Let x be (-94)/v + 4/14. Suppose 0 = -s - 1 + x. Is s a multiple of 6?
True
Suppose -4*z + 9*z = -p + 235, 0 = -z + 3. Does 10 divide p?
True
Let b(s) = 4*s - 1. Suppose l - 2*l = -1. Let n be b(l). Suppose -2*r - n*r + 55 = 0. Is 4 a factor of r?
False
Suppose -74 - 236 = -5*z. Is 31 a factor of z?
True
Suppose 3*n - 26 = n. Is 8 a factor of n?
False
Let y(m) = 36*m - 2. Does 14 divide y(2)?
True
Let m(i) = -28*i + 10. Is 13 a factor of m(-8)?
True
Let n(h) = -35*h + 3. Let w be n(-3). Suppose -5*i + w = -2*i. Is i a multiple of 10?
False
Let g = 7 + -4. Let c(m) = m**3 - 3*m**2 + 4*m - 4. Does 4 divide c(g)?
True
Let r(g) = -g**2 + 22*g - 27. Is 5 a factor of r(20)?
False
Let f(v) = 3*v + 10. Is f(10) a multiple of 20?
True
Suppose -3*a = -5*a + 2. Let m(h) = 47*h**2 - h + 0 + a - h + 3*h. Is 12 a factor of m(-1)?
False
Let g(h) = 13*h - 2. Suppose -a = 4*k - 6*k - 2, 0 = k. Is g(a) a multiple of 12?
True
Let o(l) = l**2 + 1. Let i(h) = -3*h**2 - 3*h. Let w(d) = i(d) + 4*o(d). Let g be w(3). Let q(r) = 2*r**2 - 4*r + 6. Is q(g) a multiple of 11?
True
Let l(j) = -j**2 + 10*j - 2. Let f(r) = 2*r - 7. Let s be f(8). Is 2 a factor of l(s)?
False
Suppose 0 = -x + 2*x - 5. Is 12 a factor of 62/x + 30/(-75)?
True
Let s(i) = -i**2 - 8*i. Let q be s(-7). Let o = 10 - q. Suppose 3*r - 24 = -b + 3, 0 = -3*r + o*b + 27. Is 9 a factor of r?
True
Let i(g) = -19*g**2 + 4*g + 5. Let j(n) = 39*n**2 - 8*n - 11. Let m(q) = -5*i(q) - 2*j(q). Let b be m(-2). Suppose -4*w + b - 5 = 0. Does 17 divide w?
True
Suppose -2*c + 8 = 2*c. Is 7 a factor of 21 + (-1)/c*0?
True
Suppose 4*l - 29 = -2*c + 3*l, -3*c + 4*l = -60. Does 5 divide c?
False
Suppose -2*o + 10 = u, -u - 4*o - 14 = -8*o. Suppose -2*t - 4*b + 16 = b, u = -b. Is 13 a factor of t?
True
Let y(b) = b**2 - 19*b + 7. Is 21 a factor of y(26)?
True
Suppose -4*s = -5*r - s + 20, 0 = 3*r + 4*s - 12. Suppose 140 = 2*z - r*m, -z - 5*m + 306 = 3*z. Let i = z - 38. Is 13 a factor of i?
False
Suppose -77 = 2*c - c. Is 1/(-2)*(11 + c) a multiple of 11?
True
Suppose 4*d + 4*q + 388 = 0, 5*q = 5*d - 0*q + 515. Is 17 a factor of (-9)/(-6)*d/(-6)?
False
Let w(q) = -q**3 - 8*q**2 + 5. Let f be w(-8). Suppose -f*k + 64 = -k. Does 8 divide k?
True
Let c(j) = -j**2 - 23*j - 28. Let s be c(-22). Let q(o) = -3*o - 3. Let z be q(-2). Is (-140)/s - z/9 a multiple of 6?
False
Suppose 0 = -z - 5*g + 2, 0 = -3*z - g + 20 + 14. Is z a multiple of 12?
True
Suppose 5 = 3*c + 2. Let t be ((-20)/c)/((-4)/(-8)). Let g = 62 + t. Is g a multiple of 11?
True
Suppose 0 = j + 2*j - 6. Suppose 0 = -3*k - j*d - 4, -2*k - 2*d = 4. Suppose -5*m - y + 156 = 3*y, -4*m + 4*y + 132 = k. Is 19 a factor of m?
False
Is 5 a factor of (-4 - -2) + 0 + 7?
True
Let i = -9 - -35. Let m = i + -16. Does 4 divide m?
False
Let i(h) = h**3 + h**2 - 2. Let t(y) = 3*y**2 - y. Let m be t(1). Is i(m) a multiple of 4?
False
Suppose 0 = 3*g + 4*u - 118, -2*u + 4*u - 154 = -4*g. Suppose -4*k + g = -34. Is k a multiple of 18?
True
Suppose -2*r - 60 = 2*r + 5*t, -3*r - 45 = 3*t. Is 5 a factor of 6/(-15) + (-156)/r?
True
Suppose -3*d + 791 = 5*m, m + 2*d - d - 157 = 0. Does 40 divide m?
True
Let u(t) = -t**3 + 5*t**2 + 7*t - 6. Let c be u(6). Let s be 0 + (c - (-2 + 4)). Does 18 divide (26 - s) + 3 + -2?
False
Let v = -49 + 100. Is 17 a factor of v?
True
Let x(t) = t + 4. Let z be x(4). Suppose 5*q = 6*q - z. Does 5 divide q?
False
Suppose -476 = 18*m - 22*m. Does 20 divide m?
False
Let z(u) = -u**3 + 13*u**2 - 12*u + 12. Let k be (99/(-44))/((-3)/16). Does 7 divide z(k)?
False
Suppose -20*b + 108 = -17*b. Does 3 divide b?
True
Let s(x) = 4*x**2 + x - 6. Let j be s(3). Is j/(1/1) - 1 a multiple of 32?
True
Suppose -4 - 1 = -n. Suppose 12 = 3*r, h + 2*h = -n*r + 29. Is 3 a factor of h?
True
Suppose -2*r = -5*i + r + 492, 8 = -2*r. Suppose 2*o - i = -o. Let x = -7 + o. Is 11 a factor of x?
False
Let b(q) = q**2 - 5*q + 1. Let d be b(5). Let g(p) = 3*p**2 + p - 1. Let a be g(d). Suppose -z - 38 = -2*z - 3*i, a*z - 102 = 3*i. Is z a multiple of 13?
False
Let q be (2/(-6))/((-3)/18). Suppose -60 = -5*a + z, 12 = a + q*z + z. Suppose -a = -3*j + 57. Is j a multiple of 8?
False
Suppose -4*l - 2*o + 5*o - 3 = 0, 25 = 5*l + 2*o. Let d be (-20)/(-6) + (-1)/l. Suppose -6 = -d*j + 27. Does 11 divide j?
True
Let p(c) = 6*c**2 + 2*c + 15. Is 7 a factor of p(-3)?
True
Let l = 1 + -1. Suppose 0 = n + 2*b, l*n + 4 = 3*n + 4*b. Is 2 a factor of n?
True
Let i = -85 + 126. Suppose 4*c = -i - 291. Does 28 divide c/(-3) - (-5)/15?
True
Let z(h) = -h**3 + 9*h**2 - 7*h + 17. Does 10 divide z(7)?
False
Does 3 divide 102/5 + (-115)/(-25) + -5?
False
Suppose 3*b + 2*n = 802, -n = 2*b - 5*n - 556. Is b a multiple of 28?
False
Suppose 3*p + 4*l + 54 = 6*p, 5*p - 2*l = 76. Is 14 a factor of p?
True
Suppose 4*o = -11*o + 945. Is 9 a factor of o?
True
Is 46 a factor of 1/(6/16)*678/8?
False
Suppose 3*r = 8*r - 15. Let v(o) = 2*o**3 - 3*o**2 + 3*o + 4. Let c be v(r). Suppose -4*w - w + c = 0. Is w a multiple of 8?
True
Let y(w) = -w**3 + 12*w**2 - 27*w - 2. Is 8 a factor of y(8)?
False
Is -1*(-7*2 + 4) a multiple of 5?
True
Let i = 8 + -24. Let j = i + 24. Is 2 a factor of j?
True
Suppose 4*l - 40 = -0*l. Is 5 a factor of l?
True
Le