ultiple of 4?
True
Let b be ((-6)/(-4))/(46/(-2208)). Is 16 a factor of b/144 - 3970/(-4)?
True
Let o(k) = -k**3 - 5*k**2 - 7*k - 5. Let h = -29 + 22. Let g be o(h). Let a = g - 9. Is a a multiple of 28?
False
Let f = -4817 + 10116. Does 85 divide f?
False
Let b(r) = -22*r - 12. Suppose 5*n - n - 16 = 0. Suppose -5 = n*q - 3*q. Is 20 a factor of b(q)?
False
Let i = -2707 - -3507. Is i a multiple of 20?
True
Let q = 1607 + -1411. Does 6 divide q?
False
Suppose 0 = -10*t - 8*t + 12978. Let x = t - 378. Is 7 a factor of x?
True
Suppose -3*h - 9 = 0, 3*h + 1070 = -o - 227. Let v = o - -1820. Is 19 a factor of v?
True
Suppose 0 = 4*l - 3*p - 33, -2*l = -3*l - 2*p. Suppose l*i + 4184 = 10*i. Suppose 4*f = -38 + i. Does 37 divide f?
False
Let f = -40 - -43. Let s(r) = -r - 3. Let x be s(-2). Is 8 a factor of 3/12*x*(-132)/f?
False
Suppose -10*z - 10169 = -29099. Let g = z + -977. Does 77 divide g?
False
Let k(j) = j**2 + 10*j - 25. Let h be k(-12). Let w be 1/(-4) + (1410/8 - h). Let p = w - 58. Does 7 divide p?
True
Suppose 124 + 86 = 10*m. Suppose 31*v - 570 = m*v. Is v even?
False
Suppose -u - 25 = -t, 5*t + 2*u = -0*t + 90. Let q be ((-39)/52)/((-1)/t). Does 20 divide 18/q*83 - 12/(-30)?
True
Does 11 divide ((-264)/36)/((-8)/7260)?
True
Let j(r) be the second derivative of 1/2*r**2 + 0 - 4*r - 1/3*r**3 + 7/4*r**4. Is 27 a factor of j(2)?
True
Let k be ((-2)/(-3))/(8/180). Let l be (-10)/3*(-9)/k. Is (l/(-6))/(6/(-504)) a multiple of 14?
True
Suppose -l + 8 = l. Suppose 3 + 73 = l*c. Suppose c*q = 21*q - 190. Is q a multiple of 19?
True
Let f be (24563/22)/(3/18*3). Suppose 2*x = 4*r - 4, 4*r = 3*x + 6 - 0. Is x/(-2) - f/(-7) a multiple of 16?
True
Let j(h) = 4188*h - 7658. Does 13 divide j(7)?
True
Is 12*(-57)/(-12)*7 - 7 a multiple of 4?
True
Is 3617948/312 + 1/6 + 298/(-1937) a multiple of 223?
True
Suppose 4*s + y - 3452 = 0, 2804 = 3*s + 3*y + 224. Is 54 a factor of s?
True
Suppose 11*p = 12*p + 3. Let i(d) = 3*d + 11. Let c be i(p). Suppose 2*s - 3*y - c*y - 89 = 0, -s = 5*y - 67. Does 13 divide s?
True
Let q(j) = j**3 + 8*j**2 + 11. Let f be q(-9). Let s = 10 - f. Suppose 3*x - 5*d - s = 0, -4*x = -x - 4*d - 82. Is 10 a factor of x?
True
Let f(v) = -v**2 - 17*v + 11. Suppose 4*o + 6*r = r - 63, -4*r = -4. Let t be f(o). Suppose 3*j + 12*k = 7*k - t, 6 = -2*j - 3*k. Is 3 a factor of j?
True
Suppose 3*j = 2*d + 19433, -19405 = -14*j + 11*j - 5*d. Is 5 a factor of j?
True
Let x(v) be the second derivative of 1/3*v**4 - 14*v + 0 - 7/2*v**2 - 1/3*v**3. Is x(7) a multiple of 35?
True
Suppose -4*i - 66 = -6*i. Let o = i - 30. Suppose o*h - 2*n - 141 = 15, 4*h + 3*n = 225. Is h a multiple of 41?
False
Let q(h) = -2*h**3 - 115*h**2 + 32*h + 366. Is q(-58) a multiple of 5?
False
Let n = -1099 - -1153. Is n a multiple of 3?
True
Let t = 12207 + -8413. Does 14 divide t?
True
Suppose 8*x = 4*x + 196. Let m = -17 + x. Suppose -m*b + 27*b = -75. Is 3 a factor of b?
True
Let r(d) = -d**3 + d**2 + d. Let y(x) = 6*x**3 + 9*x**2 - 19*x - 4. Let v(f) = 5*r(f) + y(f). Is v(-14) a multiple of 32?
True
Let o(v) = 202*v + 855. Does 13 divide o(8)?
False
Let g(z) = z**3 + 14*z**2 - 18*z - 33. Let p be g(-15). Suppose p = 2*r - 28. Is (r/25)/(10/1175) a multiple of 26?
False
Let y(x) = 110*x - 1637. Is y(17) a multiple of 4?
False
Suppose 9*v = -n + 6*v + 1015, -2*n = -v - 2002. Suppose 1000*d = n*d - 1614. Does 30 divide d?
False
Let p(s) = 87*s**2 - 73*s - 8. Is 220 a factor of p(24)?
False
Let v = 67399 - 34476. Is v a multiple of 41?
True
Let n(g) = -g - 14. Let v be n(-6). Let q be (-1)/(((-8)/156)/(v/(-6))). Suppose -t + i = -6*t + 83, -2*t + 2*i + q = 0. Does 16 divide t?
True
Let m be (-4)/30 - (4 - (-4556)/30). Let v = m - -192. Is 4 a factor of v?
True
Is 20 a factor of (-64)/(7 - ((-214)/(-40))/((-42)/(-56)))?
True
Suppose 3*b - 1164 - 3444 = 0. Let v be (5 + (-2)/2)*b/24. Suppose 4*n + 27 = 2*f - 79, 5*f - n = v. Is 22 a factor of f?
False
Let s(d) = -d**2 + 10*d - 9. Let t(g) = -g - 13 + g**2 + g + 8*g - 5*g. Let w be t(-6). Is 3 a factor of s(w)?
False
Suppose z = -l + 1385 - 234, -5*z - 2*l + 5764 = 0. Suppose 5*t - 1444 = j, -3*j = 4*t - 5*j - z. Let v = -206 + t. Does 19 divide v?
False
Let s(d) = 2*d + 10. Let c be s(-3). Suppose -c*v + 2 + 18 = 0. Suppose -v*y + 40 = -170. Does 14 divide y?
True
Let t be 24/10 - (-3)/5. Let m(j) = -2*j**2 + j**3 - t*j - 10 + 0*j**3 + 15. Is m(3) a multiple of 2?
False
Suppose 0 = -q, 0*g - 2*g = -5*q. Suppose -4 = -0*l + l, -3*d + 2*l + 8 = g. Suppose 7*j - 2*j - 630 = d. Does 18 divide j?
True
Let j(x) = -x + 2. Let f be j(-1). Let p be (82 - f) + -4 + 8. Is 28 a factor of 15/5 + -2 + p?
True
Let d(j) = 10*j**3 + j**2 - 5. Let q be d(2). Suppose -37 = 2*p - 0*p - 3*f, 5*p = 3*f - q. Does 7 divide 246/14 - (-8)/p?
False
Let v(c) = -2*c**2 + 13*c - 15. Let j be v(5). Suppose 15*r - 115 - 3380 = j. Is 19 a factor of r?
False
Let u(x) = 4*x**2 + 68*x + 95. Does 12 divide u(16)?
False
Suppose -3*h - 17 = 4. Let q(s) = s**3 - 8*s**2 + 2*s - 4. Let l(v) = -4*v**3 + 25*v**2 - 7*v + 12. Let r(j) = 2*l(j) + 7*q(j). Does 9 divide r(h)?
True
Let u(a) = -73*a - 90. Let l be 4/(-6) + 490/(-30). Does 24 divide u(l)?
False
Let m = 32160 + -11828. Is 34 a factor of m?
True
Let a = -471 - -90. Let o = -157 - a. Is o a multiple of 16?
True
Let r(g) be the first derivative of g**4/4 + 2*g**3 - 11*g**2/2 - 5*g + 7. Let i be r(-7). Let b = i + 2. Is b a multiple of 5?
True
Let t(d) = -d**3 + 23*d**2 + 23*d - 674. Is t(19) a multiple of 26?
False
Let y = -40661 + 42174. Is y even?
False
Let q = 391 - 389. Is (864/90)/(q/45) a multiple of 4?
True
Let t be 8/(-14) + 7232/112. Suppose -t = 6*r - 16. Let u = r - -13. Is 5 a factor of u?
True
Let x be (-892*2)/(3*(-2)/3). Suppose -x - 5088 = -20*d. Is d a multiple of 13?
True
Let c = -87 + -230. Let t = c + 338. Does 3 divide t?
True
Let d = 111 - -260. Is -15*(-1 + d/(-21)) a multiple of 8?
True
Let x(v) = 8*v + 19. Let c be x(-10). Let w = 248 - c. Is w a multiple of 35?
False
Suppose -4*q + 2*w = 409 - 425, w - 17 = -3*q. Does 5 divide q?
True
Let a = 73 + -79. Let o be (3/(-6) + -2)*(4 + a). Suppose 5*v + 5*t = 10 + 125, -t = o*v - 115. Does 22 divide v?
True
Let n(w) = -w - 14. Let c be n(11). Let h = c + 8. Does 7 divide (52 - h) + (1 + -2 - -2)?
True
Does 126 divide 19/((-114)/(-750))*18?
False
Suppose -f + 37250 = 7*f - 3*f. Is f a multiple of 50?
True
Let i = 80 - 73. Let k(d) = -d**2 + 5*d + 12. Let f be k(i). Is 45 a factor of (-50)/5*1/(f/9)?
True
Let t(b) = b**2 + 9*b + 20. Let n be t(-6). Suppose 4*q + n*j - 914 = 4*j, 5*j - 5 = 0. Is q a multiple of 7?
False
Does 32 divide 1178 + ((-676)/91 - (-9)/21)?
False
Let w(o) be the first derivative of o**4/4 + 7*o**3/3 - o**2/2 - 5*o + 33. Let c be w(-7). Does 12 divide (-136)/((-2 + -2)/c)?
False
Suppose -19612*s = -19589*s - 851184. Is s a multiple of 24?
True
Let i = 485 + -236. Let l = 281 - i. Is l a multiple of 4?
True
Let d be (21/12 - 2)/(1/(-76)). Is (2 - 0) + d - 3 even?
True
Let q(b) = 6*b**2 - 224*b + 72. Does 13 divide q(43)?
True
Let u(r) = 9*r**2 - 3*r - 241. Does 53 divide u(-25)?
True
Suppose -5*c + 6*c - 733 = 2*g, -5*g - 754 = -c. Is c a multiple of 7?
False
Is (3 - 11302/12)*-14 - 6/9 a multiple of 13?
True
Suppose -4*p + 7784 = -c + 42341, 4*c = 3*p + 138267. Does 24 divide c?
False
Suppose -5*q + 13 = -t, 0*t - 2*t - 8 = -4*q. Suppose 4*x - 3*x - 7 = -k, -19 = -q*x - 5*k. Is 13 a factor of x/(-14) - 1045/(-77)?
True
Let q be (2/(-8))/((-90)/88 + 1). Let n = 5 + q. Is (-162)/(7 - n) + -1 + 5 a multiple of 3?
False
Let c(k) = -873*k + 14600. Is c(0) a multiple of 25?
True
Suppose p + 7589 = 5*q - 4*q, 7559 = q + 5*p. Is q a multiple of 158?
True
Is -60*(-28)/(-9)*(-2484)/72 a multiple of 46?
True
Suppose 18*l = 20*l - 6. Suppose l*f + o + 10 = f, 3*f = o - 20. Does 26 divide 322/3*(-6 - 45/f)?
False
Suppose j = 36*j - j - 530910. Does 121 divide j?
False
Suppose 21*s - 35614 = 6*s + 47426. Does 43 divide s?
False
Suppose 30 = 4*w + 14. Suppose w*l = 3*v - 4*v + 2731, -4*v + 694 = l. Does 31 divide l?
True
Let b = 11 + -9. Let h be 6/b*(1 - (-10)/3). Is (-4)/26 + 171/h even?
False
Let v(m) = -m**3 + 8*m**2 - 9*m + 2. Let l be v(7). Let y(z) = -18*z + 18. Does 26 divide y(l)?
True
Suppose -13*l - 1704095 + 1245