 + -2.39. Is 2/3 at least as big as p?
True
Let t = -48 + 22. Which is bigger: 0.2 or t?
0.2
Let z(i) = -i - 7. Suppose -34 = 5*w + 11. Let r be z(w). Which is bigger: 6/11 or r?
r
Let s(j) = -j**3 + 5*j**2 + 6*j + 3. Let p be s(6). Let u = 9 - 8. Suppose 0 = -4*v + 2*i + 12, -5*i + u - 13 = -v. Is v equal to p?
False
Let z be (4/6)/(8/(-24)). Let g = -5 - -3. Is g less than z?
False
Suppose 8*k - 10*k = -10. Suppose k*f = 2*f - 6. Which is greater: f or -1?
-1
Let k = -1716/4265 + 2/853. Suppose 2*y - 8 = -2*y, t - 2*y = -6. Let u be t/(-6) + 20/(-78). Is k <= u?
True
Let y = 86/297 + 2/27. Are y and 1 non-equal?
True
Let w = 5 + -4. Suppose -w = 2*d + 3*d - 3*m, -2*m + 3 = -d. Are 2 and d nonequal?
True
Let m = 6 + -3. Let s = m - 2. Which is greater: s or 0?
s
Let x(s) be the second derivative of s**6/720 - s**5/15 - s**4/3 - 4*s. Let c(t) be the third derivative of x(t). Let j be c(4). Which is smaller: -2 or j?
j
Let w = -1 - 0.1. Let o = 0.2 + 0.8. Let u = o + w. Is u greater than or equal to -2/7?
True
Let o(f) = f**3 - 2*f**2 - 3*f - 1. Suppose -2*v + 15 = 3*v. Let z be o(v). Let g = -0.3 - -0.4. Is g bigger than z?
True
Let f = 5.5 + -3.5. Which is smaller: 0 or f?
0
Let w(h) = -h + 1 + 5*h + 3. Let d(y) = 7*y + 8. Let m(b) = 3*d(b) - 5*w(b). Let r be m(0). Is r at least 3?
True
Suppose 5*d - 4 = 6. Let f be 0 - ((-55)/15 - -3). Is d less than f?
False
Let t be ((-34)/(-119))/((-30)/(-14)). Which is bigger: t or 0?
t
Let t = 178/141 - 80842/63591. Let a = -22/41 + t. Which is bigger: 0 or a?
0
Let n be 2*(-6)/24*26. Is n not equal to -12?
True
Let v = -52 - -50. Let i(q) = q**3 + 3*q**2 - 3*q + 2. Let s be i(-4). Do v and s have the same value?
True
Suppose -4*x = -0*x - 312. Let o = -388/5 + x. Is 0.2 less than o?
True
Let d(m) = -3*m + 3. Let s be d(2). Let q = s + 9. Which is bigger: -1/4 or q?
q
Let g(a) = a**3 + 3*a**2 + a - 2. Let l be g(-2). Suppose 3*f - 3*x - 3 = l, -4*x = -3*f - 2*x + 7. Let j = -4 + f. Which is bigger: -1/4 or j?
j
Let t be 2*-2*(-1)/(-4). Let a = 56 - 55. Is a at least as big as t?
True
Let g(o) = -o + 1. Let u be g(4). Let p = -4 - u. Which is bigger: 2/35 or p?
2/35
Let t be (-75)/(-45)*16/30. Is 0 greater than or equal to t?
False
Let t = -139 + 697/5. Let d = -1 - 3. Let y = d + 3.8. Which is smaller: y or t?
y
Let u be 3 + 2*1/(-2). Suppose u*j - 5 = j. Let x(r) = -r**3 + 5*r**2 + r - 5. Let p be x(j). Is 0 less than or equal to p?
True
Let x = -883 - -886. Suppose -4*m - 8 = -5*m - 2*g, 2 = -m + 3*g. Is x > m?
False
Suppose 0 = -z - 4*s + 10, 2*z = -2*s - 0*s - 10. Is z smaller than -29/3?
True
Suppose 0 - 1 = -v. Let t = 13/5 + -112/45. Is t at most as big as v?
True
Suppose 72 = -5*f + f. Let s be (3/2)/(3/f). Let n be (6/s)/((-5)/(-3)). Which is smaller: -2/7 or n?
n
Let i = -0.2 + 0.4. Let u = -0.2 + i. Let h = 0.01 - 0.01. Is h greater than u?
False
Suppose -2*n - i + 17 = 0, -3*i + 1 - 14 = -2*n. Suppose p + 1 = -t, 5*p = 4*t - 4 + n. Do p and 1/11 have different values?
True
Suppose -4*u + 17 - 1 = 0. Suppose 0 = u*p - 0*p. Suppose -3*c + 2*c = -n - 2, -2*n - 5*c + 17 = p. Is n less than or equal to 3?
True
Let z be 24/8 - (4 + -1 + 0). Which is smaller: -2/31 or z?
-2/31
Suppose 8*l + 9 = 5*l. Let q be (-8)/20 + l/5. Suppose -4 = p, 0*i - 5*p - 24 = 2*i. Which is bigger: q or i?
q
Let t = -22 + 16. Suppose 0 = 2*f - 6*f - 8. Which is bigger: f or t?
f
Let j = -4525/31 + 146. Is 0 at least as big as j?
False
Let v = -188 + 182. Suppose -5*j + a = 35, 3*j = -2*a - 0*a - 21. Do v and j have different values?
True
Let w = -40 - -29. Let g(l) = -l + 2. Let q be g(-6). Let r = q + w. Is r bigger than -2?
False
Let g = 339 - 340.71. Let a = g + -0.33. Let c = -0.04 - a. Which is smaller: 1 or c?
1
Let u = 0 + 3. Suppose -4 = -z - u. Which is smaller: z or 2/9?
2/9
Let f = -5 + 6. Which is smaller: f or 7.3?
f
Let w be 1 + (-4 - -2) + 9. Let f = -366 + 373. Which is bigger: f or w?
w
Let u be 48/(-27) - 4/(-2). Let i = -18 + 19. Are i and u non-equal?
True
Let j(x) = -x**2 + x + 1. Suppose -4*y + y = 3. Let v(f) = -6*f**2 + 2*f + 5. Let u(k) = y*v(k) + 5*j(k). Let d be u(-3). Which is greater: -1/6 or d?
d
Let t(w) = -w**3 + 4*w**2 - w - 4. Let f be t(3). Which is smaller: f or 10/3?
f
Let w = -79 + 79. Is 1/65 smaller than w?
False
Let q = 9 - 4. Suppose -t - 2*f + 11 = 2*f, -5*t + q*f = 20. Suppose -l + 5*c = -20, -20 = l + l + 5*c. Which is smaller: t or l?
t
Suppose 4*o + 30 = -o. Let s = o - -4. Let q be 2/(-12) + (-26)/60. Are q and s equal?
False
Let p(u) = -u**3 + 2*u**2 - 2*u + 1. Let g be (-4)/(-14) - 5/(-7). Let b be p(g). Is -4 greater than or equal to b?
False
Let i(z) = -z**2. Let q be i(0). Let t be (32/(-40))/(4/10). Let w = 3 + t. Which is smaller: w or q?
q
Let y = 7 + -9.8. Which is greater: y or -0.1?
-0.1
Let l = -15 - -17.8. Let d = l - 2.4. Is d bigger than -0.1?
True
Let a = 38 + -37.9. Are 11 and a equal?
False
Let r(b) = -b + 2. Let s be r(-9). Which is smaller: s or 13?
s
Let u = -25 - -31.1. Let p = 6 - u. Let i = p + -3.9. Which is smaller: -1 or i?
i
Let v be (-29)/10 + 4/10. Let a be ((-10 - 2)/2)/(6/4). Which is bigger: v or a?
v
Suppose 5*i = -3*f + f - 20, 2*f + 18 = -4*i. Is -8 > i?
False
Let c = 1717/9 - 191. Let j(l) = 38*l - 189. Let q be j(5). Which is smaller: q or c?
c
Let o = -1.2 + 1.1. Is o <= -1?
False
Let w = -2 + 13. Suppose -2*c = -2*k + 1 + 7, -k = 4*c + w. Let m = c - -5. Is m < 3?
True
Let j be ((-4 + 3)*3)/(-1). Let m(b) = -3*b + 3 - 2*b**2 + 28*b**j - 27*b**3 + 0*b. Let h be m(2). Which is smaller: h or -1?
h
Let t = 6736/6215 - -4/565. Let b be 4/8 + (3/6)/1. Which is greater: b or t?
t
Let g = -34 - -77. Let x be g/9 - (-8)/36. Is x greater than 21/4?
False
Let j = 187 + -2439/13. Is j less than or equal to -2?
False
Let a = 7 + -5. Suppose -2*u - a*i - i - 2 = 0, 0 = 4*u + i + 4. Let l be (-2)/4*28/12. Which is smaller: l or u?
l
Let d = 623 + -14332/23. Which is greater: d or 1/2?
1/2
Suppose 7*p + 2 = 8*p. Is 1 bigger than p?
False
Let l = 1 - -4. Suppose 0 = 4*d - o + l, -d - o - 1 = 4. Is -2 equal to d?
True
Let h = 29 + -30. Which is bigger: h or -0.1?
-0.1
Let j(k) = 0 + k**3 - 2*k**2 + 4*k**2 + 3 - 2*k. Suppose 2*r + 0*r = 3*h - 21, 2*h = 10. Let x be j(r). Is x >= -1/13?
True
Suppose 3*z = -2 - 1. Which is bigger: 1 or z?
1
Let j be -1*(18/(-22) - -1). Suppose 5*o - 4 = 3*o. Suppose o = 4*n + 6. Which is smaller: j or n?
n
Let c be -1*(0 - 3 - (-15)/6). Which is smaller: c or 2.2?
c
Let a = -103/4 - -55/2. Is a > 1?
True
Let u be (-4)/14 - 20/(-21). Let c = 23 - 20. Suppose 0 = c*k + 3*d, 0 = 2*k + 2*k + 3*d. Do k and u have different values?
True
Let f = 1.8 + -1.9. Which is bigger: f or -2/5?
f
Let z = -14 + 7. Let p = z - -7.3. Let n = p - 0.3. Which is smaller: -1 or n?
-1
Let q = -2 + 12/5. Let d be (-1306)/684 - (-2 - 0). Let y = d + 5/38. Which is greater: q or y?
q
Let y be -1 - 4/(-8)*2. Which is smaller: y or -5?
-5
Let b = 30 - 20. Let l be (6/b)/((-18)/(-20)). Let x = l - 1/6. Do x and 0.3 have different values?
True
Let b = -19 - -18.3. Are b and -3 unequal?
True
Let l = -28 + 48. Let b = 17 - l. Which is smaller: b or -0.1?
b
Let w = 1494/7 - 214. Is w greater than -2?
True
Let s be (-5)/(-2)*3/(-5). Let g = 26 - 23. Suppose n = -5*v - 11 - 5, -g*n = 5*v + 18. Is v at most as big as s?
True
Let i = 111 - 114. Is 2 greater than i?
True
Let k be (7 + -87)*((-10)/4 - -2). Is k greater than 38?
True
Suppose 0 = l, 0*c + 12 = 2*c - 5*l. Let y be 1*(-1 - 0)*-2. Is y less than c?
True
Let p be (-2)/15*(-3 + 0). Let n(g) = -g**2 - g + 1. Let t be n(1). Let k be 0/t*1 - -1. Which is smaller: k or p?
p
Let m be ((-4)/(-2))/(1 - -1). Let q = -823/7 - -118. Is m < q?
False
Let j = 21 + -27. Let t = j - 4. Do 2 and t have different values?
True
Let g = 10 - 3. Is g greater than or equal to 5?
True
Let f = 0.01 + 0.09. Let k = -0.9 - f. Let n = k + 2. Which is bigger: n or -0.3?
n
Let n = 8.7 + -0.7. Let t = n + -7.9. Is t at least -2/3?
True
Let t = -156 + 180. Which is greater: t or -3?
t
Suppose 0 - 8 = 4*m + 5*i, 0 = 2*m - 4*i + 4. Let j be (1/m)/(7/(-7)). Which is greater: j or 0?
j
Let b = -3761/20 + 188. Suppose 3*o = 4*o + 1. Is o > b?
False
Suppose -2*j + 5*z + 23 = 0, j + 2*j + 18 = -3*z. Is j at most as big as -1/51?
True