f s?
False
Suppose -10*y + 4665 = -7*y + 4*r, 5*r + 15 = 0. Is 62 a factor of y?
False
Suppose s - 10 = 6*s. Let r be (-3)/s*12/18. Does 3 divide (19 - r) + -3 + -3?
True
Let i(t) be the second derivative of t**7/2520 - t**6/60 + 13*t**5/120 + t**4/2 + 6*t. Let m(h) be the third derivative of i(h). Is m(11) a multiple of 2?
True
Let v be (-4)/8 - 2756/(-8). Suppose 0 = -2*k - 26 + v. Let b = k - 104. Does 11 divide b?
True
Let x(j) = 2*j - 5. Let i be (-8)/5*(-20)/8. Let f be x(i). Is 15 a factor of (-2)/f - 1456/(-24)?
True
Let u(n) = n + 75. Does 4 divide u(25)?
True
Let l be (-1)/1 - (-6 - -6) - 4. Let t(u) = u**3 - 3*u**3 + u**3 - 4*u**2 - 1. Is t(l) a multiple of 6?
True
Does 27 divide 46/(-3)*(-2)/((-12)/(-243))?
True
Let t(p) = -13*p + 31. Let g(x) = -27*x + 62. Let d(z) = -6*g(z) + 11*t(z). Is 30 a factor of d(6)?
False
Let f(b) = -7*b - 89. Is 4 a factor of f(-24)?
False
Suppose -8*s + 5*s = 2*y - 27, -2*s + 5*y = -37. Is 3 a factor of s?
False
Suppose -86 = -s + a + a, -a - 394 = -5*s. Is 31 a factor of s?
False
Is 683 + (6 - 10) + 3 a multiple of 22?
True
Let t = -30 - -50. Suppose 2*i - 7*i - 18 = -m, 3*i = -4*m - t. Is 4 a factor of ((-660)/105)/(i/14)?
False
Let d(l) = 16*l**2 - 3*l - 4. Let j be d(4). Is 32 a factor of j/(2*(-3)/(-4))?
True
Suppose -8*f + 3630 = -5154. Is f a multiple of 18?
True
Suppose 0 = 2*s - 6, -x = 2*s + 2*s - 14. Let b be x/((-213)/69 + 3). Let f = 34 + b. Does 3 divide f?
False
Let m(y) = 72*y - 19. Let p(o) = 36*o - 10. Let j(k) = -6*m(k) + 11*p(k). Does 8 divide j(-1)?
True
Let x(p) = 19*p**2 + 4*p + 2. Let f be x(-2). Suppose -c + 2*d = -136, -78 = -c - 4*d + f. Does 10 divide c?
True
Let x(q) = -2*q. Let b be x(0). Suppose -5*d + 225 = 7*y - 2*y, -5*d - 25 = b. Is y a multiple of 14?
False
Let z = 527 + -245. Does 49 divide z?
False
Suppose x + 7*b = 2*b - 10, -2*b = 6. Suppose w + 4*w + x*f = 520, -w = -3*f - 104. Does 10 divide w?
False
Suppose 2*u = -v + 512 - 119, 402 = v + 5*u. Suppose -3*p = -9, -6*p + 3*p + v = 2*b. Is b a multiple of 27?
True
Suppose -8*g + 4*g = 4*u + 56, 0 = 5*g + u + 62. Let d = -24 - g. Let i = 45 + d. Is 11 a factor of i?
True
Let c(r) = r**2 - 12*r + 9. Let v be c(10). Let x be (6 + 1)*1/(1/(-1)). Let y = x - v. Is y a multiple of 4?
True
Let t = -689 - -3029. Is 90 a factor of t?
True
Is 6 a factor of (-147)/((-14)/(-7) + -3)?
False
Let j(r) = r**3 + r + 72. Let m(s) = 2*s - 10. Let p be m(5). Is 6 a factor of j(p)?
True
Let u = -1238 + 3278. Is 51 a factor of u?
True
Suppose 62*r = 81*r - 247. Does 12 divide r?
False
Let l be -84*-2*2/8. Suppose -2*n - 4*b = 0, -n - b + 18 = 4*n. Suppose 34 + l = n*a. Is a a multiple of 5?
False
Let a(o) = -28*o - 4. Let u be a(-4). Suppose -6*d + u = 12. Suppose -2*i = k - d, -3*i - 32 = -2*k - i. Is k a multiple of 4?
True
Let c(n) = 97*n + 5. Let q be c(-2). Let f = -15 - q. Suppose -7*v + 706 = f. Is v a multiple of 13?
False
Let d be 7/1 + (-10 - -5). Is 44 a factor of d/5 + 3*3290/75?
True
Let u be ((-5)/(-2))/((-22)/44). Is 68/(-3)*(u - 4) a multiple of 12?
True
Is 114 a factor of 603 + 201 + (-12)/2*1?
True
Suppose 2*a - 8 = 0, -2*u + 3*a = -281 + 79. Is 7 a factor of u?
False
Suppose -2*i - 1 = -3*l, l + 0*l + 1 = 0. Let t be 4 + i + -4 + 6. Suppose 4*f = t*q + 36, f - 2 = -2*q + 16. Is f a multiple of 4?
True
Suppose -g = g + 3*t - 475, 2*t = -3*g + 720. Is g a multiple of 18?
False
Let d = 134 + -191. Let g be (d/9)/((-4)/(-24)). Let r = g - -64. Is 6 a factor of r?
False
Let n be (4/(-6))/((-2)/6). Suppose -1 = -i - n. Let m(f) = -5*f + 1. Is 6 a factor of m(i)?
True
Suppose 2*m - 2*z = 54, -2*z + z + 117 = 5*m. Suppose 3*a - m = a. Is 5 a factor of 15/2*32/a?
True
Suppose -5*q + 3*z = 37, z + 2 = 1. Let m = q - -13. Is m a multiple of 5?
True
Suppose 0*w = 2*w + 2. Let r = w + 8. Let x = r + 16. Does 6 divide x?
False
Let b(x) = 5*x**3 - 5*x**2 + 4*x - 17. Let l(j) = 4*j**3 - 4*j**2 + 3*j - 16. Let n(t) = 3*b(t) - 4*l(t). Is n(0) even?
False
Is 489/6 + (-110)/(-44) a multiple of 4?
True
Suppose 723 = 2*j + l - 174, -j + 2*l + 446 = 0. Does 3 divide j?
False
Let y = 0 + -6. Let m(k) = 2*k + 9 + 2 - 3 - 3*k. Is m(y) a multiple of 14?
True
Let c be 7/2*(-2 + 0). Let t be ((-6)/c)/(3/14). Suppose m + 3*w = 20, 29 = t*m + 2*w - 81. Does 26 divide m?
False
Is (-14249)/(-5) + 168/(-210) a multiple of 37?
True
Let g = 1596 - 476. Does 40 divide g?
True
Let f = -12 + 12. Suppose f = 3*l + 4*u + 22, 0*l + 2*l - u = 0. Is 7 a factor of 0 - (l + -18 - 3)?
False
Let d = 26 + -24. Suppose g = -5*b + 299, -59 = -b + d*g - 3*g. Does 8 divide b?
False
Let r = 23 - 14. Let i be 38/r - 4/18. Let w(z) = z**3 - 2*z**2 - 4*z. Is 8 a factor of w(i)?
True
Suppose -i + n + 36 = 2*n, -3*i + 84 = -5*n. Let l = 168 + -106. Let v = l - i. Is v a multiple of 9?
False
Let z(l) = l**2 - 4. Let b be z(6). Let m = b - 31. Is m + 8 - (-5 + 4) a multiple of 7?
False
Let q(r) = 4*r**3 - r**2 + 2*r - 1. Let y be q(1). Let m be y*2/8*3. Suppose h = -2*n + 25, n = -5*h - m*n + 119. Does 11 divide h?
False
Does 4 divide ((-2856)/(-10))/(54/135)?
False
Let o(l) = 6*l - 1. Let g(n) = -5*n + 1. Let v(u) = -4*g(u) - 3*o(u). Let z be v(-1). Let k(w) = -2*w**3 - w**2 - w + 4. Is k(z) a multiple of 21?
False
Let k be (9/12)/(1/24). Let f = 24 - k. Is 2 a factor of f?
True
Let s(d) = -d**2 + 12*d - 9. Let o be (-2)/1*(0 - 2). Let t be (o/(-3))/(2/(-6)). Is 6 a factor of s(t)?
False
Suppose -i + 4*i = 2*s - 87, 0 = -2*s - 5*i + 111. Does 12 divide s?
True
Suppose 0 = 4*o + 49*j - 47*j - 1248, -2*j = 0. Does 4 divide o?
True
Suppose -4*b + 2*u + 2 = 0, -3*b - u + 3*u = 0. Let m(r) = -10*r + 5. Let x be m(b). Let d = x - -25. Is 5 a factor of d?
True
Suppose 0 = -4*y + 7*y + 6. Let l = 2178 + -2179. Is 8 a factor of l + 34 + 1 + y?
True
Let z = 20 - 20. Let p be (59 - -2) + (-3 - 0). Suppose -2*u + p = -4*o - 4, z = 5*u + o - 188. Is 14 a factor of u?
False
Suppose 15 = -2*m + 5*m, 27 = 4*s + 3*m. Let l = -107 - -195. Suppose g - 106 = -4*x, -3*x - 2*g = s*g - l. Does 13 divide x?
True
Suppose -t + 3*h + 2 = 0, -3*t = -t + 2*h - 4. Let z be -4 - (36*3)/(-3). Suppose 3*k - 4*k - t*s + z = 0, -2*s - 100 = -5*k. Does 22 divide k?
True
Let r(m) = m**3 - m**2 - m + 5. Let y be r(0). Suppose 3*x - 73 = y*l, -4*l + 2 = 2*x - 10. Does 16 divide x?
True
Suppose -o = -5*o + 4. Let f be 4/8*-4*o. Let t = f + 23. Is t a multiple of 16?
False
Let r(j) = -107*j + 2. Suppose -3*u = y - 6 - 4, 4*u = 0. Let z = -11 + y. Does 30 divide r(z)?
False
Suppose -2*a = -q + 2, 4*q + 5*a - 4*a = 8. Suppose 3*p - 570 = q*t, -2*p - 3*t = t - 396. Does 8 divide p?
True
Let w = -13 - -13. Suppose w = -3*i + 168 - 24. Is i a multiple of 16?
True
Let f = -128 + 231. Suppose f + 7 = 2*k. Is k a multiple of 13?
False
Let w(g) = 60*g - 33. Is 11 a factor of w(11)?
True
Suppose -29*o + 28 + 30 = 0. Is o even?
True
Let w(x) = 8*x**2 - 3*x + 5. Is 3 a factor of w(4)?
False
Suppose -v + 2 = -5*a, a = 3*a + 2*v - 4. Suppose a = -2*u + n + 153, 3*u + 3*n + 0*n - 207 = 0. Does 37 divide u?
True
Let s(w) = 38*w + 10. Let y(l) = 37*l + 11. Let p(v) = -6*s(v) + 5*y(v). Is p(-5) a multiple of 14?
True
Let w(s) = 102*s**3 + 5*s - 10. Is 24 a factor of w(2)?
True
Let r(w) = -5*w + 1. Let h be r(-1). Let g be h*1*(-1)/1. Does 3 divide (1/(-3))/(g/198)?
False
Let z = 135 - -67. Does 29 divide z?
False
Suppose -7*l - 21080 = -17*l. Is 68 a factor of l?
True
Let d be 1/2*(12 + -28). Is 526/(-16)*-2 - 2/d a multiple of 11?
True
Suppose -4*p = 5*k - 32, 0*p - p + 4*k = 13. Suppose 85 - 337 = -p*b. Suppose -3*x + b = -0*x. Does 21 divide x?
False
Suppose -2*q + 9 = q, x + 2*q = -29. Let g = x - -158. Does 10 divide g?
False
Suppose 5638 = 12*o - 8570. Is o a multiple of 9?
False
Is 7 + (-5 + 163 - -5) a multiple of 31?
False
Let d(j) = -j**2 + 10*j - 4. Let g be d(8). Suppose 13 = 5*o + 5*h - g, 5*o - 13 = h. Let z = 0 + o. Does 3 divide z?
True
Let x(f) = -2*f + 10. Let s(a) = -6*a + 31. Let k(w) = -3*s(w) + 8*x(w). Let h be k(10). Let y(m) = -m + 20. Is y(h) even?
False
Let x be (4 - 5)/(-1) + -127. Let h = 266 + x. Does 35 divide h?
True
Let k(r) = -3*r - 31. Let l be k(-6). Let v = l + 55. Is v a multiple of 7?
True
Let a = -114 + 137. Is 2 a factor of a?
False
Suppose -2*o = 2*r - 124, -10*r + 5*r - o = -294. Suppos