f i?
True
Let o be -4 + 12 + -5 + -579. Let j = 156 - o. Is j a multiple of 63?
False
Let p be 5/(-25) + ((-52)/5)/(-2). Suppose 12 = -3*l, -2*l = -p*r + r + 472. Is r a multiple of 32?
False
Let q(m) = 37*m - 215. Suppose 360 + 360 = 30*v. Is 51 a factor of q(v)?
False
Is 120 a factor of (-1)/((-22)/132004) - 312/1716?
True
Suppose -906 = -5*g + 54. Suppose -5*u + 17 = 2*j - 367, -2*u = -j + g. Is j a multiple of 64?
True
Let s(r) = -2*r**3 - 6*r**2 - r + 9. Let y be s(-4). Suppose 210 = 46*o - y*o. Suppose o = -0*l + 7*l. Is l a multiple of 3?
True
Suppose 3*i + 0*d + 38 = d, -d - 14 = i. Is (1 - (-191 - -1)) + (i - -11) a multiple of 27?
True
Let c be 2/(14/11809*7). Let x = 343 + c. Is 23 a factor of x?
False
Let s = 156 + 136. Let c = s - -1490. Is c/14 + 3/((-42)/4) a multiple of 17?
False
Suppose 61 = -3*b + 1312. Let j(c) = -9*c + 18. Let a be j(2). Suppose 5*m - b = -4*d, a = -4*m + 7*m - 4*d - 231. Does 28 divide m?
False
Let u(r) = r + 10. Let m be u(-4). Suppose m*f - 152 = -2*f. Suppose -f*w = -17*w - 318. Is 21 a factor of w?
False
Let x = 868 + -866. Suppose 4579 = 3*m - 5*h + 1416, 3128 = 3*m + x*h. Is m a multiple of 7?
False
Let h(c) = 7*c**2 + 23*c + 142. Is h(-10) a multiple of 34?
True
Let p be 35/25 - (-741)/(-65). Let k = 6 + -31. Let t = p - k. Is 5 a factor of t?
True
Suppose 131*z - 138*z + 5733 = 0. Let f = z + -512. Does 18 divide f?
False
Let o(r) = 1554*r**2 - 624*r - 4. Is 47 a factor of o(4)?
False
Suppose 4*d - 170*o - 188100 = -174*o, 3*d = -5*o + 141071. Is 108 a factor of d?
False
Suppose -2*p + 4 = -3*h - 5, -5*p + 13 = 2*h. Let y be (-1 - 12/(-9))*h*-15. Suppose -5*n + 242 = 4*l, -3*l + 73 = -y*n - 91. Is l a multiple of 29?
True
Let c = 754 + 11027. Is 21 a factor of c?
True
Let m = 67 - 67. Let g(f) = -f**2 + 2*f + 12. Let q be g(5). Is q/2*(m - (-120)/(-9)) a multiple of 4?
True
Let q be (-275687)/(-333) - (-2)/18. Suppose 2*u + 4*c - q = -3*u, 2*u - 5*c = 318. Is u a multiple of 24?
False
Suppose -j = 3*o - 2473, -5*o + 3*j + 4119 = 6*j. Suppose 16*p - o = 11*p. Is 9 a factor of p?
False
Let a(m) = -m**3 - 4*m**2 + 3*m + 9. Let j be a(-4). Is 11 a factor of (-1122)/36*2*(j + 0)?
True
Let a(k) = 4*k - 22. Let w be a(-20). Let i = w + 69. Let b = 32 - i. Does 20 divide b?
False
Let j(b) = -12*b**3 + 5*b**2 + 11*b. Let x(s) = s**3 - 6*s**2 - 13*s + 88. Let f be x(5). Does 8 divide j(f)?
False
Let w(f) = -3*f**3 + 8*f**2 + 4*f**3 - 29 + 12 + 8*f - 12*f. Let l be w(-8). Let a = l + -9. Does 5 divide a?
False
Let u(h) = 4*h + 27. Let o be u(-4). Let l(c) = 25 + 2*c - 7*c - 6*c + c**2. Does 3 divide l(o)?
False
Let z(l) = -303*l**2 - 7 + 330*l**2 + 6*l - 2*l. Let w be z(3). Suppose -3*k + w = -1. Does 18 divide k?
False
Let f(p) = p**3 + 4*p**2 - 5*p + 12. Let b(v) = -4*v**2 - 2*v - 3. Suppose 0 = h + 2*h + 3. Let s be b(h). Does 4 divide f(s)?
True
Let p = -466 + 1299. Suppose 2*t + 5*f + 331 - 928 = 0, 3*t - 5*f - p = 0. Does 22 divide t?
True
Suppose -6*b - 690 = -12*b. Let h = -112 + b. Suppose -r - h*r - 452 = -5*u, -3*u = -5*r - 279. Is u a multiple of 10?
False
Let b be 0 + -2 + 5 - 3. Let g(m) = -2*m**2 - 5*m + 14. Let d be g(-4). Is -2 - ((d - b) + -104) a multiple of 43?
False
Let d(k) = k**2 + 7*k - 20. Let g(h) = 178*h - 172*h - 1 - 20 + h**2. Let b(p) = -4*d(p) + 3*g(p). Is 3 a factor of b(-9)?
False
Let q(u) = 102*u**2 + 18*u + 72. Is 32 a factor of q(-4)?
True
Is 3 a factor of (9/2)/((1/(-228))/((-24)/216))?
True
Suppose 2294 - 366 = 4*b. Does 99 divide b?
False
Let w = -61 + 49. Let s(p) = p**2 + 5*p - 26. Let l be s(w). Suppose -187 - l = -5*z. Is z a multiple of 5?
False
Suppose 53*w - 9379 = 36*w + 1331. Is w a multiple of 105?
True
Suppose 35 = 2*d + 5*g, -3*g - 2*g = -25. Suppose -6*y - 242 = -d*y. Let n = y - -409. Is 38 a factor of n?
False
Let d(y) = -277*y + 1724. Does 2 divide d(4)?
True
Is 9 a factor of (-3128)/(-1) + (-1800)/180?
False
Let m be 68/4 + (2 - -8). Suppose -5*v = 2*j - 1099, 884 = 4*v - j + 5*j. Suppose -u - m = -v. Does 12 divide u?
True
Let t(b) = -10*b**3 + b**2 - 6*b - 19. Let u be t(-3). Let l = u - 137. Does 7 divide l?
False
Suppose 2*a - 3*d - 32674 = 8472, -5*a = 5*d - 102840. Is 110 a factor of a?
True
Let y = -89 - -120. Suppose -22*k = -y*k + 108. Is 12 a factor of k?
True
Let v = 17 + -13. Let n be ((-4)/2)/((-10)/135) + v. Is (-8)/(n/(-42) + (-18)/(-27)) a multiple of 7?
True
Suppose -111*f + 93*f = -30078. Is 11 a factor of f?
False
Let p = 41 + -26. Let v(g) = -2*g**2 + 29*g + 28. Is v(p) even?
False
Suppose 12*h - 781 = 839. Suppose v + 534 = 8*g - 4*g, -g + v = -h. Is g a multiple of 14?
False
Let p = 409 - -7697. Is 7 a factor of p?
True
Suppose -36*t + 70922 = -191554. Is t a multiple of 113?
False
Let x(g) = -70*g - 17. Let w be x(-8). Let k = w - 267. Does 46 divide k?
True
Let t(k) = 5*k**2 + 2*k - 13. Let b be (-132)/55*(-10)/8. Is t(b) a multiple of 19?
True
Let d(w) = 12*w + 2 + w**2 + 7*w + 5. Let b be d(9). Suppose 479 + b = 9*c. Does 21 divide c?
False
Let k(l) = -7*l - 28. Let q be k(8). Let n be (-2)/8 + 63/q. Is 44/(-110) + (1014/10 - n) a multiple of 17?
True
Let u(q) = 433*q**3 + 4*q**2 + 4*q + 2. Let y be u(-1). Let j = 601 - y. Is j a multiple of 8?
True
Let x(i) = 90*i**3 + 2*i**2 - 70*i + 17. Is x(8) a multiple of 233?
False
Let f(j) = j**3 - 9*j**2 - 2*j - 78. Let w be f(10). Let d(k) be the second derivative of k**5/20 - k**4/12 + k**3/2 + 3*k**2/2 - k. Is 13 a factor of d(w)?
True
Suppose -111 = -3*c - 21. Suppose 3*z - a - 59 = 4*a, -4*a = -8. Let q = z + c. Is q a multiple of 14?
False
Is 228 a factor of 8/(15 - 17) + 53565?
False
Let w = 8441 - 5064. Is 8 a factor of w?
False
Let o(v) = -5*v**3 - 11*v**2 + 4*v + 13. Suppose -2*s - 25 = 3*l, -l - 5*s - 25 = -s. Is 12 a factor of o(l)?
False
Let s(u) = 5*u**2 + 9*u + 3. Let d be (-8)/(65/75 + -1). Let b be (2/(-4)*-3)/(d/(-200)). Is s(b) a multiple of 33?
False
Let z be (-7)/(-14) + (-529)/2. Let y(p) = p**3 - 13*p**2 + 19*p - 1. Let a be y(9). Let g = a - z. Does 22 divide g?
True
Suppose -2*d = 5*c - 0*c - 45, c - 15 = -d. Let n be (8/d)/(3 + 52/(-20)). Suppose -15 - 157 = -n*l. Is 4 a factor of l?
False
Let m = 9671 - 8916. Is 4 a factor of m?
False
Let z = -1185 + 3442. Suppose 6*r - 11 = z. Does 14 divide r?
True
Let p = -146 + 333. Suppose 197 = 2*h + 5*b, -h + 5*b = h - p. Does 17 divide h?
False
Let t(y) = 55*y**2 + 6*y + 13. Let o = -307 - -304. Is t(o) a multiple of 22?
False
Let g(l) = -4*l**3 + 4*l**2 + 5*l + 19. Let c be g(-6). Suppose -3*i - 4*h = -c, h + 4 - 5 = 0. Is 16 a factor of i?
False
Let y(g) = -12*g + 76. Let q be y(4). Suppose q*l - 23*l - 170 = 0. Is l a multiple of 3?
False
Let v(j) = 5*j**3 - 20*j**2 - 21*j - 66. Does 45 divide v(18)?
False
Suppose 12 = -46*n + 52*n. Suppose 0 = n*k + 2*f - 97 - 81, -2*f + 2 = 0. Is k a multiple of 11?
True
Let i be 2/4 + (-1)/(-2). Let a(s) = -s**3 + 4*s**2 - 3*s - 9. Let x be a(5). Let p = i - x. Does 7 divide p?
False
Suppose 5*d + 5*r = 37225, 79*d - 37209 = 74*d + 3*r. Is d a multiple of 3?
True
Is 39 a factor of ((-8190)/(-84))/(4/344)?
True
Suppose -14*t + 6*t + 440 = 0. Suppose 2*a = -5*n + 62, 4*a + 3*n - t - 83 = 0. Is 4 a factor of a?
True
Suppose -6*r + r = 10. Suppose -4*m + 18 = 4*p - 10, -2*m + p = -2. Is 18 a factor of 5/r*m/(3/(-28))?
False
Does 6 divide (-11105)/(-15 + 17 + -3)?
False
Let g(y) = -20*y + 180. Let a be g(9). Suppose -12*h + 6324 + 1488 = a. Is 8 a factor of h?
False
Let v(l) = -7*l - 40. Let p be v(9). Let g = p - -216. Is 65 a factor of g?
False
Suppose -14*f + 10*f = -7*f. Suppose z - i - 299 = f, 5*i + 907 = 5*z - 2*z. Is z a multiple of 30?
False
Suppose 26*x = 1124 + 540. Does 32 divide x?
True
Suppose -2*i + 2 = -4. Suppose 198 = i*p - 180. Let q = p + -66. Is 15 a factor of q?
True
Let j(u) = 5 - 14*u**2 + u**2 - u**3 + 35*u + 11 - 4*u**2. Does 18 divide j(-20)?
False
Let j = -6098 + 10723. Is j a multiple of 48?
False
Let c = -698 + 712. Is c even?
True
Suppose 21*v + 20*v = -13*v + 651672. Is v a multiple of 14?
True
Let v be -15 - ((-3)/(6/(-4)) + 1). Does 34 divide (-327)/(-2) - 9/v?
False
Suppose 26*d - 21563 - 8857 = 0. Is 13 a factor of d?
True
Let u = 56 + -56. Is 25 + -30 + u + 308 a multiple of 15?
False
Suppose -j + 34 = -12. Let x = j + -130. Let f = x + 122. I