= -18 - -26. Suppose -4*m + 2*d = -m + a, m + 8 = 2*d. Does 2 = m?
False
Let u = 2 + 3. Let g = u + -6. Which is bigger: g or -1/5?
-1/5
Let u = -0.9 + 6.9. Let z = u + -7. Which is smaller: z or -0.4?
z
Let o be 2 + -2 - (-318)/(-6). Which is smaller: o or -55?
-55
Let s = -29.8 + 33. Let i = -0.8 - s. Let c = -1.9 + 2. Which is bigger: c or i?
c
Let w = -2 + 1. Let r be (-1 + w - -21) + -1. Suppose -5*k - 25 = 3*j, -2 = 2*j + 4*k + r. Is j less than 0?
False
Let p = 23.1 - 23. Let c = 0 - 1. Let b = 1 + c. Is b at most p?
True
Let u be 16/12*(-2)/16. Let p be -3 + 1/1 + 3. Does u = p?
False
Let q = -0.94 - 0.06. Is q > -0.12?
False
Let q = 94 - 1317/14. Suppose r - 2*r + u + 1 = 0, -2*u + 4 = 4*r. Is q greater than r?
False
Let s be (-460)/110 + 4*1. Which is smaller: -1 or s?
-1
Let t(g) = -g**3 + 3*g**2 + 10*g + 1. Let c be t(-2). Which is greater: -3/13 or c?
c
Let y be (-3)/2*(1 - 7/3). Which is smaller: y or 16/7?
y
Suppose 0 = -4*q - 2 + 6. Suppose 3*g - 3*z - z + q = 0, -z = g - 2. Are -1/6 and g non-equal?
True
Suppose 7*p - 10 = 2*p. Is 0 smaller than p?
True
Let b be ((-14)/8 - -2)/(-1). Suppose -3*t = -6*t. Is b smaller than t?
True
Let u be 165/(-171) - (1 + -2). Let i(k) = k**2 + 3*k + 1. Let d be i(-3). Which is bigger: u or d?
d
Let u be (45/12)/((-4)/(-16)). Does u = 14?
False
Let r = 128 + -257/2. Suppose -4 = 2*l - 8. Suppose -l*i + 5*i = -3. Is i greater than or equal to r?
False
Let d be 4/14*6/4. Let j = 2 + -3. Which is greater: j or d?
d
Let k be 12/(-225) + (-1)/(-3). Let f = -6/5 - -33/25. Let u = f + k. Is u bigger than -1?
True
Let k be (2/4)/((-4)/(-32)). Which is smaller: k or 2?
2
Let y be (6/4 - 1)*16. Suppose -2*q + 8 + 10 = 0. Which is smaller: q or y?
y
Suppose 0 = -0*f + 5*f. Suppose f = -0*l + 3*l - 18. Are l and 6 equal?
True
Let r(b) = b**3 + 4*b**2 - 11*b - 14. Let g be r(-6). Let y = g + 11. Is y at least -8?
False
Let t be -2*-2*(-2)/(-8). Let x be 4/(-4) + (t - -1). Let u(y) = -y - 4. Let d be u(-5). Do x and d have the same value?
True
Let p be (3 - -2)*72/10. Let h be (-2 + 69/p)*2. Are h and -2/7 unequal?
True
Suppose 2*u = -3*m - 77, u - 71 = 3*m - 3*u. Is m != -24?
True
Let c be 8/(-12)*3/(-2). Suppose -4*v - 7 = -3*f, -4*v + 2*f - c - 1 = 0. Let a be 1/(2/5) - v. Is a less than 0?
False
Let x = -4 - -3.97. Let b = x - -5.13. Let u = b - 5. Which is bigger: u or -2/5?
u
Suppose 0 = -2*l - 5*c - 11, -2*l - 18 - 43 = -5*c. Let m be l/(-24)*(-52)/(-6). Is m at most 6?
False
Suppose 2*d = -32 - 4. Is -18 < d?
False
Let m be (6/(-9))/(4/6). Let l be 9/(-9) + (-1 - -5). Is m greater than l?
False
Let k be 2/1*(-2)/(-1). Let z be (-2)/(-5 - 8/(-2)). Are k and z equal?
False
Let f(x) = -14*x**2 - x - 1. Let c be f(3). Let i = c - -652/5. Is i at least 6?
False
Let x(a) = a**2 + 3*a - 3. Let o be x(3). Suppose b = -2*v - 2*b + o, 0 = 3*v - 5*b + 25. Which is greater: v or 2/5?
2/5
Let g = 0.099 + 0.401. Is 18 <= g?
False
Let h(d) = d**3 + 5*d**2 + d - 1. Let x be h(-5). Let q(f) = f - 14. Let t be q(6). Is x at most t?
False
Suppose -3*w + 4*k = -15, 2*w + k = -6 + 16. Let z be 0/(w*8/20). Are 1/7 and z unequal?
True
Let x(u) = -u**2 + 6*u + 4. Let m be x(5). Do m and 8 have different values?
True
Let q be 172/10 + 7/(-35). Suppose 3*i - 2*i - 3*h = -8, 2*i - q = -5*h. Which is bigger: i or 1/3?
i
Let r be (-144)/54*(-3)/(-2). Let z be r*7/((-14)/(-4)). Are 1 and z nonequal?
True
Suppose -10 + 0 = 5*o. Let x be -1 + o - (-7 + 4). Are x and 0 equal?
True
Suppose 3*j - 5*y = 0, 4*y = 2*j + y. Is -3 at least j?
False
Let h = 11.3 + -11. Which is bigger: h or 2?
2
Let z = -63.1 - -64. Which is greater: z or 0.5?
z
Let y = 20 - 20. Which is greater: 1.4 or y?
1.4
Let g = 122 + -82. Let d be (1/(-2))/((-4)/g). Is 1 greater than d?
False
Suppose -5*o = x + 25 - 4, -6 = -2*x + 2*o. Which is smaller: -1.5 or x?
-1.5
Let d = -8 + 3. Let f be (d/(-2))/(3/6). Let s = f - 3. Is s bigger than 1?
True
Let c be 296/2352 - 2/12. Is c bigger than 0?
False
Let j(u) = 2*u**3 - 4*u**2 - 6 - 3*u + 2*u - 3*u**3 - u**2. Let q be j(-5). Is -4/9 != q?
True
Let n = 14 + -11. Let g be (1/(-39))/(n/(-6)). Which is greater: -1 or g?
g
Let o = -0.03 - 1.97. Let n = 2.6 - o. Let m = 0.6 - n. Which is bigger: m or -1/2?
-1/2
Suppose 10 = 3*w - 2. Suppose 3*k = w*k. Is k < 6?
True
Suppose 5*t + 5*p - 20 = 0, -3*t + 7 + 8 = 4*p. Is -1/3 equal to t?
False
Let c = 289/6 - -1/6. Suppose 5*k - 3*n + 2*n = -247, -n - 194 = 4*k. Let x = k + c. Which is smaller: 1/3 or x?
x
Suppose 3*m + 0*m + 4*w = -14, 5*w + 19 = -3*m. Suppose 2*p + 0*k = 2*k, -2*p - 2*k = -12. Is m <= p?
True
Let i = -18970667/58940700 - 5/112268. Let h = 2/175 - i. Let s be ((-4)/15)/((-12)/10). Which is smaller: h or s?
s
Suppose -u - 45 = 5*j, -2*u + 8 + 2 = 0. Let l(p) = p**2 + 10*p. Let m be l(j). Let o be (-3 - -2 - -1) + m. Is o at most -1/13?
False
Suppose 0 = -2*z - 22 + 18. Suppose 5*n + 3*m + 9 - 34 = 0, n = m + 13. Suppose 4*c + 4*s - n = 0, 2*s + 2 = 5*c + 6. Is z less than or equal to c?
True
Let k be 3/(-3)*19/(-1). Which is smaller: 20 or k?
k
Suppose -7*j + 4 = -3*j. Let m be (-10)/(-6) - 2/j. Which is smaller: m or -1?
-1
Let u(g) = -g**3 + 7*g**2 - 6*g + 6. Let w be u(6). Let z be -7 - (1 + w/3). Are z and -10 unequal?
False
Suppose 0 = a + 26 - 7. Let y = a - -22. Which is smaller: y or 2?
2
Let c = -1 + 5. Suppose -5 = -4*a + 3. Suppose -c*r + 0*r - 1 = -z, -5*z = a*r + 17. Which is greater: r or -1/3?
-1/3
Suppose 3*q = -2*b + 1, 4*b - 11 = -0*q + 3*q. Do b and 1 have the same value?
False
Let s be (-7)/(-153) + (-18)/81. Which is greater: -1 or s?
s
Let p be ((-6)/(-4))/(-11 + 62). Are 1 and p nonequal?
True
Let l = -3 - -9. Suppose -l*n + 2*n = 0. Is 6/11 greater than n?
True
Let p = 182 - 137. Which is smaller: p or -1/2?
-1/2
Let t be (-19)/7 + (-4)/14. Let b = 118 + -120. Which is bigger: b or t?
b
Let w = 100/203 + -6/29. Is -1.3 greater than or equal to w?
False
Let g = -1034/7 - -148. Let x(w) = -2*w**2 + 5*w + 4. Let b be x(4). Let h be (2/b)/((-2)/8). Is h equal to g?
False
Suppose -3 = h - 10. Is 8 > h?
True
Let q(f) = f - 25. Let o be q(19). Which is bigger: -4 or o?
-4
Let a = -25 - -21. Let v = 1 + 4. Let c = a + v. Which is greater: 0.1 or c?
c
Let b = -11 + 10. Let z = 2 - b. Which is bigger: -2/3 or z?
z
Let n = -2 - 2. Is -1 >= n?
True
Let d(t) = -t**3 + 7*t**2 + 4*t - 13. Let j be d(7). Which is smaller: 13 or j?
13
Let q = 105 - 523/5. Let o = -66 - -66. Is o smaller than q?
True
Let m(i) = i**2 + 6*i + 4. Let c be -1 + -2 + 2 + -4. Let o be m(c). Which is greater: o or -4/5?
-4/5
Let l = 10 + -21. Is -13 != l?
True
Suppose 6*s = 3*s + f - 8, 4*f + 13 = -3*s. Let k be (-3)/2 - s/3. Let j(i) = i**3 - 7*i**2 - i + 5. Let m be j(7). Are k and m nonequal?
True
Let i = -16 - -17. Which is greater: -1/22 or i?
i
Suppose -4*d + 5*o = -52, 3*d + o = 6*d - 39. Is 14 greater than d?
True
Let o = 2535/17 - 149. Suppose 2*f = -0*f - v + 4, -4*f - 3*v = -12. Is f > o?
False
Let n = 0.1 + 0.2. Let k = 2.8 + -1.8. Which is smaller: k or n?
n
Let j(v) = v**3 - 5*v**2 - 16*v + 16. Let l be j(7). Is l < 2?
False
Let j(t) = 8*t + 6. Let n be j(3). Let w = n - 24. Which is smaller: 2/7 or w?
2/7
Let r = -373/30 + 63/5. Which is smaller: r or 1?
r
Let y = -6 + 4. Is -6/5 <= y?
False
Let d = -0.46 + 0.36. Is -1 less than d?
True
Suppose 5*r - 2 = -4*m, 0 = 2*r - 3*m + 6 + 7. Are -8/5 and r nonequal?
True
Let j(p) = -p + 5. Suppose f - 14 = -0*f + 3*r, -2*r + 9 = 3*f. Let t be j(f). Which is smaller: -1/7 or t?
-1/7
Let l = -0.4 + 0.4. Let o = 1.2 + l. Let m = o - 1. Is 1/4 smaller than m?
False
Let o = 17/2 - 8. Is 13.8 at most o?
False
Let z(j) = 9*j + 1. Let b be z(-1). Let k(n) = -n - 17. Let m be k(b). Let y = m - -8. Which is smaller: -4/7 or y?
y
Let v be 3 + (1 - -3) + -7. Let c be (-4)/(-13 - (-3 + v)). Which is greater: c or 0.1?
c
Let i be (96/(-35) - 3)*6. Let t = 178/5 + i. Which is smaller: 0 or t?
0
Let o(u) = u**3 - 1. Let j be o(2). Let a be j/4 - (-1)/4. Let x = -1 + 1.3. Which is smaller: x or a?
x
Suppose c = -2 - 0. Let r = c + 1. Is 1/4 at most as big as r?
False
Suppose 0 = 18*l + 26 + 10. Which is bigger: l or -18/11?
-18/11
Suppose 3*v = -0 + 9. Let u be v/15*20/12. Does 1 = u?
False
Suppose 0 = -4*f + 4*z - z + 1, -3*f + 1 = -