e 4*z = 5*p + 21, -z - 17 = -6*z - 3*p. Let j = z - 5. Which is greater: j or -1/2?
-1/2
Let m = 8 + -5. Suppose -3*c + 10*c - 35 = 0. Does c = m?
False
Let q be 0 - (-1 - 2) - 2. Suppose -3*p - r + q = 2, -p + 1 = r. Which is smaller: p or 0?
p
Let z = 0.27 - 0.27. Is z bigger than 11?
False
Let n(q) = -q - 2. Let g be n(-1). Which is smaller: g or -2?
-2
Let n = -8 - -7.69. Which is smaller: n or -1/5?
n
Let c be (-700)/(-16) + (-6)/8. Let h = c - 213/5. Does h = -1/5?
False
Suppose -60 = -b - 2*b. Let t = b + -12. Let y = 5 - t. Are -3 and y non-equal?
False
Let o be (-3 + 4)/((-1)/(-3)). Let g = 2 + o. Which is smaller: g or 0?
0
Suppose -a + 18 = -11. Let q be a/(-14) - (-1 - 1). Is q < -1?
False
Let u = 37 - -15. Let d = -257/5 + u. Do 1 and d have the same value?
False
Let q = 143 + -290. Let s be (2/4)/(q/(-6)). Is 1 > s?
True
Let k = 15 - 17. Does 1/5 = k?
False
Let q = -22873/46755 + 1/3117. Let p be 4/30*(-8)/3. Let h = p - q. Which is greater: 1 or h?
1
Let c = -42 - -38. Which is smaller: -3 or c?
c
Suppose 0 = -5*h + 25 - 10, -9 = -2*a - h. Let f be (a/(-1))/27*-21. Is 1/4 at most as big as f?
True
Suppose 0 = -z + 29 - 18. Are 11 and z non-equal?
False
Let j be (-9)/(-11) - (-1 - -2). Suppose -s - s - 3*v - 6 = 0, 0 = 5*s - 2*v - 23. Let n be (3 - (-2 + s))/2. Which is bigger: j or n?
n
Let r = -621 - -20495/33. Is r greater than -1?
True
Let v = -4 - -10. Let y be (v*2/(-44))/(-3). Which is smaller: 0 or y?
0
Suppose -3*c = 2*c + 110. Let y = c + 10. Let o be (-4)/(-14) + y/189. Which is greater: 1 or o?
1
Let f be 20/4 - 1468/292. Do -1 and f have the same value?
False
Let i = -131 + 127. Which is greater: i or 0?
0
Suppose u - 1 = -0. Let g = -11 + 12. Is u > g?
False
Suppose -4*b - 2*x + 40 = 0, -3 - 53 = -3*b + 5*x. Suppose -4*k + 12 = -5*p, 3*p - 5*k + 3 + b = 0. Let o be 4/(-10) + 28/45. Is p greater than o?
False
Suppose 2*j + 20 = 4*i, -3*i - 3 = 2*j - 18. Suppose j*g - 2*g = 0. Let r = 49/222 + -2/37. Is g greater than r?
False
Suppose -5 + 11 = 2*h. Let n = h - -7. Is n <= 10?
True
Let u = 2 - -4. Let a = 11 - u. Which is smaller: 0 or a?
0
Let u = 0.95 + -0.98. Is 0.09 less than u?
False
Let b(x) = -4*x. Let r be b(-6). Let v = r + -25. Which is smaller: 0 or v?
v
Suppose -5*h + c - 25 = 0, 2*c + 15 = -c. Is h at most -7/3?
True
Let l = -9 - -9. Let r(s) = s**2 + l*s**2 + s**3 - 7*s**2 - 2*s**3 - 8 - 2*s. Let u be r(-6). Is 3 at most u?
True
Let f(o) = o**2 + 6*o + 9. Let p be f(-2). Which is smaller: -5/18 or p?
-5/18
Let c be ((-2)/(-3))/(544/(-72)). Let l = -19/986 - c. Is l > -1?
True
Let w be -4 - ((-7)/(-49) + 146/(-42)). Which is smaller: -18 or w?
-18
Suppose 2*c = 2*s, 4*s + 3*c = -0*s + 14. Let p be -1 - ((-69)/6 + s). Which is bigger: p or 10?
10
Suppose 4*z - 2*q = z - 422, -20 = -5*q. Is z <= -139?
False
Let c(j) = -j**2 + j + 3. Let s be c(0). Let d be 14/(-63) - 137/(-9). Let g be (-10)/4*(-12)/d. Which is smaller: g or s?
g
Suppose 0*s = 5*k - s + 41, 0 = 2*k - 5*s + 21. Let o = -28 - -20. Is k <= o?
True
Let f(n) = n**2 + n - 2. Let k be f(-3). Let l = -2 + k. Let x(t) = 2*t - 4. Let g be x(3). Is l < g?
False
Let d(j) = -j**3 - 7*j**2 + 9*j + 10. Let m be (1 - -5)*(-12)/9. Let r be d(m). Do r and 3 have the same value?
False
Suppose -2*c - r = -7, -5*c + 3*r + 2*r = -25. Let o be -7 + 9 - (c - 1). Does o = -1?
True
Let h = 7/20449 + 4047322/20449. Let c = -198 + h. Let r = -2 + 1. Is r < c?
True
Let h = -20 + 16. Which is bigger: -5 or h?
h
Let o = -4.5 - -4. Let n = o + 0.5. Let f = -0.3 - -0.4. Do f and n have different values?
True
Let j = 1075/6 - 180. Let n be (-3)/(-9)*3 - 3. Is j less than or equal to n?
False
Suppose 0 = 2*m + m. Suppose m = 5*b - 3*y + 12, b - y = 4*y - 20. Let r = b - -2. Is r at most 3?
True
Let h = -0.2 - -0.1. Is -11/4 < h?
True
Let a = 12 - 38/3. Which is greater: a or -2/9?
-2/9
Let d = -195/382 + 2/191. Are -1/2 and d equal?
True
Let y = 4 - 3. Let o be 28/12 - 2*y. Is o greater than or equal to -0.3?
True
Let l = -1544/7 + 221. Let s = -2.01 - -0.01. Is s smaller than l?
True
Let t = 18 + -24. Is -5 >= t?
True
Let i = 8 - 7. Let l be (-2)/(-20) + i/2. Is l at most 0?
False
Let c be 237/(-120) - 0 - (-2 - 0). Which is smaller: 0 or c?
0
Let o be (2/(-6))/(2/(-6)). Let g(r) = -165*r + 1. Let x be g(-1). Let p = -2160/13 + x. Which is smaller: o or p?
p
Let v be ((-1)/388)/((-7)/28). Let f be 70/(-12)*13/485. Let s = v - f. Is s at most as big as 0?
False
Let k(r) = r - 7. Let h be k(7). Let g = 843/5 + -168. Does h = g?
False
Let l = 98.85 + -99. Is -2 not equal to l?
True
Let w = -12 - -12.1. Is w > -1/5?
True
Suppose -3*t = f - 8, 2*f + 6 = -2*t + 7*f. Let o be -1 - 1 - t/4. Let g = -45 - -42. Is g != o?
True
Let t be (5 - -94)*4/(-3). Let i be (-2)/(-9) - t/135. Are 1 and i unequal?
True
Suppose 3*z - z = 20. Suppose 3*l + 27 = t + 2, -5*t + 45 = l. Is z at least as big as t?
True
Let r = 112 + -128. Are r and -15 non-equal?
True
Let z(c) = -c + 2. Let a be z(7). Suppose 0*r - r = 4. Does r = a?
False
Suppose 0 = -c + 2*c - 3, -3*p + c = -84. Let d = 13 - p. Is -16 greater than or equal to d?
True
Let v = -1 + 2. Let w(a) = 5*a. Let d be w(v). Let c = d + -2. Is 1 > c?
False
Let w = 2.2 + -0.2. Which is greater: w or -4?
w
Let r(t) = -t + 9. Let q be r(5). Let i(g) = -g**2 + 5*g - 6. Let p be i(q). Suppose 2*m = 4 - 14. Which is bigger: m or p?
p
Suppose -2*m - u + 7 = -2*u, 0 = -3*m + 5*u + 14. Let r(z) = -z**3 + 3*z**2 + 2. Let k be r(3). Is k != m?
True
Let w = 30.2 + -25. Let r = 5 - w. Is -2 not equal to r?
True
Suppose 0 = d - 4*a - 19, -3*d - a - 1 = -7*d. Which is bigger: d or 3/11?
3/11
Let u be 897/104*4/6. Is u at least 5?
True
Suppose -y + 1 = -6. Let l(q) = q**2 - 7*q. Let n be l(y). Is -2 smaller than n?
True
Let o(k) = -4*k**2 - 8*k - 5. Let f(x) = -11*x**2 - 23*x - 14. Let t(u) = 3*f(u) - 8*o(u). Let i be t(-4). Let l = 0.3 - 0.2. Which is smaller: i or l?
l
Let b = 14.7 - 1.7. Let f = -10.5 + b. Let l = f + -0.5. Is l >= -1?
True
Let p = -3/17 - -23/34. Let f(t) = -t - 2. Let l be f(-3). Which is smaller: p or l?
p
Let t = 8 - -2. Suppose t = -2*r + 2*s, 4 = 4*r + 2*s - 6. Which is greater: r or -2/7?
r
Let h be (-1)/((-14)/(-12) - 1). Let j be (9/h - -1)*-2. Which is greater: j or -9?
j
Suppose -5*b + 2*y = -b - 8, -b + 2*y = 1. Is b < 1?
False
Let p be (-1554)/440 + (-6)/(-33). Let r = p + 13/5. Which is greater: r or -0.1?
-0.1
Let m be (6/(-26))/((-1)/4). Let b = m + -136/91. Suppose -n - 2 = 4*y + 2*n, 0 = -2*y - n - 2. Which is bigger: b or y?
b
Let z(w) = -w + 2. Let h be z(-2). Let q be ((-15)/(-35))/((-6)/h). Which is smaller: q or 1?
q
Let m(c) = c**3 + 7*c**2 + 6*c - 1. Let v be m(-6). Suppose 3 - 1 = n - 2*b, 2*n = -3*b + 4. Suppose -f + 1 = n. Is f < v?
False
Let x = 8 + -2. Which is greater: x or 5?
x
Let k be 9*((-9)/(-2) - 3). Which is smaller: 14 or k?
k
Let v = 2 + 7. Let k = v - 9. Which is smaller: 0.03 or k?
k
Let x(n) = 11*n**3 + n - 2. Let t be x(1). Let b = t - 11. Is 1/12 greater than b?
True
Let g(c) = 5*c + 2. Let q be g(-2). Let z be (5 + q)*2/(-3). Suppose 24 = 3*u - 3*b, 0 = -3*u + 5*b + 57 - 23. Is z less than or equal to u?
True
Let p be -3*(-4)/15*-5. Let s be 1/1*4/p. Which is greater: s or -2?
s
Let l be (-2)/(16/4)*4. Which is smaller: -3/2 or l?
l
Suppose 3*s + 3 = z + 4*s, -15 = -5*z - 4*s. Suppose -3*u - 3*c + 6 = 0, -7*u + 15 = -3*u - z*c. Is u != 4?
True
Let s = -0.32 - -0.42. Let p be ((-2)/10)/(2/(-6)). Is p greater than or equal to s?
True
Let b be 12 + 1 + 3 + -7. Let g be 6/(b/(-3)) + 1. Does g = 2/7?
False
Let a be (-4)/6 + 96/180. Which is smaller: -11 or a?
-11
Let v = -2 + 0. Suppose -3*l = 5*j + 21, -3*j - 8 - 9 = 4*l. Which is smaller: v or j?
j
Let g be (-6)/21 + (-46)/(-14). Let z(d) = -2*d**3 - g*d - 3*d**2 + d**3 - 3 + 7*d. Let t be z(-4). Which is bigger: t or -4?
t
Let u = -4.9 - -5. Which is smaller: 0.14 or u?
u
Let n = -4 - -2. Let i = -100 - -99. Which is bigger: n or i?
i
Let t = 16 - 13. Is -1 greater than or equal to t?
False
Let n = 2 + 1. Suppose -a = -n*a + 6. Are 4 and a unequal?
True
Let l(g) = -g**3 - 8*g**2 + 11*g + 17. Let o be l(-9). Are o and 1/23 equal?
False
Let v = 1238 - 6224/5. Let u = -36/5 - v. Which is bigger: u or -1?
u
Let s(v) = -6*v**2 - 9*v + 5. Let u = -6 