7*q**2 - 11*q + 1. Suppose -l + 26 = 5*s - 4*s, 20 = s - 5*l. Let y = 17 - s. Does 25 divide p(y)?
True
Does 9 divide 182 - ((-8)/(-8) + -8)?
True
Let q(r) = 42*r + 70. Is q(15) a multiple of 28?
True
Let l(t) = 2*t**2 + 32*t + 15. Does 25 divide l(-17)?
False
Suppose -v - 4258 = -4*q - 3*v, -5*v + 1087 = q. Is q a multiple of 118?
True
Let c(y) = -2*y - 3. Let n be c(4). Suppose 0*x = 2*j + 3*x - 33, -5*j + 77 = 2*x. Let t = n + j. Is 4 a factor of t?
True
Suppose 2920 = 15*h - 10*h. Suppose -s + 283 = 3*n - 572, 2*n - 4*s = h. Is n a multiple of 25?
False
Let d = -21 + 23. Does 24 divide ((-440)/6 - d)*33/(-22)?
False
Let b(g) = g**2 + 2*g - 7. Let a be b(-5). Suppose -5*q - 3*v - 72 = 0, 3*q + 4*v = 6 - 58. Let h = a - q. Does 10 divide h?
True
Let c(d) = -d**2 + 15*d + 6. Suppose 0 = 5*y + 2*q - 57, -q = 4*y - 11 - 34. Let u be c(y). Suppose u = 2*r - 12. Is 8 a factor of r?
False
Is (-11 - -18238)/11 + -6 a multiple of 16?
False
Let o(h) = 27*h - 241. Let m be o(9). Let v(w) be the first derivative of 3*w**4/4 - 2*w**3/3 + 1. Does 4 divide v(m)?
True
Is (1 + 2/(-14))/(3/56) a multiple of 16?
True
Suppose -5*w + 76 = -404. Suppose -3*b = -39 - w. Is b a multiple of 9?
True
Let w(h) = h**2 + 8*h - 5. Let n be w(-9). Suppose 5*o - 2*d - 467 = -4*d, -n*d + 469 = 5*o. Suppose 5*m - 27 = -2*k, -m = 5*k + 3*m - o. Is k a multiple of 7?
True
Suppose 0*z - 84 = -3*z. Suppose -z = -2*u + 52. Is u a multiple of 5?
True
Suppose 0*v - 16 = -4*v. Suppose 605 - 45 = -10*z. Does 5 divide (z/4 + v)*-2?
True
Does 7 divide (8 + -9)/(1/(-315))?
True
Let a be (1/2 - 1)*0. Suppose a*t + 180 = 5*t. Suppose t - 10 = 2*c. Is 13 a factor of c?
True
Suppose -5*c - 7 = -4*r + 1, -c = -r + 2. Suppose c*l - 2*l + j + 127 = 0, 5 = j. Is 11 a factor of l?
True
Let l(a) = a**2 + 3*a - 9. Let h be l(6). Is (9 + 7)*h/6 a multiple of 40?
True
Let o = 20 - 17. Let z be o + 2/(-2) + 1. Suppose -3*k = 2*q - 138, -z*q + 0*k + 206 = 4*k. Is q a multiple of 22?
True
Let o = 15 - 10. Suppose -3*z + 2 = 11, 15 = -3*j - o*z. Suppose 62 = -j*d + 2*d. Is 9 a factor of d?
False
Let h be 2 + 44 - (-1 - 0). Let d = 67 - h. Is 5 a factor of d?
True
Let m = -107 + 308. Is m a multiple of 3?
True
Is 1520/((-12)/(-90)*5) a multiple of 19?
True
Let g(v) = -10*v**3 - 2*v**2 + v + 2. Suppose 13*x - 6 = 16*x. Is g(x) a multiple of 12?
True
Suppose 8*j - 3*j = 5. Let v be 445/(-20) - j/(-4). Let c = v - -36. Is c a multiple of 14?
True
Let b = 281 - 74. Is 3 a factor of b?
True
Suppose -5*n - g + 8 = 0, -2*n + 2*g = -5 + 9. Is 12 a factor of (2 + n)/((-4)/(-192))?
True
Suppose 3*q + 0 = 6. Suppose u - 3 = -q*u. Is u*(4 + -2)*5 a multiple of 5?
True
Let s(t) = -t**2 - 7*t - 5. Let j be s(-7). Let i = j - -1. Let g = 3 - i. Does 7 divide g?
True
Let n(w) = w**2 + 1. Let z be n(1). Suppose -4*r + 8 = -2*k, -26*r + 4*k = -22*r - 16. Suppose 4*i - 20 = r, -4*q + z*i + 171 = i. Is q a multiple of 24?
False
Let y be 4/6*405/10. Let s be (y - 13)/(-1*2). Let p(z) = -2*z - 6. Is p(s) a multiple of 8?
True
Let u(r) = r**2 + r + 108. Let o be u(0). Let k = -93 + 20. Let a = o + k. Is a a multiple of 12?
False
Let c(x) = 16*x + 33. Is 11 a factor of c(22)?
True
Let a = 9475 + -6382. Does 36 divide a?
False
Suppose -7*c - 146 = -419. Is 10 a factor of c?
False
Does 61 divide (-348930)/(-300) - 2/20?
False
Suppose 4*a + 0*j = -j + 9, 0 = -3*a + 2*j + 15. Suppose -5*h = 5, 0 = 5*t + h + a*h - 196. Is t a multiple of 8?
True
Suppose -567 + 147 = -m. Is 15 a factor of m?
True
Suppose o + 4*v = 900, 2*o + 6*v - 8*v = 1830. Is o a multiple of 48?
True
Let f(o) = -o**2 + 11*o - 24. Let v be f(7). Suppose 2*p = p - 4, 2*z - v*p - 138 = 0. Is z a multiple of 10?
False
Let q = -18 + 17. Let r(m) be the third derivative of 29*m**5/20 - m**3/6 - 13*m**2. Does 23 divide r(q)?
False
Let j(w) = w**2 + 42*w + 9. Let x(d) = -d**2 - 43*d - 8. Let f(z) = -6*j(z) - 5*x(z). Does 11 divide f(-17)?
False
Suppose 2296 = 9*y - 359. Is y a multiple of 5?
True
Let p = 3061 - 668. Is p a multiple of 21?
False
Does 16 divide ((-45)/(-18))/((-5)/(-2)) + 463?
True
Let f(u) = 2*u**3 + 5*u**2 - 10*u + 52. Does 54 divide f(9)?
False
Let s(t) = t**2 + 15*t - 31. Let b be s(-15). Let m = b + 43. Does 4 divide m?
True
Let b = 324 - 228. Is 3 a factor of b?
True
Let s(y) = 16*y**2 + 60*y - 35. Is s(8) a multiple of 47?
False
Let m(x) = x**2 - x. Let o(i) = -2*i**2 + 20*i + 4. Let h(c) = 12*m(c) + o(c). Does 7 divide h(-3)?
True
Let h = -998 + 1773. Is 31 a factor of h?
True
Let d(j) = 170*j - 3. Let o be d(4). Let v = o + -482. Suppose 2*w = 5*w - v. Is w a multiple of 18?
False
Let y = 42 - 133. Let z = -33 - y. Is z a multiple of 17?
False
Let u(z) = 4*z - 11. Let y be u(8). Let i = 41 - y. Suppose -a + i = a. Is a a multiple of 7?
False
Let z(p) = p**2 + 13*p + 15. Let u(w) = -5*w + 8. Let c be u(4). Let l be z(c). Suppose -l*v = v - 420. Does 32 divide v?
False
Let u(p) = -p**3 + 9*p**2 + 2. Let w be u(9). Let g(s) = -s**2 - 13*s - w - 2 + 12. Is 8 a factor of g(-13)?
True
Let n = -259 - -487. Suppose 11*w = 8*w + n. Is 37 a factor of w?
False
Let a(o) = -o**3 + 5*o**2 + 2*o - 6. Let q be a(5). Suppose -q - 44 = -4*m. Is m a multiple of 3?
True
Suppose -2*c - 16 = -5*q + c, 8 = 4*q - 4*c. Suppose -4*u + q*y + 8 = 0, -u - 4*u = 5*y - 10. Suppose 5 = -k, 3*a - 5*k - 243 = -u*k. Is 19 a factor of a?
True
Suppose 5*y = w + 659 + 1082, -y - 5*w + 343 = 0. Suppose y = 4*r + 2*r. Does 35 divide r?
False
Suppose u = -0*u - 61. Is 24 a factor of (-1)/(-2)*0 - u?
False
Suppose 0 = 3*s - a - 144 - 213, -487 = -4*s + 5*a. Is 20 a factor of s?
False
Let u be (-1647)/18*8/(-6). Let o be u/4 - 3/(-6). Does 14 divide o/2*-1*-6?
False
Suppose -4*j = -4*f - 7684, -100*f + 7682 = 4*j - 102*f. Is 12 a factor of j?
True
Let n(v) = 49*v**2 - 2*v - 3. Let m be n(-2). Let f(i) = -4*i**2 - 22*i - 17. Let s be f(-4). Suppose 2*y - z = s*y - m, -z = -4*y + 163. Is 20 a factor of y?
True
Let l(k) = 8*k**2 + 3*k + 45. Let m(a) = -2*a**2 - a - 11. Let v(g) = -2*l(g) - 9*m(g). Is 4 a factor of v(-3)?
False
Suppose 2*b - 6*b - 3*f - 6 = 0, 3*f = -2*b. Let a = b + 7. Is -2 + 52 + (a - 0) a multiple of 9?
True
Let d(u) be the second derivative of 29*u**3/6 + 35*u**2/2 - 14*u. Does 12 divide d(5)?
True
Let q = -18 - -7. Does 22 divide (10 + q)*(1 + 0) + 84?
False
Suppose -5*d - 15 = -3*l - 2*l, -l + 2 = -2*d. Suppose 3*u = -3*p + 231, l*p - 48 = 2*u - 226. Does 37 divide u?
False
Let n = 4 - 4. Let l(m) = -8*m + 6*m + n - 8*m - m**2 - 1. Is 3 a factor of l(-6)?
False
Let k(b) = -23*b + 3. Let h be k(3). Is (-12)/h + (2 - 2766/(-33)) a multiple of 11?
False
Let p(o) be the second derivative of -o**5/20 + 7*o**4/12 - 2*o**3/3 + 3*o**2 + 5*o. Let b be p(5). Does 13 divide (-3)/3*-3 + b?
True
Let b be -1 - 5/((-20)/(-24)). Suppose m - 68 = -3*m. Let s = m + b. Is s a multiple of 5?
True
Suppose 2*c - 289 = 5*u, 7 = -2*u + 1. Let t = -77 + c. Is 20 a factor of t?
True
Suppose 7*q + 96 = 8*q + 2*l, 4*l = 4*q - 348. Is 3 a factor of q?
True
Is 19 a factor of -34*(-129)/18 - (-42)/(-63)?
False
Let u = 1053 + -855. Does 4 divide u?
False
Suppose 0*h - 4*s = -3*h - 623, -h = 5*s + 195. Let n = h + 295. Is n a multiple of 18?
True
Let f(q) = -q**3 + 2*q**2 + q - 9. Let y be f(-4). Suppose 3*m = 2*m + y. Let v = 167 - m. Is 13 a factor of v?
False
Is 39 a factor of ((-104)/2)/((-6)/72)?
True
Let o = -5 - -5. Suppose u + u = o. Suppose 66 = -u*x + 2*x. Does 11 divide x?
True
Let y(g) be the third derivative of g**5/60 - g**4/4 + 5*g**3/6 + 7*g**2. Does 12 divide y(7)?
True
Is 0*(0 - -1) + 37554/22 a multiple of 6?
False
Let b = -42 + 39. Let q(k) = -38*k + 21. Is 45 a factor of q(b)?
True
Let y(z) = 2*z**2 - 2*z + 1. Let h be y(2). Let k be 15/(2 - (-7)/(-4)). Suppose h*w - k = -5*t, -4*t + 4*w = -55 - 1. Is t a multiple of 4?
False
Suppose -13098 = 9*t - 15*t. Is t a multiple of 29?
False
Let g = -1147 - -1609. Does 22 divide g?
True
Suppose -7*a + 1860 + 3292 = 0. Does 32 divide a?
True
Suppose -4*w = -4*p + 468, -6*p + 2*p + 495 = 5*w. Is 15 a factor of p?
True
Let h = 180 - 75. Let n = h - -172. Is 11 a factor of n?
False
Let q(z) be the first derivative of -z**2 - 3*z + 13. Is q(-8) a multiple of 13?
True
Let j = 3657 - -1389. Is 31 a factor of j?
False
Let b(c) = c**3 - 6*c**2 -