 Suppose 5*z + 332 = 77. Is h less than z?
False
Let f(w) = w**3 - 1. Suppose 3*q - 34 + 31 = 0. Let k be f(q). Let v be 4/(-12) - 7/33. Which is smaller: v or k?
v
Let o be (8/(-10))/((-2)/(-80)). Let w be 22 + -3 + 7 + -6. Suppose w*r = -650 + 10. Is o at most r?
True
Suppose 0 = -16*u + 49 - 17. Is -512 at most u?
True
Let d(m) = -43*m**2 + 124*m - 7. Let r be d(5). Is -460 at most r?
False
Let g(x) = -x**2 + 3*x + 3. Let u be g(3). Suppose z = -u - 5. Suppose s + 4*s + 3 = -3*y, -2*s + 24 = -3*y. Which is bigger: z or y?
y
Let v be 9507/(-175195) + 348/6438. Which is bigger: v or 0?
0
Let j = 339292 - 996952/3. Do j and 6975 have the same value?
False
Suppose -7*b + 3*b + 144 = -4*s, -3*s = 0. Let u be (18/b)/(254/8). Which is smaller: u or -1?
-1
Suppose 278*k = 275*k + 633. Let r = k + -164. Which is smaller: 46 or r?
46
Let p be (-5 - 112/(-21))*9. Suppose p*k - 440 = -35. Which is smaller: 138 or k?
k
Let c = -632.01 + 634. Is -9 greater than c?
False
Suppose -365 = 368*w - 804 - 665. Suppose h - 3*h + 4 = 0. Is w greater than or equal to h?
True
Let y = 13048003/21 - 1804522/3. Let k = 19791 - y. Which is smaller: k or -34?
k
Let f be 1/(-19)*1/1. Let v(y) = -y - 13 - 2 - 11 - 7*y - 14. Let s be v(-5). Which is bigger: f or s?
s
Let n be (-2)/(-2)*258649/181. Is n bigger than 1423?
True
Suppose 11400 = 155*n - 3*n. Do 221/3 and n have the same value?
False
Let x = 441.06701 + -0.06701. Which is smaller: x or -0.13?
-0.13
Let r(d) = -3*d**2 + 4*d**2 - 67 + 14*d + 81. Let b be r(-9). Suppose 0 = -3*f + 3*y - 93, y - 155 = 5*f - 0*y. Does f = b?
True
Let t be (-143)/1144*(-916)/5. Do 24 and t have the same value?
False
Let t = -139 - -159. Suppose 2*y - k = 3*k, y + 2*k - t = 0. Which is bigger: y or 17/2?
y
Let b = 13.0184 - -0.0816. Which is smaller: -9 or b?
-9
Suppose 38 = 27*u + 794. Let b = 24 + u. Which is bigger: b or -20/7?
-20/7
Let c = -0.08 - 2.92. Let z = 1860 + -1863. Is z bigger than c?
False
Let j be -3 - 12 - 2*(-6)/(-16)*4. Suppose x - 3 = 0, i - 5*i + x - 3 = 0. Suppose -3*z + 3*m - 69 = 0, i = -z - z - 3*m - 21. Are j and z equal?
True
Suppose 2*l = -b + 5, 0 = 5*l - b + 592 - 594. Is 65/357 greater than or equal to l?
False
Let x(o) = -o**3 + 21*o**2 - 16*o + 6. Let t be x(20). Let i = t + -108. Which is bigger: -23 or i?
i
Let l = 175 - 126. Suppose -l = 8*f - 41. Is -6/191 at least as big as f?
True
Let f = 131 - 129. Suppose -3*m + 2*x = -0*m - f, -3*m + x = -1. Is -3 at least m?
False
Let m = -3159 + 3150. Which is bigger: -47/5 or m?
m
Let j = -977 + 978. Which is greater: j or 0.2261?
j
Let r be (216/288)/(((-30)/(-16))/1). Let n = -1.57 - 99.43. Which is smaller: r or n?
n
Suppose -2*l + 2*t + 17 = -l, 0 = 2*l + 5*t + 2. Suppose 0 = 8*g - l*g + 1. Is g at most as big as 22?
True
Let s = 68 - 60. Suppose 17*u = 15*u - s. Let d be (u + 16/4)/(2 + 0). Is d >= 4/17?
False
Let x be (-2 + -2 - -1) + -369 + -14. Let r = x + 440. Is r greater than or equal to 58?
False
Let d be (-1620)/8*(-4 - -2). Let n = -244 + d. Which is bigger: 163 or n?
163
Suppose 79*j + 137827 = 51164. Which is smaller: 2 or j?
j
Suppose -4538 = -4*d - 21466. Let x be -1 + 2 + d/(-69). Let v = -63 + x. Is 2/9 <= v?
False
Suppose -m + 1 = -2*v, 2*v = 3*m - 7 + 4. Which is bigger: -66/109 or v?
v
Suppose 25960 - 16632 = -11*d. Are -847 and d nonequal?
True
Let l be (18/12)/(4*1/8). Let f be l/9 + (-77)/24. Which is greater: -3 or f?
f
Let g = 405.7 - 405.5. Let r = -14.3 + 180.3. Which is smaller: r or g?
g
Suppose -114*s + 47730 = 82*s - 11*s. Let l be 518*2/8*2. Which is smaller: s or l?
s
Suppose 4*j + 46 - 66 = 0, -47 = 4*q + j. Let i be (-29)/22*-30 + -3. Let g = i + -1679/33. Which is greater: q or g?
q
Let m be (-6)/(-6) + (-12)/9. Suppose 9*n - 4*n - 79 = 4*f, 0 = 5*n - 15. Which is smaller: m or f?
f
Suppose 4*v + 0*v + 3301 = d, 814 = -v + 4*d. Let o = 827 + v. Which is bigger: -14/67 or o?
o
Let r(t) = -13*t + 200. Let p be r(8). Let n = -218 + p. Is -123 equal to n?
False
Let g(x) = -x**3 + 6*x**2 - 6*x + 6. Let m be g(6). Let d be ((-3)/(-75))/((-8)/m). Suppose 3 = 4*a - 3*k, -2*a - 9*k - 4 = -5*k. Which is greater: d or a?
d
Let a be (-10 - -10)/(9/6*(-12)/(-9)). Which is bigger: a or 4/4031?
4/4031
Suppose 39 = 365*g - 326*g. Which is smaller: -1/2916 or g?
-1/2916
Let z = -2.908 - -1.879. Let q = 0.029 + z. Which is smaller: q or -117?
-117
Let c be (-2)/(-6) + (-39)/63. Let r = 6.93253 - -2.06747. Which is greater: c or r?
r
Suppose -3*b = -5*r + 2*b - 10, 0 = -4*r - 4*b. Let d be -19*5/((-35)/(-14)). Let q = d + 35. Is q bigger than r?
False
Let p = -0.0515 - -0.0562. Let t = p - 128.0047. Is 1 != t?
True
Suppose 0 = 4*n - 2*u + 22, -n - 3*u + 11 = -1. Let z be n/(-5)*204/(-9). Which is smaller: -14 or z?
-14
Suppose 0 = 3*c - x + 182, 0 = 5*c - 10*x + 5*x + 310. Let h = 85 + c. Let n = -30 + 56. Is h smaller than n?
True
Let b(a) = -1361*a + 181. Let q be b(-13). Let j = -1519272/85 + q. Which is smaller: 0 or j?
0
Let i be 2192/(-240) - -9 - (-30)/171. Does 10 = i?
False
Let z = -117.7114 + -0.3686. Let u = -118 - z. Let d = 0.3 + -0.2. Is d equal to u?
False
Let h be 16/(-3) - (-1)/3. Let v(q) = q**3 + 6*q**2 + 7*q + 6. Let z be v(h). Let r(x) = 7*x + 288. Let u be r(-42). Is z < u?
False
Let j = -90 - -89.9. Which is smaller: j or 1547?
j
Let m be (7/14*52)/(2/7). Let g be ((-2)/2)/(5/(-450)). Is m less than g?
False
Let v = -5933 + 17278/3. Which is smaller: v or -2?
v
Let f = 143997644/1213 - 118712. Is 1 less than f?
False
Let y(u) be the first derivative of u**4/4 + u**3/3 - 3*u**2/2 - u + 92. Let b be y(-2). Is b greater than or equal to 1/314?
True
Let n = 3733.85 + 60.15. Are n and 0.1 non-equal?
True
Let x(p) = -9*p**2 + 25*p - 338. Let h be x(16). Is -11211/5 equal to h?
False
Suppose 8*m = 8*m - 49*m - 10486. Which is bigger: m or -212?
-212
Suppose -90*i - 39*i + 1604322 = 42*i. Which is bigger: i or 9383?
9383
Let x be (-9)/24*-14 + -5. Let h = 2.534 + 10.666. Is x less than h?
True
Let m = -514.11 - -402. Let g = m - -113. Let w = g - -0.21. Which is greater: -0.1 or w?
w
Let b = -29.5 - -31.03. Let y = 5.63 - b. Is y at least 1/4?
True
Suppose -4*i = -4*g - 16, -3*g - 28 = -5*i - 8. Suppose 0 = -4*q - 8, 0 = -2*h - q + i*q - 186. Is h smaller than -98?
False
Suppose 4*v + 16 = 0, -41 = 5*k - 10*k + 4*v. Suppose -k - 5 = -5*b. Let s be 1*b/13 - (-3411)/(-117). Do -29 and s have the same value?
True
Let c = -9567 - -2151. Are -7417 and c non-equal?
True
Let r(n) = n**3 - 7*n**2 + 6*n. Let y be r(6). Suppose -l + 6*l = y. Let z be 2 - (-33)/(-19) - 0/((-256)/16). Which is greater: z or l?
z
Suppose -82*f = -10*f + 909648. Which is smaller: f or -12635?
-12635
Let c(s) = -2*s**2 - 4*s. Let k be c(-2). Let y be 88/16808*-2*(k + 1). Which is greater: 0 or y?
0
Let r = -63888.0639 + 63883. Let v = r + 0.1159. Let s = 0.052 - v. Which is smaller: s or 4?
4
Let f be (14/(-35) + 34/10)*9. Suppose f*h = 23*h + 20. Suppose 3*r - h*d = 12, 1 = 4*r + r - 2*d. Are r and -1/8 non-equal?
True
Let s = 7645 + -7550.1. Let d = 21.1 + -116.1. Let q = d + s. Is q bigger than 1/5?
False
Let a be (-31)/13795*25/(-9). Which is bigger: 0 or a?
a
Let b(o) = -42*o + 25*o - 53*o. Let m be b(1). Which is bigger: -72 or m?
m
Let c = -388 - -390. Let u be c/10 - (195/(-25) - -8). Which is smaller: -4/453 or u?
-4/453
Suppose z - 572 = 3*z. Let d be 5/(-33)*(-12210)/z. Let n = d + 72/11. Which is greater: n or -1?
n
Suppose -11*x - 2 + 8 = -5*x. Does x = 6/1789?
False
Let h = -2.87 - 0.13. Let t = h - -3.02. Let w = -1.732 - -1.732. Which is smaller: w or t?
w
Let x = 333.5 + -592. Let o = x + 259. Let d be 5/12 + (-5)/15. Which is bigger: d or o?
o
Let i(u) = u**2 - 14*u + 54. Let h(f) = -f**3 + f**2 + f + 11. Let p be h(0). Let k be i(p). Which is smaller: 20 or k?
20
Let z = 2262 + -2546. Which is smaller: z or -283?
z
Suppose -84*q - 7*q + 1197 = -28*q. Are 201/11 and q equal?
False
Let w = 5161 + -5160.6514. Is w bigger than -1?
True
Let i = 929.6 + -929.564. Which is smaller: -2/13 or i?
-2/13
Suppose -50*y = -51*y + 6. Suppose k + 14 = 2*v, -y*k = -3*k + 4*v + 32. Is -1 != k?
True
Let i = -1659/732028 - -1/2794. Let f = -4306/14107 + -96677599/22176204. Let p = i + f. Which is bigger: -6 or p?
p
Let l = -340/3 - -115. Let q = l - 