ue
Suppose -y + 5*x = 22, -y - 3*y - 67 = x. Let s(i) = i**3 + 16*i**2 - 19*i + 2. Is 9 a factor of s(y)?
True
Is 10 a factor of 195 - -1*1/((-4)/(-20))?
True
Let l(o) = -8*o + 122. Is 14 a factor of l(-4)?
True
Let k(x) be the first derivative of 26*x**2 - 3*x + 5. Suppose 2*c - 5*y + 23 = -0*c, -2*y = -10. Is k(c) a multiple of 13?
False
Suppose -21*q + 475 = -1289. Is 14 a factor of q?
True
Let q = -111 + 109. Let p(m) = 46*m**2 - 4*m. Is 14 a factor of p(q)?
False
Let h be ((-6)/(-5))/((-1)/670*-1). Suppose h = 6*j - 156. Is 30 a factor of j?
False
Let l = -8088 - -13353. Is 135 a factor of l?
True
Let w be 0 + -86 - (-1 + (1 - -1)). Let c(u) = 7*u**2 - 5*u + 2. Let q be c(-4). Let z = q + w. Does 12 divide z?
False
Let j(k) = -160*k - 252. Is 23 a factor of j(-7)?
False
Let u(b) = b**3 + 6*b**2 + 4*b - 11. Let n be u(-5). Let m(y) = y**2 + 3*y - 8. Does 10 divide m(n)?
True
Suppose -11*g = -6*g + 50. Let n = g - -24. Suppose 5*d = n + 151. Does 18 divide d?
False
Let o be 21/35 - (-483)/(-5). Let n = 121 + o. Is 5 a factor of n?
True
Let c be 1 + (0 - -3) - -9. Does 24 divide -6*(2 - 1 - c)?
True
Let g(h) = -68*h - 28. Let m be (-2)/(-3)*(-18)/4. Is 16 a factor of g(m)?
True
Suppose -4*y = -223 - 1489. Is y a multiple of 54?
False
Let d(n) = -2*n - 12. Let u be d(-8). Suppose 3*o = o + u. Suppose -4*f + 36 = o*j - 0*f, 0 = 5*f. Is 7 a factor of j?
False
Let b = -172 + 177. Let u(j) = -2*j**3 - 3*j**2 - 3*j - 4. Let h be u(-3). Suppose -b*a + h = -4*a. Is 14 a factor of a?
False
Suppose -9*f = -12*f - 9. Let y be -3 - (f - 2) - -1. Suppose h - 53 = s, y*s - 4*s = -4*h + 209. Is h a multiple of 20?
False
Let y be ((3 - 12) + 3)/2. Does 2 divide 6*(y - 65/(-15))?
True
Let s = 6 - 2. Let z = 7 - s. Suppose z*t = 4*d - 73, -3*d - 4*t = -d - 20. Does 8 divide d?
True
Suppose o - 5*z - 21 = 0, -4*o - 2*z - 2*z + 204 = 0. Suppose v - o = -14. Does 16 divide v?
True
Let v be 2 - ((1 - 0) + 5). Suppose r - 5 + 11 = 0. Does 4 divide r/v - 35/(-14)?
True
Let g(x) = -x - 29. Let h be g(0). Let a = h + -2. Let o = a + 73. Is o a multiple of 9?
False
Suppose -b = -0*b - 8. Let s be 2/b - (-4)/(-16). Suppose 5*o - 102 = j + 76, -j - 3 = s. Does 12 divide o?
False
Suppose -40*d + 1736 = -26*d. Does 11 divide d?
False
Suppose -3*h = 5*p - 478, 480 = 2*p + 3*p + 5*h. Is p a multiple of 7?
False
Suppose 0*s = -2*s - c - 7, -5*s = -3*c - 10. Is 39 a factor of s/(-1 + 3)*-234?
True
Suppose -6 = 3*c, 0 = 60*r - 65*r - 5*c + 13075. Is r a multiple of 30?
False
Let v be (-3)/(9/20)*45/(-10). Suppose -7*i = -v*i + 2047. Does 52 divide i?
False
Suppose 0 = 4*o - 0 - 12. Suppose 0 = -3*u + 7*u - 16. Suppose -o*v = -u*v + 10. Is v a multiple of 5?
True
Let t(y) = 47*y**2 - y. Suppose -8 = z - 0. Let g be 1/4 - 6/z. Is 23 a factor of t(g)?
True
Does 12 divide (-1225)/(-14)*(-240)/(-70)?
True
Let p(n) = 3*n**2 - 14*n + 5. Let t = 41 + -34. Is 23 a factor of p(t)?
False
Let d = -1 - -1. Let f = 255 + -165. Suppose d = 5*c - 3*l + 4*l - f, -3*l = 0. Is 6 a factor of c?
True
Suppose 2*u = 2*k - 630, -4*k + 535 + 752 = 5*u. Does 53 divide k?
True
Let n = 202 - 142. Is 15 a factor of n?
True
Let l = 22 - 54. Suppose 65 = 3*r - 127. Let y = l + r. Is y a multiple of 16?
True
Let j(c) = -c**3 + c**2 + c. Let z be j(-2). Suppose 7*p - 37 = 4*p + 5*q, 0 = 2*q + z. Let k(m) = 2*m**2 - 3*m + 1. Is k(p) a multiple of 12?
False
Let j(l) = -7*l**3 - 7*l**2 - l + 2. Is j(-4) a multiple of 48?
False
Is (-1)/(0 - 2/(-12)) - -438 a multiple of 43?
False
Suppose -t + 56 = -3*z - 197, 5*t - 5*z = 1235. Is 61 a factor of t?
True
Let b(f) = -f**3 + 3*f**2 + 3*f + 4. Let o be b(4). Let u(p) be the third derivative of p**4/8 + 26*p**3/3 + 26*p**2 - p. Is 26 a factor of u(o)?
True
Suppose -12 = 3*o, -3*i - 5*o + 347 = -263. Let n be (i/(-63))/((-4)/42). Is 2 a factor of 2/(-5) - (-154)/n?
True
Let h(s) = -s**3 - 3*s**2 - s. Let i be h(-3). Let y be ((-6)/4)/(i/(-44)). Suppose 18 = 4*t - y. Is t a multiple of 9?
False
Let u be (9 - 0) + 1 + -5. Suppose u*k - s - 725 = 0, -3*k - 2*s + 412 = 2*s. Does 36 divide k?
True
Let l(q) = -q**3 - 20*q**2 - 36*q - 3. Let v be l(-18). Does 29 divide (0 + v)/(7/(-203))?
True
Suppose -324*i + 322*i + 560 = 0. Is i a multiple of 14?
True
Let n(w) = 35*w**2 - w - 70. Does 32 divide n(5)?
True
Let z be 3/(-3) + 2 + 42. Suppose 0*h - g - 150 = 5*h, 2*h + z = 3*g. Let n = h - -43. Is n a multiple of 9?
False
Let t(h) = 2*h**3 - 6*h**2 + 5*h + 1. Let r be t(3). Let x(v) = -v**3 + 15*v**2 + 21*v - 23. Is x(r) a multiple of 19?
True
Is 18 a factor of (-7*116/(-8))/(2/4)?
False
Let x(j) = -j**3 + 8*j**2 - 3*j. Let n be ((-1)/1)/((-2)/10). Does 15 divide x(n)?
True
Let d be 1223/3 - (-2)/6. Suppose h - 87 = -5*r, -d = -4*h + 3*r - 8*r. Is h a multiple of 27?
False
Suppose -43*x = -50*x + 8001. Does 10 divide x?
False
Does 7 divide ((-3 - -2) + -307)*3/(-6)?
True
Let n(h) = 5*h**3 - 4*h**2 + 5*h - 4. Let j be n(3). Suppose -2*t = -0*t - j. Let v = t + -30. Is v a multiple of 9?
False
Suppose 0 = -9*t - t + 50. Suppose -p + 516 = 4*p + 3*w, -2*p - t*w = -214. Is p a multiple of 13?
False
Let f = -2 - -13. Let p = f + -6. Suppose o - 3*i - 2 = i, p*o - 5*i - 85 = 0. Is 11 a factor of o?
True
Suppose 4*t = 5*k + 501 - 4202, -2932 = -4*k - 4*t. Is k a multiple of 5?
False
Suppose f - 317 = -4*x, -5*f + 2*x + 1636 = 5*x. Is 7 a factor of f?
True
Suppose 25 = -4*d + 9*d. Suppose 0 = o + i - 63 - 60, 2*i + 629 = d*o. Does 23 divide o?
False
Let c be (-1)/((20/(-84))/5*3). Suppose -c*i - i = -2000. Is 25 a factor of i?
True
Suppose -3*w = 2*j - 6*w + 35, 5*w - 25 = 2*j. Let y = j - -35. Let r = y + 26. Is 12 a factor of r?
True
Let g(c) be the second derivative of c**4/12 - c**3/3 - 5*c**2 - 18*c. Is g(-3) even?
False
Does 4 divide 1001/((-2)/(-6) - (-8)/12)?
False
Suppose 3*b - 1118 = -263. Let x = -103 + b. Does 13 divide x?
True
Let i be ((-440)/16)/(1/(-2)). Does 12 divide (25 + i)/(2/(-6) + 1)?
True
Is 13 a factor of ((-60804)/(-24))/((-7)/(-4) - 1)?
False
Let y = 1415 + -912. Is 15 a factor of y?
False
Let c be 150/36 + -1 + (-10)/(-12). Is (2/6 + -4 + c)*231 a multiple of 30?
False
Let p = 1365 + -933. Does 18 divide p?
True
Let o(u) = u**2 - 4*u + 22. Is o(-10) a multiple of 18?
True
Let r(j) = -16*j - 29. Does 15 divide r(-14)?
True
Is 102/34*195*1 a multiple of 14?
False
Suppose -10 = -4*m + 2*m. Suppose p - 11 = -2*y, -m*y - 2*p + 23 = -p. Suppose 0*s + y*s = 4*g - 120, 4*g + s = 135. Does 11 divide g?
True
Let d be 1/1*1 - -1. Let m = 257 + -255. Suppose -y - 3*g = -m*y + 29, d*g = -4. Does 8 divide y?
False
Let l(i) = i**2 - 16*i + 296. Is l(10) a multiple of 3?
False
Let i = -9099 - -15563. Is 27 a factor of i?
False
Is 21 a factor of (-3)/((-7 - -5)/770)?
True
Let l(m) = 3*m + 0*m - 2*m + 17 - 3*m. Let g(f) = -f + 6. Let y(k) = 7*g(k) - 2*l(k). Is 13 a factor of y(-6)?
True
Let m(j) be the third derivative of j**5/12 - j**4/24 + j**3/6 - 5*j**2. Let d = -5 + 2. Is m(d) a multiple of 7?
True
Suppose -4*u = 3*k - 1876, 2*k + 2*u + 642 = 3*k. Does 24 divide k?
False
Let l(v) = -v**2 - 3*v. Let q be l(-3). Suppose q = -5*s - 306 + 71. Let c = -3 - s. Is 19 a factor of c?
False
Let z be ((-15)/10)/((-6)/(-8)). Let m be 1 + z*2 + 4. Is 34 + 2 + (-3)/m a multiple of 11?
True
Suppose 74 = 8*y - 86. Suppose 86*h - 84*h - y = 0. Is 5 a factor of h?
True
Let h(t) = 7*t**2 - t. Let y(v) = v**3 + 4*v**2 - 5*v + 3. Let j be y(-5). Is h(j) a multiple of 11?
False
Let o(z) = z**2 + 7*z + 10. Let g be o(-5). Let c be 5 - (4 + g - 3). Does 20 divide c/10 - (-784)/40?
True
Let g(h) = 7*h**2 - 7*h + 14. Let u(d) = 15*d**2 - 15*d + 28. Let i(y) = 13*g(y) - 6*u(y). Does 14 divide i(-6)?
True
Suppose -2*x + 12*h - 9*h = -4955, -2*x + h + 4945 = 0. Is x a multiple of 84?
False
Suppose -2*t + 16 = -2*j, -2*j - 23 = -t + 2*j. Suppose t*s + 54 = -3*n, 50 = -5*n - 4*s - 36. Let d = 1 - n. Is 11 a factor of d?
False
Does 2 divide 1/((-7)/(-1295) - 0)?
False
Suppose 0*a = 3*a - 15. Let r be a - (-1 - -5 - 1). Suppose 0 = r*u - 1 - 35. Does 6 divide u?
True
Let z be (1 + 0)*(-2 + 2). Suppose 0 = -5*l + 7*l - 66. Suppose 2*s - s - l = z. Is 9 a factor of s?
False
Let t = 31 - 26. Let u be (-1*t)/(-5 + 4). Suppose -4*c + 309 = -h, -2*c + 0*c - u*h + 127 = 0. Is c a multiple of 17?
False
Let