ple of 13?
False
Suppose 0 = -2*f + 5*f. Suppose 4*k - r + 5 = -14, 4*r + 20 = f. Is 608/20 - k/10 a multiple of 20?
False
Let x = 2 + 2. Suppose f - 76 = -f - x*r, 3*f - r - 86 = 0. Is 15 a factor of f?
True
Suppose 7 + 2 = -a. Let k be -120*(33/a - -3). Suppose -k = -4*j - 5*b, 3*j + 5*b = 6*b + 60. Is 11 a factor of j?
False
Let m(q) = 31*q**3 - q**2 - q - 1. Let x be m(-1). Let g = 62 + x. Is 15 a factor of g?
True
Let u(x) = -101*x - 2. Let n be u(-1). Suppose n = 4*a + 3*z, -5*a + z - 5*z + 125 = 0. Does 9 divide a?
False
Let l(s) = s**3 - 12*s**2 + 12*s + 15. Is 6 a factor of l(11)?
False
Suppose i - 23 = -3. Is i a multiple of 11?
False
Let g(h) = 6*h - 1. Let i be g(-6). Let b = i - -127. Suppose -3*r - 2*r = -b. Does 6 divide r?
True
Let v(s) be the first derivative of -s**4/4 - 2*s**3/3 + s**2 - 3*s + 2. Let t be v(-3). Suppose t = -5*h + 4*a + 93, h - 3*a = 2*h - 11. Is h a multiple of 10?
False
Let v(u) be the second derivative of -2*u - 1/6*u**3 + 0 - 1/2*u**2. Is 3 a factor of v(-6)?
False
Let c = 9 - 4. Let h = c - 3. Suppose -h*n - 13 = -3*n. Does 13 divide n?
True
Let j = -148 - -261. Suppose -74 = -2*u - 2*f, 0 = 4*u + 2*f - j - 25. Does 13 divide u?
False
Let z = 4 + -5. Let b be 1 - (-2 + 2 + z). Is b*-1 - (-52)/2 a multiple of 13?
False
Let k be 1/1*(-6)/(-2). Let q = 7 - k. Suppose -5*j - 82 = -q*c, 3*j + 0*j = 3*c - 60. Is 18 a factor of c?
True
Suppose 0 = 2*q - 3 - 37. Does 7 divide q?
False
Let r(t) = t**3 + 7*t**2 + 3*t + 7. Is r(-5) a multiple of 5?
False
Suppose 0 = -2*n - 3*a + 155, n + 2*n = 3*a + 210. Is 18 a factor of n?
False
Suppose 0 = 2*k + 2*h - 10, 5*k + 3 + 0 = 2*h. Let d = -7 + 5. Does 9 divide (1 - k) + (d - -17)?
False
Suppose -4 - 6 = 5*q. Is -2 + 17 + (-4)/q a multiple of 17?
True
Let f = 9 - 5. Suppose f*s - 6*s = 20. Is (-15)/s*(-20)/(-3) a multiple of 4?
False
Does 12 divide (-9)/27 - (-109)/3?
True
Does 12 divide (-7518)/(-54) - (0 + (-2)/(-9))?
False
Let i(a) = -a**3 + 8*a**2 + 2*a + 5. Let p be i(7). Suppose -5*o + 12 = -p. Suppose o = -3*m + 46. Does 5 divide m?
True
Let p = 6 - -12. Is p a multiple of 9?
True
Let c(u) = u**2 + 7*u + 9. Is c(-7) a multiple of 5?
False
Let r be 4/8 + (-82)/4. Let u = r - -5. Is 0/(-2) - -1 - u a multiple of 16?
True
Let a(q) be the second derivative of q**3/2 - 3*q. Does 6 divide a(4)?
True
Let l = 1 - -51. Is 13 a factor of l?
True
Suppose -7 = -m + 16. Is 21 a factor of m?
False
Let g be 1/(-1) + -1 + 1. Let r be 2 + g*(10 + 2). Is 2 a factor of (-5 - 0)*12/r?
True
Let y(t) be the first derivative of -t**2/2 - 5*t + 2. Let r be y(-7). Let m = r + 2. Does 4 divide m?
True
Let a = 21 - -20. Is a a multiple of 10?
False
Let w(o) = -o**3 - 3*o**2 + 3*o - 4. Let s be w(-4). Does 10 divide -25*((-8)/20 - s)?
True
Suppose 6 - 2 = -o. Let m = 1 + o. Is 5 a factor of ((-3)/(m/5))/1?
True
Suppose -2*n + 11 = -1. Suppose l = n*l - 210. Is l a multiple of 14?
True
Let y = -4 - -5. Let a(g) = 4*g - y + 13*g**2 - 3*g - 3*g**2. Does 7 divide a(1)?
False
Suppose -5*g = -8*g - 654. Let h = -145 - g. Suppose -h + 1 = -4*o. Does 12 divide o?
False
Suppose 3*u - 49 + 7 = 0. Is 27 a factor of (-412)/(-9) - u/(-63)?
False
Suppose -i + 100 = -4*m + 675, 3*m = 3*i + 429. Suppose 0*u - m = -4*u + 4*w, 4*u + 5*w = 189. Does 13 divide u?
False
Suppose -16 - 3 = 3*b - t, 3*b + 17 = -t. Is ((-8)/b)/2*6 even?
True
Let z(f) = -47*f**3 + 1. Is z(-1) a multiple of 16?
True
Let q(m) = 9*m**3 + 3*m - 4. Is q(2) a multiple of 37?
True
Let o(b) = 12*b - 6. Let y be o(-5). Let w = -41 - y. Is 13 a factor of w?
False
Let v be 21 - (1 + -3) - -2. Suppose -3*g = -4*z + 101 + 10, -v = 5*g. Does 16 divide z?
False
Does 11 divide (-3)/2*(-8 - 2)?
False
Suppose -3*i + 70 + 74 = 0. Does 16 divide i?
True
Let a = -31 + 64. Is a a multiple of 19?
False
Let t(b) = -b**2 - b - 20. Let p be t(0). Let a = p + 38. Is 9 a factor of a?
True
Suppose -4 = -c - 0*c. Suppose 3*q = -2*n + 46, -c*n + 4*q = n - 92. Let d = 54 - n. Is 13 a factor of d?
False
Let x(q) = 5*q**2 + 4*q - 3. Let u be x(2). Suppose n - u = -4*n. Does 5 divide n?
True
Let g = 34 + -14. Is 2 a factor of g?
True
Let u(j) = j**2 - 11*j - 17. Is 7 a factor of u(14)?
False
Suppose 9 = -x + 4*x. Suppose 2*h - 3*o = 25, 4*o + x = 7. Suppose -2*c + h = -2. Does 3 divide c?
False
Let l(q) = -q**2 - 2*q - 1. Let n be l(-5). Is (-34)/(-8) + 4/n a multiple of 4?
True
Let u(g) be the second derivative of 2*g**4/3 - g**3/6 - 3*g. Is u(3) a multiple of 20?
False
Let t(s) = -s**2 - 2*s - 6. Let d(h) = -2*h - 7. Let v(i) = 5*d(i) - 6*t(i). Does 14 divide v(-3)?
False
Let g = -160 - -226. Is g a multiple of 33?
True
Does 16 divide 1 + 92*2/4?
False
Let i be 8/(-4 + 8) - 3. Let d = 13 + i. Is d a multiple of 12?
True
Let y = -1 - -4. Let z = 7 - y. Suppose -z*l + 16 = 0, h - 2*l - 37 = -2*h. Is h a multiple of 15?
True
Let k = -61 - -139. Suppose -3 + 19 = 4*l. Suppose y = l*a - y - k, 36 = 3*a + 3*y. Does 11 divide a?
False
Let y(z) = 7 - 4*z + 5 - 2 + 3*z. Let s be y(6). Let a = 0 + s. Is 4 a factor of a?
True
Let h = -9 - -21. Suppose -5*n + h = -n. Suppose n*b - 32 = -2*c, 0*b + 4*b - c = 39. Is 8 a factor of b?
False
Let m(q) = 7*q**2 - 7*q + 3. Let r(y) = -3*y**2 + 4*y - 1. Let j(c) = -4*m(c) - 9*r(c). Is 4 a factor of j(-7)?
True
Suppose 8*s - 840 = 3*s. Does 12 divide s?
True
Suppose 164 = 4*f + 5*c, 5*f - 2*c - 200 = -7*c. Is 15 a factor of f?
False
Let l be (-10)/(-35) + 23/(-7). Let c be -2*(3/l + 0). Suppose -q - c*q + 42 = 0. Is 5 a factor of q?
False
Let o(l) = 2*l**2 - 4*l + 6. Is o(4) a multiple of 6?
False
Let u = -9 - -13. Suppose -2*a + u*a = 50. Does 9 divide a?
False
Let z(l) = -4*l + 2 + 0*l + 0 + 11*l**2. Does 19 divide z(2)?
True
Let b be -1 + (-3)/(9/69). Let c = -25 + 35. Let o = c - b. Is 14 a factor of o?
False
Let w(t) = -t - 3. Let m be w(-3). Let j = 3 + m. Is j a multiple of 2?
False
Suppose -4*o + 2 = -2*o, 5*n - 24 = o. Suppose -y + 3*g = -n, g + 0*g = -1. Suppose 0 = y*q - 3*a - 33, 5*q + 4*a - 29 = 88. Does 8 divide q?
False
Suppose -12 = -4*y, 0 = -4*g + y + y - 22. Does 4 divide 0*3/9 - g?
True
Suppose -2*o - o = -6. Suppose o*g - 28 = 10. Is g a multiple of 19?
True
Suppose q = 3*m + 9, -3*m - 2*q = -4*q + 12. Let s be 4 + -3 - m*1. Suppose -16 = -d - s*d. Does 2 divide d?
True
Suppose -4*c = 1 - 5. Suppose 0 = -4*z + c + 23. Suppose -i = 3*l, 0 = -2*i - 4*l + z - 0. Is i a multiple of 3?
True
Suppose -3*v = -v - 4. Suppose 0 = -a + 5*z - 14 - 0, v*a = -2*z + 20. Let g(x) = x**3 - 7*x**2 + 6*x + 4. Is g(a) even?
True
Is -2 + (3 - 28)*-3 a multiple of 23?
False
Let z(i) = i**2 + 3*i - 1. Let b be z(-4). Suppose -b*u + 7 = -62. Does 9 divide u?
False
Let a be (22 - -1) + 0 + 1. Suppose a + 108 = 4*f. Let o = f - 20. Is 13 a factor of o?
True
Suppose 0 = 4*m + w - 7, 5*w - 12 = -37. Suppose 0*i = 3*i + m. Let d(l) = 27*l**2 + l. Is d(i) a multiple of 13?
True
Let w be (0 - -3) + 2 + -49. Let b = w + 62. Does 8 divide b?
False
Suppose 9*m - 6*m + 93 = 0. Let f = 58 + m. Is 13 a factor of f?
False
Does 19 divide -2 + (-5)/(10/(-118))?
True
Suppose 2*h + 29 = z, -5*z - 4*h - 15 + 202 = 0. Is z a multiple of 7?
True
Suppose w - 5*d = 2*w - 130, d = 5. Is w a multiple of 35?
True
Let h = 6 + 2. Suppose -8*k + h = -6*k. Suppose 4*v = -k*f + 84, 3*v - 7*v = -8. Is 19 a factor of f?
True
Suppose 4*h + 3*v = -6, 8 = -4*h - 4*v - 0. Suppose h = 3*p - 2*p - 14. Does 5 divide p?
False
Suppose 5*z + l - 310 = -4*l, 303 = 5*z - 2*l. Is 29 a factor of z?
False
Let d(n) = 6*n**2 - n + 1. Let u be d(1). Let j be 15/10*8/u. Suppose j*q + 107 = 3*k, -2*k + 4*k + 2*q = 68. Is k a multiple of 9?
False
Suppose 0 = -3*p + 29 + 16. Does 7 divide p?
False
Let f = -21 - -39. Let u = -14 + f. Does 4 divide u?
True
Does 4 divide (-192)/(-18)*6/4?
True
Suppose 5*b + 1128 = -3*i, 0*i - 4*i = 4. Is 25 a factor of b/20*(-4)/1?
False
Suppose -2*i + 66 + 27 = q, 4*q - i - 327 = 0. Is 29 a factor of q?
False
Let b(x) = -x**2 - x + 1. Let o(q) = 4*q**2 - 2*q + 5. Let d(p) = 5*b(p) + o(p). Let k = -11 + 4. Does 5 divide d(k)?
True
Suppose h - 4*u + 12 = -h, -5*u = -15. Suppose h*p + 10 = -2*p. Let q(g) = g**2 + 3*g - 3. Is q(p) a multiple of 3?
False
Let k(d) = -2 + 2 + d**3 + 1 - d**2. Let b(j) = -5*j**3 - 2*j**2 - 2*j - 5. Let p(u) = -b(u) - 4*k(u). Is 13