tor of i?
False
Let b(x) = -x**3 - 16*x**2 + 2. Let w be b(-16). Let z(p) = 4*p - 101. Let q(v) = -v + 34. Let f(m) = w*z(m) + 7*q(m). Is f(0) a multiple of 18?
True
Let l = -187 + 275. Is l a multiple of 8?
True
Let p = 21 + 19. Let s be p/12 - 3/9. Does 5 divide 14*s*2/4?
False
Let f(b) = 4*b + 4. Let h(c) = -c**3 - 3*c**2 + 4*c + 5. Let v be h(-5). Suppose 5*a = -0*a + v. Is 12 a factor of f(a)?
False
Suppose y + y - 598 = 0. Does 13 divide y?
True
Let c(f) = -f**2 + 10*f + 4. Let r be c(9). Suppose r = 2*i + 9. Does 2 divide i?
True
Suppose 0 = -3*t + 5*u + 24, -1 = -5*t - 4*u + 2. Suppose 5 = 3*w - 2*x - 6, 2*w + t*x = 3. Suppose -2*k = 6*h - 2*h - 396, -w*h = -k - 287. Does 17 divide h?
False
Suppose 2*r = 3*r - 3*c - 10, 2*c = -5*r - 18. Let d be (r - 4 - -3)*1. Is 12 a factor of (-170)/d - 14/21?
False
Let c(x) = -x**3 + 4*x**2 + 5*x + 2. Let z be (2/3)/(2/15). Let m be c(z). Suppose m*i = h - 20, 0*i + 3*i = -2*h + 33. Does 18 divide h?
True
Let w(q) = q**2 + 17*q - 5. Is 10 a factor of w(-19)?
False
Let c be (-22)/33*(-21)/2. Suppose -3*v + 16 - c = 0. Suppose 5*p = -5*d + 35, 3 + 4 = d - v*p. Does 4 divide d?
False
Let t(h) = -h**3 - h**2 + 5*h - 5. Let n be t(-5). Suppose 5*b + n = 3*j, 3*j - b = 2*b + 60. Suppose -s - 2 + j = 0. Is 13 a factor of s?
True
Let k be 10*(3 - 10/4). Suppose 4*s - o - 704 = 0, -4*o - 42 + 201 = s. Suppose k*n - s = -3*f, 2*n + f + 3*f = 56. Does 14 divide n?
False
Let u be (-4)/(-10) + (-6 - 84/(-15)). Suppose u = -9*c + 17*c - 120. Does 15 divide c?
True
Let k = 2250 + -1273. Is k a multiple of 14?
False
Let s be 4*3/(-9)*12. Let q be ((-6)/4)/(12/s). Suppose d - 48 = -q*d. Does 13 divide d?
False
Let y(r) = 136*r**2 - 57*r + 156. Is 105 a factor of y(3)?
False
Suppose -3*h = -3*v - 1914, -3*h + 0*v = -5*v - 1914. Is 22 a factor of h?
True
Suppose 3*s + 67 = -s + 3*b, 5*s = 2*b - 82. Suppose -14*x - 93 = -17*x. Let i = s + x. Is 11 a factor of i?
False
Let u be -8 - -12 - 0/(-2). Suppose 3*m - 146 = -u*v + 62, 0 = -2*m. Is 22 a factor of v + 1 + -4 + 3?
False
Let x = -32 - -35. Suppose -4 = x*c - 2*j + j, c = -3*j + 12. Does 11 divide c - -4 - (-59 + -3)?
True
Let z(a) = 5*a**3 - 17*a**2 + 3*a - 1. Let f(t) = 6*t**3 - 18*t**2 + 4*t. Let y(w) = 4*f(w) - 5*z(w). Does 35 divide y(10)?
True
Suppose 4*v = 12 + 16. Is 27 a factor of 588/v - (2 + 1)?
True
Let y = 1205 - 1025. Is y a multiple of 18?
True
Suppose 104*m - 100*m = 11684. Does 16 divide m?
False
Let a = 111 + 186. Does 3 divide a?
True
Let d(w) = -5*w + 35. Let i be ((-4)/(-8))/((-3)/132). Is 29 a factor of d(i)?
True
Suppose 0 = -4*r + r + 12. Suppose -5*u + t = -600, 0 = -4*u + 8*u - r*t - 496. Does 20 divide u?
False
Suppose 3*d - 14 + 8 = 0. Let o(v) = v**3 + 3*v**2 - 3*v + 2. Let z be o(-3). Let l = z - d. Does 3 divide l?
True
Suppose -7*u - 9750 = -17*u. Suppose -4*l = 5*y - u, 243 = y - 3*l + 67. Is 9 a factor of y?
False
Let a be 1/(3 - (-2 + 4)). Let v = 6 + a. Suppose -4*k + 3*g + 179 = 0, v*k + 3*g - 150 = 4*k. Is k a multiple of 11?
False
Let b(o) = 2*o + 8. Let m be b(-4). Suppose 8*i - 10*i + 108 = m. Let p = 79 - i. Is 8 a factor of p?
False
Suppose 2*d - 58 = -4*u, 3*d - 2*u = 2*u + 47. Suppose 2*t + 5*m + d = 0, 20 = -5*t - m + 2. Let b = 11 + t. Does 3 divide b?
False
Suppose 2*v = -3*r + 37, v - 2*r - r - 5 = 0. Let u be 38/14 + 4/v. Suppose 6 = u*i - 15. Does 2 divide i?
False
Does 5 divide (-1)/(-5) - 178292/(-290)?
True
Let p(l) = l**3 - 6*l**2 + 8. Let v be p(7). Suppose 5*k - v = -d + 98, -d - k + 139 = 0. Is 39 a factor of d + (1 - (2 + -2))?
False
Suppose 168 = d - 2*x, 2*d + 5*x = 2*x + 336. Does 28 divide d?
True
Let j(v) = -v**2 - 1. Let s(t) = t**2 - 3*t + 5. Let y = -5 - -4. Let z(a) = y*s(a) - 3*j(a). Does 7 divide z(-3)?
True
Suppose 4505 = 32*r - 11367. Is r a multiple of 8?
True
Let n(l) = l**3 - 6*l**2 - l - 2. Let b be n(4). Let m = b - -42. Does 3 divide m?
False
Let g(b) = 2*b**2 + 11 - b**2 - 3 - 11*b. Does 22 divide g(16)?
True
Let z = -127 - -189. Let y = -33 + z. Is y a multiple of 7?
False
Suppose 3*z + 0*z - 29 = -a, 5*z - 5*a = 55. Suppose 216 = 5*f - 6*d + 2*d, -2*d = 2*f - 72. Let u = z + f. Is 11 a factor of u?
False
Let v(l) = 6*l + 13 + 0 + 126*l**2 - 125*l**2. Does 2 divide v(-6)?
False
Let n = -1135 - -1697. Is 31 a factor of n?
False
Suppose -50*t + 54*t - 8303 = -5*k, -2*k + 3324 = 3*t. Is k a multiple of 21?
True
Does 76 divide ((-171)/12)/(8/(-256))?
True
Let t(g) = 16*g**2 - 7*g + 19. Let h be t(5). Let s = h + -135. Is s a multiple of 24?
False
Suppose -5*m + 5*t + 690 = 0, -m + 2*t - 153 = -2*m. Is 13 a factor of m?
True
Suppose 4*z + 5*y - 31 = 0, 35 = 5*z + 3*y + 2*y. Suppose 674 = z*s - 22. Does 16 divide s?
False
Let x(s) be the first derivative of s**4/4 - s**3/3 + s**2/2 + s + 3. Let v be x(3). Suppose 3*j - 82 = -v. Does 5 divide j?
True
Let o(m) = 939*m**2 + 4*m + 3. Does 8 divide o(-1)?
False
Suppose s + 42 = 2*s. Suppose -5*g + s = -288. Suppose 3*a = 4*j + g - 14, a = -j + 29. Is a a multiple of 8?
True
Let j(z) = -z**3 - 22*z**2 - 20*z + 24. Let v be j(-21). Suppose 99 = 6*h + v*h. Is h a multiple of 11?
True
Suppose m = -0*m + 2. Suppose 0 = m*r - 4*r + 14. Does 3 divide r?
False
Let a(z) = -z - 3. Let h be a(-7). Let u be 0/h*3/12. Suppose u = -2*p - b + 199, -4*b - 122 = p - 2*p. Is p a multiple of 34?
True
Let i be 36/(-6)*2/(-4). Let k(z) = z**2 - z - 3. Let o be k(i). Suppose f + 4*j = 62, 0*f - f - o*j = -61. Is 14 a factor of f?
False
Let l(p) = -p - 2. Let z = 17 - 20. Let u be l(z). Is 18 a factor of u/((-269)/(-67) + -4)?
False
Suppose 5*m + 60 = -2*x, 2*m - 7*m = -5*x + 60. Let i = -2 + m. Let z = i + 25. Does 11 divide z?
True
Suppose 0*b - 6 = -3*b, 4*j + 4*b = 0. Let i(g) = 14*g**2. Does 14 divide i(j)?
True
Does 30 divide 74/518 + 12305/7?
False
Suppose 0 = 4*l - 5*a - 24, 0 = -l - l + 4*a + 12. Suppose -635 = -l*m + m. Does 19 divide m?
False
Let z = -30 - -41. Suppose 0 = -7*m + z*m - 644. Does 23 divide m?
True
Let n(p) = p**2 - 4*p. Is n(-5) even?
False
Is (297/(-54))/(3/(-126)) a multiple of 7?
True
Suppose -4*w + 2*w = -4. Let d(h) = -w + h**2 - 10*h + 2*h + 0. Does 2 divide d(9)?
False
Let r = -19 + 25. Suppose -123 + 15 = -r*o. Is o a multiple of 6?
True
Suppose -4832 = -40*b + 39*b. Is 13 a factor of b?
False
Suppose 6*b + 21 = 711. Is 14 a factor of b?
False
Suppose 0 = 8*c - 3*c + 105. Suppose 112 = -3*m + 2*w, 10 = -m - 3*w - 9. Let y = c - m. Is 5 a factor of y?
False
Let q(z) = 3*z**2 + 10*z - 31. Let o(n) = -n**2 - 3*n + 10. Let a(w) = -7*o(w) - 2*q(w). Does 12 divide a(-8)?
True
Let s be (-2)/(-1)*(95 - 9) + 2. Suppose h = -2*h + s. Is h a multiple of 29?
True
Let w(s) = -439*s + 1. Let y be w(2). Let n = 409 + y. Does 13 divide (-2)/6*n/4?
True
Suppose -r = 4*p - 1627, -4*r = -4*p + r + 1657. Is p a multiple of 12?
True
Let j = -188 - -207. Does 11 divide j?
False
Let s(r) = -155*r - 4. Let u be s(-2). Let m = -182 + u. Suppose 4*t + 20 = m. Is 16 a factor of t?
False
Let l(c) = -51*c**3 + 7*c**2 - 3*c - 1. Is l(-2) a multiple of 63?
True
Let x = 98 + -90. Let j(t) = 6*t - 40. Is j(x) a multiple of 2?
True
Let o = 1529 + -905. Does 52 divide o?
True
Suppose 2*q = 3*s + 54, -2*q - 14 - 40 = 3*s. Let m = s - -18. Is 1*(m - -66) - -3 a multiple of 23?
True
Let s(h) = -h - 1. Let d(y) = y - 8. Let z(n) = d(n) - 3*s(n). Let p(b) = -4*b + 5. Let m(v) = -5*p(v) - 6*z(v). Does 6 divide m(-5)?
False
Let i = 239 - -17. Does 8 divide i?
True
Let b be (2 - 24/9)*282. Let h = b - -292. Suppose -h = -n - 3*n. Is 13 a factor of n?
True
Suppose 0 = -g + 4*d - 5, 5*g = 3*d + 2*d + 5. Suppose 0 = g*l - 60 - 36. Let b = 14 + l. Is b a multiple of 19?
False
Suppose 4 + 4 = 4*k. Suppose -2*w - k = 6. Does 10 divide (0 - w)/(-4) - -19?
False
Let k = -10 + 15. Suppose 2*h + 13 = v, -h = -3*v - k*h - 11. Suppose -44 = -v*n + n. Is 9 a factor of n?
False
Suppose -2*j - 1160 = -0*c - 2*c, 25 = 5*j. Is 12 a factor of c?
False
Let v(g) = g**2 - 7*g + 8. Let y be v(4). Let j = -3 + 2. Is 23 a factor of (356/y)/(j + 0)?
False
Suppose -5*t - 22 + 42 = 0. Suppose -4*i = -5*v - 325, -t*i = -v - 146 - 159. Does 25 divide i?
True
Is 20/(-110) - (-21254)/11 a multiple of 21?
True
Let l be (1 - (-1 + 3))*-12. Does 16 divide (3 - l/6)*(63 + 1)?
True
Suppose x + 2*o + 2*o = 30