t as big as u?
True
Let j = -528.091 - -0.091. Let o = -528.58 - j. Does -1/3 = o?
False
Let q = 15.8 + -78.8. Let z = q + 43. Which is smaller: 0.5 or z?
z
Let w(a) = -3*a**2 - 47*a + 73. Let l be w(-20). Is 2 not equal to l?
True
Let q = -6908 - -6991.916. Let f = q + 0.084. Are f and 1 nonequal?
True
Let b = -34349.9 + 34350. Let z = -1 + 0.98. Let g = z - -4.02. Do g and b have the same value?
False
Let x(t) = t**3 - 9*t**2 + 8*t + 8. Let l be x(8). Suppose l*v + 34 = -206. Let o be 6/(1 + v/35). Is 43 greater than or equal to o?
True
Let l = 48498 - 48451.881. Let m = 1.019 - l. Let r = 45 + m. Which is bigger: r or -10/7?
r
Suppose -90 = -8*r + 4*r + 5*g, -2*r - 5*g + 30 = 0. Is -49 <= r?
True
Let y = 627.9246 - 628. Let v = 0.0246 - y. Which is greater: -12 or v?
v
Suppose -3*c = -q + 8, 3*c + 12 = 5*q + 2*c. Let v(z) = 11*z**2 + z - 3. Let p be v(q). Let g = -44 + p. Is g smaller than 10?
True
Suppose -2*v + 35 = -n + 5, 4*n + 4*v = -144. Which is bigger: n or -89?
n
Suppose -3492 = -8*q - 1252. Let k = q + -369. Which is bigger: -92 or k?
k
Let h = -263 + 2371/9. Let s = 84 - 88. Let w be ((-13)/(-39))/(1 + s/6). Is w less than or equal to h?
False
Suppose 0 = -799*y + 800*y + 1, -5*y = -2*p + 22991. Is 11493 less than p?
False
Suppose -2247 = -51*k - 43909 - 199772. Which is smaller: -4736 or k?
-4736
Let r = -11482 + 11482.2. Which is greater: r or 7.89?
7.89
Let h(i) = i**2 + i - 2. Let y(k) = 10*k - 1. Let b(d) = 5*d - 1. Let c(g) = 5*b(g) - 3*y(g). Let u be c(0). Let l be h(u). Does l = -4/5?
False
Let o(p) = -728*p - 110. Let h be o(2). Which is smaller: 2/5 or h?
h
Let w = -1.65 - -0.65. Let p = -0.5265 + 576.5265. Which is bigger: p or w?
p
Let d = 1.393 - 1.4. Let k(z) = 6*z + 25. Let t be k(-5). Let b be -1*(-2)/10 + t/(-100). Is d greater than b?
False
Let t be (-42)/(-4) - 1/(-2). Suppose 0 = -3*a - 5*i + 19, -4*a = 4*i - t - 9. Suppose 4*q + 8329 = 5*f + 8336, 4*q - 47 = -3*f. Which is bigger: f or a?
f
Suppose 8*o - 197 = -13. Let x(u) = -u**2 + 19*u + 87. Let c be x(o). Is c < -16?
False
Let f = 4.632 + -4.432. Which is greater: f or -11?
f
Let p(o) = -o**2 + 12*o - 23. Let d(h) = -10*h**3 + 2*h**2 - 1. Let r be d(-1). Let g be p(r). Let y = 8 + -19. Is g != y?
True
Let j be ((-2)/3)/(5/30*-2). Suppose 0 = -j*m - 33 + 37. Let p = -13667/9 - -1517. Is p at most m?
True
Let g be (-6)/(-585)*1407/1204. Let z = 5/86 - g. Is z < 0?
False
Let w(d) = 55*d - 4511. Let x be w(82). Let g be 1/6*48/(-534). Which is bigger: g or x?
g
Let r = -199 + 333. Let z = r - 122. Suppose -4*t - 4*v - z = 0, -3*t + 3*v + v = 23. Is -8 at least t?
False
Let y = 1046280311603/15086 + -69354390. Let p = -3/794 - y. Which is greater: 0 or p?
p
Suppose -45351 = -4*h + t, 58*h - 56*h + 5*t - 22725 = 0. Is h <= 11341?
True
Let a(m) = -m**3 - 41*m**2 - 52*m - 239. Let h be a(-40). Let v(r) = -60*r + 2. Let j be v(-4). Is h equal to j?
False
Let n = 23858 + -20427. Which is bigger: -3 or n?
n
Let r(l) = 2*l**2 + 7*l + 79. Let b be r(12). Suppose 0 = 4*c + 20, 4*c + 81 - b = -3*j. Which is smaller: 131 or j?
j
Let k be ((-100)/(-5))/5 - 0. Suppose 5*y - 11 = k*y. Suppose -y*v + 12 = -5*v. Are v and 2 non-equal?
False
Let m = -8335/22308 - -137/572. Which is smaller: -1 or m?
-1
Let k = 1337 - 1397. Is -0.2 less than or equal to k?
False
Let p = 2.29945 - 0.29945. Which is smaller: 1022 or p?
p
Let x = -39259 - -39593.21. Let t = x - 332. Which is greater: 2/3 or t?
t
Let n = -0.907 + 0.131. Let v = 0.706 + n. Is v at least -0.3?
True
Let q be -67*(-1 - 2)*(3 + 0 - 2). Is 154 not equal to q?
True
Let f = -10.3 + 174.3. Which is smaller: f or 14?
14
Let r = 7523/2 - 3761. Which is greater: -2/211 or r?
r
Let k = -97.954 + -0.046. Let c = k - -98.3. Is c != -3?
True
Let g(j) = j**3 + 9*j**2 - 11*j - 10. Suppose 13*d + 54 + 76 = 0. Let b be g(d). Which is greater: b or 3/124?
3/124
Let t = 9709016/4800393 - 4/53937. Which is bigger: 1 or t?
t
Let l = -338942822/9983 + 33952. Is 1 smaller than l?
False
Let k(n) = 96*n - 4365. Let f be k(0). Which is greater: f or 0.1?
0.1
Let m = 1336.2 + -1332. Which is bigger: m or -2?
m
Let y(l) = 19*l - 5. Suppose 2*h + c + 6 = 0, 6*h - c = 3*h - 9. Let s be y(h). Let p = s - -70. Is -0.9 greater than p?
False
Let g = 30.383 - 30.37. Which is smaller: 23 or g?
g
Let j be (((-5)/30)/((-4)/(-12)))/((-18)/36). Is j greater than or equal to 63/46?
False
Suppose 105 = -2*d - 5. Let y = d + 59. Suppose -3*g - y*j = -2*j - 4, -2*g + 3*j - 19 = 0. Is g <= -2/5?
True
Let d = 167 - -12. Let l = 164.5 - d. Is -2/5 greater than or equal to l?
True
Suppose 6*q - 4*q = -a + 11, q = 2*a - 7. Suppose 0 = -3*k - 0*b - 3*b + 12, 11 = -4*k + a*b. Suppose 0*y - k = -y. Are y and 2/7 nonequal?
True
Let t be (18/54 + (-2)/12)*-8 - -2. Which is smaller: -189 or t?
-189
Let b(l) = -2*l**3 - 21*l**2 - 29*l + 43. Let r be b(-13). Suppose 2*h + 43*w = 44*w - 834, -r = 3*h - 5*w. Which is smaller: -414 or h?
h
Let q = 43 + -46. Suppose 0 = 5*j - 2*j + 3. Let y be q - (8*-1 + j). Is 20/3 greater than or equal to y?
True
Suppose -10 = -2*z, 1055 = 4*x + x + 2*z. Suppose -4*l = -5*k + x, 2*k = -3*l + k - 171. Let g be l/(-88) - 4/(-22). Which is smaller: 1 or g?
g
Let c be 207/15*((-2708)/(-900) - 0 - 3). Which is smaller: -1 or c?
-1
Let u(n) = n**3 + 31*n**2 + 37*n - 21. Let t be u(-30). Let c = 43 - 276. Which is bigger: t or c?
t
Let h = 0.1 - 0.3. Let d(j) = j**3 - 126*j**2 + 936*j + 894. Let g be d(118). Is g greater than or equal to h?
False
Let t = -23317.6 + 23318. Which is smaller: t or 1.372?
t
Suppose 644*a - 318*a - 314*a - 22212 = 0. Is a at most 1851?
True
Suppose 2*u - u - 5*o = 0, 14 = -u - 2*o. Let n be 12/312*u/2. Which is bigger: 1/4 or n?
1/4
Let t(h) = 913*h + 6392. Let r be t(-7). Are r and 2/51777 nonequal?
True
Let m(f) = 23*f + 17. Let h be m(8). Let b = h - 154. Is b at most 45?
False
Let b = -13 + 22. Suppose o = -b*o - 6*o. Which is bigger: o or -28/51?
o
Let q be (-54)/252 + 3/6. Is 560 <= q?
False
Let g(o) = 26*o - 1. Let q be g(-8). Let y = -949838/9 - -105329. Let b = q - y. Which is smaller: b or -1?
-1
Let r be -17 + (4*25/20 - 0). Let v be (22/10)/(r/(-15)). Which is smaller: v or 4?
v
Let t(r) = -44*r + 26. Let d(h) = -2*h - 1. Let k(v) = 3*d(v) + t(v). Let o be k(2). Are -76 and o non-equal?
True
Let t = -0.082 + 0.001. Let a = t + 0.181. Is a > 3/23?
False
Let y = -13 - -8. Let m = -469/334 + -16/167. Is m >= y?
True
Let b = 13 - 8. Suppose -3*x - b*a - 67 = x, 72 = -4*x - 4*a. Let c be -4 - (x - -3)/5. Is c at most as big as -3/46?
False
Let w(g) = g**3 + 12*g**2 + 4*g - 8. Let l be w(-11). Let s be 36*((-24)/(-8) + (-204)/l). Is s equal to 2?
False
Suppose 57*a + 30*a = -2*a - 58*a. Which is bigger: 1/7719 or a?
1/7719
Suppose 47*w = 22441 - 101542. Which is smaller: -1675 or w?
w
Let s = 5733 + -5037. Which is smaller: 695 or s?
695
Let u be 561784/(-44) + 54/(-297). Do u and -12768 have the same value?
True
Let k = 602 + -679. Let q = k + -12. Which is bigger: q or -2?
-2
Let v be (-84 - 1)*((-27)/(-15))/(-3). Suppose 3*l = -4*b - v, 0*b = -b + 2*l + 1. Which is smaller: -60/7 or b?
b
Let z be -1679*1*40/(-616). Let a = 109 - z. Suppose 4*k - 1 = 3. Which is greater: k or a?
k
Let m(w) = w**3 - 9*w**2 + 12*w + 19. Let p be m(7). Suppose 0 = -p*k - 314 + 194. Which is bigger: 2 or k?
2
Let i be (-20)/70 - 8/21. Let l = 261 + -159. Let n = -102 + l. Which is greater: n or i?
n
Let b = -246 + 247. Let z be b + 0 + (4 - 486/10). Which is greater: z or -45?
z
Let g = 3633 + -3645. Which is smaller: 651 or g?
g
Let z be ((-5475)/(-12264))/((-10)/(-8)*1). Suppose -a - 2*a = 0. Is a < z?
True
Let t be ((-15)/90)/((-13)/387) + -5. Let f = 7 - 1. Suppose f*u = 2*u. Is t less than or equal to u?
True
Let o = 122 + 1308. Let x = o - 21466/15. Let m = 2 - 4. Is x equal to m?
False
Let b be 5262/1770 + (-14 - -11). Are b and -1 equal?
False
Let b = -17684/3 - -34660649/5880. Which is greater: b or 0?
b
Suppose 3*b = -2*d + 32, -5*b + d + 49 = -0*d. Let x be 56 + b + 4/2. Suppose y - 21 = i, 2*y = -y + 4*i + x. Is y at least as big as 17?
False
Let r = -922 - -189008/205. Let b be (-3)/(-12)*248/62. Is r at least b?
False
Let d(r) = -r**2 + 10*r. Let u(a) = 5*a**2 - 51*a. Let y(s) = 11*d(s) + 2*u(s). Let l be y(8). Is