 5864 + -1413226/241. Is m > 1?
False
Let i be -14 - (-15 - -8) - -7. Which is greater: i or -1/80?
i
Let n = 13/430 - -3/43. Let o = 2 - -10. Suppose o*x - 7*x = 0. Which is greater: x or n?
n
Let x = -332 + 332. Is -0.95 at most as big as x?
True
Suppose 3*h = 2*h - 10. Let p = h - -14. Suppose -p*k = k. Does 3 = k?
False
Let v = -1334/7 - -191. Let k(f) = -3*f**2 + 7*f - 7. Let g be k(3). Let l = g - -13. Is l not equal to v?
True
Let w = 91.6 + -91.8. Are w and 77/15 nonequal?
True
Let t = -18 + 40. Suppose 4*b + 3*o = -o - 4, -2*b = -4*o - t. Which is bigger: 8 or b?
8
Let r(m) = 4*m**2 - 2*m. Suppose 3*y - 2*c = -y - 2, -y = -2*c - 4. Let f be r(y). Let b be f/130 - 37/(-13). Is 5/3 bigger than b?
False
Suppose 0 = 5*v + 25, a + v = -0*v + 25. Is -2 != a?
True
Let v = -4.6 - -3.6. Is -24.8 less than v?
True
Let x(s) = 0*s - 9*s**2 - s - 14*s**2 - 1. Suppose 5*c - 7*c + 5*v - 22 = 0, v - 5 = c. Let q be x(c). Is q at most -24?
False
Let d be (-2)/(-12)*2/(-11). Let p(k) = -8*k - 24. Let r be p(-3). Suppose w - 5*w = r. Which is bigger: d or w?
w
Let x be 2338/(-1127) + 12/14. Do x and 0 have different values?
True
Let x(q) = 2*q - 13. Let d = -16 - -9. Let u be x(d). Let p be (-6)/u - 29/90. Are p and 0 equal?
False
Let w be (-37)/(2/(0 - 2)). Let n = -25 + w. Suppose 0 = c + 4*t - n - 9, c + 2*t - 11 = 0. Is c less than 3?
True
Let d(p) = 11*p**2 + 3*p + 32. Let o be d(-8). Is o < 712?
False
Let c = -0.04 - 3.06. Let b = 0.003 - 2.103. Let h = b - c. Is h smaller than -7?
False
Let t = 2 - 1. Suppose 2*h = -h + 12. Suppose 0 = 3*v + u - 0 + 2, -v - 2*u - h = 0. Is t at most as big as v?
False
Let h be (-2)/18*-3 - (-24)/(-216). Is 18 < h?
False
Suppose 0 = -i - 760 + 762. Is 106 less than i?
False
Let u = 742 + -741.739. Which is smaller: u or -0.2?
-0.2
Let d(j) = j**2 + 8*j + 4. Let l be d(-7). Let q be 1/l + (-2)/(-12). Is 0 < q?
False
Let p = 5891/18715 - -1/985. Which is smaller: p or 1?
p
Let a = -12.8 - -17. Let k = -4.02 - -0.02. Let f = a + k. Which is smaller: -1 or f?
-1
Let t be (18/(-168) - 0)*(-56)/48. Suppose 4*r - 2 - 2 = 0. Let j be 3/(-2) + r/2. Which is smaller: t or j?
j
Let m be 8/(-36) - 32/18. Let k be m - (-6)/(2 + 0). Which is bigger: 2 or k?
2
Let h = -3660004/87 - -42070. Let u = 22799/435 + h. Let w = 53 - u. Is w less than 0?
True
Suppose 12 = -3*r - 5*y, 2*r + 5*y = -2 - 11. Let c = -1.01 + 50.01. Is r at least as big as c?
False
Suppose -92*h + 95*h = -p - 99, 5*p - 3*h + 549 = 0. Is p greater than 5?
False
Let y = 2/2629 + -5648/512655. Which is bigger: y or 8?
8
Let h be -24 - -1*(-1)/1. Let c(j) = 89*j + 1042. Let m be c(-12). Is h <= m?
False
Let n(k) = 17*k - 22. Let l be n(3). Which is bigger: 151/5 or l?
151/5
Let z = 19 + -9. Let n = z + -8. Let o = 2.2 - n. Is o bigger than -1/4?
True
Suppose 5*f - 7*y = -5*y + 70, 5*f - 3*y = 70. Suppose -9*s + 5 = f. Which is smaller: 6/35 or s?
s
Let k be -2 + 96 + -26 + 20. Which is smaller: k or 800/9?
k
Let y be (-6*10/(-360))/(4/24). Which is smaller: -20/77 or y?
-20/77
Let d be 7/2 - 1/(-2). Let n = d - 1. Let l = 3/163 - -1935/1141. Which is greater: n or l?
n
Let r = -0.22 - 36.78. Let y = 44 + r. Which is greater: -0.3 or y?
y
Let h be -3 - -1 - 40/(-22). Let b(s) = -s**2 - 4*s + 21. Suppose -21 = 4*z - z. Let a be b(z). Which is smaller: h or a?
h
Let z be -2*1 + (-592)/(-328). Let v be 4977/(-711) - (-7 - (0 - 1)). Which is smaller: z or v?
v
Suppose -4*n - 9 = -5. Suppose 0 = -y - 3*g - 8, 4*y - 24 = -0*y + 2*g. Let m be (-1 + n)*(-2)/y. Which is smaller: m or 3/2?
m
Let y = 0.25 - 0.17. Let d = 0.08 - y. Suppose z + 4*b = -0*z - 15, -4*z - 3*b - 8 = 0. Is z greater than d?
True
Let u be (-7)/9*(-40)/(-35). Let h = u - -257/279. Is 0 greater than h?
False
Suppose -3*z = 1 - 4. Let c(j) = -3*j**2 - 6*j - 3. Let h be c(-5). Let l be (-2)/5*60/h. Which is bigger: l or z?
z
Let g(b) = b - 10. Let s be g(13). Suppose 0 = s*i + 9. Let q = 3 + i. Which is greater: 1/5 or q?
1/5
Let u = 862 + -852. Let v(d) = -d. Let c(x) = -x**2 + 8*x. Let m(i) = -c(i) + 2*v(i). Let q be m(u). Is q not equal to -1?
True
Let o = -511 + 521. Is 17/2 > o?
False
Let w = -5 - -3. Let k be 2/(4/1) - (-29 + 31). Is w != k?
True
Let j = 1.19 - 0.19. Let v = -155.06 + 166. Let z = -11 + v. Which is smaller: z or j?
z
Suppose u + 10 = 2*r, 18 + 7 = 5*u + 5*r. Are u and 7/43 non-equal?
True
Let m be 1 + ((-294)/380 - 7/35). Suppose z = -l + 6, 5*z + 2 - 23 = 4*l. Is m equal to l?
False
Let l be (2 + (33 - 8))*(-4)/246. Is l bigger than -1?
True
Let g = -0.28068 + 0.08068. Let x be (-94)/(-56) - 2/8. Which is smaller: x or g?
g
Suppose 8484 = 108*c - 7*c. Is c <= 86?
True
Suppose 4*z + 24 = 6*z. Suppose z = 5*c - 8. Suppose 0 = -c*n + 18 - 78. Does n = -15?
True
Suppose 0 = -4*u + a + 118, 3*a + 0*a - 110 = -4*u. Let d = u - 30. Let n = -184/117 - -10/9. Is n < d?
False
Let j be (-3)/9 - 53/(-15). Let u be 23 + -29 - (-312)/35. Let r = j - u. Is r greater than or equal to -18?
True
Let h be ((-4)/(-5610)*-762)/((-2)/10). Let c = h + -26/11. Which is smaller: 0.1 or c?
0.1
Let b = -24 - -28. Let k = -20 - -18. Which is smaller: b or k?
k
Suppose -4*r = -v - 140, -31 - 151 = -5*r + 3*v. Is 21 at least as big as r?
False
Let g(f) = 16*f - 127. Let p be g(8). Which is smaller: p or 1/48?
1/48
Let f(c) = -53 + 51 + 4*c + c. Let d be f(3). Let h = d - 13. Is -2 smaller than h?
True
Let q(k) = 125*k + 9624. Let t be q(-77). Let d be 1 + -2 - 0/(-1). Is t != d?
False
Let j be -14 - -15 - -1*2. Suppose -4 + 28 = -j*r. Let m = 10 + r. Is 2 <= m?
True
Let q = -49 - 18. Let d = -872/13 - q. Which is greater: 0 or d?
0
Let v = 7 + -6.64. Let s = v - 3.36. Are -2/3 and s non-equal?
True
Let q = 3 + -33. Let n be (26/q - -1)*10. Which is bigger: 1 or n?
n
Let f be (-21)/(-4) - 3/12. Suppose f*k + 25 = 5*i, -4*i + 4 = -2*i. Let y(x) = x**2 + 3*x - 6. Let n be y(1). Which is smaller: n or k?
k
Let w(j) be the first derivative of j**4/4 + 20*j**3/3 - 10*j**2 + 10*j - 43. Let z be w(-21). Which is smaller: -43/4 or z?
z
Let b = -268.248 - -1.248. Is 0.1 >= b?
True
Let i = 5 + -1. Let z be 2*(1/((-2)/i) - -1). Is -20/11 > z?
True
Let u = 2 - 2.2. Let v = 0 - u. Let r be 4/(-6)*12/260*-5. Which is smaller: r or v?
r
Let l be (-1 - 32450/(-8)) + (-2)/8. Let d = 660967/163 - l. Which is smaller: -1 or d?
-1
Let r = 23.58 + -23.48. Let w be (-7)/(-21) + (-23)/(-21). Which is bigger: r or w?
w
Let c be 8*7891/62972 + -1. Does c = -1?
False
Suppose 0*l + 560 = -20*l. Which is bigger: l or -25?
-25
Let o = 44 + -46. Is o at most as big as -5/11?
True
Let f(v) = 2*v**2 - 13*v - 141. Let k be f(12). Let q = -13 - -5. Which is smaller: q or k?
k
Let l = -0.014 - -0.314. Is l bigger than -3.8?
True
Let i = -52 - -42. Let v be (-18)/(-12) + (-27)/i - -4. Which is greater: 7 or v?
v
Let i = 1.737 - -0.263. Let l = 22 - 24.4. Is l greater than i?
False
Suppose 4*b - 3*o = -21 + 2, -5*b = -5*o + 30. Let f = 1.1 - 1.25. Let h = f - -0.01. Is b less than or equal to h?
True
Let u = 384 + -384.2. Is u greater than or equal to -82/3?
True
Let g(y) = y**2 - 17*y - 238. Let l be g(26). Is -33/8 less than l?
True
Let f be ((-8)/(-14))/(222/259)*-6. Which is bigger: f or -10?
f
Let l = -948 - -970. Suppose 88 = 7*d - 3*d. Is d not equal to l?
False
Let o = 0.95 + -0.6. Let n = 0.25 - o. Which is smaller: 0.28 or n?
n
Let r be 104*(0 + (-7)/(-28)). Does 25 = r?
False
Let v be (-5)/(35/(-798))*(-1)/(-2). Suppose -d = -65 + v. Is d <= 6?
False
Suppose 0 = 2*c + 6, -4*u - 5*c + 3 - 86 = 0. Is u equal to -9?
False
Let b(i) = i**3 - 6*i**2 + 10*i - 9. Let d be b(4). Let f = 5933/19 - 312. Is d smaller than f?
True
Let y(i) = -i**3 + 14*i**2 - 2*i + 20. Suppose 3*h - 29 = -a, -2*a + 2*h = -4*a + 38. Let p be y(a). Is -5 != p?
True
Suppose 3*l + 3*t - 5281 = -2*l, l - 1053 = t. Suppose 0 = g + 5*y + l, -3*g - 2110 = -g - 4*y. Let c = g - -11597/11. Which is bigger: c or -2?
c
Let a = -9 + 11. Suppose -2*p = a*p - 4. Let h = p - 5/7. Is -0.3 less than h?
True
Suppose -2*r + 5 = 1. Suppose 0*z + z = -4*o + 21, -r*o = 4*z - 14. Let g be 176/(-20) + (-1)/o. Which is smaller: g or -10?
-10
Let o be (-6)/8 - (-1)/(35400/26622). Does o = 1?
False
Let m = -658 + 365. Does -293 = m?
True
Suppose 0 = 1274*y - 1267*y + 350. Is y greater than