p = 238 + 20. Is p a multiple of 43?
True
Suppose -7*n = -2*n - 235. Let d(f) = -f**3 + 3*f**2 + f + 2. Let x be d(3). Suppose -3*q + x*w = -8*q + 130, 2*q - 3*w - n = 0. Does 16 divide q?
False
Let o = -94 - -187. Suppose 0 = 5*w - 27 - o. Suppose -r = q - 15, -q + w - 1 = -3*r. Is q a multiple of 15?
False
Let k = -1 + 6. Let a = k - -9. Does 7 divide a?
True
Let z be 3 + -4 - 3*-1. Let y(d) = 18*d - 3. Is 11 a factor of y(z)?
True
Let s = 18 - 0. Is 18 a factor of s?
True
Suppose -2 = -2*n + n. Suppose 4*x = n*m - 14, m - 4*m - 9 = -x. Is ((-2)/x)/(2/48) a multiple of 7?
False
Suppose 2*i = i + 6. Is i a multiple of 6?
True
Let t = 75 - 24. Is t a multiple of 17?
True
Let u(x) = -x**2 + 3*x - 2. Let d be u(2). Let o(k) = 6*k + 12. Let m(g) = -7*g - 12. Let v(z) = 5*m(z) + 6*o(z). Is v(d) a multiple of 11?
False
Let u(m) = -m**3 - 6*m**2 + 6*m + 8. Let l be u(-7). Let q be ((-4)/(-10))/((-1)/l). Let b(t) = -6*t - 6. Does 10 divide b(q)?
True
Let w = 13 + -13. Suppose 4*x + 15 - 159 = w. Is 8 a factor of x?
False
Suppose 2*i = -159 + 601. Is 17 a factor of i?
True
Does 7 divide (-15)/(-3 + (-9)/(-4))?
False
Let h(i) = -i**3 + 26*i**2 - 20*i - 59. Does 8 divide h(25)?
False
Suppose 4*y = -2*t - t + 268, 366 = 4*t + y. Is t a multiple of 15?
False
Suppose 3*l + 1 = 7. Is 14 a factor of 5*l/(-10)*-14?
True
Suppose -2*d + 0*d = 84. Suppose -3*y - 75 = -0. Let s = y - d. Is s a multiple of 17?
True
Suppose -59 = -2*q - t, -7*t + 2*t = -5*q + 125. Suppose -v = -0*v - q. Is 8 a factor of v?
False
Let z = 256 - 148. Is z a multiple of 36?
True
Suppose 5 = -w + 1. Let h be 4 + (w - (-2 - 0)). Suppose 2*o = -h*i + 50, -2*o = o - 3. Is i a multiple of 11?
False
Let n(b) = 3*b**2 + 4*b + 5. Is n(-3) a multiple of 10?
True
Let z(q) = 22*q - 10. Is 13 a factor of z(4)?
True
Let p = -112 + 176. Does 8 divide p?
True
Let a(z) = -3*z - 16. Is 2 a factor of a(-6)?
True
Suppose v + 16 = 3*v. Suppose 8 = -u + 5*r, 3*r - v = -3*u + 2*r. Is 2 a factor of u?
True
Suppose 3*i - 8*i = 0. Is (i - 1/(-1))*18 a multiple of 9?
True
Let q(v) = -10*v + 58. Is 23 a factor of q(-8)?
True
Is 2 a factor of 1/(-5) - (-594)/45?
False
Let d be (9/6)/1*2. Suppose d*f - 31 = 5*p, -5*p = -f - f + 29. Does 21 divide 41/f + 1/2?
True
Let j(n) = 5*n**2 + 3*n + 1. Let h be j(-1). Let o(r) = r**2 + 2*r + 1. Does 6 divide o(h)?
False
Let j(s) = s + 2. Let v be j(-3). Let p = -13 + 12. Is (-33)/p - (v - -2) a multiple of 13?
False
Suppose 5*f - 106 = 2*o, f - 2*o - 29 = o. Suppose s - f = -7. Does 9 divide s?
False
Let i(x) = -x**2 + 9*x - 2. Let r be i(7). Suppose f + r = -3*f. Does 11 divide (f + -12)*(0 - 1)?
False
Let g be (-4)/(-12) - 167/(-3). Suppose 2*v - 5*x = 29, 0*x - 4*x = 2*v - g. Suppose -3*l + 52 - v = -d, -5*l + 50 = 4*d. Does 4 divide l?
False
Let p(q) = q**3 - 2*q**2 + 2*q - 1. Let k be p(2). Suppose 2*j = -3*g + 30, -2*j + 0*g + 6 = -k*g. Does 9 divide j?
True
Let h(v) = -2*v**2 - 1. Suppose 0 = a + 2 + 1. Let w be h(a). Let d = w - -43. Does 8 divide d?
True
Suppose -4*c + 5*a = 0, -2*c = c + 3*a. Suppose -3*h + 0*h + 6 = c. Suppose h*d = -0*d + 22. Does 8 divide d?
False
Suppose -11*t + 324 = -7*t. Is t a multiple of 9?
True
Suppose 4*h - p = 39, 4*p + 21 = -2*h + 3*h. Let g(j) = 5*j - 5. Is g(h) a multiple of 8?
True
Is (-2)/11 + 4135/55 a multiple of 15?
True
Is 10 a factor of 2*-1*28/(-4)?
False
Let t(m) = 36*m**2 - 4*m + 5. Does 23 divide t(2)?
False
Suppose 10*a - 235 = 5*a. Is 15 a factor of a?
False
Let x(z) be the second derivative of z**4/6 + 3*z**3/2 - 7*z**2 + 5*z. Let b be x(-10). Suppose b = s + s. Is 16 a factor of s?
True
Suppose -d - 3 = 4. Let x(w) = -w + 8. Let j be x(d). Is (j/9)/(3/9) a multiple of 5?
True
Let x = 352 - 182. Is x a multiple of 34?
True
Suppose 3*x - 61 = -4*m, -3 = -0*m - 3*m. Is x a multiple of 19?
True
Let a = -10 + 14. Let b(t) be the third derivative of t**6/120 - t**5/15 + t**4/24 - t**3/3 + t**2. Is 2 a factor of b(a)?
True
Let k(q) = -14*q. Let l be k(-1). Does 14 divide 96/7 + 4/l?
True
Let f be (21/3)/(-1) + -2. Let w = f + 15. Is w a multiple of 6?
True
Let z(o) = 5*o + 11 - 8*o + 4*o. Is z(8) a multiple of 19?
True
Let o(f) = -f**2 + 8*f + 8. Suppose -5*x = 5*q - 4 - 16, -36 = -5*q - x. Is o(q) even?
True
Suppose -12*c + 9*c + 48 = 0. Is c a multiple of 2?
True
Does 10 divide (-7)/((-21)/30) - -1?
False
Let u = -21 - -13. Let h(q) = -q**2 - 13*q - 9. Is h(u) a multiple of 8?
False
Suppose -12 = -g - g. Suppose 0 = -r + g*r - 180. Is r/2 - 1*-2 a multiple of 12?
False
Suppose 7*s + 10 = 2*s. Let f be (-6)/9*21/s. Is 338/f - 10/35 a multiple of 19?
False
Let g be 3*(1 - -32) - 3. Suppose 0 = -4*u - 0*u + g. Does 5 divide u?
False
Let p(w) be the second derivative of -2*w**3/3 - w**2 + 3*w. Is 10 a factor of p(-4)?
False
Let l(s) = 6*s**2 - 7*s - 5. Let a be l(-5). Suppose -g + 3*t + 3 = 2*g, -28 = -4*g - 4*t. Suppose a = g*u - 4*x, -2*u - 4*x + 3 = -69. Is 14 a factor of u?
True
Let y = 70 + -42. Does 3 divide y?
False
Let d be 156/(-11) - 10/(-55). Let b = d - -21. Is 7 a factor of b?
True
Let i(g) = 3*g**2 + g**2 + 2*g - 10 + 2*g - 3*g**2. Let u = -12 + 5. Does 11 divide i(u)?
True
Suppose -2*z + z + 6 = 0. Let f = 8 - 10. Does 7 divide 3/(f/(-40)*z)?
False
Let u(h) = h**2 + 2*h - 5. Let p be (8 + -13)*(1 + 0). Is u(p) a multiple of 10?
True
Let s(a) = a + 2 + 7 - 1. Let r be s(-4). Suppose 35 = r*x - 113. Does 16 divide x?
False
Suppose -x - 3*p - 41 = 1, 3*x + 3*p = -120. Let b = 55 + x. Is 8 a factor of b?
True
Let j(x) = -x**2 + 8*x + 5. Let p be j(4). Let z be (-5)/(5/2) - -11. Let v = p - z. Is 6 a factor of v?
True
Let m = 31 - 10. Is 3 a factor of m?
True
Let d = 60 - 13. Is d a multiple of 3?
False
Suppose 1 = -4*c - 11. Does 15 divide (-20)/(5/c + 1)?
True
Suppose -2*r - 3*p - 2*p + 13 = 0, -3*p + 3 = 0. Suppose -3*b + 126 = r*n, 3*b + 101 = 3*n + 2*b. Does 11 divide n?
True
Let b(m) = -16*m**2 + 2*m + 1. Let q be b(-2). Let t(u) = u**3 + u**2 + 4*u - 2. Let c be t(4). Let y = q + c. Does 10 divide y?
False
Suppose v = -v + 4. Suppose 3*i + 3*f - 273 = -v*f, -4*i = -3*f - 335. Is i a multiple of 33?
False
Let h(i) = 21*i - 9. Let d(x) = 14*x - 6. Let f(c) = 7*d(c) - 5*h(c). Is 15 a factor of f(-6)?
True
Let v(y) = 5*y - 5 - 2 + 0 + 3. Let d = 3 - -3. Is 12 a factor of v(d)?
False
Suppose 8 = -3*w - 172. Let m = -42 - w. Is m a multiple of 9?
True
Suppose -3*l + 5 + 1 = 0. Suppose -10 = -4*a + l*a. Suppose 4*p - a*q = -0*p + 14, 5*p + 4*q = 38. Does 3 divide p?
True
Suppose -9 + 34 = 5*v - 5*q, -4*v + 5*q + 16 = 0. Let p be 1/(-2 + (2 - -1)). Does 10 divide -3*p*(-30)/v?
True
Let n be 4/(2/(6/3)). Suppose j + n*j - 120 = 0. Is 8 a factor of j?
True
Let k(w) = w**2 - w - 2. Let b be k(3). Suppose -b*o = -3*o - 15. Is 14 a factor of o?
False
Let p = -62 - -20. Let k(m) = 6*m**2 - 2*m + 1. Let y be k(1). Is (p/y)/(4/(-10)) a multiple of 21?
True
Does 10 divide (-74)/(-2) + (2 - 2)?
False
Let s(o) = 0 + 0*o**2 + 5*o**2 + 1. Does 6 divide s(-1)?
True
Suppose -3*w - 25 = 5*t, 2*w + 10 = 5*t - 2*w. Let y be -8*t/(-8)*-2. Let k = y - 2. Is k a multiple of 2?
True
Let r be ((-32)/(-20))/(3/60). Suppose -29*o - 66 = -r*o. Does 4 divide o?
False
Let s = 112 - 80. Is s a multiple of 29?
False
Let k = 7 + -6. Let r = k - 3. Is 7 - (-3 - (r + -3)) a multiple of 5?
True
Let v be (-5)/((-15)/12) - 2. Suppose 5*s - 38 = -4*k + v*s, 4*s - 32 = -3*k. Is 4 a factor of k?
True
Suppose 5*d + 4*k + 58 = k, d + 2 = -3*k. Does 15 divide (-2)/(-6)*3 - d?
True
Let a be (-9)/(-2)*224/12. Suppose -a = -4*d + 2*d. Is d a multiple of 18?
False
Let r(v) = -v**3 - 4*v**2 + 2. Let u be r(-4). Let i = -1 + 14. Suppose -3*q + 52 = x, x = -u*q + i + 23. Is q a multiple of 9?
False
Is 7 a factor of 56/2*(-306)/(-68)?
True
Suppose -271 - 421 = -4*t. Is t a multiple of 21?
False
Let l(h) = 2*h**2 - h - 2. Does 8 divide l(-2)?
True
Suppose 3 = u - 9. Is u a multiple of 2?
True
Let y be 149/3 - 3/(-9). Suppose 158 - y = 4*a. Does 9 divide a?
True
Suppose -2*v = -61 - 91. Suppose -v - 25 = -c. Does 30 divide c?
False
Let d(r) = 2*r - 4. Let h be 2/12 + (-17)/(-6). Let u be d(h). Suppose -2*c + 3*s + 91 = 2*c, 43 = u*c + s. Is 17 a factor of c?
False
Let b = 47 + -15. Let l(v) = 3*v**3 + v**2 - 2*v - 1. Let m be l(2). Suppose -4*a - 2*r = m - 107, 4*r