 big as 1?
False
Suppose -8*y + 16*y - 40 = 0. Suppose p + 3 = y*x - 10*x, 2*p - 4 = 0. Let a = -83/78 - 7/26. Which is greater: x or a?
x
Suppose -53 = s + t, 4*s + 11*t - 8*t = -209. Is s < -50?
False
Let o be (-9)/357*4/6. Let i be (0 - 5)*(-12)/60. Is o greater than or equal to i?
False
Suppose 11066 - 1056 = -14*v. Are -716 and v unequal?
True
Suppose 0 = -4*a - 3*g - 13 - 0, -3*a - 18 = 5*g. Let n(p) = 6*p. Let w be n(a). Let r be (-8)/15 + (-4)/w. Which is smaller: -2 or r?
-2
Let b = 39 + -13. Let u = b - 61. Are -34 and u unequal?
True
Let i be (-8)/5 - (-2 + 4). Let t = -39 - -71. Let r = t - 35. Is i at most r?
True
Let q be (616/(-15))/(6/(-9)). Let m = -63 + q. Is -1 less than m?
False
Let m = -1161 - -790. Which is smaller: m or -1?
m
Let j be (-118)/(-18) - 5 - 2. Which is greater: 0 or j?
0
Let j(v) = 2*v**2 - 28*v + 87. Let u(i) = 3*i**2 - 42*i + 131. Let s(m) = -8*j(m) + 5*u(m). Let w be s(10). Which is smaller: 3/16 or w?
w
Suppose -163*u = -158*u - 700. Which is greater: u or -3?
u
Suppose 2*k + 2 = 0, 3*i - k - 16 = 15. Let y be i/5 + (-22)/16. Suppose v = 6*v. Is v at most as big as y?
True
Suppose 16*i - 4 = 14*i. Which is bigger: 3 or i?
3
Let p(o) be the third derivative of 7/3*o**3 + 14*o**2 - 1/24*o**4 + 0*o + 0. Let d be p(13). Are d and 5/6 unequal?
True
Let c be 2/5 + 0/25. Is c smaller than 37?
True
Suppose -3*l - 6 = 0, 2*l - 626 = 3*t + 6*l. Which is bigger: -207 or t?
t
Let z = -2.3 + -0.7. Let f = -0.016 - -4.016. Are f and z non-equal?
True
Let u be 1 + ((-7)/3 - -1). Let w = -115 + 114. Is u at least as big as w?
True
Let j(f) = -7*f**2 + 3 - 3 + f**3 + 1 - 8*f. Let a be j(8). Which is greater: 20/9 or a?
20/9
Let j be 1 + 1 + (-6)/(-2). Let q = -2 + j. Let u(n) = n**2 - 3*n + 2. Let f be u(q). Which is smaller: f or -0.2?
-0.2
Let z be (-4)/(-14) - 968/847. Is -10 > z?
False
Let f be (27/6 - 3)*(6 + -4). Let i = 17 + -12. Suppose 2*o + f*o = i. Which is smaller: -1/22 or o?
-1/22
Suppose 4*p = -2*p + 12. Suppose -15 = -3*g, 4*g = -p*b + 2*g + 32. Which is smaller: -2 or b?
-2
Suppose -17 + 21 = w. Let x(m) = -m**3 + 3*m**2 - 2*m + 3. Let f be x(2). Suppose -8 = -f*h + 1. Is h != w?
True
Let a = -146 - -147. Let h be 3 + (-632)/106 - a*-3. Is -1 at least as big as h?
False
Let y(b) = 2*b**2. Let h be y(1). Suppose 3*u - 22 = -5*z, 3*u - 16 = -h*z - 0. Suppose 1 = 3*o - z. Which is bigger: -2 or o?
o
Suppose -2*a + 16*a = -28. Which is smaller: a or 46?
a
Let h = 5 - 3. Let a = h + 3. Suppose b - 6 = -1. Is a bigger than b?
False
Let t = -590.0684 + 590. Which is smaller: t or 0.1?
t
Let l be 7/21*-21 - -48. Is 45 <= l?
False
Suppose 5 = -2*z + 1. Let m = -2/10623 - 74341/106230. Is m bigger than z?
True
Let c be (-27)/(2*(-3)/44). Let r be 4/10 + c/105. Let t = 54 + -51. Which is smaller: r or t?
r
Suppose -3*g + 1 = -2. Suppose 2*w + w - 3 = 0. Let j be w/(-6*g/(-2)). Is -1 bigger than j?
False
Let j = 13.9 + -13.69. Which is bigger: -4/7 or j?
j
Let q be 10/35 - (-76)/28. Suppose 23 = 4*n - 1. Which is smaller: q or n?
q
Suppose -4*g - 5*w = 20, 3*g - 14 = 5*w + 6. Which is smaller: 1/60 or g?
g
Let z be (2*651/(-70))/(2/10). Let h = 94 + z. Does h = 7/6?
False
Let h be 2/(-10) - 140/(-75). Let z(f) = -f**2 - 8*f + 8. Let o be z(-10). Let t be (-5)/(-15)*o/14. Which is greater: t or h?
h
Let x(o) = -5*o - 22. Let c be x(-11). Let d = c - 31. Is 1 > d?
False
Let b = -1655 - -1665. Suppose w - z + 4*z = 14, -z = 4*w - 34. Is b > w?
True
Let o be ((-23)/184)/((-298)/24). Is 1 > o?
True
Let g be ((-24)/(-36))/(1/6). Let t = -119 + 119. Which is greater: t or g?
g
Let j = -8/69 + -220/483. Are j and 11 nonequal?
True
Let r = 3.67 - 0.07. Let o = -3.5 + r. Is o equal to 0.01?
False
Let h = 0.0166 - 0.1066. Is 8 greater than or equal to h?
True
Let t = -7 + 2. Let k be 24/270*-125*2/4. Is k at most as big as t?
True
Let x be (2 + 5)*6/21. Let v be 3/(-1) + 5/x. Are v and -0.17 unequal?
True
Let i be 4/5 + 102201/(-127395). Is 0 at most i?
False
Suppose 60 = -4*j - 0*j. Let x be 1 + -1 - (j + 13). Let d be x/(-35) + -4 + 4. Which is smaller: d or 1?
d
Let b = 97 - 65. Suppose z - 5*f = 8, -4*f - b = -5*z + z. Suppose 0 = z*v - 5*v + 12. Is -4 < v?
False
Suppose -6*y + 32 = 10*y. Let v = 0 + -2. Let u be v/(-4) + (-5)/18. Is y equal to u?
False
Suppose 4*a - 5 = -1, -11 = d + 3*a. Which is bigger: d or -21?
d
Let u = -38 + 24. Let h = -2.9 - -15.9. Let k = u + h. Which is greater: k or 5?
5
Let w(x) be the second derivative of -x**4/12 - 17*x**3/6 - 11*x**2 + 5*x. Let q be w(-16). Which is bigger: q or -7?
q
Let h = 570 + -505. Which is bigger: 63 or h?
h
Let x = 0 + 3. Let m = -7 - -11. Let o = m - x. Is 0 at most as big as o?
True
Let t = 29 - 71. Let b be 1 - 360/10 - 1*6. Does t = b?
False
Let z be (1/2)/((-16)/(-32)). Suppose -2*r - 39 = r. Let c = r + 40/3. Which is bigger: c or z?
z
Let o be (32 + 2)*1/(-2). Let l be ((-2)/1)/(-40 + o). Which is greater: -1 or l?
l
Suppose 2 - 22 = -4*l. Suppose 2*h + 3*g = 1 + 1, -l*h = g - 18. Let u be (1 - h)/((-75)/10). Are -3 and u unequal?
True
Let i = -773 + 344. Is i > -431?
True
Let i = -12.7 - -13.7. Which is bigger: i or -74/5?
i
Let t be (2/138)/((-2)/4). Let d(x) = -x**3 + 10*x**2 - 9*x + 5. Let k be d(9). Suppose 3*b + 25 = -b - 5*m, -k*m - 25 = -b. Are t and b non-equal?
True
Let g = -0.07 - -3.07. Which is greater: -0.013 or g?
g
Let u = 6 - 3. Let h(z) = z**3 + 15*z**2 - 15*z + 19. Let m be h(-16). Suppose -2*s + s = -2, -2*r - m*s = -14. Which is smaller: r or u?
u
Let l(n) = -n**3 - 5*n**2 - 2*n + 2. Let c be l(-4). Let h = 12 + c. Let t be 1/(3/h*2). Is t >= 1?
True
Let k = 15/7 + -703/315. Let y = k + 142/585. Are -1 and y nonequal?
True
Suppose l + 0*l - 4 = 0. Let c = -8 + 6. Let n = c - l. Which is smaller: -8 or n?
-8
Let k(x) = 2*x**3 + 3*x**2 + 11*x + 21. Let a be k(-2). Which is smaller: a or 1?
a
Let j be -2 - ((-25)/6 + 8/48). Suppose 2*m = -2*u + 46, j*m + 80 = 7*u - 2*u. Let x be (-2)/5 - 194/(-10). Which is greater: u or x?
x
Suppose h - 15 = -11. Let o be ((-1)/(-108)*2)/((-1)/h). Is -1 greater than or equal to o?
False
Suppose 7*f = 12*f. Suppose f = 8*n - 5 - 19. Suppose 2*o = -n*o. Is o at most as big as -2?
False
Suppose -5*x = -0*x + 365. Let h = x + 73. Is h >= -3/10?
True
Suppose -26 = q + 7. Is -22 != q?
True
Let h(t) = t - 5. Let d be h(12). Let z(u) = -u**3 + 6*u**2 + 7*u. Let c be z(d). Which is bigger: -1 or c?
c
Let u = -4471/6 - -1643/2. Which is greater: u or 76?
u
Let j = -1424.085 + 1424. Which is smaller: -2 or j?
-2
Suppose -5*o = -5*y + 10, -64*y + 63*y = 4*o + 3. Which is smaller: y or -3/799?
-3/799
Suppose -20 = 11*d - 6*d. Let m be (-27)/d + -6*1/(-24). Which is smaller: 6 or m?
6
Let r be (10 + -6)/(318/9). Let o = r + -101/424. Which is bigger: o or 11?
11
Let g be ((60/(-8))/(-3))/((-4)/(-72)). Let d be (2/(-10))/((-9)/g). Is 22/9 equal to d?
False
Let g be (-1 - 2 - -2)*46/3634. Which is smaller: g or 1?
g
Suppose -5*q + 1 + 14 = 0, 2*q - 13 = -y. Suppose -y*o + 5*o = -56. Suppose 2*i + 5*f + o = 0, -3*f = i + 3*i + 28. Is -3 equal to i?
False
Let y = -43.9 + 46. Let w = y + -2. Suppose 2*i = -10 - 2. Is w < i?
False
Let i(x) = -x - 1. Let g(b) = b**3 - 9*b**2 - 9*b. Let w(d) = g(d) + i(d). Let f be w(10). Which is bigger: f or 2/11?
2/11
Let c = -53717 + 140684825/2619. Does c = 1?
False
Let l = -3281 + 3281. Let a be 1/2 - (-729)/(-12). Let g = -61 - a. Is l <= g?
False
Let j be 396/16 + 1/4. Suppose -8 = -2*y + 3*y - a, 3*y + j = 4*a. Let f(w) = -w**2 - 7*w + 9. Let l be f(y). Which is smaller: 10 or l?
l
Suppose -46*u - 105 = -67*u. Let t = -91426/303 - -7/101. Let k = t - -306. Which is greater: u or k?
u
Let n = -127948/333 + 3458/9. Is n greater than 1?
False
Let n = -38211/830 + -27/166. Let f = n + 46. Are f and -2/7 equal?
False
Let d(r) = -9*r**3 - r**2 - r - 1. Let c be d(-1). Suppose 69*f + 48 = 75*f. Is f less than c?
False
Let s be ((-6)/8)/(1/(-4)). Suppose c - s = 5. Let j = 7 - c. Is 1/18 <= j?
False
Let s = 95 + -85. Let h be -1*s/(-8)*8/160. Which is smaller: 0.2 or h?
h
Let v(q) = q**2 + 5*q - 6. Let l(c) = -3*c + 15. Let b be l(7). Let k be v(b). Suppose -4*p - p = k. Is 2 not equal to p?
True
Let a = -4 + 3. Let j = a + 1.1. Let n = -591 - -591. Which is bigger: j or n?
j
Let h = 151.1