. Is 3 greater than z?
True
Let x(c) = 2*c + 17. Let n be x(-8). Which is greater: -1/15 or n?
n
Let s = 4952/3 + -1616. Let y = s - 35. Is y less than or equal to -0.2?
True
Let m(v) = -44*v**2 + v. Let u be m(1). Let l = 127/3 + u. Is l >= -1?
True
Suppose -5*g - 20 = -5*s + 4*s, -s = -3*g - 14. Let m = 354.2 - 354. Do m and g have different values?
True
Suppose w + 84 = -w - 2*o, 0 = 3*w + 4*o + 129. Which is smaller: w or -40?
-40
Let a be 0 + 128*24/12669. Let d = a - 30/103. Is 0 <= d?
False
Let c(z) = -11*z + 1. Let f be c(-4). Suppose 7 - f = 2*t. Is t < -19?
False
Let u = 1.73 + 0.32. Let o = -1.05 - -1. Let h = o + u. Which is smaller: 0 or h?
0
Let j = -14.6 + 1.6. Let o = 14 + j. Suppose -2*p = -i + 2, -3*i - 10 = -4*p + 2*p. Which is smaller: o or i?
i
Suppose 28*i = 13*i + 405. Which is smaller: i or 29?
i
Let d(j) = -j**2 - 45. Let i be d(0). Let r be 6/i*(-2 + 5). Is 0 not equal to r?
True
Suppose 5*d - d = 0. Which is smaller: d or -2/11?
-2/11
Let d = -1 + 2. Is d >= 5?
False
Let k = 9/2 - 29/6. Let d = -2 + -2. Let s = d + 3. Is s at most as big as k?
True
Let q = 41.7 - -3.3. Is -2 <= q?
True
Let n(d) = -d + 1. Let p be n(0). Suppose -b = -0 - p. Which is smaller: 1/3 or b?
1/3
Let j(a) = -a**3 - 6*a**2 - 3*a + 6. Let o be j(-5). Suppose -174*g = -163*g + 55. Is o less than or equal to g?
False
Suppose -5*w + a + 61 = 0, 0 = -a + 1 + 3. Let l be (-2)/w + 38/(-91). Which is smaller: -2 or l?
-2
Let w(c) = 4*c**2 + 2*c - 3*c**2 - c + 30. Let l be w(0). Let n be l/(-34) - (-2)/2. Are n and 0 unequal?
True
Suppose 0 = q + 4 - 8. Let s be (-2)/(-4)*2/q. Let h = 34/5 + -131/20. Are s and h equal?
True
Suppose -4*a + 4*p + 12 = 5*p, 3*a - p = 9. Do a and -2 have different values?
True
Let y(j) = -j**2 - 7*j - 1. Let p be y(-6). Let c = 0.7 - 0.7. Is p smaller than c?
False
Suppose 4*w - 20 = -0*w. Suppose 3*x + 10 = -5*g, w*x + 39 = 4*g + 10. Which is bigger: g or -2/7?
g
Suppose 5*n - 30 = 4*n. Let k be 84/(-90) + 4/n. Is k greater than 0.1?
False
Let r be ((-6)/40)/(24/20). Let q(z) = 2*z. Let u be q(1). Let o be 2/(-3) - u/6. Which is smaller: o or r?
o
Let a(t) = -t**2 + 8*t - 1. Let p be a(8). Which is smaller: p or -5/3?
-5/3
Let m be (4 - 2)/4*2. Which is greater: 4 or m?
4
Let y be (2 - 2)/(-4) - -3. Which is bigger: y or -1.8?
y
Let b be (-4)/(-8) - 26/4. Let k = b - -8. Are 3 and k equal?
False
Suppose -9 = 3*c - 5*u, c = 5*c + u - 11. Is 8/9 greater than c?
False
Let j = 7.1 - -1.7. Let w = -9 + j. Is w less than or equal to -0.3?
False
Let u = 1/385 + 76/385. Let a = -1.98 - 0.02. Let y = 2 + a. Is y <= u?
True
Suppose 0 = v - 4 - 2. Let o = 2 + 2. Let h = o - v. Is -3 bigger than h?
False
Let c = 0.54 - 0.42. Is -2/9 at least as big as c?
False
Let j(f) = -f + 10. Let q be j(8). Suppose 2*r = -8 + q. Which is greater: r or -1?
-1
Let f = 0 + -1. Let s = 37 + -41. Which is smaller: s or f?
s
Let c be 4/10 + 29/(-35). Suppose 29 = 3*j + 5*r - 16, 4*j = r + 37. Let u = 10 - j. Are c and u equal?
False
Suppose -3*y = -6*y. Suppose -2*k - k = -6. Let d be (-1)/(1 - k - y). Is 1 less than or equal to d?
True
Let w = 6516047/45 + -144789. Let r = w - 112/9. Let n be ((-3)/3)/(-1 + 0). Is r >= n?
False
Suppose 5*m + 11 + 17 = 3*c, -2*c - 13 = 3*m. Suppose -u = -5*u - 24. Does m = u?
False
Let r be 2*1/(-3)*-3. Suppose y = -1, r*l + l - 2 = -y. Let n be (-1)/(l*6/4). Is n bigger than -1?
True
Let f(g) = g + 5. Let q(p) = -p**2 + 3*p + 1. Let j be q(4). Let n be f(j). Suppose 3*r - 5*r = -n. Are 3/2 and r equal?
False
Suppose -2*v = 8, 2*o + 5*v = 3*o - 10. Which is bigger: -11 or o?
o
Let i = 4/3825 + 58901/3825. Which is smaller: i or 16?
i
Let c = 16.4 + -19. Let f = 2 + c. Let k = -1.1 - f. Which is smaller: k or -1/4?
k
Let v be 2/4 - (-471)/12. Let g = 40 - v. Let q be 1 - (0 + (-4)/(-2)). Is g less than or equal to q?
False
Let u be ((-24)/(-30))/(2/15). Let a = -5 + u. Which is greater: a or -2/3?
a
Suppose 2*b = -3*q - 1, 2*q + b + 2 = 1. Let f be (0 - -1)/(5/(-50)). Let d = -12 - f. Is q at least as big as d?
True
Let b be -4 + (-11)/(-1) - 4. Are 3 and b nonequal?
False
Let m(l) = -l**3 + 6*l**2 - 6*l - 9. Let a be m(4). Is a at least as big as 1/22?
False
Let z(p) = p**2 + 3*p + 3. Let h = 13 - 15. Let j be z(h). Which is greater: j or 1/3?
j
Let v be (-12)/(-48) - 18/8. Let c be (9/12)/(5/(-4)). Is c at least v?
True
Let u(h) = 2*h - 2. Let g be u(2). Let l = 8 - g. Let q be (1/(-6))/(l/4). Which is smaller: -1 or q?
-1
Let a be ((-8)/(-10))/((-4)/(-10)). Let r(j) = -15*j + 6*j + 6*j + 2. Let v be r(a). Which is bigger: v or -3?
-3
Let h(f) = -f**3 - 6*f**2 - 2*f - 21. Let d be h(-6). Let l = 1.2 + -1. Which is greater: l or d?
l
Let s be 2268/(-1113) + 2 + 0. Is s greater than or equal to -1?
True
Suppose 0 = 5*u - 6 + 16. Do -5/2 and u have different values?
True
Let w = -67 + 605/9. Let k(a) = a**3 + a**2 + a + 1. Let g be k(-1). Is w at least as big as g?
True
Let b = -125 + 48. Let g be 0 - 0 - (-9018)/117. Let u = g + b. Which is greater: 1 or u?
1
Let i = -1 + 22. Let m = i - 10. Which is smaller: 12 or m?
m
Let b = -237 - -1655/7. Let z = 2.4 - 2.3. Which is bigger: b or z?
z
Let g = -21 - -22. Is 2/7 < g?
True
Let n be 8/(-24) - (-22)/(-6). Is -5 less than n?
True
Let t = 7 + -8.59. Let g = t - -0.52. Let i = -0.07 - g. Are 0.1 and i nonequal?
True
Let y be 207/936 - 1/((-13)/2). Is y at most as big as 0.4?
True
Let t be (-25)/10*(-2)/5. Which is bigger: -11/2 or t?
t
Suppose -m = 0, 2*m = -4*j + m - 48. Let a be 1 + -4*1/j. Is 2 > a?
True
Let o = 4.95 + -5. Let f = o + 0.04. Is 1 greater than or equal to f?
True
Let s = -0.23 - -4.43. Let q = s + -4. Let r = -4 + 4. Which is greater: r or q?
q
Suppose 0 = -0*d + d + 4. Let o be (d/3)/(5/(-15)). Suppose m - o*m = -9. Which is smaller: m or 2?
2
Suppose 28*b - 41*b = -26. Which is greater: -7 or b?
b
Let b = 61.01 + -54. Let x = -7 + b. Let j = x + -0.11. Is j less than or equal to -4?
False
Suppose -d - d = 4*m - 14, m = 3*d - 35. Suppose -3*j = -7 - d. Suppose -2 = 4*k - j. Is k at least as big as -1/3?
True
Let c be 0 - 1*-2 - (3 + -5). Is -1 > c?
False
Let a(t) = 2*t**3 + 9*t**2 - 11*t + 11. Let v(k) = k**3 + 5*k**2 - 6*k + 6. Let o(f) = -4*a(f) + 7*v(f). Let x be o(1). Is x < -4?
False
Let r be (-1 - -3) + -4 - 1. Let u be -12 + 3 + 1 + r. Is u != -11?
False
Let u = -118/93 + -2/31. Let m(t) = t**3 + 7*t**2 + 4*t - 8. Let h be m(-6). Let f be 16/(-6) + h/6. Which is bigger: u or f?
u
Let y(m) = 5*m - 7. Let h be y(7). Are h and 29 unequal?
True
Let h = 45 - 3. Is h bigger than 41?
True
Let i be (-18)/(-6)*(-1)/3. Which is smaller: 0 or i?
i
Suppose 0 = 3*i - 4*i. Let k = -1907/110 - 1295/22. Let p = 76 + k. Which is bigger: i or p?
i
Suppose g + 90 = -t, 3*t - g = -6*g - 260. Let v be t/40 - 1*-2. Let o(l) = -l**3 - l**2 - 1. Let r be o(0). Which is smaller: v or r?
r
Let g = 119 + -130. Which is smaller: 1 or g?
g
Suppose -1 = 3*v - 13. Let d be (-4)/14*6/v. Which is greater: 0 or d?
0
Suppose 4 = 4*n - 4*j, -4*n + 3*j = 2*j - 10. Let q = 4 - n. Let b(a) = -a**2 + 24*a + 27. Let y be b(25). Is y less than q?
False
Let f(z) be the first derivative of -z**4/4 - 2*z**3/3 + 3*z**2/2 + z + 1. Let x be (-1 + (-1 - -3))*-3. Let w be f(x). Is 2 at most as big as w?
False
Let b = 0.271 - 0.171. Which is bigger: -0.01 or b?
b
Let j = -16 + 18. Is 14/13 greater than or equal to j?
False
Let b = -0.9 + 0.92. Let y = b + -0.08. Which is smaller: y or 1?
y
Let s = -1476 - -2363. Suppose 0 = m - j - 179, 5*m - 3*j - s = -6*j. Let h = -2312/13 + m. Which is greater: h or 0?
h
Suppose 6*d + 21 = -33. Which is smaller: d or -0.1?
d
Let s be (-591)/39 + (-4)/(-26). Let v be 1/s*(7 + -4). Is 0 smaller than v?
False
Let d = -0.024 + 19.024. Is 0 at least as big as d?
False
Let f be ((-8)/3)/((-2)/3). Are 4 and f unequal?
False
Suppose 7 + 17 = -3*b. Let v be 1 + -1 - (-8 - b). Which is smaller: 3/14 or v?
v
Let y(m) = m**3 - 7*m**2 + 4*m**3 + 6*m**2. Let x(d) = d**3. Let k(n) = -6*x(n) + y(n). Let r be k(0). Is 1 at most as big as r?
False
Let b = -26 - -34. Is b equal to 9?
False
Let n be ((-1)/(-1))/((-1)/6). Let f be ((-1)/(-2))/(n/64). Which is smaller: 0.1 or f?
f
Let i = -182 - -182. Let u(v) = v**3 + 5*v**2 + v + 5. Let f be u(-5). Let x be ((-1)/(-1) - f) + 0