of l?
True
Suppose -5*f - 5 = 5, -3*g = f - 10. Let q be g + 26/2 - 0. Suppose 0 = 7*b + q - 444. Is b a multiple of 8?
False
Let u(k) = -178*k + 40. Let m be u(-13). Let o = m + -1602. Is o a multiple of 31?
False
Let b(u) = -4*u**3 + 2*u**2 - 2*u - 3. Let p be b(3). Let o = p - -39. Let j = o + 188. Is 15 a factor of j?
False
Suppose 5*j = 3*r + 3, 2*r = 2*j - 4*j - 2. Let o be 1 + j - (1 - -1) - -1. Suppose -3*x + 48 = 3*p, o*p = x + 3*p - 12. Does 9 divide x?
True
Let k(u) = 8*u**3 - 24*u**2 + 29*u - 37. Does 23 divide k(13)?
False
Let q be 6 - (-2 - 1)*-65. Is 16 a factor of 108/q - 4488/(-14)?
True
Let m be 6360/25 - 8/20. Let o be 1110/3 + (-24)/4. Let q = o - m. Is q a multiple of 36?
False
Let p(y) = -y**3 + 14*y**2 - 23*y + 12. Let n(m) = m**3 - 5*m**2 - 4*m. Suppose -4*r + j = -27, 0 = 4*r + j - 4 - 17. Let u be n(r). Is p(u) a multiple of 6?
True
Let u(r) = 32*r**2 - 114*r - 48. Let m(f) = 11*f**2 - 38*f - 17. Let t(c) = -14*m(c) + 5*u(c). Does 22 divide t(18)?
False
Let u = 124 - 144. Is 13 a factor of 32/u + (-4273)/(-5)?
False
Let o = 28 - 168. Is 44 a factor of o/(-10)*84/(-16)*-2?
False
Suppose -p + 0*p + 30 = -5*y, 4*p - 4*y = 56. Suppose -p = -5*n, -n = 5*j + n - 29. Suppose -g + 2*g = 3*f + 286, 2*g - 517 = -j*f. Is g a multiple of 29?
False
Suppose -5*r + 10 = -3*a + 3, 2*a + 38 = -5*r. Is 3 a factor of (-9)/2*42/a?
True
Suppose -81*c = -80*c. Suppose 5*l = 4*x + 452, -3*x + c*l + 3*l - 336 = 0. Let w = 236 + x. Is w a multiple of 17?
False
Suppose -26*l = 31*l - 4959. Suppose b - 2*i = 292, 0*i + i = -2*b + 564. Suppose v = 2*y - b, -2*v - l = -2*y + 195. Is y a multiple of 13?
True
Let g(c) = -50*c**3 + 3*c**2 + 12*c + 39. Suppose 5 = 20*t + 65. Is 22 a factor of g(t)?
False
Suppose 55*g - 98982 = 231892 - 4174. Does 13 divide g?
False
Let u(w) = w**2 - 10*w - 5. Let o be u(10). Let y(l) = 12 + 2*l + l - 2*l**2 - 2*l**2 + 5*l**2. Does 11 divide y(o)?
True
Let j(m) = -3*m**2 - 22*m - 31. Let b(x) = x**2 + 7*x + 10. Let q(z) = 7*b(z) + 2*j(z). Let c be q(-5). Suppose -c = -l + 17. Is 14 a factor of l?
False
Suppose -5*g - 4120 = -3*c, -g - 1038 - 1697 = -2*c. Does 5 divide c?
True
Suppose 7*x + 2 - 58 = 0. Suppose 426 = -x*m + 682. Is 8 a factor of m?
True
Suppose -9*t - 30697 = -139741. Does 51 divide t/65 - ((-24)/10)/4?
False
Does 13 divide 2 - 51/21 - 487985/(-35) - 3?
False
Suppose 0 = 2*p + 2*p - 20. Let j be 583 + 7/(35/(-15)). Does 29 divide (-1)/(50/j*(-1)/p)?
True
Let a(z) be the third derivative of 13*z**4/24 + 35*z**3/6 + 122*z**2. Does 31 divide a(11)?
False
Is 2/(-17) - 881310/(-255) a multiple of 9?
True
Let l(o) = -660*o + 20. Let s be l(-2). Suppose 5*p - 3*v - s = 2*v, -4*v - 800 = -3*p. Is p a multiple of 4?
True
Let q = 269 - 277. Does 11 divide (-3282)/q*-6*4/(-18)?
False
Let q be 3*(70 - 1) + 6/2. Suppose 61*f - 68*f = -q. Is f a multiple of 3?
True
Suppose -8 = 7*p - 11*p. Suppose q - p*b - 3*b = 111, 2*q - 4*b - 222 = 0. Let c = 147 - q. Does 36 divide c?
True
Let m(l) = 116*l**3 - 24*l**2 + 158*l + 123. Does 15 divide m(6)?
False
Suppose 26*q + 661200 = 11*q. Is (1/2)/((-40)/q) a multiple of 7?
False
Is 21 a factor of ((-936)/(-84))/((-3)/(-1722) + 0)?
False
Let f = 1838 + -528. Suppose f = -4*u - 838. Is 27 a factor of (-7)/21*u/1?
False
Let x = -5175 + 6966. Does 2 divide x?
False
Let f(q) = q**2 + 3*q - 12. Let l(a) = -9*a - 3 + 16*a - 6*a. Let d be l(-5). Is f(d) a multiple of 6?
False
Suppose -o - 3*z - 27 = 0, 31 = -o - 2*z - 0*z. Let q(w) = w**3 + 39*w**2 - 18*w - 83. Does 12 divide q(o)?
False
Suppose 3*f + 65 = -10*f. Let x(d) = -3*d**3 + 2*d**3 + 0*d**3 - 5*d**2 - 3*d - 2*d - 3. Is 2 a factor of x(f)?
True
Suppose 2*a = -3*y + 35341, a + 2*y + 35336 = 3*a. Is 14 a factor of a?
False
Suppose 13*u + 2*j - 98 = 9*u, 2*j = -10. Suppose 4*r + 4*b - 6 = 14, -3*r + b = -7. Suppose r = q - u. Is q a multiple of 5?
True
Suppose 0 = -516*x - 93447 + 569715. Is x a multiple of 22?
False
Let f(k) = 5*k**2 + 117*k + 241. Is 29 a factor of f(-42)?
True
Is 9 a factor of 44/(-10)*(-41)/(1558/2375)?
False
Let p be (-8 - 0)*30/(-8). Suppose 5*q - 3*m = 2*m + p, -2*q - 6 = 4*m. Suppose -x + 6 + q = 4*w, 0 = -2*x - w + 18. Is 2 a factor of x?
False
Suppose -10170 = -29*a + 6389. Let w = a + -520. Does 11 divide w?
False
Suppose 5*j + 0*u = 3*u - 35, 5*u = 2*j + 14. Let k(o) = o**3 + 9*o**2 - 8*o + 2. Is 6 a factor of k(j)?
True
Suppose -12*u + 15*u = 78. Let b = 28 - u. Suppose b*w = 2*j - 5*j + 73, -j = -4*w + 139. Is w a multiple of 5?
True
Let t = 11853 - 6745. Does 9 divide t?
False
Suppose r + 2035 = -92*c + 94*c, -3*r - 1020 = -c. Is c a multiple of 15?
False
Suppose 13*l - 8*l = 510. Let c = 132 - l. Is c a multiple of 15?
True
Let j(y) = -2*y. Let p be j(0). Suppose -4*a + p*a = -40. Suppose 4*z - 5*r - a = 18, z = r + 8. Does 4 divide z?
True
Let n(b) = -b**3 - 5*b**2 - 2*b + 8. Let h(g) = -g**3 - 10*g**2 + g + 5. Let s be h(-10). Let p be n(s). Let m = p + 40. Does 13 divide m?
False
Let h = -1970 + 1354. Is 27 a factor of h*((-6)/15 + 96/(-210))?
False
Let z = -3780 - -6468. Does 16 divide z?
True
Let h(g) = 9*g**3 - 4*g**2 - g - 6. Let a be h(5). Is ((-3)/(-2))/(3/a) a multiple of 27?
False
Suppose -4*b - 4*u = -3*b + 12, 0 = -4*b + 4*u + 32. Suppose -2*p = v - b*p - 43, 0 = 4*v - p - 158. Does 34 divide v?
False
Suppose -198*t = -154631 - 318787. Is t a multiple of 20?
False
Suppose 4*d - 781 = -5*x, -d + 5*x + 156 + 8 = 0. Suppose 4*h - h - d = 0. Let q = -39 + h. Is 10 a factor of q?
False
Suppose 2331*m - 2280*m = 749700. Is 75 a factor of m?
True
Let j(a) = -15463*a - 2003. Does 4 divide j(-1)?
True
Suppose 24*b + 12 = 21*b. Let o(k) = -9*k - 18. Is 6 a factor of o(b)?
True
Suppose j = -6*v + 1791, 4*j - 35*v = -30*v + 7019. Is j a multiple of 6?
False
Suppose -212*y + 277*y = 1516125. Is y a multiple of 25?
True
Let m(j) = -4*j + 5. Suppose 6*x = 7*x - 8. Suppose -x = 4*c + 4*s, c - 3*s + 2 = -4. Does 9 divide m(c)?
False
Suppose 0 = 4*b - 2*q - 25 - 1743, -2195 = -5*b - 5*q. Let x = b - 291. Is x a multiple of 27?
False
Let n(p) = -5*p**2 - p - 7. Let q be n(3). Let d = q - -7. Let f = d - -65. Is 11 a factor of f?
False
Let k(w) = -68*w**3 + 28*w**2 + 105*w - 9. Is 11 a factor of k(-5)?
False
Let d(r) = -7*r**3 + 29*r**2 - 21*r + 25. Let a(i) = -9*i**3 + 28*i**2 - 20*i + 25. Let s(u) = 2*a(u) - 3*d(u). Is 15 a factor of s(10)?
True
Let a be 588/24 - 1/2. Let f(l) = -6*l**2 + 5*l**2 + 28*l + a + 19*l - 13*l. Is f(25) a multiple of 19?
False
Suppose -2*i = -4*a - 120, 3*i - 160 = -3*a - a. Let h be 1 + -1 + 0/(8 + 3). Suppose c + 7 - i = h. Is c a multiple of 16?
False
Let c be 2/(3*(-3)/(-18)). Suppose 3*l - h - 802 - 285 = 0, 5*h = c*l - 1464. Does 36 divide l?
False
Let s = 21 - 25. Let q be -13 - 6 - (s - -1). Is (-540)/(-8)*q/(-5) a multiple of 36?
True
Let o(k) = -3*k + 2*k - 7*k + 10*k - 30. Let z be o(14). Is 1/2 + (-15)/z a multiple of 4?
True
Is 21 a factor of 1643 + -96 - 7*-1?
True
Let m(f) = -f**3 - 8*f**2 - 7*f + 3. Let x be m(-7). Suppose 151 = 3*l - l - x*d, -3*d = 2*l - 157. Is 4 a factor of l?
False
Let p be (3/(45/12))/((-4)/(-50)). Suppose u - 5082 = -p*u. Does 14 divide u?
True
Let z = 166 - 50. Let j = -56 + z. Suppose 0 = 2*p + 10 - j. Is 3 a factor of p?
False
Suppose 4*y + 3*g - 32407 = 0, -2*y - 5*g + 39 = -16168. Is y a multiple of 65?
False
Let o be 1*-1*(-19 + 16). Suppose 0*i + 4*i - 232 = 0. Suppose 3*w - t - 92 = 0, o*t = 2*w - t - i. Does 3 divide w?
False
Let h = -64 + 69. Suppose -4*k + 10 = -10, 0 = 5*x - h*k - 175. Does 35 divide x?
False
Let t(n) = -n**3 + 13*n**2 + 11*n + 18. Let o be t(9). Suppose 4*c - 5*q - o = 0, -8*c - q + 435 = -4*c. Does 8 divide c?
False
Let d = -103 - -110. Suppose -d*i = 232 + 20. Does 12 divide 74/i*-50 + 52/234?
False
Suppose 2*c + 6*w + 454 = 2*w, 0 = -c + 3*w - 252. Let s = -144 - c. Does 12 divide s?
False
Suppose -q + 2614 = 3*j, -2*q + 5944 - 689 = -3*j. Is 61 a factor of q?
True
Let v(j) = 2*j**2 - 26*j + 29. Let k be v(12). Suppose -256 - 269 = -k*a. Is a a multiple of 5?
True
Suppose 0 = 6*n + 6*n - 180. Does 23 divide (55/n + 0)*69?
True
Let l(u) = -12*u + 66. Suppose -4*j + 3 = 2*f + 17, f = 3*j - 32. Is l(f) a multiple of 27?
True
Let v be -13 + 11 - (-370)/2. Let g = 67 + v. Suppose 4*l = -l + g. Is 17 a fa