ller: -1 or j?
-1
Let g(v) = -v**3 + 6*v**2 + 3*v - 2. Let u be g(6). Let l = -128 + 143. Is u less than or equal to l?
False
Let g(p) = 6*p**2 - 168*p - 1. Let s be g(28). Is s < -9/50?
True
Let p be (14/(-8) + 1)/(33/(-8668)). Is p at least 197?
True
Let z = 17 - 17.2. Let x = -0.5 + z. Let j = x - 0.3. Is -4/11 at least j?
True
Let n = 580108/77 - 7534. Let f = 4270654991/693 + -6162563. Let i = f - n. Which is greater: i or -3?
i
Let b be 28/(42/(-6)) + (-122)/(-4). Let g = b + -25. Is 1 not equal to g?
True
Let o(q) = q**3 + 2*q + 7. Let r = -53 + 53. Let t be o(r). Is -1 at most as big as t?
True
Let a = 13.932 - -0.038. Let k = a + -14. Which is smaller: -6 or k?
-6
Let l be 1 - ((-3186)/(-4))/(-9). Let t = l + -92. Suppose z + 8 = 7. Is z equal to t?
False
Let t be -8 + 10 - 1*5 - -40. Let o = t + -36. Which is smaller: -3/53 or o?
-3/53
Let g = 111 + -112. Let r be (-3)/(-26)*44/33. Do r and g have different values?
True
Let z be (-3 + 2)*1 + 1. Let l(i) = i**3 + i**2 - i - 100. Let j be l(z). Let m be 2/3 - j/12. Is m <= 10?
True
Let p = 0.2 - -0.8. Let u = -0.0614 - 26.9386. Which is smaller: p or u?
u
Let n = 232 - -136. Let r = -3393983/9 + 376739. Let c = r + n. Do c and -2 have the same value?
False
Let f = -43 - -46.6. Let q = -35.6 + 35.5. Is q <= f?
True
Let y be (-14)/56 + -4442*(-1)/8. Which is smaller: y or -0.1?
-0.1
Suppose 288 = 2*h + l, 27 - 327 = -2*h - 4*l. Is 142 at most h?
True
Let k be (-6)/(4/2) - -27. Are 50 and k equal?
False
Suppose -14 = -126*q + 112*q. Which is bigger: 4/71 or q?
q
Let o = 88/137 + -62227/685. Which is bigger: -90 or o?
-90
Let h = -2221/3 + 740. Is 0.031 bigger than h?
True
Let w be (-1230)/7 - (-4)/(-14). Is -175 at least w?
True
Suppose 5*t - 7 = 18. Suppose -y = -2*r - 6, t*r = -7*y + 3*y - 28. Is r at least as big as -32/9?
False
Let f = -1775.61 + 1783. Let a = f + 0.01. Let y = 1.4 - a. Is y equal to -1/2?
False
Let w = 13.051 - 0.151. Which is smaller: w or 2?
2
Suppose 0 = -0*q + 3*q - 12. Let z(p) = p**3 - 2*p**2 + 3*p - 2. Let w be z(4). Suppose m = -2*f + 7, -2 = 5*f - 2*m - w. Which is bigger: q or f?
f
Let k = -157 + 92. Let n = 90 + k. Is n at most 26?
True
Let f(m) = 2*m**3 - m**3 - 8*m**2 - 2*m + 5*m - 2*m - 2. Let t be f(8). Suppose -5*u - 4 = k, -k = -4*u - t + 1. Is 1/6 at least u?
True
Let t = -9/4 + 3. Let m = -0.01 + -5.99. Let h = m - -7. Is h greater than or equal to t?
True
Suppose 0 = -6*w + 22 - 190. Let a = -17 - w. Are a and 13 nonequal?
True
Let i be (-1 - 2)/(3/(-2)). Suppose 5*u - 14 = 2*u + 4*s, 2*u - 13 = -s. Suppose u*d - 18 = -0*d. Which is bigger: d or i?
d
Let v = 0.009 + 48.991. Let w = -48 + v. Which is bigger: 22 or w?
22
Let y = -28 - -46. Suppose -3*c - 5*q + y = 0, c + q = -2 + 10. Let b = c + -12. Which is greater: -1/9 or b?
-1/9
Let w = -0.29 + 0.3. Let v = -6 + 6. Let f be (v*3/12)/2. Which is greater: f or w?
w
Let k be 7 + (-78 - (6 - 3)). Which is smaller: k or -72?
k
Let r = -99.8 + 101. Is 3 at least as big as r?
True
Let b(r) = -2*r**2 + r + 3. Let x be (-1 + -2)/(4/36). Let g = x + 25. Let f be b(g). Is -7 smaller than f?
False
Let l be 16/(-4) + 0 + 2. Is l < -33/17?
True
Let x(q) = 5*q**2 - 2*q + 1. Let v be 4/36*3*0. Let m = v + 1. Let j be x(m). Is 1 less than j?
True
Let f = -412 + 548. Is 133 > f?
False
Let s be (2 + 264)*(-29)/(3248/(-32)). Is s smaller than 71?
False
Let n = -355/261 - -7/261. Which is smaller: n or 5/6?
n
Suppose 3*g = -2*f - 59 + 18, 21 = -g + 3*f. Let l be (g/20)/((-12)/8). Is -8 smaller than l?
True
Let p = -987 - -986.593. Let v = p + 0.007. Which is smaller: v or 1?
v
Let k(u) = -11*u**2 + 233*u - 30. Let p be k(21). Is 23 at least as big as p?
True
Suppose -40 - 47 = 4*h - 5*z, -5*z = 5*h + 75. Which is smaller: h or -19?
-19
Suppose 5*m + 0*v - 4*v - 8 = 0, -m - 6 = 3*v. Let u be 27/3*(-1)/(-7). Is u at most m?
False
Let q be 5/((-10)/(-8)) - -5. Let z be (2/q)/(0 + 231/(-9)). Is 1 greater than or equal to z?
True
Let s be 1 - -2 - 0 - 5. Let j = -1346/7 - -192. Which is smaller: s or j?
s
Let n = 54 + -124. Which is bigger: -71 or n?
n
Let b = 6.8 - -6.2. Let m = b - 12. Is m equal to 1?
True
Let s(n) = -n**2 + 14*n - 2. Let d be s(14). Let o be (6/(-153))/(d/(-6)). Suppose -4*h - 10 = 4*b + 6, -2*h = -3*b - 7. Which is bigger: o or h?
o
Let f be (-3 - (-48)/20)/((-6)/10). Let h be (-51)/(-172) - (-2)/(-8). Is h > f?
False
Suppose d = -0*d - 3. Let z(g) = 7*g**2 - g - 4. Let w be z(-3). Let t be 1/d*12/w. Is t greater than or equal to -1?
True
Let d = -1.54 - -0.54. Let p = -1.7 - -2.9. Which is bigger: p or d?
p
Let w(a) = 3*a + 5. Let d be w(1). Suppose -17*u + 19*u = d. Let i(z) = -2*z + 1. Let p be i(-2). Are p and u unequal?
True
Suppose 0 = 2*k - 1 - 5. Suppose -7 = -3*n + 89. Suppose -2*u = 22 - n. Are k and u nonequal?
True
Let b = -1 - -1. Suppose 80*p - 78*p = -2*v - 26, 2 = v. Do p and b have different values?
True
Let w = -10 - -15. Let h = 0.001 - -0.099. Is w at most as big as h?
False
Let h(i) = -i**2 + 10*i - 2. Let w be h(10). Let a be (-9 + 8)*w/(-7)*1. Let p = 0.01 - -0.09. Which is smaller: a or p?
a
Let l be 1/(-4) - 98/(-200). Suppose -2795*y + 2797*y + 12 = 0, -4*y = s + 25. Are l and s non-equal?
True
Let l = 17 - -26. Let x = -300/7 + l. Is x greater than or equal to -1?
True
Let x be 0/(-2)*-1 + 6. Let v be 8/x*36/(-24). Let r be v + (1 - 1) - 9. Is -12 smaller than r?
True
Let w(o) = o**3 - 11*o + 12. Let h be w(4). Let i = h + -48. Do i and -2 have the same value?
False
Suppose -2*f - 4*h = -14, -f + 5*h - 9*h + 13 = 0. Is f less than or equal to -3/236?
False
Let u be 14 + -210 + (-2)/1. Let b = -12076/61 - u. Which is smaller: b or 1?
b
Let n(g) be the third derivative of -g**6/120 - g**4/24 - g**3/6 + g**2. Let h be n(-1). Let v = -6335/17 - -373. Which is smaller: v or h?
v
Let r(z) = -z. Let p be r(-1). Let j be 105/5320 + 2/32*-2. Are j and p equal?
False
Let u(d) = 3*d**3 + 21*d**2 + 7*d + 7. Let x be u(-6). Which is bigger: x or 221/3?
221/3
Let u = -26 - 16. Let j be (40/u)/(4/6). Which is smaller: j or -2?
-2
Let a be (6/(-970))/((-63)/70). Let n be 1/3 - (-8)/12. Do a and n have the same value?
False
Let h = -215.7 + 228. Let k = -6 + 18. Let s = k - h. Is s less than or equal to -0.1?
True
Let b(y) = -y**3 - 10*y**2 + y + 11. Let z be b(-10). Let k be ((-1)/(-3))/(5/15). Let l be (0 - -1) + (k - 5). Which is smaller: z or l?
l
Let c be 32/12*(-21)/(-2). Suppose -5*r = -3*i - i - c, 0 = -2*r + 5*i + 18. Suppose -62*v = -38*v - 48. Is v <= r?
True
Let h = 9.98 + -7.3. Let p = h - -0.02. Which is bigger: p or -1?
p
Suppose r - 5*k + 41 = 282, -k - 1021 = -4*r. Is 256 < r?
False
Suppose 13 - 10 = 3*q. Let g be (-1 - 6)/(3 + -5 + q). Is g < 9?
True
Let f(c) = -26*c + 207. Let d be f(8). Which is bigger: d or -3/1154?
-3/1154
Let d be (-2)/249*(42/(-12) - -4). Which is smaller: d or 1?
d
Suppose 2*f - 5*k = -9, 5*f - 3*k = -8*k - 5. Let q be 2 + f/2 - 1. Is -12/13 at least q?
False
Suppose -2*z - 84 = -8*z. Let u be 0/1 + (-6)/z. Which is smaller: 6 or u?
u
Suppose -20 = j + 58. Let s be -4*2/(-4) - (-403)/j. Which is smaller: -3 or s?
s
Let l = -181 + 178. Is 0.13 at most l?
False
Let z(s) = 6*s - s - 2*s - 4 + 0*s. Let g be z(-4). Let c be (11/20)/(g/40). Is c <= -1?
True
Let p(d) = d - 11 - 13*d + 3*d**2 - 2*d**2 - d. Let j be p(14). Suppose j*h = -4*m + 5, m = -m + h - 5. Which is smaller: m or -5/6?
m
Let g = -2963 + 1505. Which is bigger: g or 0.1?
0.1
Suppose -5 - 1 = -2*t. Suppose -3*y - 29 = -t*u - y, 3*u + 4*y = 23. Let o be (-41)/(-12) - u/12. Which is greater: 4 or o?
4
Suppose -29*h = -22*h. Let l(n) = 6*n + 1. Let k be l(h). Are 3/23 and k unequal?
True
Let m = -50 - -72. Suppose -3*s - 5*u = -63 + m, u = 1. Let k(g) = 7*g - 1. Let j be k(2). Is s smaller than j?
True
Let y be 10/(160/2596) + 1/(-4). Is 162 at most y?
True
Suppose b + 3*b = -3*u + 9, b + 6 = 2*u. Let z be (b - (-1 + 0)) + -1. Suppose z*h - 4*h + 48 = 0. Do h and 11 have the same value?
False
Let m be (-4)/14 + (-225)/315. Is -1/897 smaller than m?
False
Let q = -100 - -175. Suppose n + 4*x - q = 6*x, n = x + 75. Which is smaller: n or 76?
n
Let a be (2/(-8))/(4/(-80)). Suppose 0 - 5 = a*u. Let p be (-10)/(-104) - 1/4. Which is greater: p or u?
p
Let j = -63 + 67. Let o = 8084/2427 - -