 = -o**2 - 4*o + 5. Let u be h(-5). Suppose u*c = 2*t + c - 51, -5*t + 126 = 4*c. Is 18 a factor of 1400/26 - (-4)/t?
True
Let i(x) = 4*x**2 + 3*x - 7. Suppose -2*z - 6 = v, 0 = 2*v - v + 3*z + 10. Is i(v) a multiple of 3?
True
Suppose -x = 4*x - 115. Let p = -19 + x. Is p even?
True
Let b be (0 - 1) + (80 - 2). Suppose 2*t = 101 + b. Let s = t - 63. Is s a multiple of 13?
True
Let t be -32*2*(-3)/12. Let f = 49 - t. Does 3 divide f?
True
Suppose -5*l = 0, -2*c + 4*l + 79 = -43. Let p(r) = -r**2 + 12*r - 12. Let b be p(9). Let m = c - b. Is m a multiple of 12?
False
Let f = -13 + 22. Let h = 5 - f. Is (-194)/(-18) + h/(-18) a multiple of 11?
True
Let q be (1/(-2))/(1/(-296)). Let n be (9/15)/(11/55). Is 13 a factor of q/n + 8/12?
False
Let z be (-3 - -3)/3 + -1. Let p be 1/(z/3) + 36. Suppose -4*u - p = -113. Is u a multiple of 10?
True
Let i(n) = -n**3 - 11*n**2 - 4*n - 4. Let b be (6/(-3))/(8/44). Let t be i(b). Is 23 a factor of (23/(-2))/((-5)/t)?
True
Suppose -k + 4 = 7. Suppose -581 = 4*y + 359. Is y/(-15) - 1/k a multiple of 16?
True
Suppose -3*y + 1078 = p, -3*y - 13*p + 18*p = -1054. Does 10 divide y?
False
Suppose 10*w - 3349 + 589 = 0. Suppose 0 = -d + 7*d - w. Is d a multiple of 8?
False
Is (21/(-5) - -4) + (-6003)/(-15) a multiple of 40?
True
Let k be (2 + -71)*500/(-60). Suppose 10*u = 855 + k. Is 30 a factor of u?
False
Suppose 21*v - 8*v = 0. Suppose 1232 = -v*z + 7*z. Is z a multiple of 14?
False
Suppose 2*s + 20892 = 8*s. Is s a multiple of 68?
False
Suppose 15927*q = 15924*q + 2367. Does 59 divide q?
False
Let w(k) = -5*k + 14. Let g be w(4). Let j = 6 - g. Does 3 divide j?
True
Let q(z) = 11*z**2 - 3*z + 16. Is 15 a factor of q(-11)?
True
Let v(j) = 72*j**2 + 2*j - 10. Suppose y - 5 = -3*o + 2*o, o = -2*y + 7. Does 18 divide v(y)?
False
Let c be (-12)/(-5)*10/4. Is 23 a factor of 2/c*119*3?
False
Let z(v) = v**3 + 3*v**2 - 3*v + 6. Let r be z(-4). Suppose -u = -x + 39, r*x - x + u = 43. Is 3 a factor of x?
False
Suppose -11*k = 4316 - 13776. Suppose 4*m - 5*m - 4*u + 160 = 0, 5*u = -5*m + k. Is 22 a factor of m?
True
Let t(x) = 64*x - 8. Does 44 divide t(7)?
True
Suppose o + 5*i + 9 = 0, 0 = 5*o - 4*i - 18 + 92. Let v be o/(-4) - (-9)/(-6). Suppose -58 = -v*b + 24. Is 10 a factor of b?
False
Suppose -4*a + 77 = -3*d, 2*d - 4*d - a - 55 = 0. Let c = d + 44. Does 17 divide c?
True
Let f be 6/10 + (-27)/45. Suppose -39 = -4*k - b, f*b = 3*k - 2*b - 21. Suppose 0 = -4*q + 113 - k. Is q a multiple of 11?
False
Let s(w) = 33*w - 7. Let n = -2 - -9. Is s(n) a multiple of 13?
False
Suppose 0 = 3*i + 9, -7386 = 16*a - 19*a - 2*i. Is 8 a factor of a?
True
Suppose 6 = u - 3. Let g(s) = s**2 - 3*s - 4. Is g(u) a multiple of 10?
True
Let d = 711 + -393. Is d a multiple of 33?
False
Is 6/(-4)*2*2648/(-24) a multiple of 15?
False
Let l(k) = -k + 5. Let j(q) = -3*q**2 + 2*q. Let m be j(2). Is 4 a factor of l(m)?
False
Does 61 divide 6/10 + 112238/70?
False
Let s(w) = 213*w**2 + 2*w - 2. Is 34 a factor of s(1)?
False
Let i(y) = -y**2 - 5*y - 4. Let v be i(-4). Suppose v*t = 3*t - 9. Suppose n = -t*f + 97, 4*f + n - 131 = -0*n. Does 13 divide f?
False
Let p(z) = -4*z - 10. Let d be p(-5). Let q = d + -13. Is 2 a factor of q/18 - 25/(-6)?
True
Suppose 0*d - 4*w - 214 = -2*d, -2*w - 4 = 0. Is d a multiple of 7?
False
Let g = 355 - -597. Is g a multiple of 34?
True
Suppose -16*y - 1166 + 6142 = 0. Does 21 divide y?
False
Let t be 2*-8*-2 + -3. Let u = t + -15. Suppose -4*g - 2*i = -u, 3*i = -g - 0*i - 9. Is g a multiple of 3?
True
Let u(s) = 69*s**2 - 6*s - 5. Does 9 divide u(-2)?
False
Let i(l) = 719*l**2 + 3*l + 4. Is 33 a factor of i(1)?
True
Let k be 90900/(-99) - 4/(-22). Does 35 divide (3/9)/((-2)/k)?
False
Let y(b) be the first derivative of -9*b**2/2 + 6*b + 37. Let x be 2/(-6) + 5/(-3). Does 24 divide y(x)?
True
Let i = -84 + 601. Is i a multiple of 47?
True
Let p = 28 + -22. Suppose t - 4*h = -p + 55, 0 = 5*t + 3*h - 245. Does 9 divide t?
False
Let g = -503 - -566. Does 3 divide g?
True
Suppose -f + 2 = 3*y, 6*y = 5*f + 2*y + 47. Let z(p) = 12*p + 6 - 6*p + p**2 + p. Is z(f) a multiple of 2?
True
Suppose 0 = 2*c - 3*c. Let l = 2 + c. Suppose -2*d + 52 = -l*h, 118 = 5*d + h - 3*h. Is d a multiple of 6?
False
Let d = -59 - -194. Is 9 a factor of d?
True
Suppose 0 = -2*f - 6*g + 4*g + 16, 2*f - g = 1. Suppose f*m - a = a - 1, a = 2. Suppose 20 = 3*n - m. Is n even?
False
Let k(w) = -88*w + 16. Is k(-4) a multiple of 16?
True
Let g(m) = m**3 - m**2 - m. Let l be g(0). Suppose 5 - 1 = 4*b + 3*d, 4*b - d + 12 = l. Is 5 a factor of (-45)/(-6) + b/(-4)?
False
Let w(x) = -2*x**3 - 2*x**2 + x - 1. Let s be w(-2). Suppose 40 = -s*j - 0*j. Does 6 divide 174/8 - j/32?
False
Is (-7)/(42/120)*(-2002)/65 a multiple of 12?
False
Suppose 3*f + 5*k - 531 = 0, -2*f - 3*k + 463 - 108 = 0. Suppose -f = -3*i + 151. Suppose 0 = 5*m - i - 19. Is m a multiple of 12?
False
Let v be 2 + -4 + (4 - 4) - -6. Suppose -u = v*b - 4*u - 58, -5*b + 71 = -3*u. Is b even?
False
Suppose -4*l = -2*i - 64, 2*i - 2*l - 3*l = -65. Does 13 divide 132*((-5)/i - 1/(-6))?
False
Suppose 48*h - 145539 - 26493 = 0. Is h a multiple of 19?
False
Suppose 9*i + 20 = -7. Is 6 a factor of ((-10)/(-30))/(i/(-99))?
False
Let s = 172 + -103. Suppose -5*z = -y + 57, y - 2*z = -0*z + s. Is y a multiple of 17?
False
Suppose -2*f + x = -806, 4*x + 400 = 2*f - 418. Is 40 a factor of f?
False
Is 7 a factor of ((-6 - -10) + -408 + 3)*-1?
False
Suppose -d + 7*a = 8*a - 91, -5*a = 4*d - 367. Is d a multiple of 22?
True
Let i(c) = 2*c + 1. Suppose 0*d = -5*k + 5*d, 0 = -3*k - 3*d + 18. Let n be i(k). Suppose -21 = -n*z + 4*z. Is 5 a factor of z?
False
Let c(a) = -a**3 - a**2 - 6*a + 272. Is 68 a factor of c(0)?
True
Suppose 0 = 12*v - 10*v - 8. Does 9 divide (-14)/(-1 - (-2)/v)?
False
Let h = 1246 - 609. Is h a multiple of 95?
False
Let a(y) = 3*y**2 - 4*y + 16. Let m = 40 + -33. Is 23 a factor of a(m)?
False
Let b(j) = -9*j - 37. Is b(-19) a multiple of 3?
False
Suppose 3*j = 4*c + 153, 150 = 2*j - c + 53. Let f = -32 + j. Suppose 2*l - 113 = f. Is l a multiple of 16?
True
Let y = 1047 + -630. Suppose y = 4*i - 7. Is i a multiple of 16?
False
Let r = -248 - -78. Is r/(-4) + 9/18 a multiple of 2?
False
Let d be 14/6 + 3/(-9). Suppose -d*t = u - 8, 0*t + 5*u = -2*t + 24. Suppose -t*f - z + 49 = -95, -5*f = 5*z - 370. Is 10 a factor of f?
True
Let l = 977 - 660. Is l a multiple of 6?
False
Suppose -69 - 11 = -5*d. Let p = d + -12. Let a(u) = u**2 + 2*u + 5. Is 13 a factor of a(p)?
False
Let g = 16 - 13. Suppose 0 = -g*n + 14 + 1. Suppose 5*p - 245 = -5*o, -n*p - 5*o = -o - 247. Is p a multiple of 17?
True
Let k = 166 + -76. Does 23 divide k?
False
Suppose -5*h = -21 - 4. Suppose -3*q - h*o + 452 = -71, -3*o = 3*q - 525. Is q a multiple of 26?
False
Let w = -18 - -23. Suppose -w*h + 0*t - 2*t = 163, 85 = -3*h + 2*t. Let i = 67 + h. Is 18 a factor of i?
True
Let j(d) = d + 2. Let o(f) = f + 1. Let b(r) = 2*j(r) - 3*o(r). Let w(i) = -2*i**2 + 5*i + 2. Let q(v) = 5*b(v) - w(v). Is q(9) a multiple of 21?
False
Suppose -4*p = -5*o - 15, 3*p - 13 - 2 = 5*o. Let b be (-4)/(-3) + 6/9. Suppose 22 + p = b*z. Is z a multiple of 11?
True
Suppose 13*c = 14*c - 6. Suppose 4*u + 4*g - 2 = 3*g, -3*g + c = -3*u. Suppose -172 = -2*q - 5*h, 2*q - h - 160 = -u. Does 22 divide q?
False
Let s(c) = 456*c - 281. Does 31 divide s(5)?
False
Let i(u) = -u + 1. Let v be i(-2). Suppose -v*y + 5*w + 13 = -7, -3*w = -3*y + 12. Suppose -5*g = -3*g + 4, 2*p + 3*g - 78 = y. Is p a multiple of 21?
True
Let g = 505 + -364. Is 12 a factor of g?
False
Let p(a) = 5*a**2 + 52*a - 36. Let t(r) = -r**2 - 13*r + 9. Let i(s) = -2*p(s) - 9*t(s). Let j be i(12). Suppose 6*q - j*q - 237 = 0. Does 20 divide q?
False
Suppose 4*i = -4*l - 392, 0*i = 2*i. Let v = 163 + l. Does 13 divide v?
True
Suppose -6*m - 283 = 389. Let q = m + 160. Does 7 divide q?
False
Let s = 60 - 56. Suppose 5*z - 158 = s*z + 5*x, 0 = 3*z + 3*x - 438. Is z a multiple of 19?
False
Let t = -245 - -245. Let k be (0 - 1 - -7) + -1. Is k - (0 - t)*1 a multiple of 5?
True
Let j = 14 + -34. Let v = j - -22. Suppose 0 = o - 5*o + a + 11, 2*a = v. Is o a multiple of 3?
True
Let s(v) = v**2 - 7*v + 90. Does 84 divide s(34)?
True
Suppose -17*h + 13*h - 4*v = -3292, 1649 = 2*h + 3*v. Is