q + 1. Is 19 a factor of v(4)?
False
Let c = 98 + -70. Does 7 divide c?
True
Let r(z) = -2*z**2 + 8*z + 10. Let o(c) = -4*c**2 + 17*c + 19. Let q(g) = -3*o(g) + 5*r(g). Does 25 divide q(9)?
False
Suppose -4*x + 1 = -3*x. Let j(h) = -11*h**2 + h - 4. Let v(k) = 22*k**2 - 2*k + 7. Let n(y) = 5*j(y) + 3*v(y). Does 6 divide n(x)?
False
Suppose -98 + 26 = -4*h. Suppose -3*k = -0*k - 48. Let x = k + h. Does 14 divide x?
False
Let m(q) = -3 - q**3 + 2*q + 3*q**3 - 7*q**2 - q**3. Let y be m(6). Let t = 9 - y. Is t a multiple of 18?
True
Let c(g) = -g**3 - 8*g**2 - 12*g - 14. Is 7 a factor of c(-7)?
True
Let j be (-24)/(-15) - 4/(-10). Suppose -4*r = j*a - 0*a - 170, -5*r - 5*a + 205 = 0. Suppose w + r = 5*w. Is 6 a factor of w?
False
Let i(m) = -m**3 - 5*m**2 + m + 4. Let a be (2/4)/((-7)/84). Is 17 a factor of i(a)?
True
Let l = -3 + 5. Let a(t) = -7*t - 6*t**l - t**3 + 0*t - 2 + t. Is 2 a factor of a(-5)?
False
Let t(f) = f - 6. Let b be t(6). Suppose b = -6*c + c - 5*j + 90, 2*j + 6 = c. Does 7 divide c?
True
Let x(n) = -1. Let k(h) = -4*h**2 + 2*h - 2. Let v(b) = -k(b) + 3*x(b). Suppose 3*q + 12 = 0, -4*g - 3*q - 19 = 1. Does 19 divide v(g)?
True
Let t(s) = -2*s + 7. Let w be t(12). Let o = 26 + w. Is o a multiple of 3?
True
Suppose 0 = 3*c + 4*u - 49, 3*c - 2*c = u + 21. Is 19 a factor of c?
True
Let a = -7 + 10. Suppose -a - 9 = -3*j. Let f = 13 + j. Is 17 a factor of f?
True
Let q(d) be the first derivative of 4*d**3/3 + 3*d**2/2 + 3*d - 7. Is q(-2) a multiple of 8?
False
Suppose 6*d + 322 = 994. Is d a multiple of 14?
True
Let u = 3 - 2. Suppose -u = w - 4. Is w even?
False
Let t be 2*23 + (-2 - 0). Suppose 3*v - 46 = t. Is v a multiple of 10?
True
Let o(t) = 14*t**3 + 11*t**2 + 18*t + 23. Let j(u) = 5*u**3 + 4*u**2 + 6*u + 8. Let z(s) = -17*j(s) + 6*o(s). Is z(-4) a multiple of 9?
False
Suppose -573 = 4*v + 3*n, 437 = -4*v + v + 5*n. Let x be v*1*2/(-3). Let f = x - 52. Does 16 divide f?
False
Is ((-1)/(-2))/((-4)/(-80)) a multiple of 5?
True
Let b(j) = -11*j**3 + j - 1. Is 15 a factor of b(-2)?
False
Let r(i) = -i**3 + 2*i**2 + 9*i - 17. Let q be r(4). Suppose 5*p - 19 = 121. Let s = q + p. Is s a multiple of 5?
True
Let o(a) = 4*a**2 - 3. Let b(d) be the first derivative of 5*d**3/3 - d**2/2 - 4*d + 2. Let v(i) = 5*b(i) - 6*o(i). Is 5 a factor of v(7)?
False
Is 24 a factor of 20/(-15) - (-440)/6?
True
Does 44 divide (-5 - -2) + 100 + (4 - 7)?
False
Let r = 274 - 185. Is r a multiple of 5?
False
Let p(l) = -16*l**3. Is p(-2) a multiple of 12?
False
Suppose -2*q - 2*k + 5*k + 7 = 0, 1 = -k. Let u be q/(-8) + (-36)/(-16). Is (u - 2) + 1 + 2 even?
False
Let d(x) be the second derivative of 7*x**5/5 + x**4/12 - x**2/2 + 2*x. Let f be d(1). Suppose 4*n - f = 2*n. Does 14 divide n?
True
Let d = 226 - 128. Is 15 a factor of d?
False
Suppose 3*r + 43 = -4*w, 2*w = -r - 11 - 6. Let k = -7 - r. Suppose -k*u + 32 = -0*u. Is 6 a factor of u?
False
Let w(t) be the second derivative of -t**5/10 - t**4/4 + t**3/2 - 2*t**2 - t. Let y be w(-3). Is 8 a factor of (-4)/2 + y + 1?
False
Let m = 47 + -9. Suppose 0 = 3*h - 2*h - m. Is h a multiple of 15?
False
Let b(s) = -s**3 - 6*s**2 + 9*s + 17. Let f be b(-7). Suppose 0*q - 126 = -f*q. Is 14 a factor of q?
True
Let o(n) be the first derivative of n**3/3 - 5*n**2/2 + 3*n + 1. Let u(s) = s**3 - 9*s**2 + 17*s + 10. Let t be u(5). Is o(t) a multiple of 14?
False
Let y = 4 + -5. Is 17 a factor of y + 1 + -1 - -18?
True
Suppose -1 = t + 2. Let n be t/(1 - 135/132). Suppose -5*m = -8 - n. Does 14 divide m?
True
Suppose -163 = -2*a - 37. Suppose -5*v + 5*y = -179 + 69, -4*v = y - a. Does 7 divide v?
False
Let x be (1 - (0 - -2)) + 5. Suppose x*a - a - 18 = 0. Is 5 a factor of a?
False
Let t be (-17)/(-5) + 2/(-5). Suppose o - 37 = -t. Is o a multiple of 25?
False
Let v = -4 + 15. Is 10 a factor of (2 - (2 + v))*-3?
False
Suppose 9*m - 751 = 329. Is 11 a factor of m?
False
Let g(l) = -l**2 - 6*l + 7. Let k be g(-7). Suppose k = 4*o - 0*o - 316. Suppose 0 = -3*x - i + o, -2*x - 3*x + 127 = -3*i. Is 13 a factor of x?
True
Is 17 a factor of (60/8)/(-1)*-6?
False
Let q(i) = -2*i**2 + 4*i + 1. Let m be q(4). Let a = 19 - m. Does 20 divide a?
False
Let n = -18 + 38. Is n a multiple of 5?
True
Is 18 a factor of 348 + (-20)/(-1 + -3)?
False
Let r(o) = -2*o**3 + 5*o + o**3 - 5 + 7*o**2 - 3*o. Let a = 7 + 0. Is r(a) a multiple of 9?
True
Suppose 0 = -5*j + 3*j + 584. Is 1/4*j/1 a multiple of 20?
False
Let c = 18 - 11. Let r = 24 - 20. Let g = c + r. Does 11 divide g?
True
Let g be (-309)/6*(-1 - 1). Let q = g - 71. Is 14 a factor of q?
False
Suppose -6*i = -i - 415. Is 30 a factor of i?
False
Let o = 11 - -48. Does 9 divide o?
False
Let c(i) = -2*i**2 - 36*i - 26. Is 38 a factor of c(-16)?
True
Is 13 a factor of 3/15 - (-776)/20?
True
Let v(q) = -q**2 + 10*q - 17. Is v(7) a multiple of 3?
False
Let z(f) = 0 - 12 - 10*f - f**2 + 0*f**2. Let n be z(-9). Let j = 9 + n. Is j a multiple of 3?
True
Suppose 3*x - 14 = 4*a + 5*x, -3*a - 10 = x. Does 5 divide 9*(a - 39/(-9))?
False
Let n = -9 - 13. Let q = 0 - n. Does 11 divide q?
True
Let i(x) = -15*x + 1. Suppose -3 = -4*u - 7. Let s be i(u). Suppose -b + 3*b = s. Is b a multiple of 5?
False
Suppose -2*n + 4*x + 644 = 0, 4*n + 3*x - 327 = 3*n. Does 9 divide n?
True
Let t = 27 + -9. Does 9 divide t?
True
Let h be -5*(-3)/(3 - -12). Suppose 4*n - 6 = 14. Let x = n - h. Is 2 a factor of x?
True
Let z = 16 - -69. Is 36 a factor of z?
False
Suppose -3*w + w + 138 = 0. Does 16 divide 3*(3 + w/9)?
True
Suppose -2*o - y = -7*o + 94, -5*o + 2*y + 93 = 0. Is o a multiple of 2?
False
Let f(w) = -w - 4. Let j be f(-8). Suppose 3*i - 2*g + j*g = 58, 3*i - 5*g = 44. Is i a multiple of 9?
True
Let s(z) = 173*z**2 - z. Let g be s(1). Suppose 2*u - g = -5*t, 0 = -t + 4*t - 2*u - 116. Is 12 a factor of t?
True
Let b = -27 - -46. Is b a multiple of 2?
False
Suppose y - 40 = -3*r, -3*r - 2*r + 69 = 4*y. Does 2 divide r?
False
Suppose -2*y = 5*k - 429, 0*y = -3*k + 5*y + 276. Is -1 + (-1 - k)/(-2) a multiple of 12?
False
Let u(x) be the first derivative of 4*x**3 - 5*x**2/2 + 3*x - 2. Is u(3) a multiple of 36?
False
Let k(q) = q**3 + 9*q**2 - 12*q - 3. Is k(-10) a multiple of 16?
False
Let f(c) = 2*c - 1. Let v be f(4). Suppose 0 = 3*o + 29 + v. Is (1*-3)/(o/28) a multiple of 7?
True
Suppose 570 = m + 2*m. Let t = -124 + m. Is t a multiple of 22?
True
Suppose -4*m = -4*x + 16, -3*x + 13 - 3 = -2*m. Suppose -x*w - 104 = -4*u + 2*w, 4*w - 51 = -u. Does 17 divide u?
False
Does 10 divide (-4 + 15)/(2/6)?
False
Let o be ((-2)/6)/(3/(-18)). Let z(v) = 4*v + 3 - 1 + o*v + 0. Does 5 divide z(2)?
False
Let l = 3 - 8. Let b = 0 - l. Is b a multiple of 5?
True
Let y be (-9)/3 - -1 - -4. Suppose 0 = y*h - h - 18. Is 6 a factor of h?
True
Let d be 2/(-6) - (-150)/18. Let o = d + -5. Is (-282)/(-30) + o/5 a multiple of 10?
True
Let a = -1 - -3. Let c be 1*(a - 3) + -2. Does 2 divide (-6)/(-27)*c*-3?
True
Let q(k) = 4*k + 21. Is 3 a factor of q(0)?
True
Let r = 19 - 6. Is 6 a factor of 3/((-9)/6) + r?
False
Suppose 3*u + 5*h = h + 142, -h - 91 = -2*u. Suppose 6*o - 2*o - u = -2*j, -4*o + 51 = -3*j. Is o a multiple of 12?
True
Let n be (0 + (-3)/(-1))*3. Let f = -3 + n. Suppose 2*p = f*p - 128. Does 16 divide p?
True
Let b = 1348 - 963. Does 55 divide b?
True
Suppose 0*d = 5*d - 180. Is d a multiple of 18?
True
Let x(r) = r + 9. Let o be x(-7). Suppose -g = -3*p + 3, -o*p + 0*p - g + 7 = 0. Suppose 0 = 3*c + m - 13, -p*m - 6 = -c + 3. Is 5 a factor of c?
True
Let z be (-54)/12*(-28)/(-6). Let u = z - -43. Is 11 a factor of u?
True
Let z(w) = -w + 5. Let d(s) = -s**3 - 6*s**2 - 5*s - 3. Let x be d(-5). Is 4 a factor of z(x)?
True
Let b = 458 - 322. Does 17 divide b?
True
Let x = 5 - 3. Suppose -5*l = -5*n + 25, -x*l - n - 15 = 7. Let g(y) = -y**3 - 9*y**2 - 2*y - 7. Is g(l) a multiple of 8?
False
Suppose 14 + 19 = -u. Let h be u/27 + 2/9. Does 13 divide 161/21*(h + 4)?
False
Suppose n = -3*n - 76. Let o(d) = d**2 - 2*d - 4. Let q be o(-5). Let u = q + n. Does 12 divide u?
True
Suppose 2*j + 3 = 3*j. Let c be 3 + 11 + (-2)/2. Is 12 a factor of 3 + (-1 - (j - c))?
True
Let q(v) = -v**3 + 12*v**2 - v + 17. Let a be q(12). Suppose 4*p + 3*f - 183 = 0, -a*p + 5*f + 30 = -225. Does 19 divide p?
False
Suppose -17 = -3*h - 8. 