 multiple of 90?
True
Let t = 105 - -2735. Is 13 a factor of t?
False
Let n = 61 - 51. Let a be n/(1 - (1 + (-4)/26)). Let d = -44 + a. Is 21 a factor of d?
True
Let v(q) = q**2 + 13*q + 33. Let s be v(-10). Let z(b) = 15*b - 9. Let c be z(s). Let u = 86 - c. Does 5 divide u?
True
Let l(v) = -286*v**3 - 7*v**2 - 16*v - 6. Does 7 divide l(-2)?
False
Suppose 15*i = 3*i - 1152. Does 7 divide ((-182)/6)/(584/i - -6)?
True
Suppose 0 = -5*d + 185 + 405. Let k = 65 + -138. Let p = d + k. Does 17 divide p?
False
Suppose -y - 37 = 14. Let v = -12 - y. Suppose v*a - 37*a = 78. Is a a multiple of 13?
True
Suppose 4*o - 29 = -5. Let g(c) = c**3 - 6*c**2 + 2*c - 8. Let y be g(o). Let n = y + 44. Is n a multiple of 24?
True
Let h(m) = 3*m**2 - 19*m + 37. Let u be h(7). Suppose 5*c - 5*s + 3*s - 347 = 0, -c + 5*s + u = 0. Is c a multiple of 2?
False
Let k(t) = -t**2 + 80*t - 1085. Does 14 divide k(49)?
True
Let t(o) = -o**2 - o + 3. Let a be (8/10)/4 - 33/15. Let v be t(a). Let j(l) = 71*l**2 + l. Is j(v) a multiple of 29?
False
Is 6 a factor of (-88575)/(-10)*(-42)/(-63)?
False
Let p = 26391 + -17904. Is p a multiple of 10?
False
Suppose 11*m - 85 = -41. Suppose m*p = 308 + 1156. Is 16 a factor of p?
False
Let t = 432 + -666. Let n = -119 - t. Is n a multiple of 5?
True
Let c = 186 + -893. Is 11 a factor of 1 + 1220/14 - (-101)/c?
True
Suppose 0 = -83*j + 39084 + 12376. Is j a multiple of 31?
True
Let n(x) = 2*x**3 + 17*x**2 + 7*x - 4. Let w be n(-8). Suppose 3*q = -w*y + 44, q - 48 = -5*y - q. Let a(d) = d**2 - 8. Is 20 a factor of a(y)?
False
Suppose 0 = -2*g - 5*g + 2*g. Suppose -11 = j + l, g = -4*j - 0*l - l - 38. Is 59/3 + (-48)/j + -5 a multiple of 9?
False
Suppose 2*a - 34409 = -4*i + 16183, -5*i + a + 63254 = 0. Is i a multiple of 55?
True
Suppose -f - 28 = -5*f. Let q = f - 7. Suppose -3*l + 0*i - 2*i + 202 = q, -i = -2. Does 22 divide l?
True
Let i(u) = -11*u**3 - 2*u**2 + 53*u + 8. Let t(c) = 4*c**3 + c**2 - 18*c - 3. Let d(v) = 3*i(v) + 8*t(v). Let k be d(5). Is (25*6 - k) + -2 a multiple of 25?
False
Suppose -1939 = -10*k + 3*k. Let f = 503 - k. Suppose -98 = -2*c + 5*o, 0 = 5*c - o - 2*o - f. Is 44 a factor of c?
True
Suppose -r + 2*z = -34065, 0 = r - 2*r + 4*z + 34061. Is 157 a factor of r?
True
Let h = -4154 - -12110. Does 156 divide h?
True
Suppose 87*c = -129 - 1002. Suppose -3*i = -148 - 146. Let r = c + i. Does 18 divide r?
False
Let b = -5718 + 10560. Suppose -9*t + b = 621. Is 13 a factor of t?
False
Suppose 3*s - 1679 = 1741. Suppose 4*k + s = 8*k. Is k a multiple of 15?
True
Suppose 7350 = -6*j + 14*j - 3*j. Is 147 a factor of j?
True
Suppose -2*v - 3*v = 4*z - 441, 4*v + 240 = 2*z. Suppose -z - 290 = -4*o. Is 28 a factor of o?
False
Let r = 82 + -80. Suppose r*p = 3*n - 284, n - 4*p - 8 - 80 = 0. Does 6 divide n?
True
Let v = 26713 - 15503. Is 95 a factor of v?
True
Let c = 191 - 332. Let i = -25 - -330. Let b = c + i. Is 23 a factor of b?
False
Let s(r) = -2*r**3 + 9*r - 2. Let b be s(-7). Suppose 7*a - 3204 = -b. Does 20 divide a?
False
Let b(q) be the third derivative of q**5/15 - 7*q**4/12 - 23*q**3/6 + 100*q**2. Does 27 divide b(9)?
False
Let n = 3 + 31. Let t = -24 + n. Suppose -t*x = -x - 216. Is 9 a factor of x?
False
Let h(t) = -t**3 - 15*t**2 + 18*t + 28. Suppose 5 = 13*c + 213. Let k be h(c). Let o = k + 58. Does 14 divide o?
False
Suppose -p = -x + 19491, 3*x - p - 64987 + 6518 = 0. Does 42 divide x?
False
Let w = 199 - 175. Suppose 0 = w*r - 19*r - 805. Does 23 divide r?
True
Does 58 divide (-11 - -24) + 2312 + 12?
False
Let l be -1 + 8 + (-1 - -1). Let y(m) = 36*m + 6. Let p(r) = 7. Let b(c) = -4*p(c) + y(c). Does 23 divide b(l)?
True
Let i(h) = -4*h**3 - 4*h**2 - 2*h - 5. Let s = -43 - -26. Let o = s + 14. Is i(o) a multiple of 15?
False
Let f = 1230 - 754. Is 7 a factor of f?
True
Is 27 a factor of ((-3)/(-7))/1 - (-4552702)/539?
False
Let s be 17/(-2)*(-14)/(-21)*6. Let q(c) = c**3 + 35*c**2 + 26*c + 8. Does 28 divide q(s)?
True
Suppose -10*z + 11*z - 131 = 0. Let w be (-636)/10 + 1 - (-6)/10. Let f = z + w. Is 6 a factor of f?
False
Suppose 2*a + 2*a - z - 15 = 0, 4*z = 3*a - 8. Suppose 0 = -2*b - a*o - 0*o + 120, 0 = -4*b + o + 222. Does 56 divide b?
True
Let c = 150143 + -99597. Is c a multiple of 199?
True
Let f(d) = 2*d + 4. Let s be f(-2). Suppose -3*i + 0*i + 4*i = s. Suppose i = -8*c - 2*c + 480. Does 4 divide c?
True
Suppose -4*c = 7 + 5, 5*p - c - 3 = 0. Suppose -5*w = 5*m, 0 = -4*m + m + 3*w + 24. Suppose m*h + p*h = 28. Is h a multiple of 4?
False
Suppose -18*n = -39*n - 8*n + 191371. Does 6 divide n?
False
Let x(n) = -6*n - 16. Let l be x(-3). Suppose l*r - 90 = -r. Is r a multiple of 15?
True
Suppose 12 = -3*l, 5*j - 5*l + 2523 = 868. Is 6 a factor of ((2 - 2) + 1)/((-5)/j)?
False
Let v(s) = -s**3 - 11*s**2 + 13*s + 28. Let c be v(-12). Suppose c*n = 10 + 3526. Is 27 a factor of n?
False
Suppose 0 = 6*r + 2 + 34. Let u = -2 - 2. Is 12 a factor of (u/r)/((-12)/(-216))?
True
Is 25 a factor of ((-1000)/3)/(278/(-417))?
True
Suppose -r + c = -6371, 2*c - 27962 = -5*r + 3900. Is r a multiple of 6?
True
Suppose 5*u = -3*d + 87184, -8*u = -7*u + 4*d - 17447. Does 11 divide u?
True
Let m(v) = v**2 + 10*v - 8. Let z be m(-11). Suppose c = z + 5. Suppose 241 = c*g - 47. Does 4 divide g?
True
Suppose 41*l - 397502 = -5624. Is 6 a factor of l?
True
Let j(x) = -2*x + 6. Let y be j(12). Let i be y/(-3) + -2 - -13. Suppose -i = z - 134. Is z a multiple of 12?
False
Let f = -45 + 45. Suppose -4*k + k + 9 = f. Suppose k*g - 56 = -g. Is 3 a factor of g?
False
Let y = -1253 - -1255. Let h = 5 + 13. Suppose h = -y*v + 5*v. Is v a multiple of 3?
True
Let w(z) = -4*z + 6 - 2*z - 11*z**2 - 12 + 6*z**3. Let c(n) = -n**3 - 1. Let j(d) = -5*c(d) - w(d). Does 11 divide j(11)?
True
Suppose -v + 4*v = -5*u + 1485, -10 = 2*v. Suppose -u + 68 = -2*z. Let y = z + -63. Does 9 divide y?
False
Let u(i) = i**3 - 2*i**2 - 2*i + 4. Let c be u(0). Suppose -5*x = 6*h - 3*h - 293, 0 = -c*h - 2*x + 386. Is h a multiple of 16?
True
Let p = -5878 - -10870. Is p a multiple of 96?
True
Suppose -2*s + 3232 = 5*b, 4*s = 4*b - 2*b + 6416. Suppose -s - 1172 = -6*x. Suppose -2218 = -15*k - x. Is 13 a factor of k?
True
Let n be 1*(-1 + 2)*-118. Let s = -90 - n. Let t = 83 - s. Is t a multiple of 5?
True
Let z = -16989 - -31954. Does 24 divide z?
False
Let f be 554 - (-1*40)/(-8). Let r = -248 + f. Does 12 divide r?
False
Let y = 814 + -811. Is y even?
False
Suppose -5*g + g + 11628 = 0. Suppose 5*l - 2916 = 2*o, l + g = 6*l + o. Suppose 4*h - 750 = 2*b, 3*h + 5*b = -0*h + l. Does 13 divide h?
False
Let q = 5803 + -1239. Is 20 a factor of q?
False
Suppose 2*x = 10*o + 31312, 0*o + 78520 = 5*x + 5*o. Is 12 a factor of x?
True
Let o(c) = -c**3 + 35*c**2 - 32*c - 63. Let n be o(34). Suppose -3*p = -n*z - 511 + 182, 3*p - 289 = -5*z. Does 7 divide p?
False
Suppose 0 = -89*h + 144*h + 139*h - 391104. Does 14 divide h?
True
Let z(o) = 2*o + 4. Let g(b) = -2*b**2 + 32*b - 26. Let d be g(15). Let t be z(d). Suppose 0 = -3*a + t, 5*a = 4*v + 146 - 630. Is 14 a factor of v?
True
Suppose -3*v - 27 = -2*f + 29, -3*f + 54 = 3*v. Is 17 a factor of f - -1122 - 10/2?
True
Let z be (-7 + -1)/(-4)*-1. Let s be ((-184)/115)/(z/20). Suppose -s*t - 448 = -1232. Does 4 divide t?
False
Suppose 2718 = -2*s + 27820. Is 11 a factor of s?
True
Let d be -17 + (-11)/((-44)/16). Is d/(-12)*123 + (-2)/8 a multiple of 7?
True
Let t(w) = -37 - 16 + 16 - 23*w**2 + 21*w - 11 + w**3 + 9*w. Does 49 divide t(22)?
False
Suppose -5 = -4*k - d, 10*k - 5*k - 4 = -2*d. Suppose 2*c - 74 = k*s - 0*s, -2*c - 199 = 5*s. Is 11 a factor of 406/6 + (s/(-9) - 4)?
False
Let r(d) = -d**3 - 11*d**2 - 27*d - 3. Let h be r(-8). Let w = -41 + h. Does 18 divide (25/(w/(-4)))/(2/64)?
False
Let n = -43 + 1131. Suppose 22*r - 14*r = n. Suppose r + 95 = s. Does 11 divide s?
True
Let f be (5/(-10))/(4/16). Let t be 32 + f*(-1 - 1). Suppose -3*h + 4*r + 128 = 0, 2*r + t = h + 4*r. Is h a multiple of 10?
True
Suppose -1120 = -6*b - 10*b. Let n(z) = -49*z - 8. Let v be n(-4). Let f = v - b. Does 8 divide f?
False
Let v = 27 + -6. Let y = -18 + v. Suppose y*k + 5*t = 653, 5*t + 2 - 7 = 0. Is k a multiple of 15?
False
Suppose -20 = 5*j - 10*j, 4*t + 2*j = 164. Suppose z = f + 352, 3*f + 594 = 2*z - 108. Let v = z 