alse
Suppose 27 = -3*d + 153. Suppose d = 4*r + 2. Is 10 a factor of r?
True
Let m(i) = -i**3 + i. Let g be m(1). Let a(s) be the first derivative of s**4/4 + s**3/3 - s**2/2 + 29*s + 1. Does 11 divide a(g)?
False
Suppose 0 = -p - 3*p. Let h = 0 + p. Let b = 21 - h. Does 16 divide b?
False
Is 14 a factor of (-5)/15 - (-133)/3?
False
Let g be (-5)/5*(1 - 0). Suppose 0*t = 4*t. Does 2 divide t - -1 - 2/g?
False
Suppose -3*q - 2*q = 225. Is 15 a factor of q/(-10)*40/6?
True
Let p(y) = -y**3 - 4*y**2 - 2*y + 2. Let j be p(-3). Let z be (-2)/(j*2/(-10)). Is 6 a factor of (6/5)/(z/(-100))?
True
Let l be -6*(1 - (-12)/(-9)). Is 18 a factor of 192/40*15/l?
True
Let j(a) = 7*a**2 + 2*a + 17*a**2 + 1 - 2 - 1. Is 5 a factor of j(1)?
False
Let o = 25 - -15. Does 20 divide o?
True
Let c be ((-2)/(-5))/((-5)/(-25)). Suppose c = -4*g + 30. Let j(l) = 2*l - 7. Does 3 divide j(g)?
False
Suppose 3*f = -8 + 50. Let q = 10 + f. Suppose -4*y = d - 56, 2*d - y = 43 + q. Does 13 divide d?
False
Let p(v) = -v**2 - 9*v - 9. Let c be p(-7). Suppose -t + c*t = 0. Suppose -2*m = t, -2*m + 20 = b + 2*m. Does 10 divide b?
True
Suppose -4*i + 247 - 63 = 0. Is i a multiple of 8?
False
Let h be (-2)/(-2) + -16 + 2. Let s = h + 62. Let w = s + -33. Is w a multiple of 13?
False
Suppose -2*v - z = 4*z - 34, -2*z + 8 = 0. Does 2 divide v?
False
Let a be 2/(-1) - 0/(-2). Let v(h) = -6*h**2 - 3*h - 3. Let g be v(a). Is (-14)/g + 64/3 a multiple of 10?
False
Let h = 11 - -8. Let w = h - -10. Does 12 divide w?
False
Let f(u) = -u**2 - u + 36. Does 18 divide f(0)?
True
Let u(o) = 3*o - 5. Does 10 divide u(5)?
True
Let p be 4/(-10) - 54/15. Let v = 258 + 186. Does 16 divide v/15 - p/10?
False
Let d(x) = -3*x - 10*x**2 + x**3 + 5 + 9 + 2*x. Let h be d(10). Let c = h - -3. Does 7 divide c?
True
Let q = -28 - -79. Does 17 divide q?
True
Suppose 533 = 5*l - 37. Does 6 divide l?
True
Let t(s) = -3*s**3 - 1. Let j be t(-1). Let v be (4/(-6))/(j/(-6)). Does 12 divide 1/v + 220/8?
False
Suppose 5*j + 13 = -g, -2*j + 4*j = -4*g + 2. Is 2 + -1 - (-50)/g a multiple of 8?
False
Suppose -3*g = 15, -4*f + f - g = -163. Does 6 divide f?
False
Let w = -9 - -13. Suppose 0 = 2*r - 2, 2*q + 3*r = w*q - 79. Is 15 a factor of q?
False
Let f = 20 - 72. Let n = -27 - f. Does 18 divide n?
False
Suppose -3*s = -4*f + 344, -s + 6*s - 4*f = -584. Let i = s - -176. Let u = -26 + i. Does 15 divide u?
True
Suppose 2*h + h = 69. Let c = h + -13. Is c a multiple of 5?
True
Let n = -18 - -6. Let g(c) = -c**3 - 13*c**2 - 11*c + 6. Let x be g(n). Let a = x - -10. Does 4 divide a?
True
Let i(u) = 9*u**2 - 2*u. Is i(3) a multiple of 25?
True
Let f(m) = -m**3 + 5*m**2 + 6*m. Suppose 2*q + 2 = q + 4*y, 5*q = 3*y + 24. Let g be f(q). Let u = g + 4. Does 3 divide u?
False
Does 4 divide 2/15 + (-2598)/(-90)?
False
Let n(k) = 32*k**2 + k + 1. Let r be n(-1). Suppose 5*h - r = h. Is 7 a factor of h?
False
Let c be ((-2)/4)/(3/(-468)). Suppose -4*k + k = -c. Does 13 divide k?
True
Let i = 8 + -4. Let s be (i - 1)*(-22)/3. Let g = -8 - s. Is 7 a factor of g?
True
Let d = 320 + -204. Suppose -v + 262 = 4*v + 2*a, 2*v = 2*a + d. Suppose -3*q - 3*w + v = 0, -2*w = -6*w - 16. Is 11 a factor of q?
True
Suppose 4*y + 12 = 28. Suppose y*f + 1 = a, -3*a = -4*a + 3*f + 6. Is 21 a factor of a?
True
Let f = 24 - 16. Let i = 5 + f. Is i a multiple of 13?
True
Let y = 13 + -1. Suppose t + 0*r - y = r, 5*r + 46 = 4*t. Let o = 28 - t. Is o a multiple of 9?
False
Let s(f) = -f**3 - 9*f**2 - 5*f - 9. Is 8 a factor of s(-9)?
False
Let v = -65 - -201. Does 34 divide v?
True
Let c be ((-3)/(-3))/(2 + -1). Let m(o) = 20*o - 1. Does 16 divide m(c)?
False
Let f be 6*3/18*-3. Does 26 divide 45/1 - 6/f?
False
Suppose -3*k - 5*v + 30 = -2*k, 2 = v. Suppose -2*m = -7*m + k. Suppose 0*c = -m*c + 20. Does 2 divide c?
False
Suppose -2*z + z = -8. Let n = z + -8. Suppose 3*s - 3 - 21 = n. Is 3 a factor of s?
False
Suppose -2*y - 231 = -5*y + 3*h, -2*h = -4*y + 318. Let x = -49 + y. Is x a multiple of 11?
True
Let f = 153 + -280. Let l = -75 - f. Is l a multiple of 22?
False
Let x = 6 - 2. Suppose -x*p + 57 = -7. Is p a multiple of 5?
False
Suppose -2*w - 2*w + 52 = 0. Let s = w + 25. Does 14 divide s?
False
Let n be 19/7 + (-6)/(-21). Suppose 0 = n*t - 18 + 3. Is 2 a factor of t?
False
Let c(i) = -5*i + 5*i - 5 + 4*i - 2*i. Is c(4) a multiple of 3?
True
Let t = -49 - -105. Is 28 a factor of t?
True
Let d(r) = -r**3 - r**2 + 8*r. Let c(x) = -x**3 + 7*x - 1. Let k(t) = 4*c(t) - 3*d(t). Does 8 divide k(3)?
True
Let f = 1 + 0. Let z be f*3/(3/11). Let d = 21 - z. Is d a multiple of 8?
False
Suppose z = 5*z - 8. Suppose z*l - 499 = -3*w, 5*l - 175 = -2*w + w. Suppose -3*m + w = -5*g, 2*m + 62 = 3*m - 4*g. Does 17 divide m?
False
Let m(z) = -z**2 - 21*z - 14. Let b be m(-11). Suppose -4*k - b = -6*k. Suppose 32 = 4*o - k. Is o a multiple of 20?
True
Suppose -b + 2 = -0. Suppose c - b*c + 17 = 0. Suppose 4*v = -3*o + 41 - 3, o - 3*v - c = 0. Is 10 a factor of o?
False
Let u = 5 - 2. Suppose 5*j - 3*t - 171 = u*j, -5*t = 3*j - 266. Suppose -5*y + j = -98. Is 15 a factor of y?
False
Let x(r) = r**2 - 3*r. Let q be x(3). Let v be (q - 18/15)*5. Let t(p) = -7*p - 7. Is t(v) a multiple of 18?
False
Suppose -2*v - 13 = 15. Let t = 6 + v. Is ((-6)/(-4))/((-2)/t) a multiple of 3?
True
Let y be (-4)/(-6) + 3010/21. Let j be (2/4)/((-4)/y). Does 9 divide (-4)/j + 1340/45?
False
Suppose -7*o + 10 = -2*o, -4*o = -g - 2. Suppose 0*f = 2*f - 4*n - g, -4*f = -2*n. Is (-2 - -9) + f + -1 a multiple of 3?
False
Suppose 7*l - 907 = -67. Is l a multiple of 40?
True
Let s(a) = -26*a - 19. Let n(k) = -5*k - 4. Let i(g) = 11*n(g) - 2*s(g). Does 14 divide i(-11)?
False
Let f(x) = x - 2. Suppose -2*t = -17 + 5. Is f(t) a multiple of 2?
True
Let d = 10 - 39. Let r = 25 - d. Does 18 divide r?
True
Suppose -12 = -5*p + 2*p, 2*z = -5*p + 66. Is 2 a factor of z?
False
Let y be 395/20 - 1/(-4). Let j be ((-10)/4)/((-2)/y). Suppose 4*k + 101 = 3*o + j, -104 = -5*o + k. Is 20 a factor of o?
True
Suppose 5*d = 3*d. Suppose -5*z + 4*z - 3 = d. Is 12 a factor of 98/4 + z/(-6)?
False
Suppose 2*r - q = -5, -5*r + 5*q = q + 20. Let h be (-2)/((-4)/(-22))*1. Let j = r - h. Does 11 divide j?
True
Let w be (8/6)/((-1)/3). Let c(u) be the second derivative of u**4/12 + u**3/2 - u**2/2 - u. Does 2 divide c(w)?
False
Let s = 8 + -5. Let z = 0 + s. Suppose -v = -3*p - 11, v = -z*v + 4*p + 36. Does 8 divide v?
True
Let g(z) = -z**3 + 5*z**2 - 3*z - 5. Let n be g(4). Suppose 3*q = 17 - 86. Is (-1 - q) + n + 1 a multiple of 15?
False
Let s = 88 + -303. Is s/(-35) + 2/(-14) a multiple of 3?
True
Let c = -104 + 45. Let i = c - -119. Suppose d = 6*d - i. Is 12 a factor of d?
True
Suppose 6*z + 84 = 3*z. Let u = z - -48. Does 6 divide u?
False
Suppose 118 + 67 = 5*d. Suppose 3 = k + 4*q, 5*k - 3*q - 121 + d = 0. Suppose 0 = o - 0*o - k. Does 6 divide o?
False
Is 13 a factor of (99 + -4 + -4)/(-2 - -3)?
True
Suppose 8 + 16 = i. Let h = i + 9. Is 11 a factor of h?
True
Let g(c) = c**2 - 7. Does 9 divide g(-5)?
True
Suppose 8*t - 633 = 359. Is t a multiple of 31?
True
Let v be 2/6*(1 - 1). Suppose v*k = -5*k + 130. Does 15 divide k?
False
Let y(c) = -c**3 - c**2 - c - 1. Let j(h) = -4*h**3 - 6*h. Let w(f) = j(f) - 3*y(f). Let i be w(2). Is (0/1 + i)*11 a multiple of 11?
True
Let v(i) = -5*i - 1. Is v(-8) a multiple of 13?
True
Let d(s) = s**3 + 3*s**2 - 4*s. Let p be d(-4). Suppose -5*r = -p*r - 10. Does 12 divide 0 + r + (-34)/(-1)?
True
Suppose m - 111 = -36. Is m a multiple of 15?
True
Let z be 1/(-3)*(-8 + 5). Is 44/z - 12/4 a multiple of 9?
False
Let l(o) = -o**2 + 12*o - 1. Let t = 11 - 2. Is l(t) a multiple of 6?
False
Let k be (16/(-10))/((-7)/105). Suppose -2*z - 4*m = -k, -2*z - 3*m = z - 27. Is 6 a factor of z?
True
Let t(z) = z - 7. Suppose l = -3*l + 36. Let m be t(l). Suppose -7*k + m*k = -30. Is k a multiple of 5?
False
Let p(g) = g**2 + 6*g + 3. Let n = -71 + 29. Let d be 2/5 + n/5. Is p(d) a multiple of 12?
False
Let k be -3*4/(-6) + -2. Let r(j) = -3*j**3 - 1 + k - 4*j**3. Does 4 divide r(-1)?
False
Suppose 0 = 3*o - 0*o - 279. Is 4 a factor of o?
False
Is 11 a factor of (0 - (-4)/(-18)) + (-461)/(-9)?
False
Let f(g) = 6*g**2 - 2 + g**3 + 4*g + 0*g**2 + 4. Is 18 a factor of f(-4)?
True
Let d = 185 + 