 w = -2.1 + 2.3. Let j = 0.2 - w. Let o = 2.4 - 3. Which is greater: o or j?
j
Let o = 2005 - 2004.9. Let r(j) = -2*j**3 + 2*j**2 + 3*j - 3. Let a be r(-3). Is a != o?
True
Suppose -4 = -4*a, -5*t + 5*a = -6*t + 5. Is t less than 3/14?
True
Suppose 4*y + 2 = 22. Is 18/5 <= y?
True
Let o be 106/(-80) + 162/135. Which is smaller: 12/11 or o?
o
Suppose -5*m = h - 72, -4*h + 14*m - 17*m + 305 = 0. Is 79 greater than or equal to h?
True
Let s = 79 - 79. Which is smaller: s or 2/53?
s
Let w = -1135 + 1177. Are -9 and w nonequal?
True
Suppose 303*p - 308*p + 40 = 0. Let h(m) = 3*m - 7. Let y be h(5). Let z = p - y. Is -9 <= z?
True
Suppose 0 = 3*v - 18 + 3. Let l = 7 - 2. Suppose v + l = -3*u - 2*y, -2*u + 5*y = 32. Does u = -5?
False
Let n = 183724/19472341 - 42/4691. Let q = 8156/303023 + n. Suppose 2*h - 4 = -3*x, -6*h - 5*x + 6 = -2*h. Is q bigger than h?
True
Let c = -0.07 + -0.15. Let p = c - -1.22. Let f = -9 - -6. Which is bigger: p or f?
p
Suppose -4*a = 5*i - 57, -2*a - i + 25 + 8 = 0. Let n = 18 - a. Let t be 2/(-8) - (-10)/104. Are t and n non-equal?
True
Let x = -491 + 30443/62. Which is greater: -1 or x?
x
Let i = -62.9 + 63. Which is bigger: 0.054 or i?
i
Let u = 86 + -39. Suppose 2*l + u - 53 = 0. Are l and 0 equal?
False
Suppose -8*d + 3 = -13. Suppose -5*i = -3*j - 8, -4*j = 4*i - 2*i + d. Which is bigger: i or 4/11?
i
Let n be (-10)/25*-5 + -2. Suppose n = k - 10 + 2. Let d be -24 - (-5 + -4 + k). Is -23 at most as big as d?
True
Let d be ((-22)/6)/(2/12). Let w be ((5/(-2))/(-1))/(19/152). Let j = w + d. Is -1 bigger than j?
True
Let n = 116043618/17 - 6828443. Let j = 2347 + n. Let r = j - -64/119. Is r != 0?
True
Suppose 7*v = -3164 + 3192. Is -15/31 at most v?
True
Suppose 0 = 4*v - 3*w + 44, 0 = 14*v - 9*v - 4*w + 56. Let h be (30/14)/((-2)/7). Let r = v - h. Is r greater than or equal to 4/9?
False
Let g = -13 - -19. Let p(i) = -2*i + 9. Let j be p(g). Let k = 865 + -869. Is k smaller than j?
True
Let h(p) = 3*p**2 + 2*p - 6. Let z be h(0). Does -86/17 = z?
False
Let o(q) = -q**3 - 2*q**2 - 2*q - 1. Let t be o(-2). Suppose -10 = -4*r + 26. Let k be 7/r - (-8)/36. Which is bigger: t or k?
t
Let o = -31 + 32. Let c be 6/((0 - 2)*o). Is -13/5 equal to c?
False
Suppose -43*f - 133 = 340. Which is smaller: -2/9 or f?
f
Let s = -725121/44 + 16481. Let w = s - 8/11. Let p = -5/2 + 2. Which is smaller: p or w?
p
Let s = 182/9 + -3404/171. Which is smaller: 4 or s?
s
Let o(k) = -47*k + 295. Let u be o(5). Is 62 less than u?
False
Let o = 5.9 - 6. Let n be (-84)/9*(-231)/44. Which is greater: o or n?
n
Suppose 5*w + 3*f + 409 = 0, -14*w + 2*f = -12*w + 154. Which is smaller: w or -896/11?
-896/11
Let a(g) = 5*g + 22. Let q be a(3). Which is greater: q or 36?
q
Let d(j) = 3*j**2 + 81*j - 102. Let u be d(-25). Which is smaller: u or -249?
u
Let h = -94 + 96. Is 18/11 bigger than h?
False
Let c = -50 + 54. Suppose -r + a + 3 = 2, -2*a = -c*r. Let n = -0.06 + 2.06. Are n and r nonequal?
True
Let x be (96/(-60))/(-8) - (-358)/10. Is 4 > x?
False
Let w = 647/12 - 33013/612. Let z = w - 23/1071. Which is greater: 0 or z?
0
Let z(m) = m - 19 + 9 - 7. Let d be z(-9). Is d at least as big as -26?
True
Let t = -877 - -666. Is t <= -0.5?
True
Let p = -4.1 + 8.9. Let z = p + -16.8. Which is greater: 0.5 or z?
0.5
Let g be (1/3)/((-1)/(-39)). Let i = -10 + g. Let d be ((-60)/9 - -2)*i. Is d greater than -13?
False
Let n be (-4)/22 + (6286/(-11))/14. Which is smaller: n or -45?
-45
Let t be (-24)/11 - -3*14/21. Let i = 6 - 5. Which is smaller: i or t?
t
Let r(o) = o**3 - 24*o**2 + 23*o. Let u be r(23). Which is smaller: u or 3/388?
u
Let b = -11 - -17. Let x(f) = -2*f + 13. Let t be x(b). Are t and -2/5 non-equal?
True
Let n be 21/(-21) + 1*-4. Let u be n - -2 - (-1 + -2). Let h = 1 - -2. Which is smaller: h or u?
u
Let j(l) = 2*l**3 - 7*l**2 + 7*l - 13. Let t be j(3). Which is smaller: 5/173 or t?
t
Let d(y) = -y**3 - 5*y**2 - y - 4. Let f be d(-5). Let o = -97 + 89. Let i be (-4)/44*43 - (o - -4). Is f bigger than i?
True
Suppose d + 6 - 4 = 0. Suppose 2*b + h - 8 = 4*h, -6 = 3*h. Which is greater: b or d?
b
Let r = 31/104 + -5/104. Which is bigger: r or -4?
r
Let c = -6.01 + 0.01. Let h = 81.14 + -82. Let q = h + -0.14. Which is bigger: q or c?
q
Let s = -309 + 309.279. Let i = 0.079 - s. Let h be (-12)/45*(-3)/2. Which is smaller: i or h?
i
Let u = -2.252 - 3.587. Let t = 0.039 + u. Let o = -1.8 - t. Is 0 less than o?
True
Suppose 4*l + b = 3*b + 38, 3*l - 5*b = 32. Suppose -3*s - 40 = -8*s. Which is smaller: l or s?
s
Let u be 2*(-3)/6*-2. Suppose -u*s = -5 + 11. Let w = -1975/1124 + 2/281. Do s and w have the same value?
False
Let j(l) = l**2 - 2*l + 2829. Let q be j(0). Let y be q/(-24) + -2 - -2. Let z = y - -118. Which is bigger: 1 or z?
1
Let z be 0 - (1 + (-712)/708). Is 0 less than or equal to z?
True
Suppose -2*w + l + 37 = 0, -w + 12 = l - 2. Let r = -50 + w. Which is smaller: r or -31?
r
Suppose -4*g - 5*f + 17 = 0, f + f = -4*g + 26. Suppose 8*a - 31 = -4*u + 3*a, 0 = -a - 1. Which is bigger: g or u?
u
Let w = 428.9 + -429. Let a = -2.05 + 0.05. Is a smaller than w?
True
Let t(p) = p**3 - 5*p**2 - 7*p + 11. Let w be t(6). Suppose 2 = -w*n - 3. Is n less than or equal to 2/7?
True
Suppose 22*t - 20*t - 3*l = -4, 0 = 2*t - 2*l + 2. Is t greater than -6/55?
True
Let i = -867 + 869. Is -2.01 <= i?
True
Let z be (-44)/(-150) - 6/18. Let t(o) = o**3 - o**2 + o + 1. Let u be t(1). Suppose -u*k + 16 = 4*n - 5*k, 2*k = -5*n - 3. Which is greater: n or z?
n
Let t = -67 + 76. Which is smaller: -0.07 or t?
-0.07
Let q be (8 - -310) + (0 - -2). Which is smaller: 323 or q?
q
Let i be (1384/(-480) + 2/15)*-24. Let f = -35 + i. Let t be (-182)/(-6) - 6/(-9). Is f < t?
False
Let v(a) = -a + 8*a**2 + 9*a**2 - 3 + 9 - 5. Let c be v(-1). Which is greater: 18 or c?
c
Suppose 3*p + 4*c = -2 - 3, -4*p + 25 = -c. Suppose 3*b + l - 33 = 0, 0 = -p*b + 4*b - 3*l + 19. Let k = b - 11. Which is smaller: 2/9 or k?
k
Let d = 49 - 43. Let f = 0.83 - 0.82. Is f not equal to d?
True
Let x be (-13)/(-2) + (-2)/(-4). Let c = -5 + x. Suppose c*k = -4*o, 4*k - 1 = -5*o + 5. Which is smaller: -2 or k?
-2
Let t = 14 + -9. Suppose -t = 5*a - 10. Let g(o) = -o**2 + 5*o - 4. Let c be g(3). Is c >= a?
True
Let p = 9 - 4. Let s(g) = g**3 + 9*g**2 - 9*g + 11. Let o = -14 - -4. Let l be s(o). Is l not equal to p?
True
Let j(l) = l**2 - 16. Let b be j(0). Let p(s) be the second derivative of s**5/20 + 4*s**4/3 - s**3/6 - 5*s**2/2 - 3*s - 1. Let x be p(b). Is x greater than 10?
True
Let a(u) be the third derivative of u**4/8 + u**3/3 - 26*u**2. Let g be a(-2). Is 9 at least g?
True
Let x = -749 + 789. Is x at least as big as 6?
True
Let f = -158 - -107. Is -53 at most f?
True
Suppose 14*m - 13*m = -5*o + 47, -2*o = -5*m - 35. Are 8 and o non-equal?
True
Let l = -169 + 5578/33. Which is smaller: 0 or l?
0
Let v = 697033/181 + -3851. Which is bigger: v or 1?
1
Let z = -15 + 25. Let t be (-10)/120 - (-35)/84. Is t at least z?
False
Let o = 152 + -152.07. Which is greater: o or 2/7?
2/7
Suppose -4*d - 6*x + 11*x = 43, -5*d - 29 = 2*x. Which is smaller: d or -10?
-10
Let d = 117149 - 582068/5. Let c = -733 + d. Let u = -3 + 2. Which is greater: u or c?
c
Suppose -3*r + 2 = -1. Let n be (1/r)/(9 + -10). Which is smaller: 0 or n?
n
Let w(c) = c**3 - 11*c**2 + 10*c + 12. Let f(j) = j + 5. Let y be f(5). Let q be w(y). Suppose 8*u = q*u. Is -1 greater than u?
False
Let j = 9 - 4. Suppose 3*p + 4 - 13 = 0. Suppose -2*o + 0*o - 4 = p*c, j*o + 3*c = -19. Is -6 at most as big as o?
True
Let f be 19/16834*(2 + (2 - 0)). Which is bigger: 1 or f?
1
Suppose 5*p - 56 = -16. Suppose 30 = -y + 4*y. Which is greater: y or p?
y
Let r = 1273 - 6363/5. Is r bigger than -31.8?
True
Let z = -659 - -642. Is z less than -43?
False
Suppose -s + 3*h = -4 - 3, 9 = s - 4*h. Does s = 1?
True
Let u = 14.01 + -14.8. Is u bigger than 0?
False
Suppose -2*l + r = -4, 4*l = l + 3*r + 12. Let h be l/(1*3/3). Let x be (-2 + h)*7/2. Is x not equal to 1?
True
Let z = -0.271 - -0.238. Is z < -1/3?
False
Suppose -1536 + 12573 = 39*p. Is p at least 283?
True
Let l = 0.21 + 0.09. Suppose -4*z = -3*z - 5. Suppose 0 = -z*d + 10*d + 5. Is d != l?
True
Let h be (2 - (-125)/(-10))*1/15. Let t = 11 - 8. Let z be 0/(-4 + t) - 1. I