4 or w?
-4
Let z = 4.53 + -4.5. Let n = 6 - 4. Let k = -2.1 + n. Is z > k?
True
Suppose 3*b = 4*h - 14, 5*h = 2*b + 5 + 9. Which is smaller: -16/11 or b?
b
Let o be 426/4*162/(-243). Is -71 at most as big as o?
True
Suppose 7*k - 3*k + 11 = 3*q, 0 = 2*q - k - 4. Are q and 29/16 non-equal?
True
Let z = -54 + 26. Let d = z - -7. Is d equal to 1/2?
False
Let i = 367.8 + -337. Let z = 30 - i. Which is greater: 1 or z?
1
Let a = 2.8 - 3. Let x be 3/(27/(-2)) - (-10231)/117. Let i = -87 + x. Is a at most as big as i?
True
Let b = -16 + 12. Let r be (-32)/308 - b/(-22). Is 4/21 >= r?
True
Let s = 20.914 + -21. Let b = s - 0.614. Which is smaller: -3 or b?
-3
Let t(w) = w + 4. Let h be t(-4). Let o(v) = v**2 + 3*v - 4. Let y be o(-5). Let k be ((-16)/27)/(4/y). Which is greater: k or h?
h
Let m = -270.554 + 0.554. Which is greater: 0 or m?
0
Let j(y) = -y**2 + y - 1. Let l be j(1). Which is bigger: l or 6/149?
6/149
Let k = 3247557/352 - 9226. Is -1 at most as big as k?
True
Let n(c) = c**2 + 4*c + 6. Suppose -7*g = -25 + 81. Let d be n(g). Let f = d + -29. Is 10 less than f?
False
Suppose -4*w = -2*d + 8, -w - d - d = 2. Let o(h) = h**3 - 5*h**2 - 3*h + 13. Let s be o(5). Let l be s/(-5)*(-3 + w). Which is bigger: l or -9/4?
l
Let l = 2114/9 - 235. Is -4 bigger than l?
False
Let y = 218/7 - 3284/105. Suppose i - 3*n + 4*n = 3, -3 = -i + 5*n. Suppose 0 + i = 3*h. Are y and h nonequal?
True
Let p(x) = -6*x + 52. Let i be p(10). Which is smaller: 6 or i?
i
Suppose -l - 2*l - 564 = 0. Let v be -3 + l/(-44) + -2. Which is greater: 1 or v?
1
Suppose -3*y + 9 + 0 = 0. Suppose y*a = 2*a. Suppose -3*q + 0*n = -n - 1, q - 3*n + 5 = a. Which is bigger: q or -2/17?
q
Let k be 6/(-70)*(-10)/(-4). Let a = k + 19/350. Is -1 at most a?
True
Let m(a) = -20*a + 208. Let w be m(-7). Is w smaller than 348?
False
Let q(b) = -b**3 + 19*b**2 - 18*b - 1. Let s be q(18). Let k be -1 + (s/4 - -2). Let f = 47/252 - -1/28. Which is greater: k or f?
k
Let c be 9 - 3 - (0 + (-2812)/16). Do 181 and c have the same value?
False
Let i = -728 - -729. Which is bigger: 3/319 or i?
i
Let x be (-448)/106 + 32/(-2 + 10). Let b = x + 2/477. Which is smaller: b or -0.2?
b
Let s(r) = r**3 + 6*r**2 + 3*r - 7. Let t be s(-5). Suppose 68 = -5*o - l, t*o - o - l + 23 = 0. Let i = o + 19. Which is smaller: 5 or i?
5
Let p = 7238/1437749 - 4/2441. Is p less than 0?
False
Suppose -39 = 4*g - 131. Which is smaller: 22 or g?
22
Let r be (-12)/(-20) + 2/(-10)*-7. Let d be (-77)/33 + r/(-6). Which is greater: -3 or d?
d
Suppose 3 = 2*v + 13, -z = -5*v - 6. Let p be (-44)/(-33)*(-3)/(-10). Is p at least z?
True
Let i = -0.4404 + 0.0404. Is -1/7 >= i?
True
Let m = -2705 - -2493. Which is bigger: 1 or m?
1
Let o be (-10)/(-5) - 10/6. Let s = 26 - 23.3. Let q = 2.6 - s. Is o not equal to q?
True
Let v = 25072/453 - 166/3. Suppose -3*b = 1 - 4. Which is smaller: b or v?
v
Let j be 3*(-1 + (0 - -3)). Suppose j*f = f + 35. Let z = -23 - -28. Which is smaller: f or z?
z
Let v = 61.57 - 67.1. Let f = v + 1.53. Is f < 12?
True
Let u = -1508 - -1519. Which is smaller: u or 5?
5
Suppose 0 = -k + x - 5, k - 2*x - 1 = 2*x. Let a = k - -9. Let j = 19 + -15. Is a smaller than j?
True
Let n = 1229.1 - 1229. Let v be 2/(10/33) - 3. Which is smaller: v or n?
n
Suppose 54 = -17*b + 19*b. Let o = b - 27. Which is smaller: o or 3/8?
o
Let k be (-72)/(-15)*15/(-1). Which is bigger: k or -80?
k
Let q(y) = -y - 11. Let p be q(-9). Let r(x) = -x**2 - x - 2. Let z be r(p). Which is smaller: z or -5?
-5
Let p = -154/5 - -1068/35. Is p greater than 7/13?
False
Suppose -2*j + 3*l = -3 - 1, 0 = 3*j - 3*l - 9. Suppose 23 = j*h + 2*i + 5, -4*h - i = -15. Suppose 0*a + h*a = 0. Is -2/61 at least a?
False
Let z = 9094.6 + -9092. Let a = 53/52 - 10/13. Is z equal to a?
False
Let j be 0*(-1 - (-1)/2). Let d = -66/23 - -1065/299. Which is greater: d or j?
d
Let g(t) = t + 17. Let l be g(-15). Let q = 3.99 - 4. Which is greater: l or q?
l
Suppose 0*j - j + 1 = -5*o, -5 = -j + o. Suppose 21 = 3*h - j. Suppose -g + 6*g = -5*p + 50, -4*g = 5*p - 43. Which is bigger: g or h?
h
Let u be 17/(952/1248)*14/2. Which is smaller: u or 157?
u
Let k = -0.008 - 38.992. Which is bigger: k or 0.4?
0.4
Let r(q) = q**3 + 13*q**2 + 2*q + 27. Let o be r(-13). Let p = 2/69 - 29/207. Is o greater than or equal to p?
True
Let o(t) = -t**3 + 28*t**2 + 34*t - 137. Let h be o(29). Let b = -19 - -19. Which is smaller: h or b?
b
Let q = -250 + 148. Which is smaller: -101 or q?
q
Let m(b) = -b**3 - 10*b**2 - 9*b + 9. Let w be m(-9). Let u = 5 - w. Suppose -5*a + 8 = -a + 4*k, 0 = -5*a - 3*k. Which is greater: u or a?
a
Let u = 1 - -2. Let m = -3.6 + 0.4. Let y = u + m. Is -1 at most y?
True
Let h = 0.437 - -81.563. Which is smaller: -0.2 or h?
-0.2
Let u = -746 - -742. Which is bigger: u or 176?
176
Let k(y) = y**3 - 14*y**2 + 11*y + 25. Let v be k(13). Are v and -1/674 nonequal?
True
Let l = -6 + 14. Let z(d) = -d**2 + 9*d - 8. Let t be z(l). Let m be (-4)/10*10/22. Is m != t?
True
Let n(p) = -p**2 - 7*p - 8. Let w be n(-5). Let i be w/(-3)*(-33)/(-2). Are i and -11 unequal?
False
Suppose 2*s - 10 = 7*s. Let w(f) = -f**3 - 13*f**2 + f + 3. Let i be w(-13). Let o = i - -9. Which is bigger: s or o?
o
Suppose 0*f = -5*f - 10. Let w be (-9 + 8)/(f/(-12)). Let n = -8 - -2. Are w and n equal?
True
Suppose -5*y + 10 = 0, -u = -0*y + 2*y - 4. Let x be (105/20)/(30/(-4)). Is x equal to u?
False
Let x = -55295/72 + 768. Let y(b) = b**2 + 5*b - 1. Let n be y(-5). Is x less than or equal to n?
False
Suppose -5*d - 4 = 96. Let b = d - -43. Which is smaller: b or 22?
22
Let v = -211 - -206.6. Are 3/2 and v non-equal?
True
Let n be (50/(-4))/(-1)*2. Suppose 16 = 2*u - 0*u - 3*z, 5*z = 3*u - n. Suppose -2*i - 5*k = -2*k + 10, -5*i + u*k = 0. Is i <= 0?
True
Let m = -452 - -5888/13. Which is smaller: m or 1?
m
Let j be 4/(-20) - (-2)/10. Suppose -11*f = -1 + 12. Which is greater: f or j?
j
Suppose -2*c = -4*c. Let y be (-74)/(-12) + 16/(-96). Let x(d) = d**2 - 6*d - 1. Let l be x(y). Is c less than l?
False
Let f(z) = -2*z**2 - 46*z - 200. Let h be f(-5). Let g = -8 + -12. Are h and g non-equal?
False
Let h = -83.9 + 84. Is h >= 43?
False
Let h(i) = i**2 - 3*i - 1. Let q be h(4). Suppose -l + 3 = -2*l + k, 3*l + 3*k = q. Are 1/24 and l equal?
False
Let t(l) = 7*l**2 - 14*l + 35. Let x(k) = 4*k**2 - 7*k + 18. Let m(q) = 3*t(q) - 5*x(q). Let h be m(6). Which is smaller: 0 or h?
0
Suppose -4*y = -3*o + 471, 2*y + 3*o + 231 = 6*o. Let f = 99 + y. Which is smaller: -41/2 or f?
f
Let o be (1/(-4))/(-10 - (-390)/40). Which is smaller: -3/725 or o?
-3/725
Suppose 0 = 3*o - 2*n - 21, -5*o + 5*n + 17 + 23 = 0. Suppose -3*g - 7*a = -2*a - 33, -5*g - 2*a + 36 = 0. Is g >= o?
True
Let c = 3844 + -11698/3. Let o = c - -56. Let q = -159 + 158. Which is smaller: o or q?
q
Let f be 91/130*(-11)/(154/8). Let t = 0 + 0.1. Is t greater than or equal to f?
True
Let n = -0.34 + -22.66. Let v = n + 24. Is v equal to 2/5?
False
Let b(p) = p - 1. Let t(f) = 55*f + 9. Let i(y) = 3*b(y) + t(y). Let u be i(-7). Let h = 8402/21 + u. Which is bigger: h or 0?
h
Suppose 0 = 2*s - s + 7. Let h be 2*1 - s/(-3). Let q = 96.92 - 97. Which is bigger: h or q?
q
Let u = 3.21 - 3.11. Which is smaller: 3.88 or u?
u
Suppose -7*f - 286 = -293. Which is bigger: 30 or f?
30
Let z = 37 + -36.83. Let j = 10035/2 + -5168. Let g = j - -150. Do g and z have the same value?
False
Let o = -88 + 87.83. Let h = 0 + o. Which is greater: h or -2?
h
Let r = -2001.8 + 2002. Which is bigger: 548 or r?
548
Let p be 564/36 - 2/3. Let o(d) = 2*d**3 + 4*d**2 + d - 5. Let l be o(-3). Let a = p + l. Which is smaller: -9 or a?
a
Suppose -w + 365 + 1341 = 0. Let j = w + -11901/7. Let t = -6 + j. Which is greater: 0 or t?
0
Suppose 5*w = 2*w. Suppose -o = 1 - w. Is -4 smaller than o?
True
Let y(t) = 3*t + 37. Let r be y(-5). Is r greater than or equal to 13?
True
Let n = -49 + 38. Let v = 1.4 + 8.6. Let l = n + v. Is l < 0?
True
Suppose 0 = -3*n - 3*u + 237, -2*n - u - 59 = -218. Let k = n + -81. Which is bigger: 2/75 or k?
2/75
Let i be 263 + 9 - 12/(-2). Which is smaller: i or 279?
i
Let r(p) = 11*p**2 + 3. Let l be r(-8). Which is smaller: 1 or l?
1
Suppose -305 - 347 = -2*q. Let s = q + -3257/10. Which is bigger: s or 0?
s
Let g be -2 + 6 + -