er: m or 2/7?
m
Let y be 135/4 - (-9)/(-12). Suppose -z = -l + 6 + 7, -l + 5*z + y = 0. Let i be 5/(-18) + 4/l. Which is smaller: i or -6?
-6
Let y be (-34300)/(-21)*5/30. Let m = y - 53441/198. Is 2 < m?
True
Let w be 2998/3*(504/(-18) - -37) - 8. Is 8987 less than or equal to w?
False
Let q(y) = -3*y + 19. Let d be 26/2 + 14 + -13. Let n be q(d). Is -23 at most as big as n?
True
Let r = -0.06508 + -0.03492. Let t = 3418 - 427248/125. Is t not equal to r?
True
Let s = -11719 + 11734. Is 0.401 >= s?
False
Suppose -b - 6 = 2*s, 15 = -5*b - 4*s - s. Is b at least as big as 11/391?
False
Let r be 1 + 14/(1 + 6). Suppose -4*f = -4*v - 8, r*v = 4*f + 10 - 18. Are -2/353 and v non-equal?
True
Let l(a) = a**3 - 7*a**2 + 3. Let b be l(7). Suppose -b*g + 66 = -g. Let d(u) = -14*u**2 - 196*u + 34. Let j be d(-14). Is j greater than g?
True
Let k = -2693/4 + 1347/2. Which is bigger: 307.7 or k?
307.7
Let h = 256053/617 + -415. Is h at least -1?
True
Let g(m) = 407*m - 266. Let n be g(-4). Which is bigger: -1897 or n?
n
Let g be (-2007)/105 - 6/21. Let s = -1752 - -1733. Is s less than or equal to g?
False
Let x = 0.33423 - 0.24423. Which is greater: x or -1142?
x
Let w be (-702)/(-42) - 4432/(-1939). Suppose -3*a + 31 = -5. Which is bigger: w or a?
w
Let c = -5064243/173 + 29273. Which is smaller: c or 1?
c
Let j = 31943 + -123523582/3867. Which is smaller: j or -1?
-1
Let t = -274 + 275. Is -1/288 at most t?
True
Suppose 4*t + 952 = -10*t. Let x be -4 + t/(-12) - 2/(-6). Which is greater: x or 6?
6
Let y be ((-306)/(-136))/((-6)/(-1168)). Is 440 >= y?
True
Let f = -3/67 + -40/603. Let y(j) = j**2 - 3*j + 3. Let v be y(2). Is v < f?
False
Let k = 6 - 5.2. Let b = 0.4 - k. Let g = -0.13039 - 0.16961. Are b and g nonequal?
True
Let v be (-2133)/(-9) + (-18)/(-2). Which is bigger: v or 283?
283
Let q be (9/15)/(-1)*(-260)/(-702). Let f be -1 - (-2 - (-4)/5). Is f smaller than q?
False
Let k(r) = -2*r + 0*r + 2*r + r + 11. Let z be k(-10). Let v be 9/(-12) + (-4)/16. Which is smaller: v or z?
v
Let g = 1.31 + -3.31. Let u = 1.03 - 0.952. Is g != u?
True
Let u be (-10)/5*((-190)/25)/19. Which is smaller: u or -1540?
-1540
Let o(s) = 30*s - 111. Let d be o(17). Suppose -d*z - 8 = -395*z. Let u = 1 - 0. Is u < z?
False
Suppose -5*j = 4*j + 2232. Let b be (j/(-310))/(2/(-1)). Let c = 4255/32 - 133. Is c <= b?
False
Let y = 1170.3918 - -1.6082. Which is greater: -0.08 or y?
y
Suppose -10*g - 6710 + 930 = 0. Let x = 587 + g. Which is bigger: x or 14?
14
Let d be ((-4)/6)/(7900/(-11850)). Let g be (1/37)/(-1)*-2. Let v = -207/3145 + g. Are v and d equal?
False
Let z = -625/2 + 281. Let x be (1 + -49)/((-207)/18 - -13). Which is smaller: x or z?
x
Let a(w) = -6*w + 23. Let s be a(4). Let f be (-1335)/665 + -5 + 7. Which is smaller: f or s?
s
Let k(r) = -r**3 - 6*r**2 - 2*r. Let s be k(-4). Suppose -5*b + 5 = -8*v + 3*v, b + 1 = -v. Let g be (b + -1)/((-3)/(-72)). Do g and s have the same value?
True
Let f = 12085/63674 + -81041229/710920210. Let z = -4/1885 - f. Are z and 0 non-equal?
True
Let z = -349 - -345.82. Let g = z - -2.88. Which is bigger: -0.2 or g?
-0.2
Suppose -94*f + 99*f - 334 = -p, 310 = 5*f - 5*p. Suppose 100 + 494 = -f*b. Let r = -94/3 - -21. Which is greater: r or b?
b
Let d be 384/27 - (-18)/(-81). Suppose -4*m - 22 = -d. Let f = -13/3 + 43/21. Are m and f non-equal?
True
Let h be 626/(-18) + -9 + (-316)/(-36). Let z = h - -178. Which is smaller: 142 or z?
142
Let f(l) = l**3 + 12*l**2 + l + 9. Let y be -16 - (1 - (-3 - -8)). Let w be f(y). Let h = 152 - 152. Is w bigger than h?
False
Suppose -k + 7 = f, 3*f + 83 = 160*k - 155*k. Which is smaller: k or 5/13?
5/13
Let p = 28/6289 - 539269/1056552. Which is smaller: -2 or p?
-2
Let b(a) = -a**3 + 32*a**2 + 2*a - 30. Let q be b(28). Is q != 3162?
False
Suppose -k - 36 = k - 3*d, k + d = -23. Suppose -4*v = 2*r - 118, 3*v - 89 + 4 = 2*r. Suppose 0 = -25*m + v*m + 84. Do m and k have different values?
False
Suppose -5*f = 3*f. Let o be (0 - (-1 + -1)) + f. Suppose o*t = -g + 10, 3*g - 14 = 2*t - 2*g. Is 3 equal to t?
True
Let r be 2/2 + ((-815)/(-100) - 8)*(-678)/99. Suppose 0 = -2*n + n - 1. Which is bigger: r or n?
r
Suppose 0 = -52*l + 353*l + 469259. Are l and -1559 non-equal?
False
Let a be (2 - 2 - 2) + 17. Let l be -1 - (-18)/27*-9. Let c be l*24/756 + 274/18. Do c and a have the same value?
True
Let g = -0.26 - 0.04. Let t = -149 - -147. Let y be t/1 - (-140)/14. Which is smaller: y or g?
g
Let n = -8 - -4. Let i = 3 - -33. Let g = i - 44. Do n and g have different values?
True
Let y be ((-4)/20)/(1/(-25)). Suppose 6*g = y*g. Suppose c + 2*c + 265 = 5*z, g = 4*c - 20. Which is greater: z or 55?
z
Let s(t) = -4*t**3 + 3*t - 1. Let a be s(-2). Let n = a - 73/3. Let i = -3 - -9. Is n bigger than i?
False
Let y = 199 - 200. Let b be 37/(-1665)*3/33. Which is smaller: y or b?
y
Suppose 4*o = -4*j + 40, 0 = -4*o - 2*j + 6*j. Suppose l = 3*x + 12, 0 = -2*l + 2*x - o*x + 6. Let i be 4/18 - l/27. Which is bigger: i or 3/20?
3/20
Suppose 9*s - 294 = 1425. Let l = s + -190. Let v be (1/(-113))/((-1)/2). Is v at most l?
True
Suppose 0 = 2*n - v + 4293, -41*v = -36*v + 15. Is n less than -2148?
False
Suppose -2*q + 2*p = -2*p - 12, -4*p - 32 = -4*q. Suppose q = -5*r - 5. Is -2 less than r?
False
Let u = 20 + -192. Let n = u - -172.17. Which is greater: -2/7 or n?
n
Let y(m) = -m**3 - 10*m**2 + 13*m - 36. Let d be y(-12). Let i = d - 94. Which is smaller: i or 52?
i
Let s(j) = 7*j + 13. Let c be s(-3). Let h be ((-65)/650)/(-2*(-38)/c). Is 1 not equal to h?
True
Let u = 17491 - 17615. Is u bigger than -68?
False
Let d = -6548/3 + 2183. Which is smaller: 20/3 or d?
d
Suppose 774 = -7*f + 151. Let m = f - -91. Is 8/7 <= m?
True
Suppose 59*c - 7*c + 104364 = 0. Is c smaller than -2005?
True
Let u be (715666/(-2142) - (1 + 1)) + 2/18. Is u != -343?
True
Let z(r) = 0*r**2 - 31*r**3 + 4*r**2 + 32*r**3 - r**2. Let c(i) = -i**3 - 11*i**2 + 15*i + 34. Let m be c(-12). Let d be z(m). Is 5 at least as big as d?
True
Let l be -8 + ((-91)/(-65) - 6/(-1)). Which is greater: -78 or l?
l
Let a = 18011 - 17355. Is 653 > a?
False
Let u be 0 + (10 - 4) + -2. Let z(l) = -25*l**3 - 2*l**2 - 5*l - 1. Let g be z(u). Let v = g - -18169/11. Are v and -2 non-equal?
True
Suppose c + 3 = 0, -f - 2*c - 15 = 3*c. Suppose f = 17*q + 1252 - 3088. Suppose q*t - 114*t = -96. Is 2 less than t?
True
Let s = -49 - -50. Let h = 27.21 + -27. Let g = -0.24 + h. Are g and s nonequal?
True
Let t = 17.27 + -1.27. Which is smaller: -193 or t?
-193
Let i = -9 + 16. Suppose i*l = 21 - 7. Suppose 2*q + l*c - 14 = 0, 5*q - 17 = 4*c - 0. Which is bigger: -2/5 or q?
q
Let w = 0.0538 - 0.1338. Is 70 > w?
True
Let y be (-3984)/(-22)*5/(-10). Let a = y + 82690/913. Which is smaller: 0 or a?
0
Let n = 6035.9 + -6421. Let r = 385 + n. Let f = 2.5 - 2. Which is smaller: r or f?
r
Let s = -246/37 - -44539/6660. Is 0 greater than or equal to s?
False
Let h = 11.14 - 99.14. Is 0.09 < h?
False
Let y = 0.3 + -0.2. Let x = 972.1 + -1014. Let u = x + 22.9. Which is smaller: y or u?
u
Let s be (20/(-5))/(-2 - -1). Suppose 9*i - s*i = -205. Let x(g) = -g**3 - g**2 + 11*g - 41. Let q be x(0). Is q less than i?
False
Let n(i) = -i**2 + 36*i - 57. Let j be n(38). Let o = j - -177. Is 0.1 bigger than o?
False
Let n = -2157 - -2155. Which is greater: -7207 or n?
n
Let k be ((-156)/8775)/((-6)/(-10) - 1). Is -17 greater than or equal to k?
False
Suppose 0 = 3*y + 6, 3*a - 2*y + 224 = 7*a. Suppose -a*z + 592 = -65*z. Which is smaller: -69 or z?
z
Let y be (53/(-120) - 8*16/(-320))*-4. Suppose -4*l - 5*x + 10 = l, -2*l = 3*x - 7. Are y and l unequal?
True
Suppose -2*b - 3*b - 32 = -4*r, -2*r = 4*b + 10. Let u = -25 + 34. Let o be (-10)/u*12/(-10)*-3. Does o = b?
True
Let n = -26.3 - -25. Let v = 1.665 + 0.035. Let f = v + n. Which is smaller: -0.01 or f?
-0.01
Suppose 318*h + 5 = 323*h, z + 5*h = -90. Let g be (-1870)/8*2/5. Which is smaller: z or g?
z
Suppose 47*x = 49*x, -2*x + 30 = 5*i. Suppose -5*a + d = 2*d - 23, -12 = -2*a + d. Suppose a*l - 3*l = i*l. Is -0.06 less than l?
True
Let s be 7/4*22452/28. Let f = 1396 - s. Suppose 77 = -2*b - 9*b. Which is smaller: f or b?
f
Suppose 4*j - 2492 = 2*g, -42*g = -41*g - 13*j + 1169. Which is bigger: g or -1265?
g
Suppose -81 +