 factor of c?
True
Let o = 93 - 55. Is 19 a factor of o?
True
Suppose 0 = 4*z - 401 + 101. Is 4 a factor of z?
False
Let j = 0 - 2. Let q = 0 - j. Suppose 4*r - 82 = -q. Is r a multiple of 8?
False
Let q(y) = 4*y**2 - 2*y + 2. Does 11 divide q(-3)?
True
Let c be (-16)/(-6) - (-6)/(-9). Let f be 1/1*1 - -4. Is 14 a factor of (-4)/f*(-95)/c?
False
Suppose -3*v = -0*v + 3*k - 147, 0 = 3*k. Is 20 a factor of v?
False
Let z be 2*(-4)/((-16)/10). Suppose -5*u + 33 = 5*d + 3, -u - z*d = -10. Suppose 5*i - u*b - 155 = 0, -2*i + 47 + 20 = -3*b. Does 11 divide i?
False
Is 31 a factor of 14079/91 + (-4)/(-14)?
True
Let p = -2 - -2. Suppose p = -t - 4*m, -3*t + m + 20 = 7. Does 8 divide 60/21*14/t?
False
Suppose 18 = f + 4*g, 5*f - 4*f - 2*g = -12. Let y(d) = 3*d**2 + d + 2. Let l be y(f). Suppose 3*r = -2*x + l, -4*x + 3*x - 3 = 0. Is 3 a factor of r?
True
Let t = 10 - 11. Is 14 a factor of -2*((-146)/4 - t)?
False
Suppose -i = -5*z - 64, -4*z + 8*z + 256 = 4*i. Is 8 a factor of i?
True
Let n(d) = -7*d + 4. Is n(-3) a multiple of 25?
True
Suppose -10 = -r - 4*x, -4*x + 28 = -5*r + 78. Let o = r + -7. Does 15 divide 16 - -1*(-1 + o)?
False
Let q(j) = -4*j + 2. Is q(-5) a multiple of 11?
True
Let o(s) = -17*s - 5. Suppose -2*a = -a + 7. Let x be o(a). Suppose 2*m - x = -m. Is m a multiple of 20?
False
Suppose -2*l = 5*g - 16, -4*l - 28 = 2*g - 7*g. Let r(u) = 9*u + 4. Is 20 a factor of r(g)?
True
Suppose 2*h - 56 = -2*c + 3*c, 0 = 5*h + 4*c - 140. Is h a multiple of 17?
False
Suppose -2*x - x + 60 = 0. Does 10 divide x?
True
Let t(v) = -9*v**3 - 3*v**2 - v + 3. Let a(c) = 4*c**3 + c**2 - 2. Let x(b) = 5*a(b) + 2*t(b). Let f be x(4). Suppose -5 = -5*o + f. Does 12 divide o?
False
Let t = 40 + 49. Is 9 a factor of t?
False
Suppose 0 = -5*c + i + 377, -4*c - i + 413 = 115. Is 7 a factor of c?
False
Suppose 3*s = -141 + 444. Let t be (-1 - 0)*-1*s. Suppose 3*v + 3*f = t + 25, 2*f + 106 = 3*v. Does 16 divide v?
False
Suppose -30 - 5 = -h. Is h a multiple of 6?
False
Suppose -s - 4*x + 119 = 0, -4*s - 5*x - 102 = -622. Does 9 divide s?
True
Let t = -28 - -23. Does 13 divide ((-21)/t)/(1/5)?
False
Let j be 10/15 + (-608)/(-6). Suppose j = 3*z - 0*z. Is z a multiple of 17?
True
Let r(k) = -2*k - 4. Let h be r(-10). Suppose -d = -198 - h. Suppose 38 - d = -4*s. Does 22 divide s?
True
Suppose 4*u + u - 230 = 0. Is 17 a factor of u?
False
Let p be (-2)/(-10) - 18/(-10). Suppose 3 + 25 = p*n. Is n a multiple of 11?
False
Let r be (-72)/(-32)*24/1. Suppose 3*w - 4*w + r = 0. Is w a multiple of 28?
False
Suppose -9*w + 2261 + 115 = 0. Is 27 a factor of w?
False
Suppose 2*l - 16 = -4*v + 16, -38 = -4*l + 5*v. Suppose m + 12 = 5*m - 4*a, 5*a = -4*m + l. Is 48 - -3*m/3 a multiple of 26?
False
Let i(l) = -14*l - 8. Let h = -21 - -17. Is i(h) a multiple of 16?
True
Let k(f) be the first derivative of -f**4/8 - f**3/2 - f**2 + 1. Let m(h) be the second derivative of k(h). Is 3 a factor of m(-2)?
True
Let x(y) be the first derivative of y**4/4 + y**3/3 + y**2/2 + 2. Let z(h) = h**3 + 8*h**2 + 8*h - 4. Let k(d) = 3*x(d) - z(d). Is k(4) a multiple of 16?
True
Suppose 3*r + r = 184. Suppose 2*w = 98 + r. Is w a multiple of 24?
True
Suppose -4*a - 120 = -7*a. Does 20 divide a?
True
Suppose -t - 98 = -4*t + b, -t = 5*b - 38. Is 2 a factor of t?
False
Suppose -o + 230 = 4*o. Does 4 divide o?
False
Suppose b + 166 = 3*s, -2*s + 3*s = 4*b + 48. Let c = -38 + s. Does 18 divide c?
True
Suppose 5*k + 0*d = d + 29, 0 = -5*k - 2*d + 17. Suppose 10 - 40 = -k*x. Does 3 divide x?
True
Suppose d = -3*x - 12, 4*x = -5*d - 4 - 1. Suppose -4*v = -u - 166, d*v + 4*u + 15 = 149. Does 15 divide v?
False
Let t(p) = -22*p**3 + p**2 + 3*p + 6. Does 20 divide t(-2)?
True
Suppose 0 = 5*h - 42 + 12. Suppose h*d = d - 10. Is 20 a factor of (44 - d) + -2 - -1?
False
Suppose -3*k = 6*d - 5*d - 19, -2*k = 3*d - 15. Is k a multiple of 6?
True
Let x = 53 + -5. Is 9 a factor of x?
False
Let n(m) = m**3 - 16*m**2 + m - 21. Let i be n(16). Let t = 10 - i. Does 15 divide t?
True
Let c(z) = z**2 - 4*z + 6. Let n be c(4). Let q(f) = f - 2. Does 4 divide q(n)?
True
Is 12 a factor of (8 - 2)/6 - -203?
True
Let f = -4 + 5. Does 2 divide ((f - 13)/(-2))/2?
False
Let g be (8/(-28))/((-1)/7). Suppose -w + 4*x + 10 + 9 = 0, 2*x = 5*w - 41. Suppose -w*f + g*f = -130. Is f a multiple of 13?
True
Let o = 17 + -31. Let k = 0 - o. Is 9 a factor of k - (1 + -2 + 2)?
False
Let k(f) = -10*f**3 + 4*f + 3. Is 25 a factor of k(-2)?
True
Let q = 12 - 4. Let c(u) = u**2 - 5*u. Is 6 a factor of c(q)?
True
Let f(z) = 60*z**2 - 14*z + 24. Let p(v) = 5*v - 2*v - 5 + 0*v + 0*v - 12*v**2. Let b(d) = 3*f(d) + 14*p(d). Is 20 a factor of b(2)?
False
Suppose p + 13 = 49. Suppose 3*s = 2*d - p, 2*d = 4*s + 35 - 3. Is 6 a factor of d?
True
Let z(n) = n**2 + 12*n - 3. Let q be z(-12). Let y(h) = 3*h + 3. Let j be y(-3). Is 5 a factor of (22/4)/(q/j)?
False
Let q(j) = j + 11. Let t be q(-9). Suppose -7*u = -t*u - 55. Is u a multiple of 5?
False
Suppose 0 = -m + 5, 6*q - 4*q + 25 = 5*m. Suppose -3*r - r + 12 = q. Is r a multiple of 2?
False
Suppose -4*b = b - 650. Is b a multiple of 26?
True
Suppose -14*y + 0*y + 1414 = 0. Is y a multiple of 11?
False
Let t(g) = 2*g**3 - 7*g**2 + 8*g - 17. Is t(5) a multiple of 7?
True
Suppose -5*v + 4*v - 2*f + 3 = 0, 5*v - 15 = 2*f. Suppose 5*a + 2*c - 12 = a, 0 = 5*a + v*c - 13. Suppose a*h - 11 = 4*h. Is h a multiple of 9?
False
Suppose -2*q = 3*n - 2*n - 2, 0 = -2*q + n - 6. Let i(l) = -l**2 + 6*l - 2. Let z be i(6). Does 7 divide q/z - (-234)/12?
False
Let r = 3 - -17. Let b = r - 10. Is b a multiple of 5?
True
Suppose -2*a = 2*m - 266, 0 = -5*a + 3*m + 107 + 550. Does 22 divide a?
True
Suppose -42*l + 41*l = -358. Is 51 a factor of l?
False
Suppose g - 40 = -4*b - b, -3*g + 176 = b. Does 5 divide g?
True
Let t(j) be the second derivative of -j**4/12 + 13*j**3/6 - 3*j**2 - 4*j. Does 6 divide t(12)?
True
Let h = 27 + -11. Does 16 divide h?
True
Suppose i = 5 + 1. Let r = -2 + 6. Suppose 2*n = r + i. Does 3 divide n?
False
Is 9 a factor of 12/16*4 + 60?
True
Let m be (-4)/(-2) + 2 + 0. Suppose -153 = -m*b + 175. Suppose -14 = 5*l + 4*n - 123, -4*l + b = -2*n. Does 14 divide l?
False
Let u(h) = 13*h**2 - 4. Does 8 divide u(2)?
True
Let x(o) = 2*o. Let d be x(-1). Let l be 0 - (-2)/(-4)*d. Suppose 11 = 3*p - l. Is p a multiple of 3?
False
Suppose 2*k = k. Suppose k = 4*w - 6 - 2. Suppose -s - w*q + 7*q = 1, s + 3*q = 39. Is 8 a factor of s?
True
Let y = -4 - 6. Does 4 divide (3 - (y - 1))/2?
False
Suppose 4*h - 3*g - 490 = -g, -5*h = -5*g - 615. Is h a multiple of 14?
False
Let t(y) = -y + 3. Let o be t(0). Let l = o + -1. Suppose -l*k + j + 3*j = -46, 0 = -2*j - 2. Is k a multiple of 8?
False
Suppose -2*b - 2*b - 119 = -n, 5*b - 186 = -2*n. Is 22 a factor of n?
False
Let b(c) = -11*c - 7. Is 24 a factor of b(-5)?
True
Suppose 4*z - 3*z - 10 = 0. Let d(l) = l**2 - 11*l - 5. Let v be d(z). Let a = v - -32. Is 17 a factor of a?
True
Suppose -m - 5*k = -0*k - 2, 5*m - 32 = -3*k. Does 11 divide 0 - -16 - 0/m?
False
Let p = 27 + 0. Let q = p - 12. Is q a multiple of 3?
True
Let a(q) = 7*q**3 - 3*q**2 + 2*q - 5. Let w(o) = -6*o**3 + 3*o**2 - o + 4. Let c(i) = -5*a(i) - 6*w(i). Let s be c(4). Let z = s + 3. Does 3 divide z?
False
Suppose 4*v = -5*r + 118 + 112, -v - 138 = -3*r. Let f = r + 9. Is 19 a factor of f?
False
Let o = 0 + 2. Suppose 3*j - 34 = -5*y, -o*j = -2*y - 5 - 7. Is 9 a factor of 18/4*j/4?
True
Let s be ((-6)/3)/(-1 - -3). Let b = 14 - s. Is 15 a factor of b?
True
Let q = -212 - -305. Suppose -k = -4*m + q - 9, -3*m = -3*k - 72. Suppose -4*w + 2*a = -170, 2*w - 2*a = m + 60. Is w a multiple of 15?
True
Suppose -105 = -4*y - y. Is 13 a factor of (-1*y)/3*-3?
False
Suppose 18 = a - 3*l, -6*a + 2*a = 5*l - 72. Suppose a = 2*r + r. Is r a multiple of 5?
False
Let m(j) = j**3 + 6*j**2 + 6*j + 6. Is m(-3) a multiple of 3?
True
Let b be (-18)/15*(-10)/4. Suppose 48 = -t + b*t. Does 12 divide t?
True
Is 357/(-14)*20/(-6) a multiple of 17?
True
Suppose 0 = -0*j - 3*j + 30. Let a(u) = -39*u + 0 + 81*u + 1 - 38*u. Does 17 divide a(j)?
False
Suppose 2*n - 4*n = -8. Let v = n - -16. Is v a multiple of 10?
True
Let c = 121 + -84. Let j = c - 20. Does 9 divide j?
False
Suppose -4*h + 3*h = -49. Is 23 a factor of h?
F