62 - -17894. Does 152 divide l?
True
Let m(v) = 244 + 7*v**2 + 9*v + 17*v**2 + v**3 - 125. Is m(-23) a multiple of 9?
True
Let f = -1017 + 1213. Is 14 a factor of f?
True
Let y(a) = 25*a**3 - 2*a**2 + 10*a + 7. Does 13 divide y(7)?
True
Let u(z) be the second derivative of 23*z**4/6 + 2*z**3/3 - z**2 - 2*z. Suppose 4*b - 5 = 4*p - 9, -11 = -2*p + 5*b. Does 23 divide u(p)?
False
Suppose 3*l + 783 - 194 = 2*c, 812 = -4*l - 4*c. Let a = 474 + l. Is 28 a factor of a?
False
Let f(x) = 2*x**3 + 2*x**2 - 2*x. Let c be f(-2). Let r(u) = 10*u**2 + 5. Let y be r(c). Suppose -5*k + 4*t = -275, 7*k - 4*k = -5*t + y. Does 15 divide k?
False
Let p be (-27)/(-3) + -5 + 5 + -5. Suppose 0 = p*m, 8*n = 5*n + 5*m + 2223. Is 19 a factor of n?
True
Suppose 0 = -2*n - 2*w + 2, -3*n = -n - 3*w + 3. Suppose 0 = -8*r - n*r - 112. Is 12 a factor of (-1016)/r + 27/63?
False
Suppose -3*m + 412 = -74. Let j = m - 132. Is j a multiple of 15?
True
Suppose 3*j + 3*s + 504 - 8469 = 0, 0 = -4*j + 5*s + 10665. Is j a multiple of 108?
False
Let d = 77176 - 38296. Does 10 divide d?
True
Let a be (17 - 20) + 9/(-1). Let x be (-42)/(-9) - a/(-18). Suppose -j + i = -47, j + 5*i + 151 = x*j. Does 13 divide j?
False
Suppose 0 = -3*i - 1121 + 1859. Does 2 divide i?
True
Let g = -330 - -334. Does 15 divide ((-26)/4)/((g + -5)/120)?
True
Suppose -19*x = 10*x - 2581. Suppose -u = u - 3*z - 391, u = -z + 193. Let a = u - x. Is a a multiple of 15?
True
Suppose o - 15499 = b, 0 = -2*o - 4*b + 3394 + 27634. Does 19 divide o?
True
Suppose 8*b - 60 = 4*b. Let v(k) = 20*k - 25. Let m be v(b). Suppose 5*o = n + 676, o + 5*n + m = 3*o. Is 27 a factor of o?
True
Let p = -14713 + 22441. Is 14 a factor of p?
True
Let m be -750 + (4 - 4 - -6). Let t = 1060 + m. Is t a multiple of 31?
False
Suppose -2*r = -2, 3*i - 26*r = -30*r + 8140. Is i a multiple of 22?
False
Suppose 0 = 4*d + u - 0 - 4, -20 = -5*u. Suppose d = 4*o - 2*l + 4, -2*l - 10 = 4*o - o. Does 21 divide o/(-2)*(-1 + 22)?
True
Is ((-2)/3)/((-42)/2069487) - -9 a multiple of 20?
False
Let q(n) = 1634*n**2 + 38*n + 231. Is q(-6) a multiple of 41?
False
Suppose -u + 45786 = 29984. Is u a multiple of 114?
False
Suppose 3*i - 19 = 11. Let d be (-2)/i - 158/10. Let g = 5 - d. Is 7 a factor of g?
True
Suppose -2*h - 323 - 221 = 0. Let t = h + 176. Let m = 192 + t. Does 12 divide m?
True
Suppose -18*c + 781632 = 5*c. Does 75 divide c?
False
Suppose 2*z - 5*i = -342, i + 668 - 6 = -4*z. Let t = -80 - z. Does 43 divide t?
True
Suppose 5*i = 2*a - 70, 5*i - 2*i - 4*a + 42 = 0. Let t = -66 + i. Is ((-6)/21 + 64/(-70))*t a multiple of 16?
True
Suppose -5*t + 23652 = 299*d - 298*d, -3*d = t - 4736. Is 86 a factor of t?
True
Suppose 3*k = 6*k - 48. Suppose 9*h + k = 13*h. Suppose -v - h*a + 62 = 0, v = 3*v - 4*a - 124. Is v a multiple of 10?
False
Let g(j) = 48*j - 62. Let b be g(1). Let w(q) = -q**3 - 7*q**2 + 20*q + 17. Is w(b) a multiple of 22?
False
Let s(v) = 1006*v - 1379. Is s(18) a multiple of 24?
False
Let t(j) = 52*j + 6. Let v be t(2). Suppose -5*p - 3*q + v = 0, 3*p + 2*q = 77 - 11. Is 16 a factor of p?
False
Suppose -2 + 2 = 10*k. Suppose 2*a = -k*a + 4*u + 10, u = 4. Does 13 divide a?
True
Let g be (-7)/(-21) - (-1 - (-101)/(-3)). Is 18/15 - (-9268)/g a multiple of 19?
True
Suppose -3*q + 2*n + 1289 = 0, -1714 = -2*q - 2*q - 2*n. Let t be 10/(160/(-12))*-24. Is q/t - (-3)/18 a multiple of 7?
False
Let h = 13750 - 5712. Does 38 divide h?
False
Let j(x) be the second derivative of -x**5/20 + 11*x**4/12 + 5*x**3/6 - 15*x**2/2 - 12*x. Is 2 a factor of j(11)?
True
Suppose 24 - 9 = 3*k. Suppose 13*y = -k*y. Does 9 divide (y - 22)/(1/(-4))?
False
Let d(x) = 635*x - 2515. Is 15 a factor of d(5)?
True
Suppose 16*a - 12*a + 20 = 0. Let f(l) = -l**3 - 5*l**2 - l - 10. Let g be f(a). Let j = g - -263. Is j a multiple of 43?
True
Is (-122444)/(-10) - (-3 + 17 + (-4526)/310) a multiple of 9?
False
Suppose 2*k - 36 = 2*q, -7*q - 66 = -3*q - 2*k. Let d be 10/4*(0 + 6). Is ((-108)/q - 3)*d a multiple of 9?
True
Suppose -4*z = 71*z - 15518 - 10357. Does 4 divide z?
False
Let k(d) be the first derivative of d**4/4 - 4*d**3/3 + 5*d**2/2 + 6*d - 24. Let h be k(6). Suppose 3*a + 5 = 5*z - 291, 4*a - h = -2*z. Is 11 a factor of z?
False
Let w = -727 - -32. Let y = w - -725. Is y a multiple of 30?
True
Suppose 2*f + 8 = -3*z - 0*f, 3*z - 2*f = 8. Suppose z = -23*r - 856 + 5042. Is 3 a factor of r?
False
Suppose 29 = 574*k - 573*k. Suppose 4*i = k*i - 6400. Is i a multiple of 8?
True
Is 31 a factor of (111822/9 - -11) + (4 - (-56)/(-12))?
False
Suppose 27*l - 7982 = -2*q + 24*l, -2*l = 3*q - 11988. Is q a multiple of 35?
False
Suppose -3984032 = -144*z - 100*z. Is 19 a factor of z?
False
Suppose 0 = 3*u - 45 + 33, u = m. Suppose 0 = v + 5*b - 116, -m*b + 118 = 2*v - 114. Is 50 a factor of v?
False
Suppose 16*h - 36771 = -8771. Suppose -y = 4*y - h. Is y a multiple of 22?
False
Suppose -9*x + 29 - 11 = 0. Suppose 9*a - 7*a = 3*o + 644, -4*a = x*o - 1320. Is a a multiple of 23?
False
Let i(q) = 4*q**3 - 5*q**2 + q + 15. Let n(c) = 2*c**3 - 2*c**2 + 7. Let o(f) = 3*i(f) - 7*n(f). Let l(a) = 2*a + 43. Let w be l(-23). Does 7 divide o(w)?
False
Suppose 13*m - 1104 = -9*m + 1360. Is m a multiple of 28?
True
Let y be -6 - (-17)/((-85)/(-120)). Suppose -3*n - 1530 = -y*n. Is 17 a factor of n?
True
Let p = -12189 - -18651. Does 4 divide p?
False
Is 256 a factor of 4/(-9) + 34/(-510) + 1175178/270?
True
Suppose 2*h - 23884 = -4*s, 0 = 4*h - 10*s + 12*s - 47750. Is h a multiple of 246?
False
Suppose -22*z = -36*z - 224. Let p(n) = 2*n**2 + 26*n - 12. Is 13 a factor of p(z)?
False
Let d(k) = 4*k**2 - 65*k + 718. Does 116 divide d(50)?
False
Let i(t) be the third derivative of t**6/120 + t**5/10 - t**4/4 - t**3 - 40*t**2. Is i(-3) a multiple of 28?
False
Let j = -4915 + 6819. Is j a multiple of 34?
True
Let l = 152 - -207. Suppose -250 - l = -7*y. Suppose y - 423 = -7*d. Is d a multiple of 12?
True
Let f(a) = 55*a**2 - 27 - 26 + 3*a + 53. Is f(-1) a multiple of 8?
False
Is 7274 - (25 + -21)*-2*1 a multiple of 20?
False
Suppose 0 = -16*x - 45314 + 909954. Does 19 divide x?
False
Suppose 4*t + 4*d + 113 = -d, 0 = 4*t + 2*d + 122. Let l = 36 + t. Suppose -4*n + l*y + 40 = 0, 2*y = -n - 14 + 9. Is 2 a factor of n?
False
Let g(h) = 120*h**2 - 5*h + 8. Let d be g(2). Let l = -363 + d. Is l a multiple of 23?
True
Let m(b) = 10*b - 88. Let h be m(9). Suppose -h*w - 5*j + 1234 = 0, -8*j - 1861 = -3*w - 13*j. Is 67 a factor of w?
False
Let h(l) = -29*l**3 + 12*l**2 - 19*l - 3. Let o be h(2). Let w = o - -387. Does 81 divide w?
True
Let f = 34967 + -23475. Suppose -34*r + 21*r = -f. Does 13 divide r?
True
Let a(i) = 2*i**2 + 4*i + 49. Let t be a(13). Let s = -209 + t. Does 10 divide s?
True
Let h(z) = 5*z - 47. Let k be h(11). Is 4216/51 - (0 - k/6) a multiple of 7?
True
Let c(l) = -l**2 + 11*l - 14. Let g be ((-4)/(-2) + -2)/(-3). Suppose 3*b + 2*x - 22 = g, 5*b + 2*x - 34 = -0*x. Is c(b) a multiple of 6?
False
Suppose 175*h + 3606 = 181*h. Suppose -27*a + 25*a = i - h, 0 = a - 3*i - 318. Is 22 a factor of a?
False
Let h = 11674 + -7489. Does 155 divide h?
True
Let g be ((-108)/126)/(4/(-14)). Suppose -3*v + g*t = -7*v + 35, 0 = -v + 2*t + 17. Let a = 9 + v. Is 5 a factor of a?
True
Suppose 44*a = 42*a + v + 4320, 5*a = 2*v + 10799. Is a a multiple of 8?
False
Let a(y) = 15*y + 12. Let h be a(10). Let t be ((-2)/(-1))/((-6)/(-9)). Suppose 2*d - 4*c = -d + h, d + t*c - 41 = 0. Is d a multiple of 10?
True
Suppose -4616 = -4*l - 2*r, 3*r + 398 - 1542 = -l. Does 68 divide l?
True
Suppose 30*k - 1090481 = 107719. Is 43 a factor of k?
False
Suppose -174*s - 1485 = -179*s. Suppose -4*b = b + m - 731, 2*b + 5*m - s = 0. Is 61 a factor of b?
False
Let o = 417 - 461. Let n(g) = g**2 + 39*g - 59. Is n(o) a multiple of 51?
False
Suppose 132*l - 3*o - 9546 = 130*l, -5*l + 23868 = -6*o. Is l a multiple of 24?
True
Does 101 divide ((-7171)/3)/((-83)/249)?
True
Let i(q) = 22*q**2 + 81*q - 580. Is 127 a factor of i(13)?
True
Let g(j) = 28*j - 39. Does 3 divide g(11)?
False
Let i(o) = -o**3 - 43*o**2 + 53*o - 122. Is 7 a factor of i(-45)?
False
Does 62 divide 5461/4 + (-15)/12?
True
Let u(a) = -562*a - 20. Let m be u(-7). Suppose -4855 = -11*v + 6*v + 5*t, -4*v = 2*t - m. Is v a multiple of 16?
True
Is