et y(s) = 2*s**2 + 3*s + 2. Does 11 divide y(o)?
True
Let f be 1/(-3) + 20/6. Suppose 2*q + f*q = 60. Does 8 divide q?
False
Let d(j) = 2*j**2 - 4*j - 7. Does 16 divide d(7)?
False
Is (-3 - -1)*123/(-6) a multiple of 7?
False
Let v(i) = -i**3 + 4*i**2 + 4*i - 2. Let n be v(5). Let d = -4 - n. Suppose -j = -q + 39, 3*q + d*j - 87 = -0*j. Is 14 a factor of q?
False
Suppose 0 = -3*s + 23 + 4. Is s a multiple of 9?
True
Let i be -1 + -2 + (-32)/(-4). Is 28/10*125/i a multiple of 35?
True
Does 14 divide 3*20/24*10?
False
Suppose 172 = 5*s + 12. Let x = s + 7. Is x a multiple of 15?
False
Let a(g) = 2*g**3 - 2*g**2 + 2*g - 2. Let m be a(2). Let r be (-56)/m + 4/(-10). Is 3 a factor of (-16)/(-6) + (-2)/r?
True
Let f = -2 - -4. Suppose -4*g = -f*g - 22. Is g a multiple of 11?
True
Does 24 divide (-144)/(((-2)/1)/(2*1))?
True
Suppose -14*p = -12*p - 160. Is p a multiple of 11?
False
Let r = 8 - -2. Suppose -5*d = -3*u + 7, 2*u + 2*d + 1 - 11 = 0. Suppose -u*h + r = h. Is h a multiple of 2?
True
Let y(p) = -p**3 + 3*p**2 - 3*p. Let k be y(2). Let d be k/(-2) - (1 - 3). Is 12 a factor of (2/(-3))/(d/(-108))?
True
Let u be (-1619)/(-11) - (-2)/(-11). Suppose u = 3*f - d + 4*d, 3*d + 161 = 4*f. Suppose 3*t - 4*y - 81 = 0, -3*y = -2*t + f + 11. Is 23 a factor of t?
True
Does 29 divide 60*((-25)/10 + 3)?
False
Let y be (4/12)/((-3)/(-36)). Suppose y*w + 12 = -2*r, -5*r + 0*r = -2*w - 30. Suppose r*o - 96 = -o + 4*g, -g + 28 = 2*o. Is o a multiple of 8?
True
Let y(d) be the second derivative of d**4/12 - 7*d**3/6 - 13*d**2/2 - d. Let n be y(9). Is 5 a factor of -1 - -3 - (n - 8)?
True
Let s = -5 + 2. Let a be (s + 2)*(4 + -1). Let f(w) = -w**3 + 2*w**2 + 3*w - 4. Does 19 divide f(a)?
False
Suppose -16 = 4*t - 0*t. Let d(k) = -k**3 - 5*k**2 - 5*k. Does 4 divide d(t)?
True
Suppose 65 = 3*x + 3*o - 67, 4*o = x - 54. Let z = x + -1. Is z a multiple of 16?
False
Suppose 2*z + 9 = z - 3*p, 5*z = -2*p - 6. Let y = 3 + z. Is 4 a factor of 2 + y - (2 + -1)?
True
Let p = -5 - -7. Suppose 0 = -0*r + 3*r - 12. Suppose p*b - r = 8. Is b a multiple of 5?
False
Let y(a) = -a**2 - 10*a. Let h be y(-5). Suppose 35 = -4*q - 2*f + 109, 5*f - h = 0. Does 4 divide q?
True
Suppose -3*q - 5*o + 85 = 0, 5*q - o = 188 - 37. Suppose -5*j = 2*z - 7*z + 75, 0 = 2*j + 5*z + q. Is 15 a factor of j/(-1) - (0 + 0)?
True
Let s = 99 - 30. Is s a multiple of 23?
True
Let t(x) = -3*x**3 + 2*x**3 + 4 + 5*x**2 + 4*x**3 - 4*x**3 + 4*x. Does 8 divide t(5)?
True
Let g(t) = 4*t - 6. Let j be g(6). Is 26 a factor of 56*-5*j/(-105)?
False
Suppose -3 = -s, 0 = -x + 6*x + 4*s + 113. Let i be ((-12)/5)/((-2)/x). Let a = -15 - i. Does 15 divide a?
True
Let q(s) = s + 9. Let z be ((-4)/5)/(2/(-20)). Does 15 divide q(z)?
False
Let m(r) = r + 11. Let w = -1 - -17. Suppose 0 = 2*q + 4*f + w, -3*q + 4*f - 26 = 2*q. Does 2 divide m(q)?
False
Let t(v) = -11 - 7 - v + 18. Let m(o) = 7*o + 1. Let r be m(-1). Is t(r) a multiple of 6?
True
Let m(v) = -3*v + 7. Let p(d) = -d**3 - 6*d**2 + 7*d - 6. Let j be (-19)/3 - (-6)/(-9). Let x be p(j). Is 13 a factor of m(x)?
False
Let b = 5 + -5. Suppose -5*h + 8*x - 3*x + 75 = b, -3*h + 2*x = -47. Is h a multiple of 6?
False
Let l(b) = 2*b**3 + 1. Let s be l(2). Let h = 41 - s. Does 20 divide h?
False
Let r = 83 + -48. Suppose -5*w + 10 = -r. Is w a multiple of 4?
False
Let r(p) = -p**3 + 5*p**2. Let w be r(5). Is 3 + 14 - 3 - w a multiple of 10?
False
Is 9 a factor of (540/(-25))/(-4)*5?
True
Suppose 0 = -3*y + 3*u - 9, 2*u - 20 = -2*u. Let q(h) = h**2 + 2*h - 4. Let w be q(-5). Suppose -w = -y*j + j. Does 5 divide j?
False
Suppose -462 = -6*h - 8*h. Is 17 a factor of h?
False
Let t = 8 + -4. Suppose t*k - 6 = 2. Let f(x) = 6*x**2 - x. Is f(k) a multiple of 9?
False
Let o(x) = -1. Let s(u) = u + 8. Let m(t) = o(t) + s(t). Let a be m(-3). Let z(c) = 3*c**2 - 5*c - 1. Is 9 a factor of z(a)?
True
Let p(x) = -5*x - 9. Let j be p(-9). Let u = -22 + j. Is u a multiple of 13?
False
Let x(i) = -i**2 + 22*i - 11. Is x(21) even?
True
Let f = 20 - 6. Let z(j) = f*j + 1 + 0 + 0. Does 20 divide z(2)?
False
Let d be ((-20)/30)/((-4)/30). Suppose -d*l + 98 = -127. Is 15 a factor of l?
True
Does 20 divide 177*4/((-24)/(-2))?
False
Let f(v) = -v - 3. Let h be f(-3). Suppose -5*g + 7 + 33 = h. Is g a multiple of 4?
True
Suppose -h = -4*v - 179, 3*h = -2*h + 3*v + 861. Does 18 divide h?
False
Suppose -5 = -f - 1. Let c be 12/(-30) + f/10. Suppose c = 2*p + 8, -3*p - 66 - 2 = -4*u. Is 5 a factor of u?
False
Let g = 10 - 6. Let q = g + 5. Does 8 divide q?
False
Suppose u + 2 = -2, -5*u = 2*w - 122. Is w a multiple of 17?
False
Let j = -40 - -44. Is j a multiple of 3?
False
Suppose -y + 0 = -3. Suppose 2*u - 180 = 4*c - 642, 3*u = -y. Let r = c + -61. Is 24 a factor of r?
False
Let j be 28/4*(-4)/(-2). Let u = -9 + j. Suppose 4*d - 7 + 33 = u*r, -32 = -5*r - 2*d. Is 3 a factor of r?
True
Let i = -12 - -3. Let z(h) = -h + 8. Is 7 a factor of z(i)?
False
Let n be 13/4 + 3/(-12). Let q = 3 - n. Suppose 0 = 5*x + y - 47, -2*x + q*y = 3*y - 11. Is 4 a factor of x?
False
Suppose 45 = u - 6*u. Let q(o) = 2*o**2 + 11*o + 9. Does 24 divide q(u)?
True
Let i(m) = -m**2 - 12*m + 4. Let l be i(-10). Suppose l = a + 4*d, 3*a - 5*a - 2*d + 42 = 0. Let f = a - -2. Does 11 divide f?
True
Let d(n) = n**3 + 8*n**2 - 2*n - 4. Let c(m) = -3*m + 1. Let q be c(3). Does 12 divide d(q)?
True
Let g(m) = -50*m - 10. Is 28 a factor of g(-3)?
True
Let x = -12 - -22. Is 10 a factor of x?
True
Let t be (-3)/12 - 393/(-4). Is 17 a factor of (-354)/(-14) - 28/t?
False
Suppose 4 + 6 = 2*m. Is 4 a factor of m?
False
Let b(n) = -7 + 4*n + 2*n - 2*n**2 + 3*n**2. Is 10 a factor of b(-9)?
True
Let v = 59 + -23. Is v a multiple of 18?
True
Let s = 24 + -17. Is s a multiple of 5?
False
Suppose 2*p - 11 = -1. Let t = 13 - p. Is 8 a factor of t?
True
Let l = 7 + 121. Suppose -l = -5*m + 137. Is 18 a factor of m?
False
Suppose -2*z = -0*z + 32. Let k = z - -28. Is k a multiple of 6?
True
Let j be (-1)/2 - 3/(-2). Does 12 divide -1 + -1 + (j - -16)?
False
Suppose 5*f - 54 = 31. Does 12 divide f?
False
Does 24 divide 2 - (-73 - (-1 + -2))?
True
Let s(r) = -r**3 - 5*r**2 - 3*r - 4. Suppose 2*b + 3*b - 25 = 0. Suppose 2*m + 5*j + 29 = 2, -b*m - j = 33. Is s(m) a multiple of 20?
False
Suppose 2*w - 52 = 202. Is 47 a factor of w?
False
Let w = -3 - 0. Let t = 10 + w. Let c = 21 - t. Is c a multiple of 14?
True
Let k be 1 - 3/(3/(-2)). Does 20 divide (1 - 9/k) + 22?
True
Let m(r) = -17*r**2. Let v(w) = -w**2 + 11*w - 8. Let h be v(10). Let o be m(h). Is o*((-2)/(-4) + -1) a multiple of 14?
False
Let r be -2 + 12 - (-4)/(-2). Suppose 2*b - r = -2*b. Suppose 28 = b*q - 0*q. Does 9 divide q?
False
Let a be 32/(-12) - (-1)/(-3). Let i be (a/2)/(6/8). Let n = i - -16. Is 6 a factor of n?
False
Let a be (-51)/21 - (-28)/(-49). Is ((-14)/6 + a)*-12 a multiple of 11?
False
Let j(p) be the second derivative of p**5/10 - p**4/4 - p**2/2 - 2*p. Suppose -4 - 5 = -3*x. Does 13 divide j(x)?
True
Suppose -5*f = 2*t - 668, 2*f - 989 = -3*t + f. Is t a multiple of 11?
False
Suppose 0 = 5*j + 4*g - 0*g - 140, 2*g = j - 42. Is 21 a factor of j?
False
Let z(k) = -k**3 + k**2 - 1. Let f(v) = -8*v**3 - 3*v**2 + 3*v - 1. Let r(o) = f(o) - z(o). Let n be r(2). Let t = -41 - n. Is 13 a factor of t?
False
Let y(u) = u**2 + 14*u + 16. Does 6 divide y(-15)?
False
Suppose v - 466 = 5*k, 6*v - 2*v = 3*k + 266. Let p = 46 + k. Is (3/12 - 1)*p a multiple of 18?
True
Let z be 0 + 5/(5/63). Let u = 107 - z. Is u a multiple of 19?
False
Let v(m) be the second derivative of -14*m**3/3 - 9*m**2/2 - m. Does 23 divide v(-4)?
False
Let b(p) = -p**3 + 2*p**2 + p + 29. Let a(u) = -2*u**3 + 5*u**2 + 3*u + 59. Let m(o) = -2*a(o) + 5*b(o). Does 10 divide m(0)?
False
Let y = 15 - 9. Is 1/(-2) - (-147)/y a multiple of 6?
True
Is 136/(-8)*(-4 + 0) a multiple of 17?
True
Let f = -36 + 99. Is f a multiple of 9?
True
Suppose -4*r = 165 - 861. Is r a multiple of 18?
False
Suppose 38 = 3*z - 67. Suppose 0 = n, -3*q - n + z = -2*q. Suppose 2*j + 3*v - q = 0, -2*j + 5*v - v = 0. Is j a multiple of 4?
False
Let y be (-1)/2*0/2. Let o = 3 + y. Suppose 5*t + 3*r = -0*t + 114, 9 = o*r. Is t a multiple of 13?
False
Suppose -3*m = m. Suppose j = -m*j + 19. Is 8 a factor of j?
False
Let s(i) = i**3 - 3