= 0.05 - s. Does 6 = w?
False
Let v = -7010 + 7011.5. Let z = 0 + 0.1. Let j = z - 0. Which is greater: v or j?
v
Let q = 119 - 118.95. Is 0.4 at most q?
False
Let n(u) = u**2 + 5*u - 2. Suppose -2*x = p + 8, 16 = -4*x - p + 3*p. Let g be n(x). Suppose -4*a - c = 16, 7*a - 4*a + c + 13 = 0. Is g > a?
False
Suppose -360 = -5*t - 2*i - 3*i, 328 = 5*t - 3*i. Which is greater: t or 69?
69
Suppose -4*l - 12 = 0, -j + 4*j + 15 = 3*l. Let f = 9 + j. Let g be (-12)/68*4/(-6). Which is greater: g or f?
f
Let b = 53 - 35. Suppose -5*d + f = -18, 3*d - b = -f + 4*f. Suppose -d*o - 2*o = 0. Which is smaller: o or 1?
o
Let i be 66/18 + (5 + 3 - 12). Let v be 8/(-5) - (-4)/2. Which is smaller: i or v?
i
Let z = -303 + 294. Which is greater: -96/11 or z?
-96/11
Let u be 8/12 - (-10)/(-6). Let x be ((-144)/45)/(u/(-5)). Let l be ((-36)/x)/((-15)/(-80)). Is 11 greater than or equal to l?
False
Let d = -3.37 + 3.77. Is -0.098 equal to d?
False
Suppose 4288 + 5828 = 36*v. Which is bigger: 282 or v?
282
Let b(w) = 8*w - 41. Let i(m) = m - 5. Let y(u) = 6*b(u) - 51*i(u). Let f be y(3). Is -2 at least as big as f?
False
Let h be 1*((-2)/6 + (-580)/87). Which is bigger: h or -67/9?
h
Let l = 3.7 - 3.87. Let v = l - -0.17. Does 6/19 = v?
False
Suppose 2*p = -66 + 68. Let t be 2/(-10) - (p - (-66)/(-30)). Is 1 less than or equal to t?
True
Suppose 2*h = -4*f + 6*h - 712, 4 = -2*h. Let k be f/(-62) - 9*2/6. Which is bigger: -1 or k?
k
Let q be (-90)/148 - (-21)/42. Which is smaller: q or 0?
q
Suppose -5*x - 9*t + 4*t + 2125 = 0, 2*x = t + 853. Is 426 != x?
False
Let a = 9 + 15. Let w = -19.781 - -18.781. Which is bigger: a or w?
a
Suppose -5*a + 15 = 0, m + 5*a = 2*m - 213. Is 228 at least as big as m?
True
Suppose 0 = l + 58 + 10. Let x = l - -342/5. Let m = -15 + 8. Is x greater than m?
True
Suppose -5 + 9 = 2*m. Suppose 0 = -4*k + m*k. Which is bigger: -2/11 or k?
k
Let d = 16 + 70. Let i = d + -88. Which is bigger: i or 13?
13
Let g = -543 - -542. Which is smaller: -13.5 or g?
-13.5
Let d = 7/12 + -371/6. Is d smaller than -1?
True
Suppose -l + 4*l - 6*l = 0. Let m be 0 + 1 + (-4)/14. Which is smaller: m or l?
l
Let r = 41 + -25. Let k = r - 15. Which is smaller: k or -2/109?
-2/109
Suppose 0 = -5*d + 15, -9*c - 4*d - 153 = -14*c. Does c = 0.1?
False
Let d = 1433/14 + -747/7. Is d <= -3?
True
Let v = -0.898 + 0.598. Which is smaller: v or -22?
-22
Suppose 4*q - 5*w - 17 - 8 = 0, q + 25 = -5*w. Let u(g) = 3*g**3 - g**2 + 3*g - 2. Let y be u(2). Which is greater: q or y?
y
Let s = -3335735/8 - -416284. Let w = -684 - s. Is w at most as big as -2?
False
Let o = 3671/1898 - 51/26. Which is bigger: -3 or o?
o
Let x(s) = -5*s - 36. Let h be x(-7). Is -3/8 at least as big as h?
True
Let v be ((-48)/21)/(16/(-56)). Is v > 8?
False
Let q(c) = 77*c**2 + c - 2. Let v be q(1). Suppose 0 = 4*k + 4*h - v, -2*k + 77 = 3*k - h. Does k = 17?
False
Let s be (-14085)/(-693) - (-6)/(-33). Which is smaller: s or 19?
19
Let w = 49 + -195/4. Let f = 0.87 - -160.73. Let x = f + -161. Which is smaller: w or x?
w
Let k = 17.07 + -1.87. Let b = -9 - 6. Let i = b + k. Which is smaller: i or 0?
0
Suppose -5*m - 174 = -2*m. Let k = m - -83. Let r be ((-2)/(-10))/((-10)/k). Is r != 4?
True
Let n = 12 + -6. Let o be (0 - 3/n) + 0. Is o greater than -2?
True
Let h = 2 - 9. Let o = h - -6. Let k be (-4)/((-168)/130) + -3. Are k and o non-equal?
True
Let u be (254/3)/1*-3. Which is smaller: 1/2 or u?
u
Let p be 505/2222*4/(-55). Which is smaller: p or 0?
p
Let p = 62 + -61.939. Let a = 0.161 - p. Let j be 5/(15/(-6)) + -6. Is j at least a?
False
Let o = 185.5 - 186.5. Is o < -1251?
False
Let x be (-17 + 21)/(0 - -1) + -3. Let a = 0 - -3. Let t be (x - 5) + 26 - a. Are 20 and t equal?
False
Let d be (-3730)/(-420) - 8/(-28). Which is bigger: d or 10?
10
Let s = 16 - 12. Let n = 0.7 - 0.7. Which is greater: n or s?
s
Let i = -1 - -8. Suppose -2*j = -2*y + 30, 3*y + j - 15 = 22. Suppose -11*o + y*o = 12. Which is smaller: o or i?
o
Let r = -21 + 24. Let m = r - 4. Let c = 58 - 461/8. Is c greater than m?
True
Let q = -47 - -44.3. Let g = -2.4 - q. Is 2/3 != g?
True
Let z = -0.526 + 0.518. Is -2 not equal to z?
True
Let i = 20 - 18.2. Let n = 2 - i. Let j = -3704 - -3712. Is j bigger than n?
True
Let a(k) = 3*k**3 - 4 - 2*k**3 + 12*k**2 + 0 - k**2. Let g be a(-11). Let o be 4 - (g/96 + 4). Which is greater: -1 or o?
o
Let i = 345 + -334. Is i less than or equal to 10?
False
Let a be ((-12)/7 + 2)*(-259)/111. Is a smaller than 10/9?
True
Let y = -14 + 0. Let k be ((-60)/(-21))/((-4)/y). Let d = k - 10. Which is greater: 4/11 or d?
4/11
Let z(c) be the second derivative of -c**4/12 + 7*c**3/6 - 6*c**2 - 8*c. Let n be z(8). Is -20 < n?
False
Let f be (-78)/26 + (302/168 - -1). Let l = f - 1/21. Is l greater than or equal to -1?
True
Let n = 32.5 - 40. Let g = -0.5 - n. Are -1 and g non-equal?
True
Let z = -931 + 931.1. Which is bigger: z or -238?
z
Let k = 678/5 - 136. Let m = 4.42 - 4.52. Which is bigger: m or k?
m
Suppose -5*o + 4*r = -5, -3*o = -r - 8 + 5. Let v = 2154/11 + -194. Which is greater: o or v?
v
Suppose 0*o = 3*f + 2*o - 16, -6 = f - 5*o. Let r(h) = h**2 + h. Let a be r(2). Suppose f*p = -i + a, -2*i - 7 = -5*p - 3*i. Is p > 1?
False
Let t = 426 + -430. Which is bigger: -3 or t?
-3
Suppose -13*x + 9*x - 1076 = 0. Is x != -270?
True
Let v be 6*4/12*2. Let c be (4 - 3)/v - 75/(-4). Let h = 47 - 27. Which is smaller: c or h?
c
Let t be 2*1 + -1 - (-16 - -24). Let n(c) = c + c**3 - 2*c - c - c**2. Let i be n(-2). Which is smaller: i or t?
i
Suppose 2*f = -2*g + 54, -3*f = -0*g - g + 31. Suppose 4*z - g = -4. Suppose -n = -0*n - 4*x - 22, 5*x = -4*n + 4. Is n equal to z?
True
Let b be 5 - ((-3404)/(-35) - 30/(-210)). Which is greater: b or -92?
-92
Let z be 320/(-112) - (-1)/(-7). Let y be 0/2 + (z - (-1641)/549). Is 0 bigger than y?
True
Suppose 6*i = i. Suppose 5*l = -4*n + 80, i*l = -3*n + l + 41. Which is smaller: n or 14?
14
Let b = 3.2 - 4. Let r = 39 - 37. Let x = r + b. Which is smaller: -1 or x?
-1
Let v be ((-12)/(-15))/(20/(-200)). Suppose 100 = -3*y - y. Let b = 16 + y. Are v and b non-equal?
True
Suppose 5*c - 26*c - 21 = 0. Let z = -45370/21 - -2160. Which is smaller: c or z?
c
Let x = 2389.5 - 2390. Do x and -1/43 have different values?
True
Let p be ((-2)/4)/(0 + -1). Let i = 0.23 - 0.53. Let s = i + 0.3. Which is bigger: s or p?
p
Let o = 23 - 35. Suppose 21 - 22 = -p. Suppose -t = 11 + p. Is o at least as big as t?
True
Let x be (-23)/69 - 62/(-168). Suppose 0 = 3*f - 4*f - 1. Which is smaller: x or f?
f
Let v be 14/18 + -1 + (-4048)/(-72). Let z = 23 - v. Which is smaller: -32 or z?
z
Let b = -6092/1015 - -21/145. Which is greater: -6 or b?
b
Let b(y) = -y - 10. Let p be b(6). Let z(x) = -2*x - 34. Let u be z(p). Let k be 1/((-2)/(-2)*-1). Is u != k?
True
Let l be 6/(-8) - (574/56 + -9). Suppose o = r - 0*r + 1, 4*o = -4*r - 12. Is l at least o?
False
Let y = 5217 - 5306.18. Let v = -89 - y. Which is bigger: v or 1/4?
1/4
Let a(o) = -24*o - 14. Let u be a(-7). Is 154 equal to u?
True
Let z be (1/(-4))/(7/28). Let o = -292/45 + 56/9. Which is bigger: o or z?
o
Suppose 0*w = w + 4. Let q(y) = y**3 + 4*y**2 - 2*y - 4. Let o be q(w). Which is bigger: -2/5 or o?
o
Let w be (-6)/8 + (-6250)/(-8312). Let s = w + 13497/5195. Is 2 > s?
False
Suppose -2*o + 0*a - 23 = 3*a, 3*a = -4*o - 61. Let t(b) = -176*b - 721. Let g be t(-4). Which is bigger: o or g?
g
Suppose -2*s - 3*s - 5*l - 80 = 0, 0 = -s - 3*l - 22. Let g be (-5)/(-1 - 4) + s/11. Let b = 4 + -3. Is g greater than b?
False
Suppose 0*w - 10 = -5*w. Suppose 0 = w*q - 5 - 5. Let u = q + -6. Which is greater: -1/6 or u?
-1/6
Let z = 387 + -1015. Is z at most -629?
False
Let i be (-4)/6 - 1984/48. Let w = -72 - i. Suppose 6*s + s + 210 = 0. Is s less than or equal to w?
True
Let a be ((-818)/6)/((70/(-21))/(-10)). Which is greater: a or -412?
a
Let t = -215 - -218.7. Is t less than 0.02?
False
Suppose -18 = 3*l - 2*l. Let b be (l/(-21))/(-6)*1. Which is smaller: 1 or b?
b
Let k = -138772721 + 681929155693/4914. Let d = k + -25/26. Which is smaller: 1 or d?
d
Let i = -3 - -2. Let o be (-2 - -1)/1 + 1. Is o bigger than i?
True
Let l(y) be the first derivative of y**2/2 + 4*y + 3. Let r be l(-4). Suppose 0 = a - 0*a - 0*a. Do r and