t f be 2 - (-4 - (-300)/51). Is f greater than 3?
False
Let h = 11 + 4. Are 14 and h equal?
False
Let g be ((-5)/(-75))/(1/4). Which is smaller: 0 or g?
0
Suppose -y = 6 - 17. Let i = y + -6. Which is smaller: 4 or i?
4
Let t = -102.2 + 111. Let i = 9 - t. Which is smaller: i or 0.1?
0.1
Let a = -562831/9 + 62682. Let o = -145 + a. Is 0 > o?
False
Let s = 0 + 0. Let h = -0.03 + -0.01. Let g = h + -0.26. Is s bigger than g?
True
Let n be 0/(0 + 3 + -1). Let f = 1 - n. Suppose -t + l + 4 = f, 3*l - 3 = -3*t. Is t < 1?
False
Let a be -2 + 9/3 - 3. Let m(z) = -z**3 - 4*z**2 + 6*z + 6. Let f be m(-5). Suppose -j = 3 - f. Is a greater than j?
False
Let y = -4/3 - -5/6. Let h be 0/(3*(-4)/(-6)). Is h less than y?
False
Suppose 0 = -6*k + 2*k - 4. Let w be k/((-1)/((-1)/(-3))). Suppose 3*i = -5*x + 26 - 11, -i = -3*x + 9. Which is smaller: i or w?
i
Let x = -6 + 5.5. Let r = x + -0.5. Which is greater: r or -6?
r
Let i be (-4)/(-8) + 1/2. Let y = 35/12 - 13/4. Let x = -2/3 - y. Which is smaller: x or i?
x
Let w = -8/267 + -206/10947. Is -1 >= w?
False
Let p(h) = h + 8. Let v be p(-7). Is -3 < v?
True
Let m = 1 - 2. Let r(g) = g**2 - 2*g. Let h be r(2). Suppose -2*z - z = 0, h = -o - 4*z - 2. Is m at least as big as o?
True
Let p(t) = -t**3 - 14*t**2 + 16*t + 15. Suppose w - 62 = 4*b, -2*b - w - 32 = -2*w. Let j be p(b). Is 1 bigger than j?
True
Suppose -5*k - 14 = 1. Does k = -7/4?
False
Let s be (3/(-2))/(759/(-88)). Let h = -34/69 - s. Let j = 2.2 + -2. Which is greater: j or h?
j
Let g(p) = -p - 13. Let s(r) = 2*r. Let x be s(-5). Let l be g(x). Let w be 1/2*3*-1. Which is smaller: w or l?
l
Let r be ((-2)/2)/(4 - 3). Which is greater: r or -8?
r
Let t = -1 + 1. Suppose 20 = 8*q - 4*q. Let x be (1/(-3))/(q/9). Is t < x?
False
Suppose 0*v - 1 = -v + j, 7 = 2*v - 3*j. Let n be 5/(-30) + (-13)/3. Is v greater than n?
True
Let i be -6*(7 - 3)/8. Let f be i*((-8)/(-20))/2. Let s(b) = b**2 + 4*b - 5. Let z be s(-5). Which is bigger: z or f?
z
Let j be (-2 + 3 - 0) + (1 - 4). Let w = 37611 + -188756/5. Let o = 139 + w. Which is smaller: j or o?
j
Let m = 10 + -6. Suppose 4*t + 4*w - 8 = -0*w, -m*t = -4*w + 24. Which is bigger: 0 or t?
0
Suppose -w + 6 = w, j + 3*w - 27 = 0. Is j not equal to 18?
False
Suppose 10*n = 6*n + 8. Let m be 1*1/n*2. Which is smaller: m or 3?
m
Suppose 4*r + 3*l + 13 = 0, 2*l = -2*r - 3*l - 3. Let c(q) = q - 4. Let m be c(r). Is -9 bigger than m?
False
Let y = 0 - 0. Suppose 0 = 4*d - y + 12. Suppose 3*q = q - 8. Which is bigger: q or d?
d
Let v(p) = -p**2 + 4*p. Let j be v(3). Suppose 0 = l - j*l. Let k be (-22)/18 - (-1 + l). Are k and -1 equal?
False
Let x = -5/2 - -7/3. Which is smaller: -1 or x?
-1
Suppose 2*h + 0*h = 4*g, 3*h + 2*g = -8. Let f be (-48)/(-27) - (-2)/9. Let b = f + h. Which is bigger: b or 1?
1
Let v = 1.2 - 0.2. Let o = -0.1 - 0.3. Which is smaller: o or v?
o
Suppose -5*u = -2 - 3. Let l = -15 + 15. Is l > u?
False
Let d = 7 + -6. Let s be d*(1 + (-10)/6). Which is smaller: s or 4?
s
Let g = -10.21 + 0.21. Let y = g - -9. Is -2/9 < y?
False
Let d(s) = s**3 - 16*s**2 - 39*s + 37. Let u be d(18). Which is smaller: u or -11?
u
Let d be (-14)/(2/2 - 2). Are 13 and d equal?
False
Suppose -21*u + 523 = -254. Which is greater: u or 36?
u
Suppose 4*d = 5*d - 17. Which is smaller: 16 or d?
16
Let l be (-6)/(-8) - (-50)/40. Suppose 0 = 4*z - z - 6. Let w be l*(-1)/(z/2). Which is smaller: -1 or w?
w
Suppose -6*q + q + 25 = 0. Suppose 0*x = -3*x - f - 1, -5*x = q*f - 5. Let y = 5/18 - 1/9. Is x at least as big as y?
False
Let f = -7 + 12. Suppose w = f*w. Which is bigger: w or -1/5?
w
Suppose 33 + 77 = -5*a. Let u be ((-3)/a)/(12/8). Are -1 and u unequal?
True
Let g = -97/4 - -24. Let d(x) = -12*x - 47. Let b be d(-4). Which is smaller: g or b?
g
Suppose 5*p - 29 = -4*h, -p - 4*h + 20 = 3*p. Suppose s + 2*y = -p, 3*s = -0*s - 4*y - 17. Let d = -4 + 6. Are s and d equal?
False
Suppose -l + 4*l - 6 = 0. Suppose l*o - 8 = 4*x - 2*x, 0 = -4*x - 2*o + 2. Let d be 20/(-6)*6/25. Is d <= x?
False
Let s = -2.2 + 2. Let j = -0.3 - s. Let h(r) = -r**3 - 12*r**2 - 12*r - 12. Let p be h(-11). Which is bigger: p or j?
j
Let g(o) = -3 + 5*o - 10*o**2 + 3 + 9*o**2. Let v be g(5). Let b = -2 - -2. Is v > b?
False
Let y(v) = -4*v**3. Let q be y(1). Let z be (-138)/(-33) - (-2)/(-11). Let n = q + z. Which is greater: 1/6 or n?
1/6
Suppose -58*i + 67 = -59*i. Is i bigger than -67?
False
Let d = 28 + -29. Which is bigger: d or -32?
d
Suppose 0*s - 3*o - 13 = 2*s, -1 = 5*s - 3*o. Let l be (0 - (-1 + 0))*s. Do l and -4/7 have different values?
True
Let d(b) = b**3 - 4*b**2 - 6*b - b + 0*b + b. Let r be d(5). Is -3 <= r?
False
Let a = 20 + -20.1. Which is bigger: a or -1?
a
Let o = -2.41 - -0.41. Which is greater: -8 or o?
o
Let t = 10 - 7. Let y = t + -5. Which is smaller: -4 or y?
-4
Let w be (3/(-2) - -1)*223. Let p = w + 556/5. Suppose -2*f - 2*f = 0. Is f at most p?
False
Let f(k) = 278*k - 1. Let x be f(-7). Let s = x - -9797/5. Let t = 12 - s. Which is smaller: 0 or t?
t
Let o = -10 + 2. Let x be 13/28 + 6/o. Which is smaller: x or 4?
x
Let j = -0.6 - -0.62. Let y = 2.98 + j. Let h = y - 2.9. Is h > -1/4?
True
Let p = -0.3 + -0.7. Let v be 0 - 0 - (-2)/7. Which is smaller: p or v?
p
Let c = -2 + 1. Let r(f) = 3*f + 1. Let k be r(c). Let u be k/2*3/(-6). Is 3 at least u?
True
Let v be 4/(-10) + (-405)/(-75). Which is bigger: v or 0?
v
Let o = -12 + 12. Suppose o = -5*d - 13 + 3. Suppose -5*i + 3*i - 12 = 3*s, -3*i - 9 = 0. Is d at least s?
True
Let b = -30 + 29. Do b and 0.06 have the same value?
False
Let r(b) = b + 5. Let i be r(0). Suppose i*n + t = -4, -3*n = -6*n + t + 4. Is 1 greater than n?
True
Suppose -3*c + 5*b - 398 - 46 = 0, 296 = -2*c - b. Which is smaller: c or -147?
c
Let g be (-6)/(-9)*-3 + 5. Suppose 0 = 2*d - 2 - 2. Is d less than or equal to g?
True
Let q = -9.93 - 0.07. Let z = 18 + q. Which is greater: 0.1 or z?
z
Let b = 76 + -101. Which is smaller: -1 or b?
b
Suppose -2*o - 12 = -0. Let l = -7 - o. Is l equal to 1/6?
False
Let x = 25 - 18. Let u(j) = -j**2 + 7*j - 1. Let s be u(x). Which is smaller: s or -3/8?
s
Let t = -19 + 29. Let m be 7/285 - t/(-75). Which is smaller: 0 or m?
0
Let w = 674/501 - 2/167. Which is smaller: 0 or w?
0
Suppose 7*q - 36 + 106 = 0. Let z be 2/q*65/39. Is z at least as big as -5?
True
Let p(w) = w**3 - 5*w**2 - 6*w + 8. Let k be p(6). Let a(j) = -j**2 + 4*j + 11. Let n be a(k). Let c be 2/7 + 6/n. Which is bigger: c or -1/8?
c
Let j = -0.64 - -0.7. Let u = -1.06 + j. Are u and -1 equal?
True
Let k = -4.96 + -0.04. Is -3 < k?
False
Let a(g) = g**2 - 5*g - 8. Let l = 7 - 1. Let c be a(l). Let m(p) = -p**3 - 8*p**2 + p + 6. Let o be m(-8). Are o and c unequal?
False
Suppose -4*g + 20 - 8 = 0. Suppose 1 = -3*m + 5*b, m - g*b - 9 = -4*m. Is 5 less than or equal to m?
False
Let p(h) = -h**2 - 12*h - 3. Let v be p(-11). Do v and 9 have the same value?
False
Suppose -6*f + 4 = -2*f. Which is bigger: f or -2?
f
Let g = 785/2 - 392. Let o be 58/170 + 4/(-10). Is g smaller than o?
False
Let d(s) = -s - 24. Let x be d(-25). Is -14 != x?
True
Suppose 0 = h - 3*s - 29, 0*h - 2*h + 58 = -s. Suppose -3*x - 2*x + h = 4*b, b = -4*x + 21. Let o be 0/(b/((-3)/(-9))). Is o at most as big as 0.1?
True
Let m = 10/3 - 2. Is m less than 0?
False
Let h be (0 - 0)/(1 + 1). Let q(k) = -k**2 + k + 2. Let a be q(h). Let v be 1*(3/(-3) + a). Which is greater: 0 or v?
v
Let x = 93 - 45. Which is smaller: x or 1?
1
Let w(d) = 2*d**2 - 23*d + 8. Let u be w(11). Let r(v) = -v**3 - 4*v**2 + 4*v. Let n be r(-5). Suppose -c + n*c = -8. Is u at most as big as c?
True
Let g(i) = -i**2 + 9*i - 6. Let d be g(4). Let p(v) = v**2 - 16*v + 16. Let t be p(d). Is -12 < t?
False
Let b(r) = -r**3 - 6*r**2 + 4*r - 2. Let p be b(-6). Is p bigger than -26?
False
Let t = 0 - -1. Suppose 2*l = 5*l. Is l >= t?
False
Let g = -63.93 + 64. Is g less than -0.2?
False
Let g(k) = -k**3 + 8*k**2 - 6*k - 5. Let r be g(7). Suppose 13 = s + r. Is s less than or equal to 11?
True
Let u = -5/37 - 355/111. Let p = -4 - -2. Which is bigger: p or u?
p
Let g(d) = -d - 4. Let k(l) = l + 4. Let t(r) = -3*g(r) - 4*k(r). Let j = 2 - 5. Let o be t(j). Is o greater than -1/9?
False
Let v = -127 + 126.39. Let h = v + 0.6. Is 0 greater than or equal to h?
T