ich is smaller: -2/45 or s?
s
Suppose -o - 4*o = 3*d + 31, -2*o + 2*d = 22. Let a(n) = -n**3 - 4*n**2 + 20*n + 7. Let s be a(o). Let k = s - 2783/27. Does k = -1?
False
Suppose 22*l - 23*l + 6 = 0. Let m be ((-7)/2 - -5)/((-3)/16). Which is bigger: l or m?
l
Let f(r) = 4*r**2 - 4*r - 4. Let y be f(4). Let g = -39 + y. Let k(d) = 5*d - 22. Let n be k(g). Is n > 3?
False
Let z = 54 - 2. Suppose -4141*x + 4124*x + 5 = 56. Which is smaller: z or x?
x
Let y be 1/(1/(-2)) - 7. Let m(a) = -2*a - 10. Let g be m(1). Is g greater than y?
False
Suppose -3*a - 645 = 2*a - 3*c, 0 = c. Let z be ((-44)/99)/(a/9). Let b = -313/5934 + z. Which is smaller: b or 0?
b
Let t = -15845 + 15820. Which is smaller: -12 or t?
t
Let y = 9079 - 9025. Is 107/2 at most y?
True
Let c be -16 + (-247275)/41235 - -22. Which is greater: c or -1?
c
Suppose -114 = 16*d - 25*d + 123*d. Is 1/381 not equal to d?
True
Let j(k) be the first derivative of k**3/3 + 4*k**2 - 24*k - 1. Suppose 4707*f + 60 = 4701*f. Let v be j(f). Which is smaller: v or -8?
-8
Let f = -2471561/14 + 355567/2. Are 1244 and f equal?
False
Let h = 33255.25 + -33290. Which is greater: h or -2?
-2
Let w = 3359 + -3359. Which is smaller: -1641 or w?
-1641
Suppose -2*l + 3*l - 5*c - 5 = 0, -4*l + 20 = 5*c. Let q(o) = -o**2 + 46*o - 169. Let g be q(4). Let p be (-4 + g)*(-22)/110. Which is bigger: p or l?
l
Suppose -2*x - 9329 = 3771. Let j be (50/x)/(-2 - (-6)/4). Which is bigger: 1 or j?
1
Let i be 20/35 + (-39153)/(-21). Let p be 4 + (2/(-5) - i/25). Which is smaller: -72 or p?
-72
Suppose -i = -27 + 16. Suppose i*x + 189 = 24. Which is smaller: x or -1?
x
Let w be (41 + 4)*(-2)/(-3). Let m be w/60 + (0 - 0). Is m bigger than 1.97?
False
Let m = -64 + 248. Let a = -184.1 + m. Are a and -5/13 unequal?
True
Let j = -3163/2 + 2111. Which is greater: j or 530?
530
Let u(g) = -g**3 - 4*g**2 + 577*g + 6 - 576*g + 0*g**3. Let j be u(-3). Is -6 >= j?
True
Suppose -444 = -3*r - 3*z - 81, -5*z = -3*r + 355. Is r less than 121?
True
Let d = -10 + -18. Let u be 528/275 - 6/(-75). Let i be (-11)/(-22)*(1 + (u - 3)). Is i at most as big as d?
False
Let i(n) be the second derivative of 5*n**3/6 + 11*n**2/2 + n. Suppose -3824*h + 18 = -3830*h. Let g be i(h). Which is greater: 7 or g?
7
Suppose -2*x = -a + 3448, -5*a + 978 = -4*x - 16244. Which is smaller: 3440 or a?
3440
Let i(d) = -d**3 + d**2 + 2*d + 10. Suppose -91 = -11*y + 162. Suppose 0*g + w - y = -5*g, 0 = -4*w + 12. Let q be i(g). Which is greater: -33 or q?
q
Suppose 4*s + q = -82, 2*q + 38 = -s - s. Let h = 123241 + -123266. Are h and s equal?
False
Let d = -564979/530 + 1066. Let z = 2387/1060 - d. Is 1 less than z?
True
Suppose d - 5*i + 196 = 4*d, 280 = 4*d + 2*i. Suppose 0 = 3*v + 3*l - d, -3*v - 3*l + 101 = v. Is 266/9 >= v?
True
Let x be 23/115 + (-78)/(-10) + 2. Let n be (-8 + -1)*x/(-33). Which is smaller: n or 2?
2
Let b be (-11)/((-165)/1054)*6. Let r = b + -2169142/5145. Which is greater: r or 1?
1
Suppose t + 4 = 10. Suppose -40 = t*o - 2*o. Let z be -1*5/o + 6/(-4). Do 2/5 and z have different values?
True
Let a = 90 - 81. Suppose 4*o + 30 = a*o. Suppose -9 + 15 = o*z. Which is smaller: z or 7/6?
z
Let m = -338 - -335.19. Let v = 2.51 + m. Is 0.03 smaller than v?
False
Let k be (-7)/(-1) - 4/(-4). Suppose 3*y = -5*d + 52, -k = -y - 5*d + 8*d. Which is bigger: 13 or y?
y
Let n be (26/(-16) - -2)/(36/2384). Let s be -1*((-171)/(-6) + -1). Let f = s + n. Is f at least as big as 1/4?
False
Suppose 41 + 31 = -4*d + 2*r, d - 3*r = -8. Let c be 16/20 + 134/d. Which is greater: c or -7?
c
Let l = 497 + -490. Let s(w) = w**3 - 2*w**2 - 35*w. Let d be s(l). Which is bigger: 1/10 or d?
1/10
Suppose -3*n - 7 + 10 = 0. Let j be 30/(-2) - (n - 2). Let a(b) = 14*b + 251. Let c be a(-19). Are c and j equal?
False
Let z be 6/14 + (-360)/(-42). Suppose -z*y + 75 - 201 = 0. Let x be 26*(4 + 72/(-16)). Are x and y unequal?
True
Let o(v) = v + 49. Let q be o(-44). Suppose -2*a = 10, q*p + a + 37 = 3*p. Is p > -11?
False
Let g = -519 + 919. Suppose f + 4*d = -4*f - g, -309 = 4*f + d. Let k = -77 - f. Which is greater: -1.7 or k?
k
Let o be ((-6 + 14)/(-4))/(6/(-711)). Suppose g = 2*y + 153, g + 0*g + o = -3*y. Is -235/3 at most as big as y?
True
Let t(m) = -5*m**2 + 123. Let z be t(8). Which is smaller: -198 or z?
-198
Let w(c) = -c**3 - 11*c**2 - 10*c + 10. Let s be w(-10). Let x = 17 + -4. Suppose -3*g + x + 11 = 0. Which is smaller: s or g?
g
Suppose 3*w - 11*m = -9*m + 10, -5*w = m - 21. Suppose -127 = -w*f - h, 0*h - 2*h + 30 = f. Suppose k - f = -y - y, 3*k = y + 110. Is k bigger than 35?
True
Suppose 437 = -2*j - 3*i + 425, -4*i - 16 = 2*j. Which is bigger: j or -34/95?
j
Suppose -45*y + 44*y + 3 = 0. Let z be 6/15 - 4536/(-35). Suppose 5*f - y*w = 135, 5*w = 4*f - z + 22. Do 28 and f have different values?
True
Let f be (-18632)/(-2154) + (-12 - -3). Let t = -6/359 - f. Is -203 >= t?
False
Let y(r) = r**2 - 39*r + 338. Let t be y(26). Which is smaller: -1/6364 or t?
-1/6364
Let n be 507/(-6) + (-5)/10. Let a = -3229/38 - n. Is -2 > a?
False
Let t be ((-1931)/6)/(-1 - 18). Let o = 101/6 - t. Let v = 1142046 - 1142047. Is o at most v?
False
Let x(n) = 2*n + 11. Let d be x(0). Suppose -31*h + 38*h - 105 = 0. Which is greater: h or d?
h
Let i be (3 - -36)*(-2)/22. Let c(o) = o**3 - 86*o**2 - 3*o + 254. Let z be c(86). Is i smaller than z?
False
Let i(n) = n**3 - 118*n**2 + 219*n + 3716. Let o be i(115). Which is smaller: -10775 or o?
-10775
Let o = -13.78 + -774.22. Let j = -751 - o. Is j at most 1/3?
False
Let q = 51/205 + -2/41. Let b = -1352 - -1349. Which is smaller: q or b?
b
Suppose 2*a + 2 = -6, 0 = h - 5*a + 286. Which is bigger: h or -297?
-297
Suppose -11*c - 2*x + 450 = -6*c, 3*c = 3*x + 291. Suppose c + 13 = 3*f. Is 36 less than f?
False
Suppose -5*w = -2*z - 741, -8*z - 4*w = -5*z + 1146. Let m = 379 + z. Is m equal to 1/359?
False
Let z = -1.2 + -16.8. Let o = 0.9522 + 0.0478. Which is smaller: z or o?
z
Suppose 61*l - 36*l - 203950 = 0. Let y = 57272/7 - l. Is y < 0?
False
Let m = 3015 - 3310. Is -292 smaller than m?
False
Let g be ((-4)/(-6))/(1/129). Suppose 5*b = 4*a - 335, 3*b - 383 = -5*a + 45. Is a < g?
True
Let j be (-156)/(-728) - (-2)/56. Is j < 2094?
True
Let t = 1.5845 - 1.8185. Which is smaller: -2.6 or t?
-2.6
Let a be (-6)/(-5)*(-120)/16. Let g(u) = 2*u**3 - 24*u**2 + 38*u - 189. Let j be g(11). Is j < a?
True
Let c be ((-153)/306)/(1/364). Which is smaller: c or -163?
c
Suppose -6*p = -5*p - 13. Let a(q) = -q**2 + 11*q + 28. Let z be a(p). Do z and 36 have different values?
True
Let l be (-3500 - (-3 - (-11)/11)) + 1. Which is smaller: l or -3494?
l
Let k = -10274 + 10272. Does k = -241/6?
False
Let n be 10/(-4)*(2 + (-84)/70). Let w = 1137 + -11381/10. Is w > n?
True
Let t be -42 + 21/(-13 + 6). Let q be t/10*12*6/99. Which is greater: -3 or q?
-3
Let g be 7/2 - 634480/(-160). Does 3969 = g?
True
Let f = 24 - 53/2. Let b = 29 - 29. Suppose 2*z = -2*c - 8, 3*z + 10*c - 5*c + 16 = b. Is f at least z?
False
Suppose -18*z + 174 + 42 = 0. Let v be ((-888)/100)/(z/40). Which is smaller: v or -31?
-31
Suppose 5*r + w + 42 = 0, -r - 4*w - 7 = 9. Which is smaller: r or 7?
r
Let n = -14147/3 + 29270149/6207. Which is smaller: n or 1?
n
Let q = -290 + -88. Let l = -383 - q. Is l smaller than -5?
False
Let s = 0.2 + -0.1. Let n = 855 - 845. Let l be ((-720)/(-27))/n + -8. Is s at least l?
True
Let a = 439 - 442. Let j be a/2*24/(-9)*-1. Which is greater: j or -13/4?
-13/4
Let x(w) = w**3 + 4*w**2 + 4*w + 32. Let k be x(-4). Let o be 5 + (k/(-2) - -4). Suppose i - 19 = -0*i + 3*c, i = 5*c + 25. Which is greater: o or i?
i
Let b be (-1)/(-5)*1 - (-16218)/(-90). Let g be 0/2*(-36)/b. Which is smaller: 6/67 or g?
g
Let d = -39.63 - -45.1. Let i = d + -5.3. Which is greater: i or -2?
i
Let b(p) = -48*p - 468. Let d be b(9). Which is bigger: d or -899?
-899
Suppose -3*t - 15 = 3*u - 18, 0 = 5*u + 3*t - 5. Which is smaller: u or -5/786?
-5/786
Let t(s) = -41*s - 3. Let x be t(-7). Suppose -3883*f + 3905*f - 6270 = 0. Which is smaller: x or f?
x
Suppose 17*c - 691849 = -691526. Suppose 5*y = 106 - 31. Is y >= c?
False
Let u(i) = i**3 + 4*i**2 + 6*i + 10. Let h be u(-2). Let f be ((-8)/h)/(-59 - 3). Is 4 greater than or equal to f?
True
Let x = 13 + -15. Let