le of 3?
False
Let s(m) = -m + 12. Let q be s(10). Suppose j - q*n = -0*j + 4, -5*j + n + 2 = 0. Suppose j = -2*f + 6, 0 = 4*x - f - 121. Does 16 divide x?
False
Let j = -226 + 926. Does 35 divide j?
True
Let d(s) = 91*s**2 - 6*s - 39. Is d(-4) a multiple of 28?
False
Let u be 30/(0 + 12/(-8)). Let g(q) = -13*q - 14. Let k be g(-8). Let r = k + u. Does 18 divide r?
False
Let u = -346 + 826. Is 24 a factor of u?
True
Let u(s) = -s**3 - s**2 - s. Let h(v) = 4*v**3 + 17*v**2 - 32*v + 8. Let q(x) = h(x) + 3*u(x). Is 11 a factor of q(-15)?
True
Let p = 1566 - -67. Does 71 divide p?
True
Let v(l) = -l**3 - 10*l**2 - 17*l - 1. Let u be v(-7). Let p = u - -149. Is p a multiple of 20?
True
Let x be (0/(-2 - -3))/(-2). Suppose -4*u - 3*f = 2136, x = 5*u - 2*f - f + 2697. Does 12 divide 7/35 + u/(-15)?
True
Let f = -31 + 33. Suppose -2*u + 4*u + 24 = 0. Is 7 a factor of f/((u/39)/(-2))?
False
Let n(j) = 27*j + 16. Let m(x) = -53*x - 33. Let l(h) = 4*m(h) + 7*n(h). Does 32 divide l(-5)?
False
Suppose -y - 18 = 5*g, 3*g + 2*y - 3*y + 14 = 0. Let c = 48 + g. Is 11 a factor of c?
True
Let f = 78 - 54. Suppose -l + 65 = -f. Is l a multiple of 19?
False
Let q(g) = 3662*g - 254. Does 16 divide q(1)?
True
Suppose 0*o + g - 5 = -4*o, -5*o - 15 = -3*g. Suppose o = 4*b - 3*n - 82 - 228, 4*b - 324 = -4*n. Does 15 divide b?
False
Suppose -t = 4*t - 480. Suppose 2*d + 8*k - 5*k - t = 0, -2*k = -3*d + 144. Is d a multiple of 10?
False
Suppose 3*d = -b - 157, 154 = -b - 2*d - 2*d. Let k be (-6)/10 - b/10. Does 24 divide -3*1 + 11 + k?
True
Let d(i) = 4*i**3 + 3*i**2 - 3*i - 2. Let c(u) = -7*u**3 - 5*u**2 + 5*u + 5. Let j(g) = -3*c(g) - 5*d(g). Let z be j(6). Suppose z - 13 = 3*q. Does 17 divide q?
False
Suppose 0 = -38*c + 32*c + 7626. Is 31 a factor of c?
True
Suppose -6*b + 35 = -7. Suppose -3*t = 5*d - 384, -5*d + t = -379 + b. Does 18 divide d?
False
Let l = -8 - -16. Suppose -i + 3 = l. Let b(a) = 2*a**2 + 4*a - 3. Is 10 a factor of b(i)?
False
Let j(o) = -o**3 - 2*o**2 - 5*o. Is 10 a factor of j(-5)?
True
Let m = -4 + -24. Let y = 29 + m. Is 9 a factor of 9/((-2 + y)/(-7))?
True
Let g be (-528)/(-14) + (-6)/(-21). Suppose 5*b = 3*b + 6. Suppose x - g = -b. Is 35 a factor of x?
True
Suppose 3*b = 5*c - 1505, 2*c - 485 = 3*b + 108. Is c a multiple of 19?
True
Let o(y) = -y**2 + 20*y + 11. Let a(h) = -h**2 + 1. Let x(t) = 2*a(t) - o(t). Let c = 19 + -28. Is 23 a factor of x(c)?
False
Let c(h) = -h**2 - 2*h + 1. Suppose -2 = -5*o + 3. Let t be c(o). Is t/8 + (-3400)/(-32) a multiple of 14?
False
Suppose -2*d = -3*y + 5*y + 8, 2*d + 4*y = 0. Is 6 a factor of (d/24)/((-1)/93)?
False
Let v(j) = -j + 19. Is v(-18) a multiple of 2?
False
Let n(f) = -158*f + 428. Is 26 a factor of n(-7)?
True
Let l(c) = 531*c + 12. Let x be l(2). Suppose 0 - 4 = -j, j = -5*r + x. Is 43 a factor of r?
False
Suppose 4*v + 12 = -b + 2*b, 3*v = -3. Suppose b*w = -13*w + 2058. Is w a multiple of 10?
False
Let l(b) = 2 + 2 + 3*b**3 + b**3 + b**2 - 5*b**3. Let j be l(3). Is (2 + j)*(2 + -4) a multiple of 8?
True
Suppose 5*l + 70 = -5. Suppose i - u - 58 = -2*i, 0 = 5*u - 25. Let y = l + i. Is 2 a factor of y?
True
Let v be 72 + -3 + 0 + 3. Suppose 0 = -h + 4*h - v. Is h a multiple of 4?
True
Suppose -6*s + 45 + 15 = 0. Suppose -7*a = -s - 851. Is 6 a factor of a?
False
Is (3960/210)/((-2)/(-7)) a multiple of 66?
True
Suppose 3*l = 17*l - 2520. Is l a multiple of 5?
True
Suppose -2*y - 790 = -5*u, 4*u - 4*y - 488 = u. Is u a multiple of 8?
False
Let m(i) = i**2 - 12*i - 3. Is m(15) even?
True
Let m(t) = t**2 - 6*t. Let x be m(6). Suppose x = -i + 3*f - 1, 3*i + 2*f + 3*f - 25 = 0. Suppose -78 = i*p - 398. Is p a multiple of 20?
False
Suppose 2*j - 24 = -2*j. Let l = 29 + j. Is l a multiple of 35?
True
Let v = -404 + 802. Does 19 divide v?
False
Let s(f) = 2*f + 66. Let k be s(0). Let g = 74 - k. Does 4 divide g?
True
Is 20 a factor of (-2028)/(-10)*(-90)/(-54)?
False
Let t(g) = g**3 - 11*g**2 + 13*g - 5. Let k be t(9). Let z = k + 109. Is 12 a factor of z?
False
Suppose -1 = -5*g + 6*g. Let i be (-28)/8*2*g. Let y(s) = -s**3 + 7*s**2 + 2*s + 1. Is 5 a factor of y(i)?
True
Suppose 0 = -4*l + 6*l - 546. Suppose -93 - l = -2*n. Suppose -2*j + 72 = 3*y - 54, 3*y = -3*j + n. Is 19 a factor of j?
True
Suppose 2*b + 4*f + 1608 = 6*b, -2010 = -5*b + 2*f. Suppose 0 = 4*w - 182 - b. Does 18 divide w?
False
Suppose -5*j - 2*q + 1 = 0, j + 5 = -3*q - 0*q. Is 7 a factor of 17 + -13 + (j - -70)?
False
Is (10/(-80))/((-1)/4)*2540 a multiple of 50?
False
Let c(t) = -6*t + 17. Let r be c(-11). Let j = -45 + r. Is j a multiple of 19?
True
Let k(w) = -w - 2*w**3 - 7 + 2*w**2 + w**3 + 30 - 3*w**2. Suppose 0 = p - 4*p. Is 11 a factor of k(p)?
False
Let t be (-31)/(-2) + (-10)/(-20). Suppose -12*f - 12 = -t*f. Suppose 4*p - 2*x = 116, f*p - 3*x = 2*p + 34. Is 5 a factor of p?
False
Let t(k) = -k**3 - 3*k**2 + 10*k + 34. Is t(-6) a multiple of 15?
False
Suppose 0*z - 3*z = 3. Let y = z - -5. Suppose -9 = -u + y. Is 5 a factor of u?
False
Let s = 1845 + 434. Is s a multiple of 77?
False
Does 52 divide (-21)/(1470/4564)*-15?
False
Let b be 60*(5 + 100/(-15)). Let s = b - -359. Is 18 a factor of s?
False
Let w(l) = l + 30. Is 10 a factor of w(10)?
True
Suppose 4*w - 926 = -d + 3*d, -4*d + 1190 = 5*w. Suppose -2*g + 153 - 7 = p, 3*p - 213 = -3*g. Suppose 3*y - w = -g. Does 22 divide y?
False
Let g(f) = 11*f - 260. Let q(p) = -5*p + 130. Let z(r) = 6*g(r) + 13*q(r). Is 24 a factor of z(0)?
False
Let n(z) = -z**3 + 14*z**2 + 14*z + 51. Is 13 a factor of n(-9)?
False
Suppose -2*z + 0*z = -6. Let y = 1 + z. Suppose -5*s = 3*k - 144, 112 = 3*s - y*k + 14. Does 10 divide s?
True
Let q(g) = -g**2 - 34*g - 1. Does 4 divide q(-32)?
False
Let h(b) = -b**2 + 22*b - 16. Let q be h(13). Let d = 71 - q. Let t = -22 - d. Does 2 divide t?
True
Let k(d) = -2*d**3 + 32*d**2 - 43*d + 1. Is k(12) a multiple of 49?
True
Suppose 0 = -82*v + 81*v + 962. Is v a multiple of 13?
True
Let g = 9716 + -6657. Is g a multiple of 133?
True
Let w be (-40)/(-25) - (-4)/10. Suppose -296 = -7*t - w. Is 13 a factor of t?
False
Let d(f) = 38*f - 274. Does 92 divide d(75)?
True
Suppose 3*z + 4 = 10. Suppose z*i - 432 = -4*i. Is 24 a factor of i?
True
Let y = -29 + 103. Suppose 4*w - y = 3*t - 372, -3*t = -3*w - 300. Is t a multiple of 17?
True
Let s(b) = b**2 - 6*b + 6. Let p be s(6). Let q(u) = u**2 + u - 3. Is 13 a factor of q(p)?
True
Suppose -81 = -5*w - 4*u, -4*w = -5*u + 21 - 94. Suppose 5*y - 3 - w = 0. Suppose y*d + 2*b - 7 = -b, d - 19 = 5*b. Is d even?
True
Suppose c + 0*s = 4*s + 823, 4*c - 3292 = 3*s. Suppose 5*y - v = -309 + c, 5*y = -v + 506. Is 9 a factor of y?
False
Let s = 27 - 19. Let h(f) = -9*f. Let z(p) = 5*p. Let n(j) = 4*h(j) + 9*z(j). Is 24 a factor of n(s)?
True
Suppose 0 = -561*k + 566*k - 4240. Does 26 divide k?
False
Let v be 13 + -11 - 16/(-2). Suppose -5*c + 5*o = -45, -4*o - 6 - v = 0. Suppose 2*p - c*f - 9 = -0*p, 0 = 3*f - 9. Does 6 divide p?
True
Let a(x) be the second derivative of -4*x + 0*x**2 + 14/3*x**4 + 0 + 0*x**3. Does 14 divide a(-1)?
True
Suppose -r + 6*r = 775. Suppose 0 = 3*g + 2*g - r. Is 20 a factor of g?
False
Let p = 29 + -29. Suppose 7*l + 7 = -p. Let h = 22 + l. Is h a multiple of 3?
True
Let d(k) = 7*k**2 - k**3 + 10*k**2 - k**2 - 12*k - 17 - k**2. Is 15 a factor of d(13)?
True
Let i be 4/(-36)*3*0. Let r(q) be the first derivative of q**2/2 + 45*q - 1. Is 15 a factor of r(i)?
True
Suppose -5*g - 4 = 11. Does 15 divide ((-2 - -1) + g)*(-15)/2?
True
Suppose -4*c - 5 = -9. Let i = 1 - c. Suppose -v = -2*f - 14, 3*v = f - i*f + 42. Is v a multiple of 7?
True
Let n be 304/6 + (-4)/6. Suppose -2*d - n = -12. Let b = d - -25. Does 3 divide b?
True
Suppose 0 = -2*t + 6*t - 1612. Suppose -3*f = -4*h - 407, 3*f - 5*h = -0*f + t. Is 26 a factor of f?
False
Let s be (-5)/5*(-1 - -1). Suppose 78 = 2*x - 5*g, s = 2*x + 2*g + 29 - 79. Is 12 a factor of x?
False
Let s = -595 - -915. Let r = s + -200. Is 10 a factor of r?
True
Suppose 3*p - 4*p + 5 = 5*a, 2*p + 3*a + 4 = 0. Let n(q) = q**3 + 8*q**2 + 3*q - 6. Is 18 a factor of n(p)?
True
Suppose 4096 = 24*i - 3008. Does 20 divide i?
False
Suppose -m + u + 7 = 0, -3*m - u + 13 = -0*u. Suppose 0 = g - 8 + m. Is 14 a factor of -3 - (g - 2) - -60?
True
Suppose 0 = -3*b + 4*n 