-3*p + 2 = -4. Suppose -3*n + p*n + 10 = 0. Is -2 + (-5)/5 + n a multiple of 2?
False
Let r = 293 + 7. Let q = 434 - r. Is q a multiple of 17?
False
Let b = 49 + -49. Suppose -2*f = -b - 84. Is f even?
True
Let t(w) = -885*w + 125. Let k be t(-3). Suppose k = 1037*z - 1035*z. Does 24 divide z?
False
Let b(q) = -q**2 + q + 1. Let r(i) = 5*i**2 + 9*i - 34. Let l(t) = 4*b(t) + r(t). Does 10 divide l(7)?
True
Let l = -9346 - -9783. Does 2 divide l?
False
Let s(r) = 6*r + 54. Let x be (-5)/(-3)*(5 + -11 - -27). Suppose x = -7*h - 0*h. Is s(h) a multiple of 10?
False
Suppose 5*u - 7733 = -4*c, c + 288 - 290 = 0. Is 13 a factor of u?
False
Let a(r) = r**3 + 9*r**2 - 8*r + 19. Let x be a(-10). Let j be 4 - (x - (2 - 2)). Suppose 0 = -j*i + 6 + 4, -5*q - 5*i + 135 = 0. Is 5 a factor of q?
True
Let u = 8404 + -2180. Is u a multiple of 8?
True
Let a(x) = -x**2 + 13*x + 3. Let o be a(13). Suppose f + 5*t + 24 = 0, -4*f - 8 = f - o*t. Does 4 divide (f/((-12)/57))/1?
False
Let y(j) = 24 + 18*j - 19*j + 5*j. Suppose -2*z - 5 = -29. Is 36 a factor of y(z)?
True
Let n(u) = -119*u. Let o be n(-2). Suppose 33*c + 1345 = -4067. Let j = c + o. Does 21 divide j?
False
Let k(j) = -10*j - 237. Let z be k(-24). Let y(t) = 299*t + 38. Is 11 a factor of y(z)?
True
Let x = 257 + 567. Does 30 divide x?
False
Suppose -5*y - 3*d + 0*d = -2, -5*y - 4*d + 1 = 0. Suppose 0 = 5*s + 2*r - 227, -y = r - 2. Is 45 a factor of s?
True
Let x = -35 + 40. Suppose -5*v - x*g - 240 = 0, 2*v = -g - 140 + 46. Let f = -21 - v. Is f a multiple of 12?
False
Let n(d) = -d**3 + 37*d**2 + 49*d - 351. Is n(35) a multiple of 185?
False
Suppose 3*r - 4*o - 343 = 0, -4*r + 100 = o - 332. Let q = r + 129. Is 50 a factor of q?
False
Suppose 249293 = 19*a - 218278. Is 172 a factor of a?
False
Let f(m) = m**3 - 13*m**2 + 15*m + 9. Let k be f(11). Let g = 50 - k. Is g a multiple of 3?
False
Suppose -3*l = -131*k + 136*k - 13472, 13469 = 3*l + 2*k. Does 18 divide l?
False
Suppose -4*i + 5195 = x, 3*x - 3*i = x + 10445. Does 149 divide x?
True
Let z(v) = -2*v**3 - 40*v**2 + 34*v - 22. Let a(i) = i**3 + 20*i**2 - 17*i + 11. Let n(b) = 5*a(b) + 3*z(b). Is 2 a factor of n(-21)?
False
Suppose 204 = h + 11*h. Suppose h*x + 3 = 18*x. Suppose 0*d - x*k - 399 = -3*d, -d + 137 = -2*k. Is 43 a factor of d?
True
Suppose 0 = 2*k + 5*j - 20, 4*k + 12 = -0*k + 3*j. Suppose 12*a + 241 - 2833 = k. Is 72 a factor of a?
True
Let s(w) = -w + 13. Let r be s(9). Suppose -2*u - 380 = 5*a + 3*u, 0 = r*a + u + 301. Does 4 divide (-4)/8*1 - a/6?
True
Suppose -2749 - 2940 = -36*o + 5435. Is o a multiple of 3?
True
Suppose 2 = 6*g - 4. Let f(h) = 5*h + 1. Let a be f(g). Suppose -2*n - 560 = -a*n. Is n a multiple of 28?
True
Suppose 68428 = 3*h + 985*x - 987*x, 5*x = -25. Is 181 a factor of h?
True
Let o(q) = 6*q + 100. Let s be (-75)/(-6)*4/10*96. Let m be 4/(-30) + 64/s. Is 25 a factor of o(m)?
True
Suppose -h + 0*h = -k - 73, 0 = -3*k - 5*h - 203. Let l = 37 - k. Suppose -5*r = -l - 92. Does 11 divide r?
False
Let n(i) = 8*i + 128. Let h be 8/18 - (-6466)/477. Is n(h) a multiple of 20?
True
Let y be 2 - (4 + -8 - 0). Suppose 14*q = 15*q - y. Suppose 60 = q*p - 6. Is 11 a factor of p?
True
Let p(o) = 9 - 16*o + 36*o - 21*o. Let w be p(6). Suppose -10 = -w*u + 152. Is 9 a factor of u?
True
Is (-25)/(-175) + (-98446)/(-14) a multiple of 12?
True
Let v(q) = -15*q + 8. Let z be v(-2). Let i be (z*2)/(-4 + (-190)/(-45)). Suppose 0*o - 2*g = -4*o + 458, 3*o - i = 2*g. Is 21 a factor of o?
False
Suppose 0 = -100*h + 99*h + 2*r + 15408, -138672 = -9*h - 3*r. Is h a multiple of 144?
True
Let m be (-2 - (-192)/9)/(6/(-18)). Let b = 37 + m. Is 5 a factor of ((-112)/b)/(4/18)?
False
Let v = 106 + 159. Suppose 0 = -4*u + 397 - v. Is 11 a factor of u?
True
Let y(h) = -13*h**2 - 5 - 9*h + 15*h + 12*h**2. Does 4 divide y(3)?
True
Let z(b) = 1274*b**2 + 18*b - 17. Let y = 133 + -132. Does 25 divide z(y)?
True
Suppose 13776 = -78*a + 99*a. Is a a multiple of 164?
True
Let a(h) = -h**3 - 22*h**2 + 2*h - 54. Let u be a(-22). Is (19/2)/(581/u + 6) a multiple of 19?
True
Let l(k) be the third derivative of 121*k**4/24 + 46*k**3/3 - 30*k**2. Does 16 divide l(4)?
True
Let b(s) = -s**3 - 10*s**2 - 11*s - 13. Let n be b(-9). Suppose 2*f = -w + 178, 3*w - n*f - 584 = -f. Does 14 divide w?
False
Does 55 divide 53904/7 - ((-48)/84)/(-1)?
True
Let n = -59 + 101. Suppose -2*z - 5*m + n - 2 = 0, 2*z - m - 16 = 0. Does 10 divide (-39)/65 - (-1726)/z?
False
Let h be 6 - (3 + 4) - -35. Let r = 39 + h. Is 6 a factor of r?
False
Suppose -319 + 85 = -3*s + 3*m, -2*s - 2*m = -136. Let h = 479 + s. Does 23 divide h?
True
Let o(v) = -v**3 + v**2 + 22*v + 15. Let t be o(5). Suppose 0 = -3*k - 19 + t, -3*w - 5*k + 1540 = 0. Does 17 divide w?
True
Let u = 1053 - 1034. Suppose 3798 + 5322 = u*b. Is b a multiple of 30?
True
Is 5 a factor of 24/(-60)*(-36940)/8?
False
Let n be 37/74*10*1. Suppose -31*a - 2*o = -32*a + 360, -5*a + 1825 = -n*o. Does 27 divide a?
False
Suppose -60*t + 641223 + 1809330 = 587013. Does 9 divide t?
True
Suppose 0 = 5*p - 244 - 186. Let k = -55 + p. Is k a multiple of 6?
False
Let k be (-10)/3*(-36)/30. Suppose 2*o - 6 = -0*o + w, -5*o - 2*w + 6 = 0. Suppose 4 = o*j, -k*v = v + 4*j - 388. Does 10 divide v?
False
Suppose -4*q + 24 = 4. Let x be (2/6)/(q*(-6)/(-540)). Does 23 divide ((x - 11)/5)/(2/(-368))?
True
Let q = -20 + -41. Let b = -57 - q. Suppose 7 = -b*g - 9, 0 = y + 5*g - 20. Is y a multiple of 13?
False
Let j = 5705 + 4771. Does 54 divide j?
True
Suppose m = -4*m - 40. Let o(y) = -y**3 + 12*y**2 - 30*y - 15. Let s be o(8). Is -30*((-12)/m - (3 - s)) a multiple of 9?
False
Let j = -31 - -34. Let c(b) = j*b**2 + 3 + 0*b - 14 - b. Is 9 a factor of c(5)?
False
Let i(z) = 29*z - 57. Let h(t) = 15*t - 29. Let y(w) = 13*h(w) - 6*i(w). Let v be y(9). Let x = v - 100. Is x a multiple of 9?
True
Let a be (-4)/(-4*(-2)/68). Let d(t) = 3*t**3 - 22*t**2 + 12*t - 31. Let m be d(7). Let h = m - a. Is 14 a factor of h?
False
Let u be 1/3 - ((-19346)/6)/17. Suppose i - 11*i = -u. Is i a multiple of 7?
False
Let l = 86 + -15. Suppose -2*j - 306 = 6*i - i, 3*j = -5*i - 309. Let s = l + i. Is s a multiple of 3?
False
Let a = -102 - -104. Suppose -g + 29 = -4*l, 5*l + 15 - 34 = -a*g. Does 6 divide (-292 - g)*1/(-3)?
False
Is 67 a factor of -9 - 5254580/(-110) - ((-90)/22 + 4)?
False
Let z(f) = f**2 + 21*f + 101. Let g be z(-14). Suppose -4 = 10*u - 9*u, 557 = g*q + u. Is q even?
False
Is 33484/33 + 1 + (-4)/6 a multiple of 29?
True
Suppose 4*g - 4*o - 958 - 1186 = 0, -4*g + 3*o + 2148 = 0. Suppose 0 = -10*f + 20*f - g. Is 5 a factor of f?
False
Let x(n) = -13*n - 25. Let u be x(-4). Let a be (-16)/(-9) - (-6)/u. Suppose 0*q - a*q + 440 = 0. Is 36 a factor of q?
False
Let s = -466 - -468. Suppose s*o + 1115 = p + 5*o, -2*o = 5*p - 5640. Is p a multiple of 30?
False
Let g(u) be the second derivative of u**5/20 - 7*u**4/12 - 8*u**3/3 + 57*u**2/2 + 13*u - 6. Does 19 divide g(10)?
False
Let f be 10/2 - (1 - -2). Let w be (-148)/112*-4 + f/(-7). Suppose -w*r = 4*d + d - 90, 0 = 5*r. Does 12 divide d?
False
Let f = 1333 - 720. Suppose -6*d = -f + 121. Suppose 0*k + 283 = 4*m - 5*k, 0 = -m - k + d. Does 7 divide m?
True
Let f = 101 + -71. Let i be 7 + f + (-2 - 2). Suppose 552 = -29*w + i*w. Is w a multiple of 46?
True
Suppose 2*x - 4*i - 84 = -0*x, 3*i - 197 = -5*x. Let u(a) = -3*a**2 + 3*a - 940. Let j be u(0). Is j/(-6) - x/60 a multiple of 12?
True
Suppose -8*k = -78 - 4490. Suppose -23*m + k = 4*f - 20*m, 4*f - 595 = 5*m. Does 7 divide f?
False
Let g be (3/2)/(2/4). Let n(d) = 3*d**2 - 6*d**2 - 1 + 4*d**2 - 5080*d + 5080*d. Is n(g) a multiple of 7?
False
Let d be (-2)/(-3) - (-9)/((-54)/22). Does 38 divide (303 - (-25)/(-5)) + d?
False
Let j(b) = 27*b**2 + 1559*b - 122. Is j(-61) a multiple of 43?
True
Let n(y) be the first derivative of -y**4/4 + 28*y**3/3 - 44*y**2 - 61*y + 27. Does 4 divide n(23)?
True
Suppose 0 = 20*w - 19*w - 4. Let f be (w/(-6))/((-14)/(-21)). Is (-97)/(3 - 4) + f a multiple of 17?
False
Let w = -32 + 32. Suppose r - 2 + 6 = w. Is (-9)/(-4)*4 + r a multiple of 3?
False
Let h = -6355 - -6764. Is 3 a factor of h?
False
Let q(g) = 163*g - 2632. Is q(18) a multiple of 5?
False
Let n(r) = 4185*r + 6420. Is n(3) a multiple of 55?
True
Let j = 3