- 57 + c = 0. Which is bigger: g or 1/7?
g
Suppose z - 15 = 6*z. Let y be 0/((1 - 0) + z). Let h = 161 - 1123/7. Is y != h?
True
Let x = 3 + -7. Let l be 6/x*(-2 - -12). Let o = -15 - l. Is o less than or equal to -1/5?
False
Let x be 5 + -1 + (-6)/2. Let v = 175 - 2791/16. Is x <= v?
False
Let s = 34 - 34. Suppose 5*w - 6 = 4*r, s*r = 3*w + r + 10. Which is bigger: -3/2 or w?
-3/2
Suppose 9 = -3*v - 6. Let f = v + 4. Let u be 1/(1314/360 - (-2)/(-5)). Which is smaller: f or u?
f
Let x(s) = -11*s - 83. Let y be x(-8). Suppose -3*l = 4*f - 3*f - 1, -3 = -y*l - 2*f. Is l equal to -3/44?
False
Suppose -39*z - 34 = -37*z. Let d(o) = -5*o**2 + 3*o - 1. Let y be d(2). Is y greater than or equal to z?
True
Let v(n) be the third derivative of -n**5/60 - n**4/12 - n**3/3 - 4*n**2. Let t be v(-1). Suppose 37 - 25 = -6*y. Is t greater than or equal to y?
True
Let p = -0.1 - -0.68. Let o = p - 0.6. Which is greater: o or -1/2?
o
Let w be 1 - 5 - -1*1672/420. Are 3 and w unequal?
True
Let p be 8/(((-12)/3)/(-2)). Suppose 0*n + 5*k = 3*n - 1, 0 = p*k - 4. Let f be n/13*3/(-6). Which is greater: f or 0?
0
Suppose -8*y + 538 - 106 = 0. Let f be -4 - (-1)/(y/213). Let i = -0.4 - -0.3. Which is smaller: f or i?
i
Let o = -0.1 - -0.1. Let f = -3684/7 + 107319/203. Let g = -4/87 + f. Which is smaller: g or o?
o
Let n = -56 - -55.69. Let i = 0.09 - -0.01. Is i smaller than n?
False
Let o be 4 + (-37)/13 - 1. Suppose 4*r - 7*r = -6. Suppose -2*m - 6 = -3*z, 0*z = 5*m - r*z + 4. Which is smaller: m or o?
m
Let p = 31 + -27. Let i be -30 - 4*(-4)/p. Let o(q) = -q**3 - q**2 - q - 25. Let k be o(0). Which is greater: k or i?
k
Let f(o) = o**3 + 16*o**2 - 15*o + 34. Let w be f(-17). Are w and 3/370 non-equal?
True
Let m be -2 + 3*(0 + -2). Suppose -5*a - 22 = 2*f, a - 30 = 4*a - 3*f. Let r(g) = g**3 + 5*g**2 - 5*g - 1. Let x be r(a). Is m > x?
False
Let a = -0.04 - 0.01. Let p = a + -0.05. Let j = -0.0875 + -0.2125. Which is bigger: p or j?
p
Suppose 18 = -z + 4*z. Let q(v) = -5*v**2 + v + 6. Let b(r) = r**2 + r. Let w(t) = 4*b(t) + q(t). Let y be w(z). Is -1 at least as big as y?
False
Let l = 16 + -10. Suppose 18 = 5*t - l*t. Let p be (-20)/18 - (-4)/t. Which is bigger: p or -1?
-1
Let f = -246 - -198. Let j = 0 + -49. Which is smaller: j or f?
j
Suppose -2*c + 6 = 5*y, -5*c + 4*c = 3*y - 5. Which is bigger: c or -210/29?
c
Let g(h) = -6*h**3 + h + 1. Let q be g(-1). Let j = 1871 + -1870. Which is greater: q or j?
q
Suppose -2 = -5*v - 2*s - 0, s = -2*v. Let g be (-46)/36 + v*3/4. Is g greater than 3?
False
Let p(r) = -3*r**3 - 4*r**2 + 8*r + 10. Suppose -2 = -q + 2*q. Let v(l) = -4*l**3 - 3*l**2 + 8*l + 11. Let z(y) = q*v(y) + 3*p(y). Let a be z(-7). Is a <= 0.3?
False
Let z = 245.7 + -297. Let w = 5.3 + z. Is w at least as big as -2?
False
Suppose -14*v + 33 = 19. Suppose -9*x = -5*x - 16. Which is smaller: v or x?
v
Let b = -15927/25 - -637. Let r be ((-28)/(-3))/14*2. Which is smaller: r or b?
b
Let v = 13624 - 204466/15. Which is greater: -7 or v?
-7
Let y = 9.16 + -0.16. Let v = -7 + y. Let z = v - 1.9. Which is smaller: -2/11 or z?
-2/11
Let n be 161/3 - (2 - 14/6). Suppose 5*q + n = 159. Do 20 and q have the same value?
False
Suppose 7*r - 5*r + 2 = 0. Let x be 12/(-90) + (-236)/(-1995). Which is smaller: x or r?
r
Let f = -61 - -60.952. Is f at most as big as -0.1?
False
Let h = 0 - -12. Suppose -v + h = -5*v. Suppose 0*r + r + 3 = -2*c, 5*c + 4*r + 15 = 0. Which is bigger: c or v?
c
Let i = -163.6 - -30.6. Which is smaller: 2/5 or i?
i
Let t = -3 - -9. Let f = -10 + t. Suppose -w + 5 = 3*c - 5, -5*c + 28 = -4*w. Which is greater: w or f?
w
Let g(y) = 4*y - 12. Let i be g(9). Suppose -3*c - 119 = -5*l, 7*l - 6*l - 29 = -2*c. Are i and l unequal?
True
Let b = -65 - -64. Let k(o) = -2*o**2 - o - 1. Suppose -2*n - 5 = 3*n. Let t be k(n). Is t < b?
True
Let i = -2 - -14. Let x be (5 + -3)/((-8)/i). Which is smaller: x or -2?
x
Let l = -996 - -1091. Let t = 2/2569 + -1227992/12845. Let q = l + t. Which is bigger: q or 1/4?
1/4
Let n = 3.487 + -3.01. Let t = n + -0.077. Is t at least 0.3?
True
Let b = -364 + 365.7. Which is greater: b or 21?
21
Let u = -7 - -14. Suppose -3*b - 11 = n + u, 3*n - 5*b + 26 = 0. Does n = -12?
True
Let y = 2129/35 - 317/5. Let o be -2 - ((-1)/1)/1. Is o <= y?
False
Let y(u) = 0*u - 5*u**2 + 1 + u**3 - 1 - 4 + 5*u. Let p be y(4). Suppose p = -6*s + 2*s. Is s at least as big as -5/3?
True
Let g = -18.28 + 18. Let x = g - 0.92. Let u = x + 3.2. Which is smaller: 2/3 or u?
2/3
Let r(p) = p + 5. Let j be -4 + 3/(6/4). Let w be r(j). Let f be (-7)/(14/16) - w. Are -11 and f non-equal?
False
Let l be 12/21 - (-6)/14. Let b be -1*(l - 3) + -2. Which is smaller: b or -1/3?
-1/3
Let c = 2 + -2. Let s be 1 - (-8 - (-2 + c)). Is s <= 4?
False
Let u = -563/21 + 27. Is 1 >= u?
True
Let f be (-60)/(-14) + 6/(-21). Suppose -2*l + 16 = -f*n, 5*l = 3*n - 5*n + 4. Which is smaller: l or -3/5?
-3/5
Let d = 5 - 25. Let n = 178 + -169. Suppose -7*l = -n*l - 4*t - 50, -4*t + 13 = -l. Is l greater than or equal to d?
False
Let m be (16 - 20) + -3 + 0. Are 73 and m non-equal?
True
Let h be 4 + -3 + 141/(-123). Let b(x) = -2*x**2 - 8*x. Let f be b(-4). Which is smaller: h or f?
h
Suppose -5*a + 37 = -63. Suppose -2*d - 28 = 5*g - 0*g, g + 4*d + a = 0. Let p be (8/g + 1)*-3. Is p greater than or equal to -0.06?
True
Let n be (((-63)/6)/(-7))/((-3)/(-2)). Which is greater: n or 2/665?
n
Let h(w) = w - 1. Let d be h(2). Let u be (72/(-30))/((-76)/20). Is u equal to d?
False
Let c = -0.02 + 0.12. Let i = 0.01 + c. Let t = -0.89 - i. Which is smaller: -12 or t?
-12
Let k = 7/36 - -53/36. Let u(r) = 196*r + 2746. Let a be u(-14). Which is smaller: k or a?
k
Let k = 5747 - 5699. Let a be ((-24)/2)/(4/(-16)). Is k >= a?
True
Suppose 4*m + 217 = 3*t, 4*t - 282 = -2*m - 0*m. Let u = t + -68. Do 3 and u have the same value?
True
Suppose 0 = -2*w + 4*y + 34, w - 5*y + 2*y = 17. Let h be 2*5/12 + (-28)/(-24). Suppose h = w*f - 18*f. Is 6 greater than f?
True
Let k = -2187 + 2186. Which is greater: k or 1/928?
1/928
Suppose b - 295 = 6*b. Let g = -54 - b. Suppose 32 = 5*u - 3. Is u smaller than g?
False
Suppose k = 3*t - 9, 0 = -3*t - 2*k + 4*k + 12. Let x be t*(2 - (6 - 0)). Let q = 7 + x. Which is greater: q or 2/13?
2/13
Let n(h) = 2*h + 26. Let j be n(-13). Let r = -8/9 - j. Is r smaller than -1?
False
Suppose 4*b = -5*x - 34, 5*x - 3*b = 6*x - 2. Let l be 26/10 + 2*15/x. Is l smaller than -0.4?
False
Let j = -5/6 - -1/3. Let w = 40 + -31. Which is smaller: j or w?
j
Let t = 34 + -30. Let n = 10 - 6. Suppose -n*y - 10 = 3*b, t*b + y - 4 = -0*y. Which is bigger: 1 or b?
b
Let p(g) = -71*g - 508. Let t be p(-10). Which is smaller: 200 or t?
200
Let r = -5.8 + 6. Let j = -4.7 - 0.1. Let s = 5 + j. Do r and s have different values?
False
Let t be 112/12*12/(-8). Let d = 14 + t. Suppose -c - 1 + d = 0. Do c and -2/7 have the same value?
False
Let y = 47.5 - 76.5. Which is smaller: -3 or y?
y
Let c = 34/13 - 2634/1027. Which is greater: c or 0?
c
Let s be (2/(-4))/(((-273)/(-155754))/(-13)). Let u = -3715 + s. Which is smaller: -7 or u?
-7
Suppose 0 = 5*i + k + 19, k + 0*k - 17 = 4*i. Let a(o) = o**2 - 19*o - 2. Suppose 114 = 2*h + 4*h. Let d be a(h). Which is smaller: i or d?
i
Let c be (2080/(-695) - -3)/(-1). Let r = 166/3753 + c. Is 1 less than r?
False
Suppose -2*u - 9 = -5*u. Let n be u + -1*22/8. Suppose -2*i = i. Is n less than i?
False
Suppose -1516*i = -1507*i - 3375. Do 373 and i have the same value?
False
Let v = -4 - 11. Let k be (-3)/v + (-2)/10. Suppose k = -4*x - 36. Which is smaller: -0.1 or x?
x
Let b = 227 - 225. Is b >= 9/17?
True
Let s = -1474 - -1384. Are -94 and s non-equal?
True
Suppose -c = -1, -57 = -k - 2*k + 3*c. Let r be 10/k*(-4)/74. Is -1 at least as big as r?
False
Let g(m) = -148*m - 437. Let w be g(-13). Are w and 1487 non-equal?
False
Let w = 335/19 + -80773/4579. Do w and 0 have different values?
True
Suppose -51*b - 17*b = 59500. Is -875 < b?
False
Let p be (-159)/(-84) + (-1)/7. Let h = 29/12 - p. Suppose 3 = -3*x + 6*x. Is x < h?
False
Let n = -107 + 7. Let y = n - -100. Let k be (-7 - -1) + (1 - -1). Which is bigger: y or k?
y
Let d be 8*((-7)/2 + 1)/2. Let h be -3 - 44/20*(-10)/8. Is d >= h?
False
Suppose -240 = 11*s - 3*s. Let g = 