 - 117. Let g = 118 + w. Is 14 a factor of g?
True
Is 188 - 31 - (2 + -7) a multiple of 12?
False
Does 12 divide (-1 + 11)*-1 - -3586?
True
Let j(g) = 62*g - 68691 + 68691. Suppose 0*k - 3 = -3*k. Is j(k) a multiple of 13?
False
Let j = 1126 + 217. Is j a multiple of 35?
False
Does 12 divide (-1)/((-15)/3560)*12/8?
False
Suppose -4*i = -3*a + 5*a - 6, 3*a - 7 = -4*i. Let z(k) = 5*k**2 - 4*k + 3. Let w be z(a). Suppose 0*t - 44 = -t + w*v, -9 = -3*v. Does 14 divide t?
True
Suppose -2*m - 5*w = -272, -58 = -m - w + 72. Suppose -3*q = -207 - m. Does 9 divide q?
False
Is 54 a factor of 1297 - 1 - (2 + (3 - 5))?
True
Is (-4)/(2*(-7)/196) a multiple of 11?
False
Let h(o) = 3249*o**3 - 2*o**2 + 3*o - 1. Let y be (8/(-4)*1)/(-2). Let l be h(y). Is 15 a factor of 1/(-6) + l/54?
True
Suppose -23 = x - 5*w, 3*x + 3*w = -16 + 37. Let d = 71 - x. Is 1/((-1)/d*-3) a multiple of 14?
False
Let h be 11*1/(-1)*1. Suppose 3*t - 5*k - 15 = -2*k, 3*t - 4*k = 15. Let x = t - h. Is 8 a factor of x?
True
Let r = -36 - -28. Does 16 divide (2499/84)/((-2)/r)?
False
Does 35 divide (-8)/(-10)*561750/428?
True
Let z(c) = -c**3 + 12*c**2 - 8*c + 18. Let w be z(12). Let u = -48 - w. Is 30 a factor of u?
True
Suppose -c - 1 + 2 = 0, c = -5*o + 2591. Let n = o + -246. Suppose 5*g = r - 50, 4*r - g = g + n. Is r a multiple of 16?
False
Let y = -6 + 9. Is ((-3)/12)/(y/(-1572)) a multiple of 27?
False
Let g(k) = 5*k - 4. Let c be g(4). Suppose -3*o = -t - 10, 0*t - c = 4*t. Suppose 0*v + v = -o, 0 = d + 3*v - 30. Is 9 a factor of d?
True
Suppose -192 = 4*y - 3*r, 0 = -7*y + 3*y - 4*r - 220. Let z = 121 - 145. Let v = z - y. Is v a multiple of 9?
True
Let h(i) = -24*i - 72 + 2*i + 84. Does 32 divide h(-4)?
False
Let c(v) = v**2 + 9*v + 8. Let t be c(-8). Suppose t = 4*u - 170 - 130. Is u a multiple of 17?
False
Suppose 22*y = 20*y + 596. Suppose -4*d + 608 = 3*h, -3*h + y = -3*d + 5*d. Is 22 a factor of d?
False
Let b(r) = -r**2 + 10*r - 15. Let c be b(3). Suppose 58 = c*p + 4. Is p a multiple of 2?
False
Suppose -5128 - 1190 = -9*l. Is l a multiple of 9?
True
Let c be (3/(-6))/((-1)/(-10)). Does 21 divide (-3 - c) + 78 + 4?
True
Let h be 3*-1*(-42)/14. Let p be (3 - 0)*24/h. Suppose -p = -3*s + 160. Does 22 divide s?
False
Let l(x) = x - 2. Let a(i) = i + 1. Let d(w) = -2*w - 4. Let t(g) = -11*a(g) - 4*d(g). Let n(h) = 5*l(h) + 3*t(h). Does 6 divide n(-4)?
False
Suppose 3*h + 6*l - 1047 = 3*l, -4*h + l = -1376. Is 69 a factor of h?
True
Does 8 divide 2/4*(5 - 9)*-46?
False
Does 29 divide (1113/(-14))/(4/(-8))?
False
Suppose 1421 + 2345 = 7*j. Is 30 a factor of j?
False
Let x(f) = 428*f**2 + f. Does 52 divide x(1)?
False
Let o be (-642)/(-22) - ((-124)/44 - -3). Suppose o = 2*w - 49. Is w a multiple of 27?
False
Let w be (4 - (-8)/4) + 1. Suppose -2*q + w*q - 40 = 0. Is q/5*55/2 a multiple of 18?
False
Suppose -23*g = -2451 + 818. Does 2 divide g?
False
Let z(f) = 8*f**2 - 4*f - 1. Suppose 0 = -3*n - 0*n - 9. Let m be z(n). Let q = m + -56. Is q a multiple of 10?
False
Suppose -8 = b - 64. Is 47 a factor of b?
False
Let p = -7 + 103. Is 16 a factor of p?
True
Suppose a = -3*a + 32. Let m = a + 12. Is m a multiple of 9?
False
Let f = -25 - -28. Suppose -i = 3*u - 7 - 30, f*i = 4*u + 46. Is 3 a factor of i?
False
Let y(q) = -q**3 + 7*q**2 + 4*q - 17. Let h(c) = -2*c - 11. Let i be h(-9). Is y(i) a multiple of 4?
False
Let l(g) = 3*g**2 - 25*g + 7. Let b(k) = 8*k**2 - 74*k + 22. Let p(x) = 5*b(x) - 14*l(x). Is p(-10) a multiple of 7?
False
Let o(y) = -y**2 - 9*y + 15. Let d be o(-10). Let l = d + -10. Let g = 17 + l. Does 12 divide g?
True
Suppose 2*k + 0 = -4. Let n be k/((-8)/(-6))*-2. Does 3 divide 3 + n + (-3)/(-3)?
False
Does 25 divide 2188/6 - 0 - 42/(-126)?
False
Let g = -1 + 1. Let l(d) = 8*d**2 + 6*d - 5. Let i be l(5). Suppose g*b + i = 5*b. Does 15 divide b?
True
Let a be ((-10)/7)/(11/(-77)). Suppose -2*b - 5*v = a, 4*v = -b - 2*b - 1. Suppose 0 = -b*n + 22 + 183. Is 22 a factor of n?
False
Let o be (-2)/(-2)*-9 + 4. Is 13 a factor of (-5)/o - (-4 - 21)?
True
Suppose -34*a - 8*a = -8316. Does 7 divide a?
False
Suppose 170 = -62*h + 67*h. Let n = h + 126. Is 32 a factor of n?
True
Let d be (-42)/4*(-2)/(-1). Let v(z) = -6*z + 35. Does 23 divide v(d)?
True
Is 6/(-4)*(-63400)/75 a multiple of 11?
False
Let g(p) = -p**2 + 16*p + 20. Let q be g(17). Suppose -2*l = -5*d + 1, -d + l - 1 = -q. Does 10 divide (-13)/((d - 2)/6)?
False
Suppose -35*z + 29*z = 84. Let k = z - -66. Does 26 divide k?
True
Let n = -116 - -332. Is 9 a factor of n?
True
Let w(a) = 225*a**2 + 4*a + 4. Is 15 a factor of w(-1)?
True
Suppose 17*j - 12*j + 40 = 0. Let i(m) = -5 - 4*m - 2*m - m. Is 17 a factor of i(j)?
True
Let p be 1*6/9*-3. Is 13 a factor of (143/(-11))/(p/10)?
True
Suppose -z + 17 = 11. Is 11 a factor of (-3)/z*2 + 70?
False
Is 45 a factor of 2/((-3)/10*(-8)/270)?
True
Suppose -4*v - 520 = -6*v. Suppose -2*i - v = -6*i. Is i a multiple of 24?
False
Let f = 49 + -38. Suppose -a = -22 - f. Is 4 a factor of a?
False
Let r = -1260 - -2675. Is 10 a factor of r?
False
Let d = 21 + -17. Suppose -5*s + 4 + 6 = 0. Is 22/d + 1/s a multiple of 6?
True
Let h(y) = -3*y - 7. Let l be h(-4). Suppose -3*p + v = l*v - 4, 0 = 5*p - 4*v - 60. Is 4/2 - (p - 9) a multiple of 3?
True
Suppose 6*f + 11*f - 1020 = 0. Is f a multiple of 12?
True
Let i(u) = u**2 - 6*u - 5. Let k be i(7). Does 12 divide (104/32)/(k/8)?
False
Suppose -139*b + 133*b + 1428 = 0. Is b a multiple of 70?
False
Let w = 74 - -707. Is w a multiple of 7?
False
Let s(f) be the first derivative of 29/3*f**3 + 4*f - 5 + 3/2*f**2. Does 24 divide s(-2)?
False
Let s = 36 + -34. Let f(k) = 15*k - 4 + 13*k**s + k**3 + 5 + 5 + 4*k**2. Does 8 divide f(-16)?
False
Let i(k) = -k**3 - 6*k**2 - 2*k + 11. Let q(c) = -2*c**3 - 13*c**2 - 4*c + 21. Let u(x) = 5*i(x) - 3*q(x). Is 8 a factor of u(-8)?
True
Let c = -2 - -4. Suppose -c*d - 2*d - 16 = 0. Is 25 a factor of ((-62)/d)/(2/4)?
False
Let c(k) = -4*k**2 + 2*k**3 + 9*k**2 + 8 - 6*k - k**3. Does 4 divide c(-6)?
True
Let q(y) = 9*y**2 - 4*y + 3. Let h be q(2). Suppose 34 = -m + 2*m - 2*o, 0 = -m - o + h. Is (m - -3)*4/10 a multiple of 12?
False
Let x(q) = -2*q + 21. Let a be x(14). Let r = -5 - a. Suppose -r*d = 3*d - 125. Is 25 a factor of d?
True
Suppose 20*v - 11667 = 11473. Is v a multiple of 24?
False
Let v(b) = -10*b + 25. Let w(p) = -p**2 + 6*p - 14. Let m be w(4). Is 17 a factor of v(m)?
True
Does 10 divide 420*(2 - -4 - (-10 - -15))?
True
Let o(u) be the first derivative of -3/2*u**2 - 8 + 9*u. Does 6 divide o(-5)?
True
Suppose a + r - 50 = 0, 3*a - 4*r = 181 - 24. Let g = 138 - a. Does 29 divide g?
True
Let k = -3596 - -5576. Does 55 divide k?
True
Suppose -5*f - 425 = -10*f. Let s be 110/((-8)/(-12)*-3). Let t = f + s. Is 10 a factor of t?
True
Let u be 5 + 1 + -3 - -3. Let g(q) = q**2 - 6. Is g(u) a multiple of 16?
False
Let x = 456 + -156. Does 6 divide x?
True
Let k(j) = j**2 + 12*j + 30. Let w be k(-8). Is 1245/10*w/(-3) a multiple of 10?
False
Let u = -12 - -15. Suppose -5*f + 41 = -2*v, 0*v + 44 = -u*v + 4*f. Does 11 divide v/12 - (-101)/3?
True
Let i(c) = -4*c. Let p = -36 - -35. Let x be i(p). Suppose -3 = h + 4*b, b - x*b = 9. Is 9 a factor of h?
True
Let o = 204 + 10. Suppose 62 + o = 4*c. Is c a multiple of 8?
False
Let l be 1847 + ((-2)/(-3))/((-36)/(-54)). Suppose 0 = 11*p - 0*p - l. Does 42 divide p?
True
Let d = -106 - -74. Let q = 91 - d. Does 41 divide q?
True
Let j(k) = -2*k + 47. Let a(m) = -3*m + 71. Let x(r) = -5*a(r) + 8*j(r). Is x(-9) a multiple of 13?
False
Let l(i) be the third derivative of 13*i**4/24 - i**3/3 + 17*i**2. Is l(3) a multiple of 13?
False
Let k(x) = -42*x + 5. Is k(-5) a multiple of 5?
True
Let p = -463 + 625. Does 3 divide p?
True
Suppose -8*i + 470 = -538. Let m = 183 - i. Does 9 divide m?
False
Let g = -1 + 0. Let r be (-10 + (3 - g))/2. Does 6 divide 6 + (-4 - r - -1)?
True
Suppose -4*q - 47*d + 22164 = -48*d, 3*q - 16623 = d. Is q a multiple of 21?
False
Let r be (-190)/(-15) + (-2)/(-6). Suppose -185 - r = -6*c. Is c a multiple of 11?
True
Is -797*((1 + -5)/2)/2 a multiple of 23?
False
Suppose 5*j - 5*q = -5, -2*q - 2*q = 0. Let c(d) = 216*d - 113. Let m be c(3). Is j/(-3) - m/(-15) a multiple of 9?
True
Is (114 - 54)/((-4)/(-10)) even?
True
Suppose 