 = 0.06 + -0.46. Let n = -81.29 + 73.1. Let c = n - -0.19. Is u less than c?
False
Let c = 18591 - 18326. Are c and 265 nonequal?
False
Let p = -33423 + 1470687/44. Is 3 at least as big as p?
True
Let u be ((-993)/3972)/(9/8 - 1). Which is smaller: u or -10?
-10
Let g(n) = -12*n - 3. Suppose x + 13 = -4*b, b - 2 = 5*x - 0. Let k be g(b). Let i = -1000 - -1033. Are k and i nonequal?
False
Let k(v) = 10*v**2 - 5*v + 6. Let f be k(2). Suppose -l = 88 + f. Let s be 4/14 + l/140 + 1. Which is greater: s or -1?
s
Let n = -3234 + 3170. Which is greater: n or -57?
-57
Suppose 0 = -297*b + 103*b. Which is greater: -3/742 or b?
b
Let q(m) = m**2 - 2*m - 38. Let c be q(8). Let x = -11 + c. Which is smaller: x or 10/41?
x
Let n = -63 - -230. Suppose 0 = 2*k + 3*z - 38, -740*k - z + 16 = -736*k. Are n and k equal?
False
Let d be 4 - 24/9*6/4. Let s be (4/28 - d)*1. Let n = 0.005 + 0.095. Is n less than or equal to s?
True
Let p = 205 - 133. Let u = p + -92. Let c be -3*u/8*4. Is c bigger than -1?
True
Let c = 10412.9 - 10401. Which is smaller: c or 67?
c
Suppose 3*m = 2*z + 5 - 8, -5*z = -15. Let c be 2/(m - 25/15). Let s(q) = -q**2 + 2*q + 3. Let r be s(4). Which is smaller: r or c?
r
Let j be 87479/422100 + 2/(-9). Let w = j - -1/201. Which is bigger: w or 1?
1
Let l = -3105 + 3104.6. Let m = -5.101 + 0.221. Let k = m - -5. Is l smaller than k?
True
Let t be ((-5)/15)/(18/(-15)). Let y be (-13)/(-26) + 3/(-2). Which is smaller: t or y?
y
Suppose 0*d + 6 = d - 3*z, -4*d - 2*z + 24 = 0. Suppose 3*k - 5*f = -81, d*f + 172 = -5*k + 2*f. Let t(j) = 31*j. Let i be t(-1). Which is smaller: i or k?
k
Let k = 4163/30 + -341/10. Which is bigger: k or 2?
k
Let c = -8.406 + 8.3. Let y = 0.026 + c. Let z = 142 + -144. Are z and y equal?
False
Let r = -0.074 - 6.926. Let y = 34 + r. Let c = 26.99 - y. Which is greater: c or 1/6?
1/6
Let w = 8882038046746701/58135 + -152782971482. Let g = w + -1/5285. Which is smaller: -6 or g?
g
Let t(a) = -18*a - 4. Let l be t(-1). Suppose l*s - 15*s = -35. Let f be (142/s + -4)/(-1). Is f at most 0?
True
Let z be (-714)/(-343) - (-8 + 4)/(-2). Is z less than 1?
True
Let d be (93/(-434))/((-60)/(-181370)). Which is smaller: -648 or d?
-648
Let m be ((-374)/55)/((-2)/5). Suppose -56 = 13*t - m*t. Suppose 3*l = t + 61. Is 0 at most l?
True
Let m be 5 + -1*(-24)/(-6). Let c = 205 - 127. Is c at least as big as m?
True
Let c(f) = 2*f**3 - 10*f**2 + f - 19. Let q = -196 - -202. Let s be c(q). Which is greater: 231/4 or s?
s
Let r = 49 + -42. Let w = 3/70 + 6571/210. Let q = 31 - w. Which is bigger: r or q?
r
Suppose 0 = -7*r + 3*r + 8. Let x = 50 + -28. Suppose 0 = l + 20 - x. Is r greater than l?
False
Let w = -1650 - -1649. Do w and -0.1549 have the same value?
False
Let t(x) = -2*x**2 + 5*x + 6. Let c be (4/(-6)*-9)/(52 + -50). Let a be t(c). Which is greater: a or 2?
a
Let s(b) = -4*b - 63 + 20 + 3*b. Let m be s(-11). Let w be m/(-210) - (-18)/135. Which is smaller: -0.2 or w?
-0.2
Let p be (-109032)/(-2156)*(-3)/(6/(-7)). Which is smaller: 1585/9 or p?
1585/9
Let n(d) = 82*d + 1147. Let b be n(-14). Which is smaller: b or -12/1973?
b
Suppose 67*p + 67*p = 32696. Which is greater: p or 0.1?
p
Let u = 87 - 96.25. Let c = -0.15 - u. Let y = -6.1 + c. Are y and 2/7 equal?
False
Let u(h) = -8*h + 52. Let z be u(21). Let p = z - -28. Are p and -88 unequal?
False
Let r = -659 + 661. Suppose -g - 138 = 5*h - 0*g, 3*g = r*h + 45. Which is smaller: h or 5?
h
Suppose 2*d = -y - 0*d - 26, 0 = -4*y + d - 104. Let s = 661.32 - 660.32. Is s > y?
True
Let k(o) = -o**3 + 2*o**2 + 23*o + 2. Let s be k(8). Let y = 64 + s. Does y = -134?
True
Let r(y) = 13*y**2 + 12*y + 29. Let a be r(-5). Let q be (-1 - (-282)/a)*-1. Which is bigger: -1 or q?
q
Suppose 27*o - 33*o + 1146 = 0. Let c = -205 + o. Let b be 0 - (1 - 252/(-20)). Is c less than or equal to b?
True
Let u(p) = -p**2 - 13*p - 18. Let o be u(-12). Let z be (27/(-6))/(1/o). Which is smaller: z or -0.5?
-0.5
Let d = -0.2 - -0.1. Let z = -34.4 - -34.97. Which is smaller: z or d?
d
Let a = -495429/17 + 29143. Which is smaller: 5437 or a?
a
Let w be 3/90*-4*(91/(-32) + 3). Which is smaller: 28 or w?
w
Suppose 3*g - 2*h + 4 = 0, 3*g = -3*h - 1 + 7. Which is smaller: -75/59 or g?
-75/59
Let b be -3 - -21 - -4*1/2. Let q = -40 + b. Let u be q/(-6)*(-3)/2. Are -36/7 and u unequal?
True
Suppose 4*s - o = 10, -1 - 1 = 2*s + 3*o. Suppose 0 = -s*b + 38 - 0. Let w = 19 - b. Is -4 bigger than w?
False
Suppose 1398 = 5*p + 3*m, 0 = 3*p + 4*m - 7*m - 834. Suppose 275*r = p*r + 68. Let g be 2/9 + (-292)/18. Which is smaller: g or r?
r
Let b(z) = -7. Let l(j) = -j + 1. Let t(f) = b(f) + l(f). Suppose -k = -4*d - 9, -15*k - 2*d + 20 = -19*k. Let y be t(k). Which is greater: -1/53 or y?
y
Let f = 328 - 304. Let t be (-21 + 22)*f/70. Is 0 less than t?
True
Let t(x) = 141*x**2 - 162*x + 9. Let l be t(-5). Which is greater: 4341 or l?
l
Let f(x) = -x**2 - 102*x - 752. Let v be f(-94). Which is smaller: v or -24/395?
-24/395
Let i be 5/(7/((-392)/(-35))). Suppose -5*c - 333 = -i*c. Is c > 112?
False
Suppose 5*t - 22 = 16*v - 12*v, -2*t + 18 = 3*v. Suppose 4*z + 3*i - 4 = t*z, i = z + 1. Which is greater: z or 6/109?
z
Let k = 588755/516 + -1141. Is 1 less than k?
False
Let o be ((-261)/116)/(54/(-24)). Is o <= 1/10738?
False
Suppose 10 = 2*j + 4*h, 262*j - 260*j + 3*h - 9 = 0. Let b = 182 + -125. Which is bigger: b or j?
b
Let c be 1000/19625*1/(-9). Which is smaller: 0 or c?
c
Let c(x) = -x + 2 + 2*x**2 - 7 + 7. Let i be c(1). Suppose -i*u - 40 = -11*u. Which is bigger: 2 or u?
u
Suppose -5*o + 4*o = 0, 4*i + 2*o - 24 = 0. Let z = -15.926 - -17.826. Which is smaller: z or i?
z
Let b be 6/42 + 547000/56. Suppose 381 = -21*a + b. Is a not equal to 447?
False
Let j = -0.3 + -0.7. Let c be (22 - (-17598)/(-735)) + ((-1)/(-7) - 0). Are j and c nonequal?
True
Let n(u) = -u**2 - 9*u + 14. Let o be n(-10). Let b(g) = 2*g + 4. Let q be b(1). Which is bigger: o or q?
q
Let k = 13 + -7. Let z = -13.17 + 8.27. Let t = k + z. Which is greater: t or 2/7?
t
Let r = 44 - 91. Let t = -28 - r. Which is smaller: 13 or t?
13
Let b(x) = x**2 - 2*x. Let v be b(0). Let c = -32293/13 + 2484. Which is greater: c or v?
v
Let j = -30553/1911 + 16. Is j smaller than -1?
False
Let j be (3/(-5) - (-395)/700) + 0. Let k(b) = -10*b - b**2 + 2 - 7 + 14*b. Let p be k(2). Is p greater than j?
False
Suppose 3*q = 8*q - 15. Let j be (-1 - 2/(-3))*-228. Let h = -75 + j. Which is smaller: h or q?
h
Let c = -32274 - -899444104/27869. Which is greater: c or 1?
1
Let v(l) = -l**3 - 13*l**2 - 9*l + 30. Let i be v(-9). Are -855/4 and i nonequal?
True
Let c be 24/970*(-10)/(-4). Let q(f) = 2*f**2 + 19*f - 28. Let m be q(-11). Suppose -2*t + 19*n = 22*n - 14, -3*t + m*n - 17 = 0. Which is bigger: t or c?
t
Let f(b) = -2*b - 10. Let a be f(5). Let i be 8/230*(-9)/18*a. Is -1 > i?
False
Let a be (2/20)/((-395)/10). Let v = -4468 + 4469. Is a less than v?
True
Let y be 6/(2 + (-4200)/2105). Let r = -382687/303 + y. Is -1 at most as big as r?
True
Let c(t) = -4*t + 65. Suppose 0 = -280*k + 277*k + 21. Let f be c(k). Which is smaller: -1 or f?
-1
Let h(x) = x**2 - 3*x + 1. Let l be h(6). Suppose b - 39 = -2*b. Is l at most as big as b?
False
Suppose 4*x - 5*m = 3*x, 5*m = 3*x. Let n be (137 + -129)/(-19 + 1 + 0). Is n at most as big as x?
True
Let q = -0.03 + 0.23. Let h be (-5 - -1) + (11 - 3). Suppose s = -2*a - 31, -4*a - 77 = -h*s - 9. Which is bigger: q or a?
q
Suppose 22 + 32 = 3*u. Let c = u + 15. Let f be 18423/534 - ((-2)/(-9) - (-82)/36). Is f less than or equal to c?
True
Suppose -2366 = 205*k + 144*k - 11*k. Which is smaller: k or -594/107?
k
Suppose -8*t = 3795 + 669. Is -558 at most t?
True
Suppose 0*f - 372 = -6*f. Let z = f + -59. Let n be (-12)/(-489)*-122 + 1*z. Does 0 = n?
False
Let f = 73 - 72.92. Let x = 74 - 73.981. Let l = x + 0.081. Is l less than f?
False
Let s(w) = 36*w**2 - 13*w - 12. Let g be s(-1). Suppose 0 = -5*f + 10, 0 = t - 2*f + g - 32. Which is smaller: t or 6/17?
t
Let n be ((1479/(-170))/29)/(-8*6/(-530)). Which is bigger: n or 1?
1
Let b(v) = v**2 - 9*v + 7. Let z be b(6). Let p = -30004 + 30004.02. Which is bigger: z or p?
p
Suppose -2*s + 6 = -12. Suppose y = 12 + s. Suppose m + 6*m + y = 0. Do -7 and m have different values