y?
False
Let r = 6 + -27. Let w be 10/35 + (-1)/r. Which is greater: w or 1?
1
Let a(q) = q**3 - 6*q**2 - 7*q + 3. Let x be a(7). Is x < 4?
True
Let z(v) = 2*v - 2. Let h be z(-5). Let l be ((-8)/h)/((-2)/(-3)). Let t be 0 + 2*(-1)/(-6). Are t and l unequal?
True
Let o be 0 + (-42)/8 + 4. Is o smaller than 0?
True
Let p(f) = f**2 + 3*f - 1. Let i = -2 + -1. Let v be p(i). Which is greater: 4/9 or v?
4/9
Let n = -8.8 + 8. Let f = -10.3 - -10.7. Let v = n + f. Is v <= 1?
True
Let v = 35 + -48. Is v >= -12?
False
Let l be (-18)/(-15) + -2 - -1. Suppose -5*v + 4*k = -2*v - 7, -5*v + 4*k = -9. Is l <= v?
True
Let l be (0/(-2) - 0) + 2. Suppose w = l*w - 1. Let x be (w + -1)/(-1 + 2). Which is greater: 1/4 or x?
1/4
Let t(h) = h**2 + h + 238. Let f be t(0). Let g = f + -727/3. Let k = -4 - g. Which is bigger: k or -0.1?
k
Let j be (6/8)/((-4)/16*1). Let y(s) be the first derivative of -s**2/2 - 3*s + 1. Let h be y(j). Which is smaller: h or 2/9?
h
Let i be -3 - (-3)/(3/7). Suppose -4*z + 2*n = -n - 9, i = 4*z - 4*n. Which is greater: 5 or z?
z
Suppose -19 = -x + 5*m, 0 = -2*m - 6 - 0. Suppose 3*i - i + x*a + 8 = 0, 2*a = 4*i + 6. Is -2/3 greater than i?
True
Let o = -18 + 13. Let n = o - -3. Which is smaller: -1 or n?
n
Suppose -2*c - 4 = -2*v, -4*v + 1 = c + 2*c. Let j = c + 1. Let n be (-18)/(-40) + 0 - 6/24. Which is greater: n or j?
n
Let k be -10*1/(-4)*-2. Let t be (-6)/24 + (-57)/12. Is k <= t?
True
Suppose -4*x + 2*b = -30, 0 = -3*x + 2*b + 19 + 5. Is 7 equal to x?
False
Let x be 4/6*18/4. Let b be ((-2)/x)/(8/(-30)). Is 0.1 greater than b?
False
Let g = -1 - -6. Let w = g - 8. Which is smaller: -1/2 or w?
w
Let z(o) = o**3 - 9*o**2 + 9*o - 6. Suppose 0*p - p + 8 = 0. Let i be z(p). Let y be i*(1 + 3/6). Is y at least as big as -0.1?
True
Let b = 14.068 + -0.068. Is 1 > b?
False
Let z = 27 + -27. Let n be 482/(-14) + 0 + 1. Let l = n + 33. Which is smaller: l or z?
l
Let y be (-10)/20*4/(-10). Is y > 1?
False
Suppose 6*y - y = -320110. Let k = 7106362/111 + y. Let u = 2/37 + k. Is -1 > u?
False
Let g(n) = -n**3 - 9*n**2 - n - 11. Suppose -45 = 7*a - 2*a. Let r be g(a). Is -3 >= r?
False
Suppose 4*i = -156 - 52. Are -52 and i non-equal?
False
Let u(x) = -x**3. Let y be u(0). Which is smaller: 2 or y?
y
Let t = -241 + 2171/9. Is t at most 0?
False
Suppose 3*d = 2*u + 9, 5*d + 4*u - 15 = u. Suppose 0 = 3*r - d. Which is smaller: 0.2 or r?
0.2
Let o be 8/(-16) - (-34)/(-4). Let i be 0 - (-12)/o - 0. Is i smaller than -1?
True
Suppose 3*w - 2*w + 6 = 0. Let v be (-4)/18 + (-122)/18. Are v and w non-equal?
True
Let r be (2 - 3) + -3 + 0. Let c(q) = q**3 + 3*q**2 - 4*q - 4. Let n be c(r). Is 2/5 at most as big as n?
False
Let u = 0.071 - 48.071. Is u at most 0?
True
Let v = 96 - 96. Is v equal to 2/175?
False
Suppose -4*f = -f - 9. Suppose f*a = 2*a. Are -2 and a nonequal?
True
Let f = -35/2 - -18. Let s(z) = z - 2. Let v be s(5). Suppose 0 = 5*j + 5*d, 2*j - d - v = -0*j. Is j greater than or equal to f?
True
Suppose 3*z - 2 = -2*u + 1, 3 = -3*u + 3*z. Suppose u = -4*q + 3*q - 2. Is -4 smaller than q?
True
Let w = -30 + 30.2. Is w less than 0.03?
False
Let b = -3.93 - -4. Is 2/5 greater than or equal to b?
True
Let t = -7 + 5. Let v = 119 - 122. Is v at most t?
True
Let q(y) = y**3 + 4*y**2 - 1. Suppose 2*u = -3*m - 20, 2*m + 8 + 20 = -5*u. Let i be q(u). Let w = -7/60 - 1/20. Which is smaller: w or i?
i
Suppose 0 = -2*o + 2*k + 90, 130 = 3*o - 0*o - 2*k. Let z be (-3)/(-15) - 28/o. Which is smaller: -2/13 or z?
z
Suppose 49 = -4*k - 3*h + 4*h, 0 = -3*k + 2*h - 43. Is k at most -13?
False
Let s(x) = -x + 6. Let a be s(6). Let d be (a + (-5)/(-3))*3. Suppose 3*h + j + j - 1 = 0, 0 = -d*h - j + 4. Which is bigger: h or 2?
2
Let o(p) = -p**2. Let q be o(-2). Let u(r) = r**2 + r - 5. Let t be u(0). Is q bigger than t?
True
Let a(g) = -8*g - 1. Let f(z) = 9*z + 1. Let h(k) = -4*a(k) - 3*f(k). Let y be 2*(1 - 9/6). Let w be h(y). Which is bigger: w or -2?
-2
Let i(h) = h**2 - 4*h - 2. Let z(r) = r**3 - 2*r**2 - 2*r + 2. Let q be -1*6/(-10)*5. Let p be z(q). Let u be i(p). Are 3 and u unequal?
False
Suppose -7*c = -6*c + 2. Which is bigger: -4 or c?
c
Suppose 4*f + 5*p - 10 = -1, 0 = -4*f - 4*p + 8. Suppose -9 - f = -2*w. Let v = w + -4. Does v = 0?
False
Let a = 16/13 - 14/13. Is a < -1?
False
Let x(o) = -o**3 - 9*o**2 - 4*o - 7. Let k be x(-8). Let j be (-114)/k - (0 + 3). Suppose 0*q + 1 = -q. Do j and q have different values?
True
Suppose 8*q - 4*q = 0. Which is bigger: 7/8 or q?
7/8
Let a be 15/25 - (-286)/15. Let l = a + -19. Which is greater: 0 or l?
l
Let w = 9/1250 + -391/123750. Let a be (4/(-550))/(18/(-1970)). Let r = w + a. Is r >= 1?
False
Let v be 4/6 - 175/(-21). Suppose 19 = -4*r - v. Which is bigger: -8 or r?
r
Suppose -2*t = -5*n - 11, 0*t + t = -2. Let a(l) = -l**2 + 7*l - 6. Let s be a(6). Suppose s*w = w + 2. Which is greater: n or w?
w
Let q be ((-60)/(-75))/((-2)/(-30)). Which is greater: q or 11?
q
Let j = -8 - -13. Suppose 4*t - 16 = -h + j*h, t - 3*h - 12 = 0. Let a(y) = y. Let z be a(0). Are t and z nonequal?
False
Let i = 1.78 - -0.22. Suppose 10*o + 20 = 5*o. Let h be (-24)/135 + o/(-10). Which is smaller: i or h?
h
Suppose 0 = -3*o + 5*l - 3*l - 14, 0 = 4*o + l + 4. Which is smaller: -3 or o?
-3
Let x be (-2)/(-7 + 5) + -33. Which is bigger: x or -33?
x
Let l = -59 + 59. Is 4/11 at least as big as l?
True
Let d be (3/1)/(0 - 1). Let x(f) = -f**3 - f - 2. Let l be x(d). Let a = 142/5 - l. Do 1 and a have different values?
True
Let m = -190 - -946/5. Do m and -4 have the same value?
False
Let i = 9 + -8. Is 1/3 greater than or equal to i?
False
Let q = 30 - 14. Suppose 4*v = -3*m + q, 0*v = v - 4*m + 15. Which is smaller: 2/9 or v?
2/9
Let z = 0.07 - -0.33. Let x = z - 2.4. Which is greater: x or -1/4?
-1/4
Let m = 8 - 3. Let w = 7 - m. Which is greater: w or 1?
w
Suppose 0*t = 4*t + 28. Is t at least -5?
False
Let g = 0.09 + -0.09. Let q = -0.7 - -1. Let v = g - q. Is v != -2?
True
Let v = 6.5 + -6.7. Which is smaller: 0.04 or v?
v
Suppose -4*d = -0*d - 8. Suppose 0 = 4*p - n, d*p = -8*n + 3*n. Which is bigger: -1/4 or p?
p
Let a be -4*((-1)/4 - -1). Let v(k) = 14 + 0 - k**2 - 4*k - 10 - 8. Let b be v(a). Which is smaller: -3 or b?
-3
Let f(v) = -v - 1. Let x be f(-3). Suppose l - 4*c = -11, x*l - 5*c + 16 = -0*l. Is -2 > l?
True
Let n = 22 - 11. Let s = n + -15. Is s < -4?
False
Let h = 3 + 2. Suppose -p + h*p = -8. Suppose 2*x - 2 = -4. Is x >= p?
True
Let t(c) = 7*c**2 + 8*c - 1. Let u(y) = 3*y**2 + 4*y - 1. Let r be 70/7*(-2)/4. Let o(j) = r*u(j) + 2*t(j). Let s be o(-5). Which is smaller: s or -1?
s
Let d = -2215/159 + 14/53. Let t = -14 - d. Which is bigger: 5 or t?
5
Let g = 1.6 - -0.4. Let b be (1/4)/(10/(-16)). Which is bigger: b or g?
g
Suppose -h + 5 = z, 0*z + 2*z - 5*h = -18. Let i be z*((-9)/(-3))/(-3). Let p be (-4 - i)*2/3. Which is smaller: -2/3 or p?
p
Suppose 2*s + 516 = 3*x - 0, 3*x - 537 = -5*s. Is 175 less than x?
False
Let c = -423 + 8039/19. Is 0 < c?
True
Let h be (-6)/8*(0 + 2). Which is smaller: h or -1?
h
Suppose 4*a = 3*a - 3*v + 14, -24 = -2*a - 5*v. Suppose -a*q + 4*x = 2, q - 4*x + 3 = 2. Let c be 3/((66/4)/1). Is q != c?
True
Let x be 2/(3 - ((-4)/4 + 3)). Suppose -4*l = -4*s + 12, l = -2*s - 2 - 1. Let z = s + x. Which is smaller: 0 or z?
0
Suppose -3*m - 60 = -7*m. Let k be m/(-10)*4/6. Is -4 greater than or equal to k?
False
Let l = 2 + -4. Let t = 1004/33 + -78/11. Let w = t + -23. Is l less than w?
True
Let q(x) = x**3 - x**2 + 3*x - 2. Let n be q(1). Is n bigger than -3.5?
True
Let l(a) = -a**2 + 9*a - 1. Let y(d) = d + 2. Let g be y(6). Suppose 2*m = -g, -w - 2*m = -m - 5. Let z be l(w). Which is smaller: 0 or z?
z
Let l = 2 + 0. Suppose 3*j + 23 = 2*i, -i + 0*j = -l*j - 14. Suppose 3*t - 2*m - 6 = 0, -2*t + 4*t - i*m - 12 = 0. Is t greater than or equal to 1?
False
Suppose 0 = -2*d - 4*z + 16, 32 = 2*d + d + 2*z. Do d and 13 have the same value?
False
Let l(a) = a**3 - 8*a**2 - a + 7. Let t be l(8). Let y be (t/3)/(6/18). Let b = -2/57 + -17/57. Which is smaller: b or y?
y
Let z = -3156389/91 - -34685. Let c = z - -4/13. Which is smaller: c or -2?
-2
Suppose 6*d = d + 280. Let s be (18/d)/((-3)/60). Let y = s + 211/35. Which is smaller: y or 2/5?
y
Let v = -56 + 56.1. Is v at mos