f 4?
False
Does 11 divide 37*39 - -1 - (31 + -28)?
True
Let o be 1 + ((-68)/(-1))/1. Suppose -2*x + 5*x - o = 0. Suppose -r = 3*u - 4*u - x, 2*r = -2*u + 38. Does 8 divide r?
False
Let b(i) = i**2 - 4. Let m be b(-3). Suppose -m*j = -j - 720. Let n = j - 128. Does 13 divide n?
True
Let k be (3 + -1 + 512/10)*5. Let t = -108 + k. Does 23 divide t?
False
Let o = 72 + -6. Let r(v) = -2*v**2 + 19*v + 23. Let u be r(11). Does 14 divide (u + o)/(2 + -1)?
True
Let g(d) = 21*d**2 - 16*d - 186. Is 91 a factor of g(-10)?
False
Let f = -147 - -354. Let z = 423 - f. Is z a multiple of 27?
True
Let k(s) = -4*s**3 - 9*s**2 - 2*s + 2. Let f(o) = 5*o**3 + 10*o**2 + 3*o - 3. Let l(c) = -5*f(c) - 6*k(c). Let q be l(2). Suppose a = 5 + q. Is 5 a factor of a?
True
Let r = 4 + -8. Suppose t - w = -0*t - 3, -2*t + 5*w = 21. Is 32 + (r + t)*1 a multiple of 10?
True
Suppose -48*r - 8701 = -38941. Is 15 a factor of r?
True
Suppose 4*r - 34 = 6*r. Let d = r + -142. Let g = -113 - d. Is g a multiple of 16?
False
Let x = -146 + 954. Is 10 a factor of x?
False
Let z(q) = -q**3 - 6*q**2 - 2*q - 8. Let p be z(-6). Suppose 6*n + 128 = p*n. Let s = n + 94. Is 15 a factor of s?
True
Let k(r) = -r**3 + 8*r**2 + 64*r + 22. Is 7 a factor of k(12)?
False
Let i(k) = 2*k + 4. Let q be i(-4). Does 40 divide 10/q*4392/(-60)?
False
Suppose 5*c = -g + 12, 0 = 3*c + 3*g - 2*g - 8. Is (7/(21/20))/(c/6) a multiple of 5?
True
Let q be -2*(9/(-6) - -2). Let r = q - -5. Suppose -4*y = 2*z - 32, -5*z - r*y + 44 = -z. Is z even?
True
Let h = -34 + 24. Let g(r) = -2*r + 6. Does 26 divide g(h)?
True
Let c be (-9)/(5 + -14)*(4 + -2). Suppose 5*w - 4*p - 3 = 0, -3*w + 4*p - 3 = -0*p. Suppose -c*g + 166 = 5*h, w*h = g + 77 + 16. Is 16 a factor of h?
True
Let a(j) = 12*j - 9. Let f be a(10). Suppose d = -2*d + f. Is 12 a factor of d?
False
Let d = 213 + -123. Suppose -d = -41*o + 40*o. Does 37 divide o?
False
Let y = 26 - 26. Let s be 3 - (y/4 + -2). Suppose 2*k + 2*c = 4*c + 190, 460 = s*k - 2*c. Is k a multiple of 18?
True
Suppose 10192 = w + 12*w. Does 16 divide w?
True
Let g(f) = 7*f**3 - 15*f**2 - 89*f + 2. Is g(8) a multiple of 150?
False
Let m be 1/((-29)/(-28) + -1). Let x be 14/(-21) - m/(-6). Suppose x*t - 2*t = 86. Is 9 a factor of t?
False
Let g(z) = -z**3 - 12*z**2 - 2. Let y be g(-12). Is (0 + y)*273/(-6) a multiple of 13?
True
Does 12 divide (-8)/(-48)*-10 + 797/3?
True
Let h(q) = -2*q - 1. Let u be h(2). Let s = 3 + u. Is (-2 - -1)*-29 + s a multiple of 9?
True
Let v(t) = -3*t - 2. Suppose 0 = -2*i + 4*i + 3*y + 4, 2*y = i - 12. Let o be v(i). Let w = -3 - o. Is w a multiple of 3?
False
Let c = 212 - 355. Let v = 246 + c. Is 13 a factor of v?
False
Let c = 695 - 180. Suppose 0 = -7*j - 11 + c. Is 24 a factor of j?
True
Suppose -20 = 12*a - 17*a. Suppose -5*n = -3*v + 186, -4*n = v - a*v + 189. Is 13 a factor of v?
False
Let k be (18/21)/((-4)/(-14)). Suppose k*u + 5*a = -1, -3*u = -a - 0*a - 11. Does 11 divide -4 + u*26/3?
True
Let f = 14 + -10. Suppose -f*v - 125 + 25 = 0. Let o = v - -37. Is o a multiple of 3?
True
Let j(q) = -110*q**3 + 2*q**2 + 9*q + 35. Is 20 a factor of j(-3)?
False
Let k(j) = 33*j**2 + 20*j + 343. Is k(-11) a multiple of 98?
True
Let x = 19 - 13. Let r(j) = 3*j + 15. Let v(a) = -a. Let z(g) = -r(g) - 12*v(g). Is 11 a factor of z(x)?
False
Suppose -1091 - 4594 = -5*p. Is 74 a factor of p?
False
Let w(f) be the second derivative of 1/6*f**3 - 1/2*f**2 - 1/2*f**4 + 0 + 1/20*f**5 - 3*f. Is 5 a factor of w(6)?
True
Let w = -446 + 231. Let i = -75 - w. Does 10 divide i?
True
Suppose 4*n + 228 = -64. Let b = n + 82. Is b a multiple of 2?
False
Let h(y) be the first derivative of y**4/4 + 5*y**3 - 8*y**2 - y + 11. Let z be h(-16). Is 4 a factor of -4*(z - 3 - -1)?
True
Suppose -773 = -6*o + 157. Is 11 a factor of o?
False
Suppose 3*z - a = -7, 4*a + 1 = -7. Let x(h) = -2*h**3 + 4*h**2 + 6*h - 3. Does 23 divide x(z)?
True
Suppose -7*p + p = -156. Let m = -24 + p. Suppose -2*a = m*a - 64. Is 4 a factor of a?
True
Let j = -1 - -39. Suppose -3*a + 22 = -4*f - 10, -2*f = 4*a + j. Is 11 a factor of 1*3*f/(-1)?
True
Suppose -73*y + 69*y + 40 = 0. Is -2 + (y/(-5) - -10) even?
True
Suppose v - 5*x = 2 - 5, 3*x + 29 = 2*v. Let h = 1 + v. Is h a multiple of 16?
False
Let o = -22 - -22. Suppose -57 = -c - o. Does 19 divide c?
True
Let f = 1444 + -1298. Is f even?
True
Suppose 0 = -30*w + 3566 + 3484. Is w a multiple of 4?
False
Suppose -6 = -2*q + 2. Suppose -q*j + 73 = -15. Does 6 divide j?
False
Let g be ((-2)/(-4))/((-5)/40). Does 18 divide g/(-6)*(-2 - -95)?
False
Let l(t) = -42 - t + 0*t + 108. Does 3 divide l(0)?
True
Let l = 2 + 1. Suppose 3*r + 27 = f, 0 = -7*f + l*f - 5*r + 159. Is 13 a factor of f?
False
Let n be 24/16*(-4)/(-2). Suppose 6*d - n = 9. Suppose -3 = -2*k - 4*p + 25, 3*k = 5*p - d. Is 3 a factor of k?
True
Let q(d) = d**2 - d. Let u be q(3). Suppose 0*w - u = -2*w. Suppose -w*r + 3*g = -117, -81 = -0*r - 2*r + g. Is 7 a factor of r?
True
Let u(p) = -p**3 + 14*p**2 - 19*p - 4. Suppose 0 = 4*y - 10*y + 78. Let t be u(y). Let i = t - -171. Does 13 divide i?
False
Suppose -603*f + 4760 = -596*f. Is 4 a factor of f?
True
Suppose 0 = -4*m + 5*z + 605, 3*z + 0 = -3. Does 30 divide m?
True
Let b(l) = 3*l**2 + 9*l - 42. Does 14 divide b(-14)?
True
Let c = 506 - 272. Does 13 divide c?
True
Suppose -67*l + 69*l = 192. Is 8 a factor of l?
True
Suppose a - 65 = -4*a. Let f(o) = 2*o - 13. Is 4 a factor of f(a)?
False
Let t = 2252 - 1378. Is 38 a factor of t?
True
Let t = 13 + -27. Let p = 36 + -17. Let c = p + t. Does 3 divide c?
False
Suppose -5*f + 3*f + 380 = 0. Does 10 divide f?
True
Let q = 40 + -26. Suppose -q = -d + 1. Does 14 divide (-1148)/(-12) + (-10)/d?
False
Let m be (4 - 2)/(1/2). Suppose m*u + 13 = 229. Does 9 divide u?
True
Suppose 3*h = -2*h + 10. Suppose -w + 6*l = l + 3, -h*w + 3*l = -15. Is w a multiple of 9?
False
Let u = -19 - -13. Let v(k) = 23*k + 11. Let n be v(-5). Is u/4*n/4 a multiple of 15?
False
Suppose 0 = -2*w - 5*k + 212, 2*w - 8*k = -3*k + 252. Is w a multiple of 16?
False
Let v be 26/(-14) + 5/(-35). Let l be (-1)/(-2)*v - -5. Suppose 4*g - 120 = -l*y, -3 = -g + 4*y + 7. Is 20 a factor of g?
False
Let f be -1 - -2 - (-13 + -45). Let o = f - 22. Is 22 a factor of o?
False
Is 55 a factor of 519648/576 + (-2)/(-24)*10?
False
Let v = -26 - -31. Suppose u = -2*q - 1, 0 = v*q + 2*u - 5*u - 25. Is (-4)/(28/(-12) + q) a multiple of 4?
True
Let r(q) = -9 + 4 + 11*q - 5. Let b be r(-8). Let i = 153 + b. Is 16 a factor of i?
False
Let y be (-1 + (-10)/(-15))/((-2)/30). Let q = 86 - 56. Is 15 a factor of (q/2)/(y/15)?
True
Let g(v) = v**2 + 9*v + 9. Let y be g(-6). Let l be -3*(-3)/y*-13. Suppose -q + 39 = -l. Does 16 divide q?
False
Let i = -25 - -27. Suppose i*o = 4*a - 52, 5*o - 3*a = 34 - 178. Is (-2)/4 + (-1005)/o a multiple of 11?
True
Let j = -456 - -845. Is j a multiple of 50?
False
Does 38 divide (-3)/(-4)*-2 - (-3435)/10?
True
Let p(h) be the second derivative of 0 - 3/2*h**2 - 5/6*h**3 - 2*h. Is p(-4) a multiple of 9?
False
Let s(d) be the third derivative of d**5/60 - d**4/8 - d**3/6 - d**2. Let x = 67 + -61. Does 16 divide s(x)?
False
Suppose 0 = 4*f - 2*f - 34. Let y = f - -7. Is 4 a factor of y?
True
Suppose -2*t + 306 = 3*h + 3*t, -4*h + 408 = -3*t. Suppose -325 = -7*o + h. Is o a multiple of 22?
False
Let q(p) = p**3 + p + 23. Let y be q(0). Let r = y - 11. Suppose -2*z - r = -4*z. Is 2 a factor of z?
True
Suppose 4*h - 4 - 4 = 0. Suppose 4*t + h*p - 276 = 0, t - 51 - 18 = 4*p. Suppose 3*x = 2*v - t, -2*x + x = 5*v - 181. Is 9 a factor of v?
True
Let q(j) = -j**2 + 3*j. Let n(i) = -i + 7. Let g be n(4). Let s be q(g). Suppose s = 3*r + 40 - 325. Is r a multiple of 23?
False
Let z = -16 + 21. Let m(i) = 2*i**2 - 2*i - 5. Let x be m(z). Does 27 divide 14/x - (-696)/10?
False
Let v(z) = -z**2 - 11*z + 14. Let m be v(-11). Does 4 divide (m - 2)*5/15?
True
Let t(a) = a**3 + 14*a**2 + 5*a - 9. Let w be t(-14). Let j = w + 114. Is j a multiple of 28?
False
Let y(c) = 18*c**2 - 14*c + 49. Is y(3) a multiple of 3?
False
Let j(i) be the second derivative of 32*i**4/3 + i**3/2 + 3*i**2/2 - 49*i. Is 16 a factor of j(-1)?
True
Suppose 0 = 3*j - 62 - 28. Let p = j - 4. Does 26 divide p?
True
Let b be (-7)/14*(-22)/(-1). Let v = 27 + b. Suppo