= j + 10. Suppose -3*f - 5*u = -4*f + 35, -3*u - 35 = -2*f. Let z = f + j. Is z a multiple of 2?
False
Suppose 4*j = -2*z + 12, -2 + 14 = j - 4*z. Is j even?
True
Suppose 5*h - 23 = 87. Let s = 5 - h. Let p = s - -33. Does 10 divide p?
False
Suppose 4 = 3*w - 5. Suppose -65 - 98 = -4*r - v, 3*r - 2*v - 114 = 0. Suppose r = t - w*q, 0 = 2*t - t - 4*q - 43. Is t a multiple of 19?
False
Suppose 77 + 106 = 3*t + 3*z, 5*t - 2*z - 298 = 0. Does 18 divide t?
False
Let t = -65 - -113. Let i = 116 - t. Is i a multiple of 34?
True
Let a(h) = -4*h + 10. Let k(x) = x**2 - 14*x + 17. Let q be 1/(-2) - 25/(-2). Let o be k(q). Is a(o) a multiple of 14?
False
Let g(l) be the second derivative of -2*l**3 - 13*l**2/2 + 2*l. Let n be g(13). Let z = -121 - n. Is z a multiple of 19?
False
Let x(v) = 4*v**2 + 3*v**2 - v + 32 - 6*v**2 - 2*v**2. Suppose -u = -3*c + 1, -3 = 5*c + 2*u - 1. Is 13 a factor of x(c)?
False
Let s = 7 - 9. Let j be -3 + s + 2 - -6. Suppose j*x + 0*x - 120 = 0. Is 20 a factor of x?
True
Let s(g) = g**3 + 8*g**2 + 5*g - 10. Let w be s(-7). Suppose -u = -2*t - 1, -w*u - 5*t + 49 = -4*t. Let b(c) = 3*c + 13. Does 25 divide b(u)?
False
Let c(r) = 2*r + 7*r - 2*r - 2*r. Is 4 a factor of c(1)?
False
Suppose -3*i - 2*c = 2, -c + 0 - 1 = 4*i. Suppose 0 = -i*v + v - 105. Suppose -2*u - 3*u = -v. Is 7 a factor of u?
True
Suppose 48 = 2*w - 5*t - 0*t, -2*w + 48 = 4*t. Is 8 a factor of w?
True
Let h = 10 - 5. Suppose h*b = 4*o + 1, 4*o - 2 = 3*b - o. Does 15 divide (1 - 2)/(b/(-30))?
True
Suppose -2*d + 12 - 2 = 0. Let o be 0/1 + d + -1. Suppose 10 = 2*l - o. Is l a multiple of 5?
False
Let v(c) = c**3 + 6*c**2 - 8*c + 8. Suppose f = -2*l - 14, 4*l + 4*f - 6*f + 28 = 0. Let d be v(l). Suppose d = -0*b + b. Is 5 a factor of b?
True
Suppose 5*z - 2*d = 439, -6*d = -5*z - 2*d + 433. Does 16 divide z?
False
Suppose 2*n - 4*f = 1 + 13, 0 = -n + 3*f + 11. Let d be ((-3)/(-6))/(n/(-4)). Suppose -4*b - d = -166. Is 13 a factor of b?
False
Suppose -30 = -8*g + 3*g. Let m be (-88)/6 + 4/g. Does 6 divide (3/(-6))/(1/m)?
False
Let i be (-3)/(-3) - (-1 - -2). Suppose i*z - 36 = -2*z. Does 6 divide z?
True
Let q = -7 - -16. Let j(f) = -7*f + 9. Let i(a) = -a + 1. Let w(o) = 4*i(o) - j(o). Is w(q) a multiple of 9?
False
Suppose 7 = 4*g - 5. Suppose -o - 2 = -0*o, 5*o - 233 = -3*f. Suppose -4*b + g = -f. Is 16 a factor of b?
False
Let i(s) = 10*s**2 + 2*s - 6. Is 11 a factor of i(2)?
False
Let h(k) = k**2 - 5*k + 4. Let z be h(5). Suppose z - 12 = -2*t. Is 16 a factor of t/18 - (-842)/18?
False
Suppose 2*n + 3*n = 55. Let g = n - 20. Let t = 41 + g. Is 12 a factor of t?
False
Let h(n) be the first derivative of -47*n**2 + n + 1. Let w be h(-1). Suppose 3*k = w - 5. Is 15 a factor of k?
True
Let w(x) = -2*x**2 + 34. Does 8 divide w(0)?
False
Let c(w) = w**2 + 5*w + 8. Let q(g) = -2*g**2 - 11*g - 16. Let o(k) = 7*c(k) + 4*q(k). Does 3 divide o(-7)?
True
Suppose g = 2*g + 139. Let d = -99 - g. Is d a multiple of 11?
False
Let l(z) = -z**3 - z + 1. Let a be l(3). Let q = 40 + a. Is q a multiple of 5?
False
Let c = -63 - -327. Is 19 a factor of (c/15)/(-2)*-5?
False
Suppose -6 = -2*i - 2. Let n = i - 0. Let m = 10 - n. Does 8 divide m?
True
Suppose -5*l = -2*p + 32, -p + 6*l - 2*l = -13. Suppose 0*v + p = v. Is 21 a factor of v?
True
Suppose -22 = -2*r + 3*s, -3*r - 15 = -2*r + 5*s. Suppose 5*m = 2*k + 96, 0 = 5*m - 5*k - r - 85. Suppose -4 + m = 2*h. Is h a multiple of 4?
True
Let u be 26/6 + 12/18. Suppose 5*m - 100 = -5*g, -6*g = -5*g + 2*m - 17. Suppose -u*c = -g + 3. Does 4 divide c?
True
Let l = 19 + -9. Is l a multiple of 7?
False
Let y(n) = n**2 + n - 2. Let h be y(-3). Let b = h - -1. Let z(t) = t**3 - 4*t**2 + 3*t - 1. Does 10 divide z(b)?
False
Suppose 49*o = 54*o - 1350. Is 15 a factor of o?
True
Let r(g) = 15*g - 1. Let h(n) = n**3 - 11*n**2 + 3. Let s be h(11). Is r(s) a multiple of 15?
False
Suppose 19 = 5*l - 4*v + 1, -2*l + v = -6. Let f(s) = 9*s**2 + 2*s - 3. Does 14 divide f(l)?
False
Suppose 0 = -4*j - j + 710. Is 14 a factor of j?
False
Let m be (-1)/5 - 33/(-15). Is 3/(-1) + (m - -38) a multiple of 15?
False
Suppose -2*g = -5*j - 6, g = 3*g - 2*j - 6. Suppose 5*f - 12 = g. Does 2 divide f?
False
Let p be (1 - 14/4)*-2. Suppose 0 = -2*l + s - 3, 3*l + p = -l + s. Is 27/((2/(-2))/l) a multiple of 14?
False
Let g(v) = v**2 + 3*v - 8. Let n be g(-4). Let s be 2/(-8) + 3/(-4). Is 9 a factor of 9*s*(n - -2)?
True
Let n = 33 - 5. Suppose -n = -5*t + 57. Suppose 10 + t = 3*m. Is m a multiple of 9?
True
Does 5 divide 14/(-2)*54/(-21)?
False
Is (1 + -5)/((-2)/4) even?
True
Let z(s) = -s + 5. Let h be z(4). Is 20 a factor of 1 - (h*-160)/4?
False
Suppose -c + 2*c + 5*k = 64, 4*k = -2*c + 152. Suppose -a - c = a. Does 14 divide ((-4)/(-6))/((-2)/a)?
True
Suppose -58*o - 415 = -63*o. Is 6 a factor of o?
False
Let j(f) = 4*f - 12. Does 14 divide j(21)?
False
Let x be -2 - (-5 + 1) - -2. Suppose s - 2*b = 10, -2*b = -x*s + s + 38. Is s a multiple of 7?
True
Let u(b) = -3*b - 1 + 4*b + 12. Is u(-7) a multiple of 4?
True
Suppose 1 = 2*q - 5. Let d(h) = 2*h**2 - 4*h + 1. Does 7 divide d(q)?
True
Let k be (-21)/6*(-12)/14. Suppose -2*f = -2*d + 40, -k*d + 3*f = 2*f - 58. Is d a multiple of 6?
False
Suppose -6*m + 8*m = 28. Is 3 a factor of m?
False
Suppose 0 = -3*g + y + 13, 2*g - 3*y - 15 = -g. Is 7 a factor of -13*(-4)/8*g?
False
Let s be (1 - 4) + -8 + 13. Is 17 + 2 + -1 + s a multiple of 10?
True
Let h be (-32)/6*(2 + 4). Let t = 51 + h. Is 10 a factor of t?
False
Let b be 0 - (1 + -1 + -2). Suppose -g = -0 - b. Suppose n - 75 = -g*n. Is n a multiple of 15?
False
Let z be 2/(-7) - 116/(-14). Let n be (-1)/3 - (-40)/(-6). Let l = z - n. Is l a multiple of 15?
True
Suppose 0 = -3*z + z + 198. Is 18 a factor of z?
False
Let j(b) = -9*b - 1. Is j(-2) a multiple of 5?
False
Let l(o) = -9*o + 2. Let q be l(2). Let f = -8 - q. Does 8 divide f?
True
Let q be 790/6 - 1/(-3). Suppose -2*k = -3*d - 76, -d = -6*k + 2*k + q. Does 9 divide k?
False
Let r = 1 + -1. Suppose 0 = h - 5*y + 4*y - 8, h - 4*y - 14 = r. Is 5 a factor of h?
False
Let r(d) = -d**2 + 3*d + 3. Is r(3) a multiple of 2?
False
Is 3 a factor of (-66)/(-15)*15/(-12)*-2?
False
Suppose 2*v + 643 = 3*u + v, 4*v = -4*u + 836. Suppose 4*f - u = -77. Does 17 divide f?
True
Let g be 9/12 - 6/8. Suppose 10 = -g*h + 5*h. Suppose 3*t - 120 = -t + 2*z, -h*z = -t + 30. Does 15 divide t?
True
Let a(b) = 3*b + 6. Is 9 a factor of a(4)?
True
Suppose 15 = -5*h, 0*h = 2*y - 2*h - 16. Suppose 0 = 5*n + 4*d - 210, -2*d - 210 = -5*n - y*d. Does 21 divide n?
True
Let t be 8/(-6)*(-5 + 2). Let m(o) be the first derivative of o**3/3 - 2*o**2 + 6*o - 1. Is 3 a factor of m(t)?
True
Is 243/(-18)*32/(-6) a multiple of 11?
False
Let i(v) = -v**3 + 10*v**2 + 5*v + 13. Is 15 a factor of i(7)?
True
Let z = 2 + -9. Let a = 11 + z. Suppose -2*f - w - 26 = -a*f, 4*f - 3*w - 48 = 0. Is f a multiple of 9?
False
Suppose 5*x + 5*m - 30 = m, 3*x + m = 11. Suppose 0 = d + x*d - 24. Let f = 2 + d. Is 5 a factor of f?
True
Let d = 248 - 175. Suppose -5*h = -3*o - h + d, 3*h = -o + 7. Is 7 a factor of o?
False
Let c be 40/8 + 2*1. Is 22 a factor of (c/2)/((-2)/(-28))?
False
Let i(r) = -7*r**3 - 3*r**2 + 5*r - 11. Let s(j) = -20*j**3 - 9*j**2 + 15*j - 32. Let z(u) = -17*i(u) + 6*s(u). Does 11 divide z(-5)?
False
Let i(f) = 10*f**2 + 4*f**3 - 10*f**2. Let l be i(-2). Is 12 a factor of (-2)/((-2)/l*-2)?
False
Suppose 5*a = -2*g + 11, -5*a = 4*g - 6 - 1. Suppose -a*n + n = 0. Let p(k) = k + 7. Is p(n) a multiple of 3?
False
Let v = -3 - -2. Let i = v - -3. Suppose -3*x + i + 13 = 0. Is x a multiple of 3?
False
Let a(g) = -7*g**2 + 9*g - 11. Let d(m) = 20*m**2 - 27*m + 32. Let u(z) = -17*a(z) - 6*d(z). Is 13 a factor of u(6)?
True
Suppose 21 + 9 = z. Is 6 a factor of z?
True
Let h(y) = 3*y**3 - y**2 - 4*y + 1. Is 4 a factor of h(2)?
False
Suppose 771 = -0*b + 3*b. Suppose 32 = -5*w + b. Is w a multiple of 15?
True
Let y be (28/(-35))/((-2)/5). Suppose -3*t - 5*v + 65 = 0, 3*t = 2*t - 5*v + 35. Let p = t - y. Is 13 a factor of p?
True
Suppose -4*q + 5*x - 12 = 0, -2*x = -q - 4*x + 10. Let o(j) = -j + q*j + 0*j. Is o(3) a multiple of 2?
False
Does 5 divide (-1428)/(-13) + (-2)/(-13)?
True
Suppose -h = d - 96 - 25, 115 = d - h. Suppose -d = -4*z + 34. Is z a m