lse
Let m(p) = 4*p**2 + 4. Let s be m(-5). Let q(z) = z**2 - 9*z + 19. Let y be q(2). Suppose -s + 24 = -y*t. Is t a multiple of 6?
False
Let m = 1397 + -258. Does 17 divide m?
True
Let b = -1 + 1. Suppose 5*y - 9 - 6 = b. Suppose y*q + 12 = 228. Is 24 a factor of q?
True
Does 105 divide -17 + 21 + (1 - -5109)?
False
Let a be 13 - ((-20)/(-50))/(2/(-10)). Suppose -a - 66 = -3*b. Does 5 divide b?
False
Suppose 4*w - 55 = -4*o - o, -4*o + 5*w = -44. Let y(a) = -a**2 + 14*a + 27. Does 13 divide y(o)?
False
Let o be 6 + (-8)/12*3. Suppose -o*l - 7 + 19 = 0. Suppose -5*n + v + 62 = 12, -l*v + 4 = -n. Is 11 a factor of n?
True
Let z = 4870 - 2532. Is 38 a factor of z?
False
Let j = 3413 + -2437. Let b be 6/(-21) - j/14. Let k = b - -112. Is 7 a factor of k?
True
Let q = -54 - -75. Let z(g) = g**3 + 15*g**2 - 18*g + 1. Let h be z(-16). Let u = h - q. Is u a multiple of 4?
True
Let u(i) = 11*i**3 - 3*i**2 + 2*i. Suppose 0 = 5*w - 37 - 3. Suppose a + a - 4*m = w, 9 = 4*a - m. Is u(a) a multiple of 23?
False
Suppose -5*c + 5*p + 30 = 0, -2*p + 48 = -0*c + 4*c. Let s = c - 13. Does 6 divide -3 + (1 + s - -20)?
False
Let i(j) = -95*j + 5. Let l be i(1). Let n = 137 + l. Is n a multiple of 25?
False
Let p(q) = 8*q - 14. Let h be p(7). Suppose -2*j + 12 = 4. Suppose -2*z - j = -h. Does 5 divide z?
False
Let t(i) = -28*i + 25. Is 41 a factor of t(-7)?
False
Let p(g) = 3*g + 12. Let c be p(-4). Suppose -4*o + 411 = 4*x + 107, c = x - o - 76. Does 19 divide x?
True
Let x be ((-4)/3 - -2)*(6 + 0). Suppose -3*z + 31 + 32 = 0. Suppose -x*s + 197 = z. Is 11 a factor of s?
True
Let p(j) = -j**2 - 33*j - 12. Is p(-28) a multiple of 9?
False
Let l(k) = k**2 + k - 7. Let h be (-3)/(-18)*-2*-21. Let d be l(h). Suppose -2*v - v + 4*m = -55, 0 = -3*v - 2*m + d. Does 17 divide v?
True
Let h = 227 + -198. Is h a multiple of 8?
False
Let w be (6/(-12))/((-1)/30). Let r = w - -135. Is r a multiple of 10?
True
Suppose 53*s = 77*s - 5568. Is 11 a factor of s?
False
Let f(p) = p**3 - 3*p**2 - 8*p + 5. Let v be f(4). Let x = v - -67. Suppose 25*l - x = 21*l. Is 6 a factor of l?
False
Suppose 2*f = 3*f - 129. Suppose 0 = 4*n - f + 13. Does 17 divide n?
False
Let g = 336 + 1599. Does 17 divide g?
False
Suppose 2*c - 5 = 3. Suppose -5*d + y + 8 = -2*y, 4*d = 5*y - c. Suppose -3*o = -d*f - 392 + 85, 20 = 4*f. Is 22 a factor of o?
False
Let m(r) = 111*r - 149. Is 46 a factor of m(3)?
True
Let r = -5738 - -9733. Is 47 a factor of r?
True
Let f(b) = -2*b - 10. Let j be f(-11). Let n = j + -7. Suppose -2*y + 24 = v, 2*v - 25 = -n*y + 37. Is 7 a factor of y?
True
Let r(i) = 26*i**2 - i - 12. Let s be r(6). Is 10 a factor of (2/(-4))/((-17)/s)?
False
Suppose 5*i = 4*i + 5. Suppose 0 = t - i*t + 92. Is 4 a factor of t?
False
Let q be (14 - 4)/((-2)/(-1)). Let d be (-2)/(-10) - 246/q. Is (1 - 2) + d/(-7) a multiple of 2?
True
Let w(j) = -20*j**3 + 15*j**2 + 23*j + 9. Is w(-5) a multiple of 13?
True
Let b be -4*(-1)/(-6) - 100/(-6). Suppose i = 2*s - 26, -5*i + i = b. Is 4 a factor of s?
False
Let x = 57 + 13. Is ((144/21)/1)/(2/x) a multiple of 32?
False
Let o = 14 - 18. Let n(d) = 2*d**3 + 7*d**2 - 7*d + 2. Is 14 a factor of n(o)?
True
Let s(m) = -3*m**2 - 13*m - 12. Let t be s(-9). Let q = -71 - t. Is 20 a factor of q?
False
Let m = 16 + -13. Suppose -g + 4*y = -1, 50 = 4*g + m*y - 49. Suppose -2*n + 5*n + 3 = 0, -3*l - 3*n = -g. Is 4 a factor of l?
True
Let v = -571 - -1176. Suppose -4*o = 5*k - v, -2*k + 3 - 1 = 0. Does 30 divide o?
True
Let j(m) = m**2 - 7*m + 2. Let d be j(7). Suppose c + 21 = 3*s + d*c, 3*c = -s + 15. Is ((-10)/(-3))/(s/18) a multiple of 5?
True
Let u(j) = -6*j**3 - 5*j**2 - 9*j - 9. Let v(i) = i**3 + i + 1. Let q(p) = u(p) + 5*v(p). Let l be q(-5). Suppose 3*s - 62 - l = 0. Is s a multiple of 13?
True
Let w = 2536 + -1360. Is 90 a factor of w?
False
Let c = 7 - 14. Let r(p) = -p**2 - 8*p - 4. Let y be r(c). Suppose 8*u - y*u = 110. Is 22 a factor of u?
True
Suppose -4*o + 404 = -44. Does 10 divide o?
False
Let n = -23 - -35. Let z = 44 - n. Is z a multiple of 6?
False
Let c(o) be the first derivative of 25*o**2/2 + 4*o - 1. Let m be 6/(-10) - (-13)/5. Does 27 divide c(m)?
True
Let a be 2/(-4) - (-61)/2. Suppose 4*w - 16 = 2*l, -a = w - 4*w - 3*l. Does 12 divide (-170)/(-15) - (-4)/w?
True
Suppose r + 2*r - 282 = 2*l, -80 = -r - 4*l. Let t = r - 14. Is t a multiple of 21?
False
Let j be (-3)/2*20/18*-3. Suppose 5*z + j = 130. Does 25 divide z?
True
Let v(y) = -y**3 + 11*y**2 - 10*y - 21. Is 18 a factor of v(9)?
False
Let y be 2/(-4) - 798/12. Let l = y + 121. Is 15 a factor of l?
False
Let v be 21*1*(-3)/9. Let s = v + 6. Is 16 a factor of (1*s)/((-4)/212)?
False
Suppose 6*c = 10*c - 16. Suppose -2*m = c*g - 286, 3*g + 55 = 4*g - 5*m. Does 14 divide g?
True
Suppose c + 161 = 516. Does 22 divide c?
False
Let z(s) = s**3 + 7*s**2 + 2. Suppose 3*t = l + 17, 1 + 3 = -4*l - 4*t. Let j be z(l). Let k = -35 + j. Does 5 divide k?
False
Is 26 a factor of (2 - (0 - -2)) + 916 + 20?
True
Suppose o - 3 = 3*w, -2*o - 8 = -3*o - 2*w. Suppose -f + o*f = 80. Is 8 a factor of (f/10)/((-3)/(-60))?
True
Is (-2 + 17)*(-27)/(-5) a multiple of 27?
True
Suppose -758 = -5*j + 482. Does 15 divide j?
False
Suppose -4*h - 491 = -99. Is (-2)/(-3) + h/(-6) a multiple of 5?
False
Let z(f) = f**2 + 4*f + 3. Let w be z(-4). Suppose 3*l - 83 = -2*c, -w*c = 5*l - 106 - 19. Is c a multiple of 11?
False
Let w(k) = k**2 - 7. Suppose -5*b + 53 = 4*h, h = -2*b + 4*b - 29. Suppose 0 = 3*t - q - 25, -4*q - b = -t + q. Is w(t) a multiple of 19?
True
Suppose -g - v = -647, 2*g + g + v - 1949 = 0. Is g a multiple of 10?
False
Let k = 6268 + -3448. Does 15 divide k?
True
Let q = 51 - -65. Suppose -3*w + 560 = q. Is w a multiple of 24?
False
Does 25 divide -3 - -1151 - (-9 + 7)?
True
Let b(w) = 3*w + 10. Let q be b(11). Is 30 a factor of (q - -4) + 2 + -3?
False
Let o(a) = -a**2 - 24*a - 8. Suppose -2*d = -2*b + 58 - 10, 0 = -3*d - 2*b - 57. Does 9 divide o(d)?
False
Let b = -1754 - -3556. Is b a multiple of 26?
False
Suppose -19*l - 5*m + 1153 = -15*l, 307 = l - 5*m. Does 62 divide l?
False
Suppose 2*t + h = 465, 4*t + 4*h - 1272 = -352. Is t a multiple of 8?
False
Let v(j) be the second derivative of j**5/20 - j**4/6 - 5*j**3/6 + 9*j**2/2 + j. Let a be v(4). Suppose 11 + a = x. Is 8 a factor of x?
True
Let z(o) = 98*o**3 - 7*o**2 + 18*o - 7. Does 32 divide z(2)?
False
Let s(m) = -1079*m - 55. Is 11 a factor of s(-3)?
False
Suppose 4*p = 9*p - 30. Suppose -1 - 35 = p*l. Is 27 a factor of 4 + (-4 - l)*52?
True
Suppose -2*b + 4*v = 3*b - 373, 2*b = -v + 144. Let d = 94 - b. Is d even?
False
Let d = 7495 - 5199. Is d a multiple of 56?
True
Suppose v + 1 = 0, l + 510 = 4*v + 136. Let c = -268 - l. Suppose -5*f + c = -5*z, -5*f + 13 + 115 = 4*z. Is f a multiple of 8?
True
Suppose -4*l - k + 7 = 0, -5*k - 10 = 4*l + 3. Suppose -l*o = -4*o - 24. Let f = o - -84. Is f a multiple of 30?
True
Let w(z) = z - 2. Let x be w(5). Let s(v) = 11*v**3 - 3*v**2 - 5*v + 3. Let j be s(3). Suppose -x*m = 87 - j. Is 19 a factor of m?
True
Suppose -r = 5*g - 0*r - 3896, 0 = -5*r - 20. Does 15 divide g?
True
Let g(p) = 5*p**3 + 2*p + 1. Let u = 1 - -2. Let z be g(u). Suppose 5*c + 7 - z = 0. Does 17 divide c?
False
Let o = 1811 + 587. Does 22 divide o?
True
Suppose 2*m - 32 - 20 = -5*n, 5*n + 3*m - 53 = 0. Let i = -17 + n. Is 21 a factor of i/(-14) - 390/(-4)?
False
Suppose -11*w + 4090 = -w. Let j = -121 + w. Is j a multiple of 20?
False
Is 37 a factor of 11/((-132)/(-8288)) - 6/(-18)?
False
Suppose -7*l - 54 - 2 = 0. Let b(r) = -r**3 - 6*r**2 - 7*r + 4. Is b(l) a multiple of 47?
True
Let c = -86 + 30. Let x = -28 - c. Does 7 divide x?
True
Suppose -5*r + 738 + 962 = 0. Is 3 a factor of r?
False
Let a(c) = -c**2 + 35*c - 126. Does 8 divide a(21)?
True
Suppose b + 1 = -2, -5*b - 3 = 3*a. Let d(m) = 3*m + 2. Is d(a) even?
True
Let m be 1 + -1 + 145*-3. Let t be 6/5*m/(-6). Suppose 3*u + t = 3*z, 3*z - 3*u + 5*u - 82 = 0. Is 14 a factor of z?
True
Does 12 divide 208/78*189/2?
True
Is 6/(-21) + (-9244)/(-14) a multiple of 28?
False
Let u(o) = 10*o + 46. Does 6 divide u(17)?
True
Let t(o) = 22*o**3 - 6*o + 5. Suppose 2*m - 10 + 6 = 0. Is t(m) a multiple of 13?
True
Suppose -c + 10 = 4*c. Suppose 150 = 2*w + 2*d, -w - c*d = -0*d - 78. 