745. Is 43 a factor of o?
False
Is 13 a factor of 11 + (-13098)/(-6) - 10?
True
Let z = 83 - 83. Suppose -3*h + 291 = -z*h. Does 12 divide h?
False
Is 43 a factor of (4/(-10))/(40/50)*-602?
True
Let x(o) = 19*o**2 + 27*o + 61. Is 2 a factor of x(-2)?
False
Let i(a) = 7*a + 8. Let o be (128/(-80))/((-2)/20 + 0). Is i(o) a multiple of 30?
True
Let a be (-602)/(-10) + 1/(-5). Let w = -28 + a. Suppose -w = -5*y + 73. Does 7 divide y?
True
Let c = -39 - -20. Let w = -7 - c. Is 4 a factor of w?
True
Suppose -2*a + 11 = -g, a - 3*g - 7 = -g. Suppose -f = 2 - a. Suppose -f*z = -4*y - 98, 2*y = 4*z + 6*y - 84. Does 13 divide z?
True
Is 2 a factor of 416/2 - (-7 + 13)?
True
Suppose 2*s - 11 = -x, 2*x - 6*x = 2*s - 26. Suppose -2*o + 348 = x*n, -o + 1 = 2. Is 35 a factor of n?
True
Let c(o) = o. Let v be c(-6). Let k be (-2 - v/4)*-4. Suppose 0 = -s + 4 + k. Is 6 a factor of s?
True
Let a be (118/(-6))/(13/(-39)). Suppose 72 = 4*q - 4*d, 0*d + 2*d + a = 3*q. Is 14 a factor of q?
False
Suppose -6*j + 9*j - 1356 = -2*u, 4*j - 2704 = -4*u. Does 42 divide u?
True
Let y(k) = -k**3 + 11*k**2 + 5*k + 18. Is y(10) a multiple of 25?
False
Suppose -3*s = 181 + 329. Let k = s + 333. Is 24 a factor of k?
False
Let c = -138 + 334. Is c a multiple of 7?
True
Suppose -2 + 4 = -2*m. Is 11 a factor of -4 - (-110)/1 - (0 - m)?
False
Suppose b - 328 = 90. Does 15 divide b?
False
Suppose -4*b + 5*b = -4*s - 1, 4*s - 13 = -3*b. Suppose -p + i = -175, 2*p - b*p - 3*i = -867. Is 29 a factor of p?
True
Let d(r) = -r**3 - 7*r**2 - 11*r + 5. Let u be d(-9). Suppose -4*x + u = -146. Is 23 a factor of x?
False
Let m(y) be the third derivative of 0*y + 0*y**3 + 35/24*y**4 - 5*y**2 + 0. Is m(2) a multiple of 18?
False
Let g(u) = -12*u - 1 - 5*u - 4*u + 4*u. Is g(-2) a multiple of 31?
False
Suppose 0*v + 12*v - 4716 = 0. Does 22 divide v?
False
Suppose 0 = -6*w - 4 - 20. Is 8 a factor of 60 - (-4 + (-4 - w))?
True
Let w = -12 - -14. Is (0 - 2/w) + (11 - -27) a multiple of 37?
True
Suppose 0 = -s + c + 1, 2*s - 4*s = 3*c - 22. Let t = -293 - -504. Suppose 0 = -s*o + t - 16. Does 13 divide o?
True
Let b(s) = s**2 - 36*s + 29. Let a be b(32). Suppose v = 99 + 55. Let d = v + a. Is d a multiple of 11?
True
Is (1/(-1))/((4 + -1)/(-2403)) a multiple of 18?
False
Let q = -6 - -10. Let z be (162/(-5))/(q/(-20)). Suppose 0 = 2*c + c - z. Is c a multiple of 16?
False
Let o(u) be the first derivative of u**3/3 - u**2/2 + 6*u - 1. Does 6 divide o(3)?
True
Let c = 24 + -22. Suppose -c*u + 168 = 2*u + 5*s, 84 = 2*u + 3*s. Is u a multiple of 24?
False
Suppose 5*v - 5199 = 7*y - 9*y, 2*v = 2*y + 2088. Is v a multiple of 29?
False
Suppose -4*s + 2*p + 2*p = 116, 0 = -3*s - 3*p - 69. Let h = s - -37. Is 831/33 + (-2)/h a multiple of 7?
False
Suppose -3*n + 25 = 5*d + 6, 0 = 5*d - 3*n - 31. Suppose 5*b = 2*m - 5*m + 25, 5 = b - d*m. Suppose -g + 3*g - 2*p = 28, 3*g - b*p = 34. Is g a multiple of 5?
False
Let v be 0*(-2 + -1 + 2). Suppose v = 9*x - 12*x + 15. Is 10 a factor of 52/5 + (-2)/x?
True
Let n(q) = -59*q - 253. Is 5 a factor of n(-7)?
True
Let u(j) = j**2 - 4*j. Suppose -4*s - 4 = 0, -4*d = -2*s + 4 + 6. Let z be u(d). Suppose 3 = -c + 6, 3*r - 4*c = z. Is 11 a factor of r?
True
Let l be (13 + -1)*225/(-30). Let m = -62 - l. Is m a multiple of 14?
True
Let k be 10/55 - (-1776)/33. Suppose -2*g + k = -72. Does 21 divide g?
True
Let h(c) = 8 - 7 - 2*c + 19*c. Is h(1) a multiple of 10?
False
Let h be ((-2)/(-3))/((-4)/(-54)). Suppose o = -h - 18. Does 27 divide ((-80)/6)/(9/o)?
False
Let h(r) = 12*r - 16. Suppose -3*y + 29 = -2*q, 50 = 5*y - q - 2*q. Is 20 a factor of h(y)?
True
Let k be (-3 + (-4)/(-12))*-3. Suppose -k = o - 14. Is 21 a factor of 2/(-6) + 128/o?
True
Let f(h) = 368*h**2 - h - 2. Is f(-1) a multiple of 23?
False
Let i(x) be the first derivative of 3*x**2/2 - 6*x - 11. Is 21 a factor of i(9)?
True
Let r(c) = 29*c**3 - 8*c**2 + 70*c - 240. Is 8 a factor of r(4)?
True
Let z = -251 - -446. Let y(i) = -i + 4. Let r be y(4). Suppose -5*a + r*a + z = 0. Is a a multiple of 13?
True
Suppose -3*k - 4 - 23 = 0. Let w(h) = -h**2 - 9*h + 5. Let o be w(k). Suppose o*m - 156 = m. Is 13 a factor of m?
True
Suppose k + 0 = 1. Let i = 7 + k. Let y(d) = -d**3 + 7*d**2 + 11*d - 1. Does 6 divide y(i)?
False
Let z(v) = 5*v**2 - 6*v. Let c be z(7). Suppose -3*g + c = -184. Suppose g - 29 = 2*d. Is 10 a factor of d?
True
Suppose 2*m = 15 - 13. Let h = 4 - m. Suppose q - 39 = -2*r, -h*r + 0*r - 81 = -3*q. Is q a multiple of 15?
False
Suppose 15 = 10*h - 7*h. Let m(z) = 5*z**2 + 3*z + 1. Let t be m(-2). Suppose -5*g + 4*c = 8*c - t, 3*c = h*g - 50. Is g a multiple of 2?
False
Let h(c) = -2*c**3 - 18*c**2 - 4*c. Let u be h(-10). Suppose -2*a + u = -r, 4*a + 2*r = -3*r + 480. Is 20 a factor of a?
True
Let h = -35 - -37. Suppose h = y + 5*l - 2*l, l + 2 = 0. Is y a multiple of 5?
False
Let h(a) be the first derivative of 9*a**4/2 - 2*a**3/3 - a**2/2 + 2*a + 2. Is h(1) a multiple of 7?
False
Let y(z) = 3*z**3 - z**2 - z. Suppose 0 = 9*u - 14*u + 10. Let v be y(u). Let i = v - -62. Is i a multiple of 20?
True
Let h = 73 + -81. Does 60 divide 71 + (-8)/(-6)*12/h?
False
Suppose -285 = -2*w - 0*w + u, 0 = -2*w - 3*u + 297. Suppose 2*t - 3*x - w = -8*x, 0 = 3*t + 3*x - 198. Is t a multiple of 28?
False
Let q = -189 - -430. Is q a multiple of 8?
False
Is 394 - (-2)/(-5)*10 a multiple of 23?
False
Does 2 divide (2/(10/3))/((-12)/(-540))?
False
Let n = 2 - -11. Suppose 0 = n*i - 16*i. Suppose -2*a + 111 - 15 = i. Is a a multiple of 16?
True
Let m = 2210 + -1110. Does 55 divide m?
True
Let g(s) = s**2 - 8*s + 6. Let r(l) = 13*l - 4*l - l**2 + 0*l**2 - 5. Let i(o) = 3*g(o) + 2*r(o). Does 14 divide i(9)?
False
Let a(l) = 7*l + 190. Let q be a(0). Suppose 0*i + i - q = 0. Is 30 a factor of i?
False
Suppose -d + 30 - 8 = -5*x, 5*x + 20 = 0. Suppose 2*u + 2*w = -2*w + 86, d*w = 2*u - 92. Let r = u - 19. Is r a multiple of 11?
False
Let m = 499 - 197. Is m a multiple of 9?
False
Let w(x) = -x + 14. Let p be w(14). Suppose p*q = 5*q - 25. Does 4 divide 10/3*9/q?
False
Let d(c) = -11*c - 9. Let m be d(-2). Let r(u) = 12*u - 37. Is r(m) a multiple of 17?
True
Suppose 129 = -7*x - 18. Let y(c) = -c**3 - 20*c**2 + 21*c + 27. Is y(x) a multiple of 3?
True
Suppose -15*b = -5*u - 20*b + 3330, -2*b + 1994 = 3*u. Is 7 a factor of u?
False
Let j be 25/(-4) + 1/4. Let g(a) = -2*a + 12. Is g(j) a multiple of 4?
True
Suppose -5*k = -3093 - 8967. Suppose w - k = -11*w. Does 37 divide w?
False
Suppose 5 = -7*t - 30. Is (t + -1)/(-2) + 88 a multiple of 24?
False
Let z(l) = l**3 - 7*l**2 + 10*l - 16. Suppose -3*t + x + x + 11 = 0, 1 = -2*t + 3*x. Is z(t) a multiple of 21?
False
Let s(t) = -t**2 + t. Let z(u) = -5*u**2 + 9*u + 10. Let v(b) = 4*s(b) - z(b). Is 4 a factor of v(7)?
True
Does 17 divide 36/(-30)*(-3825)/18?
True
Suppose -13*g + 6*g + 28 = 0. Suppose 31 = g*z - 2*s - 139, z - 40 = s. Does 18 divide z?
False
Suppose -m + 4*p = -7323, 6*m - 36583 = m + 4*p. Does 15 divide (2/4)/1 - m/(-70)?
True
Suppose -3*g + 21 = -0*g. Let u be (g - 14)/((-2)/6). Suppose 3*c - u + 6 = 0. Does 5 divide c?
True
Suppose 5*n = 8*t - 10*t + 4670, -9340 = -4*t + 5*n. Is 103 a factor of t?
False
Let a(b) = -3*b + 227. Does 53 divide a(-6)?
False
Let b(r) = 97*r + 181. Let f be b(-2). Let k = -18 + 12. Is 10 a factor of (-24)/k - (-1 + f)?
False
Let d be 7 + 7 + -3 - -1. Suppose -d*j - 142 = -13*j. Is 14 a factor of j?
False
Let c = 41 - 36. Suppose 100 - 280 = -c*d. Does 6 divide d?
True
Does 25 divide (3 - -349) + 0 + 4/(-2)?
True
Suppose i - 1 = 3. Suppose -17 = -3*b + i. Is 7 a factor of b?
True
Let h(j) = -56*j + 124. Does 74 divide h(-11)?
True
Let w(x) = -x**3 + 10*x**2 + 15*x - 13. Suppose 0*u - 9 = -u + 2*z, 0 = 2*u - 2*z - 14. Let c(n) = 2*n + 1. Let i be c(u). Is 11 a factor of w(i)?
False
Let w be (18/(-15))/((-3)/10). Suppose 5*f - 233 = -w*b + 209, -4*f = -3*b + 316. Suppose j = -3*j + b. Is j a multiple of 13?
False
Is 56 - (4 - -14)/(-6) a multiple of 14?
False
Suppose -3*b + 2*o + 20 = 0, 0 = o - 4*o - 3. Suppose 0 = -0*t + 3*t + b. Is (-121)/(-5) + t/10 a multiple of 11?
False
Does 21 divide ((-342)/(-21))/(9/2646*6)?
True
Let s(c) = 5*c**2 - 11*c - 19. Is s(9) a multiple of 16?
False
Let w be (-1)/2*0*5/(-20). Is (w - ((-34)/(-8) - 4)