f. Suppose -f*i + y = 43. Is 12 a factor of i?
True
Let x(r) = -2*r - 6. Let o be x(-8). Suppose 12*b - 11*b - o = 0. Is b a multiple of 8?
False
Suppose -35*r + 36*r = 776. Does 8 divide r?
True
Suppose 133 = -w - 4*p, -w + 3*p = -0*w + 147. Let i(o) = -o**3 + 7*o - 3. Let g be i(5). Let u = g - w. Is 12 a factor of u?
True
Let a(r) = 25*r**2 + 5*r + 5. Is a(-4) a multiple of 11?
True
Let d(b) be the first derivative of 17*b**3 + b**2/2 - 2*b + 23. Does 3 divide d(-1)?
True
Let n = 2501 - 2109. Is n a multiple of 5?
False
Let l(y) be the first derivative of -y**4/4 - 2*y**3 + 3*y**2/2 - 10*y + 4. Does 6 divide l(-7)?
True
Let n be 2/(-15) + 192/90. Let a(f) = 1 + 5*f - f**3 - n*f + 0*f. Does 3 divide a(-2)?
True
Is -2 - ((-759)/2 + (-1)/2) a multiple of 63?
True
Let w(l) = -l**3 - 3*l**2 + 2*l + 6. Let n be w(-4). Let x = n - 16. Is 21 a factor of (x + 31)/(2/2)?
False
Let x(v) = -4 - v**2 + 2 + 2*v**3 + 9 - 6. Let y be x(2). Let k = y - -27. Is 20 a factor of k?
True
Is 6 a factor of (-5 - -54)/(-7) + 289?
True
Suppose 5*q - 2*s = 7089, -q + 29*s + 1427 = 24*s. Is 109 a factor of q?
True
Let j = -54 - -29. Let p = 22 + j. Does 11 divide 43 + (p - 1 - -5)?
True
Let s(f) = -5*f + 22. Suppose -11 = 2*x + 1. Is 33 a factor of s(x)?
False
Let r = -415 + 571. Is 21 a factor of r?
False
Suppose -25 = -11*o + 85. Suppose 18 + 42 = o*p. Is p even?
True
Suppose 0 = 4*u - z - 495, u - 5*z + 42 = 161. Does 11 divide u?
False
Let d(v) = 4*v**2 - 12*v - 14. Let x(u) = -u**2. Let h(c) = d(c) - 3*x(c). Let a(m) = -m**2 + m + 1. Let t(w) = 5*a(w) + h(w). Is 35 a factor of t(-6)?
True
Let x(l) = -l**3 - 9*l**2 + 4*l - 18. Is 9 a factor of x(-11)?
True
Let z(f) = f**2 + 4*f + 4. Let v be z(0). Let m(k) = -14*k + 3. Let h be m(-3). Suppose 0 = v*n - 27 - h. Is 18 a factor of n?
True
Let c = 5 + -3. Let w(h) = c*h - 3*h + 5*h + 1. Is w(5) a multiple of 7?
True
Let t(w) = w**2 + 4*w - 20. Let b(j) = 4*j + 21. Let i be b(-8). Is 13 a factor of t(i)?
False
Suppose 0*l + 8 = 2*l. Suppose 3*y - 13 = l*y. Let r = y - -37. Is 8 a factor of r?
True
Suppose 15 = 4*f - f, 4*p - 3*f - 249 = 0. Let n = p - 42. Is n a multiple of 12?
True
Suppose -5664 = 17*s - 23327. Is 16 a factor of s?
False
Let j(o) = -11 - 6*o - 11 - 2 + 12. Does 5 divide j(-4)?
False
Let g(y) = -y**3 - 44*y**2 + 53*y - 18. Is g(-46) a multiple of 20?
False
Suppose 13 = 3*s + f, s = -0*f + 4*f + 13. Suppose 2*j = 0, 95 = s*m + j - 6*j. Is m a multiple of 12?
False
Suppose 0 = 3*i + 4*g + 35, -5 = 4*i + 2*g + 35. Let m(u) = -6*u + 11. Is m(i) a multiple of 12?
False
Let o = -695 + 2278. Is o a multiple of 23?
False
Suppose 6*y = 7*y - 2*b - 116, 535 = 5*y - b. Is 20 a factor of y?
False
Let m(y) = -5*y + 8. Let v be m(2). Is (-680)/(-5) - (-2 + v) a multiple of 35?
True
Let s(n) = 4*n**2 - 43*n + 10. Let b be s(16). Let k = b + -148. Is 9 a factor of k?
True
Let j(w) = -5*w + 6. Let u(s) = -6*s + 7. Let a(k) = 5*j(k) - 4*u(k). Let t be a(-7). Suppose t*r - 57 = 6*r. Does 10 divide r?
False
Suppose -4 = 7*o - 5*o. Does 3 divide 8/(-14)*21/o?
True
Suppose 29*u = 10*u - 57. Let f(j) = -5*j**3 + 3*j**2 + 4*j + 1. Let z(l) = -2*l**3 + 2*l**2 + 2*l. Let a(v) = -3*f(v) + 7*z(v). Is 9 a factor of a(u)?
True
Suppose -5*m + i + 42 = -8*m, -4*m = i + 57. Is ((-156)/2)/((6/m)/1) a multiple of 13?
True
Let l(u) = 2*u**2 + 27*u - 140. Is 14 a factor of l(-24)?
True
Suppose 2*w - 775 = -55. Does 18 divide w?
True
Let w = -43 - -48. Suppose c = -0*c + w*x + 127, -120 = -c - 2*x. Is c a multiple of 36?
False
Let m be 10*1/4*2. Suppose 0 = -a + m*a - 52. Does 13 divide a?
True
Let s = 1651 + -1107. Does 32 divide 9/((-108)/s)*-3?
False
Let s be (-624)/21 + (-2)/7. Let m = -36 - s. Is 12 a factor of (-16)/(3/(m/1))?
False
Let m be -3 - (1 - -3 - -65). Let o be 20/(4 + m/20). Let l = -8 + o. Is 6 a factor of l?
True
Let l(h) = h**3 + 11*h**2 + 7*h + 65. Is 17 a factor of l(-8)?
False
Is 11/(154/(-408))*(-21)/6 a multiple of 17?
True
Suppose -53*q + 2928 = -41*q. Does 17 divide q?
False
Suppose 4*w - 7*w - 3 = 0. Is 10 a factor of (-237)/(3 + -6) - w?
True
Let v(r) = -r**3 - 14*r**2 - 2*r - 2. Let b be v(-14). Suppose 20 = -5*k + 5*s, 5*k + 2 = 3*s - b. Is (1 - -15) + 0/k a multiple of 16?
True
Is 16 a factor of 385/(-14)*2720/(-25)?
True
Suppose -3*h + 5*b - 11 = -7*h, h = -2*b + 2. Suppose h*o = -21 + 9, -5*d - 4*o = -408. Is d a multiple of 14?
True
Suppose 39 = 4*k + x, -3*x = -k - k + 37. Let o(w) = 4 - w**3 + 2*w**3 - w + 8*w - k*w**2 + 6*w. Does 14 divide o(10)?
False
Suppose -17*r + 11160 = -5*r. Is r a multiple of 16?
False
Let m = 14 - 22. Let d = -6 - m. Is ((-15)/9)/(d/(-6)) a multiple of 2?
False
Let u = 41 - 34. Does 4 divide (105/9)/u*3?
False
Suppose -527 = -7*c + 2*c + 2*m, -208 = -2*c - 2*m. Is 21 a factor of c?
True
Is 16 a factor of 636/5*(-4515)/(-258)?
False
Let l be (9/6)/(1/2). Suppose 64 = -l*g + 4*m, -g - 15 = 4*m + m. Is 10 a factor of (7/14)/((-1)/g)?
True
Let o(a) = -a**3 - 32*a**2 - 33*a + 360. Does 24 divide o(-32)?
True
Let r = 190 + -156. Does 7 divide r?
False
Let n = -251 - -536. Is 19 a factor of n?
True
Is 12 a factor of 1191/6 + -2 + 4/8?
False
Suppose 3*n = 78 + 750. Is n a multiple of 6?
True
Suppose -3*m - 2 = 1. Is m/(2/8) + 36 a multiple of 20?
False
Let i = -39 - -43. Suppose 24 = i*s - 12. Does 3 divide s?
True
Let i(b) = b**3 + 13*b**2 + 15*b - 14. Let j(p) = p**3 - 9*p**2 - p - 2. Let q be j(9). Does 4 divide i(q)?
False
Let h = -71 + 1148. Does 94 divide h?
False
Suppose -z + 6*z - 30 = -5*o, -o - 2*z + 7 = 0. Suppose 0 = o*w - 37 - 73. Is 11 a factor of w?
True
Let r = 224 + 147. Is 15 a factor of r?
False
Let q = 41 - -135. Is q a multiple of 8?
True
Suppose 1152 = 6*m - 252. Is 13 a factor of m?
True
Let a be -195 + (-7 - -3) - 1. Let y = a + 282. Does 7 divide y?
False
Suppose 0 = 2*i + 4*i - 24. Suppose -5*c + 3*f + 238 = f, -i*f = -2*c + 108. Is 24 a factor of c?
False
Let p be -2*3*16/(-6). Let b(i) = -i**3 + 18*i**2 - 23*i - 33. Is 22 a factor of b(p)?
False
Let i be ((-129)/(-9))/(1/(-3)). Let d(u) = u**3 + 4*u**2 + 4*u + 2. Let s be d(-3). Is 15 a factor of (s - -3 - i)*1?
True
Let n = -20 - -24. Suppose 5*b = n*b + 4. Suppose b*m - 31 = 9. Is 4 a factor of m?
False
Suppose -14*b + 4482 + 3050 = 0. Is b a multiple of 34?
False
Let s(u) = -6 + 1 + 3 - 4 + 25*u. Is s(5) a multiple of 17?
True
Let z(g) = 10*g - 7. Is z(12) a multiple of 22?
False
Suppose 12*f - 17*f - 230 = 0. Let w = 15 + f. Let b = 54 + w. Is 6 a factor of b?
False
Is (10 + 4)/(1 + (-196)/200) a multiple of 8?
False
Let o(g) = -g**2 + 19*g - 11. Let l be o(18). Suppose 0 = -l*p + 5*p + 18. Is 7 a factor of p?
False
Let q(o) = 12*o**2 - 12*o - 10. Does 16 divide q(15)?
False
Let l(c) = -c**3 + 7*c**2 + 2*c - 3. Let v = 39 - 32. Does 11 divide l(v)?
True
Let u(x) = 3*x**2 + 11*x - 5. Let h be u(-7). Suppose l + h = 174. Suppose -j = -2*s + l, 2*s - 4*j - 220 = -2*s. Does 13 divide s?
False
Let s(p) = -p**2 + 46*p + 29. Is s(22) a multiple of 26?
False
Let y = 84 + 36. Let i = 170 - y. Is 25 a factor of i?
True
Let h(f) = -15*f - 17. Let b(c) = c**3 + 5*c**2 - 6*c - 6. Let g be (8 - 4)/((-2)/3). Let w be b(g). Is h(w) a multiple of 15?
False
Suppose -25 + 111 = 2*d. Let s = d + -21. Is 6 a factor of ((-9)/6)/(-3)*s?
False
Suppose -3*j + 6*j = -87. Does 3 divide (-6)/(-2) - (j + 11 + -6)?
True
Suppose -3*h - h - 2*j = -290, -j + 3 = 0. Let f = -33 + h. Is 5 a factor of f?
False
Let b be -3*(5 + -4) + -2*1. Does 5 divide b + 118/4 - 3/2?
False
Does 26 divide (-4)/(-48) + (-12478)/(-24)?
True
Let m be 244*(1/(-2) - 9/(-12)). Let z = 124 - m. Is z a multiple of 13?
False
Suppose 2*m - 33 = -2*m + 3*t, -4*t = -2*m + 24. Suppose -380 - 550 = -m*p. Is 24 a factor of p?
False
Let w = -289 - -164. Let t = -22 - w. Is t a multiple of 26?
False
Does 36 divide 40/5 + (5 - -203)?
True
Let t be 0 - 26/6*-3. Suppose 12*v - 131 = t. Is 2 a factor of v?
True
Let v(f) = 11*f + 932. Does 23 divide v(-45)?
True
Let x = -100 + 104. Suppose 2*p + 7*r - x*r = 279, 0 = -4*p + 5*r + 591. Is p a multiple of 12?
True
Let z = -34 + 18. Let i = z - -10. Is 8 a factor of -3 - 2*57/i?
True
Let s(j) = j**3 - 5*j**2 + 3*j - 329. Let h(u) = u**3 - 4*u**2 + 3*u - 330. Let t(i) = -7*h(i) + 6*s(i). Does 35 divide t(0)?
False
Let l(x) = 