)). Which is bigger: o or -1/23?
o
Let t be (-16*(-17)/1360)/((-6219)/(-10)). Is t at most as big as 0?
False
Let s be ((-4)/(-21))/(4/6). Let p = 1700.7 + -1698. Is s at most p?
True
Let z(c) = c**2 - 9*c + 10. Let q be z(7). Let k be (3/2)/(27/36). Suppose 3*t - k*t = -4. Is q != t?
False
Suppose 3*k = -k - 4*x + 8, 0 = k - x. Let q be (6 - 143/26)/((-1)/(-2)). Does k = q?
True
Let a = -3 - -3. Let l be 18542/(-68)*(a - -2). Let m = 545 + l. Which is bigger: m or -1?
m
Let s be 14/(-8)*(-7)/98. Is 2 smaller than s?
False
Suppose 0 = 2*x + 2 + 2. Let j be 30/(-4)*(15/18)/5. Is j <= x?
False
Let s(b) = b**3 - 20*b**2 + 20*b - 31. Let a be s(19). Is a less than or equal to -11?
True
Let i = 2.41 + -2.21. Which is greater: 26/3 or i?
26/3
Suppose -8*m + 1325 + 1099 = 0. Is 304 greater than m?
True
Let d = 6 + -1. Suppose -k + d = 2, 3*n + 5*k - 24 = 0. Suppose -2*s + 9 + n = 0. Is 0 greater than s?
False
Let l = -1834.65 + 197.67. Let i = l - -1622. Let u = 15 + i. Which is smaller: 1 or u?
u
Suppose -25 = -5*f, 0 = 2*v - 4*f + 15 + 3. Suppose 3*y = -5 - v. Let c = -1/484 - 2899/2420. Which is smaller: c or y?
y
Suppose -3*h - 4 = h. Let b = h + 1. Let q = 30027 + -270242/9. Which is smaller: q or b?
b
Let x be 4/46 - -7*38199/(-3381). Is -11 at least as big as x?
True
Suppose -6 = -8*z + 2. Let o = -50 + 252/5. Which is greater: z or o?
z
Let c be 2/2 + (-10)/8. Let p = 6.85 - 7. Let t = 0.05 + p. Which is bigger: t or c?
t
Suppose 0*z = -4*z. Let h = -304.88 - -305. Which is greater: h or z?
h
Suppose -2*x + 6*x = -64. Let d be 68/(-6)*(-56)/x. Let c = -40 - d. Is c equal to -1/2?
False
Suppose -60 = -5*m + 5*a, -20 = -5*m + 4*a + 40. Which is smaller: m or 53/5?
53/5
Let o be ((-30)/4)/(27/(-18) + 1). Let b be 2 - 3/(-1 + 4). Let x be b + (-2 - 3)*-3. Is x != o?
True
Let s = -40.817 + 40.6. Let q = 0.117 + s. Is 28 greater than or equal to q?
True
Let p be 4 + (-1 - (-114)/(-42)). Which is smaller: p or 37?
p
Let b(k) = -43*k - 164. Let s be b(-7). Is 136 at least s?
False
Let g(i) = 13*i - 86. Let z be g(7). Is 38 bigger than z?
True
Let t be (-52)/26 + -5 - 681/(-97). Suppose -1 + 0 = j + 2*v, 4 = -4*v. Which is greater: j or t?
j
Let w(i) be the first derivative of i**2/2 + 14*i - 7. Let q be w(-8). Let y be (-207)/(-108) + (-1)/q. Is 2 >= y?
True
Let s = 7 + -12. Suppose 13*q - 32 = 21*q. Which is bigger: s or q?
q
Let i = -60 - -40. Let g = -20.3 - i. Let t = g - -0.4. Are t and -7 non-equal?
True
Let r(u) = u**2 + 2*u + 2. Let h be r(-2). Suppose h*b + t = 2, -t - 1 = 5*b - 3. Is -7/13 at most as big as b?
True
Let y be -1*(4 - 2) + 12. Let j = -10 + y. Suppose 3*f - 9 - 16 = -5*w, -3*w - 4*f + 26 = 0. Which is greater: j or w?
w
Let x be (0 + (-1)/(-4))*4. Which is bigger: 11/12 or x?
x
Let s = 2 - 2. Is s < 0.0409?
True
Let l = 35 - 5. Let w(o) = -o**2 + 17*o - 33. Let x be w(2). Is x > l?
False
Let a be 1/2*(-3 + 161/56). Which is bigger: -2/41 or a?
-2/41
Let o be (-2 + 0)*(58 + -2). Which is greater: o or -556/5?
-556/5
Let p = -271/10 + 47563/1755. Which is smaller: p or 0?
0
Let f(m) = -10*m + 1. Let t be f(1). Let x(h) = 6*h**2 + 137*h - 33. Let u be x(-23). Is u bigger than t?
False
Let u(g) = 3*g**2 + 2*g - 2. Let r be u(-2). Let c be 133*3/(-1588) - (-1)/4. Let s = c + 11515/1588. Are r and s equal?
False
Let l = -49 - -195/4. Let i be ((-4)/8)/((-2)/(-4)). Let o = i - 0. Which is smaller: o or l?
o
Let s(g) = g**3 - 2*g**2 - 5*g + 4. Let k(v) be the third derivative of -v**4/24 + 4*v**3/3 - 7*v**2. Let u be k(5). Let i be s(u). Which is smaller: -3 or i?
-3
Let u(v) = -6*v + 66 - 32 - 43. Let x be u(-6). Let r = x + -24. Which is bigger: 6 or r?
6
Suppose q - 134 = -4*q + 3*y, 0 = -2*q - 5*y + 66. Suppose 30*r - 33*r - 2*n = -93, -2*r - n + 61 = 0. Is r greater than q?
True
Let u(r) = 7*r**2 + 57*r + 38. Let g be u(-7). Let w(n) = n**3 - 6*n**2 + 4*n. Let j be w(4). Does j = g?
False
Let m = 6.09111 - 0.09111. Let z = 2.1 - -0.5. Let t = -0.6 + z. Which is smaller: t or m?
t
Let b = -276 + 720. Suppose 10*g = 4*g + b. Is g >= 74?
True
Let u be (-370)/2*40/50. Is u less than -147?
True
Let g be 6 + (-74)/7 + 3. Is g smaller than 0?
True
Let f = -8 - -13. Let d = -1.1 + -2.9. Let k = d + 6. Is k at least as big as f?
False
Let n(a) = a**3 + 19*a**2 + 86*a - 16. Let i be n(-9). Let h(j) = j**3 + 3*j**2 - j. Let z be h(-3). Suppose v - z*v = -40. Is v > i?
False
Suppose -91 = -15*h + 1964. Is h at most 135?
False
Let b be ((-2)/4)/(3705/26 - 0). Which is greater: b or 1?
1
Let n be 268/201 + 13/15. Suppose -q + 2 + 3 = 0, 0 = 2*s - 3*q + 21. Let f = s - -5. Which is greater: n or f?
n
Let d(u) = -5*u - 5*u + u - 8*u. Let q be d(-1). Suppose -4*l + 5*o + 2 = q, -3*o + 9 = 3*l. Is 1/18 >= l?
True
Let o be 3 + -5 - 490/(-6). Let s = 109 + -30. Let b = s - o. Which is smaller: b or -1?
-1
Let i be (((-189)/(-28))/((-6)/(-72)))/1. Is -3/7 < i?
True
Let x = 0.251 - -0.849. Let m = 4 - 3. Let y = m - x. Which is smaller: y or -4?
-4
Let m = -15.7216 - 0.1884. Let p = -0.41 - m. Let b = 15 - p. Which is bigger: b or 0?
0
Let l = -2/6351 + -72683/2117. Let a = l + 33. Which is smaller: -1 or a?
a
Let t = 3.9678 + 0.0022. Let m = 0.03 + t. Let w = 5 - m. Which is smaller: -3 or w?
-3
Let m(l) = 2*l**3 - 6*l**2 - 7*l - 2. Let n be m(5). Suppose n = 5*k - 7. Suppose 0 = -5*z + 4 - k, 2*w - 3*z - 6 = 0. Which is smaller: w or -2/15?
-2/15
Let a be 31204/(-522) - -1*4. Which is bigger: a or -56?
a
Let v(k) = k**3 + 12*k**2 + 12*k + 8. Suppose 63 = -4*i + 19. Let j be v(i). Is j <= -1?
True
Let u be -3*3/(18/136). Suppose 0 = q - 2*o + 16 + 48, -5*q - 362 = 4*o. Which is smaller: q or u?
q
Suppose p = 2*i - 5, -3*i + 4*p = -2 - 3. Suppose 5*r - i - 22 = 0. Let q be -3 + r - (1 - -1). Is 1/43 < q?
False
Let l = -2306 + 2307.6. Are 15 and l equal?
False
Let i(d) = -d**3 - 18*d**2 - 17*d - 1. Let p be i(-17). Let s = 2 + -2. Let m be s/1 + 6/51. Which is bigger: p or m?
m
Let o = -0.9652 + -0.0348. Which is greater: o or -195?
o
Let u be (60/9 - 5)/(6/(-94)). Let g = u - -26. Which is smaller: 0 or g?
g
Suppose -5*r + 3*s + 5 = 1, -5*s = -10. Suppose -r*l - l = 36. Which is smaller: l or -2?
l
Let g(z) = z**2 - 7*z + 5. Let w be g(6). Let u = 1122/5 + -224. Which is smaller: w or u?
w
Let q = 58 - 57. Let u be (0 + q)/(12/(-111)). Is -10 at most u?
True
Let c be (-1 - -1 - 0)/2. Let m be (1 + 1)/((-426)/(-12)*-2). Which is greater: m or c?
c
Let h be ((-18)/104)/(2/(-192)*2). Which is greater: 9 or h?
9
Let o(r) = r**3 + 7*r**2 - 3*r - 1. Let l be o(-7). Let x = l - 16. Is x <= 1?
False
Let g = 5735 - 5733. Let v = -200/3 + 66. Which is smaller: g or v?
v
Suppose 6 = 5*j - 4*j. Suppose 5*u + 4*c = 73, 0*c - j = -3*c. Which is bigger: u or 14?
14
Let p = 8.04 - 8.24. Let u = 10.82 - -0.18. Which is greater: p or u?
u
Let n be (-1 - -2)/(5/20). Suppose -4*i - 5*s + 12 = 0, 0*s = n*i + 2*s. Let d be i*((-32)/12 + 3). Which is bigger: -1 or d?
d
Suppose -116 = 4*u + u - 4*g, 0 = 2*u + 2*g + 50. Let y be (-18)/u + (-10)/4. Which is smaller: y or -3?
-3
Let k = -393 - -382. Which is smaller: k or -14?
-14
Suppose 13 = 5*d + j, -3*d - j + 17 = -5*j. Let l(w) = -d + 7*w + 9 - w**2 + 2. Let k be l(8). Is k less than or equal to -4/7?
False
Let b = 14 + -13. Let a = -0.19 - -0.27. Let d = a + -3.08. Which is smaller: b or d?
d
Let s(a) be the first derivative of 4*a**2 + 3*a + 1. Let r be s(-2). Is -2/5 greater than or equal to r?
True
Suppose 28*b = 36*b + 368. Which is smaller: -47 or b?
-47
Let k = 1.94 - 2.04. Which is smaller: -19.8 or k?
-19.8
Let l = 64 + -44. Let h be 28 + (16/(-3) - ((-532)/(-42) + -12)). Which is smaller: h or l?
l
Let d = -4 + 1. Let n be (d + 0)*9/(-81). Which is bigger: n or 10?
10
Let u(c) = -c**2 + 6*c - 5. Suppose -7*a + 1 = -13. Let w be u(a). Which is greater: w or 16/9?
w
Let q be -4 + (-26195)/(-6980) - 8/(-32). Do q and -1 have the same value?
False
Let q(o) = 2*o - 11. Let j = -14 - -31. Let x be q(j). Suppose -11*v + 10*v - x = 0. Which is bigger: -22 or v?
-22
Let i = 8 + -14. Let w = -2 - i. Suppose k + w = 2. Does -3 = k?
False
Let p be (11528/256)/11 + -4. Does p = -0.4?
False
Suppose 31*w - 26*w + 60 = 0. Let t be (w/24)/((-69)/2). Are -1 and t non-equal?
True
Suppose 2*o = -2*c + 146, 2*o - 353 = -18*c + 1