s 21 divide (-3)/((75/x)/(-5))?
False
Let z(c) = 86*c**3 - c**2 + c - 1. Let m(a) = 172*a**3 - 3*a**2 + 2*a - 2. Let q(u) = -3*m(u) + 7*z(u). Is q(1) a multiple of 22?
True
Let i(y) = -75*y - 105. Does 28 divide i(-7)?
True
Let m(r) = -r - 5. Let p(k) = -k**2 - 6*k - 9. Let f be p(-6). Let u be m(f). Suppose -4*d - 4*h + 152 = 0, u*d + h = -h + 148. Does 15 divide d?
False
Let a(c) = c**2 - 12*c + 11. Let b(j) = 5*j**2 - 14*j + 2. Let n(s) = s**2 - s. Let m(z) = b(z) - 6*n(z). Let l be m(-6). Is 19 a factor of a(l)?
False
Suppose 3*k - 92 - 1 = 0. Suppose 2*j = -2*c - 3*c + k, -5*j + 5*c - 10 = 0. Suppose -2*v = b - 16, 3*v + j + 0 = 3*b. Does 6 divide b?
True
Let d(y) = 47*y**2 - 3*y - 6 + 2*y + 2*y. Does 23 divide d(2)?
True
Suppose 0 = 4*g + 5*s - 2026 - 536, -2*g - 4*s + 1284 = 0. Does 22 divide g?
True
Let b be 1 + 28/(-3 - 1). Let h(v) = -v**3 - 7*v**2 - 9*v. Does 9 divide h(b)?
True
Let n(w) = 26*w**2 - 16*w - 5. Does 7 divide n(5)?
False
Let n be (-6)/21 - (-44)/7. Let i be (-16)/(-9) + n/27. Suppose 4*z + 4*b - 152 = 0, i*b = -b + 12. Is 12 a factor of z?
False
Suppose -5*h - 5*g = -10, 5*h + 10 = -g + 6*g. Let d = -144 - -188. Suppose 2*t - d = -h*t. Does 22 divide t?
True
Let c be -6 + (-3 + 1 - -2). Is 18 a factor of (30 - 21)/((-1)/c)?
True
Suppose -2*m = 8*m - 2280. Is 28 a factor of m?
False
Let c(g) = 1 - 3*g**3 - 18*g**3 - 2. Does 19 divide c(-1)?
False
Does 28 divide (-63600)/742*42/(-4)?
False
Let j be (8 - 0)*6/3. Let s = 22 - j. Suppose -i + s*i - 2*r - 150 = 0, -3*i = -5*r - 109. Does 13 divide i?
False
Let s = 304 - 148. Suppose -v + s = 3*v. Is v a multiple of 16?
False
Let m be -3 + 1 + 1*-30. Let z = m - -42. Does 6 divide z?
False
Let o(q) = 2*q**2 + 4*q - 3. Let x = 16 + -8. Suppose -2*d - 4*k - 4 = 0, x*d - 4*d - 2*k - 22 = 0. Is 21 a factor of o(d)?
False
Suppose 25*s - 23*s = 6. Let p(v) = 5*v - 2*v - s*v - 87*v. Does 29 divide p(-1)?
True
Let v be (-3)/1 + 122/2. Suppose -3*u + v + 59 = 0. Is u a multiple of 13?
True
Suppose 202*u = 203*u - 200. Is u a multiple of 40?
True
Let c = -722 - -962. Is 10 a factor of c?
True
Let z = 21 + -17. Suppose 140 = z*w + w. Suppose 2*t - w = 36. Is 7 a factor of t?
False
Let l(k) = -k**2 + 8*k - 5. Let w be l(7). Is 66 - (w + 0 + 1) a multiple of 35?
False
Suppose -3*k = -2*k - 2*v + 5, -v = -2. Suppose -13*z + 10*z = -60. Let q = k + z. Is q a multiple of 19?
True
Let m = -10 + 13. Let j be (-1 - (-6)/m) + -16. Let t = 44 - j. Is 16 a factor of t?
False
Let c = -922 - -1107. Is 9 a factor of c?
False
Let o = -750 - -886. Does 8 divide o?
True
Let n(b) be the first derivative of 6 - 1/3*b**3 - 7*b - 11/2*b**2. Is n(-9) a multiple of 11?
True
Suppose -15*g + 285 + 195 = 0. Does 6 divide g?
False
Suppose -6 = -5*z + 14. Suppose 0*h + h = p + 62, 0 = -5*h - z*p + 265. Let i = -36 + h. Does 7 divide i?
True
Let s(m) = m - 18 - m**3 + 437*m**2 + 0*m - 417*m**2. Is s(20) even?
True
Suppose 8*g - 5*g + 4*p - 233 = 0, -3*p = -2*g + 144. Is 15 a factor of g?
True
Suppose 0 = 5*i + 4*k - 123, -3*k = 3 + 6. Suppose i*d + 9 = 30*d. Is d even?
False
Let i(w) = 3*w**2 - 20*w - 19. Let q be i(17). Suppose 2*k = -2*k + q. Is k a multiple of 14?
False
Suppose 1253 = 21*u - 490. Does 44 divide u?
False
Let d be 9/3 + 0 + 37. Let f = 47 + d. Is f a multiple of 25?
False
Let c(p) = 2*p + 16. Let j be c(-6). Suppose 4*d - 458 = -d - j*k, 3*d - 2*k - 266 = 0. Does 10 divide d?
True
Does 30 divide ((-372)/(-8) - -1)/((-2)/(-24))?
True
Suppose k + 68 = 2*j + 3*k, -j + k + 44 = 0. Suppose 3*c = 3*g + j, 5*c - 2*g - 59 = 9. Suppose 0 = t - c + 2. Is t a multiple of 5?
False
Let h(x) = 2*x + 10. Let b be h(-6). Is -1*(1 + (b - 24)) a multiple of 3?
False
Let h = -1419 + 1505. Does 79 divide h?
False
Let h be 161 + ((-15)/3)/5. Suppose -5*r = 5*k - 210, -4*r - k + h = k. Is 2 a factor of r?
True
Suppose -58*u = -52*u - 168. Does 2 divide u?
True
Let z = -2 - 13. Suppose 0 = -5*y - 5238 - 62. Is y/z + (-1)/(-3) a multiple of 18?
False
Is (6/(-12))/(1/(-504)) a multiple of 36?
True
Suppose -3*d - 39 = -0*h + h, -2*h - d = 53. Is 14 a factor of 0*(-6)/h + 25?
False
Let f(m) = 15*m**2 - 16*m + 49. Is 39 a factor of f(-9)?
False
Suppose 0 = s - 4*w - 352, -437 = -2*s + 2*w + 279. Is s a multiple of 25?
False
Let x(p) = -p**2 + 3*p - 16. Let a(i) = -34 + 7 - 20 + 3*i**2 + 10*i - 7*i**2. Let c(m) = 2*a(m) - 7*x(m). Is c(0) a multiple of 5?
False
Let k = 77 - -16. Suppose 0 = 4*l - 2*c - 121 - k, 5*c = -3*l + 180. Does 11 divide l?
True
Let k(t) = t**2 - 4*t - 2. Let g be k(5). Let m(p) = -p**3 + 21*p**2 + p - 25. Let j be m(21). Is j + 1*(g + 17) a multiple of 5?
False
Let y(f) be the third derivative of -f**6/120 + f**5/20 - f**4/8 + f**3/2 + 4*f**2. Let p be y(2). Let a(r) = 84*r**3 + r**2 - 2*r + 1. Does 21 divide a(p)?
True
Let h(d) = -6*d + 2. Let a be h(1). Let i = a - -12. Is i a multiple of 2?
True
Suppose -4*b = 3*b + 427. Let q = b + 71. Does 4 divide q?
False
Let y be 98/6 - (-6)/9. Suppose -y*b = -14*b - 270. Does 24 divide b?
False
Let k = 13 + -12. Suppose 7 = 4*w - k. Suppose a + w*a = 63. Is a a multiple of 7?
True
Suppose -z + 6*z = 0. Suppose 11*h - 8*h - 189 = z. Is h a multiple of 31?
False
Suppose 5*u + 1924 = 4*r, -4*u = 27*r - 24*r - 1443. Is 51 a factor of r?
False
Let s = -258 + 508. Let p = -134 + s. Suppose 3*h + 4*v - 56 = 2*h, -2*h = 4*v - p. Is h a multiple of 20?
True
Suppose 36*x - 27*x = 1710. Is x a multiple of 9?
False
Let x be 5/2*16/5. Suppose -g = 4*p - 157, -6*p + 114 = -3*p + 2*g. Let z = p - x. Is z a multiple of 19?
False
Let j be ((-3)/(-4))/(14/(-2184)). Let f = j + 207. Is f a multiple of 31?
False
Suppose 11*k = 6*k + 25. Suppose -107 = -q - 4*u + 3*u, -527 = -k*q - 3*u. Is 13 a factor of q?
False
Is 14/((-2 - -8)/246) - 3 a multiple of 19?
False
Let l(g) = -6*g + 3*g - 4 - 6. Let w(y) = 5*y + 20. Let z(o) = 7*l(o) + 4*w(o). Does 13 divide z(-10)?
False
Suppose 0 = 28*d - 5151 - 11089. Is 29 a factor of d?
True
Let d(m) be the third derivative of -m**5/60 - 11*m**4/24 - 5*m**3/3 - 7*m**2. Let a be d(-10). Suppose a*l - 8 = -2*l, l + 112 = 2*s. Is s a multiple of 29?
True
Is -2 - (-2)/((-16)/(-1720)) a multiple of 18?
False
Let r(i) = -i**3 + 8*i**2 - 5*i - 2. Let t be r(7). Suppose 5*a + 194 = -3*z - t, 4*a + 175 = z. Let b = a + 107. Is 16 a factor of b?
True
Suppose 0 = q - 2*z - 15, z - 3 = 4*q - 42. Let x(p) = -p**3 - 6 + 2*p - p + q*p**2 + 12*p. Does 9 divide x(10)?
False
Suppose -275*v = -272*v - 3420. Is v a multiple of 53?
False
Is 1088 + ((-12)/2)/(-2) a multiple of 11?
False
Suppose -h - 3 + 6 = 0, -337 = -4*s - 3*h. Let f = 120 - s. Does 4 divide f?
False
Suppose v - 45 = -4*j - 2, -4*j + 4*v + 68 = 0. Let k = -11 + j. Let u = 7 + k. Is u a multiple of 2?
True
Let u be 2 - (-6 - 4/(-1)). Suppose 2*w = -2*i + 318, 4*i + u*w + 456 = 7*i. Is i a multiple of 26?
True
Suppose -13*i = -10*i - 9. Suppose i*n - 23 - 160 = 0. Suppose -6 = k - n. Is k a multiple of 14?
False
Suppose -o + 52 = x, 4*o + 72 = -0*x + x. Is x a multiple of 8?
True
Let c = 469 - 189. Is c a multiple of 8?
True
Let z = 1967 + -1130. Is 5 a factor of z?
False
Let z = 10 - -7. Suppose -146 + z = -3*f. Is f a multiple of 18?
False
Suppose -8*q = -7*q - 138. Does 13 divide q?
False
Does 64 divide (-19 - (1 - -3))*(-10 - 1)?
False
Suppose 11*q + 2100 = 41*q. Is 2 a factor of q?
True
Let x(g) = -2*g + 71. Is x(-35) a multiple of 2?
False
Suppose 0*t = -5*v - 4*t + 37, -4*t = -4*v + 44. Suppose -c + 5 = r, -v = 4*r - 2*c + 1. Suppose -j = -z - 23, r = j + 2*j - 4*z - 72. Is 20 a factor of j?
True
Let g be 0/(-7) + 1 + 3. Suppose 0 = 4*m + 2*a - 24, -2*m + g*m + 3*a = 20. Suppose m*y + 4*k - 40 = 0, 2*k + 9 = 2*y - 11. Does 10 divide y?
True
Suppose -4*a + 1949 = 149. Does 20 divide 1/(1 - 448/a)?
False
Let p = 522 + -287. Is 12 a factor of p?
False
Suppose f = -x - 139, -3*f + 5*x - 565 = f. Let r = f + 39. Let l = r - -169. Does 19 divide l?
False
Let f(s) = -s**2 - 15*s + 16. Let y be f(-13). Suppose -y*g + 39*g = -288. Does 16 divide g?
True
Suppose -129*k = -135*k + 6552. Is k a multiple of 14?
True
Let j(l) = -2 + 4 - 10*l + l**2 + l. Suppose 8*x - 12*x = -48. Is j(x) a multiple of 13?
False
Let u be (-1 + 2 + 0)*(2 + -2). Suppose u = 4*j + 49 - 549. Is j a multiple of 25?
True
Suppose