 s?
True
Let t(n) = n**2 + 1. Let k be t(1). Suppose -2*q = k*b - 4 - 128, -2*q - 3*b = -130. Is 17 a factor of q?
True
Let w(u) = -25*u + 180. Is w(-6) a multiple of 6?
True
Let g(u) = 5*u + 109. Does 12 divide g(-4)?
False
Let h be (4/6)/(5/60). Let j = -19 + h. Is 14 a factor of -3 - (2 + 4*j)?
False
Suppose 53 = a + 6. Suppose 0 = -4*k + 20, -4*k = -3*c + k + a. Is c a multiple of 4?
True
Does 30 divide (-3)/(-8) + (4 - (-5825)/40)?
True
Let z = 287 - 173. Is 38 a factor of z?
True
Does 19 divide 2529/45 - 4/(-5)?
True
Suppose 18*p = 30*p - 20976. Does 10 divide p?
False
Suppose -4963 = -6*y + 581. Suppose 23*o - o - y = 0. Does 7 divide o?
True
Suppose -78 + 357 = 3*x. Let k(g) = -g - 2. Let o be k(-2). Suppose -d + 4*d - x = o. Is d a multiple of 31?
True
Suppose 0 = 2*r - 16. Let u = 9 - r. Is 14 a factor of (-5 - u)/(4/(-28))?
True
Suppose 19*b - 6192 = -511. Is 23 a factor of b?
True
Suppose 2*y = 4*p - 6*p + 180, 3*p = 5*y + 270. Is 30 a factor of p?
True
Let l = -6 + 151. Is 15 a factor of l?
False
Suppose 3*j = -j + 76. Let x = 63 + -32. Let l = x - j. Is l a multiple of 7?
False
Let v = 1002 - 540. Does 33 divide v?
True
Let m(n) = 17*n**3 - 6*n**2 + 3*n - 8. Is m(3) a multiple of 29?
True
Let f(u) = -u + 11. Let m(r) = -1. Let a(c) = f(c) - m(c). Is a(0) a multiple of 12?
True
Suppose 0 = 3*l + 4*h + 635, -3*l = -4*l + 3*h - 190. Suppose -47 = -2*u - 331. Let i = u - l. Does 16 divide i?
False
Let u = -5821 + 3087. Is 48 a factor of (-2)/26*2 - u/26?
False
Let d be 2 + (-1 - 2 - -5). Suppose b - 6*b - p + 145 = 0, 0 = d*b + 2*p - 122. Does 14 divide 54*(4 - b/8)?
False
Suppose -3*u = 9, 3*n - 71 = 3*u + 1840. Let h = -355 + n. Let d = -198 + h. Is d a multiple of 24?
False
Let s = -154 + 212. Is 44 a factor of s?
False
Is 30 a factor of (-2754)/(-10) + (-9)/(-15)?
False
Suppose 2829 = 5*u - 4211. Does 22 divide u?
True
Let t(v) be the second derivative of v**8/1680 + v**6/720 - v**5/120 + v**4/4 - v. Let f(r) be the third derivative of t(r). Is 4 a factor of f(1)?
True
Let q = -1041 - -2770. Is 7 a factor of q?
True
Let y(q) = -2*q**3 + 38*q**2 - 27*q - 48. Is y(18) a multiple of 6?
True
Suppose -153*u - 212 = -155*u. Is u a multiple of 3?
False
Let j be ((-92)/(-8))/(2/4). Suppose 5*w = -3 + j. Suppose w*u = 5 + 155. Is 20 a factor of u?
True
Suppose 4*c = -5*p - c + 5, p + 5 = 2*c. Does 6 divide (p + 10)/((-5)/(-30))?
True
Suppose -4*j = h, j + 2*j + 3 = 0. Suppose -h = -2*x - 10, s + 3*x = 4. Let d = 61 - s. Does 8 divide d?
True
Let j be 1/((-3)/9*-1). Suppose 0 = j*o - o - 110. Is 22 a factor of o?
False
Let q be (-1 + 3)/(2/109). Let k be ((-195)/(-10))/(1/(-4)). Let n = k + q. Is 9 a factor of n?
False
Let b(w) = w**2 - 9*w + 18. Let k be b(6). Suppose 0 = 3*f - t - 107, k = 4*f - 9*f - 2*t + 193. Is 8 a factor of f?
False
Does 17 divide 7089/2*256/384?
True
Let r(f) = f + 15. Let i be r(-10). Suppose -i*l + 90 = -5*q, q - 4*q - 40 = -2*l. Is 14 a factor of l?
True
Let c be (-100)/6 - (-4)/6. Let f be c/(-12) - (-6)/9. Suppose 5*k = 0, -f*i - k + 0*k + 190 = 0. Is i a multiple of 24?
False
Let v be (-6)/(-4)*126/(-54)*-22. Let c = -45 + v. Does 5 divide c?
False
Let k = 78 + -14. Is 8 a factor of k?
True
Let q(h) = h**3 + 20*h**2 + 17*h - 33. Let i be q(-19). Suppose 0 = -4*l - 3*y + 277, -345 = -i*l - 3*y - 2*y. Is l a multiple of 18?
False
Suppose 5*p - 19 = 6. Suppose p*z + 6 = 26. Is (-1)/z - (-1480)/32 a multiple of 23?
True
Is 7 a factor of 10 + 5 - (-2 - 1)?
False
Suppose 3*f = 4*n - 2848, -2*n - f + 4*f = -1418. Is 13 a factor of n?
True
Suppose 0 = 93*s - 92*s - 92. Is 8 a factor of s?
False
Suppose -214 = 7*m + 80. Let s = -31 - m. Is s even?
False
Suppose -2*r + 165 = -7*r - n, -4*r - 143 = 3*n. Let f = r + 87. Is f a multiple of 3?
False
Suppose -2172 = 11*h - 34336. Does 86 divide h?
True
Suppose -8*x = 10*x - 270. Is 4 a factor of x?
False
Suppose 12 = -4*y, -4*f - y = -0*f - 3301. Does 45 divide f?
False
Let x(f) = f + 17. Let p be x(-17). Let j = 4 + -1. Suppose p = -j*z + z + 54. Does 9 divide z?
True
Let w(a) = -127 - 30*a - 144 + 290. Is 61 a factor of w(-12)?
False
Let c = 1983 - 1192. Is 7 a factor of c?
True
Let u = -93 - -64. Let y = 88 + u. Is y a multiple of 6?
False
Suppose -4*s - 23 - 42 = -5*u, -4*s - 83 = u. Let h be 5 - 4/s*0. Suppose -5*q = 4*o - 315, 10*o = h*o. Does 9 divide q?
True
Suppose 5*m = s - 146, 3*s + 41*m - 37*m = 438. Is 23 a factor of s?
False
Let q(b) = b**2 - 32*b - 127. Is 29 a factor of q(-5)?
True
Let g = 627 + -378. Is g a multiple of 6?
False
Suppose -2*p = -2*i + 3*i - 3, -19 = -3*i + 4*p. Suppose 0 = -i*v + 6*v - 2. Suppose -v*a - 34 = -4*a. Does 6 divide a?
False
Suppose 0 = 6*j - 0 - 120. Suppose u - j = -3*u, -v + 52 = -2*u. Does 9 divide v?
False
Let t(h) = 3*h**2 - h - 42. Let f(k) = 12*k**2 - 5*k - 167. Let l(m) = 2*f(m) - 9*t(m). Is 11 a factor of l(0)?
True
Let w(x) = 85*x - 6. Let m be w(-3). Let h = m + 470. Does 19 divide h?
True
Is 20 a factor of (145/(-20) - -7) + (-6423)/(-12)?
False
Let d = 21 + -35. Let v be 11/88*-4*-12. Is 12 a factor of (-2 + v)/((-1)/d)?
False
Is 17 a factor of 12/(-7 + 142/20)?
False
Suppose 0 = n - 3 + 1. Let h(d) = -d. Let l(i) = i**2 + 3*i - 1. Let q(v) = n*h(v) + l(v). Does 11 divide q(-4)?
True
Let m = 3890 + -1444. Is 14 a factor of m?
False
Suppose 3*n + 1203 = 3*g - 522, -3*n - 1150 = -2*g. Is 23 a factor of g?
True
Suppose 4*y - 53 = 5*v, -4*y = y + 5*v - 55. Let m be (-15 + y)*10/(-6). Suppose -5*t = -25, t + 65 = m*n + 5*t. Does 3 divide n?
True
Suppose -7 + 87 = -4*p. Let q(w) = -w + 9. Let g be q(6). Does 6 divide p/(-1) + (3 - g)?
False
Suppose 0 = 16*l + 4*l - 8540. Is l a multiple of 18?
False
Let g be (-16)/10 - 4/10. Let r be (5/g)/(1/10). Let n = r + 47. Is 13 a factor of n?
False
Suppose -1068 = -6*f + 492. Is 65 a factor of f?
True
Is -364*5/(-2)*9/18 a multiple of 31?
False
Let x = -598 + 1038. Is 10 a factor of x?
True
Let t = 5 - 2. Let b be (-1)/t - 1534/(-39). Suppose 2*o + 3*q - b = 0, -6*o - 4*q + 76 = -2*o. Is o a multiple of 6?
True
Let x = 2270 - 1740. Is 10 a factor of x?
True
Let a = 13 - 11. Let i(v) = -6*v**3 - 56*v**2 + 30*v + 29. Let w(g) = g**3 + 11*g**2 - 6*g - 6. Let n(c) = a*i(c) + 11*w(c). Is 24 a factor of n(7)?
True
Let f(v) = v**3 + 8*v**2 + 6*v - 7. Let d be f(-7). Suppose 0 = 6*t - d*t - 252. Is t a multiple of 11?
False
Let s be (-22*1)/((-1)/2). Let z(j) = j**2 + 7*j - 8. Let q be z(-4). Let g = s + q. Is 6 a factor of g?
True
Let r(b) be the first derivative of -b**2/2 + 30*b + 3. Suppose 0 = -4*l - 2*i + 42, 5*i - 1 = -2*l - 0*i. Is r(l) a multiple of 17?
True
Suppose 0 = -5*c - 8*c - 52. Does 25 divide c + 2 - -225 - (2 + -4)?
True
Let w = -5 + 7. Suppose -36 = -w*a - 4*q, -4*q = 5*a - 2*q - 74. Does 25 divide 352/a + (-1)/7?
True
Suppose 6 = 4*p - 2*u, 3*u + 9 + 0 = -4*p. Is 20*2/2 + p + 0 a multiple of 5?
True
Let p(x) = x**3 + 4*x**2 - 6*x + 2. Let w be p(-4). Let z = w + 22. Is 6 a factor of z?
True
Suppose -4*i - 13 = 4*g - 5, 0 = 2*i + 10. Suppose -g*k + 76 = -35. Is k a multiple of 13?
False
Let k = 18 + -16. Let m be (-3)/(23/(-11) + k). Let x = m - 19. Does 14 divide x?
True
Suppose 5*z + 16 - 1 = 3*r, -3*z = 2*r + 9. Let a(g) = g + 36. Is a(r) a multiple of 24?
False
Let o be (-148)/111 + 14/6. Let t(f) = -2*f**2 + 3*f. Let b be t(2). Is 7 a factor of b*((-1 - o) + -12)?
True
Suppose -f + 34 = -7. Suppose f*u = 39*u + 198. Is 11 a factor of u?
True
Let c be -1 + (2 - (3 + -7)). Suppose -5*w = 4*q + c - 35, 2*q - 3*w - 4 = 0. Suppose 0 = 4*a - a - v - 139, q = v. Does 12 divide a?
True
Suppose 120*s - 125*s = -85. Suppose -113 + 504 = s*f. Does 9 divide f?
False
Suppose 2*u = 7140 - 1412. Is 16 a factor of u?
True
Suppose 2*h + 44 + 3801 = 5*n, 2*n - 1557 = -3*h. Is n a multiple of 30?
False
Suppose -8*m + 2*h + 648 = -6*m, 0 = -4*h - 16. Is 10 a factor of m?
True
Let o = -134 + 890. Is 87 a factor of o?
False
Suppose 5*q - 396 = 1304. Suppose 6*b = 2*b + q. Does 17 divide (-4)/(-50)*5*b?
True
Let i(a) = -a**3 - 5*a**2 - 13*a - 50. Is i(-8) a multiple of 14?
False
Suppose -3*p - 10 = h, h - 2*p = 2*h + 7. Let u = 120 - h. Suppose 2*a = -4*k + 156, 2*a - 44 - u = -k. Does 28 divide a?
True
Suppose 0 = -0*c - 5*c + 535. Suppose 4*n - 260 = -4*f, -4*f + 5*n - 55 = -342.