4 a factor of l?
True
Let l(i) = -i**2 + 54*i + 2517. Let k be l(81). Suppose -2*r + 3*x + 1140 = 0, 4*r - 2*r = 2*x + 1140. Let n = r - k. Is 20 a factor of n?
True
Let c(z) = 6*z**2 + 12*z - 166. Let f be c(-16). Let k = f + -688. Does 73 divide k?
False
Suppose 0 = 2*k + 4*f + 712, -4*k - 9*f = -6*f + 1419. Let c = -197 - k. Is 13 a factor of c?
False
Let y(u) = -2*u**2 - 2*u. Let r(a) = 8*a**2 + 41*a + 2. Let n(b) = -r(b) - 3*y(b). Let s = 14 - 31. Is n(s) a multiple of 2?
False
Let a be 16/(-40) + (-44)/(-10). Suppose -a*j - 2 = -6. Does 4 divide 3*j/(3/8)?
True
Suppose 35*k = k + 246160. Is k a multiple of 362?
True
Let c(o) = -14*o**2 + 6*o + 7. Let w(k) be the first derivative of -28*k**3/3 + 11*k**2/2 + 13*k - 26. Let q(u) = 11*c(u) - 6*w(u). Is 3 a factor of q(-2)?
False
Suppose -5*r + o + 498 = -181, -2*r + o + 274 = 0. Is (392/70)/(3/r) a multiple of 14?
True
Let y(d) = 9*d - 10 + 42*d - 175 + 5*d - 57. Is y(12) a multiple of 86?
True
Is 48 a factor of 1767728/102 - 32/12?
True
Let u be 4 + 29 + 4/(4/5). Suppose u*x - 35*x = 600. Is x a multiple of 10?
True
Suppose -688*c + 627*c + 467565 = 0. Does 105 divide c?
True
Does 14 divide (-273)/2*(2/(-4))/(162/1512)?
False
Let n = -16804 - -23922. Does 24 divide n?
False
Let w(l) = 31*l**2 - 14*l - 151. Is w(7) a multiple of 10?
True
Suppose 25*v = 16*v + 1512. Does 58 divide v?
False
Suppose 0 = -2*c - 3*c + n - 20011, -12011 = 3*c - 5*n. Does 40 divide c/(-20) + 19/(-190)?
True
Suppose 1122273 + 872861 = 179*o. Does 5 divide o?
False
Let r(x) = 62*x - 2988. Does 9 divide r(66)?
False
Let u(j) = -186*j - 1506. Is 24 a factor of u(-13)?
True
Let v = 51 - 48. Suppose -2*d + 39 = -d - 4*s, -d + v*s = -44. Let i = d + -41. Is 18 a factor of i?
True
Suppose 178*g = -100*g + 782292. Does 116 divide g?
False
Let a = 3669 + -2509. Is 18 a factor of a?
False
Let w(h) = 9*h**2 + 6*h + 7. Let r be w(-2). Suppose -2*m = 17 - r. Suppose -8 = -5*j + m, 91 = 4*q + j. Is 2 a factor of q?
True
Let q = -168 + 60. Let z = 159 + q. Suppose -9*o + 759 = -z. Is 9 a factor of o?
True
Let s(v) = v**2 - 15*v + 10. Let w be s(17). Let o be (-80)/(-32)*w/5. Suppose 0 = 16*j - o*j + 1470. Is 22 a factor of j?
False
Suppose -7*z - 719 - 2137 = 0. Does 9 divide (-3 - 108/(-8))*z/(-12)?
False
Let a(g) = -7*g**2 - 19*g - 32. Let l(x) = -x**2 - 2*x - 1. Let j(q) = -a(q) + 6*l(q). Is j(13) a multiple of 13?
True
Let r = 34 - 37. Let a be (-95)/r + 3/9. Suppose -17*f - a = -19*f. Is f a multiple of 8?
True
Let b(a) = -2*a**3 + a**2 + 10*a - 20. Let d be b(5). Let i = 365 + d. Is 17 a factor of i?
True
Let h(o) = -o**2 - 9*o + 6. Let i be h(-7). Suppose 21*q - 42 = i*q. Does 12 divide (q/(-45)*3)/((-2)/60)?
True
Let n(j) = 2*j**2 - 17*j + 11. Let f be n(8). Let m = -169 + 393. Suppose 4*i - 2*b - 212 = 0, f*b + m = 4*i + 4*b. Is i a multiple of 12?
False
Let y = -612 + 587. Is 2 a factor of (-4380)/(-25) + 5/y?
False
Is ((-8)/(-20 + 16))/((-2)/(-8435)) a multiple of 7?
True
Let m be 1 - -2 - (-3)/(0 - 3). Let f be (-17 + 3)*m*1/(-4). Let l = 20 + f. Is l a multiple of 6?
False
Let v(o) = o**2 - 3*o + 20. Suppose 0 = t - 0*t + 4*s + 10, 5*t + 3*s = 1. Suppose -4*h - 5*x + 10 = 1, -4*h = t*x - 18. Is 7 a factor of v(h)?
False
Let j be 3/22*2612 + 6/(-33). Let r be 1/(-5) + (-1618)/10. Let w = j + r. Is w a multiple of 47?
False
Does 12 divide (-69687)/(-6) + ((-1110)/20)/(-37)?
True
Let r = 3886 - 3457. Does 39 divide r?
True
Suppose 286*i - 190*i = -462*i + 23360112. Does 83 divide i?
False
Suppose -7*n + 46 = 11. Suppose n*z - 116 = -w, 4*w = -3*z + 3*w + 70. Let i = 37 + z. Does 15 divide i?
True
Let b = -3531 - -10028. Is b a multiple of 12?
False
Suppose 4*j + g - 1316 = 1200, 614 = j + 4*g. Suppose t - 358 = j. Does 19 divide t?
True
Let b = 20038 - 1114. Is b a multiple of 24?
False
Suppose -185 = -16*p + 327. Suppose 34 = -p*z + 322. Does 3 divide z?
True
Let n(a) be the third derivative of -a**5/60 - a**4 - 3*a**3 - 2*a**2. Suppose -5922 + 6018 = -6*s. Does 11 divide n(s)?
True
Suppose 8*p = -2*a + 7254, 42*a - 39*a = 3*p - 2709. Is 6 a factor of p?
True
Let g(c) = 6*c**2 + 10*c + 26. Let a be g(10). Let y = a - 702. Is 3 a factor of y?
True
Let y = -71 + 112. Suppose 5*n = -4*w - 126, 3*n - 5*w + 45 = -38. Let m = n + y. Is 2 a factor of m?
False
Let u be 2568 - (8 - 4 - 5). Let a = u - 1770. Is 17 a factor of a?
True
Suppose 15066 = 31*n - 13*n. Let o = n - 403. Is o a multiple of 7?
True
Let y(s) = -196*s + 6. Suppose -3*z = -8*c + 7*c + 5, 2*c = 4. Is y(z) a multiple of 3?
False
Suppose -29*g + 5*p - 483 = -31*g, p - 1173 = -5*g. Suppose -2*r + 3*k + g = -r, 0 = -2*r - 2*k + 460. Is r a multiple of 7?
True
Let p(b) = 1268*b**3 + 14*b**2 - 30*b - 2. Is p(3) a multiple of 46?
True
Suppose 0 = q - 0*q - 2. Let y(i) be the first derivative of 5*i**3 + 4*i - 246. Does 17 divide y(q)?
False
Suppose 0 = -3*x - 3*h - 36, h = -h. Let c be ((-12)/10)/(x/30). Does 21 divide c - -46*27/6?
True
Suppose -d = d + 6. Suppose 10*c = -5 + 75. Is 12 a factor of (-5 + c + d)*-52?
False
Let b(z) = z**3 + 82*z**2 - 1257*z + 651. Does 7 divide b(-95)?
False
Suppose 17*w - 52*w = 31*w - 979110. Does 308 divide w?
False
Let l = 295 + -109. Suppose -664 = -10*j + l. Is 17 a factor of j?
True
Suppose -6 + 2 = l. Let j be 28*5/5 + l. Suppose -4*h + 48 = -g, -4*g = 2*h - 0*h - j. Is 10 a factor of h?
False
Let i be (-2769)/9*24/(-8). Suppose -257 = -4*p + i. Is 5 a factor of p?
True
Let y(t) = -t**3 + 45*t**2 + 24*t - 221. Is 17 a factor of y(27)?
True
Is 40 a factor of 851*5 - (7 + 12 - 14)?
False
Is 16 a factor of ((-8)/(-5))/((-270)/(-1659825))?
False
Let a(l) = 6*l**2 + 105*l - 34. Let u(z) = -10*z**2 - 158*z + 51. Let k(b) = 8*a(b) + 5*u(b). Is k(17) a multiple of 15?
True
Suppose -2*w = 63 - 7. Let c be 1 + -5 + w/(-7). Suppose c = q - 4*q + 492. Does 28 divide q?
False
Let x = -5620 + 5788. Suppose 2*h + 3*f - 177 = 0, -2*h = f + f - 178. Let d = x - h. Is d a multiple of 26?
True
Let w(s) = 27*s - 7. Let i be w(6). Let d = -3 + i. Does 7 divide d?
False
Let i be (-3 + 28/8)*6. Suppose -i = -3*b + q, -2*b = b + 2*q - 12. Suppose -n = -b*n + 30. Is n a multiple of 15?
True
Suppose 2*d - 19*i + 20*i = 9677, 5*d - 2*i - 24197 = 0. Is 63 a factor of d?
False
Suppose -2707 = -4*h + 2077. Let z = h + -665. Is 7 a factor of z?
False
Let c(o) = 30*o**3 - 6*o**2 - 9*o - 3. Let z be c(-1). Is 4 a factor of (-301)/(-35) - (-18)/z?
True
Suppose -250*y + 8880037 = -229963. Is 20 a factor of y?
True
Suppose -3946 = -2*y - 46*b + 50*b, 0 = 5*y - 3*b - 9844. Is y a multiple of 7?
True
Let s(f) = -90*f + 89*f + 1 - 10 - 2. Let x be s(13). Let r = 87 + x. Is r a multiple of 5?
False
Let m be 2*18/(-12) + 13. Is 1848/m + 5/(6 + 19) a multiple of 33?
False
Suppose 1712*c - 70514 - 97480 = 1695*c. Is c a multiple of 61?
True
Suppose -3*q - 18202 = -2*i, -3*q - 52611 + 16219 = -4*i. Does 38 divide i?
False
Let u be 26/(-260) + 121/10. Suppose 0 = u*s - 20*s + 7320. Is 15 a factor of s?
True
Let c(y) = 5*y - 25. Let g be c(5). Suppose g*q + 4*o = -5*q + 362, -4*q = -2*o - 300. Is 23 a factor of q?
False
Let o = -80 - -188. Does 38 divide (10 - 5) + (o - -1)?
True
Suppose 3*d = 15, 0 = 2*k + 5*d - 22 - 7. Suppose -446 = -k*t + 3*z, 9*t = 13*t + 4*z - 892. Is 10 a factor of t?
False
Suppose 6*v + 13492 - 67774 = 0. Does 109 divide v?
True
Let l(i) = 10*i**2 + 110*i + 11. Let j be l(-15). Let h = j + -409. Is 8 a factor of h?
False
Let d(q) = 136*q - 1848. Is 2 a factor of d(19)?
True
Suppose 0 = -i + 5, -6*u + 5*i - 25 = -2*u. Let k be -114 + (u - -1)/((-3)/(-6)). Let p = -76 - k. Is p a multiple of 9?
True
Let g(k) = 2*k**2 - 2*k + 2. Suppose 2*b - 2 = 2. Let x be g(b). Suppose 0 = -x*c + 9*c - 120. Is c a multiple of 5?
True
Let m = 71 - 150. Let c = m - -81. Suppose -c*d - 2*d + 3*n = -1056, d - 264 = -n. Is d a multiple of 33?
True
Let t(m) = -m**3 - m**2 - 2*m + 2. Let f be t(0). Suppose 0 = -r - 4*v + 41, 4*r - 5*v = -f*v + 221. Let o = r + -29. Is o a multiple of 7?
False
Suppose 5*x + 12 = 2. Let c = 5 + x. Suppose -3*j + 6 = 0, -c*j + 5*j - 14 = -l. Does 5 divide l?
True
Suppose 10*c - 85 - 35 = 0. Let h be (-1)/((c/(-3))/40). Does 6 divide (-57)/((-3)/(-15)*h/(-4))?
True
Suppose 0 = -28*q + 10461 + 14515. Is 34 a factor of q?
False
Let d be 0