-1)/(2 + 0)*-90?
False
Let a = -50 + 104. Is 13 a factor of a?
False
Suppose -19 = -4*v + 21. Is 2 a factor of v?
True
Let w(x) = -9*x**2 + 3*x + 2. Let p(j) = 18*j**2 - 6*j - 5. Let l(o) = 3*p(o) + 5*w(o). Is 23 a factor of l(-3)?
False
Suppose -5*z = 3*k - 1044, -z + 148 + 54 = 4*k. Is z a multiple of 42?
True
Let z(g) = 4*g**2 - 2*g - 18. Is z(-5) a multiple of 32?
False
Suppose -3*q - 4*k - 11 = 0, -3*q + 5*k + 13 = -21. Suppose q*c - 37 = 2*u, c + c = -5*u + 31. Is c a multiple of 6?
False
Let b(q) = -29*q + 3. Let p be 11 + -10 - (-4)/(-2). Is 16 a factor of b(p)?
True
Let f = -21 + 37. Does 4 divide f?
True
Let g(v) = -v**3 - 4*v**2 - 2*v - 2. Let n be g(-4). Suppose 4*l - n = -2*c, 2*c = -3*l - 0*l + 7. Is 2 a factor of c?
False
Suppose 3*i + 5 = 4*i. Suppose -i*p = 9 - 39. Does 3 divide p?
True
Suppose 4*b - 4*f = 304, 2*b + 3*f - 202 = -45. Does 16 divide b?
False
Suppose 2*c - 28 - 28 = 0. Is 14 a factor of (-14)/(-8)*(c + -4)?
True
Suppose -4*l = -3*l. Suppose 2*z - 5*h + 5 = -8, l = -3*z - h + 23. Suppose 2*b = z*b - 36. Is b a multiple of 9?
True
Suppose -2*k - 3*r = -r - 262, 4*k - 3*r = 510. Is k a multiple of 20?
False
Let h be -2*(-9)/(-6) - 0. Let j = h - -31. Let w = j + -2. Is w a multiple of 9?
False
Suppose -5*z = -20, b - 4*z - 4 = -0*b. Suppose 4*m + m = b. Suppose 260 = j + m*j. Is j a multiple of 15?
False
Is 8 a factor of 19 - (-9)/((-9)/3)?
True
Suppose -38 = -b + 11. Is b a multiple of 10?
False
Let j(v) = v - 1. Let a(d) = 5*d - 7. Let z(y) = a(y) - 4*j(y). Let n be z(5). Suppose -n*f + 4*f - 6 = 0. Does 3 divide f?
True
Let v be ((-216)/10)/((-27)/(-90)). Does 15 divide (v/32)/((-3)/64)?
False
Suppose -5*w = -3*w + 84. Is (w/(-9))/((-4)/(-6)) a multiple of 2?
False
Let g = 36 - 25. Is 11 a factor of g?
True
Is 3*10*4/3 a multiple of 20?
True
Suppose -j = -5*j. Suppose j = -4*d - 0*d + 312. Is 27 a factor of d?
False
Suppose 28 = -3*v + 103. Is 11 a factor of v?
False
Let y = 322 - 106. Suppose 2*i = -i + y. Is i a multiple of 23?
False
Suppose 2*z + z - 135 = 0. Is 15 a factor of z?
True
Suppose 6*t - 6 = 3*t. Suppose 0 = 4*k - 4*w - 36, -5*w + 30 + 2 = t*k. Does 7 divide k?
False
Let y = 105 - 15. Is y a multiple of 16?
False
Let t(j) = -j**3 - 17*j**2 - 13*j + 26. Is 19 a factor of t(-17)?
True
Suppose -3*y + 2 + 16 = 3*g, -5*g = -4*y - 12. Suppose -4*x - x = y*m - 31, 5 = -5*x. Does 13 divide m?
False
Suppose 3*j - 68 = -14. Suppose 5*m = 3*r + 16, -3*m = 3*r - 0*m + 48. Let p = r + j. Does 3 divide p?
True
Suppose -325 = -6*h + 113. Is 11 a factor of h?
False
Let h be (-1)/2*(3 + -37). Suppose 2*b - h = -3. Is 3 a factor of b?
False
Let t(b) = -b**3 + 2*b**2 + 3*b + 2. Let g be t(3). Does 2 divide (g + 4)/(-3 + 5)?
False
Let h be (-11)/(-4) + (-4)/(-16). Let i(z) = -z**3 - z**2 - z - 1. Let w be i(-1). Suppose 12 = x + 4*f, h*x + x + 4*f - 84 = w. Does 12 divide x?
True
Let c be (-4)/(-18) - (-2)/(-9). Suppose c*m + m = 0. Suppose m = -4*i + 20. Is i a multiple of 5?
True
Suppose 2*x = -2*x + 96. Suppose -3*m + 5 + 1 = 0. Suppose z - 39 = -4*j, -4*j - 6*z = -m*z - x. Is j a multiple of 11?
True
Let m(v) = v**2 - 6*v + 9. Let n be m(6). Does 19 divide 198/n + 6/(-2)?
True
Is 7 a factor of 44/(-418) + 1579/19?
False
Suppose -2 = -x + 10. Is 9 a factor of x?
False
Let r = 66 + -40. Let t = r + -8. Is t a multiple of 6?
True
Let q = 16 - 9. Suppose q = c + 1. Suppose -u + 17 = c*g - g, 0 = -5*g. Is 7 a factor of u?
False
Suppose w - 5*w - 47 = -3*t, -20 = -5*t - 5*w. Suppose t = 4*n - 3*g, 2*n - 2*g + 0*g = 6. Suppose 4*l = -n*l + 88. Is l a multiple of 11?
True
Suppose 0*w = -2*w + 222. Suppose 5*k - w = 2*k + q, -3*k + 102 = 2*q. Let o = k + -22. Is 7 a factor of o?
True
Let a be -1 + 3 - (4 - 4). Suppose 4*s - 4*l - 8 = 0, -a*s - l + 32 = 4*l. Does 6 divide s?
True
Let t = 40 - 32. Does 8 divide t?
True
Let q = 785 - 559. Does 19 divide q?
False
Let w = 316 - 205. Is w a multiple of 17?
False
Let u be (-2)/((-2)/3 + 0). Suppose -10 = 2*a, u*c - c = 5*a + 131. Does 17 divide c?
False
Suppose 4*c = 33 + 27. Is c a multiple of 3?
True
Let h be ((-15)/(-9) + -2)*-3. Let x be (-1 + h)*(1 - 2). Suppose x = 2*w + 24 - 78. Does 14 divide w?
False
Is 6 a factor of 0/2 + -1 + 12?
False
Let w(l) = 12*l**2 - 2*l + 1. Let i be w(-2). Suppose i = -3*m - 10. Let k = 34 + m. Does 7 divide k?
False
Let i = 28 - 28. Let y(n) be the second derivative of -n**3/6 + 9*n**2 + n. Is y(i) a multiple of 6?
True
Let t = 15 - 40. Let w = t - -41. Suppose 3*x - 5*y = 65, -w = 4*y - 0*y. Is x a multiple of 13?
False
Suppose 2*r + r = -5*c + 89, -4*c = -4*r - 52. Suppose 0 = -j + c + 17. Is 11 a factor of j?
True
Let v(n) = n + 32. Let y = -13 + 13. Is 6 a factor of v(y)?
False
Let t(a) = -3*a + 13 - a - 4*a. Let l be t(-9). Let n = l + -57. Is 14 a factor of n?
True
Suppose 2*a + 337 = 3*m - 2*a, 3*a = -5*m + 523. Is m a multiple of 25?
False
Let q(l) = l + 8*l + 4*l - 6*l - 3. Is q(5) a multiple of 16?
True
Let b be 7*(-7 + -1) - 1. Let g = -23 - b. Is 17 a factor of g?
True
Let x = 197 - 135. Is x a multiple of 31?
True
Let c = 42 + 6. Does 16 divide c?
True
Let d = -19 - -36. Does 17 divide d?
True
Let j(x) = -x**3 + 9*x**2 + 3*x - 20. Is 11 a factor of j(7)?
True
Let q(w) = -6*w + 33. Is 19 a factor of q(-21)?
False
Let n be (2/(-4))/(1/(-2)). Let q be ((-1 + 3)/(-2))/n. Is 15 a factor of (-1 - 6*q)*3?
True
Suppose 0 = -t + 3*i + 10 - 0, 3*t = -5*i + 2. Suppose t*r = 8 + 4. Suppose 5*x = -5*s + 95, 5*s - 3*s = -r*x + 58. Is x a multiple of 10?
True
Let j = 8 + -2. Is 6 a factor of j?
True
Let k(y) be the first derivative of y**3/3 + 3*y + 5. Is k(-4) a multiple of 19?
True
Suppose 0*r + 4 = r. Suppose 26 + 36 = n - 2*w, n = r*w + 68. Suppose -13 = 4*d + 5*f - 230, -3*f = d - n. Does 15 divide d?
False
Let i(m) = -m + 9. Does 20 divide i(-11)?
True
Let b = 4 - 2. Suppose 3*u = -r + 44 - 7, 4*r = -b*u + 168. Let p = r - 29. Is p a multiple of 8?
False
Let n(o) = 18*o. Let v be n(7). Suppose -3*i - 21 = -v. Does 2 divide (-18)/(-5) + 14/i?
True
Suppose -620 = 25*h - 30*h. Is 31 a factor of h?
True
Let v be (-4)/(-14) - 1240/28. Let t = -15 - v. Does 15 divide t?
False
Let g(w) = 4*w. Let f be g(4). Let b(p) = p + 1. Let h be b(-3). Let k = f + h. Is k a multiple of 7?
True
Let b = 26 + 5. Is b a multiple of 10?
False
Suppose u + u = -4. Let s be (0 + -6)*u/4. Suppose -s*y = 2*y - 165. Is 14 a factor of y?
False
Suppose 4*z = -0*z - 24. Let b(u) = -5*u + 2. Does 20 divide b(z)?
False
Let l(b) be the second derivative of b**3/6 + 3*b**2 + b. Let x be 2/(0 - 1/(-3)). Does 6 divide l(x)?
True
Suppose 2*b + b - 126 = 0. Does 21 divide b?
True
Let w = 4 - 1. Suppose 0*h + w*h - 2*b = 118, -164 = -4*h + b. Let q = -14 + h. Is 14 a factor of q?
True
Let z(f) = -43*f**3 + f**2 + 2*f + 1. Let o be z(-1). Suppose 0 = 2*p - 8 - 2. Suppose 3*k - o = p. Is 8 a factor of k?
True
Does 13 divide ((-3)/3 + 3)*230/4?
False
Suppose -1 = -3*u - 2*a + 3, -3*a + 7 = 5*u. Let q = -14 - u. Is 0*2/6 - q a multiple of 16?
True
Let y(k) = k**3 - 14*k**2 - 2*k + 9. Does 41 divide y(15)?
False
Let h(d) = d**3 - 12*d**2 - 21*d + 4. Is h(14) a multiple of 17?
True
Let r(g) = -g**3 - 8*g**2 - 5*g + 7. Let n be r(-7). Is (-184)/n - (-6)/(-21) a multiple of 13?
True
Let n(k) = -6*k + 7. Suppose -3*d + 3*a = 21, -2 = -2*a - 0*a. Let r be n(d). Suppose -11 = -3*u + r. Does 18 divide u?
True
Let y(n) = 11*n**3 + 19*n**2 + 5*n - 31. Let z(c) = -7*c**3 - 13*c**2 - 3*c + 21. Let j(s) = 5*y(s) + 8*z(s). Is 3 a factor of j(-9)?
False
Suppose 0 = 6*i - 19*i + 169. Does 3 divide i?
False
Let d be 3 - 1 - 2/1. Suppose q = 5*r, -2*q + r + r = d. Suppose q*t = -4*t + 32. Does 4 divide t?
True
Let x(r) = 4*r**2 - 5*r - 44. Does 13 divide x(-6)?
True
Let s be 7/(7/(-12)) - 2. Suppose -o + 4*o = 99. Let r = o - s. Is r a multiple of 16?
False
Suppose -2*h + 32 = -118. Suppose h = z + 2*z. Is 13 a factor of z?
False
Let w(a) = -6*a**3 - a**2 - 2*a - 1. Let o be w(-1). Is 0 + 19 + -5 + o a multiple of 10?
True
Let u(f) = -f**3 + 8*f**2. Suppose 0 = k + 4*d - 4, 4*d - 26 = -4*k + 2. Let o be u(k). Suppose -2*g = -o*g - 28. Does 14 divide g?
True
Let w(a) = -17*a - 1. Let d be w(-4). Suppose 4*v + 3*q - d = 8*q, v = -q + 19. Does 3 divide ((-10)/(-15))/(4/v)?
True
Let u = -90 + 51. Let 