1/3
Let l be (1/(-1))/((-4)/8). Suppose 2*c - 6*c + 20 = 0. Suppose -12 = -4*x - 4*q, -q - 13 = -c*x + l. Which is bigger: -1/4 or x?
x
Suppose 3*f = -1 - 71. Let y be (-6)/(-2)*(-2)/f. Is -1/3 at least as big as y?
False
Suppose 3*x - 7*n = -2*n + 40, -4*n - 15 = x. Suppose 0 = -x*h - 5 + 15. Let r be (-6)/(-2)*h/6. Is r > 1/5?
True
Let n(j) = 9. Let u(g) = g. Let a(z) = n(z) + 2*u(z). Let w be a(-6). Which is smaller: w or -1?
w
Let t be (-15)/12*2/(-10). Let p = -5.2 + 5. Let r = p + 0.4. Which is smaller: t or r?
r
Suppose 3*g - 2*g + 4*g = 0. Let h = 2 + -2. Is h at least as big as g?
True
Let a = 2 - 1.95. Let t = 0.01 + a. Let s = 0.16 - t. Are -0.1 and s equal?
False
Let p = 0.5 + -0.3. Which is smaller: 0 or p?
0
Let c be (-4)/(-26) - 12/78. Suppose -z = -c*z + 2. Which is smaller: -3 or z?
-3
Let f = -5 + 23/5. Which is greater: -2/9 or f?
-2/9
Let m = -0.6 + 0.2. Let y = m - -0.4. Let x be (-3)/((-18)/(-15)) - -3. Which is greater: x or y?
x
Suppose -4 = 2*q - 2*n, -6*q + q + 3*n = 2. Suppose m = -m - 4. Let w be -8*m/(-4)*-1. Is q > w?
False
Let q = 16/9 + -94/63. Let s = 4 - 4.03. Let m = s + -0.07. Is q at most as big as m?
False
Let o = 2/43399 + 3992638/1518965. Let w = -11/5 + o. Which is bigger: w or -1?
w
Suppose 5*k + 8 + 2 = 0. Let i = 9 + -3. Let w be (2/5)/(i/(-10)). Is w >= k?
True
Suppose -2*r = -2*p - p - 10, p = -2*r + 10. Let u be (0 - 1)*(p + 0). Do u and 0 have the same value?
True
Suppose 0 = 5*a - 61 + 21. Suppose -a = 3*m + 4. Which is smaller: m or -2?
m
Let c = 2 - -4. Let g = c + -4. Let k be ((-1)/2)/1*g. Is -1/5 equal to k?
False
Suppose 0*y + y + 5*i = -25, -3*y - 4*i = 20. Let w = -103/735 + 1/147. Is y smaller than w?
False
Let y(c) = 2*c**2 + 29*c + 29. Let o be y(-14). Which is smaller: o or 16?
o
Let l = 88 - 95. Is -25/4 <= l?
False
Let c = 9.96 + -0.76. Let u = -23 + 32. Let f = u - c. Which is bigger: 1/2 or f?
1/2
Suppose 2*q = 6*q + 28. Is -7 greater than q?
False
Let f = -56 - -55.4. Let d = 1.1 - 0.5. Let r = f + d. Which is greater: -2/5 or r?
r
Let l = -0.1 - -0.3. Suppose -5*u - 12 = -3*j + 128, -135 = 5*u - 4*j. Let x = u + 125/4. Is l <= x?
True
Let j be (-6)/6*2/2. Is j at most as big as -1?
True
Suppose -2*g + g - 273 = 0. Suppose -h = 5, 4*k - 2*h = -3*h + 107. Let u be 3/2*k/g. Which is smaller: 1 or u?
u
Let r(y) = y**2 - 2. Let j be r(3). Let x = j + -3. Is -0.2 > x?
False
Suppose 31 - 4 = 3*r. Let w be 2 - 3/r*0. Suppose -20 = 5*v + 3*o, 12 = -2*o + w. Is v < -3?
False
Let g = 8 + -7.6. Let p = -0.3 + g. Which is bigger: 3 or p?
3
Let w = -4.2 + -0.8. Let m = 1.3 + -0.4. Let o = 0.1 + m. Which is smaller: w or o?
w
Suppose -3*l - 12 = 2*n, -5*n + 0*l - 4 = l. Let k = 141/4 + -35. Which is smaller: n or k?
n
Suppose -12*o + 16*o = 0. Is o less than -2/77?
False
Suppose 4*y - 4 = -3*w - 2*w, -2*w + 4*y = 4. Let a be 0 + (-2 - -3) + w. Is -2/3 smaller than a?
True
Let i be (-4)/(-24) - 38/12. Is -1 less than i?
False
Suppose -13 = -2*x - 1. Is 0 bigger than x?
False
Let x(f) = f**3 + 2*f**2. Let s be x(-2). Let y = 143 + -1153/8. Which is greater: y or s?
s
Let g be (-104)/110 + (7 - (-6 + 12)). Is g > 0?
True
Let h = -5 - 28. Let s be (h/(-55))/((-3)/2). Is s smaller than 0.6?
True
Let i be 0/2 - 2/(-5). Let b(m) = m**3 - 7*m**2 - m + 7. Let g be b(7). Is i at most g?
False
Suppose -7*u + 2*u = -25, 4*u = -5*d + 110. Let y be d/14 - (-8)/(-28). Let l be 2 + -2 + (-4)/6. Is y equal to l?
False
Let m(x) = -x**3 - 11*x**2 + 13*x + 16. Let k be m(-12). Let z be k/(-12)*(-12)/14. Which is greater: z or -3?
z
Let j(m) = m**3 - 4*m**2 + 6*m + 6. Let s be j(6). Let b = 1940/17 - s. Which is smaller: b or -1/3?
-1/3
Let b = -4 - -5. Suppose 3 = 5*u - 2, -2*p + b = 3*u. Let j be 2/1 - (-4)/p. Is j > -2?
False
Let t be 6/21 - (-16)/42. Let v = 8/17 - 106/153. Is v != t?
True
Let v = 0 - 1/7. Let r(x) = -x**3 + 3*x**2 + 3*x + 1. Let o be r(4). Let s be -1*(-2 + (-3)/o). Which is bigger: s or v?
s
Let b(p) = -2*p**3 - 5*p**2 - 8*p. Let n(c) = -5*c**3 - 15*c**2 - 23*c - 1. Let d(i) = 8*b(i) - 3*n(i). Let w be d(6). Is -3 greater than w?
False
Let i be 4/(-12)*(-1 + -2). Which is smaller: i or 2/7?
2/7
Suppose -m - 6 = -7. Let n = m + -1. Let k = -25/36 + 1/36. Is k greater than n?
False
Let p be -3 - 0/(-1 - -4). Are -5 and p unequal?
True
Let o = 0.07 - 0.27. Is o <= -2/3?
False
Let l(k) be the third derivative of k**4/24 + k**3/3 - k**2. Let b be l(6). Suppose -b + 0 = -4*d. Which is greater: d or 1?
d
Let o be 2*6/(-4) - -3. Suppose -t = 7 - o. Which is bigger: t or -6?
-6
Suppose -5*t = 2*t + 49. Which is bigger: t or 2/7?
2/7
Let h(g) = -37*g - 2. Let j be h(-4). Let o = 734/5 - j. Is o at most as big as 1?
True
Let u(g) = g**2 - 3*g - 3. Let j be u(4). Let c be (-26)/39*(-6)/(-4). Which is smaller: j or c?
c
Let b be (-15)/28 - (-1)/4. Let f = 73 + -76. Is b at least as big as f?
True
Suppose 15 = -4*x + 3*c, -3*x = 5*c - 9 - 16. Let l be (x - -4)*(-7)/14. Which is smaller: -5 or l?
-5
Let k = -1 + 1.1. Let m = k - -0.5. Let l = m + -0.9. Which is smaller: l or 1/2?
l
Let x = 371/13 - 2936/117. Let q = -199/63 + x. Which is bigger: 0 or q?
q
Let w = 5980611 - 9957716927/1665. Let o = w + -2/185. Suppose 2*c + 4*g - 20 + 8 = 0, -9 = -3*g. Is c less than or equal to o?
True
Let n be (2/(-6))/(4/(-12)). Let d = -1 + n. Let y = 43/533 + 3/41. Which is smaller: d or y?
d
Let j = -0.6 - 0.3. Let t = j + -0.1. Which is greater: 5 or t?
5
Let s be 2/((0 + -1)*3). Let r = -20 + 40.9. Let t = r - 21. Which is smaller: t or s?
s
Let x(u) be the first derivative of u + 1/2*u**2 + 1. Let o be x(-1). Which is smaller: o or 1?
o
Suppose -p = -4*v + 2, -4*p + 4*v + 6 = p. Suppose 4*y - j = p, -2*y - 2*j - 4 = -0. Suppose y = 2*i - 0*i. Is 0 >= i?
True
Suppose -w - 4*w - 2*c + 21 = 0, 2*c - 6 = -2*w. Is w < 6?
True
Suppose 13 = 2*d - 1. Which is bigger: d or 10?
10
Suppose -3*a + 2276 = a. Let k = a - 13089/23. Do -1 and k have the same value?
False
Suppose -2*f = 5*f. Which is bigger: f or 2/61?
2/61
Let r(v) = 3*v - 2. Let g be r(2). Suppose 0 = -g*k + 18 + 2. Let b = -8 + k. Which is smaller: 0 or b?
b
Let u(d) = -d**2 + 10*d + 9. Let x be u(11). Which is greater: -11/6 or x?
-11/6
Let v = -10 - 2. Let u = 8 + v. Is u less than 2/5?
True
Suppose 4*m - 5 = 23. Let i(z) = z**3 - 6*z**2 - 9*z + 8. Let v be i(m). Let p = v + 5. Is p less than -2/23?
True
Suppose -4*j + 4*v - 2 = -2*j, -4*v + 8 = 4*j. Let k be (-4)/j + 3*1. Which is bigger: k or 1/6?
1/6
Let w be 9/(-5)*(3 - -2). Let u be (-32)/(-12)*w/(-2). Which is greater: u or 11?
u
Let a = 499/2590 + 4/185. Does a = 0?
False
Let k = -0.3 - 0.7. Let b = k - -2. Is b >= 4?
False
Let h = -0.21 - -0.11. Let w(q) = -2*q - 6. Let f be w(-4). Which is bigger: h or f?
f
Suppose 76 = -5*v - 29. Do -23 and v have different values?
True
Suppose -16 = 4*u + 4*x, 2 = -u - 3*x + 6. Let v = 4 + u. Which is bigger: v or -5?
v
Let q = 144 + -144.05. Do 2 and q have the same value?
False
Let t = 2/11 - -3/11. Which is bigger: t or 1?
1
Let x = -3.1 + 3.094. Which is bigger: x or 1?
1
Let n = 7/2 + -4. Let t = -1 + 1. Which is smaller: n or t?
n
Let i be (-1)/(-9)*(10 + 2). Which is bigger: i or 2?
2
Let w(t) = -4*t**2 + 1. Let h be w(1). Suppose -3*n = -2*z - 8, 4*n = 3*z + 2*n + 7. Is z greater than h?
True
Let v be (-5231)/170 - 0/(-1). Let k = v + 154/5. Let r = -19/68 + k. Is 0 smaller than r?
False
Suppose -2*a + 4*a = -36. Let h be (48/a)/((-14)/3). Is h not equal to 1?
True
Let q(f) = 14*f**2 - f - 1. Let p = 1 - 2. Let d be q(p). Suppose 3*n = -2 + d. Is 5 at most n?
False
Let r = 1.5 - 3.5. Let h = 17 - r. Is 1/2 at least as big as h?
False
Let p = -11 - -8. Suppose 0 = -2*d + d + 4. Suppose -2*g = 4*r + 22 - d, -2*r - 3 = -g. Is p > r?
False
Suppose 3*r - 5*r = -4. Let u be 2/(8/14) - 2. Is u < r?
True
Suppose 0 = -0*v + 2*v - 4. Let n be 28890/(-100)*4/(-6). Let f = -192 + n. Which is smaller: f or v?
f
Let c = 8 + -18. Let d(t) = -t**2 - 4*t + 3. Let l be d(1). Let j be 15/(-5)*l/c. Which is smaller: j or 1?
j
Let j be -1 - -2 - 18/26. Let a be (-2)/(-8) + (-6)/(-8). Is j greater than a?
False
Suppose 42 = -2*f - 0*f. Let g be (1142/(-4))/(f/3). Let d = 83/2 - g. Is 2 less than or equal to d?
False
Let s be (-12)/(-8)*2/(-7). Which is smaller: s or 1?
s
Su