28 - t. Is v even?
False
Suppose 0*g + 66 = -3*g. Let t = 62 + g. Suppose 2*z - 5*u - 19 - t = 0, -3 = u. Is 15 a factor of z?
False
Let c(w) = 12*w - 40. Let f be c(4). Let z be ((-8)/10)/(2/10). Let x = z + f. Is 3 a factor of x?
False
Let v(o) be the second derivative of 14*o**3/3 - 8*o**2 - 5*o. Let p be v(13). Suppose -128 = 4*h - p. Is 15 a factor of h?
False
Let y be (-12)/(-8)*(-2)/(-3). Let l(t) = 120*t**3 + t**2 - 2*t + 1. Let r be l(y). Suppose b - r = -4*d, -2*b - b = 2*d - 60. Does 15 divide d?
True
Let w = -1220 + 1680. Does 18 divide w?
False
Let g be 4/14 - (4 - (-396)/14). Let n = 148 + g. Is n a multiple of 29?
True
Let k(u) = u**3 + 10*u**2 - u + 27. Let g be k(-10). Suppose 7*a - 6*a = 5*o + g, a - 53 = o. Is 19 a factor of a?
True
Suppose -2*n + 1 = -1. Suppose 2 = 3*p - n. Is 2 a factor of 3/(-2)*(-3 - p)?
True
Suppose 4*w + r - 33 = 0, 5*r + 22 = 3*w + 3*r. Let h = -13 + w. Let m(a) = a**2 + 4*a. Is m(h) a multiple of 2?
False
Suppose 0 = -2*c + 3*u + 14, 0 = 3*u + u. Suppose c*h - 2*h - 425 = 0. Is h a multiple of 17?
True
Suppose -2659 = -4*p + 22*b - 19*b, 0 = 5*b - 15. Is p a multiple of 23?
True
Let m be 5/(10/(-4))*2. Let v = -58 + 108. Does 11 divide ((-680)/v)/(m/10)?
False
Suppose -171 = -5*z + 4*c, 2*z + 3*c = -2*c + 42. Suppose 0 = -z*d + 30*d + 180. Is d a multiple of 47?
False
Suppose -5*g = -19 + 49. Is (2/2 + (g - -6))*169 a multiple of 7?
False
Let s be 2 - (1 + (-1 - -2)). Suppose s = -u - 2 + 3. Does 10 divide 40 + (-3)/u - -3?
True
Suppose -2*c - 5*i = -824 - 831, 5*i + 1705 = 2*c. Is 42 a factor of c?
True
Let i(w) = -48*w + 525. Is i(5) a multiple of 4?
False
Suppose -1564*t + 1560*t = -64. Is 4 a factor of t?
True
Let l(w) = -w**3 + 12*w**2 - 21*w + 13. Let o be l(10). Suppose 4*p = -3*t + 484, -t - 477 = -4*t + o*p. Does 16 divide t?
True
Suppose -11 = 9*j - 2. Does 2 divide j*(-2)/(-5) + 1056/165?
True
Let g(r) = -4*r**2 + 6*r - 2. Let l be (-3)/((-6)/10) + 1. Let x be g(l). Let n = -59 - x. Is 12 a factor of n?
False
Let o(z) = -z**2 - 21*z + 35. Let c be o(-21). Let g = c + 9. Does 5 divide g?
False
Let l = -1142 + 1688. Does 14 divide l?
True
Suppose 2*z - v = 29, -v = -3*z + 2*v + 39. Does 4 divide z?
True
Suppose 20 = 4*m - 3*m - 4*h, -4*m - 5*h - 25 = 0. Suppose 0 = -w - m*w - 184. Is 23 a factor of -3*w/36*3?
True
Let f(q) = 18*q**2 + 3*q + 2. Is f(-2) a multiple of 33?
False
Let b = 29 + -24. Suppose b*m - 394 = 106. Does 25 divide m?
True
Suppose 4*u = 5*z + 412, 2*z - 220 = -2*u + z. Suppose 3 - 18 = -3*x. Suppose x*g - u = g. Is g a multiple of 14?
False
Let j(d) = -2*d**3 + 12*d**2 + 16*d - 7. Does 7 divide j(7)?
True
Is (-329015)/(-92) + 10/(-8) a multiple of 55?
True
Suppose -a - 6 = -11. Suppose 0 = -a*n + 2*u + 255, -3*u - 153 = 4*n - 7*n. Is 5 a factor of n?
False
Let x be 9/2 - (-1)/(-2). Let g = x + -1. Suppose -7*u = -g*u - 40. Does 10 divide u?
True
Suppose -3*r = -5*f + 91 + 63, -93 = -3*f + 2*r. Let u be (f + -5)*1/2. Suppose 0 = -4*z + u, -3*o = -z - 0*z - 9. Does 4 divide o?
True
Let c(h) = 9*h**2 + 10*h + 38. Is c(17) a multiple of 14?
False
Does 34 divide (-4732)/(-63) + -7 + 1/(-9)?
True
Let u(d) = d**2 - 5*d - 2. Let m be 0/(2/((-4)/(-2))). Suppose n = 2*s + 7, -4*s + n - 19 + 2 = m. Is 16 a factor of u(s)?
True
Suppose o - 1315 = 4*z, 12*o - 1336 = 11*o - 3*z. Is 33 a factor of o?
False
Let f be 34/6 + 4/(-6). Let q = 1 + f. Suppose -2*c - 66 = -g, -c + q = 2*c. Is g a multiple of 16?
False
Suppose 96828 = 28*w + 10028. Does 20 divide w?
True
Let c(v) be the first derivative of -2*v**2 - 2*v - 12. Let n be c(-1). Suppose 12 = 2*x - n*h, -5*h = 3*x - h - 4. Does 2 divide x?
True
Suppose 5*d = 5*z + 15, 2*d + 1 = -2*z + 7. Suppose 2*x + 62 - 336 = z. Is 12 a factor of x?
False
Let q = -103 + 216. Suppose -5*m + 3*v = -211, -4*m + m - 5*v = -q. Does 4 divide m?
False
Suppose -6*j - 3*v = -10*j + 3334, 0 = 3*j + 2*v - 2492. Is j a multiple of 16?
True
Is 10 a factor of 5462/18 - 192/432?
False
Suppose 5*n - 493 = 482. Let u = n + -27. Is 42 a factor of u?
True
Let j be 8/36*21*-3. Let h(f) be the second derivative of -f**3/6 - 2*f**2 - 6*f. Does 5 divide h(j)?
True
Let p(l) = 3*l**2 + l - 2. Let v(a) = -2*a**2 - 2*a + 1. Let h(y) = 4*p(y) + 5*v(y). Does 18 divide h(13)?
False
Let u(x) = -2*x + 9. Let y(k) = -k. Let b(p) = u(p) - 3*y(p). Let f be b(-5). Suppose -70 = -f*q + 110. Is q a multiple of 15?
True
Let w be (21/(-5))/((-3)/(-15)). Let k be (-11)/7 - (-9)/w. Is 28 a factor of k*(-1 + 109/(-2))?
False
Let c be (-7)/(-3) + (-8)/(-12). Suppose -2*u + 3 = -4*n + 5, -3*n - 6 = -c*u. Suppose 9 = n*l, o + 181 = 6*o - 3*l. Is 19 a factor of o?
True
Let q = -141 + 72. Let t = -56 - -62. Is (q/t)/(6/(-12)) a multiple of 12?
False
Let i = 2847 + -1086. Does 48 divide i?
False
Let f(k) = -k**3 - 3*k**2 + 2*k - 3. Let i be f(-3). Let g be ((-29)/3)/(3/i). Let v = g + -18. Is 11 a factor of v?
True
Let p(i) = 31*i**3 + i**2 + i - 1. Suppose -z + 23 = 3*r + 4, -2*r + 4*z = -8. Suppose -8*d + r*d = -2. Is 10 a factor of p(d)?
False
Let y(o) = 0 + 3*o - 26 - 4 + o**2 - 6*o. Is 4 a factor of y(9)?
True
Let l = -18 - -71. Is l even?
False
Suppose 5*n = -a - 86, 20 = -0*n - n - 3*a. Does 8 divide -2 - -3 - -1 - n?
False
Suppose -2*l - 155 = -1565. Is 35 a factor of l?
False
Suppose -4*g + 7410 = 6*g. Is 57 a factor of g?
True
Let r(z) = -4*z - 15. Let s(n) = -n - 6. Let a be s(-10). Suppose 6*x - a = -p + x, 2*x + 16 = -2*p. Is 12 a factor of r(p)?
False
Let i(v) = -10*v - 2. Let t(k) = 1. Let l(h) = -i(h) - 2*t(h). Let x be (2 - 5)/6*-6. Is l(x) a multiple of 13?
False
Let y = 1472 - 302. Is y a multiple of 13?
True
Let u be (-3 - -1)/((-6)/(-9)). Let q be (2 - (6 + u))*0. Is q + 1 + -1 - -2 a multiple of 2?
True
Let z be ((-135)/3)/(2/(-14)). Suppose -3*l = 2*l - z. Does 4 divide 8/3*l/14?
True
Let i(v) be the first derivative of 2*v**3/3 - 9*v + 7. Does 23 divide i(5)?
False
Let m(k) = k**2 - 12*k + 27. Let r be m(9). Suppose 4*p - p - 2*z - 136 = 0, r = 4*p - 4*z - 188. Is p a multiple of 7?
True
Let r = -5 + 10. Let s(x) = r - 4*x - 2*x + 13*x + 6*x. Does 22 divide s(3)?
True
Suppose -10*s = -7*s + 6. Does 6 divide (3/s)/((-5)/30)?
False
Let m = 1 - -2. Is 3 a factor of 1 + (36/3 - m)?
False
Let d(h) = h**2 - 9*h - 10. Let a be d(10). Let q be 2*(a - (-3)/(-6)). Does 29 divide 0 + q*(-116)/2?
True
Suppose -5*g + 5*s = -0 - 5, -5*g + 2*s + 20 = 0. Suppose -27 = -c + g. Is 11 a factor of c?
True
Suppose q - 6*j + j = 3, -2*q + 5*j - 9 = 0. Let t be 0/2*4/q. Suppose 2*o + 6 = t, 5*g - 294 = -o + 4*o. Is g a multiple of 15?
False
Let t(d) = -3*d**3 - 2*d**2 + 1. Let i be t(1). Is 30 + 12/i + 7 a multiple of 10?
False
Let n be (-1 + 7/4)*28. Suppose -t + 26 = -n. Is (t - (-3 - -3)) + -1 a multiple of 5?
False
Suppose -5*y - 3981 = 709. Is (-1 - 0)/(7/y) a multiple of 14?
False
Let q be (50/75)/((-2)/(-15)). Suppose 21 = g - q*s, -5*g + 65 + 0 = -5*s. Does 2 divide g?
False
Let i = 124 - 48. Is i a multiple of 27?
False
Let b = 18 - 18. Suppose b = -6*v + v. Is 11 a factor of -3 + v - -38 - 1?
False
Let j(w) = 3*w + 48. Does 5 divide j(-10)?
False
Let w(x) be the third derivative of -x**6/120 + x**5/6 - 7*x**4/24 - 9*x**3/2 - 5*x**2. Is 45 a factor of w(8)?
True
Let a(d) = -d**2 - 3*d + 4. Let n be a(-4). Suppose -4*c - 6 + 34 = n. Let w = c + 7. Is w a multiple of 4?
False
Suppose 1024 = 7*o + 170. Is 28 a factor of o?
False
Suppose -7*i = -616 - 2632. Does 65 divide i?
False
Suppose -7 = -4*d + o, -d + 0*o + 23 = 4*o. Suppose d*b - 43 = 20. Is b a multiple of 3?
True
Let m(h) = -h**3 + 12*h**2 + 4*h + 12. Let b = 18 + -6. Does 12 divide m(b)?
True
Suppose -3*a - 4 = -7*a, -4*n + a + 2187 = 0. Does 9 divide n?
False
Let l be 2*(1 + 92/(-8)). Let r = l + 71. Is r a multiple of 5?
True
Suppose -24 = -3*r - 5*y, -y = 4*r + y - 18. Suppose 3*p = -r*z + 222, 3*z = -z - 2*p + 304. Suppose 0 = -2*o + z + 40. Is o a multiple of 16?
False
Let n be 3 - 5 - -2*2. Let s(j) = -j**3 - 9*j**2 - 2*j - 16. Let k be s(-9). Suppose -n*o + 66 = k*h, 0*o + 5*o = h + 147. Is 17 a factor of o?
False
Suppose -2452 + 12244 = 17*z. Does 36 divide z?
True
Let h(x) = 20*x + 359. Does 9 divide h(-15)?
False
Let q(o) = 2*o**2 + 23*o + 158. Does 23 divide q(-29)?
True
Let c = 109 + -27. Suppose 4*u + c = 2*d, 0