. Suppose 0 = -3*a - 0*a - 15. Does 7 divide q(a)?
True
Let s = 706 + -469. Does 34 divide s?
False
Suppose -3*y + 65 = 2*y. Does 2 divide y?
False
Let k(s) = -8*s**2 + 4*s**2 - s**3 - 4*s - s**3 + s**3 - 1. Let p be k(-3). Is (-1 + 12)/(p/8) a multiple of 19?
False
Let b(f) = -f**2 + 7*f - 5. Let x be b(6). Let v be (-5 + x)/(2/(-4)). Is 3 a factor of -5*(-3 - v/(-5))?
False
Suppose -4*z - 38 = -10. Let r(x) = x + 2. Let i be r(z). Let y = 8 + i. Is 3 a factor of y?
True
Let k(q) = -q**3 - 3*q**2 + 4*q + 1. Let w be k(-4). Is (2/4)/(w/4) even?
True
Let o be (-4)/((-8)/(-6)) - -3. Is 14 a factor of (o + 4)/((-2)/(-20))?
False
Let v(j) = -3*j + 6. Let o = -7 - -7. Suppose -31 = q + 5*x, -4*q + o*x = -x + 19. Is 20 a factor of v(q)?
False
Let i(d) = -2*d**3 + 3*d**3 - d - 2 - 5*d**3 + 3*d**3. Is 9 a factor of i(-3)?
False
Let c = -5 - -8. Suppose 0 = -c*r - q + 43, -3*r + 4*q + 68 = r. Suppose -8*a + 3*a = -r. Does 2 divide a?
False
Suppose 3*q - 45 = -15. Let k = 18 - q. Does 4 divide k?
True
Let x be 15/3 + (-2 - 0). Suppose -5*s - 2*c + 61 = 0, x*s - 4*c - 25 = 22. Suppose 2*h - s - 1 = 0. Is 7 a factor of h?
True
Let o = -35 + 54. Suppose -2*c + 3*i = 3*c + o, -c - i = -1. Is -2*(-2*1 + c) a multiple of 6?
False
Suppose -7*v - 2*q = -2*v - 450, 3*q = -2*v + 180. Is 30 a factor of v?
True
Let p(j) = j**3 - 15*j**2 + 16*j + 12. Does 5 divide p(14)?
True
Let j(i) = i**3 - 6*i**2 - 3*i - 4. Let t be j(7). Suppose 0*a + 2*a + y = t, -5*a + 4*y + 60 = 0. Is a a multiple of 6?
True
Let w(t) = -t**3 + t**2 + 7*t + 9. Does 10 divide w(-4)?
False
Let x = -22 + 114. Does 12 divide x?
False
Let v = 263 + -122. Is 21 a factor of v?
False
Suppose 2*w + 400 = 3*h, 2*w = 4*h + 8 - 544. Does 34 divide h?
True
Suppose 10*o - 3*o - 42 = 0. Is o a multiple of 3?
True
Let j(h) = h**2 + 13*h + 15. Is 45 a factor of j(-15)?
True
Let d be 7/14*(1 + 55). Is 3/2*d/3 a multiple of 6?
False
Let i(w) = -10*w**3 + 9*w. Is 27 a factor of i(-3)?
True
Suppose -209 = -2*j + j - 5*k, k - 1 = 0. Is j a multiple of 34?
True
Suppose -11 = w - 2*w. Let x = 18 - w. Suppose -5*l + 82 - x = 0. Is 15 a factor of l?
True
Is 2 a factor of 32 - ((-8)/(-1))/2?
True
Suppose 0 = i - 5*u - 5 + 42, 3 = i + 5*u. Let k = 24 + i. Is 7 a factor of k?
True
Let z(x) = -x**2 - 3*x + 3. Let g be z(-3). Suppose -g = -3*r + 9. Is 2 a factor of r?
True
Let t = 84 - -150. Is 13 a factor of t?
True
Suppose -20 = -5*s + s. Suppose s*i + 10 = 85. Is 15 a factor of i?
True
Is 4 a factor of 3/12 - (-175)/4 - 0?
True
Suppose -2*j + 737 = 5*c + 2*j, -10 = 5*j. Suppose -2*a + 82 = w + 3*a, 2*w = -5*a + c. Is 12 a factor of w?
False
Let k = -287 + 479. Is k a multiple of 8?
True
Is 8 a factor of (-3)/(4 + -1) - -18?
False
Let y(h) = h**2 + h - 1. Let f(j) be the second derivative of -5*j**4/12 - 4*j**3/3 + 5*j**2 + 4*j. Let r(t) = f(t) + 6*y(t). Is r(6) a multiple of 14?
True
Let z(h) = -h**2 + 5*h + 2. Let m be z(5). Let j be (-1)/((-2)/76*m). Suppose x + 4*i + 3 = j, 2*i = -8. Is x a multiple of 14?
False
Suppose 0 = -d - 3 + 8. Suppose 4*j - 35 = 5*q + 2, -d*j + 42 = -2*q. Is 4 a factor of j?
True
Let w be (-17)/(-5) - 4/10. Let x(s) be the second derivative of -s**4/12 + 7*s**3/6 - s**2/2 + 2*s. Does 4 divide x(w)?
False
Suppose 3*f + 0*f = 21. Suppose 0 = -2*z + 6*m - m - 4, -5*m + f = -z. Suppose z*g - 88 = -25. Is g a multiple of 8?
False
Suppose 4*v + 3*v = 805. Is 28 a factor of v?
False
Suppose -k - 6 = p, 2*k + 0*k = p. Suppose h + 10 = -4*j, -5*j + 0*j - 9 = 3*h. Does 15 divide 41 + h/p*-4?
False
Let q be -14 - 0*4/(-12). Let f = 44 + q. Is 7 a factor of f?
False
Suppose 25 = -4*k - 5*m, -3*k + 5*k - 4*m + 6 = 0. Let n be (-12)/1 - (0 - 2). Let p = k - n. Is 5 a factor of p?
True
Let n(m) = m**2 - 3*m. Let k be n(3). Suppose -4*v - 6*d = -d, -v - d = k. Suppose v = 3*y + 11 - 35. Is y a multiple of 6?
False
Suppose 0*k - 2 = -k. Suppose -s = k*s - 30. Is s a multiple of 3?
False
Let j = 13 + -4. Suppose -r - 5*l + 13 = 31, -l + j = 2*r. Is 7 a factor of r?
True
Let o(f) = -f - 6. Let d be o(0). Let v be 3/d - 354/(-4). Suppose 2*q = -3*j + v, -2*q = -q - j - 39. Is q a multiple of 21?
False
Let v = -26 - -51. Suppose -c - 4*c + v = 0. Suppose u - 47 = c. Does 22 divide u?
False
Let t be (2/3)/(4/18). Let g(x) = -3*x**2 - 2 + 0 + 2 - 8*x**t. Is g(-2) a multiple of 15?
False
Suppose -4*s + 2*x + 43 = -81, -3*x - 54 = -2*s. Is 11 a factor of s?
True
Suppose -110 = 5*w + 10. Let b = w + 39. Is b a multiple of 4?
False
Let p be 10/4*6/3. Suppose -p*i = 0, 2*f + 0*i = -i - 4. Is 0 + 2 - (-8 - f) a multiple of 8?
True
Is 12 a factor of (444/6 - 5) + (4 - 1)?
True
Let y = 58 - 30. Is 14 a factor of y?
True
Let f(c) = -9*c**3 + 24*c**2 + 3*c - 9. Let x(v) = -5*v**3 + 12*v**2 + 2*v - 5. Let r(i) = -4*f(i) + 7*x(i). Does 22 divide r(12)?
False
Does 24 divide 9/(-15)*16*-5?
True
Let i = 40 + -35. Let f(o) = o**3 - o + 5. Let z be f(0). Suppose 2*x + 2*x + z*c = 55, x = i*c + 45. Is x a multiple of 11?
False
Suppose -3*c = -0*c - 15, -2*y - 4*c + 52 = 0. Suppose 0*q - 2*q = y. Is 5 a factor of (2*1)/(q/(-20))?
True
Let n be 3/3*1 + -5. Let f(i) = -4*i. Does 8 divide f(n)?
True
Let r(k) = -k - 6. Let z be r(-9). Suppose -3*n + 168 = -3*a, -z*n + 0*a = -a - 158. Is n a multiple of 12?
False
Suppose z - 2*z - 8 = 0. Is 160/6 + z/12 a multiple of 13?
True
Let n = 17 + 15. Is 8 a factor of n?
True
Suppose 3*z + 2*l = 132 + 484, -3*z = 3*l - 621. Does 10 divide z?
False
Suppose p = -4*p + 5. Is (-12)/(-16)*p*12 a multiple of 8?
False
Suppose 288 = 4*c - 192. Is 40 a factor of c?
True
Suppose 2*u - 65 - 37 = 0. Is u a multiple of 12?
False
Suppose 0*w - 3*w = 2*z - 209, -10 = 2*z. Is 6 a factor of w?
False
Let n be -2 + ((-15)/1)/(-3). Is 141/9 + (-2)/n a multiple of 12?
False
Suppose -9*n = -7*n - 134. Let w = -10 + n. Is 19 a factor of w?
True
Suppose 5*n = -7 + 47. Suppose -3*q + n = q. Is q + (4 - (2 + 0)) even?
True
Suppose -5*h + 6*q = q + 70, 56 = -5*h - 2*q. Suppose -5*a - 8 = 2. Is 4 a factor of (h*1)/(3/a)?
True
Let q(m) = m**2 + 5*m - 8. Is 2 a factor of q(-7)?
True
Suppose -2*k + 4*d = -50, -2*k + 0*d = -d - 62. Is k a multiple of 18?
False
Suppose 4 = 3*a - 2*a. Suppose 46 = -3*o + a*o. Does 12 divide o?
False
Let f = 130 + -67. Suppose -a + f = 2*a. Suppose a = 5*n - 109. Is 13 a factor of n?
True
Suppose -4*g + 16 = -24. Does 9 divide g?
False
Let x = 5 + -8. Let t be (-1 + (2 - 2))*-4. Is (-10)/(t/6*x) a multiple of 2?
False
Let r be (6/(-4))/((-2)/(-24)). Let i = r + 27. Suppose -2*a + 36 = 4*u, -u + 3*a + i = -14. Is 8 a factor of u?
False
Suppose -53 = -f + 5*y, -5*f - 2*y + 176 = -143. Is f a multiple of 7?
True
Let n be 6/(-4)*2 - 3. Let t(o) = -20*o - 3. Let s be t(n). Suppose -s = -3*h + r, 4*h - 5*r = -0*r + 156. Is 13 a factor of h?
True
Let a(o) be the first derivative of o**3/3 - 3*o**2 + 5*o + 3. Let q be a(5). Suppose -3*v - 9 + 57 = q. Does 8 divide v?
True
Let u(s) = -s - 7. Suppose -1 = m + t + t, 4*t = 8. Let c be u(m). Is 12 + 2 + 2/c a multiple of 13?
True
Let s be 1/((-6)/4 - -2). Let r(m) = -s*m - 2*m**2 + 0*m - 13*m**3 - 4 + 3. Does 6 divide r(-1)?
True
Suppose 5*v + 2*j = 377, 2*v + j = -2*v + 304. Is v a multiple of 42?
False
Suppose -4*c = 4*d - 48, -5*c + d = -4*c - 16. Does 4 divide c?
False
Suppose 2*p = -0*p + 36. Let d = -41 + p. Let w = -11 - d. Is w a multiple of 6?
True
Suppose -20*k + 19*k = -39. Suppose 3*u + 5*z = k, 0 = u + u + 4*z - 24. Does 11 divide u?
False
Let z(r) = -2*r**3 - 15*r**2 + 5*r - 12. Is z(-8) a multiple of 3?
True
Suppose 3*h - 5 = 2*h. Does 2 divide h?
False
Let p(k) = -k**3 - 10*k**2 - 10*k - 10. Let b be 2/3 - 232/24. Let j be p(b). Is 7 a factor of -1 - -3 - 12*j?
True
Let j be 4/2*(-2 + 3). Let d = 2 + j. Is ((-8)/6)/(d/(-30)) a multiple of 4?
False
Let c = 32 + 33. Is c a multiple of 13?
True
Let a = 0 + 3. Let c be (-16)/12*1*a. Is 0/c - 3*-16 a multiple of 18?
False
Let q = -10 - -17. Suppose -a + 3*g = -21, -2*a + q*g - 3*g + 44 = 0. Suppose 2*t - y = 45, -t - y - 6 = -a. Is 9 a factor of t?
False
Suppose -31 - 157 = -4*f. Suppose 2*r + 0*r + 29 = 3*y, 0 = -5*y + 4*r + f. Suppose 5*s + 5*m - 90 = 0, 3*s - 2*m = 40 - y. Is s a multiple of 13?
True
Suppose 2*k + 24 = -5*z, 1 = -5*k + 3*z + 3. Does 12 divide 12 + (-2 - (0 + k))?
True
Suppo