s 26 divide t?
False
Is 2/(-30) - ((-1038254)/210 - 4) a multiple of 23?
False
Suppose -6*y + 233119 = 31663. Does 24 divide y?
True
Suppose 0 = -9*h - 6*h + 2520. Let y = -148 + h. Does 3 divide y?
False
Suppose -370 = -5*g + v + 120, -4*v = -4*g + 408. Let l = g + -67. Does 5 divide l?
True
Let q(p) be the first derivative of p**4/4 + 19*p**3/3 + 67*p**2/2 - 8*p + 122. Does 37 divide q(-10)?
True
Let j be 1/(1/(-2)*2/7). Let i(k) = -k**3 - 11*k**2 - 8*k + 18. Let y(d) = -3*d**3 - 33*d**2 - 23*d + 53. Let f(n) = j*i(n) + 2*y(n). Is f(-9) a multiple of 13?
True
Let m = -86 - -63. Let g = -26 - m. Is 14 a factor of (-49)/((g/3 - -3)/(-8))?
True
Let y = -3947 + 3994. Suppose 3*s - 370 - 182 = 0. Suppose -51*j + y*j = -s. Is j a multiple of 37?
False
Let q(t) = -816*t - 42. Let m be q(-21). Suppose 0 = -7*p + 28*p - m. Is p a multiple of 37?
True
Let d(l) = 127*l**3 + 3*l**2 + l - 4. Let r be d(3). Suppose 5*p - r - 180 = 0. Is p a multiple of 13?
False
Suppose 0*r + z + 68 = 3*r, -2*r + 5*z = -67. Let n = 24 - r. Suppose -n*q + 49 = v, 2*q - 6*v = -v + 61. Is q a multiple of 3?
True
Suppose 2*t + 3*t - 425 = 0. Suppose 2*c - 5*f = -179, c - 6*f + 9*f = -106. Let k = t - c. Is 42 a factor of k?
False
Let b = -22 + 37. Let k be (-3410)/b*(-6)/4. Suppose -l - 2*o + 0 = -163, -o + k = 2*l. Is 27 a factor of l?
False
Let g(t) = -12*t + 31. Let c be g(4). Let s = c + 43. Is 2 a factor of s?
True
Let t = -210 + 210. Suppose -6*i = -5*v - 2*i + 2050, t = -3*v - i + 1230. Is v a multiple of 20?
False
Suppose -13*o + 18 + 21 = 0. Suppose -263 = -3*n - h, o = -h + 2. Is 36 a factor of n?
False
Let u = -353 - -759. Suppose 8*c - u = c. Is c a multiple of 15?
False
Is 6 a factor of 35/(-14)*(-308160)/50?
True
Suppose -4056 = 46*a - 48*a. Suppose a + 6574 = 34*n. Is n a multiple of 11?
True
Suppose 5*v - 23*a - 14921 = -20*a, -2*v = -3*a - 5981. Is 10 a factor of v?
True
Let p = -3310 + 5662. Does 48 divide p?
True
Let y be 0/(4/(-16)*-4*1). Suppose y = f + 143 - 399. Suppose f = -28*h + 30*h. Is h a multiple of 8?
True
Suppose 13*u - 2498109 = -41*u - 400209. Does 15 divide u?
True
Suppose 5*z + 3*n = -913 + 2233, -4*n = -4*z + 1088. Let u = z + 157. Is 35 a factor of u?
False
Let h(z) = 1751*z**3 - 2*z**2 - 12*z + 44. Does 111 divide h(3)?
False
Suppose 609039 = 33*a - 146727. Is a a multiple of 38?
False
Let k = 35967 + -33431. Is 8 a factor of k?
True
Suppose -b + m = 4*b - 25, -b = 2*m - 16. Let c(y) = y**3 + 7*y**2 + 2*y + 20. Is 20 a factor of c(b)?
True
Is (-6796 + 0)*(0 - 2)/4 a multiple of 93?
False
Let r(i) = -i**3 + 15*i**2 - 16*i + 11. Let a(v) = -v**3 + 15*v**2 - 17*v + 12. Let c(x) = -4*a(x) + 5*r(x). Is 12 a factor of c(13)?
False
Suppose 0 = -10*b + 31 + 59. Let m(f) = f**3 - 9*f**2 + f - 6. Let q be m(b). Suppose 2*k = r + 198, q*k - 8*r = -3*r + 297. Does 14 divide k?
False
Suppose -f - 3*l = 407, 2035 = -5*f - 2*l + 7*l. Let w = 627 + f. Is w a multiple of 20?
True
Let o = 46216 - 32956. Does 87 divide o?
False
Let b(u) = 119*u - 56. Let a(x) = x**2 - x - 70. Let s be a(-8). Does 14 divide b(s)?
True
Let g(n) = 18*n + 8. Let o be g(9). Suppose 860 = 5*k - 4*h, -5*k + 3*h = -o - 695. Let s = k + -89. Does 29 divide s?
True
Let a be (-45)/30*((-5)/(-3) + -1). Does 20 divide a + 549/6*(-2)/(-3)?
True
Let z = 1972 - -483. Is z a multiple of 13?
False
Let q = -25 + 19. Suppose 11*g = 15*g - 24. Is 8 a factor of (0 - q)*(g - -1)?
False
Suppose -25*c + 80 = -70. Is (c - 240/42) + 145/7 a multiple of 6?
False
Suppose 7*u - 54599 = -11*u + 432085. Is u a multiple of 49?
False
Let h be (-5)/(25/(-15))*20108/12. Suppose 3*w = 11 - 8, -3*p = 5*w - h. Does 27 divide p?
True
Let p = 607 + 8779. Does 17 divide p?
False
Is (-1)/(-1) - (46/299 - 227114/26) a multiple of 24?
True
Let p = 7588 - 4302. Is 2 a factor of p?
True
Suppose -4*r + 17665 = r - 3*q, -4*q = r - 3510. Suppose 5254 = 8*s - r. Does 18 divide s?
True
Let l = 12316 + -11020. Is 11 a factor of l?
False
Let m = 602 - 416. Suppose 2*x - 194 = -2*h + h, -2*x = -h - m. Does 13 divide x?
False
Let m(b) = 60*b**3 + 3*b**2 - b + 3. Let z(v) = -60*v**3 - 4*v**2 + 3*v - 4. Let i(q) = -3*m(q) - 2*z(q). Does 9 divide i(-1)?
False
Suppose -126 = 5*h + 289. Let u = 24 + h. Let t = 103 + u. Is t a multiple of 11?
True
Suppose 0 = 2*g - 43 + 23. Let o be (-4 + 0)*g/(-8). Let k(n) = 11*n + 5. Is 29 a factor of k(o)?
False
Let q = -72 + 68. Let j be (-38)/4 - q/(-8). Is 6 a factor of (j/(-75)*-18)/(3/(-15))?
True
Suppose 2*i + 2*x = 7*x + 9, i + 4*x + 2 = 0. Suppose -3*k = i*b - 775, -525 = 6*k - 8*k - 3*b. Does 15 divide k?
True
Let g(o) = 2*o**2 + 4*o. Let j be g(-3). Let m be 11092/22 + 7/(154/(-4)). Suppose 0 = -j*b - b + m. Is b a multiple of 5?
False
Let i(c) = 1. Let n(o) = -o**2 + 37*o - 101. Let f(k) = i(k) + n(k). Is 23 a factor of f(15)?
True
Suppose -42*w + 38*w = -1548. Is w a multiple of 9?
True
Let m(r) = r**2 + 8*r - 300. Let n be m(0). Let x = -243 - n. Is x a multiple of 19?
True
Let s = 7470 - 3970. Does 35 divide s?
True
Suppose -4*t + 16 = 0, -4*k - 4*t = -5*k - 10. Let d(j) = 58*j - 138. Does 8 divide d(k)?
False
Let f(x) = x**2 + 11*x - 31. Let s be f(19). Let k = s + -323. Does 12 divide k?
True
Let k(i) = -i**3 + 9*i**2 + 5*i - 119. Let w(a) = -2*a**2 - a. Let t(g) = -k(g) - 5*w(g). Is 7 a factor of t(0)?
True
Is 164 a factor of (5 + -8)/(3/(-11806))?
False
Let h be (-14 - -20) + -4 + 1 + -139. Let r = 1221 + h. Does 56 divide r?
False
Let c = 303 + -303. Suppose c = -4*k + 508 + 144. Is k a multiple of 50?
False
Suppose -214 = -6*r - 16. Suppose r*i + 424 = 37*i. Let k = -64 + i. Is k a multiple of 4?
False
Suppose 0 = -3*y + 4*c + 3688, 0 = 3*y + y + 5*c - 4876. Suppose 17*g - 13*g = y. Suppose 0 = 3*r + 4*z - g, 0*z = 2*r - z - 204. Does 17 divide r?
True
Let j(g) = -4*g - g**2 + 3 + 3*g**2 - 8*g**2 + 9*g. Let p be j(2). Is 14 a factor of (11/(p/(-2)))/(1/14)?
True
Let q be (0/1)/((-2)/1). Suppose 237*n - 247*n + 1290 = q. Does 52 divide n?
False
Is 13572/117*(6/18 + 1516/6) a multiple of 44?
True
Suppose -t - 3*y = -1491, -3*t + 2*y + 5031 = 492. Is 19 a factor of t?
False
Suppose 43*u + 732130 = 78*u. Suppose -2262 + u = 53*d. Does 22 divide d?
True
Let w = 11 - 9. Suppose 0*m + 2*m - 13 = -3*v, m - 7 = -w*v. Suppose m*z - 971 + 1 = 0. Does 34 divide z?
False
Suppose 1376*v = 1404*v - 176652. Does 9 divide v?
True
Let t = 19 - 18. Does 21 divide t + 5815/30 + (-4)/(-24)?
False
Is ((-3)/1 + -1)*(280 + -4727) - 8 a multiple of 28?
True
Let i be (3 + 872 - -3) + -2. Suppose 10*g + i = -1514. Let w = -114 - g. Is w a multiple of 14?
False
Suppose -231*d - 232087 = -1737283. Does 27 divide d?
False
Let v(m) = -2*m**2 + 100*m + 101. Does 4 divide v(19)?
False
Let i be (439000/(-30))/(-10)*(-6)/(-4). Let o = 3525 - i. Does 35 divide o?
True
Does 10 divide 5 - 134/4*-2*5?
True
Suppose 0 = -3*o - b - 2054, -b + 6*b + 25 = 0. Let z = 140 - o. Suppose -4*a + 641 = 3*g, 18 - z = -5*a - 5*g. Does 17 divide a?
False
Let i(p) = p + 129. Let x be ((-27)/12)/((-12)/16). Does 12 divide i(x)?
True
Let k be (-4)/(-2) - (-5 + 13). Let i be 9 + 2/1 + k. Suppose -i*r + 101 = -399. Is 25 a factor of r?
True
Suppose -3*p = -4*z, -2*p - 6*z = -7*z. Suppose p = 6*h - 18*h + 7704. Is h a multiple of 32?
False
Let h(v) = 189*v**2 - 82*v - 1198. Does 8 divide h(-15)?
False
Suppose 0 = 9*a - 15*a + 12. Let h(u) = -2*u**3 + u**2 + 2*u + 3. Let o be h(a). Is 15 a factor of 36/(-60) + (-528)/o?
True
Suppose g - 627 = 3*r + 13, -g + 608 = r. Is 227 a factor of g?
False
Suppose 4*p - 1084 = -4*d, -5*p + 2306 = -2*d + 923. Suppose -r = -46 - p. Suppose 4*v = r + 175. Is v a multiple of 31?
True
Let y = -16860 - -32480. Does 4 divide y?
True
Suppose -s + 40 = 2*k, s + 5 = -5*k + 42. Suppose 47*a = s*a + 200. Is 2 a factor of a?
True
Let d be 10 + 6 + -6 + -2. Suppose -2*a = 3*y - 767, -d*y + 1270 = -3*y + 5*a. Is y a multiple of 37?
True
Is 5 a factor of (-1)/(4/(-14) - 114104/(-399560))?
True
Let l(z) = -15*z - 16. Suppose -67 = -5*y - 137. Let s be l(y). Let f = s - 44. Does 15 divide f?
True
Is 27 a factor of 22/44 - 2/(4/(-70293))?
False
Let c be (4 - 1)/(1/49). Suppose -2*v - c = 3. Is v/(-7) + 22/77 a multiple of 11?
True
Let v(w) = -2380*w - 924. Does 12 divide v(-3)?
True
Let r be 1*335 + 9/12*-4. Supp