2. Is a > 1?
False
Let w = -10 + 9. Let k = 1 + w. Suppose k + 56 = 7*h. Which is smaller: h or 1/3?
1/3
Let s be (-20)/(-15) - 504/(-27). Which is bigger: 8 or s?
s
Let h = 2235 + -2275. Do -44 and h have different values?
True
Let m be (48/14)/12 + 100/(-399). Is 1 at most m?
False
Suppose 0 = 2*g - 12 + 10. Let l be ((-4)/(-4 + 8) - 1)/g. Which is bigger: l or -14/5?
l
Let z be (3/6)/(3/(-42)). Let b = 7 + z. Is b less than or equal to 0?
True
Let z = 0.0671 - 67.1671. Let i = z + 68. Which is bigger: 0.1 or i?
i
Let s(f) = 2*f**2 + 3*f. Let x be s(-2). Let a be x - (65/(-3))/(-1). Let w = 20 + a. Which is smaller: w or 1?
w
Let k(j) = j**2 + 2*j + 18. Let y(p) = -p**2 - 7*p - 13. Let t be y(-5). Let m be k(t). Is 0 < m?
True
Let o be ((-4)/(-3))/((-8)/(-12)). Let w(g) = -g**3 + 4*g. Let z be w(o). Is z <= 4/33?
True
Let u(p) = -3*p**3 + 37*p**2 - 12*p + 21. Let s be u(12). Is s greater than 0.25?
True
Let h = 2.01 + -2. Let b = 16.9 + 0.2. Let c = -17 + b. Is h >= c?
False
Let g = 0.79 - 8.79. Which is bigger: -0.1 or g?
-0.1
Let w = 16 - 11. Suppose 5*f + w*s - 24 = 16, -3*f = -3*s. Suppose 0 = -f*z - 3 - 1. Which is greater: z or -2?
z
Suppose -v = -5*q + 5, 5*q + 4*v - 5 = 9*v. Which is smaller: q or 8/7?
q
Suppose 7*i = 2*i - l + 6, 0 = -3*i + 3*l + 18. Suppose 5*p - 21 = -i*g + 4*g, 4*p - g = 18. Is p != 6?
True
Let v be (4/5)/((-2)/(-10)). Suppose 2*q + 2*l = v, -14 + 0 = -5*q - l. Is q <= 0?
False
Let u = 10391/18600 + 1/744. Are 0 and u nonequal?
True
Suppose 0*s - 3*s + m = -73, 2*m = s - 26. Let h = 23 - s. Does h = 2/215?
False
Let i = 962180/217 + -4434. Which is smaller: i or 1?
i
Let s(b) = b**3 - b**2 - b. Let z be s(2). Let l be 553/420 + (-5)/75. Is l equal to z?
False
Let h = -3 - -2. Let r = -1198/119 + 68/7. Which is greater: h or r?
r
Let y = -1774355933/109354406040 + -75/2697112. Let b = y + -2/765. Is 1 at least as big as b?
True
Let t = 29 + -29.56. Let s = t - 0.14. Let b = s + 0.6. Is b bigger than 5?
False
Let w = 2317 - 266469/115. Is 0 < w?
False
Let p be -6 - ((-30536)/464)/11. Is 0.2 < p?
False
Suppose 0 = -16*m + 26 - 42. Is m less than -20/29?
True
Let u be -2*(2/(-8) - (-20)/16). Let c be u/48*534/22 + 1. Which is greater: c or 1?
1
Let n be 1*3/(-12)*-1. Let j = 6.8 - 8.8. Is j greater than or equal to n?
False
Let i = 46 - 116. Let m = -70 - i. Are -9/8 and m equal?
False
Let b be ((-8)/(-2))/(10/5*2). Is 19/2 < b?
False
Let j be 5/(5/(-12))*-1. Suppose -j*c = -7*c + 30. Let d be (6/(-52))/(c/(-8)). Is 0 < d?
False
Suppose 3*u = 8*u - 30. Suppose 5 - u = j. Let h be (2 - 3)/((-1)/j). Which is smaller: -2/79 or h?
h
Let o be 2/2*-1 - 3210428/2730. Let f = o - -1177. Which is greater: -1 or f?
f
Let d = 0.7 + 1.3. Let i = 11 - d. Let m = i - 14. Which is smaller: m or 0.2?
m
Let o(x) = 313*x - 6. Let l be o(4). Let z be l/77 - 2/11. Suppose -40 = -z*r + 12*r. Is r smaller than 10?
False
Let f(u) = u**3 + 34*u**2 + 34*u + 29. Let a be f(-33). Do -5 and a have different values?
True
Let v = 45 + 2. Let q be v/4 + 7/28. Let a be 24/q - 5*1. Is a < -3?
False
Let c be 50/6 - (43 - 35). Which is smaller: -131 or c?
-131
Let x = 59342779699/393395388061 - 1/45369091. Let q be ((-4004)/667 - -5) + 1. Let g = x - q. Is g equal to -2/5?
False
Let s be 18/(1 - (1 + -1)). Suppose -v = -2*v + s. Let n(a) = -860*a - 4302. Let b be n(-5). Is b smaller than v?
True
Let a = -149 + 107. Is a equal to -40?
False
Let s(j) = -44*j - 2. Let v be s(-11). Let y = -9156/19 + v. Let u = y - 82/57. Which is smaller: -2/3 or u?
u
Let q be 1/((-1)/(-4)*1). Suppose 0 = 3*g - q*g - 1. Let y be (6/90)/((-2)/2). Which is greater: y or g?
y
Suppose -4*t + 8 = -8. Suppose 13 = t*i + 41. Which is smaller: i or -6?
i
Let w = -11.9478 + -0.2222. Let b = w + 0.17. Let c be 6/12*0/(-3). Is b greater than c?
False
Suppose 4*w = w - 12. Let k = -4 - w. Let d be k/(-1) + 10/(-6). Which is greater: -2/5 or d?
-2/5
Let a(l) = l**2 + 10*l + 15. Let k be a(-7). Suppose -4*z + 4 + 5 = -3*b, -4*z + 2*b = -6. Let u be (-1)/(z + 2/14). Which is greater: k or u?
k
Let s = -4232/15 + 282. Which is smaller: s or 35?
s
Let k = 38.98 - 39. Which is greater: -11 or k?
k
Suppose -c + 97 = 41. Which is smaller: c or 53?
53
Let l be 1/(-12)*(2 - 9). Suppose 0 = 5*j - 42 + 42. Is j > l?
False
Let t = -9 - -20. Suppose -t = -v + m, 2*v - 79 = -3*v - m. Let w be ((-6)/4)/(v/(-80)). Is w <= 9?
True
Suppose 0 = w + 2*x + 95, 3*w + 199 = -4*x - 82. Which is smaller: w or -90?
w
Let i = -28.24 + 29. Let k = 7.24 + i. Which is smaller: k or -2/15?
-2/15
Suppose 0*n + 5 = -5*n - 4*u, -4*u - 20 = 0. Suppose 4*k = 5*y - 64, 3*y - 32 = -n*k + 7*k. Suppose 0 = -4*d - 5*l + 85, -5*d = -3*d + 2*l - 40. Does y = d?
False
Let a be 3 - 10 - ((-6 - 490) + -2). Is 490 bigger than a?
False
Let k(i) = 2*i + 13. Let n(s) = -3*s - 25. Let d(p) = 5*k(p) + 3*n(p). Let w be d(6). Let t be -12 - (8/6)/((-2)/9). Is w less than t?
False
Let y = -1317/13 + 101. Is y greater than 6?
False
Let w = 1619 + -79326/49. Let a = -475/147 - w. Do -4 and a have different values?
True
Let q be (-3)/(54/(-9))*4. Which is bigger: q or 15/8?
q
Let f = 0.994 - -2.506. Do 2/7 and f have the same value?
False
Suppose 0 = 8*b - 29 + 829. Which is smaller: -96 or b?
b
Let z(s) = s**2 - 2*s. Let w be z(4). Let q = -654 - -663. Which is bigger: w or q?
q
Let b(z) = z + 19. Let d = -12 + -2. Let m be b(d). Suppose -m*w + 4*f - 21 = 0, -3*w + w + 18 = 5*f. Which is smaller: w or -2?
-2
Suppose 5*x = 2*m + 1, -5*m + 2*m - 4*x + 33 = 0. Let l(s) = s + 10. Let h be l(-4). Which is smaller: m or h?
h
Suppose -8*x + 5*x = 9. Let r = 54 - 60. Let v be 5/((-30)/4)*r/(-1). Which is smaller: x or v?
v
Suppose 186 = -2*g + 6*g + 2*b, 0 = -g - 3*b + 34. Suppose -3*s = 25 - g. Is 27/4 bigger than s?
False
Let s = -1.04 - 0.06. Let r = -0.0229 - -0.2229. Is r bigger than s?
True
Let m = 199 + -194. Which is greater: 3 or m?
m
Let f(a) = -a**3 + 2*a**2 + 2*a + 1. Let i be (0 + 0)*(-1 - 3/(-2)). Let p be f(i). Which is bigger: p or 7/6?
7/6
Let q be (-3)/(-3)*(-1 + 2). Let p be (-63)/(-21) - 1/(q/2). Let m = -4/15 - -7/15. Which is bigger: m or p?
p
Let q = 284 + -424. Let r be (208/q)/(4/10). Are -5 and r unequal?
True
Let l be (1006/(-1002) + 1)*-1. Let q = 2426390/2171 - 14512/13. Let z = l + q. Which is greater: 0 or z?
z
Let y = -341 - -326. Do y and 2 have the same value?
False
Suppose -5*i = -208 + 213. Which is greater: -1/927 or i?
-1/927
Let j = -1/49273 - -57403051/295638. Is j bigger than 193?
True
Let w = -14 + 14. Suppose 8 = n - w. Suppose -n = -0*c + 4*c. Is -2 greater than or equal to c?
True
Let k = -17.3 + 18. Let q = k - 0.3. Suppose 3*n + 17 = 5*j, -4 + 0 = -j. Which is greater: n or q?
n
Let c be 0 + 0 + 1/(-3). Let b = -24.05 - -24. Let t = 3.95 - b. Which is bigger: t or c?
t
Let d be ((14 - 2) + -4 - 7)/(-1). Which is greater: d or -9/7?
d
Suppose 0*g = g - 2*r - 8, 5*g - 68 = -4*r. Suppose -3*q = q - g, 4*j - 5*q + 39 = 0. Suppose -4*i = 11 + 9. Which is smaller: j or i?
j
Suppose h - 7 = -2. Let s be (-13)/12 + h/15. Let u = -1448 - -1448. Is u bigger than s?
True
Let w = 34185571/3891 - -684/1297. Let q = 8707 - w. Let i = q - -1654/21. Which is greater: i or 1/3?
1/3
Suppose 3*g + 4 = -7*d + 3*d, -g + 3*d + 16 = 0. Suppose -f = -4*f - g*b + 69, -5*b = -2*f + 23. Which is smaller: 1 or f?
1
Suppose 11 = 5*a - 14. Suppose 2*v + a*g - 4 = 0, 2*v - 4*g - g = 24. Is 7 bigger than v?
False
Let p be (5/(-3))/((-17)/102). Which is bigger: 15 or p?
15
Let u(k) = 9*k**3 - 3*k**2 - k - 14. Let t be u(4). Is 510 smaller than t?
False
Let d = 14 + -5. Let f = 7.5 - d. Let g = f + 7.5. Is 0.1 < g?
True
Let v = 2.26 + -2.296. Which is smaller: v or 0.1?
v
Let z(p) = -p**3 + 5*p**2 + 5*p + 5. Let h be z(6). Let w = 2/1539 - 15416/20007. Which is smaller: h or w?
h
Suppose -4*j + 112 = -5*d, -2*j = 3*d - 8 + 62. Let c be (d/(-25))/((-2)/5). Let r = -15 - -11. Do c and r have different values?
True
Let l = -0.049 - 0.011. Which is smaller: 12 or l?
l
Let o = -2.283 + -0.117. Is o at least as big as 0.2?
False
Let d = 1965 - 1326. Which is greater: -1 or d?
d
Let g(v) = -v**2 - 20*v - 91. Let t be g(-11). Is t bigger than 6?
True
Let f be (4/(-3))/((-1)/3). Suppose -8 = 2*d - 2*q, -f*d + d - 12 = -5*q. Let v = 10 + d