lue?
False
Let p(l) = 571*l - 39. Let o be p(5). Is 2817 less than o?
False
Let i = 14287/76 + -188. Is 8 > i?
True
Let q = 396 - 37. Let k = -362 + q. Are k and 0.37 non-equal?
True
Let t = -100 + 168. Let r = -69 + t. Let g = -9137/102 + 269/3. Is g smaller than r?
False
Suppose 0 = 274*y - 319 + 45. Is y less than -2/99583?
False
Let a = 1997596/315 + -57266/9. Is -20 >= a?
True
Let w = -0.648 - -0.748. Does 375 = w?
False
Let h = -9053440/603 + 15014. Which is smaller: h or 1?
h
Suppose 4*c + b = -0*b - 17, 0 = -4*c - 3*b - 27. Let r be (c + (-33)/(-9))/(2/72). Is 208/9 bigger than r?
False
Let z = -36102 - -578181/16. Which is smaller: z or 34?
34
Let m(g) = -2*g**2 + 18*g - 4. Let k(s) = -3*s**2 + 19*s - 3. Let j(p) = 3*k(p) - 4*m(p). Let t be j(-14). Suppose t*l - 2 = 20*l. Which is smaller: 20 or l?
l
Let p = -339 - -245. Let z = p - -93.4. Let u = 4 + -8. Which is greater: z or u?
z
Let l be (-4 + (-68)/(-18))*((-6)/(-110))/1. Which is smaller: 1.4 or l?
l
Let l = -4626 + 4393. Which is bigger: l or -220?
-220
Let j = 197/32786 + -9/338. Let f be (14/(-6))/((-140)/120). Is j < f?
True
Let b = -0.24 + 64.24. Let p = -64.6 + b. Let r = p + 0.6. Is r less than -1?
False
Let y = -0.05 + 8.05. Let t = 398.1 - 386. Let d = t - 15.1. Is y greater than d?
True
Suppose 2*x + 16 = -2*x. Let q be 3*x/450*(-3)/(-4). Which is smaller: q or -1?
-1
Let r = -3006061 + 228456845/76. Let m = 191 - 565/4. Let q = r + m. Are -1 and q nonequal?
True
Let w = -526 + 496. Let u be 187 - 18/w*5. Do 189 and u have different values?
True
Let p(n) = n**2 + 6*n + 5. Let r be p(-5). Let u = -31 - -39. Suppose r = -16*w + 12*w - u. Which is smaller: w or 2/5?
w
Let q = -350833/146 + 2403. Which is smaller: -1 or q?
-1
Let g = -0.0893 + -0.6961. Let t = 0.0146 - g. Is 3/2 at least t?
True
Suppose -5*z + 23 = 3*q, -46*q + 5 = -49*q + 2*z. Which is smaller: 49/318 or q?
49/318
Let j(o) = -5*o + 63. Let k be j(13). Let w = 21 - 43/2. Let m = -1 - w. Which is bigger: k or m?
m
Suppose 0 = -8*i + 1072 - 128. Let x = 1302/11 - i. Let t = -3 - -5. Which is smaller: t or x?
x
Let u be ((-6)/(-34))/(2 - 1). Let a(z) = -6*z**3 - 5*z**2 - 7*z - 9. Let p be a(-3). Let i = p - 128. Which is smaller: u or i?
u
Let v = -3508.02 - -3508. Which is smaller: -114/11 or v?
-114/11
Let p = 7099 - 7070. Which is smaller: p or 23?
23
Suppose 0 = -21*u - 7*u - 3108. Suppose q + 545 = -4*q - 5*x, 4*q + 5*x + 435 = 0. Which is greater: u or q?
q
Let n(b) = b**3 - 40*b**2 - 9*b + 330. Let r be n(39). Is -1541 smaller than r?
False
Suppose 0 = 2*h + 3*f - 1 - 8, -f + 3 = -h. Suppose h = -a + 2, 46*o = 49*o + 2*a + 200. Which is bigger: o or -69?
o
Let b = -4803.5211 - 4.4789. Is b not equal to 2?
True
Let m be 17270/42925 - (-126)/(-210)*(-4)/(-6). Which is greater: 0 or m?
m
Let n be (-16)/21 - (-108)/252. Let j be ((-10)/15 - 0/1)*-102. Let d be (-6 - -2)*(-6)/j. Which is smaller: n or d?
n
Let z = 58 - 33. Suppose -4*t + g + 25 + z = 0, 20 = 2*t - 3*g. Suppose -9 = -d - 5, 3*m - t = -4*d. Is m < 5/14?
True
Let o be (-14)/((-28)/18) + -440. Let q = o + 431. Is -4/61 at least as big as q?
False
Suppose q - 2*k - 991 = 0, 4*q - 3*k = 6*q - 1947. Suppose 3*o + 255 + q = 0. Let j = 6176/15 + o. Are j and 0 non-equal?
True
Suppose 5*o = 5*c - 515, 183*o - 179*o = 2*c - 206. Which is greater: c or 720/7?
c
Let d = 2164/45 + 11/45. Let x = 48 - d. Let k = 1351 - 1351. Is x less than or equal to k?
True
Let z be -29 - -558 - (-3 + 27)/(-3). Is 537 smaller than z?
False
Let y = 284 + -285. Let x be (-24)/(-18)*(142/4 + y). Suppose a - 52 = 6*n - n, 2*a + 3*n - 91 = 0. Which is bigger: x or a?
a
Let p be ((-1)/2)/(7/(-84)) - 1. Suppose 53 = 3*n + 4*k, -k + p*k + 24 = 4*n. Which is greater: 35/3 or n?
35/3
Let v be (7880/(-45))/(-4) - (-6)/27. Let i = -486/11 + v. Is -42 less than i?
True
Let k = 0.0348 + -34.1348. Let u = k - -42.1. Let v = -0.05 - -0.15. Is v at least u?
False
Let u be (-114)/2 - (-8)/(40/(-25)). Let l(c) = -21*c + 167. Let w be l(11). Which is smaller: w or u?
w
Let p = 1/541 - 579/20558. Suppose 0 = -16*u - 29 - 211. Let s be 0 + 4 - (u/3 - -8). Which is smaller: p or s?
p
Suppose 12*v = -2*v + 322. Let s be 5 - (-7)/((-35)/v). Let k be ((-9)/1)/(15/(-10)). Is k less than or equal to s?
False
Suppose -4*p - 3*s = -40, 646 = 4*p - 5*s + 574. Let r = -16 + 11. Let z be (3 - (-2 - r))*-1. Is z greater than or equal to p?
False
Let s(o) = 7*o + 11. Let q(j) = j. Let r(g) = -10*q(g) + 2*s(g). Let l be r(0). Let a be (-5)/10 - l/(-4). Do a and 8 have the same value?
False
Suppose -5*o = -o - 68. Let f(l) = l**3 - 16*l**2 - 21*l - 67. Let w be f(o). Is w greater than or equal to -134?
False
Let n(a) = 12*a - 2. Let c be n(-3). Let g be c/(-70) + -2 - -3. Let m = 15/7 - g. Which is smaller: -4/3 or m?
-4/3
Let m(d) = 3*d**2 + 42*d - 8. Let f be m(-14). Let p be 8 + (-1 - f) + -61. Which is smaller: p or 2?
p
Let d = 9 + 18. Let k(w) = 3*w**2 + 49*w - 7. Suppose 5*f - 8*f + n - 51 = 0, -3*f = 3*n + 51. Let a be k(f). Is d at least as big as a?
True
Let k(f) = 7*f - 7. Let x(a) = a**3 - 2*a**2 + 3*a - 1. Let n be x(2). Let o be k(n). Let h = -1/42 + -19/84. Is h >= o?
False
Let v be 14/(1960/1250)*(-3 + 1). Let q = 74.9 + -75. Which is bigger: v or q?
q
Let s = 29726 + -29677. Which is bigger: s or 0.11?
s
Let y = -16.62 + 22.62. Let n = -3.1 - -3. Let s = 2.9 - n. Do s and y have different values?
True
Let s = -115 - -129. Let y be (12/s)/((-1)/(-14)). Suppose -y*g = -12 - 0. Which is bigger: 3/44 or g?
g
Let x = 71 - -137. Let u = x - 120. Which is greater: u or 177/2?
177/2
Suppose 20 = -2*h + 5*j, -h - 2*h = j + 30. Let g be -6 - h - (0 + 10). Let m be 4/(13/g - -2). Which is bigger: m or -23?
-23
Let d be ((-8)/7020*98)/(1/332). Let z = d + 482/13. Which is bigger: -1 or z?
z
Suppose -726*b + 243 = -735*b. Is -3/22 <= b?
False
Let a(l) = -5*l**2 + 36*l - 49. Let g(i) = i**2 - 9*i + 12. Let y(r) = 2*a(r) + 9*g(r). Let q be y(-9). Suppose 10 = -0*h + q*h. Which is smaller: h or 1/2?
1/2
Suppose 7*z - 18987 - 4319 = 1880. Is 0 less than z?
True
Let r be (9/(-8))/(24/(-928)) + 38/76. Let y be 2/6 + 248/12. Suppose 2*c + 5*h = 93, -c - 5*h + y = -28. Is r greater than or equal to c?
True
Let k = 62 + -61.8. Let x = 8228/1729 + -90/19. Which is smaller: x or k?
x
Let g(m) = 5 + 24*m - 7*m - 4*m. Let z be g(-2). Let y be (z/30)/((-3)/5). Which is bigger: y or 0.1?
y
Suppose 8*a - 7*a + 2 = 0. Let v be 1 + (-9 - a) + 5. Is v != -7/29?
True
Let i = -3921 + 5193. Which is greater: i or -0.1?
i
Suppose -6*f - 23 = 1. Suppose 2*h + 1 = 9. Let a be h/(-12)*12/f. Which is bigger: a or -3/16?
a
Let m = -4631 + 41645/9. Is m at most -2/9?
True
Suppose j + 4 = 3*c, 3*c = -2*c. Let a be (2/j)/(-2 + (-143)/(-72)). Let k be 5/22*a - 12/66. Which is smaller: k or 7?
7
Let u = 0.4 - 0.18. Let c = -0.21 - u. Is -2 >= c?
False
Let x be (2 - 2) + (0 - 0). Let v = 31904/8385 + -748/195. Which is bigger: v or x?
x
Suppose 37 = 3*c + 4*a, 0*a = 3*c - a - 62. Suppose -c + 5 = -r. Suppose -t - t = -w + r, t + 17 = 3*w. Which is greater: w or 0?
w
Let l = -60 + 55. Let a(r) = -21*r - 106. Let g be a(l). Which is greater: -20/13 or g?
g
Let x = -70 - -70. Let z(j) = j**3 - 8*j**2 - 7*j - 6. Let s be z(9). Let m = s - 7. Is m at least as big as x?
True
Let q be (132/(-14) + 88/(-22))*(-7)/8. Is q less than -0.003?
False
Suppose 2*n - 5*g = -6*g + 7, -29 = -4*n - 5*g. Let s(x) = 2*x**3 - 2*x**2 + x. Let f be s(n). Which is bigger: -1/151 or f?
f
Suppose -3*t + 831 - 210 = 0. Suppose 20*g = -28*g + 31*g + 3502. Is g greater than or equal to t?
False
Let c be 0 + (39 - -1) + -6 + 3. Suppose 0 = -a + 4*h - 33, 0 = -a + 2*h + 14 - c. Which is bigger: -7 or a?
-7
Let q be (-430)/(-301)*(-2 + 16/10). Is q at least -1/54?
False
Let b = 1 - 0. Suppose -49*q = -66*q - 51. Let u be 3904/(-80)*(-10)/164 + q. Is b smaller than u?
False
Let i(u) be the second derivative of u**4/12 + u**3/3 + u**2/2 + 7*u. Let q be i(-1). Suppose -3*h + q*h = -6, 0 = -3*d + 3*h - 27. Which is greater: -11 or d?
d
Let t = 4581/64 - 102454193/1431360. Is t > 0?
False
Let r(a) = -a**3 + 15*a**2 - 9*a - 20. Let h be r(15). Let t = h - -149. Which is smaller: -35/6 or t?
t
Let c(s) = s**3 - s**2 - 8. Suppose -4*w + 5*w + d = 8, 16 = 4*d. Let j be c(w