ve of -7*i + 1/6*i**3 + 14*i**2 + 0. Let b be m(-19). Is b <= 10?
True
Let d(u) = -2*u - 2. Let h be d(-2). Suppose h = -y + 3. Let o be y + (15/(-3) - -1). Does o = -5?
False
Let i(p) = -p - 7. Let b(h) = 4*h**2 - h - 2. Let s be b(2). Let z be i(s). Is -19 at least z?
True
Let b = -427 - -468. Is 38 greater than b?
False
Let r(c) = c**3 - 2*c**2 + 2*c - 1. Let k be r(2). Suppose -5*t - 3 - 17 = 0. Let d be 3/15*t - (-637)/65. Is k < d?
True
Suppose 7 = 4*v - 25. Let h = v + -8. Is -2/15 less than or equal to h?
True
Let d = 489.1 - 489. Which is bigger: d or -695?
d
Suppose -53*u + 68*u = -225. Suppose 0 = -2*b + 4*b + 26. Is b != u?
True
Let c be (45/(-45))/((122/4)/(-1)). Which is smaller: -1 or c?
-1
Suppose -2*f + 22 = 9*f. Let m be 4*-1 - (f + (-810)/132). Which is smaller: m or 1?
m
Let c = 30 + -39. Let w be c/(-15)*50/5. Suppose -8 = -w*u + 4*u. Is u at most 1/2?
False
Let g be 1560/(-385) + (7 - 3). Suppose -3 = r + 2*r. Is r < g?
True
Let i be (-46)/184 + 9/4. Is 2 less than or equal to i?
True
Let p be (6/(-56))/(-23*(-12)/(-8)). Are p and -1 equal?
False
Suppose 9*f + 70 = 2*f. Let y(w) = w**3 + 8*w**2 - 19*w + 10. Let j be y(f). Which is bigger: -2/13 or j?
j
Let b = -242 - -243. Let d be (-25)/10 + (-1)/(-2). Let w be (-3)/d*1/8. Which is smaller: w or b?
w
Let c = 9.81 + 0.19. Let i = -88 - -97. Let l = i - c. Which is greater: 6 or l?
6
Let d = -394802/5667 + 1/5667. Let s = -69 - d. Let j(x) = x - 2. Let h be j(2). Which is bigger: h or s?
s
Suppose -2*o + o = -3*h + 15, -4*o + 4*h - 68 = 0. Let p be ((-146)/(-21))/(4/o). Let b = p - -31. Is b > -2?
True
Let l be 9/(-27) - 13*(-21)/909. Which is greater: 1 or l?
1
Let j = 7.06 + 0.94. Is j > -56?
True
Let a = 0.0652 + 3.9348. Let f = 0 - 1. Which is smaller: f or a?
f
Let x(u) = -8*u**3 - 2*u**2 - 2*u - 1. Let c be x(-1). Let f be -5 + 3 + (-90)/(-12). Which is greater: c or f?
c
Let r be (-3)/3*(-2)/(-20). Suppose 2*a - 4*d - 26 = 0, -2*d + 12 = a - 3*d. Suppose -5*f = -20, 3*b + 4*f - 2*f - a = 0. Which is smaller: b or r?
r
Let p be (-9)/(-4) - 9/36. Suppose p*l + 5*t = -8 - 2, -3*l = -4*t - 8. Suppose l = 2*m + m - 12. Which is smaller: m or 5?
m
Let u(b) = b**2 + 5*b. Let a(t) = -t**2 - t + 1. Let c(j) = -2*a(j) - u(j). Let y be c(2). Are -4 and y nonequal?
False
Suppose -11*b = -5*b - 60. Let t be (3/((-15)/b))/((-4)/(-2)). Let a = 242 + -10888/45. Is a bigger than t?
True
Let c = -405 + 404. Is c > 1/155?
False
Suppose 4*j - 85 = 3*j + 2*d, -4*j + d + 305 = 0. Let m = -455/6 + j. Which is greater: 0.1 or m?
0.1
Let l be (-1)/2 - (-1)/2. Suppose 2*v + 0 = z - 3, -3*z - v + 16 = l. Suppose -3*f + f = -3*x + z, 4 = -f. Which is smaller: 1/4 or x?
x
Suppose 2*g - 4*a - 26 = -10, 0 = -2*a - 6. Let d be (-286)/71 - g*-2. Which is smaller: d or 0?
d
Let i = -1759 - -1756.5. Let k = -3 - -4. Is i bigger than k?
False
Suppose i = -2*m - 22, -3*i + 18 = -5*m - 15. Let j be 10*-1 - (-5 + 2). Which is smaller: m or j?
m
Let v be (-4 - 8) + 163/(-3). Which is bigger: -67 or v?
v
Let x = -106 + 105.939. Let f = x - 0.039. Are f and -4 unequal?
True
Let s be (2/(-6)*-1)/(390/(-1324440)). Which is smaller: s or -1133?
-1133
Let b = 15 + -59/4. Let a = -0.00356 - 0.55644. Which is greater: b or a?
b
Suppose -3*f = 40 + 26. Let r be 1 + (-3 - 42/f). Suppose 55 = -7*o + 48. Are o and r unequal?
True
Suppose 24 = -2*d - 3*r, -d + r - 7 = -0. Let x(h) = h**2 + 5*h - 40. Let f be x(d). Which is smaller: -20/7 or f?
f
Let f be ((-132)/(-20))/3 + (-3)/15. Let m be ((-5)/f - 0)/((-8)/(-16)). Is -6 greater than or equal to m?
False
Let y = -0.7 - -9.7. Let c = y + -14. Let w = c + 5.2. Is -1 at most w?
True
Let g = -229 - -187. Is g greater than or equal to -83/2?
False
Suppose -80 = -6*y + 2*y. Let z be 4 - 32/y - 2. Is z not equal to 0?
True
Let h be (5 + 3)*2*(-1)/100. Which is smaller: -1 or h?
-1
Suppose -5*c = -0*c + 120. Let m = c + 22. Let u = -19 + 18. Is m != u?
True
Suppose 5*l = -4*y + 6062, l + y - 120 - 1093 = 0. Let f = l + -37507/31. Does f = 1?
False
Let v(m) = 17*m + 137. Let d be v(-12). Is -67 at most as big as d?
True
Let y = -0.213 - 0.787. Which is bigger: y or 126?
126
Let v be -3 - (-2 - 1) - (-1)/(-1). Let l be (-50)/(-35) + v/(2/3). Suppose 2*b = -4*y - 2, 4*b - 3*y + 2*y = -4. Which is bigger: b or l?
l
Let b(i) = 9*i + 4. Let v be b(2). Let r = -16 + v. Let k(l) = l**3 - 5*l**2 + 4. Let w be k(5). Which is smaller: r or w?
w
Let r(h) = -26 + 6*h - h**2 + 10*h - 11*h + 10*h. Let n be r(13). Is 2/27 at least n?
True
Let f = -452683/19060 + 2/4765. Let w = f - -24. Are w and 3 unequal?
True
Let t = 1672.93 - 1682. Let g = t - 0.93. Is -1 > g?
True
Suppose 0*x - x + 6 = 0. Let g be (-3)/x*(-6)/15. Which is smaller: 0 or g?
0
Let u be 4/(-3)*39/2834. Which is greater: u or -1?
u
Suppose -i = 4*w - 12, -3*i = i - 16. Let j be -6*(-2)/(-6) + 58/w. Which is smaller: 1 or j?
1
Let f be (-375)/(-124) - (2 + -1 + 2). Let n = f - 703/23932. Is -1 > n?
False
Let f be (4/(-24))/(7/(-42)). Which is bigger: 2/663 or f?
f
Let m = 23 - 19. Which is smaller: m or 37/10?
37/10
Let w = 2049 - 2048.948. Which is bigger: -0.1 or w?
w
Let q = 0.15 - -17.85. Let u = q - 17. Do -5/4 and u have the same value?
False
Suppose -t - 14 = 4*s - 3*t, s + 5*t - 13 = 0. Let z be 44/(-36) - ((-60)/27 - s). Which is smaller: z or -5/8?
z
Let x = -22.014 + 0.014. Let s be (-1)/(4*(3 + -1 - 1)). Which is smaller: x or s?
x
Let q = 1111 - 1112. Do 0 and q have the same value?
False
Let w be (-116)/6 + (-2)/3. Let p(z) = z**2 + 23*z + 60. Let b be p(w). Is -1/28 at most as big as b?
True
Let y = -218 - -217.94. Which is smaller: 0 or y?
y
Let a = -498 - -498.22. Is -0.07 at most a?
True
Let r(c) = 3*c**3 + c**2 - 2*c. Let k be r(1). Let o be -4 - ((-6)/k - 2). Is o at most 1/57?
False
Let x = -42.7 + 12.7. Is 2 smaller than x?
False
Let k(p) = p**2 + 1. Let z(w) = w**3 - w**2 + 5*w - 7. Let y(g) = 6*k(g) + z(g). Let c be y(-3). Which is smaller: 6/5 or c?
6/5
Suppose 0 = 4*f - 10 + 6. Which is smaller: 23/15 or f?
f
Let j = 2 + 6. Suppose -19 - j = -3*l. Let c = -6617 + 6627. Is l less than c?
True
Let p be ((-8)/(-2364))/(1/(-3)). Let k be 8/(-5 - -37) + (-2)/8. Is k not equal to p?
True
Let i(j) = j**2 + 28*j - 94. Let l be i(-31). Let w = 16.27 + -16. Is l < w?
True
Suppose -565*v - 152 = -573*v. Let j(c) = -3*c - 2. Let l be j(-7). Do v and l have the same value?
True
Suppose 0 = -3*g + 3*r + 4 - 1, 2*g - 5*r = 2. Suppose -x = 7 - g. Let m be (7/357)/(2/x). Which is smaller: 1 or m?
m
Let z = 5 - -3. Suppose 3*k - z = 5*k. Let x = k - -9. Is x at least as big as 6?
False
Let z = -437/7 - -63. Let h = -546.1 - -546. Which is bigger: h or z?
z
Suppose -20 = -5*d, -116 = -2*n + 2*d + 2*d. Let w be 2/(-4) + n/20 + -2. Is 1 at most w?
False
Let x = 3 + -6. Suppose -5*b - 29 = -2*j - 10, -2*b = 3*j. Let h be 2/(1*7 - (j + -4)). Which is greater: x or h?
h
Let q = -4.08 - -4. Let v = q + -0.02. Are 1.8 and v equal?
False
Suppose 26 - 98 = 4*q. Let a = q + 17. Which is smaller: -3/4 or a?
a
Let s = 7977/2479 + -129/37. Is s not equal to 0?
True
Let l(i) = i**3 - 2*i**2 - i. Let u be l(-1). Let q be (u/6)/((-1)/3). Let b be (3 + q)/(-8) + 1. Which is greater: b or -8?
b
Let v = -1.3 - 1.9. Let u = 3.3 + v. Which is bigger: 20 or u?
20
Let b = -182 - -182. Let g(a) = -7*a**2 + 5*a + 1. Let o(s) = -8*s**2 + 6*s. Let k(j) = 7*g(j) - 6*o(j). Let m be k(b). Is 5 at least m?
False
Let n(u) = -3*u**2 + 33*u - 47. Let l(z) = 6*z**2 + 16 - 6*z**2 + z**2 - 11*z. Let q(p) = 8*l(p) + 3*n(p). Let w be q(10). Is w greater than or equal to -3?
True
Suppose -3*x = 272 - 287. Are 25 and x equal?
False
Let y = -4 + 7. Let k(i) = i**3 - 3*i**2 + i - 1. Let r be k(y). Is -12 >= r?
False
Suppose 0 = -2*a + 6*a - 144. Let z be (2/60)/(48/a). Which is bigger: z or 0?
z
Let f = -59 + 50. Let a be -1 - 6/f*(-3 - -4). Is a equal to -2.5?
False
Let w(p) = 38*p + 42. Let a be w(-4). Which is smaller: -108 or a?
a
Suppose 2*w = 4*l + 18, 26 = -5*w - 3*l + 19. Is 9/10 at least as big as w?
False
Let z = -5/26 + -4/13. Let k = 93/26 + -7/2. Does z = k?
False
Suppose 6*b - 4*b = -18. Let r = -2007 + 1999. Is b <= r?
True
Let i = 185 - 293. Let g = -243331 + 3891569/16. Let c = i - g. Which is bigger: 1 or c?
1
Let t(g) = -g**2 - 3*g. Le