 - -0.02. Let c = 0.5 - y. Is c > -1?
True
Let p = 9 - 4. Let z = p - 4. Is -0.1 bigger than z?
False
Let i(l) = 0 + 1 + 5*l**2 + 0 - l**3. Let u(c) = c - 3. Let j be u(8). Let t be i(j). Is 1 >= t?
True
Let r(n) = -n**2 - 15*n + 25. Let k be r(8). Which is smaller: -160 or k?
-160
Let k = 327/2 + -164. Is k >= 47?
False
Let k be ((-1)/(-4))/((-10)/(-40)). Let q be (k/2)/((-4)/24). Is 0 > q?
True
Suppose -4*f - 30 = j, -2*f = f - j + 19. Is f greater than -50/7?
True
Let z be (-2)/(-1) - (-8)/(-2). Suppose 2*c = -c. Suppose 0 = h + 5*l + 7, 8 + c = -5*h + 2*l. Is h at least z?
True
Let z(m) = 3*m - 16. Let s be z(5). Let t = -436 - -2138/5. Let d = t + 341/40. Is s less than d?
True
Let m be 4/24 + (-3)/(-6). Which is greater: -2/11 or m?
m
Let h be 112/(-11) - (-10)/55. Are h and -10 nonequal?
False
Suppose 0*q = -5*q + 5. Let d = -2 - -2. Let t be ((-9)/(-6))/3 + d. Is t equal to q?
False
Let y = 1 + -7. Let a = y + 10. Let g = 4.2 - a. Do g and -0.2 have different values?
True
Let a = 58 + -41. Suppose 5*w - 3*l - 4 = 0, -a = w + w + 5*l. Is w less than -2/53?
True
Let s be -2*((-489)/(-18) - 2). Let o = s + 47. Is o less than -4?
False
Let g be (-1)/891*(-535)/5. Let o = -5/81 - g. Which is smaller: o or 0?
o
Let a = 8.2 - 1.2. Let d = -5 + a. Which is smaller: d or 0?
0
Suppose -2*p + 12 = 2*y, -3*p = 2*y - 6*p - 32. Let k(n) = -n + 9. Let d be k(y). Is d at least as big as 3/8?
False
Let g(r) = 2*r - 9. Let l be g(9). Is 23/3 < l?
True
Suppose 0 = -3*h + 17 - 14. Which is smaller: h or 4/7?
4/7
Let c(k) = -k**2 + 4. Let g be c(-3). Suppose -3*f = -0*f + 18. Let w be 3/(-1)*f/(-6). Which is bigger: g or w?
w
Let l = -0.1 + 0.3. Let z = 64.4 - 64. Is l >= z?
False
Let v be (-4)/(-14) - (-19)/7. Suppose -f + 4 = v. Suppose 2*r = -r + 6. Which is smaller: f or r?
f
Let d be ((-25)/(-10))/(-1)*8. Which is bigger: -21 or d?
d
Let f be -1 - (24/(-15) + 2/(-5)). Which is smaller: -0.04 or f?
-0.04
Suppose -g + 2*o - 3 = 0, g + 3*o = -3*g + 10. Is -4/23 smaller than g?
True
Let g = 7 + -22/3. Let n = -3 - -3.1. Do g and n have the same value?
False
Let j = 489 - 5383/11. Which is smaller: -1 or j?
-1
Let s = 14 - 9. Which is smaller: s or 4?
4
Let z = -1.2 - -8.2. Let b = 86 + -79.1. Let y = b - z. Is -0.1 smaller than y?
False
Let y be -132 + (-2 - -6) + -1. Let z = y - -1162/9. Which is smaller: 0 or z?
0
Let n = -3 + 2. Let w be (n*2 + 3)/(-1). Is -1/2 <= w?
False
Suppose 5*w = -2*z - 5, -4*z - 3 = 5*w - 8. Let r(t) = -z + t + 0*t - 1 + 0*t. Let n be r(6). Does -2/11 = n?
False
Suppose 15 = 4*x - 9. Let k = -2 + x. Let i be 25/(-4)*6/(-15). Does k = i?
False
Suppose 0 = -3*f + f + 32. Which is smaller: f or 13?
13
Let b be ((-8)/(-7) - 1) + -1. Is b < 0?
True
Let w = 0.01 + 0.09. Which is greater: w or 9?
9
Let b = 15/11 + -593/451. Which is greater: -1 or b?
b
Let r be -5*(-8)/20 + 2. Suppose -r*u + 8*u - 8 = 0. Which is greater: 0 or u?
u
Let p(y) = -4*y**2 + y + 14. Let n(v) = -v**2 + v + 1. Let c(l) = 3*n(l) - p(l). Let x be c(-5). Is x at most 5?
True
Let c = -0.04 + 7.04. Let p = 7 - c. Let x = 0 + -1. Which is greater: p or x?
p
Let n(q) = q. Let v be n(-6). Let d be (v/4)/((-12)/16). Suppose 0 + d = 2*c. Which is smaller: -2/9 or c?
-2/9
Let a(q) = -4*q + 26. Let c be a(6). Let o = 0 - 0. Which is greater: c or o?
c
Let l = -2482698083/570 + 4355614. Let t = 55/19 - l. Let n = -1/10 - t. Which is smaller: n or -1?
-1
Suppose 4*q = -0*q. Which is smaller: q or -17?
-17
Let n = -2551351/6442296 - 1631/7422. Let v = n + -2/217. Which is smaller: -2 or v?
-2
Let v(l) = -8*l + 16. Let j be v(2). Suppose -4 = -w - 3*w. Let u be 4/14 + -1 + w. Which is greater: j or u?
u
Let c = -163/1007 - -3/53. Suppose -3*m - 8 = v, -5*m + 13 + 2 = -4*v. Which is greater: c or m?
c
Suppose 3*r - 2*r = 2. Let x be (-24)/(((-3)/4)/1). Let v be -2 - (-1)/(14/x). Is r greater than v?
True
Let x(u) = u**3 + 11*u**2 + 9*u - 7. Let m be x(-10). Let z = -5 + m. Which is greater: z or -1?
-1
Suppose -x + 3 - 8 = h, 0 = 2*h - 4*x - 20. Is h != -4/39?
True
Let j(l) = l**2 + 2*l + 1. Let c be j(-1). Let y = -0.95 + -0.05. Which is bigger: y or c?
c
Let a = -3 - -1. Let g = -2 - a. Let w = 8 + -7. Which is smaller: g or w?
g
Let w = 28 - 29. Which is smaller: w or -2?
-2
Let u(r) = -r**3 - 2*r**2 - r - 2. Let o be u(-2). Suppose 2*p = -o*p. Let v = p + 1. Which is greater: 0 or v?
v
Let n be (1 + 3/(-1))/13. Is n greater than or equal to -2/9?
True
Let b(y) = 5*y**3 + 2*y - 3*y**2 - 4*y**3 - 1 + 4*y**3 - 4*y**3. Let d be b(1). Which is greater: d or 0?
0
Let x(o) = o**3 - 4*o**2 + 2*o - 4. Let d be x(4). Suppose 0 = -3*z + d*z. Let b = -9 + 8. Which is bigger: z or b?
z
Suppose c + 3*c - 16 = 0. Let r = -5 + c. Is r > -2/23?
False
Let x be (-66)/(-10) - 0/(-7 + 11). Which is smaller: x or 7?
x
Let s = -43 + 29. Let a = s + 10. Let i = -5 - a. Which is greater: 2/5 or i?
2/5
Let a(q) = -q**2 + 6*q + 7. Let z be a(7). Let b be (-3)/5*(1 + z). Suppose 0 = -s + 5*s. Are s and b equal?
False
Let f(b) = 2*b. Let l be f(2). Suppose 4*s - 6 = u, -s + 11 = l*s - 3*u. Let g = 2 - s. Which is greater: g or -2?
g
Let h = 230/7 + -529/21. Which is smaller: h or 9?
h
Let w = -0.046 + 0.216. Let x = 0.47 - 0.4. Let j = w - x. Which is smaller: 1/2 or j?
j
Let g(p) = p - 4. Let q be g(4). Let j = -785 + 22767/29. Is j != q?
True
Let w = -0.1 - 0.1. Let r = -180 - -175. Is r equal to w?
False
Let d be (225/235 - -2) + (-4 - -1). Let s = 0 + -1. Is s >= d?
False
Let o be (-2)/1*(-1)/(-17). Suppose 3*y + 2 = 5*y. Which is smaller: o or y?
o
Let s be (55/(-15))/(0 + 1). Let q = s - -74/21. Which is smaller: 0 or q?
q
Let x be -7*(5 + -2 + -2). Is -8 equal to x?
False
Suppose 0 = -o - a + 16, -5*o + a + 42 = -44. Is 0.4 less than o?
True
Let c(r) = -r**3 + 2*r**2 - 2*r + 1. Let g be c(1). Suppose 0 = -3*l - 5*h + 20, -3*l - 12 = -3*h - 0. Suppose x = -l*x. Is g at most x?
True
Let f = -3 - -7. Suppose -t - s = -2, t + f*s + 28 = 6*t. Let z be 9/(-60) - 1/t. Do -1 and z have the same value?
False
Let a(q) = 3*q**3 - 2*q**2 + 2*q - 3. Let j be a(2). Suppose 8 = -3*g - g - 2*t, -j = 3*g - 4*t. Do g and -2 have the same value?
False
Let n = -64 - -66. Which is greater: 3/11 or n?
n
Let c = 8 - 11. Let z = c + 6. Let i = z + -5. Which is smaller: i or -0.1?
i
Let n = 9 + -13. Let p = -1.11 + 0.11. Is n at least p?
False
Suppose -5*p + 4*f + 5 = 0, 5*p - 2*p - 3 = 2*f. Suppose 6 = m + 2. Suppose t - 1 = 0, 4*t + 2 - m = -w. Are p and w nonequal?
True
Let k(y) = y - 6. Let a be k(7). Let l = 0 - a. Let o = 10 + -12. Which is greater: l or o?
l
Let a = -0.41 - -7.41. Do 3 and a have the same value?
False
Let b = 0.02 + -0.32. Let n = -0.1 - b. Let q = 1.2 - n. Which is greater: q or -1?
q
Let y = 409 - 410. Let h(r) = -r. Let i be h(4). Is y equal to i?
False
Let n = -0.26 + 0.3. Let w = 0.08 + n. Let v = w - 0.02. Is v greater than or equal to 0.1?
True
Suppose 0*t + 2*b + 1 = t, -4*t + 4*b - 4 = 0. Let v be ((-2)/t)/((-2)/3). Is v at least -1?
True
Suppose 2*f + 72 = 2*o, 0*f - 5*o = 3*f + 124. Is -38 <= f?
True
Let c(u) = -u**2. Let w be c(2). Let k be ((-7)/w + -2)*1. Which is bigger: 0.2 or k?
0.2
Suppose -3*w = x + 6, -5*w - 20 = -3*x - 108. Is x equal to -1?
False
Let l = 0.07 - 0.06. Let c = 0.41 - l. Is -0.1 at least c?
False
Let j be (-16)/(-14)*(-4 + 11). Is 1/7 at most as big as j?
True
Let f(b) = 4 - b - 3*b + 5*b. Let z be f(-8). Let t be (-1)/(-1 - (-8)/6). Is z > t?
False
Let c(j) = j - 1. Let d(m) = m**2 - 4*m + 3. Let q be d(4). Let l be c(q). Suppose 0 = -b + 1 - l. Which is smaller: b or -1/6?
b
Let q be 0/(0 - (-1 - 1)). Suppose 2*w - 5*w = q. Which is bigger: w or -2/3?
w
Let a = -1.6 - -1.7. Is 2/7 at most a?
False
Suppose -5*q + 4*c = -38, -2*c + 0*c = 4*q - 46. Let t be ((-2)/25)/((-2)/q). Is t at least 0?
True
Suppose -4*i + 3*x + 2*x + 23 = 0, -5*i + 3*x + 19 = 0. Suppose -k - 15 = i*q - 5, -5*q = -3*k + 25. Which is greater: k or -1/7?
k
Let l = 17 + -18. Which is bigger: 1 or l?
1
Let g be 1/(-4) + 93/84. Is 2 != g?
True
Suppose -3*l - 3 = -0. Let r be 1/(0 - 15/(-5)). Which is smaller: l or r?
l
Let k = -0.1 - 1.9. Let r = 4 - k. Which is smaller: r or -0.1?
-0.1
Suppose -5*x + 3*d + 8 + 22 = 0, -3*x - 2*d - 1 = 0. Suppose 0*j - j = -4. Suppose 3*n - 2 = 4*k - 5,