ultiple of 23?
False
Suppose 0*d - 18 = -3*m - 3*d, 0 = -3*m - 4*d + 22. Suppose 0 = m*a - 10, -a - 5 = -f - 2*a. Is (-72)/(12/(-4)) - f a multiple of 4?
True
Suppose x = 4*o - 6*o, -2*o + 5*x = 0. Let s(j) = -3*j**2 - 5*j + 26. Does 7 divide s(o)?
False
Let f = -722 - -26. Let k = 1256 + f. Is k a multiple of 10?
True
Let r(b) = -b**3 + 7*b**2 + b. Let g be r(7). Suppose 11*w = g*w + 24. Suppose w*s + 450 = 12*s. Is s a multiple of 18?
False
Suppose -20 = -5*u + u. Suppose -u*y - y = -1386. Suppose 4*t + a - 144 = 181, 5*a - y = -3*t. Is 7 a factor of t?
False
Suppose 3*k - 39 = 3*n, 3*n = -2*k - 0*k + 21. Let a(t) = -7*t - 35. Let i be a(k). Let w = 19 - i. Is w a multiple of 29?
False
Suppose l - 2218 = -2*w, 237 - 213 = 4*l. Is 7 a factor of w?
True
Let u = 434 + -434. Suppose u = 2*n - 62 - 306. Is n a multiple of 29?
False
Suppose -13576 = -22*v + 4816. Let r = v - 745. Does 6 divide r?
False
Suppose -22*r + 17*r = -25*r + 463760. Is r a multiple of 25?
False
Let t = 41 + -9. Let z(v) = 6*v - 76. Let s be z(13). Let c = t - s. Is 10 a factor of c?
True
Suppose 0 = -2*u - p + 5, -3*u - p + 1 + 8 = 0. Suppose 5*z - 1476 = -4*i, -13*i = -u*z - 9*i + 1188. Is 37 a factor of z?
True
Let n(z) = z**2 - 5*z + 6. Let b be -2 + (24 - (-1 + 0)). Suppose -b*q + 9 = -26*q. Is n(q) a multiple of 5?
True
Suppose -2*q + 779 = f - 164, -461 = -q - 4*f. Suppose 2*g - 39 = q. Does 25 divide g?
False
Let p be ((-8459)/2 - 1)/(71/(-142)). Suppose 27*l - 20989 = -p. Is 29 a factor of l?
True
Suppose 14688 = -3*q - 20*q + 46681. Is 29 a factor of q?
False
Let a(s) = 43*s - 3. Let o be a(1). Suppose o*u - 37*u = 216. Is 9 a factor of u?
True
Let f be (1 - -1) + 0 + 0. Let h be f + 2 + 0 + -31. Is 7 a factor of (16/(-6))/(3/h)?
False
Suppose -5*i - 5443 - 16802 = -3*z, -3*i - 29649 = -4*z. Is 130 a factor of z?
True
Suppose 5*f + 15*f = 20040. Let x = f + -578. Does 53 divide x?
True
Suppose -1444 = -4*c - 12*k + 13*k, k + 1084 = 3*c. Let d = 248 + c. Is d a multiple of 38?
True
Suppose -1923 = -3*r + 924. Suppose -5*m = -1571 - r. Does 28 divide m?
True
Let q = -647 + 650. Suppose -q*w = -t + 1017 + 49, -4*w = -16. Is 98 a factor of t?
True
Let k(h) = h**2 - h - 28. Let d be k(5). Does 20 divide (1 + ((-4956)/d)/(-3))*-2?
False
Let w = -1464 - -2288. Let o = -499 + w. Is o a multiple of 25?
True
Let q = -9477 - -10187. Does 66 divide q?
False
Suppose -t + 3 = -2*h, 4*h - 3*h = -4*t + 3. Let g(x) = 5*x - 1. Let n be g(t). Suppose 0 = 5*v + 5*o - 1375, -2*v - 545 = -n*v - o. Does 30 divide v?
True
Let s(r) = -r**2 + 4*r - 5. Let u be s(3). Is 16 a factor of u/4*(-5 - 365)?
False
Let r = -110 + -2. Suppose -5*a - 5*n - 1660 = 0, 6*n - 1696 = 5*a + 2*n. Let j = r - a. Is j a multiple of 32?
True
Suppose 58 = -3*j + 61, -4*t + 5*j = -3923. Does 12 divide t?
False
Let z(m) = 8639*m - 152. Does 14 divide z(1)?
False
Let b = 13671 - -1085. Is 34 a factor of b?
True
Suppose 0 = 4*c - 5*w - 1908, -26*c + 5*w = -23*c - 1426. Let j(b) = -71*b + 1. Let a be j(-4). Let x = c - a. Is x a multiple of 15?
False
Is 25 a factor of ((-87)/145)/((-2)/5210)?
False
Let t(m) = -5*m + 9. Let z = 47 + -46. Suppose 12 = -w - 4*n, -w - 2*n + z - 7 = 0. Is t(w) a multiple of 2?
False
Let w(t) = t**2 - 26*t + 180. Let a be ((-16)/(-5))/(10*(-9)/(-225)). Does 2 divide w(a)?
True
Let z(r) be the second derivative of -r**7/840 + r**6/40 + r**5/30 + r**4/4 + 13*r**3/6 - 15*r. Let a(f) be the second derivative of z(f). Does 39 divide a(8)?
False
Let s be (-23 - -87) + (0 - 1). Suppose -6*i + 81 = s. Let c(x) = 2*x**3 - 2*x**2 + 6. Is 6 a factor of c(i)?
True
Suppose 100*n - 1027835 - 564165 = 0. Is n a multiple of 20?
True
Let i(o) be the first derivative of 3*o**2/2 + 28*o - 44. Is i(16) a multiple of 38?
True
Let y(a) = 2*a**3 - 5*a**2 + 6*a - 6. Let g be y(4). Suppose -66 = -d + 3*c, -d + c + g = -c. Suppose -d = 8*n - 14*n. Is n a multiple of 5?
False
Suppose 5*w + 2*l - 13 + 6 = 0, -23 = -5*w + 2*l. Let s(t) = -t + 9. Let f be s(4). Suppose 4*n = -f*i + 183 + 58, 0 = 3*i - w. Is 22 a factor of n?
False
Let n(v) = -v + 1. Let u be n(1). Let p = -2279 - -2534. Suppose -3*r + p + 171 = u. Is 22 a factor of r?
False
Let b(q) = 82*q - 169. Let z be b(16). Suppose 6*x - z = 4*x + 5*j, -1 = -j. Is x a multiple of 68?
False
Let u(b) = 10*b**2 - 4*b - 8. Let d(s) = -7 - 3*s**2 + 12*s**2 + 7*s + 0*s**2 - 9*s. Let a(k) = 3*d(k) - 2*u(k). Does 10 divide a(-5)?
True
Is 6 a factor of (306/42 + 7 + -4)/(6/4172)?
True
Suppose 0 = 78*b - 115*b + 543900. Is b a multiple of 60?
True
Let b(s) = -15*s + 4. Let u be b(-10). Let o = u + 72. Is 22 a factor of o?
False
Suppose -497*d + 369104 = -463*d. Is 23 a factor of d?
True
Let n = 6580 - -1325. Is 32 a factor of n?
False
Let w(u) = -3*u**2 + u - 3. Let l be w(4). Let s = 64 + l. Is s even?
False
Is 54/6 - (-19)/(228/71496) a multiple of 17?
True
Let y be (-1673)/(-6) + (-7)/(-42). Let d = y + -495. Is d/60*15/(-2) a multiple of 27?
True
Is 19 a factor of (-35 - -18) + (1690 - 1)?
True
Suppose 4*o + 1 = 9. Suppose -o*f + 16 = -2*j, -5*j = 3*f + 25 - 9. Does 32 divide (-3)/f*-288*8/12?
True
Suppose 2*f - 5*f + 237 = 0. Let p = f - -15. Is p a multiple of 29?
False
Suppose 6*m = m + 45. Let t(z) = 4*z**3 - 9*z**2 - 11*z + 25. Let j(x) = -3*x**3 + 9*x**2 + 12*x - 23. Let n(w) = 3*j(w) + 2*t(w). Is 16 a factor of n(m)?
False
Let o = -8334 - -13604. Does 170 divide o?
True
Let s = 54 - 45. Let r be 9/(-6) - (-2 - s/6). Suppose 15 = r*h - 11. Is h a multiple of 5?
False
Let z(a) = 127*a - 266*a - 80*a + 58 - 7*a. Is 23 a factor of z(-3)?
True
Suppose -19*i + 21*i = 0. Suppose i = f + 20 - 25. Let o(b) = -b**3 + 6*b**2 - b - 6. Is 14 a factor of o(f)?
True
Let a be -2*(-2)/(-2) - -2. Suppose 0 = 4*l + 20, -4*l - 416 = -4*z - a*z. Is z a multiple of 10?
False
Let m(n) = 40*n - 5. Let b be (-5)/(-3) - 7/(-21). Let c be m(b). Let k = c - 27. Does 11 divide k?
False
Let z = -8 - -13. Let q be 3*z/(-3)*109. Does 31 divide 3/((-15)/q)*(-1 + 2)?
False
Let m(r) = 69*r**2 + 37*r - 66. Is 10 a factor of m(9)?
False
Suppose -8*k + 27 - 3 = 0. Let b(s) = 4*s**3 - 20*s - 3*s**2 + 9 - 4*s**3 + s**k. Does 13 divide b(8)?
True
Let y be -12 + 13 + 5/(15/12). Suppose -2*z + 3*j = y*j + 614, -5*j + 929 = -3*z. Is 1 - ((-4)/2 - (1 - z)) a multiple of 13?
True
Let y be -2 + 2025 + (-13 - -12). Suppose 1713 = 5*f - y. Is f a multiple of 56?
False
Let g = 2206 - 538. Is 4 a factor of g?
True
Let w(l) = -l**3 - 26*l**2 - 70*l + 94. Is 6 a factor of w(-42)?
False
Suppose -10*r + 65803 = -3*h, 3*h - 8 + 11 = 0. Does 20 divide r?
True
Suppose 3629*c - 3621*c - 45296 = 0. Is 15 a factor of c?
False
Suppose 11761 = -12*v + 4033. Let b = -363 - v. Does 14 divide b?
False
Suppose 2*x = n + 805, -3*n - 1645 = -4*x - 8*n. Let m = x - -40. Is 38 a factor of m?
False
Let o(x) = 68*x + 152. Suppose 0 = -56*u + 27*u + 232. Is o(u) a multiple of 29?
True
Let y = -497 - -502. Suppose 0 = -2*x + 4*j + 2772, -y*x + 944 = 5*j - 5941. Is x a multiple of 92?
True
Suppose -3*b + 0*b = -3. Suppose j - b + 8 = -4*y, 2*j = -4*y - 2. Suppose j*c = 63 + 12. Is c a multiple of 7?
False
Let u = 12723 - -1962. Does 15 divide u?
True
Suppose -60*i = -90*i - 4165 + 91975. Is 22 a factor of i?
False
Let g be (10296/(-45))/(-8) + 3/(-5). Let v = g - -132. Is v a multiple of 40?
True
Let d(p) = 3*p**3 + 2*p - 4. Let y be d(3). Suppose -36506 = 8*m - 36994. Let k = y + m. Is 9 a factor of k?
True
Let s = -179 + 119. Let j = s + 138. Is 13 a factor of j?
True
Suppose 360 = 2*w - 196. Let j = w + -208. Is 10 a factor of j?
True
Let q(j) = -j**3 + 3*j**2 - 5*j. Let d be q(7). Let g = 128 + -142. Does 4 divide (-340)/g + (-11)/(d/(-6))?
True
Does 24 divide (5295/21 + -1)*(-4900)/(-175)?
True
Suppose -1218 = -p - 3*v, 4*v - 328 = -3*p + 3336. Does 51 divide p?
True
Let f = 145 + -140. Let c = -2 - -25. Suppose f*g - c = 32. Is g even?
False
Let o be (4*2/8)/((-1)/3). Let q be (0 + o - 0) + -312. Is (12/(-18))/(6/q) a multiple of 35?
True
Is (53/106)/(5/6660) a multiple of 15?
False
Suppose -4*l - 14*g - 44 = -19*g, 8 = 2*g. Let b(u) = 19*u**2 - 8*u - 1. Is 17 a factor of b(l)?
True
Let t(n) = -11448*n + 773. Is 37 a factor of t(-2)?
False
Suppose 3*l = -3*d - 12, 0 = -3*l - 5*d + 3*d - 8. Let j = 64 + l. Does 16 divide j?
Tru