(-2). Which is smaller: 640/19 or b?
640/19
Let v = 11 + -8. Suppose -v*w = 17 - 29. Let y = w - 14. Which is greater: y or -2?
-2
Let o = -222 + -86. Let z = 30 + o. Are -277 and z non-equal?
True
Let k(u) = u**3 + u**2 - 8*u - 2. Let t be k(-2). Suppose 0 = -t*d + 5*d + 70. Let b(v) = 2*v**2 - 6*v - 5. Let h be b(5). Is h greater than or equal to d?
True
Let h = -418.7 + 397. Let t = h + 21.8. Which is smaller: -123 or t?
-123
Let z = 10.05 - 0.05. Let i = -15 - z. Let g = -26 - i. Is 2/39 < g?
False
Let k(j) = -j. Let q(l) = -13*l. Let v(u) = 52*k(u) + q(u). Let w be v(-1). Which is greater: 67 or w?
67
Let t(l) = -4 + l**2 + 3 + 4*l + l. Suppose 0 = 62*z + 81*z - 39*z + 520. Let j be t(z). Which is greater: 4 or j?
4
Let h = 25819 - 25821. Is h bigger than -5725?
True
Let d = -3844 - -3877. Which is smaller: d or -5.6?
-5.6
Let q = -509855/226 + 2256. Which is bigger: q or 0?
q
Suppose 13 = -6*c - 17. Let u(y) = -27*y + 75. Let l(k) = -11*k + 30. Let z(j) = c*u(j) + 12*l(j). Let f be z(6). Which is smaller: f or 7/3?
7/3
Let h be (16/10)/(67/(-10)). Let r = h + -277/804. Is r at least as big as 0?
False
Let c = -158 - -242. Let q = 84 - c. Suppose 5*w - 5*a - 50 = -0*a, -3*a - 12 = q. Which is bigger: w or 8?
8
Let c = -2079.9 - -2080. Is -366 < c?
True
Let s(n) = n**3 + 23*n**2 - 5*n + 30. Let h be s(-22). Suppose -h = 11*u + 13*u. Do u and -25 have different values?
True
Let s = -72 + 185. Let n = 129.2 - s. Let r = n - 15. Is 0.4 > r?
False
Suppose -5*b - 22 = 4*y, 11*b - 3*y = 9*b + 5. Let t be 2460/2475 + b/2. Which is smaller: t or -1?
-1
Let p = 4321 + -4021. Is 301 smaller than p?
False
Let j be (136/9860)/((-12)/(-155)). Which is bigger: -1 or j?
j
Let k(n) = 11*n**2 + 0*n - 3*n - 71*n**2 + 2 + 2*n. Let g be k(1). Let x = g - -62. Which is bigger: 1 or x?
x
Let y = -197 - -152. Is 3 greater than or equal to y?
True
Suppose -h + 0*m - 6 = -m, -22 = 3*h - 5*m. Let d be 7 + h - (-497)/(-161). Is 0 at least as big as d?
True
Let l be -21*(-5)/(32 + 3). Suppose l*p + 27*g - 30*g - 75 = 0, -2*g = -6. Is p at most as big as -6?
False
Let b = -216 + 135. Let v = -57 - b. Let n be -4 + 89/v - 2/(-6). Which is smaller: n or 1?
n
Let s(m) = -208*m**3 + 7*m**2 + 16*m - 27. Let k be s(-3). Do 5603 and k have different values?
True
Let n = -3669 + 799. Which is smaller: -2869 or n?
n
Let q be (-1)/4 + 2/(-8). Let y be (-2 + -1)*-1 - (0 - 144/(-45)). Which is smaller: y or q?
q
Let q be 241/(-482)*0/1. Do q and 25/417 have the same value?
False
Suppose 0 = -13*y + 9*y - 45908. Let h = y + 46199/4. Let l = 74 - h. Which is smaller: 2 or l?
l
Let r be (1 - -29) + -3 + 2. Suppose -12*z = -z + 154. Let p(n) = -n**2 - 18*n - 27. Let j be p(z). Is r greater than j?
False
Let z(b) = -6*b**3 - 5*b**2 - 7*b - 7. Suppose 8 = 41*c - 43*c. Let o be z(c). Let w be 500/o + -1*2. Which is bigger: w or 1?
1
Suppose x = 2*x - o - 4, -3*o - 2 = -x. Suppose x*n - 40 = -9*g + 4*g, 0 = -5*g + 5*n + 60. Let z be (33/g - (-4)/20)*2. Which is smaller: z or 6?
6
Let x = 3/12254795 - 116135190872/110293155. Suppose -5*o = -7*n + 4*n + 5250, 0 = -4*o + 4*n - 4192. Let v = x - o. Is v < 0?
False
Let u(r) = -58*r - 3 - 7*r**2 + 24*r - r**3 + 29*r. Let w be u(-6). Let d be -1 + (-11)/w - (-220)/(-18). Is d greater than -12?
False
Let v be (-4923*(-19)/(-57))/(1 + 10/(-4)). Which is smaller: 1097 or v?
v
Let f = 4 - -1. Let c = -1016 + 1039. Which is smaller: f or c?
f
Let f be (-2 - -7) + -1 + 7. Suppose -f*x = -25*x - 14. Which is smaller: -2/755 or x?
x
Let l(x) = 2*x**3 - x**2 + 2*x. Let g be l(1). Let c be g + 0 - 34*4/(-8). Suppose 0 = 15*f - c*f + 270. Which is smaller: f or 55?
f
Let u be (-8)/10*(-135)/2. Let w = -8.7 + 7.7. Which is smaller: u or w?
w
Suppose p + 792 = -3*v + 845, 0 = p - 4*v - 11. Suppose -q + r = -31, 2*q + 5*r = q + 55. Is p not equal to q?
False
Let g = 104 + -80. Let w be -2*-1*4/g. Is -45 >= w?
False
Let r = -1723716 - -146518668/85. Let c = -123/17 + r. Which is smaller: 26 or c?
c
Suppose 0 = -4*c + 2*z - 158, -5*c = 4*z - 11 + 150. Let g be (2/3)/(4/(-192)). Are c and g non-equal?
True
Let l = 0.05301 + -0.35301. Is 0.159 equal to l?
False
Let p(g) = -g**3 + 10*g**2 - 15*g + 7. Let d be p(8). Let q be (-117)/(-68) + d/(-59 - 1). Are q and 1 nonequal?
True
Suppose -2*l + 20*t - 23*t = -131, 4*t = 4*l - 292. Which is greater: 32 or l?
l
Let d be 8/100*25*35/(-6). Which is bigger: 6/13 or d?
6/13
Let n = 10.904 + 27.096. Is -1.9 equal to n?
False
Let m = -5.5 + 0.5. Let s = m + 1. Let q = s - -1. Is q at most 1?
True
Let z(m) = -2*m**2 + 4*m - 1. Let x be z(-4). Let n(b) = 22*b**2 + 1095*b - 299. Let y be n(-50). Is x equal to y?
True
Let j = 6101 + -6104. Which is smaller: j or 0.411?
j
Let b be (4 - 1) + 3406/(-234). Which is smaller: b or -12?
-12
Let x be (-2)/6 + 146/6. Let k be 453 - (13 + 2 - 8). Let i = 471 - k. Which is bigger: i or x?
i
Suppose -4*j = x - 22, 3*x = -23*j + 22*j + 66. Let r = -6 - -8. Suppose 2*t = -r*c + 44, 2*t + 103 = 3*c + 2*c. Which is smaller: x or c?
c
Let k be 3*16*(-14)/13188. Which is bigger: k or 0?
0
Let l = -4003 - -4030. Is l <= 236/9?
False
Let s be (-468)/(-1430)*(1 + -5 + 2529). Which is smaller: s or 826?
826
Let x = -1.1 + 1.3. Suppose -1 = f - 6. Suppose q + q + f*a + 38 = 0, 0 = -q + 3*a - 19. Which is bigger: q or x?
x
Let q = 25356 + -25358. Is 12861 <= q?
False
Suppose -2*t = -17 + 9. Suppose 0*n - 216 = -t*n - u, 4*n - u = 224. Which is smaller: n or 57?
n
Let k be 3/22*(0 + -6). Let h(r) = -r**2 - 11*r + 20. Let l be h(-11). Let f be (-10)/l*0/1. Which is smaller: f or k?
k
Let c = -1.88 + 0.18. Let f(a) = 16*a - 15. Let w = 148 + -147. Let k be f(w). Are k and c unequal?
True
Let t be 9 + ((-2)/1 - 2). Suppose -2*p + 4*n + 19 = 9*n, 3*n - t = 2*p. Suppose -33 = p*l + 23. Is -29 bigger than l?
False
Suppose 1333 = 2*g + 1091. Which is smaller: 117 or g?
117
Let m(g) = g**2 + 4*g. Let t be m(-3). Let i(k) = 3*k + 2. Suppose 9 = -5*d - 11. Let n be i(d). Which is greater: t or n?
t
Let m be ((-297)/66)/(-2*(-2)/504). Let n = 567 + m. Which is smaller: n or -1/14?
-1/14
Let b be 45/(-540)*12/(-3). Which is smaller: 5732 or b?
b
Suppose -v = -c - c - 5, -32 = 5*c + 4*v. Let s(l) = -32*l - 15. Let x be s(c). Let o = x + -104. Which is smaller: o or 6?
6
Suppose 3 = -3*w + k, 6 = -0*w + 2*w + 2*k. Which is greater: w or -43/50?
w
Let w(b) = -b**2 - 13*b - 67. Let c be w(-14). Is c greater than -87?
True
Suppose 2*c - g + 8 = 0, 2*c + 30*g - 26*g = 22. Is 2/6301 less than c?
False
Let w be 182/1911 + 367/8589*-2. Is w >= 0?
True
Let i = 95 - 88. Let m be 0*(i + -10 - (-13)/4). Which is greater: m or 1/78?
1/78
Let h = -0.19 - -0.29. Suppose l = 3, 0 = -5*o - 2*l - l + 844. Is o at least h?
True
Let y(j) = -10*j**3 - 1. Suppose u - 5*r = 7, -3*u + 0*r + r + 7 = 0. Let l be y(u). Let x = l - -80. Which is smaller: x or 1/68?
x
Let c = 0.96365 - -0.03635. Which is smaller: 2/441 or c?
2/441
Let o(i) = i**2 - 4*i + 3. Let n be o(3). Suppose n = 65*p - 64*p + 12. Let u be ((-162)/p)/(1/(-4)). Are -53 and u unequal?
True
Let q be 1/(-2) - 450/(-4). Suppose -q + 79 = 3*c. Which is bigger: c or -10?
-10
Let d = -2.8 + -0.2. Let z = d - -2.9. Let g = z + -0.32. Which is smaller: -1/4 or g?
g
Let q(n) = -4*n + 15. Let b = 1199 - 799. Let c be b/180 + (-2)/9. Let m be q(c). Is m greater than or equal to 7?
True
Let n be (15/9)/(39/(-49374)). Which is greater: n or -2109?
-2109
Let d = -1.34 + 62.34. Let y = -2936 + 2884. Let r = d + y. Is -1 > r?
False
Let s = 24943222/36865209 - -2/183409. Let p = 2/201 - s. Let i = -13.2 + 13. Which is bigger: i or p?
i
Let q be 2 - (1 + 269 + -1). Let v = -55873 - -55605. Which is greater: q or v?
q
Let m be (302/8)/(12/(-48)). Let t = 13.2 - 13.1. Is m at most as big as t?
True
Let n be (-4)/((210/(-19341))/(-10)). Which is bigger: n or -11050/3?
-11050/3
Let l = -0.03327 - 0.06673. Which is smaller: l or 758?
l
Let h = -3 + 2.8. Let a = -732 - -385. Let y = -346.978 - a. Which is greater: h or y?
y
Let q = 14882 + -15356. Is q != -474?
False
Suppose 12*k - 10*k + 5*g - 710 = 0, -710 = -2*k + g. Let c(u) = u**2 - 19*u - 17. Let h be c(-12). Is h greater than k?
False
Let q = -1.8697 + 1.8697. Let s = 7 - 6.82. Is q greater than s?
False
Let h be (-19)/((-1482)/111840)