t k be x(u). Suppose -k*z - 60 = -11*z. Is 5 a factor of z?
True
Let w(l) = l + 4. Let j = -14 - -8. Let d be w(j). Is 15 a factor of (-1466)/(-14) + d/(-7)?
True
Let q be ((-20)/(-6))/(4/12). Suppose l = -q + 30. Suppose 2*z = 4*b + 125 - 29, 4*b - l = 0. Does 29 divide z?
True
Let p(j) = j - 2. Let g be p(2). Suppose g = 3*i - i. Suppose i = 2*v + 3*v - 375. Does 26 divide v?
False
Let r(q) = 788*q**2 - 1. Let m be r(1). Suppose 0 = 4*v - 4*j - 29 - m, -820 = -4*v + 5*j. Let y = -100 + v. Does 19 divide y?
False
Let y(p) = -2*p + 7. Let b be (6/(-5))/(3/10). Does 15 divide y(b)?
True
Let r be (-47474)/182 + 2/(-13). Let v = r - -446. Does 19 divide v?
False
Suppose -3*s + 603 = 2*w - 4*s, -4*s + 1200 = 4*w. Is w/105 + (-2)/(-15) even?
False
Let p be (-1)/(-3 - 3656/(-1220)). Let y = p + -169. Suppose -2*n = -6*n + y. Is n a multiple of 7?
False
Suppose 0 = -0*l + 4*l. Suppose l = 2*v - 2*q, 0 = 3*v - 0*q + 4*q + 21. Let f = v + 12. Does 3 divide f?
True
Let n(a) = -65*a**2 + 10*a. Let w(q) = 13*q**2 - 2*q. Let d(p) = 2*n(p) + 11*w(p). Does 12 divide d(2)?
True
Let u(r) = 3*r - 16. Suppose a - 18 = -2*a. Let i be (-2 + a)*22/8. Is u(i) a multiple of 9?
False
Suppose 13*c = 7*c + 708. Let h = c + -47. Is h a multiple of 19?
False
Let p(d) = -d**2 - 68*d + 5. Is p(-25) a multiple of 12?
True
Suppose 5*p - 174 = -2*l, -127 + 397 = 3*l + 3*p. Does 6 divide l?
False
Suppose 0 = 4*w - 6*c + 4*c + 6, 0 = -3*c + 9. Suppose w = 5*f - 3 + 13. Does 13 divide 0 - (-3 - 18 - f)?
False
Suppose -24 = -a + 3*j - 7, 0 = 3*a + 3*j + 9. Suppose 92 + 72 = a*x. Does 21 divide x?
False
Let i(m) = -20*m**3 + 2*m**2 - 34*m - 93. Does 7 divide i(-3)?
True
Let p(z) = z**3 + 6*z**2 - 7*z - 3. Let x be p(-7). Let y be x*1/(-3) - -22. Let h = -4 + y. Is 19 a factor of h?
True
Does 4 divide (-54 + 34)*296/(-10)?
True
Suppose 246 + 129 = -5*t. Let o = 45 - t. Does 30 divide o?
True
Let z be -2 - (-14 - 0)*1. Let b = z - 26. Does 3 divide 61/7 + (-4)/b?
True
Let a(y) be the first derivative of -3*y**4/4 + y**3/3 - 2*y**2 - 3*y - 6. Let d be a(-2). Let t = d - -12. Does 15 divide t?
True
Suppose -4*q = -5 - 3. Suppose -q = -c + w, w + w = -4. Suppose c = 3*m - 34 - 92. Is 21 a factor of m?
True
Let k = 616 - 525. Does 13 divide k?
True
Let x(i) = 3*i - 10. Let g be x(4). Suppose g*u = 19 - 55. Is 2 a factor of ((-3)/(-2))/(u/(-60))?
False
Is 99 a factor of (9 - 2) + 0/4 + 1379?
True
Let n = 1130 - -886. Is n a multiple of 15?
False
Let l(j) = -2*j**2 + j + 13. Let q be l(0). Suppose -2*k - 17 = -7*k - o, 4*k = -o + q. Let v = 10 - k. Does 4 divide v?
False
Let t(j) = 24*j + 4. Let r = 4 - 0. Is 10 a factor of t(r)?
True
Let a(b) = 19*b - 134. Does 4 divide a(18)?
True
Let i(a) = 3*a - 12. Let h(l) = -l**3 + 13*l**2 + 14*l + 9. Let n be h(14). Let o be i(n). Is (-6)/o + (-814)/(-10) a multiple of 27?
True
Let c(s) = s**3 - 17*s**2 + 17*s - 13. Let p be c(16). Suppose -4*q = -3*q - w - 28, -81 = -2*q - p*w. Suppose n = q - 10. Does 23 divide n?
True
Let o be 3/3 - (5 - 5). Let h = o + 49. Does 50 divide h?
True
Let j = 20 - 42. Let h = j - -99. Does 15 divide h?
False
Suppose -3*k - 3774 = -4*c, 0 = 5*c - 9*c - k + 3782. Is 44 a factor of c?
False
Let r = -1377 - -2337. Is r a multiple of 30?
True
Let d be (-10)/(-35) - (-416)/14. Let m = -198 + d. Let c = m + 244. Is c a multiple of 19?
True
Let q(s) = -s**3 + 7*s**2 + 18*s - 8. Is 11 a factor of q(7)?
False
Let w be 77 - (-1 + 1)/(5/5). Suppose -2*q = -5*t + 76, 4*t + 3*q - w + 7 = 0. Does 10 divide t?
False
Let v = 489 - 327. Suppose -5*w + 2*w = -v. Let p = w - 26. Does 14 divide p?
True
Is (22 + -21 + 0)*3*43 a multiple of 8?
False
Suppose -18*g + 4430 + 7108 = 0. Does 14 divide g?
False
Suppose 3*a + 5*n + 102 = 0, 3*n - 151 = 5*a + 5*n. Let j = a + 42. Is 10 a factor of j?
False
Suppose 109 = -2*z + 493. Is 16 a factor of z?
True
Let o = 0 + 2. Suppose 19 = o*m + 7. Does 13 divide m/(-21) + (-1098)/(-21)?
True
Let d(v) = -v**3 + 8*v**2 - 7*v + 2. Let t be d(7). Suppose 4*a - t*b = 2*b + 620, 0 = b + 5. Let q = a - 102. Is 16 a factor of q?
True
Let c(h) = -3*h**3 - 2*h - 2. Let b be c(-1). Suppose -42 = -2*d + 4*g, -b*d + g = -0 - 48. Is d a multiple of 3?
True
Suppose -2*g = -u + 19, 5*u + 4 = -3*g - 5. Let w be 1982/g - 1/4. Does 6 divide w/(-20) - (-6)/10?
False
Suppose -7 + 3 = -o. Suppose 0 = 2*g - f + o - 57, 2*g + 2*f = 62. Is g a multiple of 13?
False
Suppose 5*v + 2*a = 5*a - 113, 0 = -2*v + 5*a - 49. Let r be v/3*6/(-4). Let h = 20 - r. Is 3 a factor of h?
True
Let n = 271 - 104. Suppose 2*j - n = -33. Is j a multiple of 22?
False
Let f(r) = 15*r - 9. Let x be f(2). Suppose x + 81 = 6*z. Is 17 a factor of z?
True
Let q(g) be the third derivative of g**4/3 + 5*g**3/6 - 6*g**2. Let k be q(-5). Is 18 a factor of 60/k*(-42)/4?
True
Let v be -1 - (-7 + 16/4). Suppose 5*q + 20 = 0, -v*x - 3*x + 5*q = -760. Is 37 a factor of x?
True
Let u be ((-14)/6 + 2)*0. Suppose u*z = -8*z + 160. Suppose -z*p + 21*p - 66 = 0. Does 22 divide p?
True
Let v = 909 - -147. Does 66 divide v?
True
Let p be -7 + 1/((-2)/4). Let l(c) be the first derivative of -c**3/3 - 13*c**2/2 - 3*c + 1. Is 11 a factor of l(p)?
True
Let k(y) = y**2 - y - 1. Let h(d) = -5*d**2 + 25*d - 45. Let x(b) = -h(b) - 3*k(b). Is x(18) a multiple of 30?
True
Let h be (371/(-77) - -5) + (-1780)/(-11). Let o = -113 + h. Is 15 a factor of o?
False
Suppose b = 2*c + 1087, -5*c - 416 = 4*b - 4738. Is b a multiple of 19?
True
Suppose -40*l - 3*n - 1402 = -41*l, 3*n - 2759 = -2*l. Is 19 a factor of l?
True
Let c(r) = 20*r + 1. Let p(y) = y**2 - 9*y + 5. Let w be p(9). Suppose 0 = -w*x + 4*x + 1. Does 9 divide c(x)?
False
Let o be (0 - -96)*(-1 - 9/(-6)). Let k = o - -56. Does 20 divide k?
False
Let z(o) = 125 + 121 - 240 - 2*o + o**3 - 2*o**2. Is z(4) a multiple of 22?
False
Let l = -17 - -18. Suppose -2*f + l = 3*g - 11, -2*g = -4*f + 8. Suppose -5*o = m - 101, f*m + 4*o - 270 = -0*m. Is m a multiple of 15?
False
Suppose -252 + 45 = -3*j. Suppose -4*m + j = k, -4*k - m + 216 = -0*m. Is k a multiple of 9?
False
Suppose 2*t = -0*t - 10. Let h(y) = y**3 + 5*y**2 + 6*y - 1. Let b be h(t). Does 24 divide 0 - b - (-7)/7?
False
Let t = 0 - -28. Let v be 2*2/(-2 + 4). Does 8 divide v*(-1)/1 + t?
False
Let i be (-6)/(-14) + 1056/(-112). Does 33 divide i*((0 - 1) + -10)?
True
Does 44 divide 10/(-85) + 0 + 29924/34?
True
Let g(t) = -6*t + 41. Is g(-37) a multiple of 32?
False
Let n(g) = -2*g**3 + 5*g**2 + 15*g + 22. Does 5 divide n(-4)?
True
Is (-40526)/(-30) - (-2 + (-112)/(-60)) a multiple of 13?
False
Let a = 19 - 14. Suppose 3*q + 4 = a*q. Suppose -67 = -q*c + 51. Is c a multiple of 21?
False
Let t(c) = c**3 - 8*c**2 + 7*c + 2. Let v be t(7). Let j be v/(-10) - (-1272)/(-40). Let l = -21 - j. Does 3 divide l?
False
Suppose 0 = -53*z + 51*z + 496. Is 37 a factor of ((-3)/2)/((-3)/z)?
False
Let w(i) = -11*i + 7. Let q(p) = -p + 1. Let g(d) = 4*q(d) - w(d). Is g(5) a multiple of 32?
True
Let p be (-10 + -5)*(-8)/5. Suppose 2*h + 4 = 0, -2*c - 4*h - p = -6*c. Suppose -4*i - 3*u + 217 = 0, -c*i + 5*u + 171 + 86 = 0. Does 9 divide i?
False
Suppose -5*u + 0*u - 2 = -r, 8 = 4*r - 5*u. Suppose 0 = -4*f - m + 98 + 87, -173 = -4*f - 5*m. Suppose -r*j + 11 = -f. Does 20 divide j?
False
Suppose -4*r + 0*d + 384 = d, 3*d = r - 109. Is r a multiple of 18?
False
Let i(c) = -11*c**3 + 9*c**2 + 17*c + 79. Is i(-7) a multiple of 52?
False
Let l(o) = -o**3 - 17*o**2 - 7*o + 32. Let r be l(-16). Let a = 150 + r. Is a a multiple of 15?
False
Let d be (-122)/(-8) - (-9)/(-36). Let i(o) = -2*o - 1. Let z be i(-3). Suppose -6*n + d = -z*n. Does 6 divide n?
False
Does 11 divide (60/(-42))/((-1)/21)?
False
Suppose z + 3282 = 4*q - 0*z, z - 4098 = -5*q. Does 20 divide q?
True
Let r(h) = 15*h + 5. Let y be r(12). Let o = y + 143. Does 8 divide 4/(-10) - o/(-20)?
True
Let m(u) = u + 46. Let s(k) = -3*k + 2. Let l be s(7). Is m(l) even?
False
Suppose 2*x - 4*w = 20, 4*w + 9 = 3*x + 5*w. Suppose -4*l - l = 3*v - 426, 3*l + x*v = 260. Is 21 a factor of l?
True
Suppose -r + 2*i = -1404, 4*r - 4*i - 2732 = 2892. Is r a multiple of 88?
True
Is 1*2/((-8)/(-12)) + 1423 a multiple of 31?
True
Does 6 divide 220/(-275)*(-90)/4?
True
Is (-2090 - 1)/(3/(-2)) a multiple of 9?
False
Let l = -914 + 1235. Does 7 divid