ller: z or x?
z
Let f(t) = -t + 8. Let u be f(6). Suppose -3*h - 2 = -2*z, -u*h + 3*z + 2 = 5. Which is bigger: -2/7 or h?
h
Let j(t) = -2*t + 3. Let a be j(2). Let q be ((-4)/(-60))/((-22)/10 + 1). Is q < a?
False
Let r = -6.8 - -7. Let x = 0.2 - 0.3. Are r and x unequal?
True
Let w be 14/21*(2 + 1). Is 6/7 at least w?
False
Let l be 3 + -6 - (-39)/18. Which is greater: l or 0?
0
Let p(u) = -u + 3. Let v be p(4). Which is bigger: 3/13 or v?
3/13
Let v = -7.81 - 0.19. Let b = -17 - v. Which is bigger: b or -2/7?
-2/7
Let s(u) = 16*u + 2. Let o be s(3). Let b = o + -148/3. Is 0 bigger than b?
False
Let q = 16 + -6. Let n be ((-4)/q)/(12/(-5)). Which is greater: 0 or n?
n
Suppose 127*y + 12 = 131*y. Let p(x) = -x - 1. Let k be p(-1). Let v be 2 + k + 1/(-3). Which is bigger: y or v?
y
Let t be ((-12)/9 - -1)/1. Which is smaller: 0.05 or t?
t
Suppose -5*k = -115 + 20. Suppose 2*z + k = -5*y, -4*y = -5*z + 3*z - 10. Do z and -22/3 have the same value?
False
Let g = -3 - -3.015. Which is bigger: g or -0.1?
g
Let j = 79/2 + -36. Is 3 <= j?
True
Let y be -3 + (0 + 3)*1. Let s be 1/4*(1 + y). Which is smaller: -2/9 or s?
-2/9
Let f = -16.9 + 16. Which is smaller: -0.1 or f?
f
Let f = -262 - -2111/8. Which is greater: f or 2?
2
Let s = 193 + -38985/202. Let f = s + 397/1414. Which is greater: f or -3/5?
f
Let s be (-1)/7*(1 + -6)/(-40). Are s and -1 non-equal?
True
Suppose -16 + 16 = j. Let a be -6*(1 - 26/30). Is a at most as big as j?
True
Let a = -9.5 + 9. Let p = 0.5 + a. Which is smaller: p or 1?
p
Let o = 4 - 4.4. Let h = o + 0.3. Let c = 0 - h. Which is greater: 1 or c?
1
Let t be (-35)/(-6) - 5/(-30). Let v be t/18 + 31/(-102). Let o = -63/170 - v. Is 1 > o?
True
Let w = -5 + -1. Let r be 9/w*(-2)/4. Suppose 4*y + 5*y = 18. Which is greater: r or y?
y
Let w be (7*40)/((-2)/2). Let a = -1957/7 - w. Which is smaller: a or 0?
0
Let m = -7.79 - 0.21. Let u = m - -11. Let k = u + 0. Is 2/5 bigger than k?
False
Let u = 12.69 - -0.31. Let l = u + -9. Let c = l - 6. Which is bigger: c or 1?
1
Let i = -0.5 - -15.5. Let k = -9 + i. Do -0.1 and k have the same value?
False
Suppose 23 = 4*k - 37. Suppose -x = 5*l - 65, -x + 3 = -3*l + 50. Is k at least l?
True
Suppose 2*w + 3*w = 4*x, -4*w = 4*x - 36. Is w greater than 6?
False
Let f be (6/(-15))/(4/(-40)*-74). Which is bigger: -1 or f?
f
Let i = -144/215 - -3/43. Which is greater: i or 0?
0
Suppose 0 = 4*j + j. Suppose 0 = 3*v - 8 + 23, d - 15 = 3*v. Is d at least as big as j?
True
Let h be 1/(-1) + 874/(-161). Which is smaller: h or -7?
-7
Suppose 0 = k + 2*k - 6. Suppose -7 = -5*n - 2. Is n smaller than k?
True
Let h be (-7)/(1/1) + 0. Suppose -4*q + 3*q = -3*i + 35, 3*i + 4*q = 10. Let f = i + h. Which is smaller: f or 4?
f
Let g = -22 + 15. Let m be (-1)/(g/(-19)) + 3. Which is bigger: -0.12 or m?
m
Let k be (0 - (-22)/6) + -3. Which is smaller: 0.2 or k?
0.2
Let s = 5 - 2. Let f(a) = -3*a + 6. Let j(d) = 4*d - 7. Let y(p) = -3*f(p) - 2*j(p). Let z be y(s). Which is bigger: z or -2?
z
Suppose -4*s = -9*s + 315. Is s equal to 64?
False
Let o = 8 + 24. Do o and -1 have the same value?
False
Let o(v) = 6*v**3 + 6*v**2 + 3*v + 0*v**3 - 5*v**3 - 4. Let q be o(-5). Suppose 3*h + 4*k = -k - 15, 4*h + q = -2*k. Are h and 2/3 nonequal?
True
Suppose 2*k = -q + 1, 0*q = -q - 5*k + 1. Which is greater: 2 or q?
2
Suppose -r = -4 + 2. Let s = -3 + r. Is -2/7 greater than or equal to s?
True
Suppose x - 8 = -x + 2*o, 0 = 2*x - 3*o - 12. Is x < -2/29?
False
Suppose 4*z - 45 = -0*s + 5*s, 0 = -5*s + 5*z - 40. Does 3 = s?
False
Suppose -2*y - 1 - 3 = 0. Suppose 0*k + k = 0. Suppose 2*v + k = -2. Is v less than y?
False
Let k = -15 + 26. Which is smaller: 1/2 or k?
1/2
Let b = -2 + 2. Let k = 1 + b. Which is smaller: k or -4/9?
-4/9
Let f = -2 - -2. Let c be 9/(-6) + (-219)/(-138). Is c > f?
True
Let a be ((-8)/16)/((-1)/(-18)). Let p be 4/6*a/(-54). Which is smaller: 2 or p?
p
Let h be 3/12 + (-61)/4. Let d be h/(-12) - 2/8. Let m = -2793/10 + 279. Are m and d nonequal?
True
Let j(n) = -n**2 + 5*n - 4. Let t be j(4). Suppose 0 = -t*y + y. Are 1/13 and y unequal?
True
Let r = -53 + 37. Which is smaller: r or -17?
-17
Let w(j) = j**2 + 7*j - 10. Let z be w(-9). Let q be (-40)/100 - z/(-70). Which is bigger: q or -14/9?
q
Let n = -2.4 + -0.6. Let r = -327/5 - -65. Is r at most as big as n?
False
Let w = -8522781/110 + 77479. Let s = 5/22 + w. Does -1 = s?
False
Let o = -10 - -19. Let a = o - 9. Which is smaller: 8 or a?
a
Let t = 1 + -1.51. Let k = -0.5 - t. Let z = -0.01 + k. Which is smaller: z or 2?
z
Let r = 0 - -0.1. Let a = -26 - -41. Suppose 0 = 3*y - 4*l + 12, a = y - 4*y + 5*l. Is r less than y?
False
Let h = 102 - 15. Let t = h - 263/3. Which is smaller: -1 or t?
-1
Suppose -3*v + 69 = -4*u, -5*u = -3*u + 4*v + 18. Let g = -1 - u. Suppose -3*j - g = d, -8 = 2*j + 2. Is 1 smaller than d?
False
Let n = -10 + 10.1. Let i = 0.4 - n. Which is greater: i or -1/4?
i
Let s be (-4)/26 - (-776)/(-858). Let u = 20/39 + s. Let o(c) = -2*c + 1. Let a be o(1). Which is bigger: u or a?
u
Let z(b) be the second derivative of -b**4/12 + b**3/3 - b**2/2 + b. Let x be ((-1)/(-2))/(1/2). Let g be z(x). Is g at least -2/3?
True
Let q = 0 - -6. Let n be (-10)/q + (-3)/9. Which is smaller: n or -2/3?
n
Suppose 2*z = 3*l - 11, 3*l + 2*z = -3*z - 17. Suppose 5*s = -0*s - 15. Let v be (0 + 1 + -2)/s. Is l <= v?
False
Let f(n) = -n**2 - n + 2. Let s be f(-2). Let t be (1 + 1/(-2))*s. Suppose 2 = b - g, 4*b + t*b - 2*g - 2 = 0. Which is bigger: -3/5 or b?
-3/5
Let w = -0.007 + -41.993. Are w and -0.1 equal?
False
Suppose 0 = 14*p - 8*p. Which is smaller: 2/9 or p?
p
Let w = 0.02 - 0.02. Are w and -11 equal?
False
Suppose u + 30 = 6*u. Suppose -u = -4*h + 26. Let f(q) = q**2 - 10*q + 9. Let p be f(h). Is -7 >= p?
True
Let a(l) = -l**2 - 3*l - 2. Let b = -3 + 1. Let o be a(b). Suppose 2*v - v - 1 = 0. Which is greater: o or v?
v
Let j be (292/(-60) - -5)/((-1)/(-145)). Which is greater: 20 or j?
20
Suppose -5*z + 0*m + 6 = m, 5*m = -z - 18. Suppose -5 - 1 = -z*h. Suppose -3*q + 10 = 2*p - 5*q, -3*p = 2*q - 15. Are p and h nonequal?
True
Let r be ((-28)/6)/(26/(-39)). Which is greater: r or 4?
r
Let u be (-5)/11 + 2 - 1. Let y be (0/(0 - 1))/2. Are u and y non-equal?
True
Let c be 0 - (12/(-21) - 0). Let m = -55 - -55. Is c less than or equal to m?
False
Let p be (-2)/3*6*2. Let j(w) = w**3 + 8*w**2 + 4*w. Let d(k) = -2*k**3 - 16*k**2 - 7*k. Let b(o) = -4*d(o) - 7*j(o). Let z be b(p). Is 0 > z?
False
Suppose i - 89 = -4*i - 4*b, 4*i - 92 = 2*b. Let c = i + -33. Let y = -25/2 - c. Is y smaller than 2?
True
Let b(m) be the third derivative of -m**4/24 - m**3/6 + 3*m**2. Let z be b(-3). Let x = -4 + z. Is x less than -2?
False
Let r(z) = z**3 - z**2 - 4*z - 1. Let d be r(-1). Which is smaller: 5/12 or d?
5/12
Let u(y) be the first derivative of -y**4/4 - 4*y**3/3 + 5*y**2/2 + 4*y + 3. Let a be u(-5). Which is bigger: 5 or a?
5
Let j(g) = -3*g. Let l(a) = 2*a + 1. Let q(t) = 3*j(t) + 4*l(t). Let w be q(6). Is w at most -2?
True
Let t = -10 - -10.09. Which is smaller: t or -1/4?
-1/4
Suppose m = -3*t - 0*t + 10, -t = 4*m - 29. Let x(w) = -w + 17. Let a be x(9). Are a and m equal?
False
Let l(k) = k**2 + k - 1. Let v be l(0). Is v not equal to 3/10?
True
Let t = 9 - 3. Suppose -t = 2*z, -3*w = -0*w + 3*z + 12. Are 3/11 and w unequal?
True
Suppose 0 = 3*s - 2*s + 940353. Let d = s - -17870699/19. Let b = 210 - d. Which is smaller: 0.1 or b?
b
Suppose 0 = -2*l, 2*w = 4*l - 0*l - 8. Let c be (-15)/(-2)*w/(-20). Is c at most as big as 2?
True
Let x = 3 + -5/2. Let j be 5*(-8)/(-20) - 2. Are j and x non-equal?
True
Let y(r) = r**3 + r**2 - 1. Let x be y(0). Let g be ((-2)/5)/((-36)/(-45)). Is g less than or equal to x?
False
Let b = 13/30 + -5/6. Is b at most -1?
False
Let y be (-2)/6 + 264/63 + -3. Which is smaller: y or 2?
y
Let t = 241/3 - 82. Suppose 0 = -2*p + 3*y + 2, 0*y - y - 2 = 0. Do p and t have the same value?
False
Let n = -285319/40 + 36273/5. Let q = -121 + n. Is 0 != q?
True
Let o = 11.5 - 11.3. Is 0.23 less than o?
False
Let z = 0.23 - 0.33. Is -0.3 bigger than z?
False
Let y = -0.16 + -7.84. Which is greater: 0.1 or y?
0.1
Let s = -42 + 56. Suppose -y - 30 = -3*y. Is s < y?
True
Let s = 4 - -1. Let i = 4 - s. Let l be (-2 + 0)/(-4