88 + 9. Let i = f + q. Does 12 divide i?
False
Is 36 a factor of (5760/(-100))/(1/(-5))?
True
Let m = 12 - 6. Let c be (m/(-21))/(3/(-21)). Suppose -5*n - c*r = -3 - 13, -4*n - 3*r = -10. Is 2 a factor of n?
True
Let u be (-2 - (-160)/4)*(-53 - -1). Is (-1)/(-2*(-4)/u) a multiple of 35?
False
Let n be (4 + -4 + 1)*3. Suppose 12 = z - 4*f, 0 = n*z - 0*z + 2*f + 20. Let k = z + 20. Is 8 a factor of k?
True
Suppose -84*g + 78*g + 12 = 0. Suppose -3*k - 16 = -g*b + 61, -5*k = 15. Is 17 a factor of b?
True
Let i(j) = -j + 2. Let t be i(-2). Let v be (-24)/(-4) - 0/t. Let h(w) = 3*w. Is 18 a factor of h(v)?
True
Let s = 67 + -52. Does 9 divide (s/10)/(1/78)?
True
Let u be ((-1)/2)/(6/(-72)). Suppose -2*g = -4 - u. Suppose 5*d + g*s - 60 - 30 = 0, 0 = -2*d + 3*s + 46. Does 10 divide d?
True
Let u be -2*(-14)/(-8)*18. Let d be u*(-2)/(-4)*-2. Let f = d + 44. Is f a multiple of 32?
False
Suppose -7*b + 1294 + 1317 = 0. Does 15 divide b?
False
Let s = 0 + 2. Let k be (-1)/s - (-85)/34. Is k/(-4)*(-2 - 72) a multiple of 9?
False
Let b(u) = -u**3 - 4*u**2 - 4*u + 2. Let r be b(-6). Suppose -150 = -2*i - x, 3*i = -3*x - r + 329. Does 21 divide i?
False
Let u = 14 + -12. Let i(j) = -3*j**2 + j + j + 4*j**u + j**2. Is i(-6) a multiple of 20?
True
Let j = -716 + 950. Is 3 a factor of j?
True
Let h = 9 - -7. Is (h/(-6))/((-14)/231) a multiple of 10?
False
Let n = 442 + -298. Does 6 divide n?
True
Suppose 0 = -2*i - 3*s + 7, 0 = -2*i - 0*s - 2*s + 10. Let g be 567/4 - (-2)/i. Suppose 3*t - g = -4. Is t a multiple of 10?
False
Let h be (8 + -6)*206/(-4) + 2. Let a = h - -227. Does 18 divide a?
True
Let q(s) = s**3 + 9*s**2 + 16*s + 1. Let n(l) = 3*l + 5. Let a(u) = u + 1. Let p(b) = -4*a(b) + n(b). Let y(f) = 5*p(f) + q(f). Is 14 a factor of y(-7)?
False
Suppose 3*j = 4*y + 429, 4*j - y = y + 582. Does 4 divide j?
False
Let w(c) = -c**3 + 8*c**2 - 6. Let y be w(5). Suppose 3*f - 294 = 2*a, -f + 2*a + y + 25 = 0. Is 25 a factor of f?
True
Suppose -2*n + 682 = -0*n. Suppose 8*m - 4*m - 12 = -q, 3*q = 2*m - 6. Suppose 248 = 2*s + 2*g + 64, q = 4*s - 5*g - n. Is s a multiple of 29?
False
Let a(j) = -j**2. Let i(w) = 4*w**2 + 14*w - 3. Let f(s) = -3*a(s) - i(s). Is f(-14) a multiple of 3?
True
Let c be (-3)/2*(-228)/(-18)*-3. Let u = 76 - c. Does 19 divide u?
True
Suppose 0 = 40*n - 45*n + 110. Suppose -17*t = -n*t + 915. Is t a multiple of 56?
False
Let l be 44 + (-5 - -2) + -3. Suppose 2*j - o = -3*o + l, -5 = 5*o. Is 5 a factor of j?
True
Suppose 3*a - 54 = -0*a. Let h = 32 - a. Does 6 divide h*(1 - 0) - -1?
False
Let a be (-1)/(-4) - (-277)/(-4). Let v = 147 + a. Is v a multiple of 14?
False
Let d be 90/(-4) + 2/4. Let g = d - -117. Suppose -2*u - 3*u = 5*h - g, 2*h - 4 = 0. Does 8 divide u?
False
Let r(t) = -t**2 - 48*t - 21. Does 33 divide r(-42)?
True
Let t(b) = -b**3 + 7*b**2 + 13*b - 28. Let h be t(8). Suppose -h*v + 7*v + 595 = 0. Is 7 a factor of v?
True
Suppose 1632 = -223*r + 229*r. Is r a multiple of 25?
False
Let z be (-2)/(-9)*108/12. Is z/((10/52)/5) a multiple of 17?
False
Let g be 3/(-7) + 155/35. Suppose g*v - 2*v = -24. Does 4 divide (-3)/v + (-189)/(-12)?
True
Suppose 18*d - 2*d - 3504 = 0. Does 23 divide d?
False
Let x be (-4)/(8 + -4)*-10. Suppose -9*t - 2 = -x*t. Let i(n) = 4*n**2 - 2*n + 2. Does 9 divide i(t)?
False
Let n(s) = -s**2 + 13*s + 21. Let w be n(15). Let j be (-8)/4*2 - w. Suppose -168 = -j*i - i. Is i a multiple of 7?
True
Suppose j - 22 = -5*g - j, -j = -1. Suppose 5*k + n = 55, -g*n - 8 = k - 0*n. Suppose k = 2*d - 48. Does 10 divide d?
True
Suppose -201 + 195 = 2*v. Let h = 42 - 15. Let n = h + v. Does 24 divide n?
True
Let a = -1255 - -1304. Is a a multiple of 18?
False
Let b(y) = 7*y**2 + 21*y - 11. Is 97 a factor of b(11)?
True
Suppose i = 4*c + 284, -2*i - 4*c = -4*i + 584. Is 10 a factor of i?
True
Suppose -5*m + 33 - 7 = 3*o, 2*o - 24 = -5*m. Does 7 divide 1*-6*(-6)/o?
False
Let n be 1 - 8/(5 + -1) - -3. Suppose -2*s = n - 42. Is 5 a factor of s?
True
Suppose -260*s + 266*s = 84. Does 8 divide s?
False
Let s(a) = 4*a**2 - a + 58. Let q(k) = 3*k**2 - k + 57. Let i(b) = 3*q(b) - 2*s(b). Does 4 divide i(0)?
False
Suppose 17 = 3*y - 5*c - 135, -3*c + 6 = 0. Let h = y + 100. Is 22 a factor of h?
True
Let b be 18*((-20)/12 - -2). Let c = b + 228. Does 18 divide c?
True
Let c(m) = 7*m**3 + 9*m**2 - 9*m + 1. Let o(t) = -6*t**3 - 9*t**2 + 9*t. Let q(h) = 5*c(h) + 6*o(h). Does 4 divide q(-10)?
False
Suppose v - 2*m - 768 = -242, 1598 = 3*v - 2*m. Does 67 divide v?
True
Let g(v) = 3*v**2 + 47*v - 23. Does 65 divide g(-27)?
False
Suppose 5*z - 504 = z - 5*j, -5*z + j + 601 = 0. Suppose 2*y + l - 38 = -l, -z = -4*y + 5*l. Is 14 a factor of y?
False
Suppose 7*i = -12*i + 95. Suppose 4*x = -h + 3*x + 80, i*h + 2*x = 388. Is 5 a factor of h?
False
Let o(g) = 5*g**2 + g + 6. Let m = -25 - -22. Let d be o(m). Is 4 a factor of -4*(-5)/40*d?
True
Let y(g) = g**2 + g - 2. Let m be y(2). Suppose 4*f - m = 2*f. Is (8/(-16))/(f/(-80)) a multiple of 11?
False
Let c be (2/(-4))/(1/(-2)). Suppose -164 = -6*l - 266. Let v = c - l. Is 11 a factor of v?
False
Does 65 divide 98/(-4)*(26 + -156)?
True
Suppose 5*k = -5*k + 590. Suppose -136 = -k*b + 55*b. Is 11 a factor of b?
False
Let h(n) = 2*n + 68. Is 18 a factor of h(-7)?
True
Let g = 4116 + -2341. Is g a multiple of 25?
True
Suppose 14*t - 230 - 302 = 0. Is t a multiple of 19?
True
Let r = 7 + -5. Suppose -h + 50 = -5*z - r*h, 0 = -5*h - 25. Is 7 a factor of 18 + (z/3 - -6)?
True
Suppose 48*s + 5520 = 94*s. Is s a multiple of 22?
False
Suppose -5*m + 3793 = 278. Does 12 divide m?
False
Let l(g) = 15*g**2 - 13*g + 71. Is 28 a factor of l(6)?
False
Let n(i) = -i**2 - 28*i + 154. Is n(-19) a multiple of 13?
True
Let q = -750 - -1860. Does 30 divide q?
True
Is 76 a factor of (1/(-4) - (-1845)/(-300))*-95?
True
Let l = -3 - 10. Let p = -8 - l. Suppose 4*g - 22 = -p*i + 86, -3*i - 2*g = -64. Is i a multiple of 10?
True
Is 8 a factor of 585/4 + (-150)/(-200)?
False
Suppose r = -0 + 8. Suppose -3*k = -3*w - 195, 0 = -2*k - r*w + 4*w + 118. Does 21 divide k?
True
Is 21 a factor of (-3471)/(-12) - (-13)/(-52)?
False
Let h(o) = 4*o + 117. Let l(i) = 9*i + 237. Let k(c) = 5*h(c) - 2*l(c). Let r be ((-1)/(-1) - 1)/(-1). Is k(r) a multiple of 37?
True
Suppose 5*f + 621 = 5*y - 2684, 656 = y - 2*f. Is y a multiple of 11?
False
Let i(o) = 13*o - 14*o + 4 + 23. Does 5 divide i(12)?
True
Let u(w) = 2*w + 36. Let q be u(-20). Does 21 divide q*(-84)/16*2?
True
Let f be 5 - 1 - (-2 + -1089). Suppose -3*d + f = -0*d. Suppose 4*u - d + 29 = 0. Is 14 a factor of u?
True
Suppose y + 2*l - 180 = 5*l, 3*y + l = 550. Is y a multiple of 9?
False
Suppose -100*d = -104*d + 300. Suppose -3*z = -0*z - 15. Suppose 0 = 5*b + 5*a - a - 125, -3*b - z*a = -d. Does 4 divide b?
False
Let j be 2/(352/175 - 2). Let i be (j/21)/(2/18). Suppose 6*n = n + i. Does 15 divide n?
True
Let x = -20 + 23. Suppose b + 5 = x*l, 3*l + 0*b + 5*b = 29. Suppose v = -3*f + 217, -79 = -l*f + 2*f + 3*v. Is f a multiple of 18?
False
Suppose t - 50 = -x, 2*t - 7 - 89 = -3*x. Let b(j) = -j**2 + 11*j + 2. Let z be b(7). Does 2 divide t/10 + z/50?
True
Suppose -3*d - 2*q = 40, -4*d = -0*q - q + 68. Let l = d + 44. Does 19 divide l?
False
Let n(b) be the second derivative of b**5/4 + 3*b**4/4 + 2*b**3/3 + b**2 - 9*b. Let a be n(-7). Is 25 a factor of (a/39)/(1/(-3))?
True
Let c = -259 + 637. Suppose 4*h + u - c = -4*u, -3*u + 374 = 4*h. Is 46 a factor of h?
True
Let k(c) = -c**2 - 12*c - 28. Let r be k(-12). Let t = r + 56. Does 2 divide t?
True
Does 26 divide ((-156)/(-10))/((-66)/(-880))?
True
Let q(y) = -2*y + 50. Let x be q(-10). Let f be 121/(-4) - 5/(-20). Let l = x + f. Does 16 divide l?
False
Suppose 1463 = 120*d - 113*d. Is d a multiple of 6?
False
Let j(o) be the first derivative of -o**4/4 - 17*o**3/3 - 3*o**2/2 + 9*o - 8. Let u be (-2)/8 + (-201)/12. Is j(u) a multiple of 20?
True
Let y(p) = -8*p - 6. Let c(a) = -5*a**2 + 6*a - 4. Let w be c(2). Is y(w) a multiple of 30?
True
Suppose b + 13 = -3*q, -2*b + 0*b + 3*q = 8. Let a(x) = -x**3 - 6*x**2 + 4*x + 4. Does 3 divide a(b)?
False
Suppose 17 = 3*h - 5*u, -u = -4*h - 0*u + 17. Let m = 2 - h. Let w = 18 + m. Is 14 a factor of w?
False
Suppose -7*u + 3481 = -1055. Is u a multiple of 6?
True
Suppose