/(-190) + 4/(-10) + (-64)/(-10). Which is bigger: -6/3289 or g?
g
Let u(t) = -2*t**2 + 21*t + 156. Let n be u(-5). Which is smaller: -2/12261 or n?
-2/12261
Suppose 0 = -y - 3*i + 856, -419 = 4*y + 4*i - 3819. Let s = -807 + y. Which is smaller: 20 or s?
20
Let j = -9 - -18. Let k be 89/9 + (2/9)/2. Suppose 1 = -l + k. Is j > l?
False
Let m = -40 + 89. Suppose 57*i + 8 = m*i. Is 1 smaller than i?
False
Suppose 5*n - 6*u + 4*u + 22 = 0, -2*n - 5*u - 32 = 0. Which is greater: n or -231?
n
Let l(n) = n**2 + 2*n - 10. Let a be l(3). Suppose -4*w + a*v = -w - 17, -2*w + 6 = -2*v. Let f be (0 + w - (1 - 4)) + -3. Is 17 <= f?
False
Let s = 2.04428 - 0.04428. Does s = -179?
False
Suppose -3*n - 6 = -6*n. Let z(p) = 2*p**n - 39 + 41 + 0*p**2. Let u be z(2). Is u at least as big as 10?
True
Let q = 87 + -88. Let w be (22/8 + q)*(-4)/17. Is w greater than 1?
False
Suppose 0 = -11*h + 3*h - 776. Let j = h + 111. Suppose -j = -8*m - 134. Is m smaller than -2?
True
Let y = -22.881 + 23. Let o = -1400 - -1401. Is y at least as big as o?
False
Suppose -2*r = -4*c - 6*r, r = -2*c. Let p = -27675 - -27621. Which is smaller: c or p?
p
Let o = -2 + -18. Let n = -18 - o. Suppose 5*f + 164 = 5*z - 6, f - n*z + 29 = 0. Is f greater than or equal to -39?
True
Let p = 58.0267 - 0.1267. Let q = p + -58. Let h = -299 - -8075/27. Is h greater than or equal to q?
True
Suppose -84 + 91 = 7*f. Let p be 1 + -117*9/1059. Which is greater: f or p?
f
Let q = -105.98704 + -0.18296. Let u = 107 + q. Let d = u - 0.23. Which is smaller: 2 or d?
d
Suppose -5*o + 4*s - 518 = 0, -2*s = -5*o - 712 + 198. Let g be (-2 + o)/(-4) - 4. Suppose 3*i + 5*z - g = -4, -4*i + 4*z - 8 = 0. Is 2/29 at most as big as i?
True
Let s be (-26)/(-39)*(-15)/(-2). Suppose s + 10 = 3*z. Suppose -z*c - 28 = -33. Is c greater than 1?
False
Let d(g) = -72*g + 7331. Let l be d(102). Which is smaller: -58 or l?
-58
Let j(t) = 4*t + 18. Let q(m) = 4*m + 19. Let i(h) = -5*j(h) + 4*q(h). Let x be i(-4). Let a be (x/(-12))/((-3)/(-6)). Which is smaller: -0.6 or a?
-0.6
Suppose 2*r = 3*r - 12. Suppose 0 = -0*m + r*m - 1176. Let t be (2 - (-3)/(-1))*(-42)/m. Which is greater: t or 1?
1
Let l = 3.33 + 1.99. Let w = -4.52 - -5.2. Let p = w + l. Which is greater: p or 1/2?
p
Let d = -19 + 122. Let f = 80 - d. Which is smaller: f or -111/5?
f
Let j(b) = b**3 - 5*b**2 - 361*b + 733. Let g be j(2). Is g greater than or equal to -5/10614?
False
Suppose -4*x + 12 = 2*x. Let c be x/(-3)*(-714)/616. Is c >= 0?
True
Let y = -155291/80543806 - 2/52781. Which is smaller: 0 or y?
y
Let x = 497/9 - 548/9. Let t = -11 - -5. Is x smaller than t?
False
Suppose 0*u = u - 15. Suppose -5*k = -4*j + u, j - 4*j = -2*k - 6. Is 24 < k?
False
Suppose 2*r + 3*q - 25 = 8*q, -2*r = -2*q - 22. Let o(v) = -3*v - 2. Let z be o(-4). Suppose z*t + r = 8*t. Which is greater: -2 or t?
-2
Let k(v) = v**3 + 7*v**2 - 7*v + 14. Let i = 22 + -30. Let j be k(i). Suppose 5*b + 8 = -2*f + f, 3*b + f = -j. Is b at most 2/21?
True
Let v = -20.8 + 21.8. Let i = 9/22 + -10/11. Is i <= v?
True
Suppose 0 = 4*u + 4*w - 2088, -2*u - 11*w + 13*w + 1032 = 0. Which is greater: u or 517?
u
Let f = -24150 - -72508/3. Suppose 0 = -5*n + 4*w + 132 - 30, 84 = 5*n + 2*w. Which is smaller: f or n?
n
Let u be 0 - 8 - ((-4)/1 + 2). Let c be ((-2)/8)/((-35)/96*u). Which is smaller: -1 or c?
-1
Let w be 17/(-35) - (-6)/21. Let i = 1615 - 40368/25. Let a = i + -3/100. Which is greater: a or w?
a
Let w be ((-3)/(-58))/((-1)/(-2)). Suppose -4*z - p + 16 = 0, -8*p + 20 = -3*p. Suppose 0 = -4*b - 20, z*a + 2*b + 0*b = -7. Which is smaller: a or w?
w
Suppose -18*q + 2*z = -15*q + 1115, -z = -2*q - 741. Which is smaller: q or 0?
q
Let a be 79/4 - (-24)/96. Let d(b) = b**3 - 2*b**2 + 4*b - 1. Let j = -17 + 20. Let t be d(j). Is a at most as big as t?
True
Suppose -39*l + 319 = -10*l. Let a be 7/5 + (-2)/5. Let c be (-5 - -6)/(a/l). Which is greater: 10 or c?
c
Suppose -27*h = -36*h + 45. Suppose -24*x = 5*x - h*x. Is x at least as big as -2/63?
True
Let o = 2 + 5. Let z = o + -5.7. Let v be -2 + -7 + (-57)/(-6). Which is smaller: z or v?
v
Let z = 222/13 - 2702/143. Let i be (-2 + (-32)/(-60)*6)*55. Let o = i + -69. Is z smaller than o?
False
Let t(r) = 86*r - 171. Let f be t(2). Which is greater: f or 15/749?
f
Let b be ((-80)/28)/(4/(-14)). Suppose 2*u = -b, -4*w + 3*u + 9 + 14 = 0. Is w bigger than 27/8?
False
Suppose 13*l + 620 + 7804 = 0. Let y = l - -648. Is -2/207 at least as big as y?
False
Let t = 2771 - 2770.2718. Let o = t + -0.0282. Is 8 < o?
False
Let p = -5.5 - -5.38. Let w = -209.896 + -0.104. Let f = w + 206. Which is smaller: p or f?
f
Let y be 4*1*(-7)/(-3). Let f be (-8 - (-15)/2)/((-8)/128). Which is greater: y or f?
y
Suppose 38*n - 321 = -131. Let d be 1*(24 - n) + 2. Which is bigger: 6 or d?
d
Let j = 185 + -186. Let h be 2*(j - -3)/4. Do 4/43 and h have the same value?
False
Let t be ((-24)/2)/(-3) + -4. Let n be 17*(-1)/1 - t/(-6). Let c = -12 - n. Is 5 greater than or equal to c?
True
Let k = -7/1136 - 16637/19312. Which is greater: -2 or k?
k
Let z(t) = -8*t - 7. Let w be z(-2). Let c = -27 + w. Let j = c - -19. Which is smaller: -25 or j?
-25
Let z(n) = -1. Let m(i) = 9*i + 82. Let p(q) = -m(q) - 3*z(q). Let l be p(13). Is l bigger than -197?
True
Let x = -119 - -616. Let q = 497.1 - x. Is 183 greater than or equal to q?
True
Let d = -17 - -69/4. Let i(y) = -y**2 + 3*y + 2. Let m be i(4). Let c be ((-3)/(-4) + m/8)/(-1). Which is greater: d or c?
d
Let u be (45/(-10)*1)/(9/24) - -4. Is -384/43 greater than or equal to u?
False
Let y be 110/38 + (-10)/(-95). Suppose 2*q + 2*g = 4, -y*g + 16 = 3*q + 2*q. Suppose -q*u + 5*b = 10, 4*u + 3*b - 6 = -0. Which is bigger: u or 10/19?
10/19
Let c(d) = 197*d**2 - 84*d - 390. Let j be c(-5). Is j less than 4952?
False
Let u(x) = -x**2 - 17*x - 15. Let n be u(-11). Let o = -49 + n. Let h = 11 + o. Which is greater: h or 14?
14
Let z(u) = u**3 - 2*u**2 + 4*u - 9. Let y be z(5). Let i(h) = -y*h + 90*h - 5 + 1. Let q be i(1). Is q < 1/69?
True
Let u = 1175/88 + -5/264. Suppose 0*l = -3*l + 6. Suppose -5*k + 15 = -5, -l*w = -2*k - 16. Which is smaller: u or w?
w
Let s = -1/240 + -83/240. Let h = 1/20 - s. Which is smaller: 0 or h?
0
Let i(s) be the third derivative of s**4/6 - 7*s**3/3 - 3*s**2. Let d be i(5). Suppose d*l - l = 0. Does -3/16 = l?
False
Let k be (36/(-24))/((-3)/(-5676)*-3). Let q be k/(-236) - (-108)/27. Which is bigger: q or -1?
q
Let l = -12 + 20. Suppose 24 = 3*i - 3*u, -5*u - 20 = 3*i - 6*i. Suppose i = 4*t - 9*t. Which is bigger: t or l?
l
Let h = 100.338 + 0.662. Let s = 100.92 - h. Which is bigger: 0.51 or s?
0.51
Suppose 434 = 10*a + 27*a - 6*a. Let i = 19/2 + -9. Which is smaller: a or i?
i
Let s(a) = -25*a - 98. Let j be s(-18). Let z = j + -235. Which is smaller: z or 116?
116
Let c = 118/7 - 3967/210. Let z = 601/300 + c. Is 0 <= z?
False
Let a be (-57*(-1)/45 + -1)/(9392/(-24)). Let c = -264/48321245 + -22779854890/130477025749. Let n = a - c. Which is bigger: n or 1?
1
Let l(u) = u**3 + 85*u**2 - 1170*u + 69. Let s be l(12). Let t = 12067/8 + -1511. Which is bigger: s or t?
t
Let g be -71*(-10 - 2331/(-234)). Does g = 2?
False
Suppose -5*v - 1802 = -372. Let o = -154 - v. Is 132 <= o?
True
Let a(i) = i**3 + 27*i**2 - 46*i + 36. Let s be a(-29). Is s smaller than -312?
False
Let b(t) = 26*t**2 + 14*t + 102. Let y be b(8). Is 1877 greater than or equal to y?
False
Let a = 746 - 643. Let s = a - 87. Is s <= -0.21?
False
Let a = 19627/4 - 4864. Which is greater: a or 43?
43
Let v = 16 + -21. Let j = -5 + v. Which is greater: j or -11?
j
Let n be ((-6)/(-4))/((-6)/(-8)). Let q be (6/(-201))/(n/6). Suppose -5*b + 30 = 0, -2*k = 30*b - 33*b + 16. Which is smaller: k or q?
q
Suppose 2011*a = 2014*a - 210. Let q(d) = 12*d - 26. Let p be q(8). Is p greater than or equal to a?
True
Suppose -4*t + 29 = 197. Let c be (-2)/t + 52/182. Is c greater than -1?
True
Let u be (-133)/16*1576/(-5516). Suppose -4*v = -3*f + 19, 4*f = v - 3*v - 4. Which is smaller: f or u?
f
Let k(t) = 2*t - 9. Let b be k(5). Let d = -589 - -42995/73. Is b at least d?
True
Suppose 0 = -4*m + n - 1, 3*m + 8 = 4*n + 17. Are m and -1/33 equal?
False
Let n(h) = 8*h + 14. Let f be n(-4). Let t be 45/f*(-8)/10. Suppose -t*v = -22 + 36. Do 