 i = -50 + h. Let v = 67824 + -67822. Are v and i unequal?
True
Let u be 2*(-4)/(-8)*(-9 - -7). Let f be (((-24)/(-9))/u)/18. Which is bigger: -1 or f?
f
Let z be ((-3)/24)/((-60)/(-17904)) + 0 + 1. Which is smaller: z or -2/9?
z
Let i = -119.74 - -137. Let w = 8.63 + i. Let l = w + -26. Which is smaller: l or 1?
l
Let q be (-48)/(-96) - ((-695)/(-2))/5. Which is smaller: -1 or q?
q
Suppose 40 = c - 283. Suppose -4*a = 13*a - c. Is a at least as big as 4/7?
True
Let r(t) = 12*t + 66. Let v be r(-5). Let f be v/27 - 280/126. Is -1 > f?
True
Let y = -793 + 172877/218. Which is smaller: -0.02 or y?
-0.02
Suppose 4*u + 2 - 10 = 0. Suppose 10 = y - l + 25, 2*y + 30 = -l. Let p be 20/y - (-176)/24. Are u and p equal?
False
Let r = -1 - -1. Suppose -5*w + r*w + 25 = 0. Suppose -3*i - 5*a = 5, -2 - 2 = w*i + 4*a. Which is bigger: -2/137 or i?
i
Let r = 6685 + -6686. Which is greater: r or 3158?
3158
Suppose 18 = -2*r - 4*o, 0*o = o + 5. Suppose -4*c + 2*z + r = 9, -c - 3*z - 9 = 0. Let m(l) = 2*l**2 - l - 1. Let i be m(c). Is 19 >= i?
False
Suppose 126 = 4*t + g + 17, 0 = -5*t + 5*g + 130. Suppose -t = -5*r + 3. Suppose 138 - 18 = r*w. Is w less than 21?
True
Let x = 24.93152 + -0.03152. Is 4 <= x?
True
Let w(z) = -z**2 - 11*z - 16. Let k be w(-9). Let f be -1 + (-2 - k) - 198/(-42). Is 0.148 > f?
True
Let g be (8/12 - -1)/(-3). Suppose 5*d + 58 = 78. Let y(u) = -4*u**2 + 16*u - 1. Let m be y(d). Are g and m equal?
False
Let d = -209 - -212. Suppose -d*h + l = -420, 0 = -18*l + 14*l + 12. Which is greater: h or 142?
142
Suppose -18*z - 2559 + 2721 = 0. Which is smaller: z or 39.5?
z
Let z be 3*(-12580)/108 - 8/(-18). Let m = 1.2 - 0.2. Is z smaller than m?
True
Let u(d) = d**2 - d + 4. Let g be u(2). Let f be (7*15/(-9))/(g/18). Let n = 32 + f. Is n >= 2?
False
Let m(l) = -14*l + 91. Let n be m(6). Let r be ((-12)/165)/(n/(-210)). Which is smaller: 1/2 or r?
1/2
Let a be (4*(-3)/15)/(72/215820). Is -2396 <= a?
False
Suppose 0 = -3*b + 2*s + 40, 2*b + 5*s - 27 - 6 = 0. Let y = -7478 + 7481. Let f be ((-1)/b)/((y - 1)/(-12)). Which is bigger: f or -1.2?
f
Let k be 30/(-15) - (0 - (-314)/2). Let i = k - -155. Which is smaller: i or 16?
i
Let q be 37/(-7) + (-4)/(-14). Let t(f) = f**3 + 5*f**2 - f. Let u be t(q). Suppose 1 = -u*o - 5*r - 4, 0 = -r - 2. Which is smaller: o or -43?
-43
Let p(l) = -15*l - 3. Let n be p(-3). Let i be 20/(-15) + 44/n. Which is smaller: i or -0.055?
i
Suppose i - 163 = -2*g, -2*i + 3*g = 5*g - 334. Let d = 170 - i. Is -1/77 greater than or equal to d?
True
Let l = -30952 - -31126. Is 1.1 > l?
False
Let l = -51479 + 19098669/371. Which is smaller: l or 2?
l
Let j(f) = -8*f**3 + 2*f**2 + 79*f - 79. Let q be j(1). Which is smaller: q or -46?
-46
Let w = 50 - 68. Let r be (-449 - -2)*-2*4/24. Let o = 127 - r. Which is smaller: w or o?
o
Let k be 10*-1*(-6)/15. Suppose -5*p - h = -34, 24 = 2*p + 3*h - 0. Let q be (8/p + -3)/(5/(-6)). Are k and q nonequal?
True
Let b = -18188.98 - -18189. Is 2/4429 not equal to b?
True
Let w be (-3614)/(-286) - 12/(-33). Let x be 8/6*w/(-9464). Is 0 <= x?
False
Let n be (-3 - -1) + (-1502)/(-1). Suppose -492 + n = -12*o. Is -86 bigger than o?
False
Suppose 0 = -9*v + 7*v + 38. Let c = 158 - 156. Let f be (-21)/v - c/(-19). Do -3/11 and f have the same value?
False
Let a(z) = z**3 + 16*z**2 + 8*z + 3. Let f be a(-15). Let c be (9/(-2))/3*f/(-81). Suppose 8*q + 0 + 8 = 0. Which is bigger: c or q?
c
Let d = -586/31 + 553708/29295. Which is smaller: d or 0?
d
Suppose v - 5*g - 25 = -3*v, -g - 5 = -5*v. Let w = 1037/14 + -198095/2674. Which is smaller: v or w?
w
Let f be (2 - 2)/((-3)/3). Let b be 42/525 - (-1210)/(-8875). Is b less than f?
True
Let j be (-10 - 1276/(-14)) + 3. Are 84 and j non-equal?
True
Let u(x) = 3*x**2 - 64*x + 137. Let w be u(15). Which is smaller: w or 38/9?
w
Suppose 0 = 6*l - 0*l - 30. Let q be ((-1)/l - -2)/(136/40). Is q bigger than -1?
True
Let a = 9.3869 + -0.3869. Is a equal to -1/39?
False
Suppose 7*o + 1336 = 5*o + 134. Is o greater than or equal to -601?
True
Let l(k) = 436*k + 2731. Let u be l(-13). Which is greater: -2934 or u?
-2934
Let a = -4700 + 4510.9. Let c = -189 - a. Which is greater: -0.051 or c?
c
Suppose -38*v + 216 = -3*p - 35*v, 12 = 2*v. Let x = -154 + 87. Does x = p?
False
Let y = -1110 + 1062. Let z be (1*-6*y/36)/2. Let j(k) = k**3 - 9*k**2 + k - 7. Let c be j(9). Is c equal to z?
False
Let w = 1855 - 1836.2. Which is smaller: w or -2?
-2
Let a(x) = -3*x**3 + 28*x**2 + 59*x - 389. Let p be a(10). Is p greater than or equal to 6/2465?
True
Let s(r) = 17*r + 241. Suppose 3*x - 2 = 5*k + 56, 0 = -x - 4. Let j be s(k). Suppose -l - 2*b + 3*b = 16, -5*l + 3*b - 72 = 0. Which is smaller: j or l?
l
Let j = 8415.09 - 8415. Let m = 128/295 - 2/59. Which is smaller: j or m?
j
Let s = 3 + 2. Let w(v) = 6*v**2 - 9*v - 11. Let l be w(-1). Suppose 3*j - l*h = -23, 4*h = s*j - h + 45. Is -27/2 >= j?
False
Let r = 8 + -8.033. Let o = 226 - 226.033. Let m = o - r. Is m at most 6?
True
Let q(f) = 10*f - 24. Let x be q(-6). Let r be 7/(x/496) - 12/(-9). Let c = r - -37. Which is smaller: c or 0?
c
Let u be (-6)/4*(-2 + 174). Let r(w) = w**3 - 126*w**2 + 2599*w + 100. Let c be r(100). Do c and u have the same value?
False
Let j = 1471.7 + -1472. Let b = 27/5 - -76. Let f = -82 + b. Which is smaller: j or f?
f
Let p(i) = 14*i**3 - 2*i**2 - 6*i + 16. Let h be p(4). Do h and 856 have different values?
False
Suppose 10*k = -k + 84414. Let b be k/462 - (2 + 22/(-14)). Which is bigger: b or 17?
17
Let x be 602/(-172) - (-13145)/44*2/(-5). Let w = -119 + -7. Are w and x unequal?
True
Let s = -7255.98 + 7156. Let y = s + 100. Is -15 less than or equal to y?
True
Suppose -525 = -497*m + 492*m. Let l = m + -106. Which is smaller: -4/75 or l?
l
Let w = 3 - 2. Let n = -342808/315 + 9794/9. Which is smaller: w or n?
n
Suppose -30 = -33*c + 28*c. Let i be 14/(c*5/15). Let o be (4/i)/((-162)/(-63)). Is -2 greater than o?
False
Suppose 120*k - 4961 = -5081. Which is greater: 31/308 or k?
31/308
Let l(s) = -8*s - 7. Suppose -x = 3*d - 1, -2*x - 5 = -d - 0*d. Let t be l(x). Let h be 2/(-3) - (-4)/t. Which is bigger: h or 0?
0
Suppose 9*o = -13*o + 270710. Let y = o - 85917/7. Which is bigger: 32 or y?
32
Suppose -5*k + 0*k + 3*g = -99, -5*k = -g - 103. Let p be k/(-7) + (6 - 3). Is p <= -11/41?
False
Suppose -4*k = -2*k + 34. Let m(h) = 4*h**2 + 18*h - 263. Let t be m(6). Which is bigger: k or t?
t
Let f = 0.1677 - 0.0277. Let z = 26.8 - 26. Let q = -2.2 - z. Are q and f unequal?
True
Suppose -5*j + 2 = 12. Let u = 103 - 135. Let y be 3 + 2 - 1 - u/(-6). Which is smaller: y or j?
j
Let y be (-79)/(-8) - (-68 - (-3258)/48). Let k = 18252673/15 - 1217364. Let b = k - -1585/3. Which is bigger: y or b?
y
Let m = 637 - -423. Is m less than 1057?
False
Let w be ((-34)/(-357))/(2/(-15)) + 1. Which is bigger: -1945 or w?
w
Let l = -381439 - -1913276/5. Is l smaller than 1216?
False
Let u = 613/2943 - 56/327. Is u equal to 0.33?
False
Let z(g) = -6*g + 33. Let r be z(6). Let l(n) = -n**2 - 12*n - 28. Let m be l(r). Which is bigger: -1/130 or m?
-1/130
Let s be ((-4)/(-6))/(10/6). Let z = -592.755 + -12.345. Let p = -608 - z. Which is smaller: p or s?
p
Let j be (-30)/16*4/6. Let x = 224/3859 + -4307/7718. Which is bigger: j or x?
x
Suppose 38*l - 10*l + 3*l = -3193. Which is smaller: -114 or l?
-114
Let o(z) = 175*z - 2089. Let q be o(12). Is 283/25 > q?
True
Suppose 3*n = -s - 29, -48 = 5*n - 0*n + 2*s. Let m be (35/n)/((-35)/10). Which is smaller: m or 9/68?
9/68
Let f = -424 + 367. Let l = 428 + -427.9. Is f greater than or equal to l?
False
Let s(w) be the first derivative of -19 - 1/2*w**2 + 8*w. Let f be s(-5). Which is bigger: f or 12?
f
Let x = -122 + 208. Let f = x + -81. Let m be 24/(-14)*(-28)/f + -1. Are m and 10 equal?
False
Let s = 3.03 - 3. Let b = -33.42 - -33.5. Is b < s?
False
Let z = 11 - -9. Let y = 1687 + -1684. Let u be (y - -5)*(-7)/z. Which is bigger: u or 0.2?
0.2
Suppose 4 = o + 1. Let f = o - 5. Let k be ((-6)/(-8) - 0)/(45/20). Do k and f have the same value?
False
Let a = -1.08101 + 0.08101. Which is smaller: a or -11428?
-11428
Suppose 24*d - 26*d = -490. Let o = -2/128199 + 121660859/512796. Let c = d - o. Is 7 bigger than c?
False
Let w = -3.5 + 1.6. Let p(z) = z