 t and 0 nonequal?
True
Let k = -88.94 - -89.94. Which is smaller: -207 or k?
-207
Let w = 620.7 + -588.7. Is w at most as big as -0.01?
False
Let a(o) = o - 3. Let p be a(2). Let j be ((-2)/(-4))/(27/1188). Let l be -22 + j - (p - 1). Which is smaller: l or 0.07?
0.07
Suppose -2*t = 4, 65 = 5*g + t - 608. Is g less than 140?
True
Suppose 3*v - 376 = -3*t + 8*v, 4*t - 443 = -5*v. Suppose 114*z - t = 101*z. Which is smaller: 5 or z?
5
Let o = 22684 + -22520. Which is bigger: 88 or o?
o
Let u(x) = 26*x + 102. Let i(r) = -21 - 9*r - 23 + 10. Let l(o) = 11*i(o) + 4*u(o). Let q be l(-8). Which is bigger: q or 0.2?
0.2
Let r = -9904 - -9907. Which is greater: -0.212 or r?
r
Let z = 0.19 + 1.41. Let u = z + -2.6. Let x = 1280.049 - 1280. Do x and u have the same value?
False
Let v = -13045 + 19084. Which is smaller: v or 6038?
6038
Let v be (2528/(-28))/(-4) - 120/210. Suppose l + 4*x - 3*x = 6, 4*x = 12. Suppose -l*o + 23 + 37 = 0. Which is smaller: v or o?
o
Suppose 10 = -5*l - 0*l. Let w be (3930/22)/5 + 1. Let r = -38 + w. Does l = r?
False
Let u = -112 - -1459/13. Let l(q) = -q**3 - 8*q**2 + 2. Let c be l(-8). Suppose h + h = -y + 3, -3*y + 5 = c*h. Is u equal to y?
False
Suppose -6055 = 3*s + 2843. Let i = 240250/81 + s. Are i and 1 unequal?
True
Suppose -10*j = 54*j - 23563 - 38197. Which is smaller: j or 3857/4?
3857/4
Suppose 2*u - 243 = -k, 3*u + 1215 = -12*k + 17*k. Suppose -2*z = 257 - 741. Is k smaller than z?
False
Let r(x) = -38*x + 1397. Let i be r(-5). Are 1584 and i equal?
False
Let d(c) = -438*c + 7542. Let r be d(11). Which is greater: 2725 or r?
2725
Let h(z) = z**2 + 100*z + 2330. Let y be h(-63). Do y and -1551 have the same value?
False
Let n = 0.1385 + -0.1385. Let l be 127*(-1 + (-2 - -4)). Let f = 891/7 - l. Which is smaller: f or n?
n
Let d = 315936 + -1270667/4. Let z = -1741 - d. Let p = -1 - -1. Does p = z?
False
Let s be (-161073)/171820 - 14/(-77). Let m = -9298 - -3300792/355. Let n = s + m. Is 2 <= n?
False
Let u = -17512 - -437788/25. Is 1 less than u?
False
Let b = 6808 - 6815. Is b != 1/656?
True
Suppose -i - i = 208. Let s be (24/(-32) - 34/(-8))*-30. Is i > s?
True
Let s = -10.8 - -11. Let v = s - 2.5. Let p = v - -3.3. Which is smaller: p or 1/25?
1/25
Let y(o) = -51*o - 96. Let k be y(-2). Let j(p) = 6*p**2 + p**2 - 2*p - 4 + 0*p**2 - 6*p**2. Let b be j(4). Which is greater: b or k?
k
Let q = 1465 - 29289/20. Let c = -2961/20 - -148. Let z = c - q. Are -2/17 and z unequal?
True
Suppose -22*i + 1187 = -32*i - 4483. Is i greater than -566?
False
Let u be (35/5 + 3)*(-2)/(-4). Suppose u*d - 25 = 6*d + 4*i, -4*d + 5*i = 100. Is -25 bigger than d?
False
Let j(k) = 3*k**2 - 9*k + 36. Let q be j(-9). Let r be (-1169)/(-8655) - 48/q - 0. Which is smaller: 0 or r?
0
Let b = 62.3 - 82.3. Which is greater: -2.97 or b?
-2.97
Let h(t) = t**2 - 3*t + 9. Let q be h(3). Let o(y) = -y**3 + 9*y**2 + 6*y + 15. Let w be o(q). Let r be w/(-9) + 7/(21/2). Which is bigger: -5 or r?
-5
Let m(b) = -118*b + 2959. Let i be m(31). Which is smaller: i or -693?
i
Let p = -9784/3 - -2920. Let u = p + 342. Which is bigger: u or -414?
u
Let s be ((-4)/(-78))/(18/162*-3). Are s and 952 non-equal?
True
Let n be (113214/14)/(((-108)/8)/9). Let o = 5379 + n. Are o and -13 nonequal?
True
Let x = -259 - -185. Let n = 73.9773 + x. Is n >= -1/3?
True
Let z(w) = 2*w**3 + 15*w**2 + 3*w - 10. Let o be z(-8). Let d = o + 145. Is d < 47?
False
Let v = -784 - -511. Let h = -130 - v. Let s = 142.9 - h. Are s and 15 unequal?
True
Let i(v) = -5*v + 5. Let c(t) = -t - 14 + 2 + 10. Let x be c(0). Let q be i(x). Is q equal to 0.1?
False
Suppose 0 = -70*y + 614 + 2046. Which is smaller: -12 or y?
-12
Let o = -27 - -105. Let y be (-2)/(-6) - (o/(-9) + 4). Suppose -3 = -5*a - 8, y*u + 25 = 5*a. Is -2 >= u?
True
Suppose 15 = -21*b + 99. Suppose 224 = -4*w - 4*l, -9 = -w + b*l - 45. Which is smaller: -50 or w?
w
Let r be 16/(-12)*3 - -3. Let k be -3 + r + 11 - -1*1. Is k > 1/10?
True
Suppose -127*h - 7312 = 7293. Which is smaller: h or -87?
h
Suppose -3*d = 4*d + 5644 + 2371. Is -1145 at most d?
True
Suppose -5*f + 206 - 66 = 0. Suppose 0 = -f*o + 25*o + 15. Suppose o*i - k + 20 = 0, k - 8 = 2*i + 3. Which is greater: i or -14/9?
-14/9
Suppose 23*c = -13*c. Let v be 288/14*(-8)/(-32). Let z = v + -187/35. Does c = z?
False
Suppose 176*r - 91*r - 52*r = 0. Which is smaller: -0.05323 or r?
-0.05323
Let x = 20006.9 - 20007. Which is smaller: 10303 or x?
x
Suppose 16*y + 60 = 188. Let f be (3/6)/(y/(-1312)*-14). Which is greater: 0 or f?
f
Let c(t) = -t**3 + 5. Let v be c(0). Suppose v*m - 5*z + 29 = m, 2*z = m + 8. Let g be ((-60)/(-42))/(m/(-7)). Which is smaller: 2 or g?
g
Let a be (-27)/18*3730/(-15). Let w = 505 - a. Is 132 at most as big as w?
True
Let j(o) = -35*o + 5026. Let w be j(158). Is w at most -504?
True
Let o be ((-3)/2 - (-65)/10) + (2 - 27). Let b(z) = -z**3 + 5*z**2 - z + 7. Let y be b(5). Let g be -4 + y + 1 + -20. Which is smaller: g or o?
g
Let g = 2721.1 + -2721. Let n(h) = -h**3 - 3*h**2 - 3. Let k be n(-4). Which is bigger: k or g?
k
Let s = -111 + 33. Suppose a + 18 = -4*x, -3*x - 12 = 4*a - 2*x. Is a at most as big as s?
False
Let r(q) = -q - 11. Let l = -21 - -35. Let g be r(l). Let p be (-115)/g + (-2)/(-5). Which is smaller: p or 1?
1
Let t = 165 - 185. Let w be (-45)/(-1)*(-3 - 68/t). Which is greater: w or 14?
w
Let q(b) = -158*b**2 + 382*b - 3422. Let t be q(9). Which is smaller: -12783 or t?
-12783
Let z = -330 + 645. Suppose -7*h = -z + 595. Which is smaller: -2 or h?
h
Let v be 6 + 1 - (8 + (-9)/9). Does v = 85/83?
False
Let m = 36 + -38. Suppose -2*o - 56 = -r - 6*o, -2*r - 4*o = -108. Let f be 1 + -1 - 14/r*2. Which is smaller: f or m?
m
Let t = -3.2 - -10.2. Let y = t - 6. Is -17/6 bigger than y?
False
Let v be 0 - 0 - (-15)/2202*2/10. Do 0 and v have different values?
True
Let h be (-46)/(-4)*(-120)/(-624) + -2. Is h smaller than -1?
False
Let g = 556 + -557. Let s(z) be the second derivative of -5*z**4/4 + z**3/3 + z**2 - z. Let b be s(g). Which is smaller: -1 or b?
b
Let d = 0.64 - -0.36. Let i = -6.97458 + 0.05658. Let j = 0.082 - i. Which is greater: j or d?
j
Let a(h) = -h**3 - 8*h**2 - 6*h + 4. Let y be a(-8). Let z = y - 8. Suppose -z = w + 3*w. Is -11 != w?
False
Let u(r) be the first derivative of -r**2 + 22*r + 183. Suppose 0*v = v - 11. Let b be u(v). Which is bigger: -1/9 or b?
b
Suppose 162 = 5*w - 3*n, 5*w = 2*n + 224 - 61. Suppose 3*m - w = -b + 2*b, -2*m + 17 = b. Suppose -4*r + 4 = 2*s - m, 0 = 2*r - 6. Which is bigger: 1/10 or s?
s
Let g = 278.378 + -279. Let d = -0.592 - g. Is d not equal to -1.9?
True
Let t = -3271/666 + -21540227/12654. Let i = t - -1706. Which is smaller: i or -1?
i
Let u be ((-2)/5)/((-1)/120*2). Let o be (-3 + (-162)/u)*(-2)/9. Does 1 = o?
False
Let b = -17701596398858/21539 - -821839287. Let o = 2/1267 - b. Is o less than or equal to -0.05?
True
Let j be ((-5)/(-2))/((-90)/(-504)). Let v(w) be the first derivative of -w**2/2 + 25*w + 1. Let c be v(j). Is 12 > c?
True
Let q be (-2 - -1)/((-8)/32). Let h be (-15)/12 + 10/q. Which is smaller: 1 or h?
1
Let q = -4 + 7. Let n = 50 - 30. Suppose 5*u + 3*a - 62 = -n, -14 = u - 5*a. Does u = q?
False
Let q = -346920955/2946 - -117760. Which is smaller: 0 or q?
0
Suppose 14 = -2*h - 2*d, -92 + 83 = 3*d. Is -3 > h?
True
Let t be 88/42 - (-7 - (-1341)/189). Let g be (-3)/(-9) - 17/(-3). Suppose 0 = 4*k - t*k + g. Which is smaller: k or 1?
k
Let s = -199 - -198. Suppose 2*q - q - 4*n = 222, -4*q + 964 = 3*n. Let h be (-4)/(-2)*(-7)/q. Is h at most as big as s?
False
Let h = 10 - 13. Suppose 38 = -3*t + 47. Suppose -2 = -5*p - t*v + 11, -1 = -p + v. Is p greater than h?
True
Let c(f) = -f**3 + 2*f - 2. Let o be c(3). Suppose -129*r + 84*r = 1080. Which is smaller: r or o?
r
Let z = -45.77307 - 0.22693. Are z and -81 unequal?
True
Let h be (10 - -1)/((-9)/77). Suppose 123*t - 127*t = 376. Let l = t - h. Is 1 <= l?
False
Let r(a) be the second derivative of 3*a**3/2 - 8*a**2 + 43*a. Suppose 0 = -2*p + 3 + 3. Let x be r(p). Is 2/3 <= x?
True
Let l = -339252302/115 + 2948160. Let a = l - -1860. Is 1 bigger than a?
True
Let k = -9/2 - -13/4. Suppose -15*d = -17*d - 8. Let p be (9/(-3) - (-1 - 4))/d. Is p at most k?
False
Let y be (0 - 0)/(72 + -75). Wh