. Is j < 0?
True
Let n = -3/4 - -5/4. Let y = 1 - 25. Let x = 25.2 + y. Which is smaller: n or x?
n
Let l(k) = k + 21. Let y be l(-15). Let o be ((-1)/(26/y - 4))/1. Let m(x) = -2*x**2 + 2*x + 1. Let s be m(-1). Is s greater than o?
False
Let o be 3/9 - (-77)/21. Let v be (-5337)/(-135) + o/30. Let p = -40 + v. Which is smaller: 0.21 or p?
p
Let s = 170 + -99. Let d = s - 121. Let h = -29 - d. Which is greater: 20 or h?
h
Let i be (-27)/1 + (9 - 4). Which is smaller: -10 or i?
i
Let v = -10 - -35. Let k be 18/(-63) - -1*v/63. Is 0.1 bigger than k?
False
Suppose 0 = -2*d + 2, x - 2*d = 4*x - 17. Suppose 0*b = -5*b - x. Is b not equal to 0?
True
Let s(y) = -4*y**2 + 172*y**3 + 4*y + 10 - 87*y**3 - 86*y**3. Let k be s(-3). Do -6 and k have the same value?
False
Let v = 36 + -79. Let z = -20459/4 + 5158. Let y = z + v. Which is smaller: y or 5?
y
Let c = 736 + -759. Are c and -23 non-equal?
False
Let v be (-46)/(-10) - (-18)/(-30). Let k be ((-40)/30)/(v/6). Is k less than or equal to -2?
True
Let i(a) = 41*a**3 - 21*a + 31*a**3 - 11 + 8*a**2 - 71*a**3. Let j be i(-10). Let c(f) = f**3 + 4*f**2 + 3*f. Let h be c(-3). Is h at most j?
False
Let m(v) = -15*v - 254. Let s be m(-17). Which is smaller: s or 1/149?
1/149
Suppose 49 = -29*i + 20. Is -27/7 greater than or equal to i?
False
Let j = 33 - 12. Let u = j - 16. Do u and 30/7 have the same value?
False
Let g = 132 - 121. Which is bigger: 0 or g?
g
Suppose 131*j - 525 = 415 + 1287. Let m = -25 + 15. Let y be ((-36)/m)/((-3)/(-15)). Is y greater than or equal to j?
True
Let s(z) = -z**3 + 10*z**2 - 48*z + 185. Let i be s(7). Let h be 1/(-1 - 0)*7. Which is bigger: h or i?
i
Let m be (0 + 0 - 0) + -2. Let d(c) = -5*c**2 - 2*c - 3. Let r(p) = -14*p**2 - 5*p - 8. Let s(g) = 17*d(g) - 6*r(g). Let j be s(m). Is j less than 1/3?
False
Let n(x) = -x + 2. Let w be n(-1). Suppose 4*a - w = 5. Suppose 0 = -3*t - 4*r, -r = -a*t - t. Is 6/5 != t?
True
Let r = -43 + 52. Let s be r + -7 + (-15)/1. Do -13 and s have the same value?
True
Let p = 490.2 + -491. Is p bigger than -1/6?
False
Suppose -2*j + 154 = 5*w - 81, -3*w - 243 = -2*j. Which is greater: j or 119?
j
Let g be (4/(-6) - 492/18)/1. Is -28 smaller than g?
False
Let i = 86393077 + -444837954866/5149. Let x = 2/271 + i. Is x bigger than 1?
False
Let m(f) = 4*f - 5. Let t = 9 + -7. Let x be m(t). Suppose 4*a + 2*y + 3 = 1, 2*a - x = -5*y. Is a less than or equal to -7/3?
False
Let j be (0 + 1)/1 - 1. Let g = 24 + -17. Suppose -g*b + 12 = -4*b - 3*v, -2*b + 5*v = -23. Does b = j?
False
Let l be (-5 + 78/12)*(2 + 0). Suppose -4*j - z + 4*z = -65, -5*z = -l*j + 57. Are 14 and j nonequal?
False
Let d(s) = -6*s - 7. Let n be d(-6). Let g = n + -21. Suppose 4*p - 4 = g. Which is smaller: p or 0?
0
Let s(x) = -x + 1. Let d(k) = k**2 + 3*k - 2. Let a be d(-4). Let q be s(a). Let i be (2/(-10))/(-1 + 4). Which is bigger: i or q?
i
Let n = 3 - 6. Let m = -16 + 11. Let t = n - m. Which is smaller: t or 12/11?
12/11
Suppose -12 = -14*x + 18*x - 5*k, 0 = 4*x + 3*k + 12. Let d be (3/10)/((-2)/28). Which is greater: d or x?
x
Suppose -o + 4 = -d, -4*d - 53*o = -49*o - 8. Are 1/267 and d unequal?
True
Let w = -152/35 + -6/7. Let a(d) = d**2 - 8*d + 8. Let x be a(6). Which is smaller: x or w?
w
Let b be 3684/(-48) - -13 - -2. Is -61 less than or equal to b?
False
Let y be -1 - (-1)/8*-6. Suppose -5*a - 15 = 0, -5*n + 5 = -3*a - 14. Suppose 2*h = b - n - 3, 0 = -h + 4*b + 1. Which is smaller: y or h?
h
Suppose 5*w + 18 = g, 2*g + 3*g - w + 6 = 0. Let k be -1*(-112)/12 - g/(-6). Which is smaller: 49/5 or k?
k
Let l = -1349 - -1351. Let v(z) = -4*z**3 - 2*z**2 + 1. Let x be v(-1). Which is greater: x or l?
x
Let h be (-6)/(-4)*4/(-12). Let t = 342.9 + -326. Let g = t + -17. Is h at least g?
False
Let d be (-78)/14 - (-22)/(-231). Which is smaller: -24 or d?
-24
Let z = -29 - -380/13. Let j(v) = -v**2 - v + 2. Let y be j(-2). Is z > y?
True
Let u = 38 - 37. Let p = -4/3 + u. Is p < 0?
True
Let v = -0.2 + 0.2. Let s = 149 + -148.93. Is s less than v?
False
Let z(d) = -5*d**2 - 4*d - 3. Let x(i) = 9*i**2 + 8*i + 5. Let g(o) = 6*x(o) + 11*z(o). Let c be g(2). Let b = 8/3 + -38/21. Is b at least as big as c?
False
Let c be (-3 + 20/12)*-3. Suppose -c*f = -5*o - 16, -4*f = 3*o - 7*o - 12. Let b = 2327/17 - 137. Which is greater: f or b?
b
Let l = -19 + 13. Let g be ((-2)/l)/((-1)/(-3)). Which is greater: g or -3/17?
g
Let x(c) = -c**3 - 7*c**2 - 7*c - 7. Let g be x(-6). Let t be (2 + 2)/(-1)*g. Suppose -9*w = 3*b - 13*w - 17, w = 3*b - 11. Is b > t?
False
Let z = -1117 - -24561/22. Let u = 135/154 + z. Which is greater: 13 or u?
13
Let r = -0.191 - -0.3. Let d = r - -0.091. Let f be 2/((-5)/4 + 1). Are f and d nonequal?
True
Let a(p) = -8*p - 73. Let f(g) = -17*g - 146. Let i(o) = -5*a(o) + 2*f(o). Let j be i(-12). Are j and -8 non-equal?
True
Let q be 3*(-3)/(27/(-24)). Let n(h) = -h**3 + 9*h**2 - 7*h + 8. Let w be n(q). Which is bigger: 17 or w?
17
Suppose -5*g + 2*y = 1, -4*y + 3 = 11. Which is greater: g or -1/10?
-1/10
Let q(o) = -59*o + 297. Let y be q(5). Which is greater: y or 10/57?
y
Suppose 4*r + 10 - 26 = 0. Let x be (8/r)/(3 - 5). Is -4/37 greater than x?
True
Let n = -8 - -71. Which is smaller: n or 193/3?
n
Let s = 6661244/7 - 885944287/931. Let h = s - 23/19. Is h smaller than 0?
False
Let k(u) be the first derivative of -u**4/4 + u**3/3 - 4*u**2 + 4*u + 10. Let z be k(4). Let p be (-9)/21 + z/(-112). Which is smaller: p or 1/10?
1/10
Let h = 35 - 13. Let c = 21.94 - h. Do -2/5 and c have the same value?
False
Suppose 12*z + 4 = 13*z. Suppose z*g + 1 - 19 = -2*d, 3*d = 2*g - 13. Let o be 2/(3 + -1) + -4. Is d less than o?
False
Let o be 3/1 - (-253340)/(-83070). Let l = o - 1/639. Which is greater: 0 or l?
0
Let l(i) = 4*i + 9 + 8*i - 11*i. Let w be l(-8). Let t be (-2)/(-3) - (-168)/(-225). Which is greater: w or t?
w
Let v = 81/7 + -1039/91. Let b = -5.1 + 5. Let c = b + 2.1. Is v >= c?
False
Let x = -49 - -33. Let l be 2 - (10 + -1 + 3). Let m be -2*l*(-4)/x. Which is bigger: 6 or m?
6
Let o = -1.62 + 1.72. Which is bigger: -84 or o?
o
Let k = 2.22 + -1.7. Let n = 0.32 - k. Is n at most -7?
False
Let p = -2/91 + -176/273. Which is smaller: p or -0.0705?
p
Let b(d) = 2*d - 9. Let i(a) = -35 + 4*a + 4*a + 9 - 3*a. Let p(h) = 8*b(h) - 3*i(h). Let n be p(0). Which is bigger: n or 2?
n
Let r = 0.06 + -3.26. Let g = r + -13.9. Let z = -17 - g. Which is bigger: z or 0.2?
0.2
Let q(l) = 9*l**2 - 46*l + 14. Let g be q(4). Is -31 not equal to g?
True
Let u = -14658 + 14620.005. Let l = u + -0.005. Which is bigger: 2/7 or l?
2/7
Let l be 0*(2/(-8) - 5/(-4)). Suppose -5*s - 7*j = -3*j + 3, l = 2*j - 6. Do s and -3/2 have different values?
True
Let u be (-7168)/(-1184) + 6/(-1). Suppose 3*g - 6 = 0, -3*g + 18 + 32 = 4*t. Suppose 0 = -i - 2*v + 3 + 6, t = -5*i + 4*v. Which is greater: i or u?
i
Suppose 2*j + 6*j = -0*j. Which is greater: 1/48 or j?
1/48
Suppose -9*j - 3 = -12. Let t be 1/(2/3)*(j + -15). Is -22 at most t?
True
Let q = 7 - 16. Let b = 8.53 + q. Let i = 0.03 - b. Which is smaller: -1/3 or i?
-1/3
Suppose -4*a + 20 = 0, 4*a - 145 = t + 4*t. Let j be (-10)/t - (-6)/(-40). Suppose -4*l + 0*l - 16 = 0. Which is bigger: l or j?
j
Suppose -2*x = -5*h - 1045, -624 - 19 = 3*h + 2*x. Is h equal to -210?
False
Let r = -67 - -79. Suppose -s = 4*p + 3*s - 64, 3*p + 2*s = 45. Is p at most r?
False
Let a(c) = c**3 - 10*c**2 + 4. Let x be a(10). Suppose -x*d - d = -5. Let h be 0/(2 - 0) - -2. Is d equal to h?
False
Let h(b) = -b**3 + 5*b**2 - 2*b - 7. Let d = -36 + 40. Let k be h(d). Which is bigger: -1/4 or k?
k
Let v be -1 + (0 - (3 + -15)). Let i = -11 + v. Suppose -5*a - p + 2 = i, 4*a + 2*p + 0*p + 2 = 0. Which is greater: a or 2/5?
a
Suppose j + 667 = -0*y - 3*y, -3*j = -3*y - 651. Which is greater: -222 or y?
y
Let f = -11 + -35. Let n = f - -47. Which is smaller: n or -5?
-5
Let t = -38/17 + 452/187. Is t less than or equal to 5/2?
True
Suppose 3 = 2*v - 7. Suppose -v*u - 116 = f - 30, -2*u - 16 = 5*f. Which is bigger: u or -17?
-17
Let l = -3841135/10582 - -14567/286. Let h = l + 312. Which is smaller: 1 or h?
h
Let k = -0.27 - -0.37. Let p = 8 - 8.011. Are k and p non-equal?
True
Let u be 19 - (-4 + 3)*1. Suppose -7*q - 5*x + u = -4*q, -5*q - 2*x + 8 = 0. Whic