t y = 93 + -18. Does 35 divide y?
False
Let q(n) be the first derivative of -n**3/3 - 4*n**2 + 2*n - 1. Let y = -45 + 39. Does 5 divide q(y)?
False
Suppose 0 = 4*o - 0*o - 60. Does 5 divide o?
True
Let c be 66/30 + 2/(-10). Suppose -f + 0 = -c. Does 6 divide (3 + (-15)/f)*-4?
True
Let b be (6/(-4))/((-3)/6). Suppose -2*r + 3*t + 48 = 0, r - 2*t - b*t = 17. Does 9 divide r?
True
Let o be 5/(-3 + (-56)/(-20)). Let t = 5 - o. Does 10 divide t?
True
Suppose -a + 0 = -15. Let q = 33 - a. Is q a multiple of 4?
False
Let j be 0/(-2) - (-16 + 0). Suppose b - l - 7 = 0, -l = 4*b - 2*l - j. Suppose 0 = -2*x + 2*q + q + 3, -q = -x + b. Is 6 a factor of x?
True
Suppose -g = -4*m - 109, g - 4*m - 577 = -4*g. Is g a multiple of 13?
True
Let k(c) = c**2 - 3*c. Let g be k(3). Suppose 0 = -3*t + l + 3*l + 70, -5*t + l + 94 = g. Is t a multiple of 9?
True
Suppose 5*o - 320 = 185. Suppose -m - t + o = 0, 1 = -t - 1. Suppose 0 = -3*s - 4*g + 137, 2*s + 2*g = -3*g + m. Does 16 divide s?
False
Suppose 0 = -4*q + 6*f - 2*f + 56, 2*f = 4*q - 60. Suppose 0 = -q*m + 18*m - 58. Is 8 a factor of m?
False
Let k = -25 - -39. Suppose 3*c + 12 = 7*c. Suppose 0 = c*a - k - 10. Is a a multiple of 4?
True
Let d be ((-1)/(-2))/((-2)/(-12)). Let y(m) = -4 + 4*m**d + 8*m**3 + 2*m + m**2 - 13*m**3. Is y(-3) a multiple of 13?
True
Let m(i) = -i**3 + 10*i**2 + 12*i - 4. Suppose 4*g - 24 = -4*n, -g + 1 = -3*n - 25. Is 3 a factor of m(g)?
False
Let j = -281 - -393. Does 8 divide j?
True
Is 25 a factor of -50*(-4)/((-4)/(-1))?
True
Let x(i) = -i**2 + 17*i - 12. Is 29 a factor of x(10)?
True
Suppose z + 9 = 27. Is 6 a factor of z?
True
Let c be 9/(-3) - (0 - 1). Let u = c - -19. Is u a multiple of 17?
True
Let x = 10 - 6. Suppose 0 = -x*v + 8 + 72. Is 14 a factor of v?
False
Let y(q) = 3*q**2 + 1 - 3*q**2 + q**2 + 3*q. Let r be (4/(-5))/(3/15). Is y(r) a multiple of 3?
False
Let i(s) = 3*s**2 - 4*s + 6. Let c be i(5). Let u = c - 29. Is u a multiple of 16?
True
Suppose 5*x - 6*f = -2*f, -3*x - 32 = 4*f. Let g(s) = -13*s**2 - 15*s + 8. Let o(r) = 3*r**2 + 4*r - 2. Let b(w) = -2*g(w) - 9*o(w). Does 5 divide b(x)?
True
Let w(t) = -t**2 - 8*t + 2. Let n be w(-8). Suppose 5*d + 288 = 4*m + d, m - n*d = 68. Suppose -2*b - m + 27 = -5*g, -2*b + 5 = g. Does 9 divide g?
True
Suppose 4*u - 40 = -5*k, 4*u - 2*k = -6*k + 44. Let d = u + -8. Does 7 divide d?
True
Is 7 a factor of (62 - -10) + (2 - 1)*0?
False
Suppose 0 = -2*j + 4 + 110. Let s = j + -28. Is s a multiple of 10?
False
Let j be -8*(3/(-6) + -3). Let t = j - 8. Does 13 divide t?
False
Suppose -30*p = -31*p + 35. Is p a multiple of 5?
True
Let v be (-28)/14*22/(-4). Let l(k) = k**3 + 5*k**2 - 6*k - 7. Let n be l(-6). Let h = n + v. Is h even?
True
Suppose -u - 103 = -6*u + 3*h, 2*h = -5*u + 98. Suppose -2*m + 10 = 5*q, 5*q - 4*m = q - u. Let s = q + 14. Is 7 a factor of s?
True
Does 19 divide 17/17 - 56/(-1)?
True
Suppose -19*i - 76 = -15*i. Let g = i + 46. Does 9 divide g?
True
Let c(l) = -27*l - 57. Does 26 divide c(-5)?
True
Let m be ((-66)/(-12))/((-2)/16). Let k = -4 - m. Is 15 a factor of k?
False
Let g(c) = 10*c**2 + 3*c + 2. Is 3 a factor of g(-1)?
True
Let n(l) = -l**3 - 4*l**2 + 4*l + 9. Is 19 a factor of n(-6)?
True
Let k(r) = -r**3 - 16*r**2 + 7. Is k(-16) a multiple of 2?
False
Let k(w) = 2*w**2 + 3*w + 2. Let o(s) = 3*s**2 + 3*s + 1. Let t(h) = -3*k(h) + 4*o(h). Does 11 divide t(2)?
False
Let g be 4/3*9/2. Let s be 9/g*4/6. Is 17 a factor of (-54)/(-5 - -2)*s?
False
Let d be (3/12)/(1/8). Suppose -4 = -d*n, -5*r + 3*n = -267 + 13. Is r a multiple of 18?
False
Suppose -3*q - 3*o + 484 = o, 4*o + 8 = 0. Does 41 divide q?
True
Suppose -k - 6 + 0 = 0. Is 1/2 + (-105)/k a multiple of 6?
True
Let o be (-2)/(-4) - (-45)/10. Suppose 0 = o*h - 0*h - 150. Is 10 a factor of h?
True
Let u(a) = -6*a - 2. Let s be u(2). Let l be s + (-2 + 2)/(-2). Is 13 a factor of (3 + -1)*(-91)/l?
True
Let u(g) = 2*g**3 + g**2 - 3. Let q be u(-3). Does 5 divide (-60)/q*6*2?
True
Suppose 2*h - 6 = 36. Does 9 divide h?
False
Is (52/(-6) + 0)/((-100)/1950) a multiple of 19?
False
Let i(y) = y**2 - 5*y + 6. Let p be i(4). Let w(g) = 1 + p*g + 10*g + 0*g. Is w(3) a multiple of 10?
False
Let l = 23 + -38. Let j = l - -31. Is j a multiple of 8?
True
Is 8 + -4 - (-228)/4 a multiple of 12?
False
Does 39 divide 238 + (3 - (8 + -1))?
True
Let i(v) = -v**3 - v**2 + 3*v - 1. Let o be i(-3). Let q be 0*(-2)/o*2. Let j(h) = h**3 - h**2 - h + 41. Does 14 divide j(q)?
False
Let c = -4 - -7. Suppose 0 = 3*t + 2*t - 320. Suppose -c*y = -y - t. Is y a multiple of 16?
True
Let z = 9 + -25. Let w = -6 - z. Is 10 a factor of w?
True
Suppose 5*o = l + 17, -3*o - 5*l = -4*o + 13. Suppose 5*p - 132 = p + 4*a, -109 = -o*p + 5*a. Is p a multiple of 10?
False
Suppose 0 = 2*h + 5*l + 9 - 60, -3*h + 4*l + 134 = 0. Suppose 0 = -5*d + 3*z + 6, 3*d + 4*z = 2*d + 15. Is 6 a factor of h/d - 4/6?
True
Suppose m + 136 = 6*m - 3*w, 5*m = 5*w + 140. Does 20 divide m?
False
Let x = 37 + 8. Is x a multiple of 7?
False
Suppose -4*t + 2 = -3*t. Let l(j) = -j - 8. Let f be l(-8). Suppose -v + 2 + t = f. Does 2 divide v?
True
Let l = 4 + 16. Does 10 divide l?
True
Let j be (-2)/(-5) + 576/(-40). Is ((-60)/j)/(12/84) a multiple of 10?
True
Suppose -225 = -5*m + 125. Is 18 a factor of m?
False
Let t = -14 - -11. Let i = 6 + t. Does 2 divide i?
False
Let j = -14 + 16. Suppose 0*f = -j*f + 26. Is f a multiple of 13?
True
Suppose -s = h - 35, 3*s - 2*s = -5*h + 195. Suppose 3*o = -o + h. Does 3 divide o?
False
Suppose -34 = -3*n - 5*r, -5*n = r - 6*r + 10. Let o = 5 - n. Let m = 2 + o. Is m a multiple of 2?
True
Let l = -27 - -80. Is 11 a factor of l?
False
Suppose -5*q = 3*d - 152, -d = 3*q - 37 - 15. Let o be 15/(((-4)/10)/(-2)). Let h = o - d. Is h a multiple of 14?
False
Suppose -3*i + 6*i - 2*g = 28, i - 3*g = 0. Let p be ((-2)/(-3))/(i/(-90)). Let v(q) = q**2 + 3*q - 7. Is v(p) even?
False
Let m = 67 + -13. Suppose -g - 80 = -2*q, 3*q - 4*g = -2*g + 122. Suppose -h + q = 3*f, -4*f - m = -2*h + f. Does 16 divide h?
True
Let g = 4 - 2. Suppose -g*v = -3*v - 56. Is -2 + 2 + v/(-2) a multiple of 14?
True
Let a = 281 + -23. Suppose 2*f - 189 = -0*p + 3*p, -4*p + a = 3*f. Is 30 a factor of f?
True
Let a(p) = 2*p**2 + 4. Let t be a(4). Let w = t + -16. Does 11 divide w?
False
Let o be 28/(-21) - (-2)/6. Is 2 a factor of o*(1 + -1 + -7)?
False
Suppose -4*o + 7 = -13. Let v(b) = 6*b + 24. Let p(h) = -1. Let g(z) = 18*p(z) + v(z). Is g(o) a multiple of 18?
True
Suppose i + 394 = 2*p - 0*i, -4*i + 998 = 5*p. Does 22 divide p?
True
Let m = 69 + -41. Is 13 a factor of 0 + (m - (1 - -1))?
True
Suppose u - 27 = 5. Suppose 0*b = 2*b - u. Is 16 a factor of b?
True
Let w(n) = -n**3 + 6*n**2 - 4*n - 1. Is 3 a factor of w(4)?
True
Suppose -257 - 72 = -7*c. Is c a multiple of 20?
False
Let s(u) be the second derivative of u**4/12 - 5*u**2/2 - u. Let w = -5 - 0. Is 9 a factor of s(w)?
False
Let s(j) = j**2 - 3*j + 1. Is s(-3) a multiple of 19?
True
Let m(f) = 38*f**2 - f + 1. Let i = 1 + 0. Is m(i) a multiple of 19?
True
Suppose c + 2 = -4. Is (c/4)/(1/(-18)) a multiple of 9?
True
Suppose -5*g + 8 = -d - 7, -d = -2*g + 9. Let j be (-4)/(-10) - (-26)/10. Is 2/(j*g/33) a multiple of 10?
False
Let v = -9 - -81. Is 18 a factor of v?
True
Suppose -4*m = -8, 2*x - 3*m - 21 = 69. Suppose 4*h = -2*a + 128, x + 25 = a - h. Suppose 6*s = -u + s + a, -u + 2*s + 42 = 0. Is u a multiple of 21?
False
Let r(f) = 2*f - 8. Let w be r(6). Suppose -3 = -u + w. Does 4 divide u?
False
Let x(j) = j**3 - j**2 + 80. Is 10 a factor of x(0)?
True
Suppose 14 = 2*f - 4*g, f + 3*g - 42 = -f. Does 6 divide f?
False
Let f(i) = 17*i - 1. Is f(2) a multiple of 16?
False
Suppose 3*h = d + 98, h - 41 = -2*d + 1. Is 17 a factor of h?
True
Suppose -4 - 5 = 3*z. Let x = 1 - z. Suppose 35 = 3*v + 4*q, 3*q + q = x*v - 28. Is 4 a factor of v?
False
Let b be 12/9*(-6)/(-2). Is 11 a factor of b/10 + 143/5?
False
Suppose -3*y + 12 = -45. Is 11 a factor of y?
False
Let s(u) = u**3 + 9*u**2 + 7*u + 4. Is 7 a factor of s(-6)?
True
Suppose 0 = 5*f - 39 + 9. Let w(t) = -5 + 2*t**3 - 2 - 17*t + 7*t**2 + 13*t - 3*t**3. Does 3 divide w(f)?
False
Suppose -7*j = -2*j. Suppose j = -2*a + 2*y - y + 16, 0 = 3*a + 4*y - 46. Is a a multiple of 10?
True
Suppose 0 = w + 31 -