3. Let v(f) = 4625 + 97*f - 2313 - 4*f - 2311. Does 21 divide v(t)?
False
Let j(g) be the third derivative of -11*g**4/12 - g**3/6 - 14*g**2. Let r be j(-1). Let x = 117 - r. Is x a multiple of 24?
True
Let a = 849 - 541. Is 8 a factor of (a + (6 - 9))*1?
False
Suppose -856*t = -860*t + 3008. Let o = t - 591. Is o a multiple of 8?
False
Let m = -593 + 690. Let c = 130 + m. Is c a multiple of 7?
False
Let x(u) = -81*u + 2272. Is 15 a factor of x(15)?
False
Let b(i) = -2*i + 12 + 6*i - 3*i + 3*i. Let u be b(19). Suppose u*f = 93*f - 460. Is f a multiple of 11?
False
Suppose q + 10 = 3*q. Let f be (-3)/5 - (1 - 18/q). Suppose 9*z + f*z = 2178. Does 26 divide z?
False
Let i = 23 - 17. Let f(c) = 42*c + 12. Let k be f(i). Suppose -d = 3*d - k. Is 45 a factor of d?
False
Let y = -87 - -81. Let r be (-344)/y*75/10. Suppose 0 = 8*s - 4*s - 20, 4*g + 2*s = r. Is 15 a factor of g?
True
Suppose -8*u + 550 = -3*u. Suppose l + u = 2*v + 14, -v - 2*l = -48. Let w = 128 - v. Is w a multiple of 31?
False
Let b(y) = 124*y - 796. Is 10 a factor of b(28)?
False
Let n be 2/2 + -7 + 9. Suppose 0*x + 2*x + t = 165, 0 = 5*x + n*t - 412. Suppose -1 = -3*l + x. Is l a multiple of 16?
False
Let b = 243 + -230. Suppose -1431 - 948 = -b*c. Does 2 divide c?
False
Let h be (3 - (-26)/(-4))*-8. Let m = h - 21. Suppose -m*t + 483 = -0*t. Does 7 divide t?
False
Suppose -s = -2*r - 2, -3 = 4*s - 5*r - 23. Let q(b) = -1. Let c(a) = 11*a - 16. Let l(v) = c(v) - 5*q(v). Is 11 a factor of l(s)?
True
Suppose -k - 2*p = -7*p, -4*k + 42 = p. Let z be (-4)/(-8) + k/(-4) + -173. Let a = z + 293. Is 37 a factor of a?
False
Let u = 1086 - -243. Suppose 0 = 10*a - 10201 - u. Is 28 a factor of a?
False
Let h = 41 - -1. Suppose 4*v + 3*v = h. Suppose v*q - 150 = -30. Is q a multiple of 4?
True
Let d be (12/5)/(-6 + (-1164)/(-195)). Let j = d - -232. Is j a multiple of 28?
False
Is 23 a factor of 1/(1/624) + (0 - -24)/(-8)?
True
Let v be 14 + (-1 - (-28)/(-7)). Suppose 5*u = 4*x - 4850, -2432 = -2*x + 8*u - v*u. Does 81 divide x?
True
Suppose 0 = -4*z + 5*r - 52, 4*z = z - 3*r - 12. Let d be 3 - 1 - (z - -12). Is (2 - 1) + -13*(d - 1) a multiple of 5?
True
Let m be (-17)/((-30)/(-25) - 1). Let k = 37 + m. Let o = k + 208. Does 40 divide o?
True
Suppose 16 = 4*t, -4*i + t + 68 = -2*t. Suppose 5*m = i + 55. Suppose 12*x - m*x = -72. Does 12 divide x?
True
Let h(k) = 4*k - 5. Let o be h(3). Let x(u) = -2*u + 0*u**3 - 9*u**2 - o*u + 3 + 8 + u**3. Is 3 a factor of x(10)?
True
Let p = 55 - -71. Suppose p*j + 456 = 132*j. Is j a multiple of 42?
False
Let d = 21 + -15. Suppose 0 = -4*s - a - 50, d*s + 5*a = s - 70. Is 39*(-4)/s - 1 a multiple of 2?
True
Let o(m) = -m**2 - 6*m + 62. Let v(w) = w**2 + 4*w - 64. Let b(y) = -3*o(y) - 2*v(y). Is b(-34) a multiple of 34?
False
Is (-640 - -40)*(-104)/12 a multiple of 13?
True
Is (-190)/76*6*4/90*-7794 a multiple of 7?
False
Suppose f + 5*r - 60300 = 0, -3*f + 4*r - 77256 = -258251. Does 140 divide f?
False
Let x(j) = 2*j**3 - 7*j**2 + 9*j - 6. Let u be x(4). Suppose 52*q - u*q = 1452. Is q a multiple of 22?
True
Let h(d) = 12*d**2 + 75*d + 1. Let x be h(-5). Let z(w) = -11*w**2 + 1. Let i be z(-1). Is 7 a factor of (-2 - x) + i + 8?
True
Let p = -138 + 142. Suppose -p*t = 455 - 1547. Is t a multiple of 43?
False
Is (-5)/(((-165)/1540)/((-36)/(-14))) a multiple of 30?
True
Let u(m) = 32*m**2 - 16*m - 86. Let j(v) = -2*v**2 - 28*v - 85. Let q be j(-4). Is 18 a factor of u(q)?
False
Let k(m) = -m**3 - 8*m**2 + 2*m + 1. Let q be k(-8). Suppose -5 - 37 = 7*o. Does 13 divide (-392)/(-5) - o/q?
True
Let x be (16/(-24))/((-10)/(-3))*-25. Let a be -630*((-52)/(-12) - x). Let m = a - 216. Is m a multiple of 51?
True
Let f = 5560 - 5233. Is f a multiple of 7?
False
Let q = -24 + 28. Let x = 142 - q. Is (-2)/((-6)/4*2/x) a multiple of 23?
True
Suppose 0*u + u + 19 = 2*j, -2*j = 4*u - 14. Let v = j - 4. Suppose -4*g + 55 = -v. Is 13 a factor of g?
False
Does 25 divide (-2)/14 + 60378*(-4)/(-84)?
True
Let r(d) = -d**3 + 11*d**2 + d - 9. Let n(k) = 11*k**3 - 2*k + 2. Let m be n(1). Let w be r(m). Suppose 43 = w*s - 35. Is 5 a factor of s?
False
Suppose -126 + 132 = 2*s. Suppose 0 = g + s*y - 124, g + 8 = -y + 140. Is 23 a factor of g?
False
Let x = -14407 - -14789. Is 5 a factor of x?
False
Suppose -3*h - h = -37*h + 75075. Is h a multiple of 13?
True
Let g(a) = 10590*a - 4534. Is 271 a factor of g(3)?
False
Suppose -3*k = 2*k - 465. Suppose -4*r = -5*r - 5, k = l - 5*r. Let j = 7 + l. Does 15 divide j?
True
Let y = 38684 - 33281. Is 7 a factor of y?
False
Suppose 130*i - 1164758 = 1831018 - 235616. Is i a multiple of 8?
True
Let d be 90*((-416)/39)/16. Suppose 0 = -7*f + 4*f + 378. Let p = f + d. Does 22 divide p?
True
Let p = -5474 - -9458. Suppose -51*d = -39*d - p. Is 16 a factor of d?
False
Let x(z) = -z**2 + 16*z + 21. Let u be x(17). Suppose 5*b = -u*w + 21, -3*b + 6 = 3. Is w - 4 - (0 - 11) a multiple of 11?
True
Let i(b) = -b**3 + 50*b**2 + 1026*b + 182. Is i(65) a multiple of 32?
False
Suppose 0 = -3*y + 4 + 11. Suppose -y*b - 188 = 627. Let d = -114 - b. Is d a multiple of 28?
False
Suppose -12*i = -976 - 884. Is i a multiple of 5?
True
Let x(o) = -3*o**3 - 3*o**2 - 2*o - 19. Let q(b) = 2*b**3 + 4*b**2 + 2*b + 19. Let s(d) = -5*q(d) - 4*x(d). Let k = 0 - -6. Does 23 divide s(k)?
False
Is 51656/33*210/20 a multiple of 28?
True
Let m(k) = -6*k + 237. Let x be m(0). Suppose -3*v - 177 = -x. Does 6 divide 3 + v/(-4) - -48?
False
Suppose 5*c - 396612 = -7*k, 14*k - 13*k - 3*c - 56670 = 0. Is 80 a factor of k?
False
Let g be -1641*(10/12 - (-7)/(-14)). Let z = -355 - g. Is z a multiple of 64?
True
Let r = 796 + -303. Is r a multiple of 8?
False
Suppose 0 = -i - 2*w + 75886, -30*i = -34*i + 13*w + 303376. Is i a multiple of 45?
True
Suppose 4*n - 2*t + 14 = 0, n + 3*t - 2 = 12. Let w be ((-6)/10 + (-24)/10)/n. Does 12 divide 358/6 + w/(2 - -7)?
True
Let z = 259 - 261. Is 24/(z - 114/(-48)) a multiple of 8?
True
Suppose -2*p = -h - 4 + 3, 0 = -4*h - 2*p + 16. Let j = -9 + 14. Suppose -h*z - j*l = -131, 0 = 5*z - 5*l + l - 280. Does 26 divide z?
True
Let o = 319 + -314. Suppose o*l = 5*q - 400, 0*l + 180 = 2*q + 3*l. Is q a multiple of 21?
True
Suppose 14*k = 475 + 11957. Let c = 8 + k. Does 64 divide c?
True
Let c = 1417 - 1006. Let d = -249 + c. Does 27 divide d?
True
Let f(q) = 865*q**2 - 4*q - 4. Let x be f(-1). Suppose -1639 = -3*g - x. Is 2 a factor of g?
True
Is 53 a factor of (-2)/(4/(-13698)*-1*-1)?
False
Suppose o - 1750 = -3*w, -3*w = -6*o + 10*o - 1762. Is (w/(-4))/(5/(-10)) a multiple of 21?
False
Suppose -6*v + 385 = 103. Suppose -45*w = -v*w + 328. Suppose -2*y + 434 = -w. Is 31 a factor of y?
False
Suppose 2*t - 23 = 3*u - 377, -u - 2*t + 118 = 0. Let b be (3/8 - (-90)/(-80))*-1544. Suppose u = 11*v - b. Is v a multiple of 7?
False
Let t(p) = 7*p - 152. Let n be t(3). Let c = 457 + -260. Let y = c + n. Does 6 divide y?
True
Suppose 0 = -82*n + 86*n - 1888. Suppose -n = -3*s - f, -2*s - 3*f + 103 = -200. Is s a multiple of 7?
False
Suppose -3*i + 854 = -64. Let f = 373 - i. Is 11 a factor of f?
False
Let w(l) be the second derivative of -7*l**5/5 + l**4/12 + l**3/3 - l**2 - 3*l. Let t be w(1). Does 9 divide 1/(-3) - 603/t?
False
Suppose 8*n - 64 = 24. Suppose 4*i = n*k - 12*k + 2713, -2*i + 1360 = 4*k. Is i a multiple of 45?
False
Let g = 560 + -554. Suppose -3*v + 2100 = 3*q, 0 = -2*v + g*q - 3*q + 1375. Is v a multiple of 7?
False
Suppose -2806 = -154*l + 58*l + 50*l. Suppose -5*j - 4*d = -6*j + 51, -219 = -5*j + 2*d. Let m = l - j. Is 3 a factor of m?
True
Suppose 3*q - 1426 = 560. Suppose 3*v = q + 370. Is v a multiple of 29?
False
Suppose -12*c + 16*c + a = 26100, 9*a + 32584 = 5*c. Is c a multiple of 14?
True
Let q be ((5 + 0)/(-20))/((-1)/12). Suppose 0 = q*b + 4*i - 11, -3*i = 3*b - b - 7. Suppose -31 - 19 = -b*l. Is 10 a factor of l?
True
Let s = 11253 - 4357. Is s a multiple of 16?
True
Let z = -100 + 6265. Does 45 divide z?
True
Let w(l) = -l**3 - 10*l**2 - 20. Let y(x) = x**2 - x + 1. Let n(r) = w(r) + 3*y(r). Let i be n(-5). Is 24 a factor of 266/11 - (-1 - i/44)?
True
Suppose 24 - 59 = -7*q. Suppose 19 = -w + 4*k, q*w - 5*k = -0*w - 170. Does 39 divide (-3)/((1/9)/(w/9))?
True
Let q = -25890 + 48259. Is q a multiple of 221?
False
Let o