l to d?
True
Let l = -12.4 + 15. Let u = l - 2. Let p be 2/(-3)*6/8. Which is bigger: p or u?
u
Let a = 0 + 23. Let z = 21 - a. Which is greater: z or 2?
2
Let v(c) = c**3 + 8*c**2 - 6. Let q be v(-8). Let p = q - -7. Let n be -2 + 0 + (0 - p). Which is bigger: n or -5?
n
Let h = -36 + 45. Let a be 1/(-4 - (-35)/h). Which is smaller: -6 or a?
a
Let g be (9/6 - -1)*8. Suppose -4*v + g + 0 = 0. Which is smaller: 2 or v?
2
Let q be 2/3 + 2/(-3). Suppose q = -h - 4*h. Let x = 24449/8 - 3055. Which is smaller: h or x?
h
Let k(g) = -2*g**3 + 6*g**2 + 8*g - 7. Let j be k(5). Which is smaller: j or -65?
j
Suppose -2016 = -2809*n + 2803*n. Is n greater than 336?
False
Let f = -6 - -9. Let z be (1/(-21))/((8 - 22)/42). Is z < f?
True
Let z = 850 + -783. Is 271/4 greater than z?
True
Let g = 836 - 1172. Is g <= -0.1?
True
Suppose 14*a = 19*a - 4*z + 347, -z = -4*a - 271. Is -71 greater than or equal to a?
False
Suppose 4*i - 6 = 2. Suppose 5*n - 2*q = -8, i*n + 9 = -7*q + 2*q. Is n less than or equal to -21/10?
False
Let h be ((-19)/(-475))/((-4)/245). Which is greater: -2 or h?
-2
Let f(v) = -v**3 - 8*v**2 + 9*v - 3. Let l be 6/(-4)*(4 - -4). Let z be ((-27)/(-18))/(2/l). Let q be f(z). Which is greater: -2 or q?
-2
Let t(y) = y**3 + 10*y**2 + 13*y + 22. Let n be t(-9). Suppose 0 = -4*f - 4 - 52. Is n > f?
False
Let f(i) = 150 - 110 + 5*i**2 - 2*i - 6*i**2. Let o be f(6). Is -7 > o?
True
Let o(i) = -i**3 + 5*i**2 + 6*i. Let n be o(6). Suppose 2*x - 3*x = -14. Let y be x/(-12) - 9/(-6). Is y not equal to n?
True
Let h be (-1)/(-3) + 34/6. Let z be 2 - 15 - (h/2 - 5). Is -6 bigger than z?
True
Let y = 64 - 64.84. Let m = y - -0.44. Is 1/5 bigger than m?
True
Let b(a) = 3*a - 50. Let m be b(-15). Is m != -95?
False
Let o = 1/1056 + 71/1056. Let l = -25 + 24. Which is smaller: l or o?
l
Let s be ((-172)/(-7))/(-4) + 9. Which is smaller: s or 2/3?
2/3
Let b = 34 - 37. Let p = 6 - 4. Suppose -5*j = 5, -3*n - 4*j = -p*n + 3. Is n less than b?
False
Let p = 171.73 + -171. Let m = p + -0.13. Which is smaller: 0.1 or m?
0.1
Let j(l) = -l**3 - 5*l**2 - 5*l + 2. Let w be j(-4). Let s = 0.15 + -0.05. Let y = -2.1 + s. Which is bigger: y or w?
w
Let t(n) = n**2 + 6*n. Let r be t(-5). Let q(s) = -s**2 + s + 5. Let g be q(0). Suppose 4 = 3*z - 2*u + 15, g*u + 5 = z. Is r not equal to z?
False
Let v = 232 + -221. Is v greater than or equal to 43/4?
True
Let g(k) = -9*k**2 + 2*k - 1. Let r be g(1). Let t be 96/(-10) - 32/80. Is r at least as big as t?
True
Let a(r) = -r**3 - 11*r**2 - 29*r + 12. Let q be a(-8). Let h = -45 + q. Which is greater: 32/5 or h?
h
Suppose 156 - 65 = -y. Is y < -96?
False
Let b be (-5)/(-1) + 8 + -15. Which is smaller: 1 or b?
b
Let v be (1 - -9)/(9/36). Let l be -4*4/v*4. Let f = l - 9/10. Is -2 < f?
False
Suppose -2*o = -3*o + 2*f + 2, 28 = 3*o + 5*f. Let w = -8 + o. Let y be 3/(1 - (2 + w)). Which is smaller: 4 or y?
y
Let i be 2/5 - (-4383)/1080. Let t = -1/8 + i. Which is bigger: 3 or t?
t
Let c = -65.967 - 0.033. Let y = -93 - c. Is 2/7 <= y?
False
Let q = -203 - -202. Which is bigger: 5/18 or q?
5/18
Let r be 7 - -1*(2 - 4). Suppose -11*f + 18 = -r*f. Suppose -f*s - 5 = -29. Is s >= 4?
True
Let x = 15 + 43. Is 0 at least x?
False
Let z = 1315/108 - 106/27. Let r = 8 - z. Which is greater: 1 or r?
1
Let h be (21/(-315)*-5)/((-2)/(-9)). Let g(q) = -q - 4. Let f be g(-6). Is f < h?
False
Let c = -2 + 3. Let v be (-30)/(-4)*(36/10 + 2). Let j be (-17 - -14)*2/v. Which is greater: c or j?
c
Suppose -4*u - 11 - 8 = o, 0 = 3*u + 9. Let a be 1*0/(o - -3). Which is smaller: a or 2?
a
Let c be -4*9/(-21) + -3. Let d be 14/(-10) + 6/(-10). Let f be d - (6/(-3) - -1). Which is greater: c or f?
f
Let m(x) = -x**2 + 9*x + 10. Let g be m(5). Which is smaller: 33 or g?
g
Suppose 0*q - 53 = -3*m + q, 0 = 5*m + 2*q - 81. Let j = m - 15. Do 2 and j have the same value?
True
Let t = -265/21 + 37/3. Suppose 5*n + 14 = 44. Which is bigger: n or t?
n
Let m = -0.552 + 1.252. Is m less than -0.22?
False
Let r = 224 - 220. Let i(c) = -c**2 - 7*c - 4. Let n be i(-6). Let f be (0 + 1)*n - -1. Which is greater: r or f?
r
Let c be 200/(-210)*24/(-32). Suppose 5*q + 28 = -2*j, -4*j + 9 - 21 = -q. Let l = -2 - q. Do l and c have different values?
True
Suppose -20*q = -65*q + 6300. Which is smaller: q or 144?
q
Let p = -490 + 487. Let y = -3.92 + -0.08. Let k = p - y. Which is greater: 0.2 or k?
k
Suppose 4*g + 1 - 17 = 0. Suppose 6 = -2*z - 2*z + 2*y, -41 = 4*z + 5*y. Let w be (-75)/(-27) - z/18. Is g > w?
True
Suppose 135*q - 139*q - 216 = 0. Let r = q - -60. Is -1 smaller than r?
True
Let h be (-21)/(63/2)*138/20. Suppose 4*p - 3*f + 16 = 0, p - 3*f = -0*f - 4. Is h > p?
False
Let i = -2 + 1. Let n = 49 - 46. Let c be (3 + (5 - n))*i. Which is bigger: c or -3?
-3
Let v be (0 + -1)*(-2)/(-4). Let k = 2431 + -2432. Which is greater: k or v?
v
Let a(n) = -n - 7. Let k be a(-5). Let s be 3 + 6/k + 3. Suppose g + 5*v - 30 = 0, -g - 2*g + 5*v = 10. Which is bigger: g or s?
g
Suppose -21*r = -4*x - 16*r + 121, -x + 26 = 3*r. Which is greater: 33 or x?
33
Suppose 2*v + 22 - 106 = -5*t, 0 = 3*v + 2*t - 115. Let n = 29 - v. Suppose -10 = 2*x + 6. Is x at most n?
True
Let k be 2/6 - 74/6. Suppose 4*v + 20 = -4. Let b = k - v. Is -6 at least as big as b?
True
Let j be 3/(-2) + 15/2. Let y be (-9)/j*(-4)/(-18). Let t be (-6)/(-10)*(-1)/(-6). Which is smaller: y or t?
y
Suppose -3*n + n - 87 = 5*o, 3*o + 46 = -n. Let k = 32 + n. Which is smaller: k or -2/7?
-2/7
Let h = 544 + -544.1. Is h greater than or equal to -116?
True
Let r = -147014 + 5880187/40. Let u = 46/5 + r. Suppose -2241 = -32*f - 2145. Are f and u nonequal?
True
Let r(b) = 2 + b**2 - 3*b**2 - 4*b + b**2. Let z be r(-4). Let d = 1317/530 - 9/106. Which is smaller: z or d?
z
Let j(h) = -h**2 + 14*h + 17. Let v be j(15). Suppose 0*p = v*p + 28. Is p equal to -14?
True
Let p(f) = f**2 - 23*f + 116. Let o be p(6). Which is smaller: o or -9?
-9
Suppose -4*d = -4*b + 128, -5*d = b + 195 - 41. Is d at least -31?
True
Suppose 0 = -3*c + 13*c + 60. Let t be 109 - (5 - (4 - c/(-2))). Is 105 < t?
False
Let s(w) = -20*w**3 - 23*w**2 - 17*w + 9. Let b(x) = 7*x**3 + 8*x**2 + 6*x - 3. Let v(n) = -17*b(n) - 6*s(n). Let r be v(0). Is 0 greater than r?
True
Let x = -347 - -346.99. Which is greater: x or 1/20?
1/20
Let s be (-16785)/145350 + 2/20. Which is bigger: -1 or s?
s
Let s be ((-5)/80)/((-13)/(-52)). Let g be 0/(-3) + 2/1. Suppose -2*m - 1 = m - o, -4*m = g*o + 8. Is m at most s?
True
Let s be 0 + -1 + 10/2. Let v be -59 - (-4 + s)/(1 + 0). Is -58 smaller than v?
False
Let u = -0.2 - 0.3. Suppose o - 22 = 4*z, 4*o + 11 = 2*o - 3*z. Suppose 1 + 13 = 4*p - o*x, -18 = 2*p + 4*x. Is p bigger than u?
True
Suppose 0 = -v + 6*v + s - 21, 2*v = -s + 9. Suppose 0*r + 3*f = v*r + 3, -f + 1 = 0. Which is bigger: -1/3 or r?
r
Suppose -3*z + 39 = 2*b, z + 3*b - 10 = 10. Suppose -5*q - 2*t - 4 = -z, -t - 7 = -q. Let o = 0.3 - -0.7. Which is greater: q or o?
q
Let y(i) = -5*i**2 - i - 20. Let f be y(-4). Which is smaller: f or -94?
f
Suppose -6 = -5*q - 2*d, -3 = -q + 2*d + 3. Let s be 0 + 10 - ((-13)/(-1) + -10). Suppose u - q*u = s. Are u and -6 nonequal?
True
Let c(w) = -w**3 - 9*w**2 - 6*w + 11. Let f be c(-8). Let r be f - (-108)/8 - 1*-3. Which is bigger: 12 or r?
12
Let w(r) = -2*r**3 - r**2. Let h be w(1). Suppose -2*n + 9 = -15. Let p be 2/n*2*h. Which is smaller: p or -1/9?
p
Suppose -16*v + 52 + 28 = 0. Is -2 equal to v?
False
Suppose -5*b - 4*n - 74 = 0, -b - 16 = b + 5*n. Let i = b - -26. Let s = 7 - i. Is 1/15 > s?
True
Let f = -6.36 + -0.58. Let t = 7 + f. Let p be 5/(-4)*(-23)/115. Which is smaller: p or t?
t
Let x be 12/(-42) + 2/7. Let c = 156 - 3437/22. Let a = c + -3/11. Is a greater than x?
False
Let v = 82 + 106. Which is smaller: -0.2 or v?
-0.2
Let c = -0.36 - -0.41. Let v = -0.15 + c. Which is bigger: -20 or v?
v
Let z(i) = -i**3 - i**2 - 1. Suppose q - 5*q - 4 = 0. Let u be z(q). Is u > 2/7?
False
Let c = 7 + 1. Let l = -7 + c. Let w(t) = -t. Let m be w(l). Is -3 bigger than m?
False
Suppose 64 = 5*v + 3*s, 2*v - 30*s - 22 = -33*s. Which is smaller: 20 or v?
v
Let g = 104374/167 - 625. Let c = 0 + 1. Which is greater: c or g?
c
Let b be (17/34)/((-3)/9). Which is greater: b or -2?
b
Suppose 4*r - 2*o = 10, -2*o 