 b(-5). Suppose 5*g = -4*z + s, 2*g - 230 = -5*z + 86. Is 37 a factor of g?
False
Let z be 26 - (3/4 - (-3)/12). Let v be 100/z - (-395 + -1). Suppose 0 = 5*s - 3*l - 1009, 3*s - 3*l - 203 = v. Is 12 a factor of s?
False
Let l be ((-2)/(-2))/(2/6). Suppose 3*i = 6*i - 12, -l*m - 3*i + 1512 = 0. Is 25 a factor of m?
True
Let o be 1 + 1*(-1 - -2). Suppose -2*a = 6*j - 770, 0 = 5*j - 4*a - 279 - 391. Suppose -j = -4*x + o*s, 7*x - 2*x - 163 = 3*s. Does 22 divide x?
False
Suppose -t + 77 = -2*q, -3*t + 6*t = -q + 217. Suppose 3*r - 502 = -t. Let c = r - 83. Does 12 divide c?
True
Let f(h) be the first derivative of -h**3/3 - 18*h**2 - 20*h - 67. Is 42 a factor of f(-12)?
False
Let l(a) = -5409*a - 1988. Is 14 a factor of l(-8)?
False
Suppose -5*w + 106915 = 5*p, 29*p + 4 = 27*p. Does 31 divide w?
False
Is 2941/3 - (-6 - (-154)/21) a multiple of 89?
True
Let v = -297 + 301. Suppose v*m = -5*h + 41 + 283, -5*h + 322 = 2*m. Is 32 a factor of h?
True
Let x(m) = 24*m**2 + 65*m - 811. Is x(12) a multiple of 66?
False
Suppose -m = 4*q + 18 - 4, -5*q = 5*m + 10. Suppose m*a + 2*a - w = 362, 6 = 3*w. Does 11 divide a?
False
Let b be ((1 - 4) + -2)*-1. Suppose -q - 4 = -b*q. Let c(n) = 130*n - 2. Does 15 divide c(q)?
False
Let l = -13 - -12. Let d(o) = -2*o + 3. Let n be d(l). Is 26 a factor of 18/n*(-1300)/(-30)?
True
Suppose -2*s = 338*z - 334*z - 6352, -4*s = 2*z - 12698. Does 69 divide s?
True
Suppose 0 = 2*z - 4*z + 6. Suppose 3 = -q, -z*q - 137 = -4*w - 4*q. Is 16 a factor of 32/(-4 + 145/w)?
True
Let q = 93 - 111. Is 13 a factor of 4/(-18) - 436/q?
False
Suppose 0 = -4*z - 36*n + 35*n + 79685, 5*z + 5*n - 99610 = 0. Does 168 divide z?
False
Let j = -16073 + 23977. Is j a multiple of 33?
False
Let s(b) = b**3 - 3*b**2 + 6609. Is 110 a factor of s(0)?
False
Suppose 4*o - 9966 = 2*c, -35*o - 5003 = -37*o + 5*c. Is o a multiple of 123?
False
Let z = 18 + -21. Let a be 6/3*z - 0. Let p = 2 - a. Does 4 divide p?
True
Suppose -5*z - d + 106777 = 0, z + 2*d - 21347 = -d. Is z a multiple of 38?
True
Suppose -8*u + 16048 + 55794 - 3010 = 0. Does 51 divide u?
False
Let m be (-531)/45 - 2/10. Let t be (-650)/m + (-2)/12. Suppose t = -9*l + 12*l. Is l a multiple of 6?
True
Let y = 5313 - 2973. Is 52 a factor of y?
True
Is 4 a factor of (-74)/5*(-49)/((-1127)/(-230))?
True
Let t = -544 + 590. Suppose 2*n - 274 = -4*w, 5*w - 82 = -n + t. Does 14 divide n?
False
Let p(f) = f**2 - 33*f + 83. Let w be p(31). Is 15 a factor of 3153/w - (-1)/(-7)?
True
Let k(o) be the first derivative of -8*o**2 + 324*o - 280. Does 6 divide k(13)?
False
Let f = -517 - -51. Let j = -91 - f. Is j a multiple of 15?
True
Suppose a = -8, 18*t - a + 140986 = 27*t. Is t a multiple of 81?
False
Let q(s) = -s**3 - s**2 + 2*s - 5. Let o(l) = -l**2 - l. Let c(w) = -4*o(w) - q(w). Let b be (-168)/(-70)*15/(-9). Does 4 divide c(b)?
False
Suppose -3*z - 5*m = -12111, 5*z - 20445 = -3*m - 276. Is 18 a factor of z?
True
Let x = 217 - 214. Suppose 4*l - 834 = -c + 535, -x*l - c = -1027. Is 9 a factor of l?
True
Let p(v) = 93*v**2 - 151*v + 718. Does 11 divide p(5)?
True
Let l(i) = 38*i**2 - 102*i - 1574. Is 151 a factor of l(-14)?
False
Let h(p) = 32*p**2 + 18*p - 32. Let a be h(5). Suppose -2*n - t = -0*n - 574, -3*n = 3*t - a. Does 24 divide n?
True
Let k be (-2)/8 + (-63)/36. Let l be 0 - k/((-8)/(-172)). Let d = 62 - l. Does 13 divide d?
False
Suppose -5*a = -17*a + 24. Suppose -5*g = a*g - 259. Suppose 0 = -g*u + 35*u + 426. Is u a multiple of 12?
False
Suppose -5*i = -2*x + 56150, -i + 11 - 9 = 0. Does 144 divide x?
True
Let z(k) = 400*k**2 + k - 20. Is z(-5) a multiple of 54?
False
Let c be 83*(1 + 2 - (5 - 1)). Let x = c + 185. Does 11 divide x?
False
Let x(c) = -12*c - 13. Let u be x(4). Let o = u + 64. Suppose -4*i + 548 = -2*b, 4*b - 425 = -o*i + 2*b. Is 18 a factor of i?
False
Let f(t) = -t**3 + 9*t**2 - 5*t - 4. Let r be ((-9)/(-1))/(4/4). Let p be f(r). Let s = 71 + p. Is s even?
True
Let k(t) = 46*t**3 + 3*t**2 + 87*t - 390. Is 19 a factor of k(5)?
False
Suppose 0 = -2*y + y - 1, 2*y - 138 = -5*c. Let q be 148/c + 2/(-7). Suppose q*o - 12 = 88. Is 5 a factor of o?
True
Suppose 31*h - 46*h + 24675 = 0. Let l = h + -1117. Is 5 a factor of l?
False
Let s(z) = -52*z - 76. Let h be s(-21). Let c = -268 + h. Does 60 divide c?
False
Let p(b) = 3*b + 220. Let o be p(0). Suppose 3*u = 15, a - o = -42*u + 40*u. Does 14 divide a?
True
Let b(s) = -16*s**3 - 10*s**2 + 109*s - 5. Is 30 a factor of b(-7)?
True
Let g(y) = -y**2 + 28*y + 38. Let v(h) = 4*h - 38. Let c be v(16). Does 6 divide g(c)?
True
Suppose -98*w = -102*w. Suppose -2*d - 19 = -3*l, -d = 2*l - w*d - 8. Suppose 0 = -g + q + 63, -l*g = -3*q + 42 - 363. Does 10 divide g?
False
Let h(c) = -c + 31. Let w be h(8). Suppose w*r = 3*r + 1220. Is r a multiple of 7?
False
Let s(x) = -x**3 - 2*x**2 + 26*x + 21. Let o be s(-6). Is 16 a factor of (-27370)/(-45) + (-2)/o?
True
Let n = 4 - 3. Let c(i) = 3*i**3 - 7*i**2 + 14*i + 4. Let f(v) = -5*v**3 + 6*v**2 - 12*v - 3. Let s(r) = -5*c(r) - 6*f(r). Is 7 a factor of s(n)?
True
Let v(t) = -5*t - 20. Let r be v(-6). Let h be 2/r - (-7)/((-140)/2864). Let q = 228 + h. Is 17 a factor of q?
True
Let c(b) = -b. Let h be c(-3). Suppose -118*q = -115*q - 2*m + 4, 3*q + 5*m = 31. Suppose q*x - 4*r = 258, -h*x - 4*r = -169 - 168. Is 19 a factor of x?
False
Let f(p) be the third derivative of 19*p**5/60 - 5*p**4/24 + 2*p**3 - 34*p**2 - 2. Does 42 divide f(5)?
True
Is (20 - 12) + (25912 + 1 - 5) a multiple of 209?
True
Let a = 69 - 61. Let x be 0 - (a/(-10))/((-8)/(-60)). Is 12 a factor of (-708)/(-8)*4/x?
False
Let r(l) = 1400*l - 120. Let j be r(18). Suppose -j = -181*m + 162*m. Is 11 a factor of m?
True
Suppose -4*k - 75 = -g - 2*k, 0 = 5*g - 2*k - 399. Let o = g - -17. Is o a multiple of 14?
True
Let w = 25 - 19. Does 8 divide (-2690)/(-75) - w/(-45)?
False
Let j(o) = 5*o**2 + 24*o + 195. Is 8 a factor of j(-18)?
False
Let a(w) = w**3 - 2*w**2 - w - 1. Suppose -j = 3*r + 6, -5*r = -0*j - 5*j + 30. Let p be a(j). Suppose -392 = -p*l - 72. Is l a multiple of 16?
True
Let j(p) = -p**2 - 360*p - 10487. Does 57 divide j(-118)?
True
Let b(t) = 2*t**2 + 11*t + 3. Let u be b(-9). Suppose 0 = -4*l + 834 + u. Is 22 a factor of l + (-5 - -5) - 5?
True
Is 0 + 5 + -7 + 25102 + 4 a multiple of 16?
True
Let j(z) = 2*z**2 + 7*z + 2. Let f be j(-5). Suppose -f = -p + 26. Suppose 4*o - p = 13. Is o a multiple of 5?
False
Let v = -27 - 91. Let m be (v + 0)/(0 + -2). Let z = -48 + m. Is z a multiple of 3?
False
Let l = -390 - -653. Let v = 111 + l. Is v a multiple of 34?
True
Let m(f) = -3*f**3 + 460. Is 15 a factor of m(0)?
False
Let s = 148 + -805. Is 84 a factor of 24/84 + (-19)/(-7) - s?
False
Let v = -1449 + 5332. Is 11 a factor of v?
True
Let t be 160*4/6*9/(-15). Is (-7)/((-336)/t) + (-5996)/(-6) a multiple of 7?
False
Suppose 5*w - 5*s = 15, 5 = w + 5*s - 4. Let f(c) = 0 + 1975*c + w - 1950*c - 4*c**2. Is f(6) even?
True
Let d(b) = b**3 + 10*b**2 + 11*b + 21. Let r be d(-9). Suppose -995 = -5*t - 0*s - r*s, -965 = -5*t + 3*s. Suppose t = 2*k - 168. Is k a multiple of 34?
False
Suppose -1088 = -3*c - r, -456 = -3*c - 5*r + 628. Is c even?
False
Suppose -200*t = -198*t + 98. Is (t/(-21))/((-4)/(-288)) a multiple of 24?
True
Let q = 3719 - -1283. Is 15 a factor of q?
False
Let a(r) = -r**2 + 1. Let n be a(1). Let j be 2 + (n/(-2))/(-1 + 0). Does 6 divide 32 + j*6/4?
False
Let l = -1297 + 908. Is -5 - -5 - (-1 + l) a multiple of 15?
True
Let s(z) be the second derivative of 11*z**3/6 + 14*z**2 - 27*z. Let k be s(17). Suppose -4*r + k = -3*m, -41 = -r - 3*m + 24. Is 24 a factor of r?
False
Let p(d) = 14*d**3 - 27*d**2 + 8*d - 92. Does 198 divide p(9)?
False
Suppose 245*a - 46*a = 904853. Is 112 a factor of a?
False
Let r(g) be the first derivative of -11*g**2/2 + 145*g + 134. Is r(5) a multiple of 90?
True
Let g(o) = 26*o + 1370. Is g(11) a multiple of 14?
False
Let g(d) = d**3 - 13*d**2 - 30*d - 2. Let f be g(15). Let w be (144 - 1)*(4 + f)/(-2). Let c = w + 203. Is 20 a factor of c?
True
Let v(m) be the second derivative of -m**4/4 - 17*m**3/2 - 15*m**2/2 + m. Let h be v(-22). Is (h/5 - -5)/(-1) a multiple of 32?
True
Suppose 2*b + 9 - 19 = 0. Does 3 divide (242*1 - (-3 - -4)) + b?
True
Suppose -18*r + 24 = -10*r. Suppos