2. Is k greater than j?
False
Let f = -95/63 + 25/14. Which is greater: f or 0?
f
Suppose -3*o + 101 = 3*l - 88, 5*o + l = 327. Are o and 0.1 non-equal?
True
Let l(m) = 7*m**2 - 16*m + 11. Let s be l(6). Is s equal to 167?
True
Let m be (-4)/(-10)*(-70)/(42/(-6)). Suppose -4*w + 204 = -5*s, 0*s - 2*s + m*w = 84. Is s at least as big as -40?
True
Let d(n) be the second derivative of -n**4/12 + 4*n**3/3 - 7*n**2/2 + 2*n. Let z be d(6). Suppose z*a = a. Which is bigger: -2/7 or a?
a
Suppose 4*l - 13 = -3*u, 3*l = -u + 9 + 7. Suppose -d - 19 = l. Is d >= -26?
True
Let w be (-27)/(-2) + 54/36. Let f be 1/9*w*3. Suppose 2*l + 6 = -l + f*z, -5*l - 3*z - 44 = 0. Is l != -5?
True
Suppose 11*x + 132 = 7*x. Let a = x + 32. Which is greater: -4/31 or a?
-4/31
Let c be 1*-1182*(-33)/78. Let q = -501 + c. Let b(o) = 7*o - 78. Let d be b(11). Which is smaller: d or q?
d
Let t be (-1 - 4) + (-1 - -5). Is 1/1345 greater than t?
True
Let p = 146 + -124. Which is smaller: 26 or p?
p
Suppose 10 = -3*x - 2*x, -2*x = 3*w - 5. Let v be (-14)/(-49) + 10/14. Let m = v - w. Is -3 != m?
True
Suppose -248 = 15*x + 442. Are -46 and x nonequal?
False
Suppose -2*k - 50 = -2*j + 3*k, 0 = -4*j + 5*k + 120. Let u be (5/j)/(2/96*-2). Which is greater: -2 or u?
-2
Let d = 1.61 + -19.61. Is 15 > d?
True
Let c = -1347.41 - -1347. Is 0.03 smaller than c?
False
Let u be (-18)/(-12) + (-9)/15. Which is smaller: u or 1?
u
Let x be 2 - (-17)/(-6) - (-5 - -11). Is x less than -2?
True
Let z(h) = h**2 - 6*h. Let d be z(7). Suppose -2*r - 3*v = d, r + 13 = 2*r - 4*v. Is r != 4/9?
True
Let a = -12 - -19. Let m be 0 + -11 + 0/a. Let b = m + 13. Is 2 at most b?
True
Let s be -7*7/((-98)/4). Let a = 16181/8 - 2020. Is s equal to a?
False
Let n be (37/2)/(1/(-16)). Let d be n/6510 + 36/(-270). Let z = 4/35 + d. Which is bigger: 0 or z?
0
Let d(c) = c**2 + 8*c + 7. Let a be d(-8). Suppose -a*h = -9*h. Is 0 equal to h?
True
Let a = -23 + 18. Let i = a - -7. Which is smaller: i or 0.1?
0.1
Let z = -0.78 - -9.92. Let u = z - 0.14. Is 2 less than or equal to u?
True
Let h = 0 - 1. Let y = 1 - -1.1. Let x = y + 6.9. Which is smaller: h or x?
h
Let g be -1 - 855/(-860) - 0. Which is smaller: 1/3 or g?
g
Let m = -3 + 5. Suppose -p + m*q - 12 = 0, -5 = -0*p + 5*p + q. Which is smaller: p or -4?
-4
Let b = 0.24 + -0.34. Let q = -4.1 - b. Let r = 8 - 6. Which is smaller: q or r?
q
Let o be 147/(-13055)*(-5)/3. Is o less than or equal to 1?
True
Suppose r + 3*r = 16. Suppose 2 - r = -2*f. Let h = 929 + -926. Which is smaller: f or h?
f
Let i(l) = l**2 - 2*l - 4. Let q be i(4). Suppose -25 = 2*d - 4*b - 3, q*d = -4*b - 8. Suppose -40*y + 99 = 179. Which is greater: d or y?
y
Let c = 1.29 - 1.92. Let b = 0.33 + c. Is 0 > b?
True
Suppose -w + m = -2*m - 905, -3*w - 4*m + 2741 = 0. Are w and 910 non-equal?
True
Let w be 6*1/2 - 3721/549. Let a(d) = d**3 - 3*d**2 - d - 1. Let m be a(3). Which is smaller: m or w?
m
Let j = -86.4 - -66.6. Is 3 != j?
True
Suppose 0 = -n - n - m - 82, n + m + 43 = 0. Let l be 15/10*(-4)/n. Which is bigger: l or 0?
l
Let m be ((-43044)/3980)/3 - -5. Let u = 1/199 + m. Which is smaller: 4 or u?
u
Let b(x) = -7*x**2 - 78*x - 18. Let z be b(-11). Is -7 equal to z?
True
Suppose 5*b + 2080 = 5*q - 2695, -15 = -3*b. Let r be (q/(-35))/(0 - -2). Let z = r + 2194/161. Which is bigger: 1 or z?
1
Suppose 0*o - 13 = 4*r - o, 3*o + 21 = -3*r. Let i = -0.281 - 0.049. Let q = 2.33 + i. Which is smaller: r or q?
r
Let r = 441 - 440. Which is smaller: r or 3/13?
3/13
Let j(g) = -g**3 + 14*g**2 - 22*g - 25. Let b be j(12). Is b equal to 0.54?
False
Suppose 9*f + 222 = 78. Is f equal to -17?
False
Suppose -2*y + 2 = k, 4*y - 4*k - 1 - 27 = 0. Let t(d) = d**3 - 5*d**2 + d. Let n be t(5). Suppose -2*l = -n*l. Which is smaller: l or y?
l
Let j = 20 + -16. Suppose -j*r + 26 = -2*l, 4*l + 24 = 2*r - r. Suppose -9*y = -r*y. Which is bigger: -1/18 or y?
y
Let b = -2/16893 + -31640/18126189. Which is smaller: 0 or b?
b
Let k be 8/((-1008)/227886) - (-2)/14. Let a = -1808 - k. Which is smaller: a or -1?
-1
Suppose 6*z - 9 - 9 = 0. Suppose -z*t = -7*t + 220. Let f be (-5)/4*(-20)/t. Which is smaller: -1 or f?
-1
Suppose r - b + 1 = 0, -14 + 9 = -5*b. Which is bigger: 3/727 or r?
3/727
Let h = -2346/11 - -49264/231. Is 1 at most as big as h?
False
Let x = 2962 - 2485. Which is smaller: -2/7 or x?
-2/7
Let h = -407 - -10988/27. Is h > -2/3?
True
Let w(u) = u**2 + 4*u. Let j = -87 - -83. Let s be w(j). Which is smaller: s or 3/65?
s
Suppose 5*g = -x + 8, 3*x - 16 = -4*g - 3. Let v be 2 + 3/(x - 0). Suppose c = -q - 3, -2*c = -v*c - 4. Which is greater: q or -2/9?
q
Let n(t) = t**2 - 13*t - 11. Let p be n(13). Let m = 15 + p. Let r be ((-6)/45)/(m/(-18)). Which is greater: r or 1?
1
Let s(i) = i**2 + 11*i - 92. Let u be s(-17). Is u at least 6?
True
Let s(c) = c**3 + c**2 - 3*c - 2. Let j be s(-2). Let n(a) = -a - 11. Let y be (13/3)/(2*4/(-24)). Let b be n(y). Is j at least as big as b?
False
Let n = -5/7218 - 13621/1176534. Let j(q) = -q**3 + 3*q**2 + 4*q. Let x be j(4). Which is smaller: x or n?
n
Let d = -53 - -3. Suppose 1734 = -136*q - 6143 + 1213. Is d at most q?
True
Let h be (-1)/(-2)*-3*(-2176)/24. Which is greater: h or 137?
137
Let h be (14/644)/(1/(20/265)). Which is smaller: -1 or h?
-1
Suppose 3*w + 4257 = 3*j, -w = 31*j - 35*j + 1422. Are -1418 and w equal?
True
Let j = 0.053 + -22.053. Let u = -22 - j. Which is smaller: -15 or u?
-15
Let t be 1/(-2)*(-26 + 16). Let g be (2/t)/((-102)/(-10)). Is 0 at most g?
True
Let o be (-48)/(-22) + (-2 - 0). Let a(s) = s - 7. Let l be a(7). Suppose l*j + 2 = 2*j. Which is bigger: o or j?
j
Let v(k) = -k**2 + 3*k + 3. Let h be v(3). Suppose -18 - 9 = -h*i. Let z = -17 - -27. Do z and i have the same value?
False
Suppose 2*z - 3 - 11 = 0. Suppose -z*a - 140 = -8*a. Let k be 4/(-36) - a/36. Is k greater than -4?
False
Let h = -2/3032759 - -1483019759/921958736. Let i = -33888/19 - -1785. Let t = i - h. Is t >= 1?
False
Let z = -3 - 2. Let w(h) = h**3 + 4*h**2 - 3*h + 3. Let r be w(z). Let k(o) = -2*o - 16. Let s be k(r). Is -6 not equal to s?
True
Let y be (-3)/2 - (-45)/6. Suppose 12 = 5*b + 4*k, -9 = -5*k + y. Which is greater: -2/67 or b?
b
Suppose -j + 32 = g, 19*j + 2*g + 139 = 24*j. Is 31 smaller than j?
False
Let x = -9 - 149. Which is smaller: -160 or x?
-160
Let a = -1152/377 - -102/29. Which is smaller: 0.4 or a?
0.4
Suppose -14 = 5*b - v, v = b - 4*v + 22. Let c be (16/4)/((5 - 3)/b). Is c > -30/11?
False
Let p = -364 + 290. Is -74 less than p?
False
Let x(m) = m**3 + 11*m**2 - 26*m + 5. Let k be x(-13). Let l = -6 + k. Which is smaller: l or 1/20?
l
Let m be -15 + 1/2*2. Let x be (-2)/(-9) + m/36. Suppose 0 = 790*p - 756*p + 34. Which is greater: p or x?
x
Let n = 2.077 + -0.077. Is -2/11 > n?
False
Let x(o) = -26*o - 1217. Let q be x(-72). Is q smaller than 655?
False
Let l = 44 - 26. Let s = -17 + l. Let n be (-1)/(-2) - s/(-2). Is n smaller than 1?
False
Let m = -5232/7 + 750. Let r = -8 + 3. Let o = -3 - r. Which is bigger: o or m?
m
Let n be (-8)/6*9/2. Let c be (2*(-9)/(-12))/n. Suppose 27 - 25 = -2*d. Which is bigger: d or c?
c
Let d be 10/5 + (-26)/26. Which is smaller: 2/2063 or d?
2/2063
Let b = -1114 + 1115. Let c = 5891/4571 - 2/653. Is c equal to b?
False
Let g be 4/15*25*11/770. Which is smaller: 0.037 or g?
0.037
Let p be (-2)/1*(54/(-12) + 4). Let a = -2826541/153 + 18474. Let y = a + 2/153. Is p greater than y?
True
Let i(g) = 10*g. Let o = 26 + -27. Let x be i(o). Let p be 4/x - (-32)/80. Is 1 greater than or equal to p?
True
Let x(t) = -4*t**2 + 2*t. Let p be x(-3). Let a = p + 42. Let d = 249 - 4235/17. Is a at least d?
True
Suppose -4*c - 5*f - 61 = 0, 0 = -c + 4*f - 10. Let r be -3 + (c - 1)/(-3). Let m be ((-132)/21)/4 + r. Is m > -2/3?
True
Let k = -11 - 5. Let z = k - -26. Let l be (-14)/z + 2/5. Which is smaller: 0.19 or l?
l
Let u = -22 - -21. Let p be (-13 - -12)/(1*u). Are p and 7/11 nonequal?
True
Let s be (-132)/(-242) - 5152/10252. Which is greater: 1 or s?
1
Let m(k) = 2*k - 1. Let s be m(1). Let b = 1073 - 1073. Is s >= b?
True
Let x be (-1)/(-3) - (-792)/(-27). Let u = -24 - x. Are 6 and u equal?
False
Suppose 2 = i + 5*o, 2 = 4*o - 2. Let a = -5 - i. Suppose -14 = -6*v - 44. Is v at least as big as a?
False
Let