et v be (-15)/(-10)*((-76)/84 + 1). Let y = 77 + -78. Is v bigger than y?
True
Suppose s + a = -2, 0*a = 5*s + 3*a. Suppose -4*u + 5*w + 4 = -4, s*u + 25 = -4*w. Is u >= -48/11?
True
Suppose -1592 = -17*b + 25*b. Is b < -198?
True
Let g be 96/10 - (-4)/10. Let p be 244/2318 + 978/95. Are p and g unequal?
True
Let i = 0.78 - 0.82. Let f = 19.04 + i. Which is smaller: f or -1?
-1
Let v be (-4108)/(-144) - 6/(-27). Is v at least 28?
True
Let z(w) = -3*w**2 + 9*w - 10. Let p be z(7). Let m = -62 - p. Let s be -1*(-4)/m*2. Which is smaller: s or -2/15?
-2/15
Let p = -87 - -84. Let f = 4 - 2. Suppose 41 = -4*x + 5*n, f*n + 5 = 3*n. Are x and p non-equal?
True
Let d = -2 + 0.4. Let z = d + 1.7. Which is bigger: z or 5?
5
Let i = 131.4 + -148. Let t = 17.98 + i. Let a = t - -0.02. Is 1 at most as big as a?
True
Let p = 0 - 1. Let r = -431 - -463. Which is smaller: r or p?
p
Suppose -110 = 3*s - 4*s. Suppose -2*c - c = -5*z - s, 0 = -4*c - 5*z + 100. Suppose 5*n - 25 = -c. Which is smaller: n or -3/14?
n
Let q = 30 - 30. Suppose -m = 4*s + 355, q*m - m = -4*s - 357. Which is greater: -90 or s?
s
Let r = 0.3 - 0.1. Let b(w) = -4*w + 23. Let s be b(0). Let i = s + -91/4. Is i at most r?
False
Let d(n) = n**3 - 10*n**2 + 13. Let l be d(4). Let k = -1747/21 - l. Is k > 1?
False
Let t = 1619.951 + -1618. Let h = -0.049 - t. Which is smaller: -4 or h?
-4
Let v = -317 - -343. Which is smaller: v or 24?
24
Let j = 820 - 814. Let r = -199/255 - 1/51. Which is smaller: r or j?
r
Suppose -5*p = -3*w - 2*w - 3620, 4*w = -2*p + 1436. Let x = p + -23828/33. Let s = x - 29/66. Is s smaller than -1?
False
Suppose 4 = -5*n + 3*n. Let w be (18/150)/(n/5). Suppose 2*m - 6*m = h - 19, -3*m + 13 = 2*h. Which is smaller: h or w?
h
Let o be (0 - (-246945)/22449) + -11. Which is greater: 1 or o?
1
Let c = -465265/22041 + -5/2449. Is -20 less than or equal to c?
False
Let l(z) = 3*z**3 + 4*z**2. Let n(x) = -4*x**3 - 6*x**2. Let h(a) = 7*l(a) + 5*n(a). Let w be h(2). Are -6/23 and w equal?
False
Let y = 0.085 - 0.081. Let c = y - 1.004. Which is greater: c or 1/39?
1/39
Let l = -7.9 + 7.8. Which is smaller: l or 325?
l
Let p be (2/14)/(((-42)/(-637))/3). Let l be (0 - 1)/(1/(-7)). Which is smaller: p or l?
p
Let r = 2150592 + -3075346683/1430. Let z be (-3420)/858 + 5 - (-6 + 7). Let j = z - r. Which is greater: -1/2 or j?
j
Let u(n) = -n**2 + 9*n + 14. Let m be u(10). Suppose i = m*i. Suppose -2*l + 25 - 9 = i. Which is smaller: l or 9?
l
Suppose -5*i + 309 = 2*q, -3*q - i + 2*i + 421 = 0. Which is smaller: 285/2 or q?
q
Let p be (3 + 2)*1 + (-156)/24. Is p less than or equal to -1?
True
Let t be ((-3)/(-10))/((-15)/20). Let g(b) = -b**2 + 1. Let a be g(1). Let o be a*(-1 - (-9)/6). Which is bigger: t or o?
o
Let l(o) = -3*o**3 + 2*o**2 + 4*o + 1. Let u be l(3). Let j be ((-20)/u)/(4/(-5)). Is -1.4 at least as big as j?
False
Let s = -1 + 0.9. Let c = 315884/9975 + -3/3325. Let a = c - 30. Which is bigger: a or s?
a
Let z = 14.2 - 14.14. Which is smaller: z or -8?
-8
Suppose 3*s = t - 5*t + 80, -20 = -4*t. Suppose 0 = -2*g + 3*g - 20. Is g at most as big as s?
True
Let d = 4.9 - 28.9. Let o = 1 + -1.1. Which is bigger: o or d?
o
Suppose 0 = -2*x - 4*n - 14, -4 = 5*x + 2*n - 1. Let f be 17 + -21 + (-1)/33 - -4. Is x less than f?
False
Let o = -1121/15 + 79. Which is smaller: 5 or o?
o
Let c(i) = 5*i**3 + 43*i**2 - 9*i + 32. Let n be c(-9). Suppose 0 = -4*l + 2*m - 206, -5*l - m = 270 - 23. Which is bigger: l or n?
n
Let r be (0 - 1)*(-5)/5. Which is bigger: 2/23 or r?
r
Let i(z) = 5*z - 18. Let d be i(4). Let c be 108/(-84) + d/7. Is c > -8?
True
Let o(v) = -5*v**2 - 112*v - 45. Let l be o(-18). Is l < 0.1?
False
Let i be (-1 + -8)/((-160)/32). Suppose 4*q - 28 = -4*o, -2*o + 8 = -3*o + 2*q. Is i bigger than o?
False
Let l be (828/(-345))/(6/320*-2). Is l less than or equal to 63?
False
Suppose 3*y + 2*y + 2*x - 57 = 0, 2*y = x + 21. Let l be (-6)/(-8) + (-738)/(-72). Do l and y have the same value?
True
Suppose 4*x = 2*z + 4, 2*z = -3*z + x - 1. Let w = 67 + -62. Which is bigger: w or z?
w
Let r(v) = v**3 + 3*v**2 - 5*v + 1. Let q be r(-4). Suppose q*h - 10*h = 0. Is 2/75 greater than h?
True
Let t = 199.806 + -200. Let l = -0.026 + t. Which is greater: 1 or l?
1
Suppose -6 = -3*z + 18. Suppose 10*i = z*i - 74. Let s = i + 39. Which is bigger: s or 6?
6
Let j be 2/7 + ((-17170)/(-105))/(-17). Is j smaller than 4/19?
True
Let y = -305.0331 + 0.0331. Is y less than -1/3?
True
Let o = 19 - 36. Let c = -16.88 - o. Which is bigger: -2/7 or c?
c
Let l = -39 - -15. Let a = -7 - l. Is 33/2 != a?
True
Suppose 3*t + t - 8 = 0. Suppose 2*m - 32 = t*o, 2*m - 2*o - o = 35. Let v = -4 + m. Is v less than 6?
False
Let p = -28 - -30. Let f be (-6)/4*p/3. Is f smaller than 0?
True
Let o = -15 + 1. Let d = o + 12. Let n = 0 - d. Is n != -2?
True
Let d be (-4)/(-38) + (-59)/19. Let y be d/(549/(-6))*-1. Which is greater: 1 or y?
1
Suppose 0 = -a + 2*n - 7, 3*a = 4*n + 2 - 13. Let v(l) = 0*l - a*l - l - 7 + 5*l. Let i be v(4). Which is bigger: 2 or i?
2
Suppose -28*q + 36*q = -72. Is q at least -17/2?
False
Suppose 2*r - u - 5 = 0, -2*u = -5*r + 19 - 4. Is -9 < r?
True
Let d be (28/(-14))/(1*24 - 2). Is -1 at most d?
True
Let z = -1076 + 1077. Let r(d) = -d**3 + 3*d**2 + d. Let l be r(3). Which is smaller: z or l?
z
Let f be (1 - -2)*(-4 - -3). Let k be (f/6 + (-5)/(-6))/13. Suppose 3*q + 2 + 1 = 0. Is k less than q?
False
Let z = 4 - 4.5. Let y = z - 1.5. Is -1/4 > y?
True
Let h = -471 - -450. Which is smaller: -87/4 or h?
-87/4
Let m = -26.7 - 5.3. Let h = 31 + m. Is 1/8 <= h?
False
Suppose -40*q = -9*q - 155. Does 22 = q?
False
Suppose -90 + 12 = 2*b. Let z be 529/(-92)*8/2. Let a be z/b - (-2)/(-3). Are a and -1 non-equal?
True
Suppose -2*n + m = 2*n - 6, 3*n = -3*m + 12. Suppose -4*q = 9 + 7. Let f be (-1)/(-3) - q/60. Which is greater: f or n?
n
Let m be (-3)/2 + 5467/(-378)*3. Which is greater: -46 or m?
m
Let u = 62 + -76. Let j be (4/u - 304/(-280))*10. Is 10 less than j?
False
Let n = -228.3 + 217. Let j = n + 0.3. Let z = j + 13. Is z at least as big as 0.1?
True
Let a(u) = -u**3 - 2*u**2 + u - 6. Let d be a(-4). Let h = d + -36. Is -0.1 at least h?
True
Let i = 13 + -13. Suppose 0 = -i*g + 7*g - 140. Which is greater: 0.2 or g?
g
Let y = -24 + 25.6. Let d = 0.26 + -1.36. Let i = -0.1 - d. Is i >= y?
False
Let k = 1324597/185 + -7160. Which is smaller: k or 1?
k
Let b(q) = -2*q**2 + 16*q - 14. Let x be b(7). Which is bigger: x or -59?
x
Let h be 1608/2466 + 4/(-6). Let j = h - 268/411. Which is bigger: j or -5?
j
Let d = 64/509 + 25880/20869. Let y = 2326/1763 - d. Suppose 3*n - 2*g = -7, 3*g = -5*n + 2*g - 3. Which is greater: y or n?
y
Suppose -54 + 3 = 3*j. Let y = -10 - j. Let h be (-11 - -12)*(y - -1). Is h not equal to 7?
True
Let m = 314 + -293. Is m <= 16?
False
Let q be (0 - -2) + (-6)/(-2). Suppose -f + q - 1 = 0. Suppose 8 = 2*r + f*k, -2*r + 0 = 5*k - 10. Is r <= 2/39?
True
Let k(h) = h**3 - 13*h**2 - 14*h - 15. Let v be k(14). Let x = 27 + v. Suppose -b = 3*b - x. Which is bigger: b or 0?
b
Let g be ((-2)/5)/((-24)/20). Let p = 18.59 - -0.41. Does p = g?
False
Let c = 231/956 - -2/239. Is 28 >= c?
True
Let d(y) = -2*y - 4 + 11 - 10 + y**2. Let j be d(3). Let t be 6*(-1 + (-12)/(-14)). Is t at least as big as j?
False
Let g be (((-4 - -4) + 0)/(-2))/(-2). Does 4/285 = g?
False
Let r = 1064 + -1102. Which is smaller: r or 2/3?
r
Let w(o) = o**3 - 7*o**2 - 9*o + 12. Suppose a - 4 = -0*a, 5*l - 44 = -a. Let s be w(l). Suppose -s*u = 1 - 5. Which is bigger: u or -1/3?
u
Let z(t) = -1 + 6 - 4 + t - 11*t**2. Let y be z(-1). Is y greater than -10?
False
Suppose 0 = -3*d + 2*d + 4*z - 4, -4*d + 3*z = 16. Suppose -5*p = -3*p - 4. Suppose p*m = 2*j - 5*j, 10 = -4*m - j. Are m and d nonequal?
True
Let c be ((-11)/(-44))/(8278/(-16)). Is c > 1?
False
Suppose 0 = -5*c - 4*i + 143, -c + 4*i + 34 = 3*i. Which is smaller: c or 27?
27
Let j = -1019 + 1018. Is j at least 157?
False
Let w be 12/(-60) + (-72)/(-10). Let l = w - -33. Suppose -5*k - 2*v + l = 3*v, 3*k + v = 18. Is k greater than 4?
True
Suppose 3*n = -3*b + 9, -230*n - 4*b + 15 = -229*n. Which is greater: n or 2/2581?
2/2581
Let j = 2165/13 + -167. Let x be 6/8 + 126/24. Suppose -2*q - x = -4. Is q equal to j?
False
Suppose