. Is 24 a factor of u(-10)?
False
Suppose 4*r + a - 25 = 6*r, 3*r = -a - 45. Let i = -2 - r. Does 6 divide i?
True
Let w be (1/3)/(9/135). Suppose -w*v + 84 = -701. Let m = v + -76. Is m a multiple of 27?
True
Let c = -79 + 148. Is 9 a factor of 16 + -1 - c/(-23)?
True
Let n = 19 + -18. Suppose i + 7 = n. Does 3 divide (-16)/i - 2/(-6)?
True
Suppose -8*z = -2*h - 5*z - 23, 1 = 2*h + 5*z. Let b = 7 + h. Suppose -2*c - 5*w + 55 = 0, -3*c + 120 = -b*w - 5*w. Does 35 divide c?
True
Let d = -20 - 60. Let n = -38 - d. Does 7 divide n?
True
Let p(m) = -m**3 - 5*m**2 - 5*m - 2. Let z be p(-4). Let u be -151*(z - 4 - -1). Suppose -b - 1 = 0, 0*r + b = -4*r + u. Is r a multiple of 19?
True
Suppose -d = 5*r - 2*d - 190, 5*d + 136 = 3*r. Let w be (-9 - (7 + -20)) + 1 + 0. Suppose 0 = -w*i + 43 + r. Is i a multiple of 16?
True
Let h be 4 + -2 + (1 - 1). Suppose 0 = -p - 4*k - 104, 4*p + k = h*k - 331. Is 14 a factor of (p/9)/1*-3?
True
Suppose 3*s = -5*m + 1105 + 1788, 5*s - 2304 = -4*m. Does 42 divide m?
False
Let r be (-134)/17 + 22/(-187). Let h = r - -5. Is (h - 15*-3) + 2 a multiple of 11?
True
Suppose 0 = 2*k - 3*k - y - 1, -k - 16 = 4*y. Suppose -k*j + p = -2*p - 318, 3*j - 3*p = 237. Let w = j + -51. Is w a multiple of 30?
True
Suppose 19*l - 50 = 7. Suppose 100 = -0*a + a. Suppose 2*i + l*i - a = 0. Does 18 divide i?
False
Let t be (18/4)/(9/3228). Let b = t + -99. Is 2/(-7) + b/35 a multiple of 25?
False
Suppose -4*g + 0*g = -8. Let k(f) = 0 - g - 12*f + 1 + 7*f. Is 12 a factor of k(-9)?
False
Suppose 3*d = 4 - 1. Suppose u - d = x, 0 = x + 2 - 4. Suppose 4*z + 126 = u*l, 29 = l - 0*l + 3*z. Is 23 a factor of l?
False
Let i(y) = 2*y**3 - 2*y**2 - y - 1. Let p be i(2). Let n be p/(-10) + 47/(-2). Let t = -14 - n. Does 5 divide t?
True
Suppose 2*p - 102 = 3*f, -3*p - 3*f + f + 153 = 0. Suppose 0 = 2*b + b - p. Is b a multiple of 17?
True
Suppose 0 = -6*f - 2*x + 8412, -12*x + 15*x = 2*f - 2804. Does 24 divide f?
False
Let b(d) = 7*d - 3*d + 6 - 17 + d**2. Does 10 divide b(-7)?
True
Let x be -2 - (1 + -1) - -30. Let o be 8 + 7/(x/(-8)). Let s = o + 18. Is 6 a factor of s?
True
Suppose -4*d + 23 = 7. Suppose -3*v + d*p - 2*p + 204 = 0, 0 = p. Is 34 a factor of v?
True
Suppose 1263 = 44*n - 41*n. Is n a multiple of 40?
False
Let f = 1853 - 1145. Is f a multiple of 6?
True
Let n(w) = 53*w**2 + 5*w - 7. Let h be n(2). Let d = 407 - h. Is d a multiple of 8?
True
Suppose 6*f + 20 = 2*f. Let j(y) = 5*y**3 - 4*y**2 + 16*y + 24. Let u(b) = -2*b**3 + 2*b**2 - 8*b - 11. Let w(q) = -3*j(q) - 7*u(q). Is 28 a factor of w(f)?
False
Let w = 14 - 14. Does 4 divide (w - 5)*(-36)/10?
False
Suppose -3537 = -o - 3*r, -2*o + 13*r - 9*r + 7124 = 0. Does 24 divide o?
True
Suppose 18 = -11*o + 17*o. Suppose -m + 5*i = -3*m + 406, o*i = 2*m - 390. Is m a multiple of 33?
True
Let x = -641 - -949. Does 28 divide x?
True
Let g(y) = -13*y. Let t be (-2)/(-8) - 42/(-24). Let m be g(t). Let l = m - -44. Does 7 divide l?
False
Let t(j) = -7*j**3 + 45*j**2 - 37*j - 59. Let v(z) = 4*z**3 - 23*z**2 + 18*z + 30. Let f(g) = -3*t(g) - 5*v(g). Is 18 a factor of f(19)?
False
Let v(h) = h**3 + h**2 - 2*h. Let a be v(2). Is 7 a factor of (16*-1)/(a/(-12))?
False
Suppose -13*f + 8*f = -475. Is f a multiple of 43?
False
Let t = 1143 + -406. Suppose -2*o + t = 139. Does 23 divide o?
True
Suppose 0*w + 20 = 5*w. Suppose 31 - 395 = -w*h. Is h a multiple of 10?
False
Let d = -659 + 684. Suppose -4*b - 441 = -1325. Suppose -h + 4*v + 40 = 0, 3*v - b - d = -5*h. Is 12 a factor of h?
True
Is 4036/28 - (-3)/(-21) a multiple of 24?
True
Suppose 4*o + 4*w = 91 + 297, o + 2*w = 101. Suppose -3*d + 4*r + 420 = 0, 2*r + o - 513 = -3*d. Is 28 a factor of d?
True
Suppose -19*m = -22*m + 96. Suppose 71*i - 70*i - m = 0. Does 16 divide i?
True
Let b be 75/1*(-10)/(-15). Suppose 2*a = 2*t - b, t - 39 + 2 = -3*a. Does 7 divide t?
True
Let i be 5*(-51)/6*(7 + -5). Does 18 divide (-8598)/(-34) - (350/i - -4)?
False
Does 10 divide (-96 - -87)*(1 - (-596)/(-6))?
False
Let v(f) = f**2 - f. Let i(l) = 4*l**2 - 8*l + 7. Let c(y) = i(y) - 3*v(y). Let s be c(7). Suppose -2*a + 23 = -s. Does 11 divide a?
True
Suppose -l = 2*l - 21. Suppose 0 = -5*m + l - 27. Let a = m - -16. Is 4 a factor of a?
True
Let n(w) = -w**3 - 5*w**2 - 9*w - 7. Let f be n(-4). Is (f - 16)/(-3*2/160) a multiple of 20?
True
Let s(p) = p**3 - 7*p**2 + 16*p - 14. Does 55 divide s(10)?
False
Suppose -5*p + 3*p + 3*i + 411 = 0, -4*p = -2*i - 826. Is p a multiple of 11?
False
Suppose 2*o + 255 = 3*o. Suppose -4 = -10*v + 16. Suppose v*q = -q + o. Is q a multiple of 17?
True
Let s be (-1)/((-3)/(-2))*-12. Let y(t) = t**2 + 3*t + 5. Is y(s) a multiple of 11?
False
Let g = 29 - 9. Suppose -8*n = -3*n - g. Suppose -23 - 1 = -n*s. Is 5 a factor of s?
False
Suppose t - 137 = -3*h + 30, 4*t + 2*h - 688 = 0. Does 46 divide t?
False
Let z(x) = x - 5. Let r be z(-9). Let t = r - -19. Suppose l + t*k - 209 = -3*l, -3*k = -5*l + 215. Is l a multiple of 23?
True
Let x(f) = 21*f**2 - 5*f - 10. Is 12 a factor of x(-5)?
True
Suppose -3*f - 3*a = -0*f + 60, -5*f + 5*a - 130 = 0. Suppose 0 = 3*z - 3, s - 4*z + z = -51. Let i = f - s. Is i a multiple of 23?
False
Let f(o) = o**3 - 14*o**2 - o + 7. Let z be f(14). Let r be 3/(3 - 4) - z. Suppose 6*y - r*y + x = 138, 2*y + 3*x - 142 = 0. Does 17 divide y?
True
Suppose 0 = -p - 3*p + 140. Let l = -31 - -6. Let k = p + l. Is k a multiple of 8?
False
Is 3/(18/998) + (-410)/(-246) a multiple of 11?
False
Let q = -344 + 446. Is 17 a factor of q?
True
Let x(u) = -3*u + 5. Let i be x(-3). Let l = i - 12. Suppose 0 = -4*k + 2*r + 32, -k - l*k + r = -24. Does 3 divide k?
False
Suppose -4*y - 4*z + 1652 = 0, 0 = -2*y + 2*z + 966 - 136. Suppose 5*h - y = -3*r, 0 = -5*r + 2*h - 6*h + 677. Is 13 a factor of r?
False
Let r(v) = v + 1. Let b(m) = 2*m + 8. Let x(k) = b(k) - 8*r(k). Let t be x(-1). Suppose i + t - 15 = 0. Is 4 a factor of i?
False
Suppose -2*u + 128 = 2*u. Let d = 105 - u. Suppose -6*p + d = -41. Is p a multiple of 3?
False
Suppose -3441 - 710 = -7*u. Does 2 divide u?
False
Let l be (-51)/(-3) + 1*-1. Let z(p) = -15*p - 5*p**3 - 2*p**3 + 4*p**3 + 4*p**3 - 7 - 15*p**2. Is z(l) a multiple of 7?
False
Let x be 6/21 + (-117)/(-7). Let h be ((-5)/(-2) + -3)*(-2 + 16). Let d = x - h. Does 10 divide d?
False
Let t(b) be the first derivative of -b**3/3 + 3*b**2 + 7*b - 1. Let w be t(7). Suppose 27 + 32 = 4*s + a, w = 4*s + 2*a - 54. Is s a multiple of 16?
True
Let w(h) be the first derivative of -10*h**2 + 20*h + 12. Let r be w(6). Is 10/4*(-520)/r a multiple of 4?
False
Let o be 49 + (4 - 8)/4. Is 13 a factor of (-1533)/(-27) - (o/27 - 2)?
False
Let d(v) = 6*v**2 - 52*v - 454. Is d(-12) a multiple of 47?
True
Suppose 33 = z + 2*q - 97, 3*z = -2*q + 374. Suppose -g = 3*k - 196, 4*k - g + 4*g - 258 = 0. Let r = z - k. Does 14 divide r?
True
Suppose 1 = -2*y - 17. Let h be (-1)/(3/y) - 3. Suppose -2*v - 206 = -4*b, h*b - 5*b + 285 = 3*v. Does 18 divide b?
True
Let i(h) = -8*h - 2. Let f be i(-1). Suppose 2*z + f = 3*u - 2, 9 = 5*u + z. Suppose u*x - 3*l = 12, 2*l + 2*l + 28 = 4*x. Is x a multiple of 2?
False
Let d(j) = -5*j**3. Let m be d(-1). Suppose m*v = 10*v - 405. Let l = v + -31. Does 10 divide l?
True
Suppose 5 = v - 3*p, p + 15 = 3*v - 0. Suppose -5*a + 2*b = -b - 497, 3*b - 503 = -v*a. Does 20 divide a?
True
Does 21 divide ((-1851)/2)/(12/(-16))?
False
Let r be (-14*(-2)/(-4))/(-1). Suppose -r*l + l = -246. Is l a multiple of 14?
False
Suppose 4*t + 13 = -7. Let c = -3 - t. Does 26 divide ((-39)/12)/(c/(-32))?
True
Let f(w) = w**2 - 2*w - 4. Suppose h = -11 - 0. Let d = -5 - h. Is f(d) a multiple of 20?
True
Suppose 5*d + 2 - 177 = 3*o, 3*d - 129 = -3*o. Let r = -21 + d. Let w = r + 47. Is 10 a factor of w?
False
Let a = 410 - -58. Is a a multiple of 16?
False
Suppose -15*d - 3600 = -25*d. Is 40 a factor of d?
True
Let r(f) = -f**3 + 6*f**2 + 5*f + 6. Does 2 divide r(6)?
True
Let k(s) = 9*s**2 - 3*s + 5. Let f(q) = q**2 - 3*q - 7. Let y be f(5). Is 20 a factor of k(y)?
False
Let a(z) = 27*z + 30. Let k be a(13). Let d = k + -228. Is d a multiple of 22?
False
Let s(q) = 6*q - 35. Let r be 9 + -2 - (-1 + (-1 - 0)). Is s(r) a multiple of 12?
False
Let w = 1 - -1. Let l(q) = 3*q**w - 42*q**3 - 1 - q**2 + 0. Does 20 divide l(