se
Let n = 123/4 - 30. Let a(o) = -2*o**3. Let j be a(-1). Are n and j unequal?
True
Suppose 6 = -6*w - 66. Which is smaller: w or -2/15?
w
Let j = -1.51 + 1.5. Does 1 = j?
False
Let o = -2 + 3. Let f = -291 - -4363/15. Which is bigger: o or f?
o
Let y = 0.35 + 0.05. Suppose 5*q - 4*b + 3 = -7, 0 = -5*b. Which is smaller: q or y?
q
Let s(j) = -2*j + 3. Let u be s(2). Let r = -1 - -1. Let t be -1 + (r + 0)*1. Is u bigger than t?
False
Let m = 8 - 8. Let z be (-4)/(-2 + 14/8). Suppose -5*d - s + 2 = m, -d - 3*d = -4*s - z. Is 2 at least as big as d?
True
Let t = -2 + -1. Let r(k) = -9*k - 27. Let a(l) = 13*l + 41. Let o(z) = -5*a(z) - 7*r(z). Let w be o(-7). Is t not equal to w?
True
Suppose -6*z + 11*z + 124 = 3*n, 4*n + 80 = -4*z. Which is bigger: -3 or z?
-3
Suppose 0 = -a - 4*a. Which is smaller: -4/19 or a?
-4/19
Let l = -7.4 - -1.4. Let y = -6.2 - l. Which is smaller: y or 1/3?
y
Let h = -36 + 15. Let y = h + 20. Let q = -0.4 - -0.3. Which is smaller: y or q?
y
Let r = -3.12 - -0.12. Let a = -1 - 2. Let n = r - a. Is -1 greater than or equal to n?
False
Let r(o) = -2*o**2 + 1. Let j be r(-1). Which is bigger: j or -0.15?
-0.15
Let f = 88.05 - 90. Let i = 0.05 - f. Do 2 and i have the same value?
True
Let v = -9779/10 + 976. Let f = v - -151/90. Which is smaller: f or -1?
-1
Let y = 0.2 + -0.3. Let u = 3 - 3.3. Is u less than y?
True
Suppose -4*y = -2*b + 10, 19 + 1 = 2*y + 4*b. Suppose y*t = 2*t + 2. Let c be t*(0 - (-2 - -3)). Which is smaller: 3/4 or c?
3/4
Let q be 1/(-3)*-27*2/(-129). Is 1 greater than or equal to q?
True
Let z(w) = 2*w**2 + w + 1. Let n be z(-1). Let i(j) = 0*j**n - 2*j**2 + 0*j**2 + 3*j. Let u be i(2). Which is smaller: -4/5 or u?
u
Suppose 0 = t - 7*t + 30. Is 0.4 at least as big as t?
False
Let n = -3.5 + 2.45. Let l = -5.85 + n. Let a = l + 7. Is 0.1 at least as big as a?
True
Let a = 80 - 562/7. Let h be 2/2 - (-1)/1. Suppose h*o + 0*t - 4 = -t, 4*t - 6 = 2*o. Which is smaller: o or a?
a
Suppose 2 = 2*b - 2. Let f be b/((0 - -2) + -1). Which is smaller: f or 1?
1
Suppose -5*c = -5*b + 95, -3*c + c + 4*b = 28. Let z be ((-9)/c)/(3/2). Is z < 0.8?
True
Let q = -659/8 - -4463/40. Let i = q + -29. Is 2 at least as big as i?
True
Suppose -8 = 3*h - j - j, 5*h + 5*j - 20 = 0. Let d(c) = -c**2 - 5*c - 7. Let g(z) = 1. Let p(r) = d(r) + 2*g(r). Let a be p(-4). Which is bigger: h or a?
h
Let j be 15/28 + 10/(-35). Let c = 0 - -1. Is j bigger than c?
False
Let m = 0.7 + -0.45. Let o = m - -0.05. Is 0.2 less than or equal to o?
True
Let y(q) be the third derivative of -q**4/24 - q**3/3 + 3*q**2. Let k be y(3). Suppose 0 = 2*c - 7*c - 5*v - 5, 0 = -2*c - 4*v + 4. Is k at least as big as c?
False
Let d = -0.175 - 1.845. Let w = 0.32 + -0.3. Let q = d + w. Which is smaller: q or -1/2?
q
Let h be (1 + 2 - -1) + -2. Suppose 0 = h*r - 5 - 1. Which is smaller: 1 or r?
1
Let c be 9*4/12 + -2. Which is smaller: c or 1/3?
1/3
Let j = -0.055 - -0.055. Which is greater: j or 1/4?
1/4
Let f be 12/(-7) - 4/14. Let d = -0.7697 + -0.0303. Which is smaller: f or d?
f
Let r = -1 - -4. Suppose -y + 4 - 3 = 0. Is r greater than y?
True
Let m = 0 - -7. Let q(x) = -x**3 + 7*x**2 - x + 6. Let o be q(m). Are 2/17 and o non-equal?
True
Let c be 5/3*(-108)/(-30). Which is bigger: -1 or c?
c
Let b be 5/(-6)*(-12)/(-40). Let l = 2 - 3. Is b <= l?
False
Suppose 0 = -2*p - s + 8, -3*s - 20 = -5*p + 2*s. Suppose -12 = -3*q - 8*m + 5*m, 5*q = -4*m + 19. Suppose -b + q*b = -p. Do -1 and b have different values?
True
Let x(h) = -3*h + 7*h + 7*h**2 + h + h**3 - 3. Let o be x(-6). Suppose -5*y = -w + 27, -3*w - 40 = -7*w + o*y. Which is bigger: 8 or w?
8
Let h(n) = -n**2 + 8*n - 8. Let x be h(7). Is x at most -6/11?
True
Let f = 22 + -13. Do f and -2/5 have different values?
True
Let j = 13 + -9. Let m = j + -4. Let k be 1 - 4 - (-1 - m). Is k bigger than -1/4?
False
Let b(p) be the first derivative of p**4/4 - 5*p**3/3 - 1. Suppose 2*w - 4 = -2*q, w + 7 = 2*q - 6. Let y be b(q). Is y less than -1?
False
Suppose s = -2*s. Let u(j) = -j**3 + j**2 - j + 2. Let a be u(s). Suppose 3*q - 5*v + 18 = -a*v, 0 = 4*q - v + 18. Is q less than or equal to -4?
True
Let d be 7/(-2) + 1/2. Let c be (d/15)/((-9)/6). Which is smaller: c or 0?
0
Suppose 8*u - 3*u = 45. Suppose 3*m = -u - 0. Let b = m + 8. Is b less than 5?
False
Let n = 4.7 - 2. Let v = n + 0.3. Is v at most as big as -1?
False
Let y = 473 - 2354/5. Let m = -534 + 535. Does m = y?
False
Let h(j) = j**3 - 2*j**2 - 3*j. Let k be h(3). Let m be k + (6/3 - 4). Let p be (-8)/(-20) + m/5. Which is greater: -2/9 or p?
p
Let u = -2 + 3. Is -0.2 > u?
False
Let g(d) = -d**3 - 8*d**2 - 6*d + 8. Let k be g(-7). Let a be (-2 + 40/18)*2. Is a at most k?
True
Let x = -35 + 141/4. Which is bigger: -1/2 or x?
x
Let j be -2*2*10/4. Let n be -1*(j/(-4) + -2). Which is bigger: n or -0.1?
-0.1
Let p = 5 + -3. Let c = -2.2 + p. Let h = c - -0.1. Which is smaller: -0.3 or h?
-0.3
Let a be -1*(0 - 0 - -6) + 0. Let t = 8 - 12. Is t greater than a?
True
Let v be (-2)/((-32)/(-20))*-4. Are 4 and v nonequal?
True
Let u = 4/99 - 71/2574. Let z = -151/390 - u. Which is smaller: z or -1?
-1
Let u = -21 - -15. Let y = u + 8. Let b(h) = h**2 + h. Let l be b(-2). Is y less than l?
False
Let u be ((-2)/(-3))/(2*3/(-108)). Is u > -11?
False
Let d(t) = 2*t**2 - 3*t + 3. Let s be d(2). Suppose 2*y - 1 = -s. Which is smaller: -4 or y?
-4
Suppose -4*w + o - 4 = 0, 7 + 5 = -2*w + 3*o. Let u be 0 - (-2 + (-10)/4). Let s = 4 - u. Which is greater: s or w?
w
Let k = 14 - 13. Which is smaller: k or -3/13?
-3/13
Suppose 0 = -4*r + 16 - 12. Is r bigger than 1/5?
True
Let w be 2/2*(4 - 4). Let n be (2*-2 - w) + 3. Which is smaller: n or 2/11?
n
Let n = 42.8 + -43. Which is smaller: n or 18?
n
Let a = 66/5 - 741/55. Let y(t) = -t + 7. Let v be y(6). Which is smaller: a or v?
a
Let y(z) = -z**2 - 13*z - 22. Let i be y(-11). Which is smaller: i or -3?
-3
Let o be -2 + -2 + 19/5. Let j(a) = -a**3 + 3*a**2 - a + 4. Let y be j(3). Which is bigger: o or y?
y
Suppose -3*z + 7*z - 5*b - 32 = 0, -z - b = 1. Is z < 9/4?
False
Let r(f) = 2*f**2 + 2*f - 4. Let s be r(-3). Suppose 2*q - s = 6. Let p be (10 - 9)/(2/12). Is q greater than p?
True
Let h = -0.034 + -3.066. Let o = -3 - h. Let z = o - 0.2. Which is smaller: -2/3 or z?
-2/3
Suppose 7 - 16 = 5*r - 4*w, 0 = 5*r - 2*w + 7. Is -6/17 bigger than r?
True
Let d = 0.1 + -1.1. Is d < -2/3?
True
Let y = 48 - 49. Let l = 1 + -2. Are y and l non-equal?
False
Let q = -33 + 31. Which is smaller: -12/11 or q?
q
Let x be ((-2)/(-5))/((-6)/10). Let r = 1 + 7. Suppose 5*t + 2*g - 1 = -g, 0 = -4*g + r. Which is smaller: t or x?
t
Suppose 22*q - 90 = 23*q. Is -91 not equal to q?
True
Suppose -11*t + 0 = -44. Which is greater: -1 or t?
t
Let x = 177 + -176. Let o be (-88)/(-14) + (-4)/14. Let a = 2 - o. Which is smaller: a or x?
a
Let h = -8/119 - -6/17. Let k = 0.06 + -0.06. Let a = k - -0.3. Is h smaller than a?
True
Let y be (0/(-3))/(-3) - -5. Suppose 2 = -p + y. Let t be (7/(-2) - -2) + 3. Is t greater than p?
False
Let b = -33 - -32. Is b bigger than -0.5?
False
Let d be 6 + (2/(-2) - -2). Suppose r - d = -0*z + 3*z, 3*r = 4*z + 1. Is -5 > r?
False
Suppose 0 = 2*s + o + 27, -o = 7 - 8. Suppose 0 = -6*g + 2*g - 56. Is g smaller than s?
False
Let p = -1.39 + -0.01. Let v = p + 0.4. Let i = 1.2 - 0.2. Which is smaller: v or i?
v
Let q = 3.02 + -3. Suppose -2*i = 2*b - 20, -i - 4*i + 4*b = -14. Let n be ((-4)/(-12))/((-2)/i). Is n at least as big as q?
False
Let d be 4*1/(-3)*-3. Let x = d - -1. Does x = 5?
True
Let o(l) = -8*l**2 - 10*l + 10. Let r(w) = -w**2 - w + 1. Let v(j) = o(j) - 10*r(j). Let c be v(1). Is c <= 3?
True
Let y be 2/6 + 8/(-36). Which is greater: -1 or y?
y
Let t(u) = -2*u**2 + 2*u - 20. Let k be t(4). Which is greater: k or -45?
k
Suppose -4*n + h + 7 = -5, 9 = 3*n - 5*h. Is -4 at least n?
False
Suppose 0 = -2*a - 0 - 4. Let z(v) = 4*v - 5. Let o(t) = -t + 1. Let w(m) = 9*o(m) + 2*z(m). Let b be w(1). Is a greater than b?
False
Suppose 0 = 2*g - 1 + 5. Let q = -9 + 10. Let r = -1 + q. Which is bigger: r or g?
r
Let b = -4/143 - -1025/858. Is 0 <= b?
True
Let w(u) = -u**3 - 4*u**2 - u + 4. Let i be w(-3). Let r be ((-3)/(-2))/(i/(-4)). Let m be (-2)/(-6) + 3/9. Is m less than r?
True
Let w = 4 - 7. Let 