. Is 4 a factor of (-1)/4 - (-145)/b?
False
Let y(z) = 4*z**3 - 2*z + 1. Let g be y(1). Suppose 0*k + 7 = 5*p - 4*k, 3*p + 5*k - 19 = 0. Suppose -21 + g = -p*f. Is 2 a factor of f?
True
Suppose -5*g + 0*g = -245. Suppose -5*m + m - s = -g, 4*s - 53 = -5*m. Does 11 divide m?
False
Suppose 149 = 4*t + w, -2*t - 10 = w - 87. Suppose 0 = -a + 3*a - t. Is a a multiple of 9?
True
Let m(s) = -s**3 + 8*s**2 + 9*s - 9. Let q be m(9). Is -3 + q/(-3) + 21 a multiple of 7?
True
Suppose -4*x - 11 + 75 = 0. Suppose c = 28 + x. Is 22 a factor of c?
True
Suppose -3 = -3*s + 3. Suppose -16 + 4 = -s*g. Does 3 divide g?
True
Suppose 420 = -3*i + 6*i. Is 28 a factor of i?
True
Let q(l) = -5*l**3 - 2*l**2 - l. Let t be q(-1). Let j = -1 - -1. Suppose j*f + f - t*s - 32 = 0, 5*f + 3*s - 91 = 0. Does 10 divide f?
True
Suppose 4*j = 2*j - 3*b + 53, 0 = j - 4*b - 32. Does 28 divide j?
True
Suppose -4*p - 12 = -7*p, p = -2*a + 14. Is 5 a factor of a?
True
Let i be (-16)/(-6)*18/4. Suppose -4*c = 4*a - i, 3*a - 17 = c - 0*c. Let v = 15 - a. Is v a multiple of 5?
True
Let t be (1 + -3)*1/2. Let m(k) = 4*k - 9. Let a be m(6). Is a - (t - (1 - 2)) a multiple of 6?
False
Suppose 2*w + 38 = 4*w. Is 19 a factor of w?
True
Suppose 8*m - 10 = 3*m. Suppose -m*j + 80 = 3*j. Is j a multiple of 8?
True
Let h be 2 - (-19 + -2)*-1. Let f = h + 73. Is 15 a factor of f?
False
Suppose -2*m + 4*m - 6 = 0. Suppose c = -5*c + 12. Suppose -c*r = m*r - 170. Is r a multiple of 12?
False
Suppose -123 = -9*m + 219. Does 18 divide m?
False
Suppose -b - 11 = -2*b. Let u = 17 - b. Let n(k) = -k**3 + 7*k**2 - 2*k + 6. Does 12 divide n(u)?
False
Let i = -4 - -2. Let g be (i - (-75)/3) + -1. Is ((-10)/(-4))/5*g a multiple of 5?
False
Let d = -3 - 9. Let t = d + 69. Suppose 0 = -4*h - t + 145. Is h a multiple of 11?
True
Let z = 0 - -3. Suppose 0 = -2*q - z*q + 15. Does 6 divide (1 + -9)*(-4 + q)?
False
Suppose 0 = -4*k + 3*x - 12 - 3, -k - 2*x = 12. Is 12 a factor of (-2 - k)*(4 - -2)?
True
Is ((-9)/(-2))/((-15)/(-400)) a multiple of 24?
True
Suppose 0 = -i - i + 2. Let b = 2 + i. Suppose b*q = -h + 4*q + 26, 2*q = -h + 14. Is h a multiple of 9?
False
Let b(d) = d**2 - 2*d - 2. Let g be b(0). Let h = 36 - g. Does 14 divide h?
False
Is 19 a factor of (118/4 + -1)*(-10 - -12)?
True
Let i(p) = -p**2 + 7*p - 8. Let h be i(9). Let j = 85 + h. Does 23 divide j?
False
Let h(u) = 3*u + 28. Is 7 a factor of h(0)?
True
Let l = -12 - -29. Does 11 divide l?
False
Let v(j) = 65*j**2 - j - 1. Is v(1) a multiple of 14?
False
Let q = 2 + 1. Is 7 a factor of (1/q)/(3/63)?
True
Suppose 5*j - 2*a - 10 = 0, -5*j + 19 = -4*a - 1. Suppose j = -2*s - 8, -i = -0*i - s - 6. Let f = 3 + i. Is 5 a factor of f?
True
Suppose -o + d + 184 = 4*o, -172 = -5*o - 2*d. Is o a multiple of 18?
True
Let t = 98 - 89. Is t a multiple of 4?
False
Let t(c) = -c**3 + 6*c**2 - c + 2. Let r be t(3). Let p = r + -7. Let h = p - -2. Is 10 a factor of h?
False
Let q = -22 - -63. Let n = -23 + q. Is n a multiple of 18?
True
Suppose -r + 9 = 3*k, 2*k + r - 6 = 1. Let j = k - 2. Suppose -4*h - 4*o = -2*h - 22, j = 4*o. Is h a multiple of 11?
True
Suppose -14 = -2*f + 76. Does 7 divide f?
False
Let g(w) = 5*w**2 + w. Let n be g(1). Let p = -2 + n. Is p even?
True
Suppose 3*h = 2*y + 40, 2*y = h + 4*y - 8. Let i(n) = 6*n**2 + 4 - n - 3 + h*n**2 + 0. Does 16 divide i(1)?
False
Suppose 7 = 3*h - 5*n - 0*n, -n + 22 = 2*h. Let p(w) = 6*w + 9 - h. Is 6 a factor of p(1)?
True
Suppose l = 2 - 0. Suppose -5*v + 20 = l*z - z, -z + 5*v = -20. Is 20 a factor of z?
True
Let v = -3 - -3. Let l be 3 + -1 + v + -4. Let q = 4 + l. Is q a multiple of 2?
True
Suppose 2*p + 35 = 7*p. Does 2 divide p?
False
Let j = -11 + 20. Does 9 divide j?
True
Suppose 5*w + 0 = 75. Suppose -92 = -4*i + 4*q, 0 = i - 5*q - 10 - 25. Is w*-8*(-6)/i a multiple of 18?
True
Suppose -3*q - 2*t = -t - 259, 5*q - 3*t - 441 = 0. Does 12 divide q?
False
Suppose 4*a + 4*n = 16, 5*a + 5*n - 22 = 2*a. Let y(s) = -9*s + 1. Is 8 a factor of y(a)?
False
Let m = 130 + -81. Suppose p + 0*p = -m. Is (3 + p)*1/(-2) a multiple of 8?
False
Let a = 90 + -7. Let v = a + -19. Is v a multiple of 16?
True
Let x(t) = -2*t**2 - 10*t + 1. Let h be x(-7). Let l be (56 - -1)/(12/8). Let u = l + h. Is 4 a factor of u?
False
Suppose -n + 20 = 4*n. Suppose -n = -2*i + 2. Suppose -f + 67 = 4*p, -5*p - 5*f + 80 = -i*f. Is 6 a factor of p?
True
Is 17 a factor of 85 - 6 - (-2 + 2)?
False
Suppose h = -2*h. Suppose 4*f - 3*x - 45 = h, -2*f - 2*x - 51 = -7*f. Does 6 divide f*(4/(-3) + 2)?
True
Let i = 22 + 39. Let x = 132 - i. Is x a multiple of 20?
False
Suppose 5*i + 85 = 2*s + 2*s, s = 4*i + 24. Suppose 2*p = 6*p - s. Is p a multiple of 3?
False
Let v(m) = -m**3 + 4*m**2 - 3*m + 3. Let q be v(3). Suppose -2*z + q*j + 28 = -j, 4*z - 3*j - 51 = 0. Let t = z + -5. Does 4 divide t?
False
Let f(u) = u**2 - 4*u - 11. Does 17 divide f(-5)?
True
Suppose -4*z + 419 = -b, 6*z - z - 550 = -4*b. Does 5 divide z?
False
Let y(k) = -2*k + 5. Let v be y(-3). Let h = v + -2. Is h even?
False
Suppose v + 4 = 0, -3*v + 15 = a - 5*v. Let g = a + -17. Let r = -2 - g. Does 4 divide r?
True
Suppose 0 = 2*j - 5*j. Suppose 3*s - 2 - 7 = j. Is 3 a factor of s?
True
Let k = -388 - -682. Suppose -k = n - 7*n. Is n a multiple of 10?
False
Let v(j) = -1. Let h(w) = w. Let s(u) = h(u) - v(u). Does 5 divide s(5)?
False
Let p = 76 + 68. Let i = 3 + -4. Is (7/((-21)/p))/i a multiple of 19?
False
Let k = 111 - 75. Suppose -2*h + 3*n = -h - k, -2*n - 114 = -4*h. Is 9 a factor of h?
True
Suppose -3 + 7 = x + 4*a, 2 = -a. Is 5 a factor of x?
False
Suppose -15 = -3*m - 5*p, 0*m + 20 = 4*m + p. Suppose -5*z = -5*g - 270, m*z + 4*g = g + 254. Suppose -z = 5*q - 182. Does 9 divide q?
False
Let r = 49 - 28. Suppose u = 2*u - r. Is 7 a factor of u?
True
Let g be ((-2)/6)/((-5)/(-105)). Let o be (-37)/g + (-4)/14. Suppose -2*n + o*n + 4*l - 92 = 0, 0 = -n + 5*l + 18. Does 14 divide n?
True
Let g be 2/5 - (-8)/5. Let h = 4 - 4. Suppose h = -g*v + 6*v - 144. Is 22 a factor of v?
False
Let t = 9 + 1. Let d = t + 12. Does 10 divide d?
False
Let x be 35 - (2/2 - 0). Suppose 0 = 4*k - 2*y + 74, -2*k + 4*y - x = 2*y. Does 19 divide (-2)/(-10) + (-376)/k?
True
Is 48 a factor of (-1 + 112/1)*(-60)/(-45)?
False
Suppose 0 = -w - 4*w - 15, 2*w - 5 = i. Let n = -5 - i. Does 3 divide n?
True
Let l be (12/16)/((-2)/(-24)). Let s(r) = r**2 - 12*r + 12. Let x be s(l). Let y = x + 63. Does 17 divide y?
False
Suppose -u + 4*u = 90. Is u a multiple of 15?
True
Let z(f) = 2*f. Is 12 a factor of z(6)?
True
Let w = -5 - -7. Is (-1)/(w - 231/114) a multiple of 14?
False
Let z(p) = p**3 - 4*p**2 + 6*p + 6. Is z(5) a multiple of 12?
False
Let x = 6 - 6. Suppose x = -m + 9 + 9. Does 18 divide m?
True
Suppose 3*g - 26 = 97. Is g a multiple of 12?
False
Does 17 divide ((-128)/48)/(2/(-102)*2)?
True
Let u = -2 + 31. Does 5 divide u?
False
Let l(b) = 4*b - 16. Let f(w) = -w + 5. Let z(h) = 14*f(h) + 4*l(h). Let d be z(-4). Is 19 a factor of (-3)/d + 146/4?
True
Suppose 70 + 39 = 2*h - 3*v, -206 = -3*h - 4*v. Does 20 divide h?
False
Let h(j) = 47*j**2 + 2*j - 1. Let o(t) = t**2 - 2*t - 1. Let x be o(4). Suppose x*u - 3*u - 4 = 0. Does 16 divide h(u)?
True
Let o be 8/(7 + -3) - -1. Is 7 a factor of (-1)/o*0 - -14?
True
Let o = 30 - 6. Is 3 a factor of o?
True
Suppose 0 = 2*z + 2*z - 124. Does 14 divide z + (-2 + 2)/2?
False
Let p = 45 + -1. Does 11 divide p?
True
Suppose 0 = 5*m - 2*u - 2*u - 78, m - 3*u = 20. Is m*(-1)/(-1 + -1) a multiple of 3?
False
Let y be (-9)/(2 - -1) - 0. Is 12*y/(-3) - -1 a multiple of 13?
True
Let z = -280 - -472. Is 12 a factor of z?
True
Suppose 3*h - 6*f = -f - 30, 5*f = -2*h + 5. Is 27 a factor of 804/30 - 1/h?
True
Let b(w) = 4*w - 9. Let k be b(7). Let r = k + -12. Suppose -5*c - 140 = 2*y - r*y, -3*c + 9 = 0. Is 13 a factor of y?
False
Let s(a) be the first derivative of -1/4*a**4 + 3*a + 2*a**3 - a**2 + 3. Is s(5) a multiple of 18?
True
Suppose -5*k - 3*l + 1059 = 0, 644 = 3*k + 5*l - 1. Suppose -4*d + 90 = 2*s, -d - d = -4*s + k. Does 17 divide s?
True
Suppose l = 4, 4*s = 6*l - 11*l + 104. Is s a multiple of 7?
True
Let y(a) = 13*a**3 - a**2 + 5*a - 3. Does 26 divide y(2)?
False
Suppose -5*q + 13 - 3 = -5*v, 0 = -q + 2*v - 1. Suppose q*n = 2*n + 90. Does 13 div