be -22 + (203 + -19)/8. Which is bigger: -3/4145 or o?
o
Let h = -23 + 1. Let a = -15 - h. Let b = 6.6 - a. Is b at least 1?
False
Suppose 3*p - 8*p - 8 = -3*a, 4*p - 3*a = -7. Let k(b) = -20*b**2 + 4*b + 4. Let y be k(p). Let q be ((-60)/y)/(47/(-2) - -1). Which is bigger: q or -1?
q
Let j be -7 - -1157*10/(-9350)*-5. Is j greater than or equal to 0?
False
Suppose 0 = 2*m - 5*h + 7, 3*h + 6 - 3 = 3*m. Suppose -3*n + m*n - 2 = 4*a, -10 = -5*n. Which is greater: 0.55 or a?
0.55
Let m(y) = -y**3 - 29*y**2 + 44*y - 155. Let z be m(-31). Which is greater: -0.6 or z?
z
Let h = -2259913/138 - -65507/4. Let i = -130/23 + h. Let o = 16/3 + i. Are 0.1 and o nonequal?
True
Let g be 2/(-1 + 0) + 5 + 0. Let w be 90/(-12)*(-28)/g - 2. Let o be 4/(-14) + w/(-7) + -2. Is -7 < o?
False
Suppose 0 = -10*w + 26 + 24. Suppose -g + 5*a - 10 - 5 = 0, -10 = 4*g + w*a. Let m be g/(15/(-6))*-1. Which is smaller: -7/4 or m?
m
Suppose 8*l - 9*l = 0. Suppose 3*y - x - 166 = l, -2*y + x = -3 - 107. Let i = y + -54. Is i >= 4/3?
True
Let c = 12 - 4. Let l(s) = -s + 8. Let g be l(c). Let j be 10 - 12/(-8)*(g + -2). Which is smaller: j or -4/7?
-4/7
Let m(d) = -2*d**3 + 7*d**2 + d - 32. Let s be m(3). Which is bigger: -37 or s?
s
Suppose -2*h - 2*b - 26 = 0, -5*b + 10 = -5*h - 25. Let r(k) be the first derivative of 3*k**2/2 + 3*k + 28. Let q be r(-1). Is q less than h?
False
Let f = -3936 + 4319. Which is greater: -3/16 or f?
f
Let w = 28645 + -28645. Is w less than 1595?
True
Suppose u + 5*y - 10 - 38 = 0, -y = 5*u. Let k(m) = 2*m**2 - 2*m - 2. Let n be k(-2). Let v be (n/(-9))/(8/6). Is v less than or equal to u?
False
Let q be ((-21)/42)/((31/4764)/(-1)). Is 78 greater than or equal to q?
True
Let w = -56 - -59. Let v be ((-4)/(-18) + 140/18)*w. Suppose v = 4*c - 36. Are 14 and c nonequal?
True
Let d(h) = -h**2 - 19*h - 59. Let c be d(-10). Suppose -19*j = -83 - c. Which is bigger: 4 or j?
j
Let r be (-1)/(-3) + -1*1. Let q = 264.9366 + 0.0634. Let n = 264.967 - q. Are n and r nonequal?
True
Let m = 183474/65 + -2824. Is m < -1?
True
Let o be -33 - 5/(1 - 6). Let i = o - -37. Suppose 5*l - 65 = -i*r, 25 = -4*r + l + 82. Is r at most as big as 14?
True
Suppose -2*n - 62 = -0*l - 5*l, -155 = 5*n - l. Let i be (-3)/((-24)/62)*(-1 - 3). Are i and n nonequal?
False
Suppose -126*b - 49*b = 0. Are b and -3/283 unequal?
True
Let q be (-663150)/73684*16/36 + -4 + 8. Is q <= 1?
True
Suppose -2*z - 5*k - 29 = -44, 0 = 2*z + 4*k - 12. Is z < -4/3827?
False
Let l be (-5)/((-3157665)/291171) - 4/14. Let g = 2/1769 + l. Is g <= 2/19?
False
Let s(c) = -c**2 + 7*c + 61. Suppose 0 = -2*u - 109 + 133. Let p be s(u). Let q be (6/(-16))/((-102)/8). Is q <= p?
True
Suppose -25 = -58*c + 53*c. Suppose 0 = 5*k - 0*k - v + 324, c*k = 3*v - 322. Which is smaller: k or 0?
k
Let r = -7 + 9. Suppose -r*i = 4*y - 18 - 54, 3*i + 5*y = 104. Let g(j) = j**3 - 29*j**2 + 30*j - 52. Let t be g(i). Which is smaller: 29/6 or t?
t
Let a = 5264 - 5264.03. Which is bigger: a or 0.1?
0.1
Let c be 0 + -3 + (-186)/(-5) + 4. Let f = c - 38. Let o = -4 + 3.8. Which is smaller: f or o?
o
Let v = -637/1143 - -2/1143. Let c(o) = -o**2 + 5*o + 2. Let n be c(4). Suppose -2*y - 16 = n*y. Is y smaller than v?
True
Let g(p) = -p**2 + 3*p + 2. Let d be g(3). Let j be (d/(-3))/(6/387). Let a = 32 + j. Is a at most -11?
True
Let l(x) be the third derivative of -x**4/4 + 2*x**3 - 38*x**2. Let y be l(1). Is y at least 4?
True
Let p be 119/56*82*12. Is 2091 < p?
False
Let x = 1230.563 - 1230. Let f = 0.59 - x. Let q = f + -0.027. Which is bigger: -17 or q?
q
Suppose c + 3 = -3*y, 3*y - 4*y - 5*c = 15. Suppose -q - 3*l - 10 = y, 3 - 7 = -4*q - l. Let w be 100/36 - ((3 - 2) + q). Is w at most as big as 8?
True
Let s = 920 + -918. Which is smaller: s or 81/4?
s
Let u be 1014/(-8) - (-6 + 3)/(-12). Let n = -128 - u. Let v be 6/(-5)*1/1. Do v and n have the same value?
False
Let o(a) = -a**3 - 394*a**2 - 8185*a - 306. Let b be o(-372). Let m = 235 - 50. Let r = m - 118. Which is smaller: b or r?
b
Let m = -231 + 148. Let i = 83.4 + m. Is 2/5 > i?
False
Let p(i) = -3*i**2 + 3*i + 12. Let j(v) = 4*v**2 - 4*v - 15. Let d(c) = 4*j(c) + 5*p(c). Suppose -3*a = -a - 2. Let x be d(a). Which is bigger: x or 6/7?
6/7
Let a be (-8)/(-3)*(-15)/(-4). Let i(g) = g**2 - 19*g + 71. Let v be i(14). Suppose 1 = a*d + v. Which is greater: d or -15?
d
Suppose -9*f = -37*f + 28. Let p be (-6)/45*f/2. Which is smaller: 0 or p?
p
Let t = 2 - 3. Let l be (-36)/(-213)*(0 - -1)*(-42)/84. Is l at most as big as t?
False
Let j = 91.9376 + -92. Let i = j - -0.0624. Is i >= 381?
False
Suppose -3*t = 5*c - 52, 2*t = -c - 3*t + 28. Suppose 6 + c = 7*x. Let m be 2 + 4/(x + -4). Which is smaller: 3 or m?
m
Let c = 251/140 + 45/28. Let a = -480202 + 480205. Which is bigger: c or a?
c
Let g = -36 + 107/3. Let j = 617.4 - 478. Let s = 140 - j. Are s and g non-equal?
True
Suppose 94 = -7*k - 46. Let i = -15 - 81. Let l be (-2)/((i/k)/3). Which is smaller: 2 or l?
l
Let s be 1 - 2 - 54/(-34). Let b = -64/51 + s. Let y = 5243/9 - 582. Is y at most b?
False
Let o be 55*(-14)/1680*-15. Is o > -0.01?
True
Suppose -4*b + 3 = -5. Suppose -p + b*p - 176 = 0. Let n be (-186)/p - ((-106)/(-22) + -5). Which is smaller: -0.1 or n?
n
Suppose -2*h + 3*j = -12, 5*h - 3*j + 6 = -0. Let k = 436.7 - 419. Let n = k - 17. Is h at least as big as n?
False
Suppose 0 = 4*n + 8, -4*n + 2*n - 19 = 5*w. Let g be (-70)/(-42) - 1/w. Suppose 3*m + 4 - 1 = d, -g*m = -2*d + 2. Do -4/7 and m have the same value?
False
Let t be 21 - (-21181)/(-1003) - -10*(-541)/(-34). Which is smaller: 154 or t?
154
Let b = -3513 - -3514. Which is greater: -3/4312 or b?
b
Let v = 10617 - 10685. Which is smaller: -66 or v?
v
Suppose 5*x + 3*a - 618 = 860, -3*x + 4*a + 910 = 0. Is 298 equal to x?
True
Let l be (-19768)/(-272) + 77/(-22). Which is smaller: l or 68?
68
Let w = 4804 + 7405. Is w at most as big as 12210?
True
Let u(s) = 2*s**2 - 358*s - 3801. Let f be u(-10). Which is bigger: f or -29?
f
Let h = 10964 + -7457. Are 3509 and h non-equal?
True
Let l(u) = -u**2 + 3*u + 2. Let j be l(4). Let g be 34/(-119) + 166*(-4)/28. Let i be 69/g - (17/8 + j). Which is greater: i or 1?
1
Suppose 25*h + 178 = 27*h. Which is bigger: h or 90?
90
Let v = 2923 + -2925. Is v < 240/17?
True
Suppose -20 = -3*w + 2*w. Suppose f = 3*j - 15, -4*j = f + 4*f - w. Suppose 2*x - 39 = -5*p + 13, 5*x = 5. Are p and j nonequal?
True
Let p = -335.96707 - 0.03293. Is -1/4 bigger than p?
True
Let f = 1471 + -1473. Let j be (-6)/3 + 6 + -2. Let m be j*(f + (-175)/(-90)). Is 2/5 < m?
False
Suppose -m - 2*o - 29 - 33 = 0, 4*o = 2*m + 116. Let g = 4996 + -5057. Is m at least as big as g?
True
Let u be -5*(-1)/1 - (1 - 6). Suppose 0 = -u*z + 6*z - 4*z. Is z > -1/409?
True
Suppose 0*s = -3*s - 990. Let q be 222/s + (-2)/(-5). Suppose 1260*h - 1267*h + 7 = 0. Which is smaller: h or q?
q
Suppose 4*f + 3370 = 9*f. Let s be (-74510)/110 + 2*2. Let z = f + s. Does z = 1?
False
Suppose 32 - 21 = 11*j. Let w = 97479/94 + -1037. Is w >= j?
False
Let j be -1*1 - (192750/(-166750) + 2/29). Is j < -61?
False
Let n be 72/24*(-5)/15. Is -2/633 not equal to n?
True
Let v be (-2)/36*(-164 - -167). Let x(i) = 29*i**2 + 2*i - 1. Let r be x(1). Let k be (r/(-200))/((-2)/(-5)). Is k < v?
True
Suppose -31*b + 20*b + 3317 = -3151. Is b > 588?
False
Let v = 6 - 6. Suppose v = -2*a + 25 - 99. Let j = 6862 - 6899. Is j at most a?
True
Suppose 0 = 2*b + 10, -3*k + 46 = 2*b - 142. Let y be ((-11)/k)/((-18)/4652). Let l = y - 43. Is l >= -1?
True
Let s = -788 + 818. Suppose 33*l - 2061 = s*l. Is l smaller than 687?
False
Suppose 6*r - 34 = -11*r. Suppose -3*v - r*v - 4*j - 547 = 0, -3*v + 2*j = 337. Is v at least as big as -110?
False
Let l = -585 - -1756/3. Let w = 55.3 - 52. Do l and w have different values?
True
Let h = -79 - -79.71. Let k = h - -0.09. Let o = -524 - -523.9. Is o smaller than k?
True
Suppose -25818 - 169723 = 70*p - 1221. Which is smaller: p or -2775?
p
Let o be 2*((-12)/16 - 1946/8). Let u = 487 + o. Let n be (-4)/(-518) - (2 + -2). Is n bigger than u?
True
Let q = 88 - 86.52. Let t = q - -35.52. Is t < -2?
False
Let n = -59.93 - 1.07. Let p = 86 + n. Let h = p + -24.8. Do h and -26 have the same value?
False
Let a be 6546/9 + -2 + 0 + (527 - 528). Whic