pose 3 + 7 = -2*u. Does 17 divide h(u)?
False
Suppose 0 = 2*i + 3 + 1, 5*b + 2*i = 21. Suppose b*m - 82 = 198. Is m a multiple of 14?
True
Let q = 21 - 26. Is -17*(-3 - (q + 3)) a multiple of 5?
False
Suppose -4*c + 2*c - 20 = 0. Let n = 10 - 0. Does 11 divide 216/n + (-4)/c?
True
Let j(t) = -t**3 + 8*t**2 - 8*t + 5. Let n be 1/(-4) - 50/(-8). Let c be j(n). Let m = -5 + c. Is 7 a factor of m?
False
Let r be 1/(((-8)/10)/(-4)). Suppose -2*a - r = -13. Suppose c = a*c - 48. Is c a multiple of 8?
True
Let n(d) = 6*d**2 + 3*d + 8. Is 19 a factor of n(-3)?
False
Let u(d) = 10*d**3 + 3 - 4*d**2 + 0*d**2 - d**3 - 1 + d. Does 30 divide u(2)?
True
Suppose 3*c + 105 = 6*c. Is c a multiple of 13?
False
Let k be (-1642)/(-18) - 10/45. Suppose 3*c - 5*p = 178, -5*c + k = -5*p - 199. Suppose -7*t - 2*h + c = -3*t, -t = -h - 14. Is t a multiple of 14?
True
Let l = 7 + -2. Suppose 2*m = l*u + 88, 2*m - 5*m + 5*u = -122. Is 14 a factor of m?
False
Suppose -5*v + 2*g - 3*g = -46, 0 = -3*g + 3. Is v a multiple of 3?
True
Let j(n) = 4*n**2 - n - 35. Is 20 a factor of j(7)?
False
Does 16 divide (-16)/6*(0 - (138 - 6))?
True
Let j be ((-10)/8)/(2/(-8)). Suppose -j*z - 7 + 2 = 0. Is z - 5*-1 - 0 even?
True
Suppose -78*n + 185 = -77*n. Is n a multiple of 37?
True
Let g = 14 - 7. Suppose 0 = 5*t - 2 + g. Let a(d) = -7*d**3 + d + 1. Is 7 a factor of a(t)?
True
Let u be 413/(-42) + 3/(-18). Is -5*((-128)/u)/(-2) a multiple of 30?
False
Let a be 70/(-9) - 2/9. Let i be (-148)/(-16) + 2/a. Suppose i*h - 105 = 4*h. Is 11 a factor of h?
False
Let a(k) be the second derivative of k**3/6 + 11*k**2/2 + 2*k. Let l be a(-6). Suppose l*r = -0*r + 35. Does 7 divide r?
True
Let r(t) = -t + 3. Let i(d) = d. Let j(b) = -4*i(b) - r(b). Let a be j(-2). Suppose -a*q = -64 - 38. Is 19 a factor of q?
False
Let w(l) = l + 6. Let s be w(-4). Is 17 a factor of 18/15*85/s?
True
Suppose 2*c = 4*c + 246. Does 10 divide 1/(120/c + 1)?
False
Is 13 a factor of 2/(-3) - 1/3 - -135?
False
Suppose -84*b + 82*b + 240 = 0. Does 30 divide b?
True
Let n = 0 + 4. Let q = 16 - n. Is q a multiple of 10?
False
Suppose -5*a - 11 + 272 = -2*m, -m - 207 = -4*a. Is a a multiple of 12?
False
Let f(d) = d + 4. Let s be f(-4). Suppose s = -4*p - 53 + 17. Is 5 a factor of p/(4/(16/(-3)))?
False
Let q be 4/6*2*9. Suppose 0*b - q = -4*b. Is -2 - -1 - (-30)/b a multiple of 7?
False
Suppose -126 = -2*q + v + 3*v, 0 = 5*q + 5*v - 345. Is 17 a factor of q?
False
Let c(l) = l**2 + l - 2. Suppose -2*n + 17 = -h, 6*n - 49 = 2*n + 5*h. Is 20 a factor of c(n)?
True
Let i be 11/((-1)/2 - -1). Let n = -9 + i. Does 13 divide n?
True
Suppose -2*l - s - 7 = -3*l, 2*l = -s + 5. Suppose -l = c - 12. Is (-14)/c*(1 + -5) a multiple of 3?
False
Suppose -3*r = -0*r - 48. Suppose 2*o + 5*t + 29 = 0, -o + 3*t + r = -2*o. Does 12 divide (-2)/o + (-166)/(-7)?
True
Let s = 21 - 6. Is s a multiple of 3?
True
Let d be ((-6)/(-4))/(1/2). Suppose -4*h - 3 = -3*l + 21, -l + 3*h = -d. Does 12 divide l?
True
Suppose -2*z = -2*h + 34, 0*h - h + 5*z = -9. Is 10 a factor of h?
False
Let x = -63 - -105. Is 7 a factor of x?
True
Suppose 0 = -5*t + 101 - 26. Let d be -1 + 2*1 + 1. Suppose -10 = -2*z - 0*z - d*w, 0 = 3*z - 4*w - t. Is z a multiple of 5?
True
Let a = -22 - -10. Is (-130)/(-6) + (-4)/a a multiple of 11?
True
Suppose 3*u + 2 = 5. Let q be 3*((-4)/(-6) - u). Is 10 a factor of (-1)/q - (1 + -20)?
True
Let q be ((-16)/12)/(1/(-3)). Does 30 divide (q + 53 + -4)/1?
False
Suppose 3*z - 73 = 227. Is z a multiple of 13?
False
Let s = 3 + -4. Let r be (3 - 1) + (s - -1). Is ((-2)/5)/(r/(-30)) a multiple of 4?
False
Suppose 5*d + 16 = d. Let g be (-5 - -6)*28/2. Is (-204)/(-28) + d/g a multiple of 3?
False
Let r(o) = o - 6. Let m be r(-6). Let y be -4*(-3)/m*-1. Is 3 a factor of 1*(-1 - -4*y)?
True
Let x = 101 + 21. Is 22 a factor of x?
False
Let x(k) = -6*k + 1. Let y be x(-8). Suppose 11 + y = 2*b. Is 12 a factor of b/(-4)*8/(-5)?
True
Let h be 2/(-4)*(1 - 1). Let i = 0 + h. Suppose i = -2*p - p + 12. Does 2 divide p?
True
Suppose -4*s + b + 904 = 0, 5*s = -0*s + 4*b + 1141. Does 20 divide ((-16)/10)/((-18)/s)?
True
Let a(h) = h**2 + 7*h + 9. Let l be a(-6). Let y(z) = -z**2 + 3*z. Let s be y(l). Suppose s*p + 72 = 3*p. Is 11 a factor of p?
False
Does 26 divide 145 - (1 + -1 - 1)?
False
Suppose 125 = u + 4*u. Let a = u + -15. Is a a multiple of 10?
True
Let b be 2/4*0/(-3). Let v(z) = z**2 + 6*z + 5. Let m be v(-5). Suppose -n - 4*t - 4 = 0, b = 5*n - m*n - 4*t - 28. Is 4 a factor of n?
True
Suppose 5*q - 20 = 0, 0 = 5*s + 4*q + 101 + 18. Let i = s + 13. Let z = 17 - i. Is 14 a factor of z?
False
Suppose -3*t + 4*t - 80 = -2*y, 2*y - 72 = -3*t. Does 7 divide y?
True
Suppose 0 = 14*v - 16*v + 182. Is 3 a factor of v?
False
Let a = 15 - 12. Suppose -309 = -0*j - a*j. Does 27 divide j?
False
Let t(m) be the first derivative of -m**5/40 - m**4/24 - 2*m**3/3 + 1. Let k(q) be the third derivative of t(q). Is k(-3) a multiple of 5?
False
Suppose 0 = -4*c - 8*b + 5*b + 147, -4*b + 183 = 5*c. Does 12 divide c?
False
Let i(a) = 2*a + 4. Suppose -2*v + 25 = 3*v. Is 7 a factor of i(v)?
True
Let m be ((-1)/1 - 12) + 0. Suppose 5*n - 39 = -j, 2*j - n - 69 = j. Let p = j + m. Is p a multiple of 17?
True
Let k(u) = -u**3 - u**2 + 4*u + 2. Let f(h) = 3*h**3 + h - 1. Let r be f(1). Suppose 4*s + 22 = -r*p, -s - 2*p = s + 12. Is k(s) a multiple of 18?
False
Let r(h) = -3*h**2 + 3*h**2 + 0*h - 1 - 2*h + 2*h**2. Let g be r(2). Is 10 a factor of 15/((-4)/((-8)/g))?
True
Let c(u) = 2*u + 1. Let m be c(7). Suppose b + 2*b = m. Is 5 a factor of b?
True
Let x = 0 - -1. Suppose -11 = -g - x. Does 21 divide 2/g + 208/10?
True
Suppose 3*h - 112 = -5*t, -3*h - 2 = -5*t + 86. Suppose -s = s - t. Suppose 0 = 2*x - 2*b, 3*x + 2*b = 3*b + s. Is x a multiple of 2?
False
Let x = 40 + -68. Let g = 126 + -86. Let s = g + x. Is 6 a factor of s?
True
Let l = 6 - -2. Suppose -1 = -3*f + l. Suppose -f*j = j - 20. Does 2 divide j?
False
Let u(i) = -i**3 - 6*i**2 - 3*i + 6. Does 12 divide u(-6)?
True
Let d = -26 + 206. Does 25 divide d?
False
Let i(p) = p + 27. Is 3 a factor of i(0)?
True
Suppose 5*p - 81 = -g, 3*g + 2*g - 5 = 0. Is p a multiple of 5?
False
Let p = 3 - -21. Is 8 a factor of p?
True
Let o = 61 - 45. Is 8 a factor of o?
True
Let j(a) = -33*a. Let y(k) = -11*k. Let o(g) = -3*j(g) + 8*y(g). Does 4 divide o(1)?
False
Let y = 12 - 22. Let z = y - -14. Suppose -z*o = 5*i - 29, 0 = -i - 0*o - 3*o + 8. Is 5 a factor of i?
True
Let j be (-98)/(-35) + 1/5. Suppose j*q - 40 = q. Does 10 divide q?
True
Let q(x) = x**2 + x. Does 3 divide q(2)?
True
Let y be 3/(-9) + 76/12. Let l be y/5*5/2. Suppose 0 = -r + l - 1. Does 2 divide r?
True
Let m(p) = p**2 + 8*p - 9. Let d be m(-9). Suppose 2*n = 3*j + 2, -2*j + j - 3*n + 14 = d. Is 2 a factor of j?
True
Suppose 5*a - 525 = -0*a. Let n be (2 - 4/2)/2. Suppose n = 2*z + z - a. Does 15 divide z?
False
Let r(i) = -2*i. Let t(y) = y. Let j(w) = -2*r(w) - 5*t(w). Let q be j(-1). Suppose s + 22 + q = u, -u + 8 = 4*s. Is u a multiple of 20?
True
Let j(r) = r**3 - 2*r**2 + 4*r + 1. Does 24 divide j(6)?
False
Let s(v) = -v**3 - v**2 + 2*v + 39. Does 13 divide s(0)?
True
Suppose -2 = 2*g - 38. Does 3 divide g?
True
Let u(s) be the third derivative of s**4/24 + 5*s**3/6 - s**2. Let f be u(-3). Is -3*f/(6/(-13)) a multiple of 8?
False
Suppose -p - 4*p = -q - 2, 0 = 3*q + 6. Suppose p*n - 5 = n. Let a = 14 - n. Does 8 divide a?
False
Let q(h) = -h**3 - 3*h**2 + 5*h + 6. Let m be q(-4). Let k(d) = 25 + d**3 + 0*d**2 + 3 + d**m + d. Does 20 divide k(0)?
False
Suppose -4 - 12 = -4*k. Let i = 1 - k. Is 0/(-1) + (i - -7) even?
True
Suppose 0 = -6*i - 46 + 352. Is 14 a factor of i?
False
Suppose -5*w + b + 4 + 7 = 0, -5*w + 9 = b. Let j = -5 + 3. Is 1/w - 23/j a multiple of 8?
False
Let c be 4/8 - (-1)/(-2). Suppose b = -i + 14, c*i + i - b - 12 = 0. Is 12 a factor of i?
False
Is 43 - 4 - (-12)/(-3) a multiple of 18?
False
Suppose 2*j - 11 = 3. Suppose -j*v = -5*v - 16. Is 8 a factor of v?
True
Is 14 a factor of (-116)/(-2)*(1 - 0)?
False
Suppose j + x = 5, 2*x + 25 = 4*j + j. Suppose j*z = 3*z - b + 93, -185 = -4*z - b. Suppose -z - 29 = -5*m. Is 15 a factor of m?
True
Let z(q) = -2*q**3 - q**2 + 2*q + 1. Let x be z(-2). Let o = x + -6. Suppose -35 - 19 = -