 s = -37 - -43. Which is smaller: -3 or s?
-3
Let g = 744/7 + -106. Let l = -0.8 - 0.2. Is g != l?
True
Let d(j) = 7*j**2 - 1. Let f be d(1). Suppose -2*t + 8 = -f. Suppose 10 = 3*h - 3*x - 5, x + t = 2*h. Is h greater than 5/3?
True
Let g(o) = 5*o + 30. Let v be g(-6). Which is greater: v or -1?
v
Let n = -1007 + 11059/11. Let r = 61/44 + n. Is r smaller than 1/2?
True
Let r = 9.04 + -0.04. Let w = 9.3 - r. Which is smaller: w or 0?
0
Let y = 22 + -13. Let h = y - 10. Do h and 4/9 have different values?
True
Let a = 2 + -5. Let r = a - 4. Let z(j) = -j**2 + 6*j - 7. Let u be z(6). Is u greater than r?
False
Let i(k) = -k - 1. Let m be i(-5). Suppose 8 = -m*h - 4. Let o = -5 - 0. Which is smaller: h or o?
o
Let i = 0 - 0. Let z = 12.2 - 12. Let t = i - z. Which is greater: 1 or t?
1
Let z = 9/2 + -5. Which is smaller: z or -61?
-61
Let u = -17 + 17.26. Let i = -9.74 - u. Is -0.1 not equal to i?
True
Let l(z) = -2*z - 4. Let b be l(-5). Suppose 4*v = 3*v + b. Is 6 at most as big as v?
True
Let t be ((-3)/(-12))/(1/4)*-19. Let m be ((-19)/3)/(2/6). Do t and m have the same value?
True
Let n = 0 - 4. Let g(q) = -2*q**2 - 3*q - 2. Suppose 2*v - 2 = 4*w, 2*w - w - 3*v - 7 = 0. Let x be g(w). Are x and n equal?
True
Suppose 0 = 4*f - 2*f - 38. Suppose -5*s = -2*j - f, -3*j + 34 = 5*s - 0*j. Suppose m = -s - 0. Is -6 at most m?
True
Suppose -2*u - 3*z = 3*u - 6, 0 = 3*u + 3*z. Suppose -2*d - k + 7 = 0, -3*d = -5*k - 1 - 3. Is d less than or equal to u?
True
Let m = 63 + -63.03. Is m not equal to -1?
True
Let b be (1/3)/((-8)/24). Let t = -1 - b. Let h be 0 + 0 + 4 - 1. Which is greater: h or t?
h
Let g be -2 - (1 - (3 + -2)). Suppose 8 = 4*x + x + 2*b, -20 = -5*x - 5*b. Let v = x - g. Is v equal to 1?
False
Let j be 253/12 - (-2)/8. Let u = j - 21. Let f be (-4 - 72/(-15))/(-2). Is f greater than u?
False
Suppose -5*t - 2 - 18 = 0. Let l be ((-1)/3)/(t/20). Is 3 at least l?
True
Let q = -10/17 - 83/119. Is 0 less than q?
False
Suppose -39 - 63 = 6*y. Which is smaller: y or -16?
y
Let d = -4 + 10. Let n be 32/d - 4/(-6). Let v(w) = w**3 - 6*w**2 + 2*w - 8. Let g be v(n). Is g greater than 3?
True
Suppose -9 + 4 = 5*s. Suppose 2*r - 1 = -t, -t + 0*t - r = -1. Do t and s have different values?
True
Let t be 15/12*-1*12. Is t smaller than -16?
False
Let d = 1 - 0. Let j = d + -1. Let h = -0.1 + j. Which is greater: h or -2?
h
Let d be -4*(9/(-4))/(-3). Let g(c) = -c + 2. Let v be g(5). Is v less than d?
False
Let b = 1 - -1. Let n = 1 + 1. Suppose -3*l - 1 = -6*y + y, b*y - n*l = 2. Is y at least 0.1?
False
Let j be 2/(-2) + 4 + 105/(-55). Which is smaller: 0 or j?
0
Let u = -0.6 - 0.6. Let x = u - -1. Let w = 0.2 + -0.1. Which is smaller: x or w?
x
Suppose 5*h - 109 = 1. Let x = h - 45/2. Is x at least -2?
True
Suppose 0 = 3*d - 5*d - 2. Let r be (4/(-10))/((-12)/1125). Let x = r - 39. Which is bigger: d or x?
d
Let z(x) = x**3 + 6*x**2 + 4*x + 1. Let l be z(-5). Let g(q) = q**2 - 7*q + 7. Let f be g(l). Is f greater than 1?
False
Suppose -j + 0 = -1. Let d = 688/5 + -138. Which is smaller: d or j?
d
Let r = -5 + -4. Suppose 17 = 5*c + 67. Which is bigger: c or r?
r
Suppose 3*x - 6 = -3*h, 4*h - 1 - 1 = -2*x. Which is smaller: h or -2/311?
h
Suppose -4*u = 5*o + 31, -5*o + 8 = -5*u - 42. Let t be 6/27 - 34/u. Is 4 not equal to t?
False
Let z = -889/3 - -300. Which is bigger: z or 3?
z
Let z(h) = 2*h**3 - 9*h**2 + 3*h + 3. Let a be z(4). Is a equal to 2/367?
False
Let w = 221 - 163. Is 57 at least as big as w?
False
Let u = -6163/9 - -683. Let x be ((-2 - -3)/(-9))/((-12)/165). Let d = x + u. Is 1 < d?
False
Let i(g) = -g**2 - 4*g + 9. Let d be i(-5). Which is bigger: 2 or d?
d
Suppose -4*d - 103 = -3*m, m - 2*m + 3*d + 36 = 0. Let v = m - 23. Is v less than or equal to 9?
False
Suppose -3*n - s = -1, 1 = 2*n + 3*s - 2. Let q be (0/2 - 1)/(-18). Is n smaller than q?
True
Suppose s + 2 = 3. Let k be (1 + s)*2/2. Is 3 less than k?
False
Suppose 2*y - y = 5. Let r be ((-38)/95)/(1/(-10)). Are r and y unequal?
True
Let l = -25 + 33. Which is smaller: 14 or l?
l
Suppose -2*d = -4*w - 14, 4*w = 2*w + 5*d - 27. Is w >= -2/109?
False
Let y = 48 + -46. Let z(c) = c**3 - 5*c**2 - 5*c - 2. Let d be z(6). Let u = d - y. Which is greater: 1/5 or u?
u
Let j(c) = c**3 - 4*c**2 + 4*c - 2. Let w be j(3). Let b be (-6 + -2)*(-2)/12. Is b equal to w?
False
Let i(w) = w. Let l be 2 + -1 - (0 + -1). Let g be i(l). Let m be 1/(-1) - (-58)/29. Is m greater than or equal to g?
False
Let x = -7 + 11. Suppose -x*f - 10 = -14. Which is smaller: -1/17 or f?
-1/17
Suppose 4*l - o = 4 + 5, 3*o = 2*l + 3. Let a be (-2)/l*12/(-8). Let h be (1 + 2)/(30/4). Which is greater: h or a?
a
Suppose 5*l = w + 2*l - 12, 4*l = -3*w - 16. Let c(k) = -k + 5. Let t be c(4). Is w <= t?
True
Suppose 0 = -102*f + 104*f - 2. Which is smaller: -15 or f?
-15
Let m = 0 - 0.04. Let o = 0 + m. Let z = -1.04 - o. Is z greater than -0.05?
False
Suppose 21 = -5*z - 9. Let t = 7 + z. Is -0.1 greater than t?
False
Suppose 4*h + 14 = 2*x, x + 1 = -3*h - 2. Is 0.06 less than or equal to x?
True
Let l(z) = z**2 - 3. Let r be l(-3). Suppose -3*m + r = -7*o + 3*o, -o = 2*m + 7. Suppose 4*q + 3 = -5. Is q > o?
True
Suppose -5*t - 52 = -4*s, -3*t - 28 = -3*s + 5. Is -8 greater than t?
False
Let f be 8/(-204)*(-3)/3*3. Are 1/3 and f non-equal?
True
Let u = 14.4 - 13.4. Let h = -0.1 + -0.1. Are u and h unequal?
True
Suppose 4*n = g - 6, -n - 3 = g + 1. Let p(o) = 2*o + 8. Let m be p(-6). Let y be ((-1)/n)/(1/m). Which is smaller: -4 or y?
-4
Suppose 2*l + 15 = 5*x + 1, 0 = -3*x + 3*l + 3. Suppose 2*v - 2*s = 10, 0 = x*v - v - 5*s - 25. Which is smaller: 1 or v?
v
Let t(i) = -i**3 - 8*i**2 - 6*i - 3. Let u be t(-7). Let o be 22/(-55) + (-4)/u. Is o <= 2?
True
Let f(m) = m**3 - m**2 - 6. Let y be f(0). Let v be 1/((-4)/(-14))*-2. Which is smaller: y or v?
v
Let y be (4/(-10))/((-1)/(-5)). Let l be (3/(-5))/(y/10). Suppose -l*v - 3*o + 9 = v, 3*o - 9 = -2*v. Which is smaller: v or 1/4?
v
Suppose -3*l + 4*r + 21 = -4*l, 0 = -2*r - 8. Let t = -12 + 6. Are l and t nonequal?
True
Let m = -317 - -1584/5. Suppose 3*j = -0*z - 2*z, 3*j - z + 9 = 0. Let s = -3 - j. Which is smaller: s or m?
s
Let y be (12/(-10))/(1/5). Let h = -3 + 38. Suppose 0 = 2*b - 7*b - h. Which is smaller: y or b?
b
Let b be -6 - -3 - (3 - 9). Suppose 4*y = v - b - 4, 4*v - 3*y = 2. Let r be (-26)/36 + (-2)/(-4). Which is greater: v or r?
r
Suppose -w - 3*l - 11 = -l, 3*l = 3*w - 12. Let r be 3 + -2 + (-4)/4. Let k = r + -2. Which is bigger: w or k?
w
Let x be -9 - -6 - 1188/(-14). Let b be (-80)/1 + (-2)/1. Let a = b + x. Is 1 at most a?
False
Let t be (2 - 2) + -2 - 6. Let x(i) = -i**2 - 7*i + 11. Let j be x(t). Suppose 4*s - 11 = 1. Is s equal to j?
True
Suppose -6*w = -4*w. Is w bigger than 7/5?
False
Suppose 7 = -4*c - i + 4, -2*i = -c + 6. Suppose -5*o - 5*y + 35 = c, 0 = 5*o - 0*o - 4*y - 35. Does 6 = o?
False
Let x = -0.4 - -0.5. Let f = -14 - -10. Is x greater than f?
True
Let d = 1.1 + -1.8. Let a = d - -4.7. Which is smaller: -1/3 or a?
-1/3
Let j = -56.1 - -56. Which is smaller: 42 or j?
j
Suppose 5*x = -4 + 9. Is -2/133 < x?
True
Let m = 89 - 67. Is 0 bigger than m?
False
Suppose 15 = -0*z + 5*z. Let y = -187 + 191. Is z at least as big as y?
False
Let p(f) = -f - 12. Let z be p(-11). Let u be 33/39 + 4/26. Is z at least u?
False
Let m be (-4)/6 + (-76)/(-6). Suppose -2*d = -2*a - m, 4*d - 3*a - 1 - 23 = 0. Let s be 19/4 - d/8. Are s and 4 equal?
True
Suppose -3 + 2 = t + 4*l, 4 = -4*t - 2*l. Let f be -4*((-7)/(-6) + t). Which is smaller: -1 or f?
-1
Let b be 20/(-9) + 5 + -3. Is -6 <= b?
True
Suppose -b - 2*b = -9. Suppose 0 = -b*q - 0*q. Suppose q*l = -4*l. Which is bigger: 2/13 or l?
2/13
Suppose -4*c = -5*c - 1. Which is bigger: 5/12 or c?
5/12
Suppose -3*t + 37 = 10. Which is smaller: t or 2?
2
Let j(d) = -2*d + 1. Let o be j(5). Suppose 5*x - 3*r = -5*r - 27, -3*r = 2*x + 2. Which is smaller: x or o?
o
Let w = 1015 + -1056.7. Let h = w + 50. Let b = 8 - h. Is -0.1 not equal to b?
True
Let o = -2 + 3. Let q be (o - 2*-1) + 0. Suppose 0*r - 9 = r + 3*x, -2*r = 2*x + 2. Is r less than or equal to q?
True
Let s be (3/(-110))/((-12)/(-16)). Let r = -8/55 + s. Which is greater: r or -1?
r
Let x(l) = l + 12. Let s = -25 - -17. Let u be x(s). 