6 a factor of u?
True
Let l = 641 - 485. Is 12 a factor of l?
True
Let z(j) = -j**3 + 5*j**2 + 6*j + 2. Let o be z(6). Let p(s) = -2*s**3 + s**2 + 4*s - 3. Let q be p(o). Does 3 divide 7 - (1 + q - -3)?
False
Let t = -983 + 5398. Is t a multiple of 14?
False
Let y(m) = -m**3 + 27*m**2 + 16*m - 175. Is y(26) a multiple of 7?
True
Let s(j) = j**3 + 12*j**2 + 5*j - 16. Let u be s(-13). Is u/(-6) - (-14)/(-21) a multiple of 15?
False
Suppose 7*y - 4*y - 189 = 0. Let z = y - 29. Does 6 divide z?
False
Let v = 183 + -151. Suppose -28*n + v*n = 480. Is n a multiple of 20?
True
Let m = 2 - 5. Let p be 18 - (-5)/((-25)/(-15)). Let s = p + m. Is 15 a factor of s?
False
Let o be (0 + 96/3)/2. Let x be (-46)/(-4) - (-8)/o. Is 13 a factor of ((-4)/6)/(x/(-234))?
True
Suppose -4*k - 7 = -g + 10, 26 = -4*k - 2*g. Let z be 4/k*(-5)/2. Suppose -77 = -3*m - 2*m + 2*i, -2*m = z*i - 42. Is m a multiple of 16?
False
Suppose 4*y + 446 = u, 5*y - 19 = 6. Is u a multiple of 12?
False
Let o = -945 + 1361. Is 52 a factor of o?
True
Let n be 52/20 + 2/5. Suppose 0 = -3*y + 3 + n. Suppose -4*u + 24 = -y*v, -2*v - 14 + 2 = -2*u. Is 2 a factor of u?
True
Let t(g) be the first derivative of 21*g**2/2 - g + 9. Is t(1) a multiple of 4?
True
Let j = -220 - -3892. Does 12 divide j?
True
Let l(q) = 313*q**3 + 7*q**2 - 3*q - 4. Is 25 a factor of l(1)?
False
Let k(p) = -p**3 + 9*p**2 + 5*p + 6. Let i be (6/15 - 0)*20. Let d be k(i). Suppose -2*z + 3*z = 4*j + 38, 0 = -4*z - 5*j + d. Is z a multiple of 15?
True
Let n(p) = p**2 - 2*p + 4. Let a be n(0). Suppose 0 = 2*v - 5*i + 341, 5*v + a*i - 2*i + 867 = 0. Let f = v + 269. Is f a multiple of 24?
True
Suppose 24 = 2*k + 18. Suppose 0 = -3*s + k*j + 216, 0*s = -5*s + j + 352. Does 5 divide s?
True
Suppose 2*x - 28 = -4*t, 52 = 3*x + 5*t + 5. Let l be ((-16)/x)/((-2)/63). Let p = -16 + l. Is 2 a factor of p?
False
Is 91 a factor of ((-2962)/(-3))/(((-500)/(-30))/25)?
False
Let c be 3/2 - 14/(-28). Suppose -3*b - 1 = c. Is b/((8/(-20))/2) a multiple of 3?
False
Let w(c) = 363*c - 136. Is w(7) a multiple of 65?
True
Let l(a) = 6*a**2 + 3*a**3 + 3 + 10*a**2 - 4*a**2 - 4*a**3. Let n be l(12). Suppose -n*t - 2*v = 24 - 86, -5*v = -4*t + 75. Does 4 divide t?
True
Let v(l) = -5*l**2 + 7*l**2 + 70 - 4*l**2 + 3*l**2 - 22*l. Is 10 a factor of v(22)?
True
Let s = 28 + -26. Let t = 11 + s. Is 4 a factor of t?
False
Suppose 28 - 268 = -8*d. Let l = d - -30. Is 30 a factor of l?
True
Let r(y) = 26*y - 112. Let t be r(5). Let x = 161 - 43. Suppose -2*i - 41 - t = -d, 3*i = -2*d + x. Does 18 divide d?
False
Suppose -2*z + w + 3*w + 2292 = 0, 4*w = -5*z + 5660. Is z a multiple of 71?
True
Let q(z) = z**2 + 9*z - 8. Let x be q(-10). Suppose 0*r = -5*r - 2*c + 999, -x*r + 390 = -4*c. Does 33 divide r?
False
Let f(d) = 20*d - 202. Is 45 a factor of f(48)?
False
Suppose -3*w = -0*w - 9. Suppose 4*d = -0*d - 2*o + 12, -w*d - o = -10. Suppose 0 = 5*l - d*j + 24 - 84, 0 = -l + 2*j + 12. Is l a multiple of 12?
True
Let c = -59 - -126. Suppose -4*f = -c - 1173. Is (-5 + 2)/((-15)/f) a multiple of 12?
False
Let d(t) be the second derivative of 3*t + 1/20*t**5 + 1/2*t**3 + 0 + 1/2*t**4 - 1/2*t**2. Is 8 a factor of d(-3)?
False
Let o(j) = 10*j - 22. Let n be o(9). Let u(r) = 0*r + n - 71 - r**2 - 7*r. Is 2 a factor of u(-6)?
False
Is (-10746)/(-16) + (-600)/(-64) + -9 a multiple of 11?
False
Let b(p) = p**3 + 8*p**2 - 18*p - 16. Let y be b(-9). Suppose -1049 = -6*m - y. Is m a multiple of 41?
True
Let k be -5*4/(-10)*1. Suppose k*o - 3 = 37. Does 5 divide o?
True
Let w(o) = o**2 - 22*o - 14. Let k be w(15). Let s = -48 - k. Is s a multiple of 17?
False
Let t = 16 - 11. Is 3 a factor of 105/t + (-6)/3?
False
Let s = -38 - -46. Let l = 21 - s. Does 13 divide l?
True
Let y be (4/((-8)/195))/((-18)/(-24)). Let k = -70 - y. Is k a multiple of 16?
False
Is 30/(-20) + 11624/16 a multiple of 25?
True
Let z(p) = 64*p**2 - 8*p - 42. Does 6 divide z(-4)?
True
Let v = 76 - -42. Does 37 divide v?
False
Does 16 divide ((-18)/288*-1576)/(1/4)?
False
Let w(f) = -f**2 + 58*f + 19. Is w(29) a multiple of 43?
True
Let j(k) = 8*k**3 + 2*k**2 - 4*k**2 + 3 - 4*k**3 - 3*k**3 - 2*k. Is 6 a factor of j(4)?
False
Let g(f) = 7*f**3 + 6*f**2 - 4*f - 14. Let s(m) = -6*m**3 - 5*m**2 + 4*m + 13. Let u(n) = -5*g(n) - 6*s(n). Does 19 divide u(5)?
False
Suppose -2*u + 7120 = s + 434, -3352 = -u - 5*s. Is u a multiple of 46?
False
Suppose 5*l = 10*l - 50. Suppose 6*b + 112 = l*b. Is b a multiple of 4?
True
Let z(u) be the first derivative of 9*u**2/2 - 27*u - 23. Does 9 divide z(11)?
True
Does 35 divide 315/(-10)*(-200)/6?
True
Let x = 1590 - 887. Does 14 divide x/5 + 16/40?
False
Let n = -16 + 0. Let r = -5 - n. Is r a multiple of 2?
False
Let g(k) = -k**3 + 5*k**2 + k. Let o be g(5). Suppose -3*m + 11 = 6*i - i, 0 = o*m - 2*i - 39. Suppose 3*h + 72 = m*h. Is 3 a factor of h?
True
Let n = 21 + -17. Is 2 a factor of n/(-18) - (-296)/36?
True
Let r = 68 + -73. Does 7 divide (-213)/r + (-15)/25?
True
Does 3 divide 1668/26 + (176/104)/(-11)?
False
Suppose -37*h + 42*h = 10. Suppose 6*z + 5*k = 3*z + 159, z + h*k - 54 = 0. Does 4 divide z?
True
Let k = 136 + -11. Let u = 225 - k. Is u a multiple of 25?
True
Let y = -5816 + 10701. Is 9 a factor of y?
False
Let q = -86 + 146. Is 5 a factor of q?
True
Let s(t) = -t**2 + 25*t + 5. Let p be s(8). Suppose 13 = -4*k + p. Is k a multiple of 8?
True
Suppose 2*g + x - 2477 + 296 = 0, 5*x = 2*g - 2211. Does 103 divide g?
False
Suppose 4*y - 5*a = 3714 + 20574, -4*a + 30401 = 5*y. Is y a multiple of 48?
False
Suppose 2280 = 24*m - 4*m. Does 6 divide m?
True
Does 35 divide (-7)/((-21)/1233) + -2?
False
Let a(i) = 6*i**2 + 7*i + 7. Let w(o) = 12*o**2 + 13*o + 15. Let y(c) = -5*a(c) + 3*w(c). Does 15 divide y(-4)?
True
Let n be -2 + 1 + 2 - 39. Let x = n - -54. Does 8 divide x?
True
Let n(i) = -11*i**2 - 12*i + 8. Let j be n(-7). Is (-1)/(j/111 - -4) a multiple of 5?
False
Let r = -246 - -140. Let g = -58 - r. Is 24 a factor of g?
True
Let b(w) = w**3 - 11*w**2 - 39*w - 75. Is 8 a factor of b(15)?
True
Suppose -153*z = -156*z + 3*o + 450, -710 = -5*z - 5*o. Is z a multiple of 2?
True
Let g = -31 - -64. Let u be g/(-9) - (-12)/18. Is 6 a factor of 15/(-2)*4/u?
False
Suppose 0 = 5*f - 3*g - 1145, g + 3*g = -20. Suppose 0 = 5*i - 3*r - 0*r - 422, -5*r = 3*i - f. Is i a multiple of 21?
False
Suppose 952 = k - 5*k. Is 16 a factor of k/(-5) + (-4)/(-10)?
True
Is 56 a factor of 15/195 + 2118/13?
False
Let x = -1303 + 3671. Is x a multiple of 17?
False
Is 41 a factor of 327 + (16/96)/(2/12)?
True
Suppose 3*f - 4*d - 3 = 41, 2*d + 50 = 5*f. Is 2 a factor of f?
True
Let g be 1/2*64 + -2. Let y = g + -34. Let t(u) = -u**3 - 4*u**2 - 4*u + 7. Is 5 a factor of t(y)?
False
Suppose -3*n - 153 = -5*r, 2*n = -r + n + 37. Let w = 48 - r. Let f = 22 - w. Is f a multiple of 4?
False
Let c be (8 + -7)/((-2)/(-1030)). Suppose -4*k = 3*f - 2*f - 521, 4*k = -3*f + c. Suppose -p + k = p - 3*m, m = 5*p - 360. Is 21 a factor of p?
False
Let h(r) be the second derivative of r**4/3 - 11*r**3/6 - 3*r**2/2 + 11*r. Is 31 a factor of h(-3)?
False
Let v = 438 - 168. Is v a multiple of 15?
True
Let z = -231 - -160. Let v = z - -137. Is 16 a factor of v?
False
Is (-2613 + -2)*(-12 - (-77)/7) a multiple of 26?
False
Suppose 3*b - 2*b = 2*n + 1540, 4*n = 4*b - 6164. Does 34 divide b?
False
Let o(m) = -m + 3. Let k be o(3). Does 17 divide k/3 - (-118 + 0)?
False
Let j = 217 - -83. Suppose 144 = 12*b - j. Is b a multiple of 37?
True
Let t = 182 - 134. Does 6 divide t?
True
Does 16 divide 7 + -7 + 222 + 2?
True
Let z(m) = 33*m + 315. Does 59 divide z(28)?
True
Suppose -5*y - 15*y + 21000 = 0. Does 30 divide y?
True
Suppose 0 = -3*p + 15 - 0. Suppose 0 = -5*r + y + 52, 2*r - p*y - 15 = 15. Is 7 a factor of r?
False
Let q(o) = o - 2. Let c be q(3). Let w be 0 + -23*(-1)/c. Suppose 5*z = 4*p + 33, -p = 5*z - 0*z - w. Does 5 divide z?
True
Let i(o) = o**3 - 7*o**2 + 3*o + 14. Let l be i(7). Suppose -31*b = -l*b + 492. Does 33 divide b?
False
Let h(b) = 4*b + 14. Let x = 115 + -110. Is h(x) a multiple of 16?
False
Let t(g) = 10*g + 1. Let o be t(9). Suppose 0*b + 3*b = 966. Suppose -s + 5*h + 71 = 0, b + o = 5*s + 4*h. Is s a multiple of 25?
False
Let d be 1*6 + -3*4/12. Suppose d*a = 5*b + 280, 4*a + b -