 g?
False
Let d be 2 - 1 - (0 - -1). Let l = 7256 - 28855/4. Let y = l + -42. Which is bigger: y or d?
y
Let t be 1 - (3 + -2)/(-1). Suppose 0 = -2*f + 5*k + 15, t*f + 2*k + 12 = 4*f. Let h be 1 - f/(-6) - 2. Which is bigger: h or 0?
0
Let g = 9 + -5. Let t = g - 4. Suppose 17 - 13 = 4*u. Which is bigger: t or u?
u
Let u be (18/(-24))/((-3)/6). Which is bigger: -0.2 or u?
u
Let l be (2 - 49/1)*-2. Suppose 0*d + 2*d = 4*t - l, 25 = t - d. Is 22 smaller than t?
False
Suppose 0*v + v = f + 7, -2 = 2*v + 2*f. Let y be (2 + 14/(-6))*v. Is y < 4/9?
True
Let o = -4 - -3. Let z be (4/(-14))/(1 - -1). Let t = 4/21 - z. Is t greater than or equal to o?
True
Let s be 9/12*8/(-14). Let d(r) = r**3 + 7*r**2 + 6*r - 1. Let t be d(-6). Which is smaller: t or s?
t
Let t(v) = -v**2 + 26. Let b be t(7). Which is smaller: 0.2 or b?
b
Let g be 9/(-6) - (-46)/4. Let a = 10 - g. Is 2/27 < a?
False
Let d = 2.1 - 0.1. Which is greater: d or 0?
d
Let y = -2 + 1.6. Let s = y - -0.2. Let r = s - -0.1. Is r bigger than 1/2?
False
Let t be 2/(-11) + 112/132. Which is smaller: -14 or t?
-14
Let o = -196.96 + 202. Let k = o - 5. Let t = k - -0.06. Is t at least as big as 1?
False
Let h(c) = -c**3 + c**2 - 6. Let w be h(0). Let p be 1*(0 + 9)/1. Let t be w/(-10)*(-3)/p. Which is smaller: 0 or t?
t
Let c = 104 + -105. Is 5/47 > c?
True
Let r be (4/10)/(-1) + (-1456)/(-65). Which is smaller: 24 or r?
r
Let l = -5311146178433/12152 + 437059428. Let i = l + -1/392. Let q = -106/217 - i. Which is greater: q or 1/4?
q
Let n(u) = u**3 + 4*u**2 + 5*u + 2. Let j be n(-3). Suppose -w + 2*o - 14 = 0, 2*w - 5*w - 2 = 4*o. Which is greater: w or j?
j
Let o(y) be the first derivative of -2*y**2 + y + 3. Let p be o(-1). Suppose 0 = 3*w + 8 - p. Which is smaller: -2/3 or w?
w
Let w = -2 - 6. Let y be w/28 - (-48)/70. Let q = 0.22 + 0.08. Which is greater: y or q?
y
Let n(r) = 2*r - 5. Let c be n(4). Let i be (6/(-1))/(c/2). Is i equal to -4?
True
Let c be (-1)/(-14)*2/3. Is 0 greater than c?
False
Suppose -5*m + 5 = -x - 19, 0 = m + 2*x - 7. Suppose 0*c = m*c - 5*y + 10, 0 = 2*c + y - 2. Is c at least 1?
False
Suppose -r - 2*u = -1 - 4, 0 = -3*r - 4*u + 11. Is -2/53 <= r?
True
Let c = 133/9 - 44/3. Let v be 2 + (-5)/(-10)*-2. Is c greater than or equal to v?
False
Let q(t) = t**2 - 8*t - 1. Let g be q(7). Let h be (g - -8)*(2 - 1). Which is bigger: 2/11 or h?
2/11
Let u be ((-6)/(-10))/(5/25). Suppose -u*c = -4*k - 6*c - 3, 2*c = 6. Are -4 and k unequal?
True
Let z(a) = -a**3 + a**2 + a + 2. Suppose 2*k + 0*k = 0. Let i be z(k). Suppose -i - 2 = 2*x. Which is bigger: x or -3?
x
Let a be 16/(-36)*((-27)/6 - -3). Is 56 < a?
False
Suppose -4*n = -4*j - 7 - 5, 22 = -4*j - n. Is -7 equal to j?
False
Let u(j) = j + 1. Let d(w) = 2*w + 2. Let m(o) = 2*d(o) - 3*u(o). Let r be m(2). Let n be (-11)/(-4) + 3/12. Is n >= r?
True
Suppose 0*f + 12 = -3*f. Is f equal to -2?
False
Let r(w) = 21*w - 42. Let i be r(2). Is i smaller than 8/7?
True
Let w = -10 + 22. Let t be (-1)/(-2) + (-14)/w. Is t less than 1?
True
Suppose u = -3*b + 86, -4*u - 12*b + 7*b + 316 = 0. Is u smaller than 0?
False
Suppose 7 = -8*i + 3*i - 2*h, 3*h - 2 = 5*i. Which is greater: -2 or i?
i
Suppose -6*r - 351 = 483. Is r equal to -140?
False
Let o(j) = j**3 - 20*j**2 + 20*j - 13. Let c be o(19). Which is smaller: 23/5 or c?
23/5
Suppose 2*g = -j + 7*g + 35, -5*j + 4*g = -154. Suppose j = -3*s - 0*s. Is -11 >= s?
False
Let g be 1*(-4)/8*(0 + 158). Is -78 at most as big as g?
False
Let b = 4 - 1. Suppose 0 = -2*r - 4*n - 0*n + 8, 0 = r + b*n - 5. Suppose -5*o = -6*t + 2*t + 15, 4*t - r*o - 6 = 0. Is 0 bigger than t?
False
Suppose i = -2*z + 4 + 1, z - 2 = -i. Let p be 1/z - 5802/(-27). Let g = -215 + p. Is g >= 1?
False
Suppose d + 32 = 5*d. Suppose 2*q - 4 = -2, -s + 3*q + 6 = 0. Are s and d unequal?
True
Let o(s) = s**3 + 3*s**2 + 4*s + 2. Suppose 0*j + j = -5*r + 98, -6 = 3*j. Suppose r = -3*k + 2*f + 8, -1 = -k - f. Let m be o(k). Is m less than 1/4?
True
Let a be ((-14)/8)/((-2)/(-8)). Let t be ((-10)/15)/(2/24). Let m be 14/((-5)/((-20)/t)). Do a and m have different values?
False
Let a = 20 + -17. Suppose -a*y = -5*w + 12, 0 = w - 2*w + y + 2. Which is smaller: 1 or w?
1
Suppose 3*d = 3*b + 6 + 12, -b - 4*d + 9 = 0. Let s be ((-8)/(-5))/(20/50). Let o be b/10*s/(-3). Do o and 0 have the same value?
False
Suppose -2*z = -2 - 0. Let i(v) = -1 - 13*v**2 + 0*v + 2 + 12*v**2 - 11*v. Let y be i(-11). Is z less than y?
False
Let d = 13 + -8. Suppose -b - 3*o - d = 0, -b - o - 2 = -1. Are -1/3 and b unequal?
True
Let q = 198/5 + -40. Which is greater: q or -1?
q
Let w be 2 + (3 - -1 - -2). Which is bigger: w or 9?
9
Let f = 0 + 1. Let l = -21103/15 + 1406. Let k = l + 1/5. Do f and k have the same value?
False
Suppose b = 4*f + 7 - 2, -5*b + 6 = -f. Let y = 1/51 - -67/51. Do y and b have different values?
True
Let x be (-1964)/20 + (-2)/(-10). Is -99 <= x?
True
Let q = 229/2 - 114. Let g = -1 - -5. Let y = 0 + g. Which is smaller: y or q?
q
Let z = -1 - 7. Let s be (-4)/(z/6) + -4. Which is smaller: 0 or s?
s
Let x be (0 + (-6)/(-39))*2. Is x >= 1?
False
Suppose 3*z + 14 = 5*n, 3*z + 1 = -8. Is -1/15 smaller than n?
True
Let g(n) = n**3 + 5*n**2 - 6*n. Let t(v) = v**2 - 8*v + 7. Let u be t(5). Let m = u + 2. Let r be g(m). Which is bigger: 1 or r?
1
Let u(o) = 8 + 4 - 8 + 2*o + 4. Let k be u(-6). Which is bigger: k or -5?
k
Let b = 0 + 0.14. Let s = b - 0.15. Is s at most as big as -1/5?
False
Let j = 0.24 - 0.43. Let d = -0.11 + j. Is d equal to 3?
False
Let k = 9 + -10. Does k = 4/13?
False
Let w = 2 - 4. Suppose -4 = -3*v + 4*v. Let r = w - v. Which is smaller: r or 3/5?
3/5
Let c be (2565/50)/(1/(-2)). Let k = 103 + c. Which is smaller: 4 or k?
k
Suppose 14 = -y + 5*y + 5*h, 0 = 4*y - 3*h + 2. Suppose y - 5 = m - s, 2*s + 37 = -3*m. Let a be ((-6)/(-4))/(m/(-12)). Which is greater: a or 3?
3
Let h(u) = -u**3 + 12*u**2 + 12*u + 10. Let l be h(13). Let w be -4 + 7 - (0 - l). Which is smaller: -3/7 or w?
-3/7
Suppose -4*i = 3*m - 28, 4*m = -0*m - 2*i + 24. Suppose -m = -2*u - 2*u. Which is smaller: u or 2/11?
2/11
Let k = -15 + 11. Let b be 171/(-84) + (-8)/k. Which is greater: -1 or b?
b
Suppose 0 = -0*h + h - 3. Let d(k) = k**2 + 6*k + 1. Let r be d(-6). Which is smaller: r or h?
r
Let j be ((-30)/18)/(2/6). Is -5 bigger than j?
False
Let x = 2.6 + -2.7. Let v be 4/7 - (-4)/(-14). Which is greater: x or v?
v
Let x = -53/12 - -11/3. Let z = 0.43 + 0.07. Is z at most as big as x?
False
Suppose -190 = 3*l + 2*l. Let t be 5/10 - l/4. Suppose 5*n + t = -0*n. Is n < -2?
False
Let z(h) = -4*h**3 + 9*h**2 - 2*h + 1. Let c(j) = 5*j**3 - 10*j**2 + j - 2. Let m(p) = -3*c(p) - 4*z(p). Let l be m(4). Which is smaller: -11 or l?
-11
Let c(l) = -3*l**2 + 8*l - 3. Let g be c(3). Is -1 >= g?
True
Suppose -h + z + 2 - 5 = 0, -h - 2*z + 12 = 0. Are h and -0.8 equal?
False
Let m be (-40)/(-96)*3/(-2). Let g = m - -43/56. Is g equal to 0?
False
Suppose 0 = -5*c - 15, 2*l + 0*l + 5*c = -23. Let y be (22 + l + -1)/(-1). Which is bigger: -16 or y?
-16
Let m = 14 + -13. Which is bigger: -5 or m?
m
Let f(u) = 2*u + 9. Let x(l) = 3*l + 13. Let n(d) = 7*f(d) - 5*x(d). Let i(b) = -3*b - 5. Let j(o) = 3*i(o) - 8*n(o). Let a be j(1). Does a = -2/7?
False
Let q be 3 + 16/(-6) - 390/1134. Is 0 != q?
True
Let o = -10.4 - -10.37. Is -10 greater than o?
False
Suppose 5*q = -5, 21 = -4*j - 2*q - 3*q. Suppose n + 1 = 3*k - 5, 3*n = -5*k - 74. Let i = 14 + n. Is j less than or equal to i?
True
Suppose 4*h = 2*h. Suppose -4*r + h - 4 = 0. Let y be r/(-4) + (-1 - -1). Which is bigger: 1/2 or y?
1/2
Let r = -1 - -4. Is r less than or equal to 4?
True
Let n(l) = -2*l**2 - 7*l - 5. Let s be n(-4). Let v be (-4)/6 - (-3)/s. Which is smaller: -3/7 or v?
v
Let q be (2/(-4))/(5/(-10)). Is -1 < q?
True
Let f = 0 + 0. Let b be (12/9)/((-4)/(-6)). Let a be (13 - 11)*b/(-12). Which is bigger: f or a?
f
Let l be ((-1)/(-6))/((-3)/12). Which is bigger: -1 or l?
l
Suppose 3*f - f = u, 0 = -3*u - 12. Let n = -14 + 23. Let y be n/15 - (-2)/(-2). Is y greater than or equal to f?
True
Suppose u - 18 = 3*u. Let a be (-8)/u*(-12)/16. Suppose 9 = -h + 4*h. Which is smaller: h or a?
a
Suppose 30 = -7*u - 26. Suppose -z + 9 = -2*z. Is z less than or equal to u?
True
Let f(s) be the third de