s greater: g or -148?
-148
Let w(s) = -4*s - 192. Let x be w(-38). Does x = -36?
False
Let q = -1492 + 1497. Is q less than 37/8?
False
Let s = 382 + -380. Which is bigger: -68 or s?
s
Let v = -4/19 - -229/95. Which is smaller: v or 2?
2
Let y = -341 + 341.1. Which is smaller: 465 or y?
y
Let h(x) = -x**3 + 40*x**2 - 5*x + 177. Let g be h(40). Which is smaller: g or -22?
g
Let s be 37 - (-2)/(8/12). Suppose 4*d - 6*d + s = 0. Suppose 0 = -44*n + 47*n - 57. Is n less than or equal to d?
True
Let i be 447/33 - (9 - (5 + 8)). Which is smaller: i or 18?
i
Let m be 2 - -6 - (2 - -1). Let g be ((-6)/(-12))/((-1)/(-4)) - 3. Which is smaller: g or m?
g
Let a = 51 - 37. Suppose a = -4*b - 2. Is b <= -23/5?
False
Let t = -32 - -22. Let r(n) = 2 + 2*n - 11 - 3*n. Let g be r(t). Are g and 2 equal?
False
Let v = -28/695 + -48174/11815. Which is greater: -4 or v?
-4
Let z = 727/4 + -5029/28. Which is smaller: 3 or z?
z
Suppose -u = y + 2*u - 12, 0 = -4*y + 2*u + 20. Let x = y + -23/4. Is x bigger than -10?
True
Let h = -96.4 + 385.4. Which is greater: 0.1 or h?
h
Suppose -10 - 2 = -3*x + 3*c, -4*c - 16 = -2*x. Which is bigger: 1/3 or x?
1/3
Let a = 20 - 18. Suppose -a*b + 60 = 2*b. Suppose -9*u = -6*u - b. Are 5 and u nonequal?
False
Let y(p) = -2*p - 3. Let j be y(-5). Let b be j/(-14) - 2/(-4). Suppose 2 + 16 = -9*s. Which is greater: b or s?
b
Let h be ((-4)/(-690))/(21/175). Let c = h + 4/23. Is c less than or equal to -1?
False
Let t(i) = -i - 10. Let r be t(-10). Let j = r - 1. Let y be (2 + 28/(-8))/((-348)/(-16)). Which is greater: j or y?
y
Let r = -59.3 + 48. Let o = -13 - r. Let m = 0 + -0.1. Which is greater: m or o?
m
Suppose -5*d = -2*d + 5*j + 8, -2*d = -j + 1. Let g(k) = -k - 3. Let b be g(d). Is 0 > b?
True
Let o = 3 - 0. Let r = -2902 - -2907. Do o and r have the same value?
False
Let d = -1404 + 1199. Is d less than -203?
True
Let l = -15073 - -301619/20. Which is smaller: 8 or l?
l
Let s be 35/(-2) - (-6)/(-12). Let q = s + 18. Is q > -1?
True
Let y be (-3)/(-40)*74/111. Which is bigger: 0 or y?
y
Let g(n) = 2*n + 6. Let r be g(-3). Suppose y = -r*y - 18. Let w be 3 - (y + 2 - 0). Is w greater than or equal to 19?
True
Let h be (0/(-1))/1 + 27. Let i be ((-6)/5)/(1/5). Let x be (3/h)/(2/i). Which is greater: -1 or x?
x
Let s = 19 - 11. Let o be -2*1/(s/12). Is o at most as big as -19/5?
False
Suppose 3*g - 9 = 3*w, 2*g - 3*w + 3 = 7. Suppose 15 = 4*n - 4*i - 61, -n = 3*i - 39. Let h be (n/9)/((-2)/(-3)). Which is smaller: g or h?
h
Let v = 40.1 + -6.1. Let m = v + -34.1. Let j = -7.15 - -0.15. Which is smaller: m or j?
j
Suppose 0 = -2*z - 2*z + 1000. Let y = z + -139. Is y >= 110?
True
Let c = 2 - 1. Let r = -88 - -88. Is c at least as big as r?
True
Let v = 0.8 + 0.2. Let x = -12/103 - -602/3399. Is x at most as big as v?
True
Let b(y) = 11*y - 2. Let z be b(4). Let g = z + -34. Which is greater: 4 or g?
g
Let a = 12 - 25/2. Let f = -429 - -7291/17. Is f > a?
True
Let m be 0 + (-5 - -1) + 4. Suppose 7*l - 12*l - 40 = m. Which is greater: -5 or l?
-5
Let y be (-32)/7 - (-280)/35. Which is bigger: y or 4?
4
Let h(n) = -3*n - 23. Let g be h(-9). Let d be g/(-10) + (-7)/(-280). Let r = 3 - 2. Which is smaller: d or r?
d
Let o be (-50)/(-15) + 4/6. Suppose y - o = 10. Is 13 equal to y?
False
Let d = -0.01 - 1.99. Let h = 61 + -63. Let x = h + d. Is -1/3 at least as big as x?
True
Let w = -147.46 - -150. Let h = 2.6 - w. Let n be (-1 + 4)/1*-1. Is n >= h?
False
Suppose w - 5*o = 52 - 5, 2*w - 52 = -4*o. Let z = 1111 - 2161/2. Is w != z?
True
Let l = -32 - -35. Is l at most as big as 49?
True
Let n = 6 + -12. Let y = n - -5. Let h be -5*36/28 + 5. Do h and y have the same value?
False
Let i = -18 + 12. Let s = -15/11 + 108/55. Is s != i?
True
Let q(a) = a**3 + 12*a**2 - 15*a - 9. Let f be q(-13). Let h(k) = k**2 - 18*k + 17. Let x be h(f). Is x < -1/41?
False
Suppose -43 = 4*a - 39. Which is smaller: -22/21 or a?
-22/21
Suppose t = -3 - 8. Are -12 and t unequal?
True
Let a = 1.18 + 20.62. Let w = a + -22. Which is smaller: -9 or w?
-9
Let v(x) = 9*x**2 - 2*x. Let w be v(2). Suppose -w = -4*b - 8. Let d be b/8 + 7/(-4). Is 2/11 > d?
True
Let k = 106 - -53. Which is smaller: k or -0.1?
-0.1
Let n be 2/(35/(-10) - -1). Let p be (-1)/5 - 36/45. Which is bigger: n or p?
n
Let k(a) = -a**3 - a**2 + 9*a + 1. Let q be k(-6). Suppose 3*r = -2*n + 71, 0*n = -5*r + n + q. Which is smaller: r or 26?
r
Let w be 4/1 + -55 + 50. Is -3/248 > w?
True
Let z = -18 + 23. Let t be 5/(z/3)*-12. Is -36 >= t?
True
Let m = 4 - 7. Suppose -2*s + 12 = -c + 34, 4*c - 38 = -2*s. Let t be 6/(-4)*c/9. Which is bigger: t or m?
t
Let n = -0.573 - 52.427. Which is greater: -1 or n?
-1
Let l = 24 - 27. Let i be -1*6 + (-4)/(-4)*l. Is -9 at least i?
True
Let w = -8.52 - -7.52. Which is smaller: -726 or w?
-726
Let i(g) = -34*g - 11. Let w be i(-4). Let u be (-1)/7 - w/(-385). Which is smaller: u or -0.1?
-0.1
Let a = -3.9 + -2.1. Let l = -147 + 147.2. Is l less than a?
False
Let w = 770 - 775. Let l(i) = i**3 + 6*i**2 + 5*i + 1. Let n be l(-5). Which is bigger: n or w?
n
Let f = -30 - -31. Suppose -5*o - 1 = -2*w, -5*o = -5*w + f + 9. Which is smaller: 4 or w?
w
Let s = 0.2632 + -405.1632. Let d = s + 432. Let v = d - 27. Is 2/31 at most as big as v?
True
Let g(o) = -3*o + 9. Let h be g(19). Is 1 >= h?
True
Let t = 0.2 - 0.2. Let y = -1991 + 25871/13. Is t equal to y?
False
Suppose j + 5 = 3*b - 1, -5*b - 3*j = -10. Suppose n = 4*x - 4, -5*x + 3 = 3*n - b. Which is smaller: -3/8 or n?
-3/8
Let v = -11998/935 - -6/187. Which is bigger: v or -14?
v
Suppose 0 = v + 5*d + 30, 2*v = 4*v + d + 51. Let a = 28 + v. Suppose 4*s - n + 8 = 0, 5*s = -a*n - 2*n - 35. Which is smaller: s or -6?
-6
Let w(k) = -3*k**3 + 2*k**3 + 8*k - k + 4 + 6*k**2. Let o be w(7). Suppose -o*f = 3*s + 6, -5*f + 3*s + 6 = -f. Which is smaller: f or 5?
f
Let i = -10 + 15. Suppose -i*w = -0*w. Let a = -229/6 + 1264/33. Which is greater: a or w?
a
Let p(q) = -4*q - 22. Suppose 0*u = -12*u - 96. Let v be p(u). Does v = 7?
False
Let y = -5.93 - 0.07. Let v = y - -6.3. Let o = 4.117 - 4.517. Which is smaller: v or o?
o
Let u(f) = 4*f**2 - 18*f - 4. Let a be u(4). Which is greater: a or -15?
a
Let n be (-1508)/(-6)*(40/(-16) - -4). Which is greater: 378 or n?
378
Suppose -5413*u - 20 = -5423*u. Let j = -58 + 83. Are j and u equal?
False
Let k(r) = r + 11. Let a = 3 - 17. Let t be k(a). Let d be (4/(-18) - 0)*t. Which is smaller: d or -8/5?
-8/5
Let t be 266/(-1463)*1/(-2). Are t and 4/3 equal?
False
Let j = 149 - 146. Suppose -4*s + 7 = j. Which is smaller: s or -2/131?
-2/131
Suppose -3 = 2*g - 7. Suppose -5*y = -r + 15 + 1, -5*r = -g*y - 11. Is 3/8 less than r?
True
Suppose 3*s - 3*y - 102 = 0, 0 = 2*y + 2*y + 16. Let i be (-12)/(-4) - (-22 - (-7 - -17)/2). Is i smaller than s?
False
Let c = -9 - -6. Let j = c + 2. Let t be 22 + -20 - (-42)/(-26). Does t = j?
False
Let c = 26.027 - 0.027. Let i = 1 - c. Is i equal to 1?
False
Let v = 23/21 + 7/3. Suppose -227 + 245 = 6*d. Is v > d?
True
Let u = 14/13 - 223/195. Suppose 2 = -s - v, -3*s = -0*v + v. Is u <= s?
True
Let s = -1 - -1. Let c = -909 - -14543/16. Which is bigger: c or s?
s
Let l = -10.7 + 11. Let f = 0.3 - l. Are f and -0.1 nonequal?
True
Let c(l) be the first derivative of l**2/2 + 2*l - 5. Let b be c(0). Let h = 0 + 4/7. Is b < h?
False
Suppose 2*o - 6*o = 4*f - 12, 4*o = 4*f - 12. Which is greater: -10/23 or o?
o
Let c(d) = -2*d + 12. Let t = 85 + -79. Let g be c(t). Which is bigger: -2/391 or g?
g
Let f(w) = 2*w**3 - 3*w - 2. Let k be f(-2). Let h = 79 - 92. Which is smaller: h or k?
h
Let h be 0*(-11 - 1729/(-156)). Is h < 19/8?
True
Suppose -3*s - j - 21 = -s, 0 = 2*s - j + 19. Let b = -7 + 25. Let a = b + -29. Are s and a unequal?
True
Let k = 3.7 + -0.3. Let r = k - -0.6. Let v = -1.3 - -0.8. Is v <= r?
True
Let h(x) = 52*x - 347. Let s be h(7). Is 10 smaller than s?
True
Suppose -5*o + 1021 = 8*l - 6*l, -3*l = -4*o - 1520. Are 509 and l equal?
False
Let w be (-54)/(1 - -1) + -1. Let l = 19 + w. Let g be 2/l + 2/9. Which is bigger: g or 4/5?
4/5
Suppose -j - 4915 = 8*u, u = 5*u + 3*j + 2465. Which is smaller: u or -613?
u
Let k be (-13490)/11655 - (1 + -2). Let t = k + 7/37. Which is smaller: 0 or t?
0
Let n be (160000/60)/32 - 4/3. Which is s