 -151 = l?
False
Let f be ((-2)/16)/((-46)/(-206)). Let q = -10/23 - f. Let u = 5 - 5. Which is greater: u or q?
q
Let v be 2/3 + 228/(-18). Is v > -11?
False
Let c(o) = o**3 - 5*o**2 + 4*o - 6. Let p be c(4). Does -50/9 = p?
False
Suppose -3*m = -1 + 4. Let t be (5/(-15))/((-10)/(-12)). Which is smaller: m or t?
m
Let p(j) = j**2 + 9*j + 11. Let y be p(-8). Let m be (-2 - -9) + 6/y. Is 7 >= m?
False
Let q = 2 - 3. Which is smaller: 2/49 or q?
q
Let n = 8 + -4. Suppose 0 = -0*o + n*o + 4. Is o <= -2?
False
Let k = -138 - -137. Are k and 17 equal?
False
Let c be -1 + 66/21 - 2. Which is greater: 0 or c?
c
Let t(q) = 2*q**3 + 3*q**2 + 2*q. Let k be t(-2). Let b be k/28 - 2523/(-35). Let l = b + -72. Which is greater: -1 or l?
l
Let k = -1/18 - -41/90. Suppose -5*f + 2*r = 6*r - 39, 0 = 4*f + r - 29. Let h(z) = -z**2 + 7*z + 1. Let n be h(f). Which is bigger: n or k?
n
Let s = -160549/26216 + -3/3277. Let q = 563/88 + s. Is q at most 1?
True
Let o = 0.21 + -0.31. Is o equal to 0.13?
False
Let p = 12 + -13. Is p at most 2/15?
True
Suppose 4*d = -d + 50. Suppose 0 = -z - 1 + d. Let x = -9 + z. Which is smaller: -2/5 or x?
-2/5
Let b = -9 - -15. Let j = b + -3. Suppose -o = j*o. Is -0.2 greater than o?
False
Let c = 0.2 - 0.1. Let q = -2 - -2. Let w = q + -0.3. Are c and w equal?
False
Let c(t) = t**3 - 6*t**2 - 2*t + 6. Let q be c(6). Let f = -11/2 - q. Suppose -1 = 5*s - 6. Which is greater: f or s?
s
Let j be 2/(-4)*(-7 + 5). Which is bigger: j or 1/21?
j
Suppose -3*m = -4*n + 10, 4*n = 8*n + 2*m. Let j = 12423 + -211311/17. Let y = j + 942/119. Is n greater than or equal to y?
True
Let w be 1*10*(15/6 + 1). Are 33 and w unequal?
True
Let z = 2 - 5. Let w = -4.9 - -5. Which is smaller: w or z?
z
Let m be (-3)/(1/(12/(-9))). Let b be (-112)/(-60) - m/(-30). Are b and -1/2 equal?
False
Let w(k) = k. Let f(p) = -p**2 + 13*p - 7. Let r(o) = f(o) - 5*w(o). Let z be r(7). Let b be ((-27)/(-48))/(85/20 - 5). Which is smaller: z or b?
b
Let w = 26 + -25.8. Let q = 9 + -4. Are w and q non-equal?
True
Suppose 3*c - 2*u = -30, -3*u + 10 = -c - u. Which is smaller: c or -11?
-11
Let h be 1*3/9*3. Are -0.07 and h equal?
False
Let l = 7 + -2. Let u = 16 + -24. Let i = l + u. Which is bigger: i or -1/3?
-1/3
Let j be ((-29)/29)/((-1)/((-2)/(-2))). Let x be 0 + -1*2/(-4). Does j = x?
False
Let h = -0.1 - -0.7. Let z = h + -0.7. Which is bigger: z or 0?
0
Let q = 0.111 + -0.021. Which is smaller: -0.2 or q?
-0.2
Let o be (-2)/(-6) + (-51)/(-171). Which is greater: o or 1?
1
Let s = 7.95 + 0.05. Let x = s - 3. Let p = -4.9 + x. Which is bigger: p or -0.1?
p
Let o(i) = 2*i + 34. Let l be o(-17). Which is smaller: l or -2/25?
-2/25
Let n be 4/8*(3 + -1). Let r be 6/1 - (3 - n). Is 3 <= r?
True
Let r be 6/8 + 1372/(-208). Let n be (-1)/((-493)/584 - -1). Let d = n - r. Which is bigger: 0 or d?
0
Let l be 434/98 + (-4)/(-7). Let j = 1 + -1. Which is smaller: j or l?
j
Let m(l) = -2*l**2 - 2*l. Let s be m(2). Let i be 18/s*2/7. Which is smaller: 0 or i?
i
Suppose 0*n = 2*n - 26. Suppose 2*q + t = 4 + 1, -5*q + n = 3*t. Let s = -3/10 - -4/5. Which is smaller: q or s?
s
Let w = -3/10 + -1/2. Let i(m) = -m - 4. Let t be i(-6). Let q be (0*t/(-4))/1. Which is greater: w or q?
q
Let f be 176/((20/(-6))/(-5)). Let u be (8/f)/(1/6). Which is smaller: 0 or u?
0
Suppose -4*u + 1 = 5*c - 2, 2*c + 12 = 5*u. Suppose 6*t - t - 10 = -3*g, u*g = 0. Is 2 smaller than t?
False
Let v(l) = -l**3 + 6*l**2 - 6*l. Let n be v(4). Suppose 0*d + n = 4*d. Let u be (d + (-6)/4)*0. Is u less than or equal to -1?
False
Let y(a) be the first derivative of a**2/2 + 6*a - 3. Let s be y(-6). Suppose 3*p + s*p = 3. Which is smaller: p or -1?
-1
Suppose w - 30 = 6*w. Let u = 2 - w. Is u less than 5?
False
Let c = -0.2 + 0.1. Suppose -z = 3*z + 20. Which is greater: c or z?
c
Let x = 6 - 11/2. Suppose -5*a + 1 = 4*q - 7, 2*q - 4 = 0. Is a at most x?
True
Let v = -8 + 9. Is v > 6/5?
False
Suppose -3*k - 1 = -4*z - 5, -k - 20 = 4*z. Let b = 2 - k. Let j = b + -16/3. Is 1 at most j?
False
Let t(w) = w + 7. Let j be t(-10). Let h be -6 - -3*(2 - 1). Are h and j equal?
True
Suppose 0 = -2*z - 2*z - 88. Is z at least as big as -23?
True
Let f(q) = q**3 + 4*q**2 + 2*q + 4. Let u be f(-4). Let k = 7 + -5. Let g be (0 - 6)/(4/k). Is u at least g?
False
Let l = -22.1 + 23. Let y = 1.6 + -2.3. Let f = l + y. Which is smaller: f or 1?
f
Let j = -15/67 - -1252/5293. Which is greater: 1 or j?
1
Let v(s) = -1. Let r(g) = 2*g - 6. Let q(w) = -r(w) + 4*v(w). Let i be q(1). Does i = 7?
False
Suppose 0 = 3*u + 10 - 1. Which is smaller: u or -5?
-5
Suppose -5*u + 3 = -5*o - 7, 0 = 2*o + 8. Which is smaller: u or 0?
u
Suppose 4*r = w - 8, -8 + 1 = -2*w - r. Suppose 5*j = -w*f - 77, -f = -2*j - 0*f - 23. Which is greater: j or -12?
-12
Suppose -8 = -h - 4. Let u be 4/h*(0 + 1). Is -2 at least u?
False
Let o(x) = 2*x**2 + 4*x + 2. Let k(c) = -c**3 - 9*c**2 + 11*c + 8. Let z be k(-10). Let y be o(z). Do 3 and y have the same value?
False
Let s be 111/(-9) + (-5 - (-13)/3). Do s and -14 have different values?
True
Let l be ((-4)/66)/(2/(-6)). Let f = -18 + 33. Let b be 10/f*(-8 + 2). Which is smaller: b or l?
b
Let z = 72 - 67. Is z less than 8?
True
Suppose 3*z - 2 = 2*z, -3*z - 10 = -2*f. Suppose 2*n = -5*m + 20, -3*n + n + f = -m. Let b = 10/9 + -4/9. Do b and m have the same value?
False
Let j(n) = 4*n + 5. Let x be j(-9). Let v be (-12)/(-21) - x/7. Is v bigger than -2?
True
Suppose 2*p + 5*n = 28, -2*p - 2*n + 4 = -24. Suppose -p + 4 = -5*y. Let c = -1 + y. Which is greater: 1/6 or c?
c
Let y = 505 - 3241/6. Let q = y + 36. Which is smaller: q or 1?
q
Let z = -8 + -3. Let d be z/(-3) + (-5)/(-15). Suppose 10 = d*h + h. Is 2 at least as big as h?
True
Let l(b) = 23*b. Let u be l(1). Let p be (-2 - (-67)/u) + -1. Is p less than or equal to 0?
True
Let f = -56 + 277/5. Suppose 2*k + 6 = -s, 0*s = 3*s + 2*k + 6. Is s >= f?
True
Let z = 47 - 187/4. Which is bigger: z or 1?
1
Suppose -c - 4*f - 3 = -5, -9 = 3*c - 3*f. Which is bigger: c or -3?
c
Let m be 21/(-4) + (-12)/16. Is -4 < m?
False
Let t(v) = 2*v - 8. Let b be t(6). Let l = 67/2 - 181/6. Is b bigger than l?
True
Let u = -207 + 821/4. Let i = -3 + 7. Let f be 9/(-6)*(i - 2). Which is bigger: f or u?
u
Let n = -0.4 + 0.3. Let b = 0.49 + 0.41. Let i = n - b. Which is smaller: i or 6?
i
Let a be (-444)/(-22) - (-4)/(-22). Suppose 0 = -2*p - 4, -4*v - a = -0*v + 4*p. Which is smaller: -4 or v?
-4
Let l(b) = -4*b - 1. Let x be l(1). Let a = -2/593 - 4147/1186. Which is smaller: a or x?
x
Suppose r = 5*r + 8. Let u be (8/(-10))/(r/5). Do u and 2 have the same value?
True
Let j = 46 - 17. Let k = j - 29.1. Which is greater: 2/9 or k?
2/9
Suppose 5*s + 104 = 5*d - 21, 2*d - 35 = -s. Let l = d - 19. Is l bigger than -0.01?
True
Suppose -2*r - 3 = -h, -h + 5*h + r = 3. Is h greater than -1/5?
True
Suppose 14 = -2*t - 14. Let s be t/(-6) + 8/(-24). Suppose -s*m - m = 12. Is m less than or equal to -4?
True
Let y = -0.02 + 3.02. Let c = y - 3. Let s = c + -3. Which is bigger: s or -1?
-1
Suppose -52 = 4*y - x, -18 = -5*y + 3*x - 90. Is y at least -12?
True
Let t be (-252)/129 + (-9)/(45/(-10)). Is t smaller than -1?
False
Let w = -17 + 17.02. Which is smaller: w or 2/5?
w
Let y be 15448/(-22) - 0/(-9). Let v = y + 703. Let w = v + -71/33. Which is bigger: w or -2?
w
Let o = -58.8 + 55. Is o greater than or equal to 1?
False
Let h(p) = p**3 - 2*p**2 - p + 2. Let q be h(3). Let o be -2 + q*1/6. Let r = 0.01 - -0.19. Which is smaller: r or o?
o
Let a be ((-1)/1)/((-6)/78). Let l = 15 - a. Let t = 13 - 9. Is t not equal to l?
True
Suppose -2*r - 2 = -4*x, -2*r = -0*x + 5*x + 2. Let k = -1 - r. Which is smaller: -1/3 or k?
-1/3
Let n(w) = -w + 7. Let j be n(9). Let b be 0 + -3 - (-1)/j. Which is bigger: -5 or b?
b
Let z = 0.76 + 5.24. Which is greater: -0.1 or z?
z
Let q(k) = -8*k + 29. Let y be q(9). Are y and -43 unequal?
False
Let t be -7*2/6 + 2. Let r(n) = 5 - n**2 - 2 + 3*n**2 - n**3 - 2*n. Let g be r(2). Is t at least g?
True
Let u = -0.21 + 0.11. Is u greater than 8?
False
Let l(r) = r**3 - 8*r**2 + 7*r + 2. Let t be l(7). Suppose p - t = -0. Which is bigger: 6 or p?
6
Let q be ((-85)/(-2))/(273/(-2)). Let t = 1/39 + q. Is t != 1?
True
Let r = -83 - -77. Let l(o) = o**2 + o 