se -11 + 21 = 5*y. Does -1.4 = y?
False
Let h be ((-2)/(-8))/(-1*3/(-276)). Is 22 at most h?
True
Suppose -2*k + 71 = -17. Is k less than 46?
True
Let s be (-2954)/10 - (-18)/(-6). Let r = -300 - s. Which is bigger: r or -2?
r
Let k = 4 - 6. Let y = k - -6. Suppose 2*l + 2 = s + 2*s, -y*s - l = 1. Is s at least 2/11?
False
Let f = -75 + 89. Which is bigger: f or -0.1?
f
Let d be (1/4)/((-1)/211). Let l = 53 + d. Is l <= 0.07?
False
Let d(r) = -r**2 - 8*r. Let y be d(-6). Let i be y/42 - (-19)/7. Suppose -5*v = 2*c - 23 + 1, 4*c + 8 = i*v. Are 0 and c equal?
False
Let d = 16.932 + -17. Which is smaller: 1/3 or d?
d
Let a = -138 - -102. Do -36 and a have different values?
False
Let o(h) = 5*h - 1. Let i be o(1). Which is smaller: i or 3?
3
Let t = 253/738 - 52945/122508. Let j = 1/166 + t. Let d = j + -1/6. Which is smaller: d or 1?
d
Let u(w) = w**3 - 3*w**2 - 1. Let p be u(3). Let v be (p + 3)*(-2)/2. Which is greater: v or -3/4?
-3/4
Suppose -3*v = -4*j - 9 + 24, 4*j + 4*v = 8. Suppose 12 = -4*k + j*u + u, 3*k - u = -3. Which is bigger: k or 2/11?
2/11
Let n = -6 + 0. Let h = -5 - n. Which is smaller: 5/9 or h?
5/9
Suppose -f + 3*v = -9, -3*f + 5*f + 4*v + 32 = 0. Let d be 3/f*(0 - 2). Which is smaller: d or -0.2?
-0.2
Let b = -0.117 + 0.017. Which is smaller: b or -46?
-46
Let n = -337/5 + 67. Are n and -0.04 equal?
False
Let i(z) = 4*z - 1. Let b be i(1). Is -0.1 at least as big as b?
False
Let l = -57/20 - -13/5. Let p = -0.84 - 0.06. Let h = -0.1 + p. Is h smaller than l?
True
Suppose 5*q + 79 = -31. Let a be (q/5)/((-4)/20). Suppose 2*y - 4*c = -a, -2*c = y - c - 4. Which is smaller: 2/7 or y?
y
Let g(y) = 3*y - 1. Let c be g(1). Are 3 and c non-equal?
True
Let z(c) = c**2 + c. Let b be z(-1). Let m = -269/3480 + 1/120. Which is smaller: b or m?
m
Let q be 6/(6/(-4) - 0). Suppose -3*h = -0*h - 39. Let z = h + -16. Are q and z equal?
False
Let o(m) = m**2 + 15*m + 10. Let j be o(-14). Let n be ((-4)/j)/(2/14). Is 5 <= n?
True
Let a be (-2)/(-148)*(-2 - 0). Is a at least 0?
False
Let r = 10 - 12. Is -2 less than or equal to r?
True
Suppose -2 - 5 = -7*c. Which is greater: 4/13 or c?
c
Suppose 2*v = -3*a - 26, -a - 2*v + v = 10. Let p be (15/6)/(a/4). Which is greater: p or -1?
-1
Let f(w) = w**3 - 9*w**2 - 9*w + 3. Let r be f(10). Let g be r/3 + (-2)/(-3). Let x = g + -8. Which is greater: -2 or x?
-2
Let i = -1 - -1. Let n(v) = 3*v**2 - 1. Let r be n(-1). Suppose 7 = 5*x + r. Which is bigger: x or i?
x
Suppose -6 = -2*r - 2. Let t(l) = -r*l - 1 + 3 + 2*l + 6*l + l**2. Let k be t(-6). Which is bigger: 1 or k?
k
Suppose 0 = -0*d - 4*d - 4. Let i = -2 - -2. Let x = i - 0. Are x and d non-equal?
True
Suppose 3*y = k - 14, 0 = -5*k + 2*y + 6 - 1. Let h be (k/2)/(6/(-8)). Let s = -64/99 + -2/99. Are h and s non-equal?
True
Let p = 9 - 4. Which is smaller: 2/5 or p?
2/5
Let h be (-9)/(-15) - (-6)/15. Let z = -2.43 + -0.47. Let m = z + 0.9. Which is smaller: h or m?
m
Let x = 108/13 - 6346/767. Which is greater: x or -1?
x
Let d be ((-2)/7)/(1 + -3). Let i = -73 + 43. Let s = i + 30. Is d at most s?
False
Let n = 2.6 + 7.4. Let j = -4 + n. Let f = 25/3 - 23/3. Which is bigger: f or j?
j
Let b = 0 + 0. Let i = -6624 + 57710/9. Let j = i - -212. Is b != j?
True
Let k(l) = -l - 3. Let y be k(-4). Let u be (-3)/(-1 - (-1 + y)). Let p be (-2 + u)*(-3)/(-15). Is 0 equal to p?
False
Suppose 0 = -0*s + s. Suppose s = -4*b - 4 - 16. Is b less than -6?
False
Let o = 115.04 + -119. Let n = o + 4. Is 2/3 at least as big as n?
True
Let v = 901564696/88558449 + 2/665853. Let i = v + -72/7. Which is greater: 1 or i?
1
Let i(u) = u**2 + 1. Let l(t) = 6*t**2 + 4*t. Let y(q) = 5*i(q) - l(q). Let w be y(6). Let j = w - -276/5. Is 1 != j?
True
Suppose -30 = -3*h - 2*h + 3*k, 3*k + 15 = 0. Suppose h*y - 2 = y. Which is bigger: y or 2?
2
Let j be (-2 + 0 - 1) + 51. Let h = 338/7 - j. Is h <= -4?
False
Suppose 0 = -22*r + 21*r. Is r less than -3/4?
False
Let r(p) = p**2 + 12*p - 7. Let b be r(-13). Which is smaller: b or 4?
4
Let a = -4/69 + 10/69. Which is greater: a or 0.1?
0.1
Let v(z) = z**2 + 3*z - 1. Let d be v(-3). Let l be (-2 - (1 + -3))/1. Which is smaller: l or d?
d
Let i(c) = -c**2 + 10*c - 1. Let y be i(9). Let a(j) = -j + 18. Let q be a(y). Let t = 6 - q. Do -5 and t have the same value?
False
Suppose 5*r + 2*x = 0, -4*r + x = 5*x + 12. Let v be (-14)/(-8)*12/42. Is v greater than or equal to r?
False
Suppose -2*o - 3*f + 45 = -0*f, o + 5*f = 40. Is o equal to 14?
False
Let g = 0.61 + -0.01. Let u = g + -0.6. Is 0.2 smaller than u?
False
Let o be 4/10 - (-92)/20. Is 6 <= o?
False
Suppose -4*v - i + 5 = 0, i + 4 = 2*v + 3*i. Let c be ((0/v)/3)/(-1). Are -5/8 and c equal?
False
Let l be (6/15)/(-2 + -1). Is l equal to 1?
False
Let z(m) = -m**3 + 6*m**2 + 6*m + 9. Let t be z(7). Which is smaller: t or 0?
0
Suppose n - 2*n = -2*l, 2*n = 5*l + 1. Let c be (3/(n + -1))/1. Which is smaller: -1/14 or c?
c
Let y be ((-3)/12)/((-7)/(-28)). Which is smaller: -6 or y?
-6
Let t(i) be the first derivative of 9*i + 3 + 1/3*i**3 + 4*i**2. Let p be t(-6). Which is greater: 0 or p?
0
Let i = -2.06 - -2.5. Let m = 3.5 + i. Let k = m + -4. Which is greater: k or 1/2?
1/2
Let b = -54 + 91. Which is greater: b or 1?
b
Let t = -38 + 31. Which is smaller: t or -5?
t
Let a = -3 + 48. Suppose 3*m = 3*g - 18 + a, 2*m - 5*g = 15. Which is bigger: 9 or m?
m
Let k = -2.6 + 3. Which is bigger: -1 or k?
k
Let c = -0.08 - 0.32. Let b = 2.6 + -1. Let a = c - b. Is a at most as big as 2/3?
True
Let o = 0.98 - 1. Let w = 22 - 17.9. Let a = -4 + w. Is a <= o?
False
Suppose -5*l - 2*g - 13 = -57, -g = 5*l - 42. Let r(s) = s**2 - 9*s + 12. Let o be r(l). Suppose -o + 3 = -2*m + 3*f, 1 = -m + 3*f. Are 4/3 and m non-equal?
True
Let i = -118 + 144. Is i equal to -0.1?
False
Let r = -15 + -69. Let q be (r/30)/(1*-2). Do q and 2 have different values?
True
Suppose -5*v - 5*r - 7 + 42 = 0, 5*r = -2*v + 5. Suppose -2*f = 2*j - 28, 5*j - 60 = -3*f - 0*f. Is j equal to v?
False
Let i = -36 + 21. Let k = -22 - i. Which is smaller: 0 or k?
k
Let o be -9 - -5 - 95/(-24). Are 1 and o equal?
False
Let c be (2/(-8))/(3/32*12). Which is greater: 0 or c?
0
Let s = -4 + 3. Let d = s - -3.04. Let g = d + -0.04. Which is smaller: 0.2 or g?
0.2
Let j(f) = -15*f**2 - f + 3. Let w be j(1). Is w less than or equal to -13?
True
Let x = 86 + -72. Is 15 at least x?
True
Let y = 18 + -24. Is y greater than or equal to 0.2?
False
Let h be 32/(-4)*(-3)/(-76). Which is smaller: 0 or h?
h
Let u = -4.25 - -0.25. Which is smaller: u or 0.2?
u
Let l be (77/(-35))/((-4)/(-10)). Is l greater than or equal to -5?
False
Let k(b) be the first derivative of b**4/4 - 5*b**3/3 - 2*b**2 - 7*b + 2. Let a be k(6). Suppose 5*w + 0*w = -a. Does w = -2?
False
Let u(w) be the first derivative of w**4/4 - w**3/3 + w**2/2 + 5*w - 1. Let i be u(0). Suppose i*y = 2*y + 3. Do y and 1/2 have the same value?
False
Let i = -5.91 + 4.8. Let t = i + 0.21. Is t not equal to -0.1?
True
Let z(n) = -n**3 - 8*n**2 + 11*n + 4. Let k = 11 - 20. Let h be z(k). Let s = 9 + h. Which is bigger: -6 or s?
s
Let q = -3.2 + 3. Let d = 3 - 2.9. Let p = d + q. Which is smaller: p or -1/4?
-1/4
Let u be (-132)/16*2/(-3). Let w = -6 + u. Which is bigger: w or 0.1?
0.1
Let h be (1*-1414)/((-132)/(-114)). Let s = h + 1222. Let y = s - 3/44. Which is smaller: y or 1?
y
Suppose -4 = 5*a + 6. Let k(x) = -2*x**3 - 2*x + 1. Let b be k(1). Let t be b/(-6)*(a + 6). Which is smaller: t or 3/5?
3/5
Suppose 7 = -2*p - 11. Which is smaller: -10 or p?
-10
Let v be 280/2150 - 2/10. Let u = -307/86 - v. Is u <= -5?
False
Let h(a) be the second derivative of -a**5/20 + 7*a**4/12 - a**3 + 11*a**2/2 - 3*a. Let v be h(8). Let i = 709/7 + v. Which is bigger: i or 0?
i
Let c be (-62)/36 - (-14)/63. Are -1 and c non-equal?
True
Suppose -10*u + 32 = -38. Which is bigger: u or 14?
14
Let g(p) = p - 11. Let a be g(5). Let f = -1 - a. Let r be 3 - 4 - f/(-6). Which is bigger: r or 1?
1
Let l = -12 + 2. Let y = l + 48/5. Is -1 not equal to y?
True
Let s(f) = -f**2 + 7*f - 5. Let k be s(6). Let h be (1 - k)/(-3)*-1. Suppose -5*y + 0*y = h. Is y at least 1?
False
Suppose 4*x + 26 - 5 = 3*f, 0 = f + 3*x + 6. Suppose -3*c - 12 = 0, -3*l + 0*l = -f*c - 9. Let b = -29 + 29. Is l less than b?
True
Le