*h + 13, -2 = 3*n + h. Is n >= -1/20?
True
Let f = -58 - -68.1. Let u = 2.1 - f. Let s = u - -4. Which is smaller: 1 or s?
s
Let n = 306.8 + -307. Is 13 < n?
False
Let f be (-1 + 4)*-6 + -2. Let o be 0 - 5*(-4)/f. Which is smaller: o or -0.17?
o
Let n(k) = 2*k. Let p be n(-1). Let s = -82582/5 + 16513. Which is greater: p or s?
p
Let o be (-114)/16 + 0 + 137/137. Is o greater than -5?
False
Let p = -3.49 + 27.59. Let o = p + -24. Let t = 0.9 - -0.1. Is o at most t?
True
Let v be (-75)/24*2/(-5). Is 1 bigger than v?
False
Let w be (-4)/8 - 2945/10. Which is smaller: -296 or w?
-296
Suppose 10 + 13 = -u. Is -21 at most as big as u?
False
Let o = -90 - -94. Suppose 0 = -9*a + o + 5. Is a at least as big as 1/48?
True
Let j(g) = -4*g**3 + 109*g**2 - 25*g - 53. Let l be j(27). Is -1530 at most as big as l?
True
Suppose -4*t + 1135 = 5*c - 13, 0 = -4*t - 4*c + 1144. Is 282 at least t?
True
Let w = -1305/4 - -326. Which is smaller: -1.7 or w?
-1.7
Let g(t) = -2*t - 6. Let b be g(-2). Suppose 0 = 2*v - 5 - 3. Let y = v - 5. Which is smaller: y or b?
b
Let o = -2766 + 11277/4. Let w = -3199/60 + o. Are w and 1 non-equal?
True
Let x = 138 - 124. Let z be -3 - 4/x*(-67)/2. Is z bigger than 6?
True
Let o = -94 + 101.9. Let q = 8.5 - o. Which is smaller: -2 or q?
-2
Suppose -450 + 366 = -28*s. Let b be (46/18)/1 + -1. Is b less than or equal to s?
True
Let r = 257 + -296. Which is smaller: r or -41?
-41
Suppose -4*o - 10 = 30. Let w = o - -12. Which is bigger: w or -2?
w
Let l = -10 + 20. Suppose 14 + l = -4*s. Let y be (-37)/s + (-2 - 2). Which is greater: 1 or y?
y
Let j be (-66)/(((-4)/18)/((-2)/18)). Which is bigger: 6 or j?
6
Let z = -1.421 + 17.421. Which is smaller: z or -4/35?
-4/35
Let q = -554.73 + 555. Which is smaller: -1/16 or q?
-1/16
Let r = 6/1067 - -1055/2134. Let d = -2.9 - -5.8. Let b = d - -0.1. Which is smaller: r or b?
r
Let m = -15434/63 - -245. Let l = 6414 + -6413. Which is smaller: l or m?
m
Let n(x) = x - 9. Let b(g) = 3*g - 28. Let v(z) = -4*b(z) + 11*n(z). Let y be v(9). Let r be (14/y)/((-1)/(-2)). Which is greater: r or 8?
8
Let q be 4180/30 + 2 - 2/6. Which is bigger: q or 140?
q
Let g(m) = -2*m - 9. Let b be g(-11). Suppose b = 4*l - 7. Suppose f - 3 = -l. Is f greater than or equal to -3?
True
Let n be 86/40 + (-3)/(-30). Is n not equal to 1?
True
Suppose -5*w - 5*y - 19 = -49, -2*w = -y. Let h = w + -106/55. Which is smaller: h or -1?
-1
Suppose 0 = -8*x + 46 - 750. Let z be 338/8 + 110/x. Is 42 >= z?
True
Let k = 6 + -8. Let s = -6 - k. Let q = s - -10. Is q greater than or equal to 0.2?
True
Let k(b) = 2*b + 41. Let f be k(14). Is 3 smaller than f?
True
Let c be ((-1)/4)/((-531)/(-16520)). Is c greater than -9?
True
Let c be (74/(-8))/(1 + (-33)/12). Which is smaller: 5 or c?
5
Let l(f) = 16*f + 23. Let t be l(-8). Let r be (-1)/(-5) + ((-579)/t - 0). Do 7 and r have the same value?
False
Suppose 5*l = -4*p + 50, l + 3*p - 24 = 5*p. Let i = l + -11. Suppose s - 2*s - 10 = 2*r, i*s + 20 = -4*r. Which is smaller: -1/3 or s?
-1/3
Suppose 0*g + 5*g = 0. Let r = 62/7 + -627/70. Which is smaller: r or g?
r
Let n = -5 + 9. Let m = 4149/4 - 1032. Which is smaller: n or m?
n
Let v be 10*(-4*4/(-16) - -4). Suppose -10*b + 0 + v = 0. Let q = 2277/436 - -3/109. Is q <= b?
False
Let b = -0.0067 - -445.0067. Is -2 != b?
True
Let j = 4032/391 + -202/23. Which is bigger: j or 2?
2
Let g = -7 - -1. Let r(o) = o**2 + 7*o + 10. Let x be r(g). Suppose 3*v - 5*y = 8*v - 20, 21 = x*v + 3*y. Is 17/2 smaller than v?
True
Let x(g) = -10*g - 2. Let l be x(-1). Suppose 4*j = 4 + l. Let w be -1 - 9/(45/(-20)). Does w = j?
True
Let z(r) = -r - 30. Let j be z(-7). Is -17 greater than or equal to j?
True
Let f = 1199 - 26375/22. Which is smaller: 1 or f?
f
Let r = 39 - 65. Let n = 25.8604 + 0.0396. Let u = r + n. Which is smaller: u or 0.04?
u
Let w = -445 - -487.9. Let x = w + -43. Is x at most as big as 5?
True
Let z = 0 - -0.1. Let q = 0.2 - z. Let k = -9.7 + 9.8. Is k less than or equal to q?
True
Let f = 4611 - 4620.721. Let q = 0.121 + f. Which is greater: 0 or q?
0
Let x = 623/13 - 48. Suppose -5*n - 10 + 75 = 0. Let d = n - 14. Which is smaller: x or d?
d
Let n = -74.9811 - 0.0189. Is 2 at most as big as n?
False
Suppose 2*k - 4*j = -0*k + 34, -4*k - 2*j + 58 = 0. Let x be k/4 - 12/(-48). Let g(f) = 3*f**2 - 2*f - 2. Let u be g(2). Is u greater than x?
True
Let w be (-24)/(-14) + 6/21. Let z be 170/75 + 0 - 6/(-3). Let j = -18/5 + z. Which is greater: j or w?
w
Let b(i) = -i + 8. Let p be b(6). Let k be ((-60)/8)/((-1)/p). Let y be (k/(-3) - -4)/(-1). Is 0.6 at most y?
True
Let s be -1 + (-60)/(-15) + (-1 - 0). Let l be (0 - s/(-565))/((-108)/180). Is -1 at most as big as l?
True
Let k = 2.4 + -0.4. Let t = -24 + 25. Let p = t - k. Which is bigger: p or -0.3?
-0.3
Let c be (10 - 2) + -13 + 8. Suppose -25 = -c*r - 4. Are 6 and r unequal?
True
Let r be (-5 - (-343)/21)/((-1)/(-39)). Which is bigger: 443 or r?
443
Suppose -1 = 2*l - 3*o, -7*l - 4*o = -6*l - 27. Let s = 22 + -12. Let t be 5/3 + s/(-15). Is t smaller than l?
True
Suppose -14 = -4*b + 2*u, 2*u = -3*b + 7 - 0. Suppose d - y + 0*y = b, -d - y = -3. Let c be (-16)/(-2) - 4 - d. Which is greater: 5/9 or c?
c
Suppose -h - h = 3*v + 12, -h + 3*v + 12 = 0. Suppose 5*g + 3*x + x - 13 = h, -4*g = -x - 2. Let p be -2*((-3)/(-20))/(-1). Is g greater than p?
True
Let m = -192 - -191. Is 6/83 <= m?
False
Let a = 0.028 - -2.972. Is 0.3 less than a?
True
Let a be 129 + (-3 + -1)*(-5)/(-5). Is 0 less than a?
True
Let u = -1281 - -1300. Which is bigger: u or 14?
u
Suppose z - 4*r + 4 = 0, -10*z + 14*z + 1 = r. Do 2/541 and z have the same value?
False
Let w be 73/(-40) + (-4)/(-4). Let l = -3/8 + w. Let x = -32/35 - l. Is -0.3 at most as big as x?
True
Let z = 1937 - 1682. Is 252 not equal to z?
True
Let n = -503/2867 + 12/61. Suppose -2*k = 33*k - 8*k. Which is smaller: n or k?
k
Let j(g) = -g**3 + 10*g**2 - 9*g + 1. Let p be j(9). Let v = -3061/180 - -203/12. Which is greater: p or v?
p
Let t(x) = 2*x**3 - 2*x**2 - x - 2. Let h be t(3). Let a be -1*((-2)/1 - -3)/h. Is a at least as big as -1?
True
Let y(v) = -v**3 + 14*v**2 - 2*v + 16. Let h be y(14). Let g = -6 + h. Which is smaller: 1 or g?
g
Let s = -2.13 + 2.35. Let q = -5.12 + 5. Let w = s + q. Is w > -0.07?
True
Let x = 26 + -16. Let q = x + 12. Let w = 19 - q. Which is smaller: -5 or w?
-5
Let b = -12 - -18. Suppose -b + 1 = -y. Suppose 0 = -3*f + 9 + 9. Which is greater: f or y?
f
Let p = -189 - -158. Are -0.3 and p unequal?
True
Let j = 1.335 + -0.366. Let h = j + 0.031. Which is greater: h or -1?
h
Let s = 158 + -89. Let v = s - 70. Is 12 <= v?
False
Let a be (-9)/7 + (-2)/(-7). Let o be -11*(42/(-16) - -5). Let v = o - -26. Is a <= v?
True
Let a = -0.0009 + -22.0991. Let b = a - -22. Let s be (88/12)/2 - 3. Which is bigger: b or s?
s
Let z = 27 + -93. Let u = 65 + z. Let n be (1/(-22))/(1/(-8)). Is u bigger than n?
False
Let c = -2.7 + 1.7. Let d = -54 - -16. Which is smaller: d or c?
d
Suppose -11*v = 187 - 176. Which is greater: v or -0.15?
-0.15
Let x(q) = q + 6. Let z be x(-5). Let r be ((-6)/(-56))/((-2)/(-8)). Are r and z non-equal?
True
Let r(c) = -c**2 + 4*c + 5. Let z be r(5). Let y = z - -1. Let p be (1 + -1)/1 - (-24)/(-56). Is y greater than p?
True
Let l be 2/(-4) - 70/(-20). Let j be (1 - 2)*21 - l. Let g be -24 - -2 - -2 - (-40)/(-8). Is j bigger than g?
True
Suppose -3*w - g - 3 = -5*w, 0 = 5*w + g - 25. Suppose w*c - 141 = -5*d - 18, -111 = -5*d + 2*c. Suppose 0 = -4*a - d - 1. Which is greater: a or -5?
-5
Let i = -40/319 + 15558/118987. Is i at least as big as -1?
True
Let c be -1*(6/5)/((-6)/(-20)). Which is greater: 12 or c?
12
Let b be 2 + 1 - (-1 - 0). Suppose 0 = 4*l + 3*k + 10, -8*l + b*l - 14 = k. Let j be (8/(-10))/(l/(-10)). Which is smaller: j or -12/5?
-12/5
Let v be -1*1 + 323/342. Let i = -5 - -10. Suppose -i*c + 15 = 3*u, 0*u + 5*c - 15 = -5*u. Does v = u?
False
Let g = 12 - 25. Let d = -17 - g. Let v be (-10)/d*8/5. Which is smaller: 7 or v?
v
Suppose 3*g = -4*d - 529 - 459, -2*g + 2*d - 668 = 0. Is -332 smaller than g?
False
Let o be 3/5 - 193158/105. Is o at least -1838?
False
Let h = 60.0052 + -0.0052. Is -3/5 less than or equal to h?
True
Let a be (-15)/(-10) - 2565/(-6). Does a = 428?
False
S