 4*n. Is -2 less than or equal to a?
True
Let u be 5/15 - (-595)/51. Let c be 460/(-45) - 2/(-9). Let h = c + 23. Which is greater: u or h?
h
Let w = 19/3 - 97/12. Which is smaller: w or -0.1?
w
Let r(j) = 71. Let g(h) = h + 213. Let l(d) = -3*g(d) + 8*r(d). Let v be l(-5). Is v at most as big as -56?
True
Let t = -1/435 + 1393/38280. Is 0 greater than or equal to t?
False
Let d = 0.24 + -12.24. Let w = d - -16. Let t = w - 4.02. Which is greater: t or -2/5?
t
Let p(y) be the first derivative of 10*y**3/3 - 14. Let c be p(-2). Which is smaller: 0.2 or c?
0.2
Let q be 3188/6 + -4 + 6. Suppose -5*l - 3*k - 2649 = 0, -k = 2 + 1. Let h = l + q. Which is bigger: h or 4?
h
Let s(a) = 217*a + 26. Let m be s(1). Is m less than 1?
False
Let g be (2/4)/((-6)/(-96)). Let t = g - 5. Let j = t + -1. Is j bigger than 2?
False
Suppose -2*l + 118 - 116 = 0. Which is bigger: l or -1/8?
l
Let i = -609/20 - -146/5. Suppose -5*m - 19 = -5*x - 4, 3*x - 1 = -5*m. Is i equal to m?
False
Suppose -3*z = -35 + 140. Let m = -33 - z. Is 6/7 less than or equal to m?
True
Let a = -0.061 + -57.939. Which is smaller: a or 3?
a
Let f(o) = -3*o**2 + 22*o - 7. Let g be f(7). Which is smaller: g or 0.15?
g
Let j be 1932/(-2520) - (-1)/6. Which is smaller: j or 41?
j
Suppose -7*i + k = -3*i - 38, 0 = -i - 2*k + 5. Suppose -4*a = 2*r + a - 31, i = 3*a. Is 7 greater than or equal to r?
False
Suppose 2*i - 3 = 1. Let b be (2 + (1 - i))/1. Let n = 5183/9 + -575. Which is greater: b or n?
b
Let n = 31 + -15. Suppose -n*y - 3 = 13. Is y greater than 2/469?
False
Let m(h) = -h - 6. Let p be m(-4). Suppose 0 = -4*c - 3*y - 14, 4*c + c + y + 12 = 0. Let i be (c + 1)*6/3. Do p and i have different values?
False
Suppose 48 + 3 = 3*c. Suppose -c = a - 4*a - j, -j - 11 = -a. Suppose 3*i - 8 - a = 0. Is 6 greater than i?
True
Let r(p) = p**2 + p - 3. Let k be r(-2). Let y be -2*(0/k - 4). Let f be (-4)/16 - (-74)/8. Is y smaller than f?
True
Suppose -8*s + 17 = -39. Suppose 3*j - s*j = 0. Are j and 5/4 non-equal?
True
Suppose 0*b = -b + 21. Let u be ((-2)/21)/((-7)/b). Are 0 and u unequal?
True
Let n(s) = 8*s + 3. Let h be n(2). Suppose h = 4*u + 3. Which is bigger: 2 or u?
u
Let v be 5/(-145)*(-5)/(-3). Let k = -4114/435 - v. Is -8 not equal to k?
True
Let j(i) = -13*i**2 - i - 6. Let b(o) = -7*o**2 - o - 3. Let l(w) = -10*b(w) + 6*j(w). Let p be l(2). Is p <= 1/4?
True
Let v = -94 - -190. Let j = v - 95.8. Which is smaller: 26/5 or j?
j
Let r = -329/120 - -1187/264. Let w = r - 16/11. Which is greater: w or -1?
w
Let m = -83 + 248/3. Let c = -0.4 - -0.28. Let j = c + 4.12. Which is greater: j or m?
j
Let o(b) = 12*b**2 + 145*b + 14. Let g be o(-12). Is g equal to 48/23?
False
Let a(f) be the second derivative of -f**4/12 + 13*f**3/6 - 7*f**2/2 - 14*f. Let h be a(6). Is h less than 36?
True
Let d = 24.4 + -31. Let o = d + 7. Let i = -13 - -64/5. Is o at most i?
False
Let g be (-5)/((-30)/17046)*-1. Which is smaller: g or -2840?
g
Let s = -16 - -31. Let i = s + -18. Let l(y) = -2*y + 3. Let h be l(2). Do h and i have different values?
True
Let u = 1357 + -36644/27. Which is smaller: -1 or u?
-1
Suppose -17 = -3*f + 37. Let j be 384/f + (-2)/(-3). Let x = -33 + j. Is x at most as big as -2?
True
Let w = 1.9 - 2. Let v = w + 0.1. Suppose -1976*n = -1986*n + 40. Which is smaller: v or n?
v
Suppose 2*x = -5 + 23. Suppose 0 = x*s - 7*s + 104. Do s and -52 have different values?
False
Let b = -1293 - -31027/24. Let d = -229/408 - b. Let g be (-2)/((-4)/(-6)) - -2. Is g at least as big as d?
False
Let c = 88 + -86. Is c equal to 6/35?
False
Suppose 21*i - 140 = -14*i. Which is smaller: i or 29?
i
Suppose 3*f + 30 = -5*y, f = 5*f - y + 17. Let w = -4 - 3. Let t = 3 + w. Are f and t nonequal?
True
Suppose -9 = 5*q - 4*y, -11*y = 3*q - 9*y + 1. Which is bigger: q or -3/29?
-3/29
Let o be 3*7/21*4/2. Is 52/51 < o?
True
Let f be (2 - (1 - 2))*-1. Let g be 7 + f - 10980/2576. Let u = -2/161 - g. Is u at least as big as 1/6?
True
Let i = -541/216 + 1/216. Let y be 3/12 - 218/8. Let n = y - -24. Which is smaller: i or n?
n
Let i = -4563 + 1583362/347. Is i less than or equal to -1?
False
Let x = 0.01 + -6.01. Let r = 6.2 + x. Let c = 6.08 + -0.08. Which is bigger: r or c?
c
Let o(n) = 6 + 3*n - 2 + 2*n. Let c be o(2). Do 13 and c have the same value?
False
Let l be (1 + 0)/(-1)*9. Which is smaller: l or -39/5?
l
Let s = 992537313 - 1923537385753/1938. Let l = s + -2063/38. Let y = l + 92. Which is smaller: -1 or y?
-1
Let d be (-5)/4*(-8)/(-18). Let v be (8 - 6) + (1 - 57). Let a be 4/(-6) - (-18)/v. Is a bigger than d?
False
Let a = 7 - -8. Suppose a*s + 72 = 19*s. Let t = s + -21. Are -4 and t unequal?
True
Let y(c) = -c**2 - 11*c - 4. Let q be y(-11). Which is smaller: -34/11 or q?
q
Let g = -38 - -68. Suppose 8*c - g = 3*c. Suppose c*y - 8*y = 0. Is 1 smaller than y?
False
Let u be (1/(-3) - -3)*-9. Let c be (2/u + 1)/((-1)/(-4)). Let i = 13 + -9. Which is smaller: i or c?
c
Let m(i) = 3*i - i - 7*i**2 + 7*i + 6*i**2. Let c be m(7). Let w = -13 + c. Is 1/5 < w?
True
Let k be ((6 - 1) + -4)*-7. Let a be 21/49*k/4. Which is smaller: 0.11 or a?
a
Suppose -2*a = -0*n - n - 51, 0 = 4*a + 3*n - 87. Which is smaller: 17 or a?
17
Let o = 33 + -88/3. Which is greater: o or -2/3?
o
Suppose 0 = 5*v + 100 - 15. Let r = v - -18. Let s = 1/236 - -587/708. Which is bigger: s or r?
r
Suppose 0 = -7*y + 4 + 31. Which is smaller: -13/5 or y?
-13/5
Let v(i) = -i**3 - 4*i**2 + 3*i - 3. Let f be v(-5). Let b be -3 + f - (-30)/(-2). Which is smaller: b or -12?
-12
Let u = 171 - 198. Which is smaller: -4 or u?
u
Let b = 494 - 284. Let p be (865/b - 5) + 1/2. Which is bigger: 0 or p?
0
Let t = -31.6 - -40. Let b = -1.6 - t. Let v = 9.9 + b. Which is smaller: -2 or v?
-2
Suppose 2*z - 4 = -m + 6*m, m = 5*z - 10. Let p be 2/((-15)/6 + z). Which is greater: p or -22/7?
-22/7
Let l be (8 + -9)/((-3)/(-6)). Let y be (-36)/(-27)*l*(-45)/192. Which is bigger: y or -1?
y
Let p(f) = -15*f - 79. Let b be p(-5). Suppose -16 = -0*i - 4*i. Suppose -i*o - 5*w = -0*w + 28, 0 = o + 2*w + 10. Which is smaller: o or b?
b
Suppose 0 = -5*c - a + 525, a = -4*c + 2*c + 207. Let g = 527/5 - c. Which is smaller: g or 0?
g
Suppose -t = 4*t - 10. Let v be (-3)/9*5/t. Suppose 2*o + 3*g - 8 = 5*g, -5*g - 25 = 0. Is v smaller than o?
False
Let s be 7 + -3*16/8. Is s greater than or equal to -2/313?
True
Let o = -1.123 + -2.177. Is o less than -3?
True
Suppose 4*r - 342 = -5*w - 2, -4*w - 144 = -2*r. Is r at least 159/2?
True
Let y = 586 + -1194. Which is smaller: 0 or y?
y
Suppose -4*f - 2 = 2*w, 3*f + 0*f = 2*w + 2. Which is bigger: f or 2/199?
2/199
Let d be 175/(-240) - (-2)/3. Let f = 19 + -19.11. Let l = f + 0.11. Do l and d have the same value?
False
Let t be (-36)/(-8)*(-10)/3. Let b be 6/t - 33/(-75). Are b and 0 unequal?
True
Let d = 20 + -21. Let q be 1*8 - (2 - d). Let k be 1 - 1 - (0 - 5). Are q and k unequal?
False
Let g(p) = p - 3. Let j be g(7). Suppose l + j = -2*l - 5*w, -4*l + 18 = -5*w. Is l less than or equal to 5/6?
False
Let x be (-185)/((-15)/(-3))*1. Is -37 greater than x?
False
Let o = -121/60 + -1807/30. Let a = o - -62. Does 4/23 = a?
False
Let f be ((-490)/(-12))/(-49) + (-86)/(-96). Which is smaller: f or 0?
0
Let a be (0/2)/(2/1). Let b(m) = -2*m**3 + 7*m**2 + 20*m - 63. Let i be b(4). Is i at least a?
True
Let d = -140.8 + 190.8. Which is greater: d or -2/77?
d
Let k(s) = s**2 + 33*s + 115. Let p be k(-29). Is p < 4/23?
True
Let z = -162209983/186 - -872102. Let a = z - -1/62. Do a and -1/4 have the same value?
False
Let v = 54 - 52. Suppose 2*x + 3*j = 18, -x + 4*j + 0 = v. Which is smaller: x or 3?
3
Suppose -93*b = -92*b - 4. Suppose -5*g = 5*s - 100, 3*s = -3*g + b*g. Suppose 2*c + 16 = 44. Is g <= c?
False
Let s be (-2 + 2)/(30/5 + -4). Which is bigger: 1/273 or s?
1/273
Let x be ((-82620)/(-5500) + -15)*(-1)/(-21). Which is greater: x or -1?
x
Suppose 0 = -23*u + 24*u - 8. Let p be (10/(-2))/(2 - 3). Suppose -3*h + 4*y + 8 = -p, 5*y = h - u. Are 1 and h equal?
False
Let f = 47.078 + -0.078. Which is smaller: f or -1/2?
-1/2
Let y be 1/6*3/(-2). Let f(t) = -t**3 - 3. Let n be f(-2). Suppose -n*a - 5*j = 0, 2*a + 3*j - 2*j + 1 = 0. Which is bigger: y or a?
y
Let d = -102 + 102. Which is smaller: d or -3/8?
-3/8
Suppo