03. Is 3 at most as big as s?
False
Let o be ((-7 - 2) + 8)*32/(-2). Let a(q) = q**3 - 16*q**2 - 2*q + 33. Let n be a(o). Is 2 at least n?
True
Let l = -34 - -24. Let k = 37 - -33. Let a = -79 + k. Is a greater than or equal to l?
True
Suppose 2*l + 438 = -4*l. Let p = l + 77. Do 4 and p have the same value?
True
Let v = 0.22 + -0.12. Is -105 greater than v?
False
Let x be (1 - 1) + -3 - -3. Let c = 780 - 28862/37. Which is greater: c or x?
x
Let q be -1 + (-132*2)/(-8). Which is greater: q or 30?
q
Suppose -2*u = -4*u - m + 42, 5*u + m = 102. Let y = -18 + u. Suppose 0 = y*c - 7*c. Are 1 and c equal?
False
Let p be 45260/(-3255) + 4/(-42). Is p greater than -35?
True
Let a(p) = -p**3 + 4*p**2 + 6*p - 6. Let t be a(4). Let f = 3 + t. Let h(v) = 53*v - 33. Let g be h(1). Are f and g non-equal?
True
Let i = -477/22 - -43/2. Let t = -60 + 65. Suppose 0 = 2*x - t*x - 5*l + 8, 0 = 3*x - 3*l. Which is smaller: i or x?
i
Let j be (-4)/13*12/16. Let r(p) = p**3 - 11*p**2 + 9*p + 10. Let t(w) = w**2 + 5*w + 4. Let u be t(-6). Let f be r(u). Is f bigger than j?
True
Let p(x) = -x**3 + 2*x**2 - x**2 - 3*x - 5*x**2. Let h be -16 - -13 - (-1 - (-1)/1). Let w be p(h). Is w at least as big as -1?
True
Suppose -9 = 3*a, -4*a = 4*p + 111 - 447. Which is smaller: 92 or p?
p
Let h = 26 + -27.3. Let f = 1.2 + h. Suppose 5*a - x + 10 = 49, -4*a = -2*x - 30. Is a <= f?
False
Let v(b) = b - 1. Let n(f) = -2*f + 1. Let r(t) = -n(t) - 4*v(t). Let w be r(2). Which is smaller: w or -2/37?
w
Let q be 297/(-570) - 6/(-10). Which is smaller: q or 0.1?
q
Let l(v) = v**2 - 8*v + 220. Let z be l(8). Which is greater: z or 1315/6?
z
Let i be 1 - (2 - 0)/2. Suppose i = 3*t - 0*t + 42. Is t not equal to -14?
False
Let g = 90230591/1652 - 54619. Is g != 0?
True
Let i be (-2)/(1490/(-498) + 3). Let t be 4 + 255/i - 3. Is -1 != t?
True
Let g = -63 - -174. Which is smaller: 112 or g?
g
Suppose -30 = -13*g + 10*g. Let f be ((-34)/60 + g/25)*4. Which is smaller: f or 1.8?
f
Let a(c) = c**3 - 10*c**2 - 10*c - 11. Let h be (44/(-10))/((-16)/40). Let y be a(h). Suppose -p = 3*t, y = 5*p + 3*t + 2*t. Which is bigger: -0.5 or p?
p
Let o = 0.265 + 5.735. Let f be 0 + 2 + 140/(-75). Are o and f equal?
False
Suppose 1867 = -8*l + 2107. Which is bigger: 33 or l?
33
Suppose -b = 2*b - 78. Suppose 4*g + 2 = -n, -3*g + b = -0*n - 2*n. Is -19/2 less than or equal to n?
False
Suppose -11*b + 27195 = 26*b. Is 735 > b?
False
Let p be -4 - -1*(-1 + 3). Let v be (2 + (p - 1))*1. Which is bigger: v or -1/51?
-1/51
Let m(w) = -w**3 + w**2 + 4*w + 134. Let i = -84 + 84. Let b be m(i). Which is smaller: 133 or b?
133
Let y(j) = -2*j - 23. Let u be y(-5). Which is smaller: u or -11?
u
Let t = 1678.8 + -1678. Which is bigger: -30 or t?
t
Let z be (3/(-13))/(3/(-4)). Let u be 1/(-3) - 179/3. Let t = 61 + u. Is t > z?
True
Let c = -5905/48 - -123. Let l = -11 - -11. Is c at most l?
True
Let r be -1 - (-1)/2*-4. Let w(y) = -2*y + 22. Let f be w(9). Suppose f*t - 2*a = -12, -a = 3*a. Do t and r have different values?
False
Let f(n) = -7*n + 103. Let i be f(14). Let p(r) = 3*r**2 + 4*r + 2. Let s be p(-2). Are i and s non-equal?
True
Let l(j) = j**3 - 16*j**2 + 19*j - 46. Let y be l(15). Suppose -y - 42 = -8*i. Is 7 at most i?
True
Let f = -1580 + 1580. Is 2/1665 at most f?
False
Let m be 49/4 + (-8)/32. Let z be (16/m)/((-2)/9). Is z equal to -8?
False
Suppose -5*r + 126 = 3*o, -11 = -5*r + o + 127. Let j be 3/((-12)/20) + r. Which is smaller: 20 or j?
20
Let v = 3 - -1. Let r(g) = 10*g**3 + 1. Let z be r(1). Let j be 10/60 + z/6. Is v > j?
True
Let b = 1.58 + -1.28. Which is smaller: b or 12?
b
Let k be (1/10)/(1/(-2)). Let i = k - -3/65. Which is smaller: 0.1 or i?
i
Let v be (-26)/(-39) + (-1636)/6. Which is smaller: -274 or v?
-274
Let u = -3874 + 1445003/373. Do u and 0 have different values?
True
Let c = 13 - 21. Let m be c/((-2)/(-2) + -3). Suppose -m*z = -z. Which is greater: z or -3/7?
z
Let x be 2*(8 + (-32886)/4110). Is -1 at most x?
True
Let f be 3 - (1 + -1 - -2). Suppose 0*v + v - f = 0. Which is greater: 92 or v?
92
Let s = -1861 - -1867. Which is smaller: s or 1?
1
Suppose 5*l - 2*l = -6. Let g be (5/3 + l)/((-1)/(-3)). Do 2 and g have the same value?
False
Let d = 1424/33 - 51/22. Does 40 = d?
False
Let s be (-4)/(-6) - 2/3. Let k = 2/109 - 458/1199. Let u = k + 31/55. Do u and s have the same value?
False
Let l = 7 + -19. Let w = l - -11.99. Let q = w + 0.01. Is q not equal to 0?
False
Let n = -5.06 + -17.84. Let d = -37 + 60. Let z = n + d. Is z bigger than -0.12?
True
Let w(s) = -s**2 + 3*s. Let r be w(4). Let l = r - -7. Let j be 72/39 - 6/l. Which is greater: 1 or j?
1
Let f = 769 + -424. Which is smaller: f or 348?
f
Let t = -130 + 105. Is -145/6 at least t?
True
Let f = 205 + -204.8. Is -43 > f?
False
Suppose 5 = 3*l - 1. Suppose 0 = -7*d - l - 12. Which is greater: d or -19/6?
d
Let m(i) = -4*i**3 - 141*i**2 - 34*i + 40. Let l be m(-35). Which is smaller: 4 or l?
4
Let h = 15 + -6. Let i = h + -12. Let a be 27/(-9)*(1 + -2). Is a < i?
False
Let w be 0 - (-1 + 2 + 1). Suppose 77 = 154*c - 242 + 11. Is c < w?
False
Let k = 72 - 152. Let m be k/24*(-18)/4. Let w be (m/6)/(1/(-2)). Which is smaller: -6 or w?
-6
Suppose 24 + 88 = 2*x - 4*z, -z + 92 = 2*x. Are 8 and x nonequal?
True
Let b be 1 - (2/(-7))/(-55 - -56). Which is greater: 0.4 or b?
b
Suppose -5*f - 15 = -w - 2*f, 2*w + 10 = -4*f. Suppose 2*q + a - 19 = 2*a, 3*a = 15. Suppose -q = -4*j - 4*b + 20, -2*b = -2*j. Which is smaller: w or j?
w
Let v = -1 + 1. Let c be 140*(-3)/(-4)*-1. Let z be (c/6)/(-7) - 4. Which is smaller: v or z?
z
Let t(g) = -g + 83. Let o be t(18). Let z be (-2384)/(-36) - (-4)/(-18). Which is greater: z or o?
z
Let v = -308/17 - -18. Let s = -1384 - -1389. Which is bigger: v or s?
s
Suppose 6 - 90 = -7*j. Let s be ((-26)/8)/(1/j*-21). Which is bigger: s or 2?
2
Suppose -5*s = 124 - 24. Suppose 2*x = 4*x + 44. Which is greater: x or s?
s
Let p be (-4 - 26/(-3))*(-10 + -5). Which is smaller: -71 or p?
-71
Let u be ((-10)/(-250)*-5)/(3/105). Is -85/13 greater than u?
True
Let r(c) = 5*c**3 + c**2 - c. Let p be r(1). Suppose -p = -q + 1. Suppose 0 = 2*u - 126 + 116. Is u not equal to q?
True
Let g = 0.068 - -21.932. Let y = 22 - g. Is y greater than 9/5?
False
Suppose -5*y + 39 + 41 = 0. Let g = -1295.9 + 1296. Which is smaller: y or g?
g
Let i = -2/129 + 100/903. Which is smaller: i or 4/5?
i
Suppose 0 = 3*k + 5*m - 24, 42*k - 5*m = 44*k - 16. Which is greater: k or -3/16?
k
Let g be (-20)/(-16)*(-8)/40. Are g and 923 non-equal?
True
Suppose -5*p = -5*i - 65, 6*p + 18 = -i + 2*p. Let n = 7 + i. Let v = n - -11. Is v less than or equal to 4?
True
Let f be (-52)/546 - 124/21. Which is greater: -5 or f?
-5
Let u = 120040920947/109763887662 + 2/42643313. Let o = u - -5/286. Which is smaller: 0 or o?
0
Let k = -145 + 224. Are 74 and k equal?
False
Let o(z) be the third derivative of 5*z**2 + 11/24*z**4 + 5/3*z**3 + 1/60*z**5 + 0 + 0*z. Let l be o(-9). Which is bigger: -1 or l?
-1
Let h = -0.0825 - -36.7825. Let j = -37 + h. Which is bigger: 7/5 or j?
7/5
Let m = 2.854 + -2.654. Which is smaller: m or 0.178?
0.178
Suppose -65 = -2*h - o, 6*o = 4*h + 2*o - 148. Suppose -h*s = -42*s + 384. Which is greater: 49 or s?
49
Let o = -1 - 8. Suppose -4*m = u + 26, -2*m - u - 16 = -4. Is o bigger than m?
False
Suppose 88 - 28 = 6*m. Suppose 0*y + y = -5*d + 15, 2*y = m. Which is smaller: d or 0.05?
0.05
Suppose 0 = -h - 7*d + 3*d, h + 5*d - 2 = 0. Suppose 0 = -5*g + 8 - 3. Let f be 2*(-6*g - -2). Is h < f?
False
Suppose 0 = 7*u - 5 - 23. Suppose -48 = -l + r, 4*l + u*r - 156 = -r. Which is greater: l or 1?
l
Let d(f) = 28*f + 57. Let i be d(-2). Is i < -2/2845?
False
Let t = -4.96 - 0.04. Let k be ((-4)/70)/(-19*6/285). Which is smaller: k or t?
t
Let v be (2/1 - 0)/((-20)/12). Which is smaller: 1 or v?
v
Let s = -217 - -222. Let w be (-3)/(-58)*(-3 + -4 + s). Let h = 4 + -3. Which is greater: h or w?
h
Let w(x) = x**3 + 2. Let c be w(0). Which is smaller: 31 or c?
c
Let d = 2160 - 62648/29. Let i = d + 167/290. Suppose -5*b = 7 - 2. Is i smaller than b?
False
Let g be 57/9 + 140/21 + -7. Which is smaller: 4 or g?
4
Let p be 9/((-297)/(-114))*(-4)/(-8). Which is greater: 3 or p?
3
Let y = 2 + -1.9. Let h = -25/253 + 14/253. W