
False
Let b(g) = -g**2 - g. Let w be b(-1). Let v be (-1)/(1 + w) - 0. Suppose -c = -6*c - 20. Which is bigger: v or c?
v
Let y = -0.037 + -24.963. Which is smaller: 1 or y?
y
Let d = 43 - 58. Is -1 < d?
False
Let s be (9/30)/3*30/(-36). Let c = 1 - 1. Which is greater: s or c?
c
Let r = 468/1843 - -6/97. Which is greater: r or 1/3?
1/3
Let z(n) = 2*n - 7. Let b be z(-6). Which is smaller: -18 or b?
b
Suppose -7*g + 0 + 7 = 0. Let k(u) = u**2 + 3*u - 1. Let h be k(-3). Let o be (g/2)/(h/2). Is o > 1/5?
False
Let w(g) = g - 3. Let t be w(2). Is t at least 0?
False
Let g be (2/(-16))/((-7)/(-14)). Is -0.5 less than g?
True
Let u = -64 - -63. Suppose -r = -1 + 6. Are u and r non-equal?
True
Let k(h) = h + 7. Let s = -16 + 11. Let f be k(s). Is f >= 3?
False
Let v = 2 - 1. Let q = 5/3 - v. Let c = -7/6 + q. Is c smaller than 0?
True
Suppose 13*d + 246 - 675 = 0. Which is smaller: 34 or d?
d
Suppose -3*a - z + 2 = 0, a - 6*z - 6 = -z. Is 1/12 greater than a?
False
Let o = 2 + -1.8. Let z be -1*(-1)/(4 + -3). Which is greater: z or o?
z
Let x(j) = j - 4. Let s be x(6). Suppose -5*h + v = 2*v - 2, 13 = -s*h - 5*v. Is h greater than or equal to 3/7?
True
Suppose -n + 2*z - 1 = 0, 2*z = -2*n - z - 2. Is n at most 2/9?
True
Let b = -243537/5 - -22153172/455. Let c = 137/7 + b. Is c bigger than -1?
True
Let s be -2 + (6/(-12))/(2/(-232)). Are s and 58 equal?
False
Let w = -1187/535 + 2/107. Is w bigger than -0.1?
False
Let h(b) = b**3 - 6*b**2 - 6*b - 2. Let n be h(7). Let d = 6 - n. Let r = 5 + -3. Which is smaller: d or r?
d
Let c = -6.32 + 2.35. Let g = c - -2. Let l = g + -0.03. Which is smaller: -1 or l?
l
Suppose -2*x + 24 = 2*x. Let d = 8 - x. Let i be (-1*d)/((-10)/2). Is 0 bigger than i?
False
Let j be 52/3 + 9/(-27). Is j greater than 16?
True
Let v(s) = s**2 + 5*s + 5. Let i be v(-10). Let w = i + -1209/22. Is 1 less than or equal to w?
False
Let j be (-280)/736 - 1/(-4). Is j bigger than 1?
False
Let t = -3.91 - 0.09. Let n = t - -5. Let u = 0 - -3. Which is greater: n or u?
u
Let n = -7.7 + 9. Let h = -1.7 + n. Do h and -2/5 have different values?
False
Let d = -1.2 - -2.3. Which is smaller: d or -2?
-2
Let g = -46/7 + 44/7. Which is greater: g or 8?
8
Let d be ((-18)/132)/((-3)/124). Let z be (-7572)/16*(-4)/330. Let o = d - z. Which is smaller: 0 or o?
o
Suppose -3*t = 2*t. Let k be t/(3 - 1)*1. Let o = -3375/11 + 307. Is k greater than or equal to o?
False
Suppose w - 3 = -0*w. Suppose -1 - w = 4*c. Is c >= 0.3?
False
Suppose -3*l - 13 = 4*b, 3*b = 2*b + 5. Which is bigger: l or 1/3?
1/3
Let w = 1.3 + 1.8. Let b = 4 + -1. Let a = b - w. Which is greater: 0 or a?
0
Let p = -13.9 - -14. Which is smaller: p or -1?
-1
Let n = -8 + 14. Let f be 1 + -3*3/n. Let w be -2 + 2 + 2 - 2. Which is smaller: f or w?
f
Let i(u) = -5*u - 6. Let r(z) = -6*z - 5. Let b(d) = -4*i(d) + 3*r(d). Let p be b(-6). Is -2 at most as big as p?
False
Suppose -45*s + 30 = -50*s. Are s and -4 equal?
False
Suppose 5*c = 5*z + 2*c - 35, -30 = -2*z - 2*c. Is z bigger than 8?
True
Suppose -5*h - 25 = -85. Let i = -14 + h. Are i and 0 equal?
False
Let j = 1/327 - -1087/981. Is j < -5/2?
False
Let f(q) = -13*q**2 + 10*q + 7. Let z(s) = -9*s**2 + 7*s + 5. Let x(a) = -5*f(a) + 7*z(a). Let v be x(2). Let b = 1 + 4. Is v at least b?
True
Let m be 1*(2*-5)/(-2). Suppose 3*y = -4*a + 2*y + 16, -16 = -4*a - 4*y. Which is bigger: a or m?
m
Let v = -930 + 54868/59. Which is greater: v or 1?
1
Suppose 0 = 6*c + 9 + 9. Let d = -412/3 + 135. Which is smaller: d or c?
c
Let n be (-12)/(-9) - (-110)/(-105). Is 10/9 > n?
True
Let z(m) = -m**3 - m + 1. Let y be ((-3)/(-9)*0)/(-1). Let p be z(y). Which is smaller: 1/4 or p?
1/4
Suppose 2*t = -4*t + 5*t. Let i = 47/123 - 2/41. Is i greater than t?
True
Suppose -4*a - 12 = -5*x - 0*a, 12 = 3*x - 4*a. Are 2/7 and x equal?
False
Let x be (-1 + -1)*5/105. Which is greater: x or 0?
0
Let u = -2 - -3. Suppose -5*i + 0*p - 3*p = -10, 4*i - 21 = -5*p. Let n be i*(-4)/(-4)*-1. Are u and n equal?
True
Let h = -5.17 + 0.17. Which is greater: h or 0?
0
Let l be (-8258)/3885 - (-1 + -1). Let a = 1213158/259 + -4684. Let t = a - l. Is 0 at least as big as t?
False
Let w(f) = f**2 - 4*f. Let u be w(2). Suppose -18 = 2*o - 2*i + 6*i, 14 = -2*o - 2*i. Is o at most as big as u?
True
Let t = 3 - 5. Let z be 34/(-40) + t/(-8). Let q = -19 + 98/5. Is z at most as big as q?
True
Let q(k) = k**2 + 3*k + 11. Let b be q(-4). Which is smaller: 6 or b?
6
Let j = -0.13 - -3.13. Let d = j + -3. Which is smaller: d or -0.1?
-0.1
Suppose -2*i + 7*i = -5*t + 75, 0 = 4*t + 20. Is i at most 4?
False
Let a = 43 - 23. Suppose 12*b = 10*b + 2*p + 2, b + 3 = -3*p. Suppose b = -5*t + a, -4*v + 3*t - t + 24 = 0. Is v not equal to 7?
True
Let d = 118 - 562/5. Is 7 greater than d?
True
Suppose 0 = 2*o + 3*o. Let u be o/(-1 - (0 + -2)). Let l = -227/4 - -58. Which is smaller: l or u?
u
Let c be -2*(4 + (-5)/1). Suppose 0 = 7*j - 2*j - 15. Do c and j have different values?
True
Let c = -4471/4 - -33527/30. Let d = c - -1/12. Are 1 and d equal?
False
Let n = 3.2 + 0.8. Is n at most 4?
True
Suppose m + 2 = -q, 0 = -2*m - 0*m - 5*q - 10. Suppose m*o = 4*o - 24. Suppose -10 = n - o*n. Which is bigger: 5 or n?
5
Suppose -j = -3 - 0. Suppose j*p - 20 = 8*p. Let x be p/20 + (-34)/(-70). Which is smaller: x or -4?
-4
Suppose 4*c + 14 = 6. Let g be (-1 - -31)*c/4. Which is smaller: g or -14?
g
Let p(f) = -f + 8. Let b be p(9). Which is greater: b or -6/11?
-6/11
Let a = 0 + -0.1. Let b = -195 + 196. Which is greater: b or a?
b
Suppose m - 2*n + 0 = 1, 3*n + 12 = 5*m. Is 18/5 greater than m?
True
Let r = 46 + -35. Which is smaller: 1 or r?
1
Let v = 0.007 + -5.107. Let w = v + 5. Is w >= 0?
False
Let k(m) be the second derivative of 5/12*m**4 + 1/20*m**5 + 0 - 3*m - m**3 + 0*m**2. Let a be k(-6). Is 0 bigger than a?
False
Let s = 1.9 - 1. Let q = s - 0.7. Which is smaller: q or 4?
q
Let c(m) = -2*m**3. Let j be c(1). Let t be (12 - 11)/(j/10). Which is greater: t or -6?
t
Suppose 4*s + 54 = 6. Is s at least -12?
True
Let r = -0.77 + 0.9. Let t = r + 0.87. Let i be 3/1*2/(-9). Is t at least as big as i?
True
Suppose -11*o = -108 - 13. Which is smaller: 8 or o?
8
Let a be (4/(-2))/((-9)/27). Let d be (8/(-12))/((-16)/a). Is -1 bigger than d?
False
Suppose 0 = -o + 2*a - 2 - 1, 4*o + a = 6. Which is smaller: -12/31 or o?
-12/31
Let u = -1 + -1. Let y be 78/(-9) - 1/3. Let p be (-3)/y - 15/18. Which is smaller: p or u?
u
Suppose f - 2*x = -7*x + 14, 0 = -4*f - x + 18. Suppose 3*g = f*g. Which is bigger: 2/5 or g?
2/5
Suppose -3*t + 8 = -o + 2, 4*o - 18 = -2*t. Is t <= 1?
False
Suppose 4*a = -q - 4, 4*q + a = -0*a + 29. Suppose 4*r - q = -4*x, -2*r + 4*x - 10 = -x. Is r != -1/4?
True
Let n = -0.31 + -2.69. Is -14 greater than n?
False
Suppose 3*w = 9, -2*t = -3*w + 1 + 4. Let x be 3/2*2/(-3). Let s = 2 + x. Are t and s equal?
False
Let f be (-9 - 1)*(-24)/(-15). Let s = f + 18. Which is smaller: s or 4?
s
Let m(i) be the first derivative of i**2/2 + 2*i - 2. Let c be m(0). Let v = 0.2 - 0.3. Are c and v nonequal?
True
Let g = 3 + 3. Suppose -3*q + 0*q + g = 0. Let v be 0*(2 - 5/q). Is 0 equal to v?
True
Let l = -0.15 - 0.05. Which is bigger: l or 3?
3
Let d(w) = 4*w**2 + w**3 - 4 - 5*w - 3*w - 3. Let b be d(-5). Suppose -4 = v - 1, -4*r - 4*v = -16. Which is smaller: r or b?
r
Let u = 1.1 + -0.1. Let b = 4.16 - 0.16. Let f = 4.3 - b. Which is greater: u or f?
u
Let z = 19 + 0. Suppose 8*i + z = 4*i - 3*p, i + 16 = -3*p. Let a = 50 - 353/7. Which is smaller: a or i?
i
Let o be 12/56*4/(-3). Which is bigger: o or 0?
0
Let v be 5 + 1*(-1)/1. Let a(u) = u. Let y be a(v). Suppose -w = y*w. Which is greater: w or 1/2?
1/2
Let k be (1 - -14) + (-1 - 1). Suppose -5*n - k = 2*z, 5*n - 2*z + 1 = 4. Suppose 2*i = 4*i. Which is smaller: n or i?
n
Let c = 0.54 + -0.43. Which is smaller: 1/4 or c?
c
Let o = -10 - -10. Let a be o + -2 + (-3)/(-1). Which is smaller: -1 or a?
-1
Let m(k) be the third derivative of k**5/60 - 7*k**4/24 - k**3 - 2*k**2. Let z be m(8). Suppose 14 = -v + 11. Is z bigger than v?
True
Suppose q + 8 = -b, 3*q + 1 + 2 = 4*b. Let p be (-50)/132 + b/18. Which is greater: p or 0?
0
Suppose 0 = -5*p + p - 8. Which is smaller: p or 0?
p
Let k = -32 - -87/2. Is k less than or equal to 11?
Fals