
True
Let z = -51 - -50. Which is greater: 1/8 or z?
1/8
Let w(b) = 1. Let j(z) = -z + 3. Let d(v) = j(v) - 4*w(v). Let q be d(-4). Suppose -6*g - q*y = -g - 2, -5*g = -3*y - 8. Which is greater: -2/7 or g?
g
Let f be (-1786)/(-105)*9/6. Let s = f - 129/5. Is 0 less than s?
False
Let q = 2.5 + -1.1. Let m = q + -1. Let c = m + -0.3. Do c and -2/13 have different values?
True
Let j = 215/13 + -16. Which is smaller: j or 2?
j
Let s = 23409/13 - 1803. Is -1 bigger than s?
True
Suppose p + 2*n - 64 = -21, 0 = -p - 5*n + 43. Is 41 bigger than p?
False
Let v(g) = g + 4. Let l be v(-10). Let m = -18 - l. Let k = m - -7. Which is bigger: -4 or k?
-4
Let q(y) = -y**3 - 9*y**2 + 9*y - 10. Let l(b) = b**2 - 7*b. Let c be l(5). Let t be q(c). Is 3 at most t?
False
Let z(c) = 3*c - 3. Let l be z(2). Suppose -h = -q + 3, -q - 4*q - l = h. Let f = -1 + 2. Is q > f?
False
Suppose 0*u - 3*m = -u - 8, -4*u = -m - 1. Let p(x) = x - 1 + 0*x - 2. Let z be p(0). Are u and z equal?
False
Suppose -4*a + 16 = c + c, -2*a - 4*c = -20. Let k = a - 9. Let s(l) = -8*l**2 + l. Let x be s(1). Is x greater than or equal to k?
True
Let x = 364 - 2554/7. Which is greater: -1 or x?
x
Let j = 20 - 15. Suppose 0 = -4*x + 21 - j. Which is greater: x or 7/2?
x
Let n(q) = -q**3 + 5*q**2 - 4*q - 2. Let f be n(4). Let x(l) = -8*l**2 - l. Let v be x(-3). Let t = v + 273/4. Is t greater than or equal to f?
True
Suppose 0 = -6*p + 2*p + 12. Is p greater than or equal to 5?
False
Let s = 2.057 + -0.057. Let f be 2/(-7) - 27/(-21). Which is smaller: f or s?
f
Let i = 21 + -15. Suppose 0 = -2*w + i*w + 8. Let u be w - (0 + 0) - -3. Do u and 2 have the same value?
False
Let u(o) = o**2 - 4*o + 6. Let p be u(2). Let y = 11 - 7. Let s be 11/9 - y/18. Does s = p?
False
Let h be 48/(-504) - (-4)/42. Which is greater: -2/15 or h?
h
Let g be (5/(-4))/((-1)/(-4)). Is g less than -4?
True
Let b = -6 - -76/13. Is b at least as big as -2/5?
True
Let x = -276 - -1935/7. Suppose 2*o = 2*i, 4 = -i + 5*i. Which is greater: x or o?
o
Let j = 12.6 + -9.62. Let g = 0.1 - 0.08. Let h = g + j. Which is smaller: 0.1 or h?
0.1
Let x be (-2)/(-3) - ((-16)/12 - 2). Let t(i) = -2*i - 1. Let j be t(-3). Which is smaller: x or j?
x
Let t be (2 + 0)/((-4)/12). Let d = t + 7. Are d and 0 non-equal?
True
Let l be (-9681)/3315 - 10/(-25). Let x = -32/13 - l. Which is bigger: x or 1?
1
Let f be 104/(-99) + 14/(-63). Which is greater: 0 or f?
0
Let p = 0.024 - -34.976. Which is bigger: p or -2?
p
Let b = 1 + -1. Let g(j) = j**2 - 7*j - 15. Let t(s) = -s**2 + 7*s + 14. Let n(a) = -6*g(a) - 7*t(a). Let u be n(8). Is u > b?
False
Let o be 2/(-3) - (-1)/1. Let d = -24 + 17. Let c = 7 + d. Which is smaller: c or o?
c
Let g be 1 - (2 - 0 - 6). Let n(l) = -l**3 + 6*l**2 - 7*l + 7. Let b be n(g). Let x = 4 - 8. Is b bigger than x?
True
Let a be 2/(-4) - (-2)/8. Let m = 11 - 13. Let h be (-9)/12 - m/(-8). Is h less than a?
True
Suppose 2 = -2*x + 6. Let z = 12 + -12. Is x at least z?
True
Let n = -6 + -1. Is -8 less than or equal to n?
True
Let j be (-71)/(-13)*(-2)/60. Let f = j + 1/65. Let k(s) = -s**3 + 3*s**2 + s - 4. Let w be k(3). Is f > w?
True
Let q = -5 + 5. Suppose -5*o = -5*m - 3*o + 80, -4*m + 64 = 2*o. Suppose 0 = 2*w + j - 4 - 0, -2*w + m = 4*j. Is q equal to w?
True
Let a = 391 - 21115/54. Which is bigger: a or 0?
0
Suppose 4*o + 0 = 20. Let g(z) = z - 9. Let f be g(o). Which is smaller: -1/2 or f?
f
Let i(h) = h**3 - 3*h**2 - h - 5. Let j be i(4). Let f = j + -4. Let a be f/(-3) + -2 + 2. Is 1 <= a?
False
Let z be (-22)/(-24) - 2/2. Let k(d) = -d**3 + 3*d + 1. Let m be k(2). Is z != m?
True
Suppose 5*j = j - 4*j. Is j at least as big as -58?
True
Let t(x) = -x**3 - 2*x**2 - 5*x - 3. Let g be t(-1). Which is smaller: g or 2/71?
2/71
Let v(o) = -o. Suppose -l - 3*l + 3*b - 17 = 0, 4*b = -4*l - 24. Let p be v(l). Which is smaller: p or 0.1?
0.1
Let a be (20 - 14)*(-3)/(-2). Is 9 less than or equal to a?
True
Let w = 0.03 + 0.27. Let a = 5.6 + -6. Let q = w + a. Which is bigger: q or 1/3?
1/3
Let r be (-4)/14 + (-12)/7. Let q be r/4 + (-3)/18. Which is greater: q or -2?
q
Let n be (-8)/(-156)*(7 + -1). Which is bigger: -1 or n?
n
Suppose 6 = -3*i + 6*i, -3*a - 2*i + 16 = 0. Let t be 8*1 - 4/a. Let y be 2/6 + t/(-3). Which is smaller: -1 or y?
y
Let f = -17 + 18. Is -4/15 greater than or equal to f?
False
Let l(f) = -2*f - 2. Let r be l(2). Let c(b) = -3*b + 2. Suppose 11 = 4*u - 1. Let g be c(u). Which is greater: g or r?
r
Let u(p) = p - 6. Let t be u(8). Is 4 less than t?
False
Let x be (-3*(-7)/(-28))/(51/(-10)). Is x at most 1?
True
Let c = 8 + -13. Let u be ((-5)/c)/((-7)/(-3)). Which is bigger: 0.2 or u?
u
Let t = -16.8 - -16.74. Let r = -0.3 + 0.1. Is r greater than t?
False
Let o(d) = d**2 - 7*d + 2. Let z be o(7). Let r = z - 2. Is 0 greater than r?
False
Let v(p) = -p + 1. Suppose -2*w = -6*w - 32. Let g be 36/10 + w/(-20). Let y be v(g). Are y and -2 nonequal?
True
Let h = 4403 + -26353/6. Let x = h + -226/21. Which is bigger: -1/3 or x?
x
Let n = -75 + 66. Is -1 <= n?
False
Let q = -9 - -9. Suppose -3*w - 2*r + 8 = q, 0 = 5*w + 4*r - 17 + 1. Which is smaller: -3/4 or w?
-3/4
Let h = 13 + -8. Let i = h + -3. Suppose -2*q + i = -3*q. Is q less than -1?
True
Let u = 0.12 - 0.12. Let y = 2 + -3. Which is smaller: u or y?
y
Suppose -4*o - 5*t - 45 = 23, t = -5*o - 85. Let p = -192 - o. Let n = -1223/7 - p. Is n greater than or equal to 4/7?
False
Let u = 52 + -54. Which is bigger: u or -10?
u
Let l = -18.1 + 19. Let h = 0.1 + l. Are 0 and h nonequal?
True
Let z = 2 - -2. Suppose 0 = 4*c - 8. Suppose 4*i = c*i + z. Which is greater: i or 1?
i
Let q(z) = z**3 + 3*z**2 - z. Let o be q(-3). Suppose 3*l + 0 - 15 = 0. Which is smaller: o or l?
o
Let m(b) = -b**2 - 3*b + 2. Let s be m(-3). Suppose a = -a - s. Let c be 1*(a - 4/(-5)). Which is smaller: c or 1?
c
Let h = 3344/13 - 257. Let c(p) = p + 4. Let w be c(-3). Is h < w?
True
Let d = 13 - 167/13. Is d != 0.1?
True
Let p = -152/7 + 22. Which is greater: 0.06 or p?
p
Let v be 3 - 1176/195 - -3. Let a be (-27)/(-18)*(-4)/(-6). Is v >= a?
False
Suppose -5*o = 3*q - 4*o - 17, 11 = 3*q - 2*o. Let r be (q/(-4))/(3/(-12)). Which is greater: r or 2?
r
Let y(v) = -v + 8. Let b be y(7). Suppose d = -b - 2. Let t be 1/(-1)*d/3. Which is smaller: t or 0?
0
Let x = -84 + 54. Let b be 15/(-6)*(-2)/x. Is -1 != b?
True
Let f be -1 + 3 - 16/10. Is 0 >= f?
False
Let v = -0.23 + 0.26. Which is smaller: v or 2?
v
Let i be (-663)/(-4) + 0 + -1. Let k(x) = -2*x**3 - 2*x**2 - 4. Let n be k(4). Let v = n + i. Is v greater than 2?
False
Suppose 7*k - 40 = 2*k. Suppose -2*d = 2*d - k. Suppose 6 = -d*m + 2. Is -1 at most as big as m?
False
Let j = -19 - -14. Is j > 2?
False
Suppose 0 = -v - 3*v + 20. Suppose 0 = -9*n + 4*n + v. Are n and 1 non-equal?
False
Let l(o) = 2*o - 17. Let d be l(10). Which is greater: -8 or d?
d
Suppose -h = -7*h + 6. Is 2/43 > h?
False
Let w = 0.004 + 5.096. Let j = 5 - w. Which is greater: j or -8?
j
Let c(x) = -7*x**2 + 1. Let w be c(-1). Suppose 0 = f - 2*f - 7. Is w <= f?
False
Let x = 33 + -35. Is x at most as big as -1?
True
Let g be -51 + (-9)/(3 - 0). Is g at least as big as -55?
True
Suppose 0 = 322*n - 318*n - 4. Let t be 1/(-2) - 11/(-14). Is t != n?
True
Let o(a) = -2*a + 1. Let z be o(-1). Suppose 2*p = 3*l - 1, l + 3*p + z = 18. Let u = l - 2. Are -1 and u nonequal?
True
Let q be 168/(-18)*(-3)/(-2). Let d be (q/(-91))/(2/2). Let w = -2 + 3. Which is smaller: d or w?
d
Let k be -1*12/4 - 3. Let o be -4 - (1 - 2/(-2)). Is o less than k?
False
Let i be 5*((-8)/(-20))/2. Is i < 2?
True
Let z = 57769/52 - 1111. Is -1 less than z?
True
Suppose 2*x + l = 5, -3*x - 4*l = -2*x + 8. Suppose -13 + 5 = x*d. Let b = 11/6 - 5/2. Which is smaller: d or b?
d
Let h = 141 + -84. Which is bigger: 59 or h?
59
Let t(l) = -l - 4. Let w be ((-2)/(-2))/((-5)/15). Let y be t(w). Let r be (-2)/(-6) + 22/(-12). Is y less than r?
False
Let d be 3/((-45)/(-50)) + -3. Is d greater than 1?
False
Let l = -5 - -7. Let t = 0.8 - 0.9. Which is smaller: t or l?
t
Let u = -2.3 + -1.1. Let r = u - -4.4. Let z(i) = -i**3 + 5*i**2 + 6*i - 5. Let y be z(6). Which is bigger: r or y?
r
Let t be 2/(-2)*(0 + 1). Let a be 2 - 4 - (0 - t). Suppose -3*v - 10 = 2*v. Which is smaller: a or v?
a