2). Which is bigger: y or 20?
y
Let t = -26.7 - -26. Which is smaller: 4 or t?
t
Let w = -4.043 + 0.043. Is -0.1 at least w?
True
Suppose -i + 7 - 6 = 0. Let a be (-2)/(-3) + (-11)/21. Are a and i equal?
False
Let o(k) = -k - 4. Let q be o(-6). Suppose -q - 4 = 3*z - 3*r, -2*r + 4 = z. Which is smaller: 2 or z?
z
Suppose 4*k + 0*k - 10 = -3*c, -10 = 2*k. Let r(x) = -9*x + 2. Let y be r(-1). Which is bigger: c or y?
y
Let o = 65 + -64. Are o and 0.56 nonequal?
True
Suppose 10 = 2*q - 62. Let y = q - 179/5. Let a = -457/2 - -228. Which is smaller: y or a?
a
Let t = -5 + 8. Suppose 5 = 4*b + 3*w, -5*b + t = -2*b + 2*w. Is b at least -2?
True
Let o = 13/7 + -31/28. Let d(m) = 7*m**2. Let f be d(1). Let l be f/3 + 1/(-3). Which is bigger: o or l?
l
Let f be 2/8 + (-3)/6. Suppose -t + 3 = 3*o, 0 = -4*o + t + 4*t + 4. Is o equal to f?
False
Let i(d) = -9*d + 4. Let r be i(-4). Suppose k + 2*u + 1 = -4, 0 = -5*k + 3*u + r. Suppose k*s = 14 - 4. Is 3/4 <= s?
True
Suppose -22 = 4*y + 2*c, 0*y - 35 = 5*y + 4*c. Let l = 3 - 5. Which is smaller: y or l?
y
Let v be (-1 - -1) + 15 + 1. Suppose v + 14 = -2*z. Let g be 84/z - 4/10. Which is greater: g or -7?
g
Let i = 798364159/12735261 - 67285/1081. Let p = -2/1309 + i. Is -1 smaller than p?
True
Let s(b) = 2*b - 2. Let y = -2 + 4. Let v be s(y). Suppose -v*w - w = -3. Is 2/17 less than or equal to w?
True
Suppose 2*g + 3*s + 8 = 0, 4*g + 6 = g - 3*s. Suppose -4*a + 7 = 23. Let d be (a/(-4))/((-2)/(-6)). Is d <= g?
False
Let d = -0.1 + -0.1. Let l = 0.1 + d. Let y = 2/17 - -9/68. Which is smaller: l or y?
l
Suppose 2 = 2*a, 26 = 3*w - 0*a - a. Suppose w = 5*j - 6. Is j bigger than 3/2?
True
Let d be (-5)/(-5) - ((21 - -1) + -3). Is d greater than or equal to -17?
False
Let f(x) = x**2 - 8*x + 8. Suppose 4*r - 27 = 1. Let g be f(r). Suppose g + 5 = 2*k. Which is bigger: 4 or k?
4
Let f(b) = b**2 + 5*b - 8. Let q(z) = z**3 - z. Let i be q(-2). Let k be f(i). Let c be (k/(-70))/(10/(-25)). Which is smaller: c or 0?
c
Let v = 115 + -116. Which is smaller: -7/12 or v?
v
Suppose 33*v + 228 = 14*v. Is -9 equal to v?
False
Suppose -2*c - 4*x = 0, 0 = -4*c + 8*c - 5*x. Let b = 906 - 48016/53. Which is bigger: c or b?
b
Suppose -f - 85 = -6*f. Let u = f + -7. Suppose -r = 3*z + 2, z - 3*z = 5*r + u. Is z bigger than 0?
False
Let m be (-2)/90 - (-5)/(-25). Let w = -2 + -1. Which is smaller: w or m?
w
Let r = -0.311 - -1.311. Let n = -1 + 0. Is r < n?
False
Let u = -6 - -6.25. Which is bigger: u or 2/5?
2/5
Let c = 8 - 6. Suppose -3*y - y + 12 = -4*q, c*q + 4*y = -6. Is -2 less than q?
False
Let n = -4/5 + 3/5. Let y be 3/(-6) - (-1)/(-2). Let t be 2/(y + 2 - 3). Is t not equal to n?
True
Let b be 7/2*84/(-245). Are b and 4 nonequal?
True
Let t be (-2)/7 + (-48)/(-21). Suppose n - t*n = 0. Is 1 at most n?
False
Let m be 23/51 + (-1)/3. Let v = 49943/135660 + -1/1995. Let p = m - v. Is 1 greater than or equal to p?
True
Suppose 5*j = 0, 0 = d - j + 3 - 4. Is -4/59 > d?
False
Let v(u) = u**3 - 8*u**2 + 2*u - 10. Let h be v(8). Which is smaller: 3 or h?
3
Let r = -15 + 5. Is r > -10?
False
Let a be 3/2*56/12. Is a equal to 6?
False
Let m = 0 + -1. Let a be 9/(-15)*(-7 - -2). Suppose 3*w - 4*w + 5*u = -24, 0 = 5*w + a*u + 20. Is w bigger than m?
False
Let u(h) = h**3 - h**2 - h - 1. Let k be u(2). Let b be (2/10)/((-12)/(-10)). Which is greater: k or b?
k
Let d = -5 + 8. Let v(r) = 6*r - 4*r + 1 - 3*r - r**d + 2*r**2. Let u be v(2). Is 2/11 at most as big as u?
False
Suppose -2*z = 4*j + 14, -7 = 5*z + 3*j - 0*j. Is 1 at most z?
True
Suppose 4*h - 3*s - 8 = -s, -22 = -4*h - 5*s. Suppose -h*y - 2 = -5*y. Is 5/4 equal to y?
False
Suppose 7 - 31 = 4*w. Let v be (-1)/(-8)*-1*w. Is -1/3 at least v?
False
Let y(i) = i**3 - 13*i**2 + i - 6. Let z be y(13). Let o(u) = u**2 - 8*u + 6. Let w be o(z). Is -3/5 >= w?
True
Let m = 5.89 + -6. Let t = m + 1.11. Which is smaller: t or 3?
t
Let y(f) = f**3 + 7*f**2 + 7*f + 6. Let c be y(-6). Let o(p) = -p**2 + p - 6. Let l be o(c). Let w be 7/(-21)*l/(-4). Do 0 and w have different values?
True
Let h = -0.38 + 0.4. Let n = 2.98 + h. Let f = n - 2. Which is smaller: f or -1?
-1
Let v be 4/3*9/(-26). Let z = -49 + 50. Is z greater than v?
True
Let k = -6 + 8. Suppose -k*h = -3*h. Which is smaller: -1/4 or h?
-1/4
Let v = 13023/25 - 521. Let b = 64 + -64. Which is greater: b or v?
b
Let b(h) = h**3 + 4*h**2 + 2*h. Let c be b(-3). Let z be (1/2)/(c/(-6)). Let q = -2 - z. Is q smaller than -2/21?
True
Let y be (0 - (-1215)/12) + 1/(-4). Is y < 102?
True
Let i = -2.2 + 2. Let w = -5.7 + 5.6. Does w = i?
False
Let y be (1 - 4)/(0 + 1). Let w(g) = -g**3 + 4*g**2 + 11*g + 3. Let b be w(6). Is b < y?
False
Let s be 3 + ((-2)/(-1) - 1). Suppose -s*b = 2*c + 16, -1 = 3*c - 3*b - 4. Let z(t) = 9*t + 7. Let h be z(-1). Is c >= h?
True
Let h(p) = -p**3 + 3*p**2 - 3*p + 5. Let v be h(2). Is v bigger than 5/2?
True
Let z(u) = -u**2 + 2*u. Let p be z(2). Let o(n) = -n**2 + n - 1. Let v be o(p). Which is smaller: -18/11 or v?
-18/11
Let y(g) = g**2 - g - 2. Let h be y(2). Suppose h = -5*n + 21 - 1, -26 = -c - 5*n. Which is smaller: 11/2 or c?
11/2
Suppose 40 = -5*p + 4*h, -4*h = -0*h - 20. Let r be (1/(-4))/((-3)/p). Let m be (20/(-8) + 2)*0. Which is greater: r or m?
m
Let z(w) = 5 - 3 + 10*w - 2*w**2 + 3*w**2 - 2*w**2. Let l be z(10). Is l at least 0?
True
Let v = -3 - -2.98. Let m = v + 0.08. Let q = m + -3.06. Is 1 <= q?
False
Let z be (-1)/(-6) - (-34)/12. Which is smaller: 2 or z?
2
Suppose 2*y + 61 = 2*f + 175, f - 3*y = -65. Which is smaller: f or -54?
-54
Let i be ((-122)/(-8) - -3) + (-4)/16. Which is smaller: i or 16?
16
Let r = 514/381 + -2/127. Is r less than or equal to 0?
False
Suppose 0 = -2*n - 5*x + 10 + 13, 4*x = 20. Let b(j) = -5*j + 9. Let i(t) = t - 1. Let l(k) = n*b(k) - 3*i(k). Let v be l(4). Is 1 equal to v?
False
Let h be ((-12)/(-15))/((-4)/70). Let q = 14 + h. Which is greater: q or -1/10?
q
Let y = -2 - -6. Let j = y - 4.1. Let b = -34/3 + 11. Which is smaller: j or b?
b
Let y be 2/2 - (4 + 1). Let p(b) = b**3 + 3*b**2 - 6*b - 2. Let a be p(y). Let s be (-1)/(-5) - a/30. Is s != 1/7?
True
Let b be ((-72)/5)/(12/40). Is -46 not equal to b?
True
Let h = 9 - 5. Let v(s) = 9*s**2 - 3*s. Let o be v(2). Let k be (h/o)/(10/15). Which is smaller: k or -1?
-1
Let a be (0 + 0)/2*4/8. Is a bigger than 0?
False
Let d = 174.1 - 174. Let j = 2 - 0. Is j > d?
True
Suppose -2*i = -1 - 1. Let m = i + -3. Which is bigger: -1 or m?
-1
Suppose -35 = 4*c + 53. Which is smaller: c or -23?
-23
Let w = -0.2 - 1.8. Let m = -5 - w. Is m at least as big as -2?
False
Let j(p) = p + 5. Let b = 2 - 6. Let x be j(b). Is x greater than -0.1?
True
Let n = 8186/23 + -356. Is -1 > n?
False
Let r = 0 + 2. Let n(g) be the first derivative of g**3/3 + 5*g**2/2 + 3*g + 3. Let t be n(-5). Is r at most t?
True
Let n = 0.02 + 5.98. Let j = 0.6 - 2.6. Let s = n + j. Which is greater: 1/3 or s?
s
Let b = -444 + 442. Suppose -c + 3*s = -2, 0 = c - 5*s - 2 - 2. Is b != c?
True
Let y be 10/34*(-2 - 2). Let q = -214/153 - y. Let h = -1/20 - -43/60. Which is smaller: h or q?
q
Let t be ((-1)/2)/((-6)/(-8)). Suppose 0 = 3*m + 2*c - c, 0 = 3*c - 9. Is m < t?
True
Let g(c) = c**2 + 5*c + 2. Let m be g(-6). Suppose 4*k = -0*k + m. Suppose -k*r = r. Which is smaller: -1/2 or r?
-1/2
Let w = 20.3 - 18.32. Let p = 1.02 - 1. Let l = p + w. Which is smaller: 1/4 or l?
1/4
Let x = -11 - -13. Suppose 182 = m + 3*a, -67 = 5*m - a - 1041. Let d = m - 1360/7. Is x > d?
True
Let v = 971/3 - 312. Suppose -4*h - j - 4*j - 38 = 0, -3*j - 18 = 2*h. Let d = v + h. Which is greater: d or 1?
1
Let u(r) = -4*r - 5. Let b be u(-2). Suppose -l - 2 + b = 0. Is l > 0?
True
Let u = -65 - -47. Is u greater than or equal to -18?
True
Let c be (5/9)/(-1) - -1. Suppose 3*w = -15, 3*t = 5*t + 2*w + 12. Which is greater: c or t?
c
Suppose -3*f - 2*j = -0 - 6, -f = -2*j - 2. Suppose 70 = i - 6*i + f*m, -4*i + 3*m = 49. Is -17 greater than or equal to i?
False
Let w(d) = 25*d + 4. Let i(u) = -6*u - 1. Let c(j) = -9*i(j) - 2*w(j). Let m be c(-2). Is -8 equal to m?
False
Let c(x) = x**3 - 4*x**2 - 5*x + 1. Let u be c(5). Which is greater: 0 or u?
u
Let f(a) = a**2 + 22*a + 55. Let n be f(-16). Which is smaller: -40 or n?
n
Let d = 656/99 + -68/11. Which is smalle