86). Is u < 0?
True
Let j be (-4)/(-1) - (-1 - -1). Let w = 70 - 61. Let n(t) = -t**2 + 8*t + 11. Let s be n(w). Which is greater: s or j?
j
Suppose 2*n = -3*w - 44, -2*w + 8 = -n - 7. Let l = n + 20. Let y be (-2)/((-5 - -2) + l). Which is smaller: y or -2?
-2
Suppose -32 = -56*x + 48*x. Suppose x*o - 290 = -214. Which is smaller: o or 18?
18
Let s be (1 - 15/10)/(-21). Which is greater: -1 or s?
s
Let y(g) = -7*g - 18. Let x(h) = -6*h - 17. Let v(t) = 4*x(t) - 3*y(t). Suppose 6 - 14 = q. Let s be v(q). Is 9 greater than s?
False
Let j = -9.051 - -9. Is -1/2 at most as big as j?
True
Suppose 0 = 8*s + 341 - 341. Which is greater: s or 1/17?
1/17
Let o(c) = -33*c + 173. Let s be o(5). Suppose 0 = -4*n - 0*n + 40. Do n and s have different values?
True
Suppose 7 = -2*l - 3. Let c = -1826 - -1748.9. Let k = -77 - c. Which is smaller: k or l?
l
Suppose -2*j - 4*s - 7 = -25, j - 3*s = -6. Let f be 12/(132/8 - j). Suppose -4*w - 3*q + 7*q - 8 = 0, -2*w + 3*q = 6. Are f and w non-equal?
True
Let n = 2.4 - 1.1. Let l = 7.3 - n. Let g = 4.6 - l. Which is greater: g or -2?
g
Suppose 16*c + 148 = 18*c. Let l = c + -54. Do 20 and l have the same value?
True
Let f(m) = m**3 - 14*m**2 - 6*m - 1. Let c be f(14). Let t = 85 + c. Which is greater: t or 1/67?
1/67
Let g = 103/403 + -298409/1170715. Which is smaller: g or 0?
0
Suppose -26 = -8*z - 34. Which is bigger: z or 2/2037?
2/2037
Suppose 4*b + 155 + 901 = 0. Are b and -264 non-equal?
False
Let z(b) = -4*b**3 + b**2 + 7*b - 5. Let p(f) = f**3 - f**2 - f + 1. Let v(h) = -5*p(h) - z(h). Let n be v(3). Is n smaller than 4?
True
Let o = 5 - 12. Let g = 0 + o. Let s(r) = 2*r - 7. Let v be s(4). Which is smaller: v or g?
g
Suppose -n - 5*u - 1 = 0, -4*n + 58 = n + 4*u. Which is greater: 15 or n?
15
Suppose 5*l = 4*c + 4 + 20, -5*c - l = 59. Suppose 2*j - 4 = 0, -24 = 3*x - x - j. Is c less than x?
False
Let i be (-2)/(-3)*(-9)/(-4). Let q be ((-6)/4)/((-2)/8). Suppose 7*g - 4*g = q. Is g less than i?
False
Let f = -21 + 20.98. Let x = 0.08 - f. Which is bigger: -2/9 or x?
x
Suppose -2*l - 30 = 5*b, -3*l - 2*b - 19 = -b. Do -5 and l have different values?
False
Suppose -4*y + 23 = 7. Suppose y*b + 3 = 7. Let g = 1 + b. Are g and 2 non-equal?
False
Let a = 0.03 - 16.03. Let l = a + 15.85. Let t = -1.85 + l. Do 0 and t have the same value?
False
Let t = -3.21 - -3.11. Which is smaller: -184 or t?
-184
Let t be 1*(-2)/(-10)*1. Suppose -10 = -5*x - 0. Suppose -21*q + 23*q = -x. Is q at most t?
True
Let i(u) = -11*u - 19. Let h be i(-2). Suppose 0 = -3*s + 2*m + 25, -m + 3*m - 8 = 0. Suppose h*f = -v - s - 6, -3*v - 15 = 3*f. Does f = -6?
True
Let f(j) = -2*j**2 - 11*j + 1. Let h = 3 + -3. Suppose 5*a - 9 + 2 = 2*p, h = a + 1. Let o be f(p). Are o and -6 equal?
False
Let f(h) = -h**3 - 6*h**2 + 5*h - 15. Let p be f(-7). Which is smaller: -21/17 or p?
-21/17
Suppose 4*w = 2 + 6. Suppose w*k - 33 = 19. Let m = k - 27. Do m and -1 have different values?
False
Suppose 0 = 2*r - 17 - 151. Let i be (0 - (-11)/15) + (-28)/r. Which is greater: -0.8 or i?
i
Let a be -2 - (0 - (41 + -1)). Let o be a/(-28) + (-3 - (-10)/4). Which is bigger: -3 or o?
o
Let j = -1064 + 7449/7. Let l(y) = y - 2. Let k be l(3). Suppose -k = 5*x - 6. Is j bigger than x?
False
Suppose -126*o = -124*o. Which is smaller: -251 or o?
-251
Let j = -4638559/90 - -51539. Let c = -2/45 - j. Which is smaller: c or 15?
c
Let s = -1432 + 2168. Do 736 and s have the same value?
True
Let j = 5101/5 + -1020. Let n be (6/(-57))/(0 + -2). Are n and j unequal?
True
Let h(n) = -n**2 + 17*n - 8. Let u(d) = -d**3 - 11*d**2 + 9*d - 22. Let z be u(-12). Let k be h(z). Are k and 34 equal?
True
Let m = -508 + 2033/4. Is 18 less than or equal to m?
False
Suppose x + 2254 = 2231. Is -32 smaller than x?
True
Let c be 1/(-2) + 5/(-6). Let j = 38 - 29. Suppose 5*a + 3*p + j = 0, p + 0*p + 3 = -2*a. Are c and a non-equal?
True
Let s be 12/(-63)*(-30)/(-20). Which is bigger: s or -1007?
s
Let c(m) = m**2 - 4*m + 7. Let q be c(2). Let k = -1858/5 - -376. Are q and k non-equal?
True
Let r be (3/(3/1492))/4. Is r not equal to 372?
True
Suppose -3*c = -6*c + 15, -2*i - 21 = -5*c. Suppose -3*t - l = l - 38, -5*t + l + 59 = 0. Suppose -4*y - 39 = -o, -i*y + 4*o - t = 2*o. Is y bigger than -13?
True
Suppose 0 = 5*l + 4*o - 5, -2*l = o + o. Let n = 3 - l. Let c be -4*-2*n/(-8). Is c greater than -3/7?
True
Let k be (-306)/(-12) + (2 - 21/6). Suppose -8*x + 4*x + k = 0. Is x at most as big as 6?
True
Let p = -0.68 + 44.68. Let l = p - 37. Which is greater: l or 2?
l
Let l be 158/(-6) + (6 - 1). Are -22 and l unequal?
True
Let x = -105 + 118. Suppose 31 = 3*j - 5. Is x bigger than j?
True
Let f be 1*(0 - (-3 - -2)). Let p be 0 + 3 + 6 + -9 - f. Which is greater: p or -1/5?
-1/5
Let x(c) = 175*c**2 - 171*c**2 + 2 + 3 - 4 + c**3. Let g be x(-4). Which is bigger: 2/93 or g?
g
Let k be (-12 - (-390)/75)*5/2. Is -19 > k?
False
Suppose 0 = x - 0*x - 2. Suppose -x*s = -5*b - 4, -3*s + 1 = 2*b - 5. Let y be b + (-3 - -3) + 2. Is y equal to 8/7?
False
Let f be 152/(-3116) + (-88)/(-123). Which is smaller: f or 4.71?
f
Let v be ((-17850)/(-864))/(-17) - (-5)/4. Is v != 1?
True
Suppose n + 11 - 48 = 0. Suppose 5*f + n = 3*z, -2*z - 2 = -10. Let c(k) = -k**2 - 5*k + 6. Let b be c(f). Are b and 6 equal?
True
Suppose -l - l + 4 = 0. Suppose 0 = l*m + 4*p - 22, p = -m - 3 + 9. Suppose 2*c + 3 = 5*d, 3*c - 2*d - 13 + m = 0. Is 6 greater than c?
False
Suppose -g = 6 - 1. Let b = 10197/7 + -1461. Which is smaller: b or g?
g
Let l(z) = z - 10. Let s be l(12). Suppose -39*j + 41*j = 0. Suppose -f = -j*f - s. Which is greater: 1 or f?
f
Let s be 302/(-15) - (-4)/30. Let c = 2 - s. Suppose u + 5*k - c = 0, -6*k = -4*k - 10. Which is bigger: u or -11/6?
-11/6
Let z be 21/54 - (-8)/(-48). Suppose 3*b - 5*l - 7 = 2*b, -5*b + 2*l = 34. Is z less than or equal to b?
False
Let v = 12/1007 - -599/34238. Suppose -3*l + 2*f - 10 = 0, 3*f = 2*l + f + 10. Which is smaller: v or l?
l
Let x = 3560689/2754570 + -33/10090. Let u = 1/273 - x. Is u at most as big as -2?
False
Let p = 0.05 + 0.1. Let q = p + -0.1. Let f = -124 - -123. Are f and q unequal?
True
Suppose 21*g - 560 = 7*g. Which is bigger: g or 41?
41
Let s(n) = n**2 + 3*n - 5. Let h be s(-5). Let t(d) = -d**3 + 4*d**2 + 4*d + 3. Let x be t(h). Let i be (-1)/(-2 - 88/(-28)). Which is bigger: x or i?
i
Let l(x) = 2*x + 9. Let f be l(19). Suppose 21 + f = -4*i. Let n = 33 + -49. Which is bigger: i or n?
n
Let h = 12537 - 12534. Let n(p) = -p**2 - 8*p - 8. Let o be n(-6). Which is smaller: o or h?
h
Let p(r) = -r**3 + 31*r**2 - 32*r + 53. Let b be p(30). Is b equal to -12?
False
Let n be (-3)/(-1 + -4 + 4). Let k be 3 + (-2 - 3/n). Does k = -2/143?
False
Let x be ((-54)/(-15))/((-2)/(-10)). Let a be (-4)/x + (-97)/9. Let g = -20 - -9. Is g bigger than a?
False
Let s be (3/(-2))/(300/16). Let l(d) = -d**3 + 2*d**2 + 4*d - 4. Let u be l(3). Let g be u + -1 + (3 - 0). Is g greater than s?
True
Suppose 0 = 41*v - 50*v + 252. Is 18 less than v?
True
Suppose -3*g + 12 + 15 = 0. Let r = -1938 - -7753/4. Is g at least r?
True
Let f = -67 - -70. Suppose 78 = -3*v + f*d, -4*v + 2*d = 38 + 76. Do v and -30 have the same value?
False
Suppose 0 = 38*l - 43*l - 720. Let a = -141 - l. Are 28 and a non-equal?
True
Let x be (0 + -10)/((-10)/15). Let z be (-3)/9 + -4 + (-640)/x. Which is smaller: -48 or z?
-48
Let a(z) = -z**2 - 9*z - 2. Let k be a(-18). Which is smaller: -165 or k?
-165
Let u(d) = 2*d - 9. Let r be u(9). Let a = -0.15 - -2.15. Which is greater: a or r?
r
Let p be 231/(-70)*-2 - 7. Is p less than -62/9?
False
Let j = 22.3 - 3.3. Suppose -9 = -3*l, 0 = 3*s + 5*l - 12 - 0. Are s and j unequal?
True
Let x(a) = 30*a**3 + a**2 - 3*a - 3. Let g be x(-1). Is g at least as big as -310/11?
False
Let j = 0 + 4. Let o = 0.07 + -0.16. Let n = 1.91 - o. Which is greater: j or n?
j
Suppose -130 = -5*g - 0*g. Suppose 7*r - 189 = -28. Let z = g - r. Are 15/7 and z unequal?
True
Let a(j) = j**2 - 2*j. Let b be a(2). Let c = -13/55 + 727/2145. Which is greater: b or c?
c
Suppose 0 = 4*i - 5*b - 101, 8*b - 6*b = -i + 9. Which is smaller: 18 or i?
18
Suppose -7 + 4 = 3*u. Let h be 26/27 + 2 + -3. Do u and h have the same value?
False
Let c = 0.2 + -0.1. Let r = -408 - -444. Is r bigge