s. Is u a multiple of 23?
True
Suppose 5*n + 4*q + 0*q = -95, 2*n = 2*q - 20. Suppose -2*f - 3*f - 3*t + 90 = 0, 2*t - 70 = -4*f. Is (-3)/f + (-1158)/n a multiple of 16?
False
Let z be (-208)/10 - ((-4)/(-10))/2. Let k = z + 100. Is 44 a factor of k?
False
Does 61 divide (-7 - (-8536)/(-40))/(10/(-25))?
False
Suppose -182*t + 180*t - 100 = 0. Let y(i) = 3*i**2 + 11*i + 10. Let c be y(-8). Let f = t + c. Is f a multiple of 16?
True
Suppose 194 + 1855 = 3*y. Suppose -541 = -6*d + y. Is d a multiple of 6?
True
Let a = -4499 - -11303. Suppose a + 2212 = 8*y. Is 8 a factor of y?
False
Suppose -1791 = 2*k + 3*u - 7056, 8*u = k - 2680. Does 16 divide k?
True
Is (-4 + 1)/(84/(-86016)) a multiple of 48?
True
Let i(v) = v**3 + 27*v**2 + 2*v + 55. Let s be i(-27). Is ((-15)/(-13) - s) + (-216075)/(-1677) a multiple of 6?
False
Suppose 89 + 149 = -2*h. Let k = h - -182. Is 9 a factor of k?
True
Let c be ((-7)/(-21))/(1/15). Suppose 985 = 5*m - c*v, 2*m + v = -3*v + 418. Let n = m - 153. Is n a multiple of 7?
False
Let l(w) = w**2 - 18*w + 292. Is l(-11) a multiple of 43?
False
Let s = -154 + 288. Suppose 311 - s = 3*a. Is a a multiple of 2?
False
Suppose -3*z = -g + 13, 5*z + 28 = -g + 9. Is (-105)/(g*(3 + -4)) a multiple of 35?
True
Suppose 90*o - 84*o - 42 = 0. Suppose -67 + 4 = -o*x. Suppose -x = -2*h - h, -h - 292 = -5*q. Does 8 divide q?
False
Suppose -3*z + 4*u = -319, -4*u = z - 80 - 21. Suppose -113*k = -z*k - 984. Is 11 a factor of k?
False
Suppose 0 = y + 4*t - 2012, -9*y + 2*t + 10104 = -4*y. Is y a multiple of 139?
False
Suppose 19*r - 54749 = 37021. Does 14 divide r?
True
Let t = -15259 + 21660. Suppose 4*b - 5110 = 2*y, -5*b - 15*y = -13*y - t. Is 68 a factor of b?
False
Suppose -68*s + 21109 = -15490 - 15557. Is s a multiple of 13?
True
Let l(d) = -10*d - 104. Let w be l(-31). Let u = w - 194. Is 12 a factor of u?
True
Suppose 0 = 4*o + k - 3491, 0*o = -3*o - 4*k + 2602. Let h = o - 293. Is h a multiple of 11?
False
Let d(i) = 59*i + 1 - 14*i - 3 + 2*i**2 - 18. Does 21 divide d(-25)?
True
Let b(l) = 2776*l**2 - 12*l + 22. Is 13 a factor of b(2)?
True
Let z(j) be the second derivative of -j**4/12 - 11*j**3/3 + 34*j**2 + j + 14. Is 5 a factor of z(-18)?
True
Let g be 92 - (0 + 1)/(-1). Let k = 4535 + -4579. Let j = g + k. Is j a multiple of 3?
False
Let q = -25 - -26. Let p be ((-3)/(-9))/(q/9). Suppose -p - 33 = -l. Is 12 a factor of l?
True
Suppose -4*s - 6*q = -q + 14, -22 = 2*s - 5*q. Is -8 - 2661/s - (-2)/4 a multiple of 26?
False
Let f be (-27)/(8/(-16)*(-2 - 0)). Let m = 52 + f. Suppose -m*o = -10*o - 270. Is o a multiple of 3?
True
Let q(l) = 3*l**2 - l - 9. Let j be q(5). Let c = j - -47. Suppose -c = -3*b - 39. Is b a multiple of 20?
False
Suppose 1910 + 788 = n - 5*m, 0 = 3*m + 6. Is n a multiple of 7?
True
Is 42 a factor of 11 + 2526 + -12 + -5?
True
Let d = -70 + 297. Let p = d + -213. Is p a multiple of 7?
True
Suppose 0*i + i - 874 = -5*s, -5*s + 866 = -i. Suppose -3*d = 7*f - 9*f + s, 0 = -2*f + d + 178. Is 18 a factor of f?
True
Let y = 3359 - 2345. Let x = 2219 - y. Is x a multiple of 58?
False
Let h(o) = -83*o - 625. Is 18 a factor of h(-11)?
True
Suppose 0 = 6*v - 375 - 705. Let b = v - 55. Suppose -2*t + 23 + b = 0. Is 33 a factor of t?
False
Suppose 3*i = -5*m + 12, i + i = -4*m + 8. Let v(y) = 36*y - 8. Let j be v(7). Suppose -f + 534 = 5*p, -j = -5*p - i*f + 302. Is 17 a factor of p?
False
Let g(y) = 9*y**2 - 3*y - 2. Suppose 3*n - 9 = -4*k, 2*k = -3*k + 4*n + 19. Let h = 1 - k. Is g(h) a multiple of 15?
False
Is 5 a factor of ((-726907)/1985)/(2/(-30))?
False
Let u(x) = 1656 - 2*x**2 + x**3 - 1642 - x + x - 4*x - 4*x. Suppose a - q - 3*q = -2, 0 = 3*a - 5*q - 8. Does 10 divide u(a)?
True
Let c(q) = -q**3 + 18*q**2 + 14*q - 352. Does 7 divide c(17)?
True
Suppose -5*h + 1701 = -4*j - 1093, 0 = 2*j + 2. Suppose 7*l - 4*l = 5*i - h, 4*i + l - 443 = 0. Does 37 divide i?
True
Suppose 3*f - 3600 = 2*o, f + 9*o - 8*o = 1200. Let s = f + -766. Does 14 divide s?
True
Suppose -15*o + 5290 + 7725 = -1085. Is o a multiple of 3?
False
Suppose -4 - 28 = b. Does 16 divide (b/10)/((-1)/60)?
True
Let g(d) = 5*d**3 + 12*d**2 - 19*d - 4. Let y(v) = 28*v**3 + 61*v**2 - 95*v - 19. Let p(k) = 11*g(k) - 2*y(k). Is p(4) a multiple of 3?
False
Let l(j) = -j**3 + 61*j**2 - 121*j + 177. Let h be l(59). Suppose -11*r + 10*r + 237 = h. Is r a multiple of 26?
False
Suppose j = 2*k + 772, -2*j - 3818 = -7*j - 4*k. Let y = -330 + j. Is 36 a factor of y?
False
Suppose 0 = -350*g + 241*g + 1507688. Is g a multiple of 133?
True
Let u be (-6)/5 + (-156)/(-30). Suppose -3*t + 1745 = u*g - 0*t, g - 2*t = 450. Is g a multiple of 22?
True
Let s be ((-36)/6)/((40/(-15))/4). Let l(m) = -2*m**2 + 16*m + 38. Is l(s) a multiple of 7?
False
Suppose -4*v = -2*f - 34, f = -3*v + 2*v - 5. Let w be 168/27 - (-2)/f. Suppose 0 = 5*o - w*o + 5. Is 5 a factor of o?
True
Suppose 3*s - 174 = -5*h - 17, -5*h = 5. Let n = 59 - s. Suppose 0 = 6*p - n*p - 79. Is p a multiple of 10?
False
Does 16 divide 1085318/114 - (-2 + (-14)/(-6))*7?
False
Suppose 1702 = -27*z + 8992. Is z a multiple of 18?
True
Let s(t) = -11066*t**3 - 3*t**2 + 8*t + 11. Is s(-1) a multiple of 11?
True
Suppose -2*s = 5*i + s - 1349, -3*i - s + 811 = 0. Let g = i - -78. Does 6 divide g?
False
Let s(r) = 4*r**2 - 131*r + 186. Does 9 divide s(-26)?
False
Let h(w) = w**3 - 2*w**2 - 10*w + 11. Let a be h(4). Is 13 a factor of (a - 2)/(3 + 728/(-244))?
False
Let c(o) = 27*o**2 + 334*o - 45. Does 16 divide c(-17)?
True
Let w = 17 + 5. Let x = -20 + w. Does 11 divide ((-3)/x)/((-572)/(-192) - 3)?
False
Suppose 5*r - t = 4310, -3102 - 1198 = -5*r + 3*t. Let s = -251 + r. Is s a multiple of 51?
True
Let g be 384/72 - (-1)/(-3). Let a be -154 - g*(-12)/(-15). Let r = 246 + a. Is 8 a factor of r?
True
Let n(s) = -23*s - 81. Let l be n(-6). Suppose 0 = m - 4*p - l, -5*p + 4 = -6. Is 13 a factor of m?
True
Let w(d) = d**2 + d + 3. Let a be w(-4). Suppose 48 = a*k - 72. Is 2 a factor of 6/(-4) + 28/k?
True
Let z(m) = 74*m + 249. Let a be z(19). Does 43 divide a/4 + (-36)/48?
False
Let d be 10/4 - (-9)/6. Let m be (-1)/2*-3 + 2/d. Suppose 5*o - 275 = -2*n - 3*n, -m*n + 224 = 4*o. Does 15 divide o?
False
Let f(o) = -6*o - 253. Let j be f(22). Let v = 691 + j. Does 18 divide v?
True
Let r = -3398 + 16086. Is r a multiple of 8?
True
Let a be 2 - 6 - (-5 + 3/1). Let j(n) = -148*n - 6. Let c be j(a). Let q = c + -162. Is q a multiple of 13?
False
Let t(b) = 4*b**2 + 10*b - 108. Let u be t(9). Suppose -302*x + u*x = 4480. Is x a multiple of 12?
False
Suppose o + 26 = 2*v - 3*o, -v = -3*o - 11. Let p = v - 34. Let g = p + 59. Is g a multiple of 9?
False
Let y = 25 - 25. Suppose y = -2*d + 3*v + 166, 55 = 2*d - 2*v - 111. Let l = 14 + d. Is l a multiple of 13?
False
Let n(d) = d**3 + 10*d - 255 + d**2 + 3*d**3 + 242. Does 2 divide n(3)?
True
Let j = 1845 + -923. Does 112 divide j?
False
Suppose -4*p + 4 = -4*s, -4*s = 4*p - 6*p + 8. Let w = 1 - s. Suppose -z - k = 2*k - 51, z - 86 = w*k. Is z a multiple of 13?
False
Does 46 divide -5*((-420624)/30)/12?
True
Suppose 5*j + 17 = -3*h, 1 = -4*j + 2*h + 5. Is 52 a factor of (-12472)/(-48) - j/6?
True
Let b(p) = p + 71. Let r be b(-7). Does 14 divide -3*r/(-30)*(11 + -1)?
False
Suppose -q - 2*q = -12, -2*k - 5*q - 150 = 0. Is 5 a factor of (4/2)/(k/(-75) - 1)?
True
Let s = 30 + -28. Let a(y) = 372*y - 373*y + 2*y**2 - 2 + 7*y**2. Is a(s) a multiple of 32?
True
Let w = 3930 + -2813. Is 7 a factor of w?
False
Let f(q) = q**3 + 5*q**2 - 9*q - 14. Let s be f(-6). Suppose -5*m + 3429 = s*m. Suppose -6*l = m - 1299. Is 29 a factor of l?
False
Let x(u) = -3*u + 27. Let a be x(7). Suppose -2*c = -a*c + 536. Does 3 divide c?
False
Let b(g) = -10*g**2 - 24*g - 14. Let v be b(-5). Is 12 a factor of (-39)/(-52)*v/(-1)?
True
Let b = -23270 + 33024. Does 14 divide b?
False
Suppose 0 = 18*p + 12*p - 4620. Suppose -2*c = -b - p, 19*c + 77 = 20*c - 4*b. Does 7 divide c?
True
Suppose -5*b = -3*c + 2*c + 30, c = 3*b + 20. Let y be (6 - 3) + -1 - (11 + b). Is (-4)/(-6)*3*(-62)/y a multiple of 8?
False
Let d(t) = -38*t - 943. Let o be d(0). Let m = o + 1498. Is m a multiple of 15?
True
Suppose 110883 + 194777 = 17*l. Is l a multiple of 62?
True
Suppose 8676 = 4*s + 4*z, -38*s + 5*z - 2165 = -39*s. Is 3