
False
Let h(x) = 7*x**3 - 3*x**2 + 3*x - 3. Let s be h(2). Suppose 9 = 3*u - 3, 3*y - 1 = -4*u. Let z = y + s. Is z a multiple of 18?
False
Let g(p) = -20*p - 13. Let m(i) = 21*i + 12. Let d(s) = 4*g(s) + 5*m(s). Let j be d(6). Is 16 a factor of 2/(-4) - j/(-4)?
False
Let b = -22 + 44. Let x = b - 12. Is x a multiple of 3?
False
Suppose 0 = -21*q + 24*q - 846. Does 47 divide q?
True
Is 6 a factor of 10 + -1 + (7 - 3)?
False
Suppose -f - 2*t + 16 = 2*t, f - 3*t - 2 = 0. Suppose 3*i - 2*i = f. Suppose -i*j - 12 = -o - 4*j, 5*o - 114 = 2*j. Is 12 a factor of o?
True
Is 124/(-6)*(-7 + 20/5) a multiple of 31?
True
Suppose 2*u = -12 + 56. Is u a multiple of 9?
False
Suppose 0 = 3*r + 4*g - 52 - 76, -r = 2*g - 40. Is 6 a factor of r?
True
Let y = 28 - -12. Is 34 a factor of y?
False
Let m be (-4)/(-14) - 8/28. Suppose m*t = -2*t + 46. Does 13 divide t?
False
Let c(q) = 3*q**3 + 2*q + 4. Is 23 a factor of c(4)?
False
Suppose -3*s = 5*q - 40, 5*s - 35 = -3*q - 11. Is (18/q)/(15/40) a multiple of 2?
True
Let g(i) be the second derivative of -i**4/6 + i**3/3 + 75*i**2/2 - 3*i. Let p(q) = 3*q**2 - 3*q - 112. Let d(a) = -7*g(a) - 5*p(a). Is d(0) a multiple of 16?
False
Suppose 0 = 6*w - 10*w - 256. Is 28 a factor of (w/20)/(4/(-70))?
True
Let g(w) = 4*w**2 + 14*w - 4. Is 14 a factor of g(6)?
True
Let i = -3 + 1. Let o be (2/i)/(1 - 2). Does 13 divide o/(-1) - 3*-9?
True
Suppose -t - 4*i + i + 8 = 0, -2 = i. Does 5 divide t?
False
Let i = 3 - 3. Let m = 8 + -4. Suppose y + m*v = 38, 2*y + 4*v = -i*y + 64. Is y a multiple of 13?
True
Let g(a) = a**3 - 3*a**2 + 6*a - 1. Is 14 a factor of g(3)?
False
Suppose -g + 4 = g. Suppose 4*s + q - 28 = 0, -s = -2*s + q + g. Is 17 a factor of (10/s)/(8/216)?
False
Let t be 2*22/8*-6. Let a = 15 - t. Is 24 a factor of a?
True
Suppose -7*s + 10 = -2*s. Suppose 3*q - s*g - 46 + 14 = 0, -55 = -5*q + 3*g. Does 8 divide q?
False
Suppose -3*r + r = w - 21, -3*w + 3*r = -72. Let b = w - 6. Is 9 a factor of b?
False
Suppose -325 = -7*g + 368. Does 33 divide g?
True
Let p(y) = 5*y**2 - 2*y - 1. Let w be p(2). Let h be 3/(-4) - w/(-4). Suppose -16 - 14 = -h*r. Is 10 a factor of r?
True
Let p(c) = -c + 1. Let g(n) = -3*n - 4. Let l(v) = -g(v) + 5*p(v). Let q be l(9). Is 2*3/q*-3 even?
True
Is 35 a factor of 1 - 349/(-2) - (-6)/12?
False
Suppose -3*w + 6*w + 27 = 0. Let f = w + 15. Let j = 14 - f. Does 8 divide j?
True
Suppose -7*r + 3*r + 79 = -5*g, -4*g + 3*r = 63. Suppose 0 = -4*n - 2*w - 92, w + 4*w - 95 = 3*n. Let a = g - n. Is a a multiple of 5?
True
Let l(p) = -p**2 - p. Let d be l(-2). Is (20 - (1 - -1)) + d a multiple of 8?
True
Let t(z) = 4*z**3 - 3*z**2. Let x be t(2). Suppose 6 + x = 2*i. Is i a multiple of 9?
False
Suppose b - 51 = 2*z, 0 = -2*z - 2*b + 4*b - 50. Is 11 a factor of 2 + -5 + 1 - z?
False
Suppose -5*q + 26 = -44. Let u = q - 2. Is u a multiple of 12?
True
Let m(j) = 5*j**2 + 11*j - 3. Let p(l) = 6*l**2 + 12*l - 4. Let d(y) = 4*m(y) - 3*p(y). Does 12 divide d(-6)?
True
Suppose -174 = d + 2*d. Let x = 81 + d. Is 21 a factor of x?
False
Suppose -4*g + 48 = -x - 5, -39 = -2*g + 3*x. Is g a multiple of 12?
True
Is 46 a factor of (-90)/21*(2 - 37/1)?
False
Suppose -6 = -3*w + 18. Is w a multiple of 4?
True
Let u be (-8)/16*(-132 - 0). Suppose u = 2*i - 54. Is 22 a factor of i?
False
Let m(j) be the first derivative of j**2/2 + 2*j + 2. Let u be m(-3). Is 93/(3 - 0) - u a multiple of 13?
False
Is 12/8*668/6 + 3 a multiple of 34?
True
Suppose -26 = -3*q + 79. Let w(l) = 14*l. Let g be w(5). Let i = g - q. Is 15 a factor of i?
False
Let i(q) = q**3 + 8*q**2 + q - 5. Does 37 divide i(-7)?
True
Let u = 20 - -8. Does 11 divide u?
False
Let o(w) = 3*w + 4. Let k = 17 + -13. Does 8 divide o(k)?
True
Let u = 8 - 0. Let h = u + -6. Suppose 0*t - 24 = -h*t. Is t a multiple of 10?
False
Suppose -x + 3*z = -0*x - 89, 5*x + 5*z = 445. Is 26 a factor of x?
False
Suppose 0 = -2*v + 5 + 7. Let r = 10 - v. Does 3 divide (-13)/(-2) + (-2)/r?
True
Suppose 0 = 30*q - 33*q + 630. Is q a multiple of 35?
True
Let w(b) = -b**3 - 2*b**2 - b - 1. Let v be w(-2). Is 3 - v*(-34 - -1) a multiple of 12?
True
Let g be ((-6)/12)/((-1)/22). Let c(p) = -p**3 + 11*p**2 + p - 2. Is 2 a factor of c(g)?
False
Suppose 0 = 2*l - 0*l. Let q(h) = -h**3 - h**2 + h + 11. Is q(l) a multiple of 3?
False
Suppose -9*i + 99 = -369. Is i a multiple of 34?
False
Suppose 5*z - 2*z - 165 = 0. Is 7 a factor of z?
False
Does 33 divide ((-165)/12)/(1*1/(-12))?
True
Suppose 2*p - 83 = 37. Does 23 divide (12/5)/(3/p)?
False
Does 7 divide (-61)/(-2) - (-13)/26?
False
Let a(r) = 3*r. Let t = 4 + 0. Does 11 divide a(t)?
False
Suppose 4*m + 11 = k - 3, 2*k = 3*m + 13. Suppose 3*p - z + k*z - 149 = 0, -2 = -z. Is p a multiple of 17?
False
Suppose 1 = k - 0*k, 4*u = 4*k + 100. Does 13 divide u?
True
Suppose -3*n - 1 = 2. Let v be 23 + (n - (2 - 4)). Suppose r - 24 = v. Is r a multiple of 15?
False
Suppose -2*k = -4*k. Suppose -2*y + 3*y - 22 = k. Let w = -16 + y. Does 3 divide w?
True
Suppose 3*c = 11 - 2. Suppose 0*k + 6 = c*k. Suppose -p - 2*t + 24 = 0, 4*t + 29 - 5 = k*p. Does 12 divide p?
False
Suppose -36 = -c - 4. Is c a multiple of 16?
True
Let a(g) be the first derivative of -3*g**4/4 - 2*g**3/3 - g**2 - g - 1. Let y be a(-1). Suppose 0 = -k - 4, 4*k - y = u - 28. Is u a multiple of 9?
False
Let t(y) = 17*y**2 + 2*y - 4. Is 17 a factor of t(2)?
True
Let x(s) = -s**2 + 4*s + 1. Let i(a) = -a**2 + 3*a. Let l(g) = -3*i(g) + 2*x(g). Let o be l(-2). Let u = o + 3. Does 11 divide u?
True
Let r = -6 + 11. Let q(s) = s**3 + 8*s**2 + 4*s + 5. Let t be q(-7). Suppose -g + z = -z - t, -2*g + 49 = -r*z. Is 18 a factor of g?
False
Let d = 12 + 21. Let j = -18 + d. Suppose -3*q + j + 66 = 0. Does 9 divide q?
True
Suppose 3*h - 2*q - 1319 = 0, -4*h - 3*q - q + 1772 = 0. Suppose -h = -r - 2*r. Suppose 5*s - r = s + 5*y, 2*y = s - 36. Is s a multiple of 19?
True
Let r(v) be the first derivative of 3*v**2/2 - 3. Suppose -20 = 2*m - 7*m. Does 4 divide r(m)?
True
Suppose -3*d - 5 + 2 = 0, -3*p - 31 = 4*d. Let r(n) = n**2 + 9*n - 1. Let k be r(p). Let v(o) = 15*o**2 + 2*o + 1. Is 7 a factor of v(k)?
True
Let i be 0 + 2 - (-4)/(-2). Let j be (-1 - (i + -1))*-1. Let y = j + 12. Is y a multiple of 12?
True
Suppose -2*b = -4, -3*x - 4*b + 9 = -8. Suppose q - x*g = -4*q + 192, -4*g = -5*q + 191. Is 13 a factor of q?
True
Let v be 1 + -2 + (-1 - -7). Suppose 4*m = -v*i + 49, 3*m - 15 - 22 = -4*i. Is 11 a factor of m?
True
Suppose 3*f = -25 + 79. Let c = f + -2. Is 16 a factor of c?
True
Let z = -14 + 27. Does 7 divide z?
False
Suppose 1 = b + g - 1, 16 = 3*b + 5*g. Is (-6)/5*140/b a multiple of 28?
True
Let g be ((-14)/(-4))/((-1)/(-6)). Let j(l) = 4*l - 1. Let n be j(1). Suppose -n*w - g = -6*w. Does 7 divide w?
True
Suppose -o - 3 = -7. Is 13 a factor of (-1 + o)/(2/26)?
True
Let d(l) be the second derivative of l**4/12 - l**3/3 + 3*l**2/2 - 3*l. Is d(7) a multiple of 19?
True
Suppose 5*i - 308 = 37. Does 23 divide i?
True
Let y(m) = -2*m + 1. Let u be y(-1). Let t(x) = x**2 + 11*x + 13. Let p be t(-10). Suppose 0 = -s + u*a + 5, 5 = a + p. Is 6 a factor of s?
False
Suppose q - 3*u + 27 = 0, 2*u + 4 = -5*q - 80. Does 16 divide ((-12)/5)/(q/120)?
True
Does 16 divide (-24)/(((-20)/8)/5)?
True
Let u = -103 - -117. Is u a multiple of 7?
True
Suppose -2*x + 3*r + 43 = 0, 0*r = -r - 1. Is x a multiple of 5?
True
Let l(z) = 6*z**2 + 30*z + 35. Let q(x) = -x**2 - 6*x - 7. Let o(g) = 2*l(g) + 11*q(g). Let h be o(7). Suppose 4*y - y - 51 = h. Is y a multiple of 10?
False
Let v(z) be the third derivative of -z**6/120 - z**5/20 + z**4/24 - 4*z**2. Let n be (1/(-2))/(2/16). Is 12 a factor of v(n)?
True
Let y(j) = -j**3 + 6*j**2 - 5*j + 2. Let s be y(5). Suppose n + s*n = 60. Is 20 a factor of n?
True
Let d be -1*(3 - (-6)/3). Let h = 13 - d. Suppose -h = -5*b + 3*z, -z = b - 5*z - 7. Is b a multiple of 3?
True
Suppose -419 + 14 = -5*f. Does 10 divide (-1)/(-1*3/f)?
False
Let r(u) = u**2 + u - 1. Let v be r(-3). Suppose 0 = -3*s + 130 + v. Is s a multiple of 10?
False
Let c be (-1)/(-7) - 222/(-14). Is 3 a factor of (21/2)/(12/c)?
False
Let p(u) = -2*u**2 - 7*u - 11. Let v(r) = -6*r**2 - 20*r - 34. Let n(k) = 7*p(k) - 2*v(k). Let g be n(-7). Let l = 68 + g. Is 18 a factor of l?
False
Let q(w) = 2*w**2