 Is 5 a factor of t?
True
Does 4 divide ((-85)/17)/(6/(-336))?
True
Suppose -3*w + 250 = 2*w. Let b(p) = -2*p**2 + 3*p + 2. Let l be b(0). Suppose g - 4*y = -9*y + w, g - l*y = 57. Is 8 a factor of g?
False
Suppose -5*n - 4*q + 41 = 0, -10 = 2*n + 3*q - 32. Suppose -n*u + 5 = -5. Suppose 3*j - 2*j - 2*c - 28 = 0, 4*c = -u*j + 24. Is 10 a factor of j?
True
Does 11 divide ((-5299)/(-28))/(1/4)?
False
Is -13 + 19 + 4*2118/4 a multiple of 36?
True
Let l(r) = r**3 - r**2 - 3*r - 2. Let m be l(3). Suppose 0 = -3*x - k + 394, m*x + 3*k - 658 = 2*x. Does 25 divide x?
False
Let a be ((-6)/(-4))/(3/8). Suppose 344 = 3*x - a*r + 106, 3*r + 12 = 0. Is 10 a factor of x?
False
Does 10 divide 4/(-14) - ((-7194)/42 + -3)?
False
Let i(t) = 94*t + 4. Is 31 a factor of i(9)?
False
Let f = -98 + 153. Suppose 2*u - 5*b = -3*u + f, -u = -2*b - 14. Is u a multiple of 2?
True
Suppose 2*c - 145 = n, -3*n - 3*c - 135 = -2*n. Let q be n/(-21) + 2/7. Suppose -49 = -4*r + q. Is 7 a factor of r?
True
Let c(j) = 8*j + 1. Let t be c(-2). Is 3 - (-335)/t*-3 a multiple of 14?
True
Let b = 29 - 44. Let n = b - -39. Does 8 divide n?
True
Suppose 0*l + 4*l = 0. Suppose l = -n - 5*d + 7, -5 = -2*n + n - 3*d. Suppose -5*o + n*i + 101 = -123, -31 = -o + 5*i. Is o a multiple of 23?
True
Let z be 1*(16 + (0 - -1)). Suppose z = -o + 2*o. Does 3 divide o?
False
Let q(u) = -3*u - 37. Let d(w) = w - 10. Let r be d(-3). Is q(r) a multiple of 2?
True
Let q(b) = -b**2 - 4*b + 16. Let a be q(-7). Let g be a + -2 + (1 - 1). Does 5 divide g/((-14)/12) + -1?
True
Suppose 0*s - 8 = -2*s. Suppose -40 = 4*d - 12*d. Suppose 4*g + 3*l - 114 = 0, -d*g + s*l = -l - 160. Is g a multiple of 10?
True
Suppose 0 = 12*p - 14*p + 8, 0 = 2*f - 5*p - 120. Is f a multiple of 8?
False
Suppose 0 = -12*m - 1020 + 4752. Is 9 a factor of m?
False
Suppose -3*y - 5*t + 118 = -292, -2*y + 5*t = -240. Does 10 divide y?
True
Suppose 284 = 4*v - 636. Is 46 a factor of v?
True
Let y = -2633 + 3913. Is 16 a factor of y?
True
Let n be (-1)/(-4) + 4/((-80)/(-55)). Suppose -4*m + n*b - 20 = -5*m, -4*m - 3*b + 80 = 0. Does 3 divide m?
False
Let q(z) = z**2 - 5*z - 9. Suppose 0 = -2*d + 3*f + 20, 0 = -d - 5*f - 2 - 1. Let h be q(d). Suppose -130 = -h*l + 50. Is l a multiple of 13?
False
Let s(l) = 1049*l + 23. Let d(k) = -699*k - 15. Let i(j) = 8*d(j) + 5*s(j). Is i(-1) a multiple of 38?
True
Suppose -9*d = -5*d - 280. Is 10 a factor of (d/6)/((-2)/(-12))?
True
Let m = -206 - -378. Is m a multiple of 43?
True
Suppose -35*k = -31*k, 920 = 4*o - k. Suppose -2*r = -0*r - 4*s - 324, 0 = -3*s - 15. Let v = o - r. Is 13 a factor of v?
True
Let x(k) = -2*k + 15 - 5*k + 5 - 8 + k**2. Let v be x(5). Suppose 3*n = -5*f + 169, -v*n - 17 = -f + 3*n. Does 19 divide f?
False
Let l be (-5)/(-3 + 1 - -1). Suppose -h + l*h - b = -6, -4*b = h - 7. Is (3/1)/h + 61 a multiple of 13?
False
Suppose -z - 2*k + 192 - 25 = 0, -2*z + 340 = -2*k. Is 4 a factor of z?
False
Let p(m) = m**3 + 6*m**2 - 22*m - 25. Let w be p(-10). Let v = w - -475. Does 15 divide v?
True
Let y(m) = -159*m**3 - m**2 - 2*m + 2. Let c be y(1). Let h = c + 346. Does 19 divide h?
False
Let i(c) = c**3 + 9*c**2 - 4*c + 5. Let t be i(-9). Let m = t + -9. Let b = 39 - m. Is b a multiple of 5?
False
Let q(b) = b**3 - 6*b**2 - b + 3. Let w be q(6). Is 8 a factor of 107 + 0/(-2) + w?
True
Let c(k) = k**3 - 4*k**2 - k + 3. Let o be c(3). Let l(w) = -w**2 - 11*w + 6. Is l(o) a multiple of 24?
True
Does 14 divide (-3)/(6/8) + 46?
True
Let o = -41 + 44. Suppose 2*n + 106 = -0*d + d, -191 = -2*d - o*n. Does 10 divide d?
True
Is 15 a factor of 0 - (-43 + 18)*(-282)/(-5)?
True
Let d(m) = -56*m + 533. Is 7 a factor of d(-17)?
False
Is 13 a factor of 38285/(-190)*(0 + -2)?
True
Let y be (-18)/15*(-595)/21. Let p be (-2)/7 + (-152)/7. Let k = y + p. Is k a multiple of 4?
True
Let l(t) = 40*t**2 + 9*t - 1. Is 3 a factor of l(2)?
True
Suppose -4*o = -3*o - 4. Let i be 9/(-4) - (-1)/o. Is 9 a factor of (27/i)/((-2)/4)?
True
Let r = 1987 + -335. Does 28 divide r?
True
Suppose 0 = -24*u + 758 + 442. Is u a multiple of 5?
True
Let k(l) = 4*l**2 + 14*l - 86. Is k(8) a multiple of 47?
True
Let i = -25 - -30. Does 3 divide (i - -12)*(-2 - -3)?
False
Let b(k) = -k**3 + 7*k**2 - 13*k + 6. Let s be b(6). Suppose 2*d + 12 + 12 = 0. Let p = d - s. Is p a multiple of 8?
True
Let z be ((-10)/(-3))/((-4)/(-6)). Suppose 4*d + z*l = 31 + 21, -4*l = 0. Is 13 a factor of d?
True
Let v be ((-3)/(9/(-258)))/(-2). Is 18 a factor of -6 - v - (-2)/1?
False
Let r(g) = g**3 - 41*g**2 + 36*g - 145. Is 10 a factor of r(41)?
False
Let c(t) = 3*t**2 + 3*t + 6. Suppose 0 = 5*y - 4*y - 4. Does 33 divide c(y)?
True
Let j(x) be the second derivative of x**5/20 - 3*x**4/2 + x**3/3 - 7*x**2 + 4*x. Is j(18) a multiple of 22?
True
Suppose 13 = -5*y - 42. Let x(m) = -2*m**3 - 20*m**2 + 7*m + 30. Let i(t) = t**3 + 10*t**2 - 4*t - 15. Let b(r) = -9*i(r) - 4*x(r). Is b(y) a multiple of 22?
False
Let o(x) be the third derivative of -x**5/30 + x**4/24 + 31*x**3/6 - 2*x**2. Is 3 a factor of o(0)?
False
Suppose -3*r + 2399 = -2*n, -199*r - n + 4020 = -194*r. Does 30 divide r?
False
Suppose 40*v - 12692 = -2612. Does 6 divide v?
True
Suppose -4*y + 16 = 4*n, -4*n + 9*n = -y. Suppose 0 = -7*u - y + 96. Is u even?
False
Let i(a) = -1362*a**3 - a**2 + 15*a + 17. Does 29 divide i(-1)?
True
Let r be (-10 + -1)/((-11)/187). Suppose 7*a + 5*t = 6*a + r, 3*a - t = 577. Is 32 a factor of a?
True
Let q(p) = -57*p - 221. Is q(-5) a multiple of 64?
True
Let a be (-2)/(-6) - 3/36*4. Suppose a = 3*f - 4 - 62. Is f a multiple of 13?
False
Let x = 522 - 171. Suppose -4*i + 7*i - x = -4*n, -84 = -n + 3*i. Is (-3 + n/15)*5 a multiple of 7?
True
Is 28 a factor of (27/(-9))/(18/(-2256))?
False
Let g(h) = -10*h - 27 + 0 + 3 + 2*h**2 + 0*h**2. Does 19 divide g(10)?
True
Suppose -a + 3*f + 700 = 0, -700 = -a - f - 3*f. Does 14 divide a?
True
Suppose -445 = -4*q + 695. Suppose 3*p - 43 = 2*s - 190, -3*p - q = -4*s. Is 15 a factor of s?
False
Let x(a) = a**3 - 4*a**2 + 2*a - 6. Let n be x(4). Let p(m) = 5 + 6*m + n - 5 + 6. Is 11 a factor of p(6)?
True
Let d(a) = -a**3 - 2*a**2 - a + 3. Let h be (-120)/21*(-14)/4. Let x = h + -24. Is d(x) a multiple of 13?
True
Let g(h) = -8*h - 7. Let b(w) = -8*w - 6. Let y(v) = -2*b(v) + 3*g(v). Let x(l) = l + 1. Let t be x(-4). Is 15 a factor of y(t)?
True
Suppose a - t - 745 = 0, 11*a - 6*a = t + 3713. Does 31 divide a?
False
Let m(j) = -j**3 - 6*j**2 + 8*j + 8. Let c be m(-7). Suppose -1 = 3*x + 5. Is (c/x)/((-3)/180) a multiple of 12?
False
Suppose 0 = 5*q + 2*w + 235, -5*q + w + 3*w - 265 = 0. Let h = -28 - q. Does 14 divide (-16)/12*-1*h?
True
Let d = -5 - 1. Let t be 26/6 - d/9. Suppose -23 = -t*k + 57. Is 10 a factor of k?
False
Let g = -44 - -609. Suppose 0 = 3*d - g + 19. Does 25 divide d?
False
Let v be -5*(-9)/(180/5048). Suppose 4*l - 5*g - 998 = 0, v = 5*l - 0*l + g. Does 36 divide l?
True
Suppose -3*z - 462 = -0*z. Let r = -198 - -196. Is z/(-4)*(r + 4) a multiple of 21?
False
Suppose -2*q + 0 + 6 = 0. Let p = -116 + 243. Suppose q*m + 2*m - x = p, -3*x = -9. Is 13 a factor of m?
True
Is 89 a factor of 6/4*(-329840)/(-285)?
False
Let d be 1/(-3)*(14 + -452). Suppose -y - y = -d. Is 15 a factor of y?
False
Suppose 9*l = 4*l - 4*p + 1978, -5*l - p = -1987. Does 10 divide l?
False
Let p(r) = r**2 + 11*r + 15. Let j be p(-10). Suppose -2*u - 5*n = -117, -j*u + 349 = -5*n + 109. Does 14 divide u?
False
Let h = 354 - -4198. Is h a multiple of 80?
False
Let f(a) = -a + 2*a + 16*a**2 - 4*a**2. Let z be f(-1). Suppose -9*k = -z*k + 122. Is 15 a factor of k?
False
Let f(m) = -m**3 - 2*m**2 + 2*m - 3. Let x be f(-3). Suppose 0 = 4*n + 5*b - 48, n = -2*n - 4*b + 36. Suppose -r + 5*r - n = x. Is r a multiple of 3?
True
Let c(n) = -6*n - 5. Let f be c(-3). Let x(y) = y - 1. Let o be x(f). Is (o - -1)/(5/10) a multiple of 11?
False
Suppose -47 = -2*k + 27. Let d(f) = k + f - 25 - 28 + 4*f**2. Is 21 a factor of d(-5)?
False
Let p = 126 - 129. Is (-215)/p - (4/6 - 1) a multiple of 16?
False
Let j be 0 - (4*1/(-2) - 1). Suppose 3*b + j*v = 144, 0 = -3*b + 2*v - 7*v + 142. Does 7 divide b?
True
Let u = -121 - -283. Is u a multiple of 17?
False
Let q(c) = 2*c**3 - 39*c**2 - 80*c + 39. Is q(23) a multiple of 65?
False
Let a(h) = h**3 + 