False
Let y = 207 + -147. Is y a multiple of 28?
False
Suppose -v - 65 = -4*v - 5*r, -5*r - 135 = -5*v. Is v a multiple of 3?
False
Let u(a) = 2*a + 55. Is 23 a factor of u(11)?
False
Let r(h) = h - 3. Let n be r(5). Let m be 772/24 - n/12. Suppose -v + m = v. Does 13 divide v?
False
Suppose -4*a - 30 = -54. Is a a multiple of 6?
True
Let z be (4 - 1) + 2 + 0. Suppose -2*b = -5 - z. Is b a multiple of 5?
True
Let x(j) = 4*j**2 - 4*j + 2. Let v be x(7). Suppose -3*o + 181 - 55 = -5*k, 5*k - v = -5*o. Suppose 3*w - 5*m = -0*w + o, -5*w + 73 = 3*m. Is 7 a factor of w?
True
Let v be 0/1 - (-1 - -1). Suppose g - 4*i = -g - 6, -2*g + i - 6 = v. Let o = 3 - g. Does 3 divide o?
True
Suppose 3*f - 7*f + 244 = 0. Is 2 a factor of f?
False
Suppose -l = -0*l - 20. Suppose 4*j - 3*j - 2*s - 14 = 0, l = -4*s. Suppose 0 = n + c - 3*c - 45, j*n - 4*c = 188. Is 17 a factor of n?
False
Suppose 401 = 3*z + w, 3*z + 0*w - 2*w - 413 = 0. Is 17 a factor of z?
False
Let y(i) = 2*i - 9. Let t(j) = -j + 8. Let x(g) = 4*t(g) + 3*y(g). Let z be (-14)/(-2) - (-4 - -5). Does 15 divide x(z)?
False
Let k = -4 + 3. Let r be 3/(-3) - k - -28. Suppose 0 = 2*n - r + 8. Is n a multiple of 5?
True
Let j(u) = 3*u + 7*u**2 - 3*u + 27*u**2. Is 17 a factor of j(1)?
True
Let x(m) be the second derivative of -4*m**3/3 - m**2 + 3*m. Let c be (-1)/(((-4)/(-6))/2). Is 10 a factor of x(c)?
False
Let z be (12/10)/((-9)/(-240)). Let j = 9 + -1. Suppose j + z = m. Does 20 divide m?
True
Let j(g) = g + 1. Let o be j(-6). Let c be o/10 - (-9)/2. Suppose c*f - 80 = -5*y, f - 61 = -3*y - 4*f. Does 12 divide y?
True
Suppose -4*d + 75 = -61. Is 17 a factor of d?
True
Suppose 5*c + 19 = -1. Is 18 a factor of 374/12 - c/(-24)?
False
Let p = -24 + 16. Is (-246)/p + (-1)/(-4) a multiple of 18?
False
Let v(q) = -97*q**2 + 2*q + 2. Let k be v(-1). Let n = -45 - k. Is n a multiple of 13?
True
Let p = -15 + 28. Is p even?
False
Let f be 6/(-27) + 2/9. Suppose -2*h - 2*a - 134 = 0, f = 5*h - 10*h - 2*a - 329. Let b = h + 96. Is 19 a factor of b?
False
Suppose q - 56 = -3*q. Is q a multiple of 4?
False
Suppose -s + 27 = 2*r, 0 = 5*r - 3*s - 53 - 31. Does 15 divide r?
True
Let b(u) = -2*u**2 - 5*u - 2. Let n be b(-4). Let s = -12 - n. Is s even?
True
Let r = -316 - -442. Is r a multiple of 21?
True
Suppose -3*j = -12 - 3. Let m be 4/(3 - j) - 6. Let z = m - -38. Does 10 divide z?
True
Let h = -8 + 13. Let u(i) = 11 - h*i - 12 + i. Is 7 a factor of u(-3)?
False
Does 8 divide (-182)/(-3) + (-8)/(-6)?
False
Let j = -62 - -29. Let z = j - -94. Let l = -35 + z. Does 13 divide l?
True
Let o = -15 + 7. Let x(p) = -p + 1. Is 9 a factor of x(o)?
True
Let l(p) = -10*p - 2. Let w(a) = -a. Let c(s) = -2*l(s) - 6*w(s). Let z be c(-3). Let y = z - -108. Is 17 a factor of y?
True
Suppose 4*u = -108 + 648. Is 35 a factor of u?
False
Let u be (-1 - 4)/(2/(-6)). Suppose i = -i + 6. Suppose -2*h = 2*r - u + 3, -19 = -i*h - 4*r. Does 2 divide h?
False
Is 13 a factor of (6/(-9))/((-2)/93)?
False
Let m be (-1 + -3)*(-4)/16. Let r = m - -24. Does 15 divide r?
False
Suppose 15 = -5*o, -168 = -5*u + 3*o - 44. Is u a multiple of 8?
False
Suppose 3*s - 2*k = 52, 9*k - 4*k - 22 = -2*s. Does 16 divide s?
True
Let i(a) = 7*a**3 - a**2 + 2*a - 1. Let d be i(1). Does 3 divide 51/d + (-10)/35?
False
Let c(d) = 3*d**2 - 2 + 0*d**2 - 2*d**2 - 3*d + 2*d. Let m be c(3). Suppose 35 = -m*l + 99. Is l a multiple of 16?
True
Let u(m) = -m**3 + m**2 + 2*m - 3. Is 7 a factor of u(-4)?
False
Let a(g) be the third derivative of -1/120*g**6 + 3/8*g**4 + 0*g**3 + 0 + 3*g**2 + 0*g - 3/20*g**5. Does 4 divide a(-10)?
False
Let o(z) = 2*z**2 + 37. Is o(0) a multiple of 14?
False
Let z = -116 - -240. Is z a multiple of 14?
False
Suppose 0 = 5*m + 2 - 47. Suppose -5*h + 5*o - m - 6 = 0, -o = -3*h - 9. Does 18 divide 134*((-21)/(-6) + h)?
False
Suppose 35 = -5*a - n, 14 = -4*a + a - 2*n. Let g(q) = 2*q**2 + 10*q - 4. Does 22 divide g(a)?
True
Let w be (1/1)/(-1) - -46. Let a = -63 - -126. Let r = a - w. Is r a multiple of 9?
True
Let g be 27/(-5) - 4/(-10). Let n(y) = -y**3 - 5*y**2 - 2*y - 7. Let f be n(g). Suppose -72 = -f*p - 0*p. Does 9 divide p?
False
Suppose 15 + 10 = -5*t, 5*t - 170 = -p. Is p a multiple of 39?
True
Let p = -3 + 6. Suppose 0 = -4*y - p*a - 1, a = -3*y - 2*a + 3. Let j(u) = -u**3 - 3*u**2 - 5*u - 3. Does 15 divide j(y)?
False
Let p(k) = 7. Let i(r) = -r + 8. Let d(x) = 3*i(x) - 4*p(x). Does 2 divide d(-3)?
False
Suppose 0 = -4*a + 1 + 11. Suppose -a*v + 32 = -v. Is 9 a factor of v?
False
Suppose 158 = 5*o - 7. Let s = -21 + o. Is s a multiple of 12?
True
Let p(k) = 7*k**2 - 2*k - 1. Let f be p(2). Let u = -4 + f. Does 19 divide u?
True
Suppose -2*z + 79 = 4*t + 23, -3*t + 52 = 4*z. Does 2 divide t?
True
Let l = 33 + -55. Let z = -12 - l. Let k = 2 + z. Is k a multiple of 6?
True
Let s(b) = 3*b**3 + b**2 - 2*b - 2. Let i be s(3). Let f = i - 54. Does 10 divide f?
False
Suppose 0 = 2*f - 3*h - 19, -h + 1 = -f + 10. Suppose -2*u = 8 + f. Is (-516)/u*(-4)/(-6) a multiple of 21?
False
Let r(t) = 2*t**2 + 6*t - 8. Let k = -17 + 11. Does 14 divide r(k)?
True
Let h be 0 - ((-6)/3 + -1). Suppose 127 = h*o - d, -46 = -o + 6*d - 2*d. Suppose 0 = 6*g - g - u - 199, -g = 2*u - o. Is g a multiple of 14?
False
Let k(b) = 4*b**2 - 7*b - 6. Let x(d) = d + 1. Let v(i) = k(i) + 6*x(i). Let y(p) = p - 10. Let u be y(12). Is 7 a factor of v(u)?
True
Suppose 0 = -m - u + 1 - 3, 0 = 5*m + 2*u + 4. Suppose m = 5*v - 2*v - 5*f - 103, 2*f = -5*v + 151. Is v a multiple of 9?
False
Let s be 9/6*(-4)/(-3). Suppose -4*d = -s*h, -3*h = -7*h - 4*d + 24. Let g = 3 + h. Is g a multiple of 3?
False
Let n(f) = 4*f**3 - 4*f**2 + 2*f + 1. Is n(2) a multiple of 21?
True
Let l be (2*-5)/(4/(-4)). Suppose 2*u - 3*u = -l. Let y = u + -2. Is y a multiple of 8?
True
Suppose -3*c - 5 = -2*r, -12 = 4*c - 5*r + r. Let k(m) = 7*m + 5 - 4 - 3 + 1. Is k(c) a multiple of 6?
True
Let b be 6/(-1)*11/(-33). Suppose 0 = -b*v - 36 + 140. Is 13 a factor of v?
True
Let k = -33 + 55. Is 22 a factor of k?
True
Let f(z) = z**3 + z**2 - z. Let a(x) = 7*x**3 - 7*x**2 + 10*x - 18. Let m(o) = a(o) - 6*f(o). Does 15 divide m(12)?
True
Suppose -3*f + 0*s - s + 3 = 0, -3*s + 9 = 2*f. Let m = 2 + f. Suppose 150 = p + m*p. Is p a multiple of 15?
False
Suppose p + j = 114, p + j = 4*p - 346. Is p a multiple of 23?
True
Let a be 0 + (0/(-3) - 1). Let q = -1 - a. Suppose -5*g + 28 + 107 = q. Does 11 divide g?
False
Let i(h) = -h**2 - h. Let o be i(0). Suppose o = 2*p + 2. Is 13 a factor of (p + 0)*(1 - 14)?
True
Is (9/(-15))/(3/(-45)) a multiple of 8?
False
Let l(q) = 3*q**2 - 4*q + 8. Is l(4) a multiple of 10?
True
Let z(g) = g**2 - 4*g - 4. Let l be 4/(-10) - 37/(-5). Is 8 a factor of z(l)?
False
Let n(t) = -t**2 - 4*t - 16. Let r be n(-7). Let a = 7 - r. Is 21 a factor of a?
False
Suppose 4*i + 35 = 3*t, t + 2*i + 1 = -4. Let m = -19 + 22. Suppose 0 = -t*x + 4*z - 7*z + 73, -x + m*z = -29. Is 7 a factor of x?
False
Suppose -h - 65 = 2*b, 170 = -3*b - 2*b - 4*h. Is b/(-4)*32/12 a multiple of 10?
True
Let w be (-1)/(-3) + (-94)/(-6). Is 11 a factor of (1*-4)/((-2)/w)?
False
Let x be (-2 + -3)*3/(-5). Suppose -x*i = 2*i - 20. Suppose -i*l + 33 = -75. Does 9 divide l?
True
Suppose 2*l - 123 = -5*f, 2*f = -l - f + 63. Does 27 divide l?
True
Suppose 2*t + 3*i + 9 = 3*t, 3 = 4*t - i. Suppose t = -3*a + 4*r + 131, -2*r - r + 110 = 2*a. Is a a multiple of 26?
False
Suppose -s = 2*s - 36. Is 5 a factor of s?
False
Let o(f) be the third derivative of f**4/8 + 7*f**3/6 + 2*f**2. Let v(u) = u**2 + 4*u - 5. Let p be v(-6). Does 13 divide o(p)?
False
Let f(b) = -b**3 + 5 - 5 + 10*b**2 + 5*b + 5. Let g(q) = q**3 + 7*q**2 + 10. Let k be g(-7). Is 22 a factor of f(k)?
False
Suppose -2*c + 5*d - 12 = -5*c, c - 2*d - 4 = 0. Let n be (-32)/(-18) + c/18. Suppose -n*v = 3*v - 150. Is 13 a factor of v?
False
Let h(t) = 30*t + 9 - 17 - 16 + 4. Let a(r) = -10*r + 7. Let f(u) = -17*a(u) - 6*h(u). Is f(-1) a multiple of 11?
True
Suppose -3*v = -7*v - 8. Let z be (-60)/18 - v/(-3). Is (-31)/(-3) + z/12 a multiple of 5?
True
Let w be ((-132)/(-2))/((-2)/(-2)). Let c be (-9)/12 + (-117)/(-12). Suppose -v + m + 2*m + c = 0, 0 = 3*v + 4*m - w. Is 9 a factor of v?
True
Let h(g) = 3*g**2 - g + 1. Let k be h(1). Suppose -5*j - 4*z = -292,