1. Let t = -4.249 + 0.049. Let w = 4 + t. Is v <= w?
False
Let z = -28392 + 28390.724. Which is bigger: -0.2 or z?
-0.2
Let g = -1/38571 + -13191275/269997. Let k = -18119/371 - g. Is 2/7 less than or equal to k?
False
Let s = 28.3 + -28.2. Let g = -0.55 - 18.65. Which is bigger: g or s?
s
Let z(m) = m**2 - 8*m - 17. Let w be z(10). Let c be 4/w*(-54)/120*2. Let p = -0.203 - -0.403. Which is smaller: c or p?
c
Let l = 3903.74 - 3867. Let y = 36 - l. Is 2/3 at least as big as y?
True
Let r(x) = -x**3 + 3*x**2 + 11*x. Let p be r(5). Let g(o) = -o**2 + 3*o - 1. Let j be g(p). Let u = 282 + -290. Which is greater: j or u?
u
Let f(c) be the first derivative of c**4/2 - c**3 - 3*c**2/2 - 2*c + 13. Let h be f(3). Suppose 4*u + 4*l + 62 = 7*u, 0 = -4*u + 2*l + 76. Is h >= u?
False
Let k(o) = o**3 + 11*o**2 + 23*o - 9. Let j be k(-8). Let w be (-121)/(-2)*-2 + j. Is -122 equal to w?
True
Suppose 3*q + 6 = -3*i, 2*i + 12 + 10 = 4*q. Let z be (-289 - -293) + (-20)/2 + -1. Let j(w) = 5*w**2 + 35*w + 8. Let x be j(z). Which is smaller: x or q?
q
Suppose 39*c = 41*c + 18. Let v = -92 + c. Is v at least as big as -102?
True
Let h = -157.0206 - -0.0206. Let g = -104 - h. Is 2 at most as big as g?
True
Let h(w) = -271*w**2 + 106*w - 455. Let g be h(5). Are -6701 and g unequal?
True
Let c = -7 + 10. Let u = 259 + 236. Let r = -495.1 + u. Which is bigger: r or c?
c
Let v be 2/11 - 1086/6336. Let d be 5 - (-41 - 1 - 1). Let w = 48 - d. Which is smaller: v or w?
w
Let t = -0.058 - 168.942. Let p = t - -154. Which is bigger: -0.2 or p?
-0.2
Let l be (19/(3230/20))/8. Let z(a) = -a**2 - 12*a. Let b be z(-12). Does b = l?
False
Let n(k) = k**3 - 12*k**2 + k - 14. Let g be n(14). Suppose -9*r = 5*r - g. Suppose -3*w + 2*o = w + r, -7 = -w + 4*o. Is w equal to -9?
True
Let n = -2 - -4. Suppose -5*i = -4*x - 261, 10*i + 66 = -x + 11*i. Which is greater: x or n?
n
Let l = -69367500581 + 53967922720873/778. Let j = l - 9343. Which is bigger: 1 or j?
1
Suppose 5*v - 208 = 3*v - 2*y, 3*v - 5*y - 328 = 0. Suppose -2*t = -108 + v. Is 3/154 at most as big as t?
True
Let d = 0.0697 + 4.9263. Let p = -1.104 + 1.1. Let q = d - p. Is q at least as big as -0.2?
True
Let u be (-1)/(-3 + 0/(-4)). Let i = -5684 - -5631. Which is smaller: u or i?
i
Suppose 2*r + 2*r - 40 = 0. Suppose -14*b = -4*c - 19*b + 27, c + 5*b = 3. Which is bigger: r or c?
r
Let c(r) = -r**3 - 16*r**2 + 3*r + 4. Let k be c(-16). Let z = 20 + k. Let t be (2/(-6))/((-2)/z). Is -5 at most as big as t?
True
Let i be (4 + (-2 - 2))/(4/2). Is i < 8/403?
True
Let o be 2/(-28)*((-8541)/(-99))/13. Let q be (-4)/(-18) + (-53)/198. Let d = q - o. Is 0 <= d?
True
Let c = -107 - 14. Let f = 10355 - 10266. Let t = f + c. Is t at least as big as 1?
False
Let c be 5/(-780)*-4*-6. Let y be (-1)/(-3)*9/3. Let q be ((-8)/(-4))/(-2*y). Which is greater: q or c?
c
Let r be (2002539/63)/((-44)/(-24)). Which is greater: 17337 or r?
r
Suppose b + 28 = 5*c - 3*c, b + 24 = c. Let s = b + 22. Suppose 0 = -3*o + s*o + 4*w + 5, -3*o - 5*w = 2. Is -4/11 <= o?
True
Let w be -1*(-6)/4*7028*(-6)/36. Is -1758 < w?
True
Suppose -17*f - 1617 = -4*b + 547, -6 = 2*b. Are 28 and f unequal?
True
Suppose 0 = 35*v - 36*v + 5, -3*m = v + 415. Which is smaller: -7 or m?
m
Let m = -2.7467 - 0.2533. Is -0.356 at least as big as m?
True
Suppose k + 2 = 5*r + 2*k, 2*r + 2*k - 4 = 0. Let j(y) = 29*y + 6. Let l be j(-4). Is r at most as big as l?
False
Let z be ((-1174)/4)/(1/(-8)) - 0. Suppose -54*p + z = 5*l - 56*p, 4*l = p + 1876. Is 467 < l?
True
Let u be ((-2)/3)/(1/45). Suppose 0 = 4*n + m - 673, 45*n - 40*n - m - 839 = 0. Suppose 0 = -87*j + 93*j + n. Does j = u?
False
Suppose 3*q - 490 + 28 = 0. Suppose -4*j + 868 = -3*f, -3*j = -f - q - 127. Is f at most as big as -1?
True
Let x = -65/344 + -157357/1032. Let j = 29779/195 + x. Which is greater: 0 or j?
j
Suppose -c = 3*c - 16, -c = -4*k + 32. Suppose 5*o + 60 = k*o. Let y be -1*(-4)/(-72)*o. Is y at most as big as -2?
False
Suppose -4*l = 3*x + 3, -59*l + 60*l - 3 = 3*x. Which is smaller: l or 2/85649?
l
Let b = 7336 - 51353/7. Is b at least 46?
False
Suppose 0 = -17*c - 55 + 89. Let j be ((-72)/(-42))/((-27)/(-84)) - c. Suppose -2*t - 5*s + 18 = 0, 0 = 3*t - 8*t - 3*s + 26. Do j and t have different values?
True
Let f = 177906 + -6225746/35. Is f equal to 27?
False
Let c(w) = 15*w**2 + 17*w + 20. Let g be c(-1). Let r be -2 - 0 - 162/(-8). Which is smaller: r or g?
g
Suppose -53*x = -54*x - u + 1, -2 = 2*x - 2*u. Which is bigger: 5/86 or x?
5/86
Suppose 7197*d = 7216*d. Which is smaller: d or -1/1737?
-1/1737
Let d be 2/(-8) + (-51045)/60. Let y = 125/29658 - -933896137/1097346. Let j = d + y. Which is smaller: 1 or j?
j
Let d = 575 + -197. Let b = d - 369. Which is greater: b or 13?
13
Suppose -25 + 5585 = 12*n + 8*n. Which is bigger: 0.02 or n?
n
Let g = -30593 + 336521/11. Let u = 8.3 + -8. Which is greater: u or g?
u
Let b = -430 + 435. Suppose -4*z + 65 = -b*n, 3*z + 0*n = -n + 25. Which is bigger: z or 1?
z
Let a = 2766.14 - 2766. Is 4/29 equal to a?
False
Suppose -4*l + 260 + 184 = 0. Let o be (4/(-12))/((-3)/l). Let m = 13 - o. Is m greater than or equal to -4?
True
Let o be (0 - 2)*((-6769917)/(-846237) - 8). Are o and -1 equal?
False
Suppose 0 = -s + f - 128, 32*f - 33*f - 138 = s. Let l be -135 + (1/1 - -2). Do l and s have the same value?
False
Let s be ((-9)/(-39))/(1/(-10)). Suppose l - 3254 + 3228 = 14*l. Which is smaller: l or s?
s
Let b be 14/(-4) + (-45)/(-10). Let r = -43 + 22. Which is bigger: b or r?
b
Let p = 7/2 - 19/3. Suppose -13*y + 98 = 46. Suppose -2*o + h = 0, -y*o + 4*h + 12 = -2*o. Is p != o?
True
Let w(n) = n - 48*n**3 + 102*n**3 - 3*n**2 + 9 - 53*n**3. Let p be w(3). Is p >= 12?
True
Let x = -6970327/5 + 117877719/85. Let b = -7271 - x. Which is greater: -2 or b?
-2
Let l be 6*(5 + -8 + 766/256). Let c = 81 - 76. Let w(b) = -b**3 + 4*b**2 + 5*b. Let z be w(c). Are z and l equal?
False
Suppose -21*r - 22074 = -69564 - 27249. Which is smaller: 3558 or r?
3558
Let s(q) = -137*q - 682. Let m be s(-5). Let l be 1/4 - 30/(-8). Let g = -3 + l. Do g and m have the same value?
False
Suppose 133 = -5*j - 72. Let v = j - 40. Let p = v - -83. Is 24/13 greater than p?
False
Let b = -974 + 970. Let l = -1 + 4. Let u = b + l. Is u less than or equal to 35?
True
Let q be (8/(-80)*-12)/(13544/(-10)). Which is smaller: q or 0?
q
Let o = 319375 - 2240122/7. Which is smaller: -643 or o?
-643
Suppose 3*u - 306 = -4*t, 2*t - 4*u - 10 - 154 = 0. Suppose 0 = -19*a + 13*a + t. Let r be 3 + (a - 10) + (0 - 6). Is 10/19 bigger than r?
True
Let q(v) = -4*v + 6. Let u be q(5). Let k = -18956/9 - -2092. Which is greater: u or k?
u
Let s = -6214 - -6209. Which is smaller: s or 1/4?
s
Let h(c) = 201*c + 4028. Let l be h(-7). Is 10485/4 <= l?
False
Let p(v) = -v**3 + 2*v**2 + 5*v - 6. Let d be p(-5). Let g = d - 139. Does g = 0.4?
False
Suppose 315*c + 5185 - 4870 = 0. Let f = -5317 - -1924753/362. Do f and c have different values?
True
Let q(c) = 5*c**2 + 76*c + 20. Let k be q(-20). Suppose -20*t = -k - 500. Is 51 less than t?
False
Suppose -5*r + 5*c = 5, -6*r - 3*c = -r - 3. Let h be (362 - 361)*((-284)/98 - -3). Which is greater: h or r?
h
Suppose 10*w - 19*w = -18. Let m(v) = 71*v - 7. Let u be m(w). Is 135 at most u?
True
Let l = 38229 + -38229.2. Let y(u) = -u**3 - 2*u**2 - 4*u - 2. Let h be y(-2). Is h less than l?
False
Let i = -5.8472 + 60.8532. Let h = -55 + i. Let k = h - 45.006. Is 0 > k?
True
Let b = -18239 - -386926/21. Let p = b + -186. Let q = -20 - -20. Which is smaller: q or p?
q
Suppose -2*a + 4*o = 20, 10*a - 7*a + 3*o = 6. Let q be 2 + a + -1 - 0. Which is smaller: -12/137 or q?
q
Let m(u) = -22*u - 81. Let t be m(-4). Let d be 1 + t/(-3) - 1360/(-12). Is d equal to 112?
True
Let j = 3496 + -3498. Which is greater: -967 or j?
j
Let b be (-2 - 3) + (-43 - 12). Let f be -3 - (-21)/6 - (-6)/b. Is f less than or equal to -0.1?
False
Let x = 1016.62 - 1007. Let s = x - 5.62. Suppose 6 = -2*i - 6. Is i at most as big as s?
True
Let r be (29 - -3) + (-15)/3. Suppose -4*t = 21 + r. Is -12 smaller than t?
False
Suppose 5*i + 275 = -2*a, -4*i = -2*a + 199 + 39. Let n = -52 - i. Suppose 0 = f + 3 - n. Which is smaller: f or 5/2?
f
Let j(c) = -104*c - 2827. Let u be j(-27). Is u bigger 