have the same value?
False
Let u(o) = -o**3 + 21*o**2 + 22*o. Let c be u(22). Is 0.0069 not equal to c?
True
Let y = -30.88 - -31. Let a = -29.12 + y. Let f = -26 - a. Is f at most 0?
False
Suppose 2*l = l + 10. Let h = 17 + -18. Which is greater: h or l?
l
Let g = 14/523 + 46491/2092. Which is smaller: g or -2/19?
-2/19
Let x = -0.1 + 0.4. Let g = 0.2 - x. Let l = g - 0.1. Which is smaller: -1 or l?
-1
Let y be 1/(-5)*455/364. Suppose m + 2 - 1 = 0. Let i = m + 0. Is i less than or equal to y?
True
Let f = -154 - -135. Which is bigger: f or -17?
-17
Let o(k) = -16*k + 31. Let p be o(2). Which is smaller: p or -10/73?
p
Let j(u) = -u**3 + 3*u**2 + 3*u. Let n be j(4). Let x be 0/(-2 + (-3 - n)). Suppose -p - p + 5*o = 31, x = 4*p - 5*o + 37. Does 3 = p?
False
Let m = 286.271 - 0.271. Is m less than or equal to 2?
False
Suppose 0 = 4*x - 2*a - 18, 3*a + 23 = 4*x. Let m be 0/(((-28)/35)/((-4)/(-10))). Is x < m?
False
Let x be (3/(-46))/(2/4). Let d = -2388972/115 - -20774. Let a = d + x. Which is bigger: -1 or a?
a
Let u(q) = -q**3 - 3*q**2 + 3*q - 1. Let b be u(-4). Suppose 0 = 4*y - 5*k - 39, -17 - 22 = -5*y + b*k. Let l be (-1150)/(-250) - 2/(-5). Is l > y?
False
Let u(z) = -3*z - 3. Let w be u(7). Which is smaller: -7 or w?
w
Suppose 3*f + 62 = f + 2*g, -3*g + 35 = -f. Is f at most as big as -27?
True
Suppose 126*v = 108*v + 18. Let z = 3/464 + 1/16. Which is smaller: z or v?
z
Let f be (-3)/(-14)*(-558)/492*1. Let k = f - 2/287. Which is smaller: k or -2/81?
k
Let f = -8.42 + 0.12. Let c = 8.5 + f. Which is smaller: c or -0.29?
-0.29
Let n be (-660)/121 + (-3)/((-6)/8). Which is smaller: n or -2?
-2
Let w = -13 + 57. Suppose -4*u - 3*m = -w, 22 = 4*u - 4*m + 6. Which is greater: u or -2?
u
Let n(s) = -s**3 - 7*s**2 + 9*s + 11. Suppose 2*b - 4*i - 4 = 0, 2*i = 3*b - 3*i - 1. Let g be n(b). Suppose o - g*o = 0. Is o <= 4/9?
True
Let s(t) = 21*t**2 - 8*t - 5. Let h be s(3). Suppose -161*k = -h*k. Is 1/5 greater than k?
True
Suppose -56 - 92 = -5*b + 4*l, 2*l - 134 = -4*b. Which is greater: b or 34?
34
Let k be 2 - 2/(631330/(-12193663)). Let y = 5/63133 + k. Let t = y - 297/7. Which is smaller: -2 or t?
-2
Let v(x) = -x + 1 + 2*x + 3. Let g be v(-3). Let m be (-1)/(-3)*(-21)/(-21). Which is greater: g or m?
g
Let f = -423/188254 - -2/1419. Which is greater: -1 or f?
f
Let j = -113 + 105. Let w be 2 + 0 - ((-231)/(-2))/11. Which is greater: j or w?
j
Let k be (-224)/22 - 2/(-11). Let x = -45 - -40. Let f be 12/x + 2 - (-1056)/(-110). Is f < k?
False
Let i = 725 - 667. Is 54 less than or equal to i?
True
Let q be (2 - 14)*(448/21)/(-8). Which is bigger: 31 or q?
q
Let d(w) = w + 43. Let o be d(-10). Is o <= 31?
False
Let h(y) = y**3 - 57*y**2 + 109*y + 57. Let z be h(55). Which is smaller: 34 or z?
z
Suppose 0 = 9*t - t + 16. Let o be (246/80 + (-21)/56)*t. Which is bigger: o or -4?
-4
Let g be 6 + (-5313)/140 - 1/(-5). Are -31 and g unequal?
True
Suppose 0 = -4*d + 29 + 11. Let s be (-4)/d - 24/(-10). Is 6/7 > s?
False
Let d be (-1 - -4)/69*(7 - 5). Let w(q) = 2*q**2 - 3*q + 1. Let y be w(2). Let g be 3/(y/2) + -1. Is g bigger than d?
True
Let k = -566/7 + 81. Let x(t) = -2*t**2 - 7*t - 1. Let w(v) = -3*v**2 - 7*v - 1. Let i(d) = -3*w(d) + 4*x(d). Let f be i(7). Which is greater: k or f?
k
Let q = -7 - -10. Suppose u - q*a = -3*u - 67, u - a = -18. Let f = u - -191/15. Which is bigger: f or 1?
1
Suppose 3*n = -4*i + 27, -3*i + 11*n - 15*n + 22 = 0. Suppose 246 - 96 = 5*x. Let h be (-16)/70 - i/x. Is h at least -1?
True
Let t(a) = -236*a + 4. Let s be t(1). Let r be s/(-60) - (0 + (-4)/(-20)). Is 3 != r?
True
Let f = -67/155 - -1/31. Do 2/3 and f have different values?
True
Let q = 228 - 228.3. Which is greater: 3.4 or q?
3.4
Suppose -267*v - 24240 = -227*v. Is -1819/3 >= v?
False
Suppose -4*t - 10*c + 9 = -13*c, 3 = -5*t - c. Is t less than or equal to 5/4?
True
Let o(z) = 19*z + 2. Let p be o(-2). Let v = p - -322/9. Let x = 0.03 - 2.03. Which is smaller: x or v?
x
Suppose -23*a + 99 + 269 = 0. Is a at most 18?
True
Let m be (-1 - 1/3)*837/6. Is -187 < m?
True
Let v = 1149.8 + -1150. Which is smaller: v or -20?
-20
Suppose -7*y + 748 = 769. Is -63/20 greater than y?
False
Let k(h) = 6*h - 3. Let g(l) = 12*l - 5. Let p(m) = 6*g(m) - 11*k(m). Let i be p(-3). Let w be (-1*(-8 + 4)*(-14)/(-2))/(-2). Which is smaller: i or w?
i
Let j(n) = -2*n**2 - 10*n + 10. Let a be j(-5). Let i be -5 - 5/a*-8. Is -8 greater than i?
False
Let w be (-23)/14*(-63)/9. Is -1 >= w?
False
Let y = -223 + 115. Are y and -110 equal?
False
Suppose 0 = 3*i - p - 4*p + 13, 0 = 4*p - 8. Which is smaller: -5/184 or i?
i
Suppose 8*k - 7*k + 114 = 5*j, 0 = 5*j - 5*k - 110. Is -10 >= j?
False
Suppose 19 = -40*z - 21. Are z and 3/737 unequal?
True
Suppose 2*x + 0 = -4*y - 16, 2*x = 2*y + 2. Suppose -2*z - 3*z = -5*m + 35, -4 = 2*m + 4*z. Suppose -3*b + 7 = j, 2*j - m*b - 5 = -7*b. Is j less than x?
False
Suppose 0 = 13*o - 1 - 12. Which is smaller: 6/115 or o?
6/115
Let m be -1 - (-2 + 10/22). Let o = -3.667 - -3.767. Which is greater: m or o?
m
Let b be ((-2)/(-2))/((-6)/30). Let q be 1 + 5/b - -2. Suppose -7 = q*s + 9. Is -8 less than s?
False
Let j be (-147)/35 - 3/(-15) - 3. Is j bigger than -29/4?
True
Suppose 60*v + 672 = 64*v. Suppose -v = -7*i + 126. Is 43 >= i?
True
Let m = 17.9872 - -0.0128. Let o = -0.6 + 0.3. Let f = o + 0.4. Are f and m nonequal?
True
Suppose k + 11 = -2*x, 0 = -k - 5*x - 36 + 10. Let y be (-3916)/27313 - 6/(-39). Is k at least as big as y?
False
Let n(h) = 3*h**3 + 2*h**2 - 3*h - 4. Let t be n(-2). Let i = t - -26. Let f be ((-40)/(-20))/(22/i). Is f at least as big as 0?
True
Let d be (-5)/18*7393/(-3385). Let x = d - -3/677. Let n = x - 10/9. Is n < -1?
False
Let z = -639 - -1892/3. Do -7 and z have the same value?
False
Let w(j) = -j**3 - 31*j**2 - 84*j + 7. Let t be w(-28). Are -4/3 and t nonequal?
True
Let d = 2.3 + -60.3. Let w = 54 + d. Which is bigger: -5 or w?
w
Let w = -2389 + 3551. Which is bigger: w or 1?
w
Suppose -5*l - 4 = -4*l + v, -3*l + 3*v + 18 = 0. Is -2/411 at most as big as l?
True
Let t = -157 - -472. Let c be (3*4/t)/((-36)/(-42)). Suppose 5*n = a + 2*a + 2, -5*n + 10 = 5*a. Is c > a?
False
Let f = 4.252 - 0.252. Which is smaller: -14 or f?
-14
Let y = 139 - 193. Is y > -105/2?
False
Let u = -19240/19 - -1013. Is 0 greater than u?
False
Suppose -4*i - 8 = -4*r, 0 = 2*r - 0*r + 5*i - 11. Let x be 0/((-1)/(r/3)). Is x at most -3/11?
False
Let r = 112 - 140. Are r and -25 equal?
False
Let i = 2808 - 2803. Which is greater: 3/5 or i?
i
Let o be -19 - -10 - 2*-41. Does 77 = o?
False
Suppose 2*m + 1 = -2*h + 5, -4*m = 3*h - 9. Let n be (-11)/(-11) - h/(-4)*3. Let i = -3 + 2.9. Which is smaller: n or i?
i
Let t = -47 + 50. Suppose -3*f + t*f = -6*f. Which is smaller: f or 2?
f
Suppose -6*u + 10*u + 7*g = -17, -3*u = -2*g - 38. Let l = 1 + -0.8. Which is bigger: u or l?
u
Let t = 2987/15 - 199. Let q = 15.3 + -16.1. Let j = 1 + q. Is j < t?
False
Let i = -106 + 106.07. Which is bigger: 3 or i?
3
Let d(c) = -30*c - 1080. Let p be d(-36). Is p greater than or equal to -5/791?
True
Let h = 153.02 + -156. Let n = h - -2.7. Let o = 2.72 - n. Which is smaller: o or 0.04?
0.04
Let o = -24 + 23. Let m be 2 - o - 95/20. Which is smaller: m or -3?
-3
Suppose -6*m = -m - 30. Suppose -1 = -5*h - m. Let c = 3 + -3. Is h <= c?
True
Let o = -0.7 - -15.7. Let q = 25 - o. Let w = -10.1 + q. Does 1 = w?
False
Let f be -9 - -6 - -13*1. Let a be (2/(-4))/(45/f). Suppose 3*w - 4*y = -19, -3*y + 17 = -5*w - 0*y. Is w greater than a?
False
Let k(a) = -3*a**2 - 1. Let l be k(-1). Let v(h) = 9 - 26 + 3*h - h**2 + 10 + 5. Let y be v(3). Which is bigger: l or y?
y
Suppose 22*i + 2 = 18*i - 2*m, 5*i = -3*m - 4. Is 7/29 less than i?
True
Let s = 13139/219 - 60. Is 5/2 < s?
False
Let v(l) = -10*l**3 + 3*l**2 - 2. Let y be v(2). Let p(g) = g**3 + 8*g**2 - 2*g - 8. Let z be p(-9). Is z <= y?
True
Let x(w) be the second derivative of w**4/12 - w**3/3 - 2*w**2 + 5*w. Let t be x(4). Suppose 5*k - 8 = -2*j, -k = -5*k + j - t. Which is bigger: 2/5 or k?
2/5
Let f = -309.8 - -309. Which is greater: -2/13 or f?
-2/13
Let q be (-183)/(-1220)*1/((-2)/8). Which is smaller: -1 or q?
-1
Let s(f) = f**3 - 5*f**2 - 7*f + 5. Let t be s(6). Let c be (-5742)/11224 - (-2)/8. Let 