er: n or q?
n
Let z be ((-48)/(-180))/(4/10). Which is smaller: z or -2/9?
-2/9
Let f be ((-226)/76 + 3)*4. Which is smaller: -1/4 or f?
-1/4
Let g(h) = -h**2 + 3*h - 2. Let y be g(2). Let z = -115/4 - -29. Is y greater than z?
False
Let l be 3 + (3 - 4)/1. Which is greater: 6 or l?
6
Suppose 0 = 13*q - 7*q. Are 4/13 and q nonequal?
True
Suppose 4*h - 2*h + 2 = 0. Let r be (-1)/((-1)/(3 + h)). Suppose 2*u - 3*t + 29 = 2*t, -r*t = -2*u - 14. Is -2 greater than or equal to u?
True
Let n be (-2)/9 + (3 - 15715/5625). Which is smaller: -1 or n?
-1
Let o = 162 + -159. Is o > 4/7?
True
Suppose -a = -6*a. Let y = -0.01 - -0.01. Does a = y?
True
Suppose -4*k + 2 = -2*r, -k + 10 = 5*r + 4*k. Let d be ((-168)/(-630))/((-3)/((-9)/2)). Is r greater than or equal to d?
True
Let l = -59 + 61. Which is smaller: 4 or l?
l
Let w be 0/(-1 - (0 + -2)). Suppose w = -4*y + y - 6. Let l = y - -1. Which is smaller: 1/4 or l?
l
Suppose 2*w + 5 = 1. Which is bigger: w or -4?
w
Let n be 42/(-10) - (-8 + 4). Let j = 0 - 0. Which is smaller: j or n?
n
Suppose 0*u + u + 12 = 0. Is u > -12?
False
Let c be (-1 + 28/20)/(511/(-5)). Are -1 and c nonequal?
True
Let s be (2/(-3))/(10/(-9)). Suppose 4*t = -3*k - t - 11, 5*k + 8 = 2*t. Which is smaller: s or k?
k
Let u be 7/(-28) - (-5)/(-4). Let r(n) = -n**2 - n - 3. Let s be r(0). Which is greater: s or u?
u
Let z(c) = -c**2 - 4*c + 3. Let b be z(-5). Let x be 0/b*(2 + -1). Is -4/7 at most as big as x?
True
Let o = -772/393 + 65404/24759. Let b = o - 2/189. Is 0.3 < b?
True
Suppose -13*x - 3 + 3 = 0. Let d be 24/10 - 0/(-1). Let g = d - 2. Is g at least as big as x?
True
Let z = 0 + 3. Let j(c) = c**2 - 7*c - 7. Let b be j(8). Let v(k) = -2*k**3. Let m be v(b). Which is bigger: m or z?
z
Let j = -885 + 4453/5. Is 6 at least j?
True
Let j be (((-120)/9)/4)/(-6 - -4). Which is bigger: j or 2?
2
Let k = 23 + 15. Let m = -23 + k. Suppose -4*f - i + m = 0, -3*f + i + 3 = -i. Which is smaller: f or 4?
f
Let y(j) = -j - 5. Let s be y(-4). Suppose -p = -3 + 9. Let h be p/4*3/9. Are h and s non-equal?
True
Let n(c) = -3*c - 5. Let g(y) = 7*y + 10. Let f(p) = -4*g(p) - 9*n(p). Let b = 3 + 1. Let d be f(b). Which is bigger: d or 3?
3
Let o be 1/(-6)*14*-3. Let s = 12 + -7. Suppose 0 = s*k - o*b + 2*b + 10, 4*k + 2*b = -14. Is k greater than or equal to -4?
True
Let m be (3 - 3)/(1/(-1)). Suppose 3*d - 1 = -k + 4, -2*d - 3*k + 8 = m. Suppose -14*h = -9*h. Is h less than or equal to d?
True
Suppose -7*x = -3*x - 4. Suppose -3*m = -2*m + 1. Is m greater than or equal to x?
False
Let s(x) = x**2 - 3*x - 4. Let a be s(3). Let j = a - -1. Let z = j + 12. Do z and 8 have the same value?
False
Let d be (-1 - -27)*(-51)/(-34). Is d less than or equal to 40?
True
Let l = -63 - -98. Let m be (-60)/l*1/3. Does m = -1?
False
Let o = 17 - 9. Let s = 2 - 1. Let d be o/(-2) - -2 - s. Is d > -2?
False
Let g = -0.01 + 0.01. Which is smaller: g or 10/3?
g
Let i(r) = -10 - 5*r + 11*r - 5*r. Let x be i(10). Let p be (-1 - -2)*(1 + x). Which is smaller: p or -2/7?
-2/7
Let z = 1 + 0. Let a(j) = -j. Let i be a(-2). Let u(g) = g - 2. Let t be u(i). Do z and t have different values?
True
Suppose 4*j - 2*n = 7 + 29, -12 = -2*j - 2*n. Suppose -1 - j = -3*g. Is g equal to 2?
False
Let v be 58*1/(-14) - -2. Are v and -1 nonequal?
True
Let y be (-1926)/21 - (-10)/(-35). Let j be y/(-90) - (-10)/(-45). Is j < 0?
False
Let i(w) = w**3 - 5*w**2 + 5*w - 4. Let t(p) = 3*p - 2. Let f be t(2). Let k be i(f). Is 2/29 equal to k?
False
Let o(t) = -t**2 - 2*t. Let h be o(-2). Suppose -6*c + 12 = -2*c. Suppose q - c*q = 0. Is h at least as big as q?
True
Let y = -0.9 + -0.1. Let a(x) = -x**3 - 10*x**2 - 13*x - 12. Let n be a(-8). Let p = -177/5 - n. Which is greater: y or p?
p
Let t be (60/24)/(1/(-2)). Is -4 greater than or equal to t?
True
Suppose 3*c = 2*c - 8. Suppose -5*q + z = 4*z + 51, -4*q - 40 = 2*z. Which is bigger: q or c?
c
Let w = 17/12 - 7/4. Let z = 84 - 587/7. Let i = z + 4/21. Which is greater: i or w?
i
Let k = 220.8 + -213. Which is smaller: k or 0?
0
Let j be (34/30)/(2/(-5)). Let g = j + 7/2. Is g != 1?
True
Let j = -1 + 4. Suppose -2 = j*x - 8. Do 2/3 and x have the same value?
False
Let a be (-2 - -1)/(-2 + 3). Let f = 0 - 0. Is a less than or equal to f?
True
Let x = 1.3 + -16.3. Let a = x - -15.1. Is -4 less than or equal to a?
True
Let x = 4 + 1. Suppose -x*f = -3*z, -2*f + 5*z + 4 = 3*z. Which is bigger: f or -4?
f
Let v(t) be the second derivative of t**5/20 + t**4/6 - t**3/3 + t**2/2 - 6*t. Let c be v(1). Which is bigger: 6/5 or c?
c
Let a = -17 - -19. Let p be a*(6/(-3) - -3). Suppose 2*q + 7*t = 2*t, 3*q - 5*t = 0. Which is smaller: q or p?
q
Let u be 7/(-9) - (0 + -1). Suppose 0 = -k + 6*k - 15. Let x be (-1 + 0)*(k + -4). Which is greater: u or x?
x
Let s = 24 + -24. Let w(m) = m**3 - 3*m**2 - 3*m - 1. Let h be w(4). Let l = h - 2. Is l at least s?
True
Suppose 5*b - 14 - 1 = 0. Suppose -j = -b*j. Are 1/2 and j unequal?
True
Let j(p) = -p - 4. Let r be j(-4). Let q = 20/11 + -16/33. Which is greater: q or r?
q
Let x be (-542)/(-182) - 3 - 0. Which is smaller: x or 0?
x
Let j = -58 - -57. Is 3/16 smaller than j?
False
Let v be 1/6*18/(-153). Are 1 and v unequal?
True
Suppose -9*i + 5 = -4*i. Is i >= -4/9?
True
Let f = 21 + -21. Let p = -1.1 + 0.1. Which is smaller: p or f?
p
Let d(r) be the second derivative of r**5/20 - r**4/4 - 2*r**3/3 - r**2 - r. Let z be d(4). Which is smaller: -3 or z?
-3
Let p = -83 - -82.63. Let t = -0.07 - p. Which is greater: t or -0.2?
t
Suppose -215 = -3*v + 5*j - 0, -4*v + 308 = 4*j. Is v at most as big as 75?
True
Let k = -144 - -145. Which is bigger: k or 12?
12
Let g = 2888866/15 + -192489. Let h = 102 - g. Which is smaller: h or 0?
h
Let o = 522.1 + -496. Let w = -26 + o. Is w at most -0.6?
False
Suppose -6*u + f = -u + 5, 5*f - 25 = -5*u. Is 0 != u?
False
Suppose 4*r = -300 + 64. Is r greater than -60?
True
Let a be (6 - 57/9)*(1 + 2). Let g be (-8)/3*15/(-2). Suppose 10 = -w - 2*i, -4*w - g = 3*i + i. Is a greater than or equal to w?
False
Let t(g) = g**2 - 10*g - 7. Let z be t(10). Let h(u) = -u**2 - 6*u - 1. Let q be h(z). Which is bigger: q or -6?
-6
Let r be (1/14)/((-1)/(-4)). Suppose -7*l = -0*l - 7. Which is smaller: l or r?
r
Let o be (2/(-14))/(18/(-21)). Suppose -7*n = -6*n + 6. Let a(y) = y**3 + 6*y**2 + y + 7. Let j be a(n). Are j and o non-equal?
True
Let o be ((-20)/6)/(-5)*(-51)/2. Which is smaller: o or -0.1?
o
Suppose -5*i + 6 = 4*d + 25, 15 = -5*i. Let c be (2 - d) + -1 + -1. Let a = c + -1. Are a and 0 unequal?
False
Let a(d) = -d - 11. Let f be a(-16). Which is greater: 1 or f?
f
Let d = -19.4 + -4.6. Let o = d - -20. Let c = 0 - -0.2. Which is greater: o or c?
c
Suppose 0 = -8*t + 4*t. Let d = -3 + t. Is -2 greater than d?
True
Suppose -2*f - 4*b - 8 = -2, 3*f = 4*b + 21. Which is smaller: f or 7?
f
Let f = -2.1 - -2. Let i = -0.038 + 0.238. Which is greater: i or f?
i
Suppose -6*k = -5*k - 2. Suppose -4*z - 10 = 5*t, t - 4*z + 3 = 25. Is t equal to k?
True
Let r = 1/13 + 19/91. Let x = 3 + 0. Suppose -2 = x*d + 1. Which is greater: d or r?
r
Let p be 1268/24 - (0 - 1). Let y = p - 54. Is 2/3 equal to y?
False
Let v(s) = 2*s + 8. Let f be v(-6). Let r(n) = n**3 + 6*n**2 + 2*n + 9. Let p be r(-6). Is f greater than p?
False
Suppose -3*o + 21 = 5*w - 2*w, 0 = 5*o + 3*w - 29. Suppose -5*r + 12 = -3, -4*r + 16 = -o*k. Which is smaller: 1/3 or k?
k
Let h(d) = 1 + 4 + 5*d - 4*d. Let n be h(-6). Let l = n + 1. Which is greater: l or -4/5?
l
Suppose -2*m + 2*j = -0*j + 24, -3*m - 3*j - 18 = 0. Which is smaller: m or -12?
-12
Let b be 2743/182 + (-2)/28. Let c = 32 + -16. Which is smaller: b or c?
b
Suppose 15 = -3*g - 3*l, l = 5*g - 3*l - 2. Let v = -5 - g. Let i = v + 2. Which is smaller: -2/5 or i?
i
Let j = 15 - 23. Let a = 7 + j. Suppose -2*s - n + 6 = -0*n, -5*s = n - 9. Which is greater: a or s?
s
Let j be (-4 - -3) + -1 - 54/(-24). Does -5 = j?
False
Let f be (3/(-6))/((-3)/12) + -2. Which is greater: 1/33 or f?
1/33
Let f(y) = -y**3 + y + 32. Let m be f(0). Let q be (-3)/4*m/(-18). Let i(c) = -c**2 + 14*c + 16. Let w be i(15). Which is smaller: w or q?
w
Let y be 52*1/14 + -4. Which is bigger: -2/19 or y?
-2/19
Let a = -4 + 11. Suppose -3*l - 12 = a*t - 3*t, 2*l = 4*t + 32. Is t less th