 Let x be (-1 - 0)*(-14)/2. Let b be (x/14)/(1/(-8)). Is z > b?
True
Suppose -4*x + j + 15 - 3 = 0, 0 = -2*x - 4*j + 6. Suppose -x*n - 5*o - 6 - 2 = 0, o - 2 = 3*n. Is n at most as big as 2/9?
True
Let m(w) = -w**2 - 6*w. Let i be m(-7). Let n be i/15 - (-40)/50. Let o = 3.95 + 0.05. Which is smaller: n or o?
n
Let x be 6/(-9) - (-40)/6. Suppose -8 = -a + 2*o, 0 = 4*a - 4*o - 16 - 12. Is a less than x?
False
Suppose 2 = 4*t + 34. Let r be ((-2)/(-4))/(1/t). Are -4 and r equal?
True
Suppose 4*x + 9 = 3*u, 0*u + 4*u = -4*x + 12. Is x equal to -3?
False
Let r = 12 - 17. Let i(s) = s + 5. Let o be i(r). Which is greater: o or -6/7?
o
Let c(i) = -i**3 + 6*i**2 + 7*i - 4. Let p be c(7). Let b = 13 - 5. Let t = b - 11. Is p != t?
True
Let a be (6/(-8))/(81/(-48)). Let c = -2 - -2. Is c <= a?
True
Suppose 2*j = 8 - 4. Let d be 18/(-2 + 0) + j. Let c(u) = -u**2 - 6*u + 7. Let p be c(d). Is 2/13 equal to p?
False
Let h = -48 - -50. Is 2 at most as big as h?
True
Let k be -1*(-2)/9 + (-3520)/12276. Which is smaller: 0 or k?
k
Let b be (-3)/(-6) - (-1)/(-2). Let j be ((-2)/(-8))/((-9)/(-12)). Is j at most b?
False
Let o = 4 - 7. Let z be ((-6)/14)/((-4)/(-14)). Is o bigger than z?
False
Let a = 11 - 7. Let r = a - 5. Let j = 41/3 - 13. Is j at most as big as r?
False
Let w(s) = -s**3 + 9*s**2 - 7*s - 3. Let n be w(8). Suppose -n*o - 28 = -3*m, -2*m + m = -4*o - 21. Let u be 4/10 - 63/120. Which is smaller: u or m?
u
Let g = 25 + -24. Is -2/5 < g?
True
Let g(b) = b**2 - 9*b + 2. Let w be g(7). Let c be (-21)/(-25)*w/(-14). Let a = 176/175 - c. Do a and -1 have the same value?
False
Let b = -4 - -12. Suppose b = -0*j - 4*j. Is j < -10/9?
True
Let b = 3.1 - 3. Let o = -1.93 + -0.07. Which is bigger: o or b?
b
Let n(b) = b**3 - b**2 - b + 2. Let w be n(0). Suppose 0 = 4*v - w*v - 4. Suppose 7 = -5*y + v*d, 5*d = 3*d + 2. Is -2 >= y?
False
Let v = 0 - 1. Is v greater than -2?
True
Let h = 190466/123 - 4148/41. Let i = h + -1491. Let k = i - -44. Is -2 > k?
False
Let z be (8/(-6) - -3) + -1. Let o be ((-1)/2)/(3/(-6)). Does o = z?
False
Let s = 0.6 - -3.4. Let h = -17 - -12. Let z = h + s. Is z less than 1?
True
Let y = 0.15 - 0.21. Does -4 = y?
False
Suppose 0 = 2*z + 4*u + 4, 0*u - 5*u + 15 = 0. Are z and -10 unequal?
True
Let k(n) = -8*n**2 - 1. Let u be k(-1). Let z be (0 + -2)/(u/1). Let i be (-2)/6 - (-2 - -2). Do z and i have the same value?
False
Let m = -5 + 2. Let q = -2 - -1. Let w = m - q. Is 0 not equal to w?
True
Let s be 2 - ((-1246)/(-16) + 1). Let p = s - -77. Which is greater: p or -1?
p
Suppose u = -4*p - 32, -5*p = -4*u - 281 + 69. Is -47 smaller than u?
False
Let l = -0.24 - -14.24. Let k = 8 - l. Which is smaller: -1 or k?
k
Suppose -4*t = -d - 15, 2 = 2*t - 3*d - 3. Let w = -6 + -3. Let m = 14 + w. Is m less than t?
False
Suppose 1 = -4*s + 9. Suppose -4 = -m + c, -4*c + 5*c - 5 = -2*m. Suppose -d - m + s = 0. Is d at least as big as -2/7?
False
Let h = 245 - 116. Let y = h + -648/5. Which is smaller: -2 or y?
-2
Let p = -2.78 - 15.12. Let w = p + 18. Which is smaller: w or 1/2?
w
Let o = -6 + -6. Does 0.1 = o?
False
Let f = 3 - 2.8. Let g = -0.3 + f. Let n = -2/209 - 36/209. Which is smaller: g or n?
n
Suppose -l + 4 = 0, 0*f - l = 5*f - 14. Let i(r) = -4*r + 3. Let u be i(f). Is u at most -6?
False
Let o(v) = v - 5. Let h be o(4). Which is bigger: 3/20 or h?
3/20
Let t = -37/18 - -1033/450. Are t and -1 unequal?
True
Let h = 1531759/11 - 139453. Let q = -202 - h. Is 0 less than q?
True
Let f = -1 + -1. Let l = f + 1. Let i = 4.8 - 5. Which is smaller: l or i?
l
Let x(m) = m**2 - 5*m - 4. Let i be x(-5). Which is bigger: -0.1 or i?
i
Suppose -c - 16 = 5*g, 6*c + 5 = c. Which is bigger: g or -4?
g
Let d = -398/3 - -2029/15. Which is bigger: d or 2?
d
Let y = 0 + 4. Let a = y + -6. Which is smaller: -3/5 or a?
a
Let n be (1 - (2 + -3)) + -2. Suppose 6*i - 20 = i + 5*m, -4 = m. Suppose 0 = -i*d - 3*d. Are d and n equal?
True
Let t(y) = 11*y + 2. Let m be t(-2). Let r be (-4)/(-6) + m/18. Is r less than 1?
True
Suppose 3*v = 2*c + 4, -2*c - 3 = -2*v + 3. Let g = 3 + c. Let j be (-16)/(-44)*g/4. Which is smaller: -1 or j?
-1
Let l = -47 - -58. Which is greater: 13 or l?
13
Let n(v) = v**2 - 5*v + 4. Let p be n(4). Suppose 4*r + p*r + 192 = 0. Let q = r - -338/7. Is q < 0?
False
Let c = 329/2 - 168. Suppose -16*h = -12*h + 20. Which is bigger: c or h?
c
Let a = -2.8 + 3. Which is bigger: -1/8 or a?
a
Let z(y) = -y**3 - 5*y**2 + 18*y - 3. Let f be z(-7). Is -30 < f?
False
Suppose 2*s + m = -3*m + 18, 0 = -4*m + 12. Let c = 0.13 + -0.23. Let t = 0.2 + c. Which is bigger: t or s?
s
Suppose 2*f - 4*f = x - 60, 4*x = -f + 275. Is 70 not equal to x?
False
Suppose 2 + 2 = 2*w. Let h(f) = f**2 - 3*f + 1. Let x be h(w). Which is bigger: x or 2/13?
2/13
Let k = 5.3 + -6.34. Let t = k + 1. Let u = 0.1 - 1.1. Is t less than u?
False
Suppose 0 = -0*c - 4*c + 28. Suppose -c = 2*r + 35. Let s be 3/(-2)*2/r. Which is smaller: 1 or s?
s
Suppose 0 = o - 5*z + 87 + 32, 2*z = -6. Let h = -936/7 - o. Let n be (1/(-1))/(0 + 1). Which is greater: h or n?
h
Let z = 0.37 + 0.03. Suppose -4*p - 20 = -5*r, 0*r + 2*p + 10 = -r. Which is greater: r or z?
z
Let y = -3 - 0. Let t(j) = -j**3 - 3*j**2 + 3. Let q be t(y). Suppose u - q*a = 5*u + 6, -u - 2*a = 4. Is u bigger than 2/13?
False
Suppose 6*v - 2 = 4. Let s = -1 - v. Which is bigger: 0.06 or s?
0.06
Let m = 14 + -25. Let y(f) = -f**2 - 10*f + 15. Let i be y(m). Suppose -5*l - 17 = -3*p, -i*l - 14 = 3*p + 5. Which is smaller: p or -1/5?
p
Let k = -11.1 - -11. Are -4/13 and k nonequal?
True
Let r(t) = 386*t**2. Let x be r(1). Let i = 787/2 - x. Let g = i - 7. Is 0 <= g?
True
Let p = -8 - -24. Let z(j) = -j**3 + 16*j**2 + j - 3. Let m be z(p). Do m and 14 have the same value?
False
Let d = -6/47 - -71/188. Which is bigger: d or 0?
d
Let m = 12.06 - 0.06. Let p = 8 - m. Which is greater: -0.2 or p?
-0.2
Let l be -3*1 + (3 - 0). Let q = 3637/8 + -454. Which is smaller: q or l?
l
Let a(s) = -s**3 + 5*s**2 - s + 1. Let y be a(4). Suppose 3*o + 7 = z, 0*z + 3*z - y = 5*o. Let c be z*2*2/12. Which is greater: c or -2/9?
c
Let y(c) = -c**2 - 4*c + 6. Let m be y(-7). Let n = -3 - m. Let k be (1/(-3))/(n/(-9)). Which is smaller: 0 or k?
0
Suppose 3*d + 4*j + 4 = -d, 0 = -5*d - 2*j + 4. Let h be (-22)/12 + 1/d. Is h equal to 1?
False
Let b = -0.31 + 0.61. Is b != 5?
True
Let o be (-9)/(-252) - (-2)/(-7). Which is greater: 0 or o?
0
Let t be ((-4)/(-90))/((-5)/275). Does -1 = t?
False
Let m = 13 + -11. Suppose m*t - 27 = 25. Which is greater: 25 or t?
t
Let u be -1*1*2*(-5)/(-10). Which is smaller: -3/5 or u?
u
Let r(i) = -i**2 + 6*i + 30. Let n be r(12). Which is greater: n or -43?
n
Suppose -3*k + 12 = 3*v, 4*k - 3*v - 12 = -6*v. Is k <= -1?
False
Let c = 13 - 10. Let j = 115 + -119.9. Let p = 5 + j. Is p equal to c?
False
Let f = -5 - -23. Let v be (-27)/f*2/(-3). Which is smaller: v or 0?
0
Let b = -248 + 2730/11. Suppose -5 = 6*i - i. Which is greater: b or i?
b
Let l(z) = z**2 + 13*z + 14. Let i be l(-10). Which is greater: -65/4 or i?
i
Let c = -2.6 - -1.6. Which is bigger: c or 4/3?
4/3
Suppose 3*c - 2 - 1 = 0. Let w = c - 0. Is w at most as big as -1/3?
False
Let z = -15 - -14.9. Let v = -1.1 - z. Which is smaller: v or 0.3?
v
Let x = 8 + -6. Let n = -8 + 4. Which is smaller: n or x?
n
Let h(q) = 3*q + 2 - 4*q + 0*q + q**3 + 2*q**2 - q. Let z be h(-3). Which is bigger: -1/8 or z?
-1/8
Suppose -6*n + 4*n - 2*p - 8 = 0, -n + 5*p + 20 = 0. Let l be 3*(-1)/((-2)/12). Let c be 1/(-4) + l/40. Which is smaller: c or n?
n
Let j = -16 - -17.2. Let o = -0.3 + j. Let q = -0.1 - o. Which is greater: -3 or q?
q
Suppose -9 + 99 = 5*w. Is 17 at most w?
True
Let w be (-1)/(-3)*(14 + 1). Suppose -3*i + 8 = i. Suppose -i*f + 2*b - 4*b = -4, 4 = w*f - b. Is 3 >= f?
True
Suppose -9 = y - 9. Is y smaller than 0?
False
Let g = 3004/91 - 230/7. Which is bigger: 0 or g?
g
Let i = 4 + -2. Let v = -14 - -15.1. Let x = v + -1. Which is smaller: i or x?
x
Let r = 11 + -6. Suppose -r*k + 7 = -2*u, -3*u + 1 = -k - 8. Does 2 = k?
False
Suppose 2*j - 8 = -h + 5, 2*j + 2*h = 16. Suppose 0 = -2*g - 7 - j. Is g at least as big as -6?
True
Suppose 162 + 130 = 4*x. Which is greater: x or 74?
74
Let p(y) = -y + 3. Let i be p(0). Suppose -29 = i*f + 52. L