) = 5*q**2 + 15*q - 3. Is 20 a factor of l(b)?
False
Let l = -16305 + 26918. Does 163 divide l?
False
Is (-24974)/(-12) - ((-70)/12)/(-35) a multiple of 32?
False
Let a = -28 + 94. Let y be (-1 - 63/(-2))*2. Let f = a - y. Is f a multiple of 5?
True
Let s(d) = 28*d**3 - d**2 + 3*d - 2. Let i(c) = c**3 - 14*c**2 + 1. Suppose -7*r + 14 + 84 = 0. Let v be i(r). Does 7 divide s(v)?
True
Let a = -94 + 96. Let p be 1/7 + a/14*34. Suppose -p*m + 536 = -59. Is m a multiple of 32?
False
Suppose -763*m = -762*m - 5. Suppose v + a + 1202 = m*v, 0 = v - 3*a - 306. Does 5 divide v?
True
Suppose 2*l - 5*y = 1155, 0 = 14*l - 11*l + 4*y - 1698. Does 95 divide l?
True
Let c(p) = -19*p + 178. Let m be c(13). Let a = 728 + m. Is a a multiple of 21?
False
Suppose 4*j - 3*j + 5*k + 17 = 0, 5*j = 3*k - 1. Let h be (-32)/112 + 108/21*2. Is 5/h*j - -22 a multiple of 8?
False
Let b be (3 + 0)/((2 - 3)/(-8)). Suppose 2215 = b*d - 2441. Does 36 divide d?
False
Suppose -3432600 = 1581*r - 1653*r. Is 198 a factor of r?
False
Is 3/(4 + 5 - 6) + 1849 a multiple of 11?
False
Suppose -190*v = 329*v - 26779369 - 632654. Is 192 a factor of v?
False
Suppose 97 = -i + 2. Let a be (38/i)/((2*-1)/60). Suppose -5*u - a = -47. Is 4 a factor of u?
False
Let q(d) be the second derivative of d**5/5 + d**4/12 - 5*d**3/6 - 3*d**2/2 + 14*d. Suppose -t - 4*b = -19, 2*b = -2*t + 5 + 9. Is q(t) a multiple of 33?
True
Suppose 8*d = 14*d - 6. Does 11 divide 17753/492 + d/(-12)?
False
Let n be 19 - 18 - 1/(-1). Let y(s) = 8*s**2 - 6*s. Is 5 a factor of y(n)?
True
Suppose 75*c - 74*c = -4*o + 44637, 33471 = 3*o + 3*c. Does 186 divide o?
True
Let r(w) = -2*w**3 + 18*w**2 + 21*w - 26. Let t be r(10). Is (-2)/(-8) + (25340/t)/(-1) a multiple of 18?
True
Suppose 0*o = 4*o + 20, 2*c + 3*o = 2973. Is 6 a factor of c?
True
Let n(i) = 2*i**3 + 4*i**2 - 30*i - 119. Does 91 divide n(14)?
True
Suppose 4*d - 5*q = 275, -207 = d - 4*d + 4*q. Let w = d - 14. Suppose -4*g = -w - 49. Is 7 a factor of g?
False
Let s be 7 - -347 - (-4)/(-2). Suppose -3*c + 320 = -s. Suppose -8 = 4*p - c. Is p a multiple of 27?
True
Let h(i) be the third derivative of i**7/252 + i**6/180 + i**5/20 - 13*i**4/8 + 35*i**2. Let j(r) be the second derivative of h(r). Is 57 a factor of j(-6)?
True
Suppose p + 10 = -5*v, p + 2*v - 5*v - 30 = 0. Suppose p = -s + q, -2*s = 2*q + 41 - 7. Does 6 divide s/24 - 272/(-3)?
True
Does 73 divide (15 - 70/5) + (-15474)/(-2)?
True
Let y = -1382 + 5048. Is 94 a factor of y?
True
Suppose 4*o + 2*x - 9938 = 0, 18*o + 4*x + 12416 = 23*o. Is 54 a factor of o?
True
Let l(w) = -70*w**2 - 21*w - 2. Let o(y) = -209*y**2 - 59*y - 6. Let i(q) = 17*l(q) - 6*o(q). Is 6 a factor of i(2)?
True
Suppose -3*m - 14*c = -16*c - 9420, -c + 3145 = m. Does 7 divide m?
False
Let a(t) = -25*t + 130. Let z be a(5). Suppose z*f - 269 - 110 = 4*k, 2*k = 8. Does 10 divide f?
False
Suppose 2*u + 2502 = 3*c, -3*c + 9*u + 2520 = 10*u. Does 2 divide c?
True
Suppose -7*b = 2*b - 4122. Suppose b = -38*o + 40*o. Is 22 a factor of o?
False
Let r(u) be the second derivative of u**5/10 + u**4/4 + u**3/3 - 7*u**2/2 + 4*u. Let w(i) = -i**3 + 12*i**2 - 12*i + 14. Let a be w(11). Is 17 a factor of r(a)?
False
Suppose 0 = 2*l - 17*o + 21*o - 98, 102 = 3*l - 3*o. Suppose -2*f + 35 = j - l, j - 5*f = 67. Does 6 divide j?
True
Suppose -123 = -5*i + 762. Let m be i/(-21) + (-6)/(-14). Does 25 divide 3 - -51 - m/(-2)?
True
Let b(g) = 38*g - 15. Let n = -85 + 97. Suppose 0 = -7*r + n + 23. Is b(r) a multiple of 25?
True
Suppose -6*n = -440 + 80. Let v be (16/n)/((-4)/10)*-21. Let f(d) = d**3 - 13*d**2 - 11*d - 15. Does 9 divide f(v)?
True
Let r be 1*20/(-110) + (-2)/(-11). Suppose -5*f + 14*f - 3348 = r. Is 6 a factor of f?
True
Let o be 33 + -27 + (-5 - -1). Is 29 a factor of -5 + (0 - o) - -299?
False
Let q(s) = -s**2 + 2*s + 56. Suppose -2*h - 68 = 5*i, 36 = -i - i - 3*h. Let n = i + 12. Is q(n) a multiple of 28?
True
Suppose -2*y + 5*t - 39 = -51, 3*y = 5*t + 18. Let r(g) be the second derivative of -g**5/20 + g**4/2 + g**3/3 - 3*g**2/2 + g. Does 2 divide r(y)?
False
Let v = 2997 + -1373. Is v a multiple of 9?
False
Is (271 - 283) + 3*3342 a multiple of 5?
False
Is 13 a factor of 81420/45 + (-12)/(-18)?
False
Let o be (-2988)/(-60) + 2*3/30. Is 21 + (2/(-4) - o/(-20)) a multiple of 3?
False
Let o(b) be the second derivative of 0 - 1/20*b**5 - 1/3*b**4 - 13*b - 2*b**2 - 1/6*b**3. Does 26 divide o(-5)?
True
Let d(p) = -20*p + 97. Let h = 35 - 51. Is d(h) a multiple of 20?
False
Let h(w) = 2*w**2 + 24*w + 4. Let v be h(-17). Suppose g = 5*y - 10*y + 57, -5*y - v = -2*g. Does 11 divide g?
True
Let o = -59689 - -107117. Is 167 a factor of o?
True
Let p(i) be the first derivative of i**4/4 - 17*i**3/3 + 8*i**2 + 7*i + 9. Let c be p(16). Let s(q) = 17*q + 36. Is 31 a factor of s(c)?
True
Let x = -3049 + 4661. Let a = -1013 + x. Is a a multiple of 66?
False
Let d(y) = -3*y - 5. Let j be d(-3). Suppose 3*b - 6 = -j*w - 1, -b - 5 = 0. Suppose -2*t = w*t - 1064. Is 16 a factor of t?
False
Let a(o) = 603*o - 9. Let u be a(1). Suppose 2*d = p + u, -p = 4*d + p - 1180. Is d a multiple of 8?
True
Let u(r) = 2*r**2 - 23*r + 42. Suppose p - 5*k - 51 = -2*p, 3 = p + 3*k. Does 6 divide u(p)?
True
Does 34 divide (-23616)/(-9) + 0 + -11?
False
Let c(s) = 9*s - 11. Let w be c(1). Is -3 - 15/(-6) - 31/w even?
False
Let d(f) be the third derivative of 0*f + 1/60*f**5 + 0 + 1/12*f**4 + 4*f**2 + 11*f**3. Is 13 a factor of d(0)?
False
Let v(r) = -327*r - 951. Is 60 a factor of v(-13)?
True
Let z = -6055 - -6157. Is 6 a factor of z?
True
Let p(s) = s**2 + 4*s + 3. Let d be p(-3). Suppose d = -34*y + 32*y + 66. Suppose t + 4*i - 22 - y = 0, t - 57 = -2*i. Is t a multiple of 6?
False
Let g be 119/34 - 6/4. Suppose -3*j = j + g*m - 2706, 1359 = 2*j - m. Does 22 divide j?
False
Let k(w) = 12*w + 34. Let f(z) = -25*z - 68. Let l(v) = -6*f(v) - 11*k(v). Does 13 divide l(5)?
False
Let s = 256 - -32. Suppose 0*l - 6*l = -s. Does 4 divide l?
True
Let y = 15467 - 8613. Does 30 divide y?
False
Let k(y) = 9*y**3 - 9*y**2 + 4*y - 1. Let d be k(6). Let m = d + 723. Is 12 a factor of m?
False
Let t be (-8)/10*10/(-4). Let y be t*(-734)/(-36) + 4/18. Suppose 2*u - 279 + y = 0. Is u a multiple of 17?
True
Let z(i) = -10*i - 7. Let n be z(-1). Suppose -2*v - 3*b + 1999 = 0, 3*v + v + n*b = 3995. Does 29 divide v?
False
Is (-30474)/(-8) + (495/(-44) - -12) a multiple of 18?
False
Suppose -62887 = -6*b - 5713. Does 143 divide b?
False
Suppose -103 = 3*c + 401. Let g = c - -194. Does 19 divide g?
False
Let o = 3164 + -1273. Suppose -3*m + o = 5*k, -5*m = -k + 347 + 20. Is 29 a factor of k?
True
Suppose 6 = 4*t - 7*t, -4*q = 5*t - 10. Suppose -5*w = -5*u + 105, 2*u - 4*w - 27 = 11. Does 5 divide (-22 + u)*q/1?
True
Suppose 5*b - 2*p - 11539 = 0, 3*p + 5119 = 5*b - 6422. Does 46 divide b?
False
Is 6 a factor of (-329 + 319)*(-877)/10?
False
Let m be 3/9 + (100/(-12) - -4). Let g be 3/(-54)*m + (-325)/(-117). Suppose -9*o + g*o + 1836 = 0. Is o a multiple of 16?
False
Suppose 3*u + 3*l = 4*l + 15, 3*l = 4*u - 15. Suppose u*r - 20 = 10. Is 36 a factor of (4 - 0/r) + 116?
False
Suppose -76*m + 490432 = 78892. Is m a multiple of 5?
True
Let s(d) = 3*d - 9. Let m be s(-14). Let j = m - -54. Suppose 5*r + q = -q + 184, j*r - 120 = 2*q. Is 19 a factor of r?
True
Is 176 a factor of 4 + -296*399/(-14)?
False
Is (2206 - 0) + 22/((-22)/(-3)) a multiple of 10?
False
Let r = -9 + 12. Suppose r*z = 5*z - 14. Suppose -z*m + 25 = 11. Is m a multiple of 2?
True
Let m = 2480 + 1180. Does 6 divide m?
True
Let v = 4 + 47. Let f = v + -48. Is 12 a factor of -117*(-5)/(-1)*(-1)/f?
False
Let j = 370 - 322. Let f = 355 - j. Does 9 divide f?
False
Let q(o) = -4*o - 44. Let r be q(-13). Does 53 divide (2 + r*-149)*2/(-5)?
False
Is 14 a factor of (-134118)/(-20) + (-6 - (-854)/140)?
True
Suppose -2946 = 148*c - 142*c. Let d = c + 769. Is 7 a factor of d?
False
Let h = 65004 + -19649. Is 17 a factor of h?
False
Suppose -215*v + 213*v + 1404 = 0. Does 117 divide v?
True
Let i(r) = -30*r + 15 - 13 - 8*r + 10*r + 14. Is i(-23) a multiple of 15?
True
Suppose -54*a + 204365 = -31525 - 31086. Is a even?
True
Let f(g) be the third derivative of g**6/60 - 13*g**5/20 - 7*g**4/24 - 17*g**3/6 + 2*g**2 - 39*g. Does 9 divide f(20)?