Are y and -10/37 nonequal?
True
Let v be (177/25 - 4/50) + -5. Which is greater: 95/37 or v?
95/37
Let w = -143 - -148. Suppose n - 1 = 3. Suppose -n*l = -f - 19, 0 = -w*f - 3*l + 7*l - 47. Which is bigger: f or -9?
f
Suppose 6707 = 10*f + 9*f. Suppose 2*n = f - 355. Which is greater: 0.067 or n?
0.067
Let y(u) = -42*u + 3. Let q be y(2). Let l(z) = -2*z**3 - 70*z**2 - 72*z - 218. Let n be l(-34). Is q < n?
False
Let f be 16/30*(-85)/(-204). Let u(a) = 2*a**2 + 10*a - 11. Suppose 3*o + 12 = -g, 3*g + 0*o + 8 = 5*o. Let l be u(g). Which is bigger: l or f?
l
Suppose 3*c + 6*w = 5*w - 91, c - 2*w + 35 = 0. Suppose 781 - 525 = 8*j. Suppose 527 = 15*q - j*q. Is q at most as big as c?
True
Suppose 0 = -4*c - 28, -w - 4297 = -6*c + 10*c. Is w < -4270?
False
Suppose 0 = 302*k - 264*k - 9994. Is 271 smaller than k?
False
Let h = -17816 - -17828. Do h and 1/15 have different values?
True
Let j = -2954 + 2956. Which is greater: 608 or j?
608
Let i be -14*(286/(-462) + 4/12). Is 176 != i?
True
Let q(u) = -12*u**3 + 14*u**2 + 3. Let s be q(6). Is -2085 less than s?
False
Let z = 6796 - 1909674/281. Let t = -235/2 + 117. Which is greater: z or t?
z
Let v = 4.8 + -8.5. Let n = -0.3 + v. Let r = 13/70 + 3/14. Are n and r equal?
False
Let s be (-2)/42*-7*0. Are s and 1/3322 non-equal?
True
Suppose -15*i - 4*i - 33*i - 516516 = 0. Which is bigger: i or -9934?
i
Let i(f) = 3*f**3 + 30*f**2 + 164*f - 66. Let v be i(-7). Is v greater than or equal to -775?
True
Suppose 2*y + 3*y + 25 = 0. Suppose 5*x = -10*x - 15. Are x and y non-equal?
True
Let d = 768 - 878.7. Let o = 106 + d. Let m = o + 5.7. Which is smaller: m or -0.4?
-0.4
Suppose -3*a = -5*v + 337 + 70, 0 = -4*v + 3*a + 328. Suppose 5*f - 36 = v. Let y be -1*(48/f - 2). Which is smaller: y or 1?
y
Let b(g) = -354*g**2 + g + 82. Let o be b(0). Let d(a) = 5*a**2 - 6*a - 1. Let q be d(5). Let p = 175 - q. Is p smaller than o?
True
Let y be 2/9 - (-1268)/126. Let n(p) = -p**3 + 26*p**2 - 47*p + 6. Let h be n(24). Suppose 6*w - 3*w = h. Do y and w have the same value?
False
Let l = 755 + -3773/5. Is -2319 > l?
False
Let r be ((0 - -2)*-30)/7. Let y = r - -293/35. Suppose -g - 4*x - x = 13, -3*g = -x - 9. Which is smaller: g or y?
y
Let j = -7348 - -4209. Is j at least as big as 1/2?
False
Suppose -12 = -4*f + 4*x, -22 - 1 = 4*f + 3*x. Is f greater than or equal to -264/83?
True
Let z = 132123/5 + -26230. Is 0.3 != z?
True
Let l = -0.39089 - 380.60911. Is l at least 3?
False
Let x be (2/(-5))/2 + 471/2205. Let n be -1 - 3 - (-51 + 46). Is x < n?
True
Suppose 5*i + 4*l + 19 = 0, 2*i + 5*l = -3*i - 25. Let k = 28391/156 - 182. Do i and k have different values?
True
Let j = -313 - -458. Suppose 3*d - 266 = 169. Is j greater than d?
False
Suppose 14*f - 80 = 32. Suppose -4*s + 0 - f = 0. Let p be ((-4)/(-38))/(s/(-2)). Is 0 at least as big as p?
False
Suppose 576 = 2*p - 5*p. Let n be 2*252/(-16)*(-122)/p. Let z = n - -20. Which is smaller: 0 or z?
z
Let g(k) = 34*k + 62. Let z be 6*(-5)/(-10)*6/(-9). Let w be g(z). Suppose i = -5*l - 15, -3*i - 14 = i - 3*l. Which is bigger: i or w?
i
Let s = -3/11407 + -3935394/79849. Let x be (-508)/(-40)*-4 + (-12)/(-15). Let y = s - x. Which is smaller: y or 1?
y
Let n = -76/13 - -6. Suppose 13*t - 15*t - 5*i = 0, 4*t - 4*i = 0. Which is smaller: n or t?
t
Let h be (-5571)/(-796) - (-3)/18*-42. Which is greater: 1 or h?
1
Let o = 231 - 206. Suppose 0 = r - 3*w - 31, -2*r - 2*r - 4*w + 92 = 0. Suppose -x = -y - r, -5*x + 107 = 3*y + y. Is x greater than o?
False
Let y = 2320 - 1918. Do y and 402 have the same value?
True
Let r = -4762 - -33269/7. Let i = r + 367/35. Does i = 2?
False
Let j(b) = 17*b - 951. Let f be j(-57). Which is smaller: -1918 or f?
f
Suppose 2*i - 2*t - 84 = 3*t, 5*i - t = 210. Suppose -4*u + 90 = 2*g - 4, 0 = -g + 2*u + 39. Let v = g - i. Is -3/19 greater than or equal to v?
False
Let l = -7914.9 + 8166. Which is greater: 0 or l?
l
Let z(k) = -k**3 - k**2 - 20*k + 18. Let a be z(0). Which is bigger: 762/43 or a?
a
Let a = -4731/2 + 2366. Which is smaller: 1426/9 or a?
a
Let i be (-113112)/(-32)*(80/(-24))/5. Which is bigger: -2356 or i?
-2356
Let u be 16/(-78) - (-6)/9. Suppose 3*p + 21*r = 19*r + 70, p + 4*r = 30. Let q be 0*-11*(-1)/p. Is u equal to q?
False
Let k be (-16 - -12) + 2 + -155. Let y = -100 - k. Is y smaller than 58?
True
Suppose 0 = 3*q + z - 50, 5 = 2*q + 4*z - 35. Suppose -3*f = 5*p - 426, -4*f + q*p + 568 = 18*p. Are f and 142 equal?
True
Suppose -175*w = -20685 + 239960. Are -1255 and w unequal?
True
Let h(g) = 3*g**2 - 3*g + 2. Let w be h(2). Let l be ((-14)/w)/((-1)/2). Suppose -135 = -38*r + 17. Is r at least l?
True
Suppose 0 = -17*v + 15*v - k + 7, 0 = k - 3. Which is bigger: 12 or v?
12
Let c be 3 + (6252/(-10) - 2) + 1268/317. Which is bigger: c or -620?
-620
Let s(y) = 0*y**2 + 5*y - y**2 + 2*y - 3 - 3*y. Suppose -42 = -3*q - 33. Let a be s(q). Which is smaller: 2/21 or a?
a
Suppose -12 - 156 = -7*s. Suppose 0 = -d - 28 + s. Let x be 2/((-552)/612 + d/(-6)). Is x >= -9?
True
Let u be (-16345)/(-56) + 1 + 1. Let k = 294 - u. Are k and 1 unequal?
True
Suppose -3*i + i + 3*u + 8 = 0, 3*i - 12 = -3*u. Suppose y - 7 = 3*d, -i*d - d = -2*y + 13. Let o = -1749/19 - -92. Is o bigger than d?
True
Let g = 29181257/5 + -1255607121/215. Let q = 3782 + g. Is -1 < q?
True
Suppose 208*y + 2*o = 211*y + 262, 3*o = 7*y + 618. Which is bigger: -71 or y?
-71
Suppose 0 = -22*v + 44*v + 198. Which is bigger: v or -6?
-6
Let m(n) = 6*n**2 - 24*n - 45. Let w be m(12). Suppose -63 = -3*z - w. Which is smaller: -157 or z?
-157
Let u = -5102 - -5072. Let l be (1 - 131/124)*10. Let w = 2/31 + l. Which is greater: w or u?
w
Let l = -366 - -256. Let o = l - -135. Let t be ((-4)/(-10)*-3)/(14/(-315)). Which is greater: t or o?
t
Let c be (-34)/(-10) - (-12)/(-30). Let y be 37/c + 19/((-342)/(-12)). Which is greater: y or 43/3?
43/3
Let m be 1036/3 + (-19)/57. Let k = m - 74. Is 271 less than k?
False
Let v = -1287 - -607. Let j = v + 682. Let y = -1/156 - -139/52. Is j < y?
True
Let b be (8/(-16))/((-814)/(-816) - 1). Let l = b - 161. Which is bigger: 40 or l?
l
Let j(f) = -f**3 - 23*f**2 + 26*f + 43. Suppose -4*k - 68 = 28. Let x be j(k). Do x and -23/4 have different values?
True
Let j(u) = 5*u + 189. Let s be j(-33). Is s greater than -2/3?
True
Let d be (-18)/(-1) + 2/(-1). Let p(k) = 2*k**2 - 2*k - 5 + 4*k - k + 4*k. Let h be p(2). Which is greater: h or d?
d
Let a = 390.0504 + -390. Let w = 57.9496 + a. Is -3 bigger than w?
False
Let x = -3805 - -3945. Do x and 1/2 have the same value?
False
Let x be (124/(-8) - -15 - (-158)/(-60)) + 3. Which is smaller: -154 or x?
-154
Let y = 136.985 + 0.015. Let z = 136.2 - y. Are z and 1/2 non-equal?
True
Suppose -4*v + 25 = 3*k, 5*v - 2*v + k - 15 = 0. Let i be v/16*-14 - (-9)/(-3). Which is greater: i or -8?
i
Suppose 123 = 38*t + 25 - 16. Which is smaller: t or 204/49?
t
Suppose 2*c + 0*j - 146 = 3*j, 0 = -c - 2*j + 80. Let x be (29 - 1)*(c + -21). Let s be 4/(-7) - (-460)/x. Which is smaller: s or -1?
-1
Suppose 4573*g - 3704*g + 869 = 0. Let s be (3/(-6))/(209/(-10)). Do s and g have the same value?
False
Suppose -m = 2*m - 3. Let q be (-180)/(-13) + 12/78. Suppose 6*o + 16 = q*o. Which is smaller: o or m?
m
Let j(h) = -27*h + 108. Let o be 5 + -1 + -4 + 4. Let n be j(o). Let w = 52671/64 - 823. Which is smaller: w or n?
w
Let a = -695.19 - 13.81. Let w = a + 709.03. Which is smaller: w or -2/17?
-2/17
Let z = 126 - 117. Suppose 173 = -z*v - 7. Is -15 greater than v?
True
Let j = 3490 - 3491. Does j = -86.2?
False
Let o = 14404 + -16240. Is o bigger than -1835?
False
Let g be 1 - 1 - (-26068)/(-55). Let r = -474 - g. Let w(m) = 3*m**2 - 13*m - 87. Let o be w(8). Which is smaller: r or o?
r
Let a be (-96)/64*(-8)/(-6). Let l be ((-6)/(-2) - (3 - a)) + 1. Let k be 4/20 - (-9)/55. Does l = k?
False
Let l = -81 + 114. Suppose -21*y + l = -24*y. Let h = 11 + y. Which is smaller: 5/11 or h?
h
Let w(o) = -344*o + 1372. Let z be w(4). Let t be 0 + 1 + (-12080)/(-7). Let s = t + -1731. Which is smaller: z or s?
s
Let p be ((-5)/(-15)*-1)/(5/(-30)). Suppose 0 = -i + a - p, -6*a = -4*i - 10*a + 16. Which is greater: 12/19 or i?
i
Let m be ((-19590)/225)/(3/72). Let w = -2067 - m. Which is greater: 24 or w?
24
Suppose 