 q(u) = u**2 - 4*u + 1. Let j be q(3). Let p be 0/(j + 2 + 1). Is (4 - p)*30/6 a multiple of 18?
False
Suppose j + 2*o + 42 = 150, 0 = -4*o + 8. Is 15 a factor of j?
False
Suppose 5*r - 2*t - 46 = 0, -2*r + 12 = r + 4*t. Suppose -k - 1 + r = 0. Is k a multiple of 7?
True
Let y(k) = -5*k - 7 + k + k - 18. Does 5 divide y(-10)?
True
Let g(j) = j**3 - 2*j**2 - 4*j - 7. Does 13 divide g(5)?
False
Let y = 3 - -7. Does 3 divide y?
False
Let o(f) = 9*f - 8. Let g be o(4). Suppose -3*t - 28 = -2*j - 4*t, 4*t = -2*j + g. Is j a multiple of 4?
False
Let r(o) = o**2 - o + 4. Does 12 divide r(-7)?
True
Suppose -5*v = 4*h - 208, 3*v - 156 = -h - 2*h. Suppose -4*r = -4*o - 24, -3*r - 5*o + h = 2. Suppose 0 = z - 3*k - 25, 13 = z - k - r. Is z a multiple of 10?
False
Suppose 19 = 2*j + 111. Let c = -69 - j. Let f = c + 53. Is f a multiple of 15?
True
Let f(q) = 7*q**3 + 1. Let d be f(-1). Suppose 0 = -i + 4*o + 10, -5*i + o - 5 = -i. Let g = i - d. Does 3 divide g?
False
Let y(f) = -f**3 - 5*f**2 + 10*f + 8. Is y(-8) a multiple of 13?
False
Let h(g) = -g - 2. Let f be h(-2). Let k be 1 + 0 + -3 + 4. Suppose -5*d - 25 = f, -4*v - v + 105 = -k*d. Is 16 a factor of v?
False
Suppose -2*u = 3*c - 7*c - 32, -5*u = -2*c - 104. Suppose -3*w + 2*b + 14 = -u, 5*w - 67 = b. Is 5 a factor of w?
False
Suppose -45*b = -43*b - 60. Is b a multiple of 6?
True
Is (14 + -5)*(3 - 2) a multiple of 5?
False
Let y(a) = a**2 + 5*a + 5. Let w be y(-4). Suppose 2*f = -w - 3. Is 7 a factor of 18 - (1 - -1)/f?
False
Let p(v) be the second derivative of 0 - 1/2*v**2 + 5/3*v**3 + 2*v. Is 4 a factor of p(1)?
False
Is 2482/16 - (-5)/(-40) a multiple of 34?
False
Let o(g) = 5*g**2 - 7*g - 3. Is 21 a factor of o(-3)?
True
Suppose -2*r + 4 = -0*r. Suppose 4*k + 4*p - 92 = 0, 4*k + r*p = k + 72. Is k a multiple of 13?
True
Suppose 3*h + 2*r = 6*r - 5, 2*h = -r + 15. Is ((-8)/(-5))/(2/h) a multiple of 4?
True
Let h = 21 + -47. Let z = -17 - h. Does 16 divide (-2)/z + (-146)/(-9)?
True
Let b(n) = -11*n - 2 + 3 - 30*n. Is b(-1) a multiple of 14?
True
Let i = -8 - -9. Let v be 2/(-2 - 2)*6. Let z = i - v. Is z a multiple of 4?
True
Suppose -2*a - 10 = -4*a. Let n(x) = -2*x**2 + 8*x - 7. Let t be n(a). Let c = t + 36. Does 8 divide c?
False
Suppose 3*w - x - 1 = 1, 0 = 3*w - 4*x - 8. Suppose 7*n - 2*n - 105 = -q, w = -3*q - 15. Is n a multiple of 7?
False
Suppose -6*j + 45 = -3*j. Suppose 0 = -4*p - 2*p. Suppose -z = -p - j. Does 6 divide z?
False
Suppose 0 = 3*w - 98 - 103. Is 37 a factor of w?
False
Let m = -73 - -77. Does 3 divide m?
False
Suppose a = 3*f - 0*f + 33, 5*a - 141 = 3*f. Does 9 divide a?
True
Let m(p) = -p**2 - 7*p + 8. Let z be m(-8). Let y be 7 - (2 - (z + 0)). Suppose 0*q = y*q - 15. Is 3 a factor of q?
True
Let n(c) = -c + 2. Let d be n(-4). Suppose o - 3*j = d*o - 145, 4*o + 5*j - 103 = 0. Does 16 divide o?
True
Suppose 5*m - 20 - 10 = 0. Let n = -12 - -15. Suppose 24 = m*l - n*l. Does 3 divide l?
False
Suppose -2*a - 2*o = 0, -2*a - 4*o - 4 = 4. Suppose 5*g - 24 = a*z - 61, g - 1 = -2*z. Let r(x) = 2*x**2 - x. Is r(z) a multiple of 5?
True
Let u(i) = -5*i**3 - 3*i**2 + 2. Is 7 a factor of u(-2)?
False
Does 31 divide (-624)/(-10) - 26/65?
True
Let p = 111 + -48. Is p a multiple of 21?
True
Does 16 divide (5/5)/(3/48)?
True
Let o(j) be the first derivative of -j**2/2 + 6*j + 2. Let k be o(5). Suppose 2*w = -4*c + 52, -c + k = 5*w + 6. Is c a multiple of 8?
False
Suppose -p + 15 + 13 = -5*a, -4*p + 136 = 4*a. Is 6 a factor of p?
False
Let v be 32/3 - (-5)/15. Let y = -5 + v. Is 3 a factor of y?
True
Let j = 148 - 58. Suppose l - 4*q - 10 - 29 = 0, 3*l = 3*q + j. Let v = l + -15. Is 12 a factor of v?
True
Suppose 2*k - 3*k = 0. Let h = 198 - 133. Suppose h = 5*o - k. Is 13 a factor of o?
True
Suppose n - 22 = -3*r, -n + 9 + 5 = r. Suppose b = -3 + n. Is b a multiple of 7?
True
Is (-3)/6 - (-428)/8 a multiple of 31?
False
Let o = 85 + -39. Does 23 divide o?
True
Suppose -c + 10 = -2*c. Does 10 divide (c/(-3))/(2/12)?
True
Let c(k) = 36*k. Let d(n) = n**2 - 5*n + 7. Let q be d(3). Is c(q) a multiple of 9?
True
Let v = 10 + -64. Let g = v - -94. Is 10 a factor of g?
True
Suppose 0 = -3*z - 0*z. Let d(p) = p**2 + 7. Is 3 a factor of d(z)?
False
Let v = 97 - 6. Does 17 divide v?
False
Let l(x) = -78*x**2 - x - 1. Let r be l(-1). Is 9 a factor of (r/30)/(1/(-5))?
False
Let g be (-10)/(-4) + (-4)/8. Suppose 0 = 2*k + q + 4*q - 38, g*k = 5*q + 38. Is k a multiple of 17?
False
Suppose -i - 10 + 66 = 0. Suppose 3*a = -a + i. Is a a multiple of 4?
False
Let m(z) = z + 3. Let r be m(5). Let n(b) = 2 - b**3 + 6*b**2 - 6*b + 0 + 3*b**2. Is n(r) a multiple of 13?
False
Suppose 0 = 6*s - 5*s - 33. Is s a multiple of 16?
False
Let t = 110 - 61. Suppose -5*u + 2*q + 331 - t = 0, -4 = -q. Does 29 divide u?
True
Let u(i) = -161*i**2 - 2*i - 1. Let t be u(-1). Let y = -89 - t. Suppose -3*m + y = -16. Is m a multiple of 14?
False
Let o be (2 - -10)/2 + -2. Suppose -o*h + 3*l + 108 = 0, -h - 3*l + 72 = h. Is 10 a factor of h?
True
Let s(d) be the third derivative of d**6/3 + d**5/60 - d**4/24 + d**3/6 + 2*d**2. Let o be (6 - 4)*(-2)/(-4). Is 18 a factor of s(o)?
False
Suppose -7*u + 13*u - 390 = 0. Is 10 a factor of u?
False
Suppose 300 = 3*g - 0*t + 2*t, 100 = g - 2*t. Is 33 a factor of g?
False
Let i(j) = 5*j**2 - 2*j + 2. Is 24 a factor of i(4)?
False
Let t(q) = -11*q - 3. Does 19 divide t(-9)?
False
Suppose 5*d - 14 = 11. Suppose 2*r + 2*x - 14 = r, -15 = -d*x. Suppose 2*z - 22 - r = 0. Is 15 a factor of z?
True
Suppose -350 = -5*w + 2*d, -d = -2*w + d + 140. Suppose 2*c + 3*c = w. Is 11 a factor of c?
False
Let j(p) = -p + 3. Let f be j(5). Is f - (-9 + (-2)/(-2)) a multiple of 5?
False
Let i be 2/(-1)*(-3)/2. Suppose -2*v + 2*h + 0*h = -4, -4 = -i*v + 5*h. Suppose 21 = v*u - 33. Is 8 a factor of u?
False
Suppose -2*o = 4, -k - 4*o = -31 - 25. Suppose 3*m - 5*m + k = 0. Does 16 divide m?
True
Suppose 5*q - 3*o = 2*o - 15, 3*o = -2*q - 1. Is (3/q)/((-6)/84) a multiple of 12?
False
Suppose -j + 102 = 2*j. Suppose -2*v + 100 - j = 2*m, -4*v - 148 = -4*m. Is m a multiple of 22?
False
Let b be -1*2 - (2 + -4). Suppose b = -g + 2*g - 85. Suppose 310 = 5*r + g. Is r a multiple of 18?
False
Let m(p) = p**2 + p + 120. Let l be m(0). Suppose 2*x = 2*w + 60, 3*w - l = -4*x + w. Suppose 5*y - y = -3*j + 6, x = 3*j - 4*y. Is j a multiple of 3?
True
Let b = 124 + -10. Is b a multiple of 19?
True
Suppose 14*o = 9*o + 85. Is o + 12/(-3) + 4 a multiple of 12?
False
Does 3 divide (2 + 5)*2 + 1?
True
Suppose -8*v + 3*v + 155 = 0. Let i = 82 - v. Does 15 divide i?
False
Suppose 4*x = 3*y + 9, 2*y + 8 = x + 7*y. Let t(q) = 4*q**2 + q - q**3 + 2*q**x - 4 + 3. Is t(-3) even?
False
Let g(q) be the third derivative of -q**4/12 - q**3 - 2*q**2. Let k be g(-4). Is (-1)/k - 39/(-6) a multiple of 3?
True
Let p(n) = n + 24. Does 12 divide p(0)?
True
Let g(o) be the first derivative of 3*o**2 + 2/3*o**3 + 5*o - 2. Is 13 a factor of g(-4)?
True
Let y = -2 - -2. Suppose 3*v + m - 140 = y, 2*m = v - 2*v + 55. Is ((-8)/(-6))/(2/v) a multiple of 15?
True
Let s = -291 + 531. Is 24 a factor of s?
True
Suppose -3*t - 61 = n - 689, -4*n = 2*t - 422. Is 21 a factor of t?
False
Let d = -3 - -29. Suppose 4*f - 3*y = -45, -58 + 8 = 3*f + y. Let l = f + d. Is l a multiple of 11?
True
Let n = 134 - 45. Is 27 a factor of n?
False
Let g be (60/(-8))/5*-34. Suppose -f - 1 = 3*m + 79, 0 = -4*f + 16. Let s = m + g. Is 9 a factor of s?
False
Let h(i) be the second derivative of -i**5/20 - i**4/4 - i**3/2 - 2*i**2 - 2*i. Suppose -16 = 2*w + 2*w. Does 11 divide h(w)?
False
Suppose 4*n + 22 = x, 2*x - 2*n - 57 = -7*n. Suppose 2*w = x + 58. Is w a multiple of 21?
True
Suppose 5*z = 6*z - 8. Suppose -u = -2*y + z, 2*y = -u - 2 + 18. Let p = y + 2. Is p a multiple of 7?
False
Let z(x) = -x**2 - 2*x. Let k be z(-2). Let n(i) = -i**2 + 20. Does 20 divide n(k)?
True
Suppose 0 = -5*m + m - 5*u + 368, -4*u = -2*m + 210. Suppose 3*y = -3*x + 93, -2*x + 6*y + m = y. Is x a multiple of 13?
False
Suppose 3*o + o + 156 = 0. Let g = 8 - -63. Let u = o + g. Is u a multiple of 16?
True
Let n(k) = 2*k - 7. Let h be n(6). Let d be (-1170)/(-25) - (-1)/h. Suppose d = -3*w + 4*w. Is 20 a factor of w?
False
Suppose -m + 1 = -15. Let g = m - 2. Is 7 a factor of g?
True