ppose 5*t + 5 = 0, 0 = y*a + t - 200 - 294. Is a a multiple of 15?
False
Let o be (12/3 - 2) + -5 + 199. Suppose l - 3*g - 2*g = 93, -5*g - o = -2*l. Is 17 a factor of l?
False
Does 22 divide ((-231)/15)/(9/(-72))*30?
True
Suppose -583*g + 577*g = -372. Is g a multiple of 2?
True
Let r(p) be the second derivative of -p**4/12 - 7*p**3/2 - 13*p**2 - 172*p. Is r(-17) a multiple of 6?
True
Suppose -r + 7 = -2. Let d(j) be the second derivative of -j**4/12 + 7*j**3/3 - 11*j**2 + 4*j - 2. Is 23 a factor of d(r)?
True
Is 10 - -9*(-11920)/(-20) a multiple of 51?
False
Is 129 a factor of -2*3*17915/45*(-6)/4?
False
Suppose 31*l - 82 = -20. Suppose -l*m + 2*o = -1066, -87*o + 86*o - 2138 = -4*m. Does 25 divide m?
False
Suppose 4 = -7*k + 277. Let d = k - -3. Is 2 a factor of d?
True
Let c be 8282 + (5 - (-4)/2). Suppose 8*z - c = -1185. Is 43 a factor of z?
False
Let j(o) = 78*o - 142. Let b be j(14). Suppose 4*y = -3*a + b - 28, 4*y + 628 = 2*a. Is a a multiple of 31?
True
Let m(v) = 2*v**3 - 78*v + 5. Is m(17) a multiple of 135?
True
Let y(b) = b**3 - 2*b**2 - 11*b + 2. Let n be y(7). Suppose n = 3*x + 17. Is 51 a factor of x?
True
Let x be (-2 - -1)*40/(-8). Let q = -2 - -3. Suppose -x*v + 395 = 5*b, 3*v + q = -2. Is b a multiple of 26?
False
Is ((744/20)/1)/((-12)/(-4040)) a multiple of 16?
False
Suppose 4*r = 3*k - 122898, -5*k + 145131 = 3*r - 59670. Does 46 divide k?
False
Suppose 5*f = -4*l + 217 + 1483, 4*l - 3*f = 1732. Suppose 4*q + 222 = -l. Let a = q + 235. Does 12 divide a?
True
Suppose -4*b + 2554 = -4*z + 6*z, 3*b - 1918 = z. Let u = b + -254. Is u a multiple of 35?
True
Suppose 15694 = 56*r - 42*r. Let o = -771 + r. Does 53 divide o?
False
Let f(x) = 293*x - 52 - 365*x - 3. Is f(-5) a multiple of 9?
False
Let p = -657 - -1589. Suppose -p = -2*l - 4*t, 5*l - 2318 = -0*t - 4*t. Is l a multiple of 13?
False
Let a(f) = 15*f + 30. Let k be a(5). Let w = k - 158. Let o = w + 107. Is o a multiple of 30?
False
Does 387 divide 486 + -492 - (-1 - 24773)?
True
Let g = 55 + 523. Is 3 a factor of g?
False
Suppose 3*x - 900 = 5*q, -63 - 297 = 2*q - 4*x. Is 30 a factor of (q/(-16))/15*1440?
True
Let r = 183 - 348. Let t = r - -247. Is 2 a factor of t?
True
Suppose 139*a - 73*a = -560571 + 2354715. Is 16 a factor of a?
True
Let l be 0 - -117 - (-2 + (-3 - -6)). Let w = l + -160. Let j = 22 - w. Is j a multiple of 23?
False
Let s(a) be the first derivative of a**3/3 - 6*a**2 + 22*a - 13. Let j be s(9). Is (1 + j)*33/(-6) a multiple of 9?
False
Let z(c) = 2*c**2 - 8*c + 14. Suppose 4*u - 5 = -3*l, l - 2 = -u - 1. Let y be z(u). Does 32 divide ((-32)/(-5))/(y/90)?
True
Let l = -46599 + 93676. Is l a multiple of 179?
True
Let k be 2/(-6) - (7 - (-1936)/6). Let w = k - -1136. Is 62 a factor of w?
True
Suppose -26*r - 43120 = -5*o - 25*r, 2*r - 8624 = -o. Is o a multiple of 31?
False
Suppose -21*g + 913975 = -486137. Is 179 a factor of g?
False
Let k = 4887 + -3407. Is 37 a factor of k?
True
Let h(q) = 301*q**2 - 23*q - 385. Does 17 divide h(-7)?
False
Let o(m) = 18*m**2 - 46*m. Suppose q = -2, t - q = -2*t - 13. Is 68 a factor of o(t)?
True
Let p(n) = -6*n + 28. Let j be p(0). Let s = 33 - j. Suppose 104 = s*g - 46. Is g a multiple of 5?
True
Let g be (-1 - 10/(-6))/(4/54). Suppose -g*f - 406 = -10*f. Does 7 divide f?
True
Let h(v) = -v**3 - v + 10. Let f be h(2). Suppose b - 29 = 4*u, f*b = 2*b - u - 37. Is b a multiple of 11?
False
Is 23 a factor of 41098/3 - ((-99)/27)/(-11)?
False
Let r(z) = z**2 - 52. Let v be r(6). Let u = 129 + v. Is 12 a factor of u?
False
Suppose 58*y - 30*y - 34*y = 0. Suppose y = v - 1, -l + 336 = -3*v - 251. Is l a multiple of 5?
True
Let q(m) be the second derivative of -m**5/5 - m**4/12 + 2*m**3/3 + 11*m**2/2 + 22*m. Is 31 a factor of q(-2)?
True
Let p(m) = 102*m**2 + 378*m - 6376. Is p(16) a multiple of 22?
True
Suppose 18*g - 2*g = 6400. Suppose 3*k - 380 - g = 0. Is k a multiple of 20?
True
Let s = -85 - -103. Suppose -s = 6*f + 36. Is (-984)/f*(-12)/(-8) a multiple of 7?
False
Is 19 a factor of (73 + -728)/(6/(-228))?
True
Suppose -13 = 5*b + x - 128, b = 2*x + 34. Let t be (32/b)/((-12)/(-27)). Suppose -3*s + 12 - 42 = -t*p, -5*s = -2*p + 26. Does 2 divide p?
True
Suppose 0 = 5*b + 405 - 105. Let v = 63 + b. Does 30 divide (v + 1 - 1) + 110?
False
Is 30 a factor of (18/(-14))/(-3) - (-35)/((-2205)/(-202203))?
True
Let v(p) = 4963*p**2 - 169*p - 344. Is 8 a factor of v(-2)?
False
Let y(s) = 31*s - 42*s + 11 + 20*s + s**2. Let t be y(-9). Let n(h) = -h**3 + 12*h**2 - 8*h - 16. Does 2 divide n(t)?
False
Let k(s) = 15*s**2 + 2*s - 10. Let p be k(-3). Let f = -115 + p. Let n(t) = 12*t**2 + 11*t - 39. Is 13 a factor of n(f)?
False
Suppose 3*f + 3 - 18 = 0. Suppose a = 5*n - 255, 4*n + 225 = 9*n + f*a. Is 5 a factor of n?
True
Let f = 69 - 19. Suppose 3*g + 3*k = 186, -5*g = -6*g - 4*k + f. Is 11 a factor of g?
True
Let y(z) = -15*z + 240. Is 10 a factor of y(12)?
True
Suppose -h - 3*h + 16 = 0, 0 = 5*q - 4*h + 1. Suppose 2*c - q*c = -47. Does 6 divide 6/7*(c - 5)?
True
Suppose 5*x = 2*x - p - 281, -4*p - 8 = 0. Let s = x + 109. Is 7 a factor of s?
False
Is 44 a factor of (-2269364)/(-322) - ((-2)/(-3) - (-40)/(-42))?
False
Let t(d) = 13*d**2 - 123*d - 746. Let b(a) = 5*a**2 - 41*a - 249. Let j(v) = 17*b(v) - 6*t(v). Does 53 divide j(-8)?
False
Let h = 229 + 5364. Suppose -h = -22*g + 1447. Is g a multiple of 20?
True
Let z = -57 + 55. Let h be (-4 - -4) + 0 - z. Suppose 0 = h*s - 199 + 59. Does 14 divide s?
True
Let h(x) = 14*x**2 + 47 + 51 - 155 + 56 - 49*x. Is 33 a factor of h(-5)?
True
Let w(g) = -17*g**3 - 5*g**2 - 5*g. Let b be (1/4 - 1)*-24. Suppose 12 = -3*p - 3*a, 3*p - 4 = -4*a - b. Is 15 a factor of w(p)?
False
Let u = 22850 - 14946. Does 8 divide u?
True
Let t(p) = -84*p**3 - 7*p**2 - 23*p - 23. Is 9 a factor of t(-2)?
False
Let f(r) be the third derivative of -7*r**4/6 + 7*r**3/3 - 154*r**2. Does 2 divide f(-4)?
True
Let j(h) = -132*h - 204. Let t(q) = -53*q - 84. Let a(c) = -5*j(c) + 12*t(c). Let n be (-2 + 1)*(-7)/1. Is 30 a factor of a(n)?
True
Suppose -25 = -5*t - 50. Is 11 a factor of (-30)/t + -10 - -180?
True
Let x = 70095 - 19464. Is 28 a factor of x?
False
Let h be -2 + (4 - 3 - 9). Let x be (-10)/4*(-12)/h. Is x + 0 + (-4 - 166/(-2)) a multiple of 11?
False
Let t = -5970 + 7238. Does 2 divide t?
True
Let s(q) = -3 + 12 - 3*q + 7*q + q**2 + 25. Let g(d) = -d**3 - 5*d**2 + 9*d + 1. Let a be g(2). Is 7 a factor of s(a)?
False
Let g = 66 - 58. Is 5 a factor of (g/16)/((-4)/(-1600))?
True
Suppose -5*d - 3*o = -1565, -3*o + 7*o - 20 = 0. Suppose 1835 + d = 11*l. Let r = l + -135. Is r a multiple of 12?
True
Suppose 3*b - 5*r = -2*r + 9, b - 3*r - 9 = 0. Suppose b = -5*g + 5*k + 1495, -4*g + 5*g + k = 305. Is 22 a factor of g?
False
Let r be 140 + (4/2 - 6) + 8. Is 9 a factor of 10/10 - (-3 - r)?
False
Let t be (-10)/105 + (-7)/(441/(-27978)). Let a = t - 299. Does 5 divide a?
True
Suppose 2*c - 5*j = 502, -21*c - 3*j = -19*c - 486. Is 3 a factor of c?
True
Let m = 39 - 37. Suppose -a + 4*l + 324 = 0, 4*a = m*a - 4*l + 612. Let t = a - 177. Is t a multiple of 20?
False
Let i = 756 + -754. Does 3 divide (-9)/(-12)*-4 - (-84)/i?
True
Let k(q) = 42*q + 7. Suppose 2*v + 8 = 2. Let l(y) = 21*y + 4. Let b(u) = v*k(u) + 5*l(u). Is b(-5) a multiple of 13?
True
Suppose -2141 = -4*p + 18*l - 13*l, p - 527 = 4*l. Suppose -3*b - 4*c = -p, 0 = 5*b + c - 6*c - 910. Is 50 a factor of b?
False
Let b(m) = m**3 + 31*m**2 - 94*m - 1159. Is 13 a factor of b(-31)?
True
Let j(o) = -o**3 - 7*o**2 + 29*o + 20. Let x be j(-10). Suppose 536 = z + 2*h, -32*z - 2*h = -x*z - 1080. Is z a multiple of 34?
True
Suppose -49*f + 78 = -46*f. Let g = f - 23. Suppose -g*s + 12*s = 549. Does 10 divide s?
False
Suppose -52*m + 160 = -12*m. Let n = 260 - m. Is n a multiple of 5?
False
Suppose -29*i - 890 = -5*s - 25*i, -5*i = 4*s - 671. Is s a multiple of 23?
False
Let r = -33 - -35. Let d(b) = 3*b**3 + 12*b + 156*b**r - 2*b**3 - 163*b**2 - 19. Does 11 divide d(7)?
False
Suppose 4*g + 4*f = 5316 + 11364, -3*g = 5*f - 12506. Is g a multiple of 11?
False
Let j = -3510 - -4013. Is 89 a factor of j?
False
Let y = -8185 - -20617. Is y a multiple of 13?
False
Suppose -8 = -4*p - 2*v - v, 0 = -5*p + 3*v + 10. Let q be p/(-4)*(78 + 8). Let b = -21 - q. Is