h is greater: w or 2?
2
Let c = 56 - 64. Which is greater: -12 or c?
c
Let g = 8 - 7. Let q(r) = 2*r - 4. Let p be q(3). Is g bigger than p?
False
Let x = -10 + 11. Is -1 equal to x?
False
Let v be 12/8 + (-3)/6. Is v greater than or equal to -2/79?
True
Let z be 0 + -1 + (-3)/(-3). Let m be (-36)/(-28) - (z - -1). Which is bigger: -1 or m?
m
Let a = -1/2 + 3. Let m(l) = -l**2 + 10*l - 8. Let s be m(9). Let r be 0/1 - -3 - s. Which is smaller: a or r?
r
Suppose 2*i = -3 + 15. Suppose t - i + 2 = -2*l, -2*t = -4*l + 24. Does t = -5?
False
Suppose -8*n = -5*n. Let r be -1 + n*4/(-8). Is r less than or equal to 1/21?
True
Let z(j) = -2*j**2 + 3*j. Let b(f) = -f**2 + 2*f - 1. Let c(m) = -3*b(m) + 2*z(m). Let l be c(3). Is l < -8?
False
Let g be 40/(-255)*(-6)/8. Which is bigger: g or 0?
g
Let q = 0 + 4. Let z = -5 + 2. Let s = q + z. Is s smaller than 0.2?
False
Let w be (-57)/18 + 1 + 2. Which is smaller: w or 0?
w
Suppose -3*i - j = j - 6, -2*i + 4 = j. Suppose i = -r + 1. Is r smaller than -1/31?
True
Let j be (16/(-680))/(14/28411). Let n = j - -995/21. Let t = -4/17 - n. Is t greater than or equal to -1?
True
Let l = -173 + 168. Suppose 2*c = -3*f - 2*c + 15, 10 = 2*f - 2*c. Suppose -4*h - 3*i + 3 = 0, -5*i + 44 = -f*h + 4. Which is bigger: l or h?
h
Let d = 101/4 - 25. Which is bigger: d or -1?
d
Let m = -3 + 4. Let g = m + 1. Let h = 10 + -11. Is h greater than or equal to g?
False
Let p(s) = 3*s. Let z be p(4). Let i = -3 + z. Let w = 9 - i. Which is greater: w or -0.1?
w
Suppose 4*p - 3*n - 32 = 0, -3*p + 0*n + 19 = -n. Suppose -p*b - 4*c = -22, -b + 3*c - 5 = b. Is b smaller than 1?
False
Suppose -7 = 4*f - m, -2*f + 4*m - 17 = 3*f. Are f and -1/5 equal?
False
Suppose 17*a - 60 = 2*a. Let n = 0 + 5. Which is smaller: a or n?
a
Suppose -3*d = 2*l + 17, -3*l - l - d = 19. Let b = l - 2. Which is greater: b or -7?
b
Let x be (1*(-3 - 0))/28. Suppose 3*v + 12 = -2*l, 4*l + 4 = 2*v + 12. Which is smaller: x or l?
x
Let r be ((-1)/3)/((-2)/(-3)). Suppose 0 = 7*w - 15*w. Is r at most w?
True
Let q be (-6)/10 - (-26)/(-40). Does q = -2?
False
Let m be (12/(-15))/(4/(-150)). Suppose -22 - 62 = -5*p - 3*f, -3*p = -5*f - m. Let j be p/6*4/(-25). Which is bigger: j or -1?
j
Let r be ((-2)/3)/(104/(-24324)). Let c = -156 + r. Which is smaller: 1 or c?
c
Let f(a) = 3*a - 50. Let z be f(16). Which is smaller: -24 or z?
-24
Suppose 0 = 4*w + 5*l - 0*l - 7, -5 = 5*l. Is w at least 11/3?
False
Suppose 2*n + 4 = -0. Suppose -3*y + 10 = -5*y. Let p be 26/(-40) - (-3)/y. Which is smaller: n or p?
n
Suppose -o + 22 = 5*v, 3*v - 6 + 0 = 3*o. Suppose -12 = a - 5*k, -3*a + v = -a + 4*k. Which is greater: -5/2 or a?
a
Suppose -s = -3*o + 4*o - 7, 4*o + 53 = 5*s. Suppose -s = 4*x - 1. Is x bigger than -1/4?
False
Suppose 0*u = 5*u - 25. Suppose 0 = 5*h + u + 10. Which is smaller: -4 or h?
-4
Let b(g) = g**2 - 4*g + 1. Let h be b(4). Let p = -1 + h. Suppose p = -t + 3*t. Is -2 at most as big as t?
True
Let r be 2/9 + 274/(-18). Let t be 6/(-45)*r/(-12). Is t at most 0?
True
Let x(k) = -2*k**3 - 2*k**2 + k. Let w be x(1). Let v = -11 - -7. Which is smaller: w or v?
v
Let s = 2.97 - -0.03. Let h = 96.9 + -93. Let r = -4 + h. Is s < r?
False
Suppose -5*c = -10*c - 5. Is c less than -12/5?
False
Let v = 156 - 162. Is -0.2 greater than v?
True
Suppose 3*z + 3 = 6*z. Let n be 1/(-2)*z/2. Which is smaller: -1 or n?
-1
Let s = 5 - 5. Let u = s + 3. Let g be (0 + 0)/(-4 + u). Which is greater: -1 or g?
g
Suppose 0 = -0*p + 5*p - 4*n - 6, 2 = 2*p - 2*n. Suppose -2*v - 8 = p*l, -5*l + l - 19 = 5*v. Let i be l/(-2)*50/5. Is 3 bigger than i?
False
Suppose 0 = u - j + 12, -4*j = -0*u + 4*u + 8. Let v = 2.6 + -3.6. Which is smaller: u or v?
u
Let y = -65/2 + 31. Suppose a - 5 = 0, 2*g = -g - a + 2. Is g > y?
True
Let l = 2/105 - 52/105. Which is smaller: l or -1?
-1
Let y(c) = -c - 7. Let h be y(-8). Let b = -6 + h. Are -5 and b nonequal?
False
Let i(b) = 3*b - 7. Let c be i(3). Let s = c - 2. Which is smaller: s or -7/6?
-7/6
Let n(t) = 5*t**2 + t - 3. Let r(c) = -14*c**2 - 4*c + 9. Let w(u) = -17*n(u) - 6*r(u). Let o be w(6). Let d be (-3)/(o/((-3)/1)). Which is smaller: d or 2?
2
Suppose 5*q - c = -10, 4*q + 3*c = 2*c - 17. Let g = -463/21 + 67/3. Which is greater: q or g?
g
Let q = 9 - 5. Let c be q/(0 - 2)*1. Are -5/2 and c unequal?
True
Let u be (0 - 1) + 15/1. Let z be -2 + 3 + (-16)/u. Suppose 2*k + 0*k = -2. Is z <= k?
False
Let x = -36 + 31. Which is bigger: x or -6?
x
Let s be (-5)/(-2) + (-1)/2. Let q(g) = g**3 - g**2 - 2. Let r be q(2). Does r = s?
True
Let w = -41.7 - -43. Is w bigger than 0?
True
Let t = 33 + -31. Is t > -0.11?
True
Let p = -226 + 2036/9. Let f = p - -1/36. Which is smaller: 2 or f?
f
Let s(i) = i**2 + 6*i + 7. Let p be s(-6). Let x(h) = -h + 7. Let m be x(p). Suppose -z + 3 = n, n + z = 3*n + 3. Is m < n?
False
Suppose 1 = 2*y + 3, 2*q = 5*y + 11. Suppose 0 = -2*o - 3*w - 5, -4*o - q*w = -2 + 9. Which is smaller: -3/2 or o?
-3/2
Let c(g) = -2*g + 1 + g - 3 - 4. Let x be c(-5). Let v = -1 - x. Which is greater: 2/21 or v?
2/21
Let p(h) = -h - 11. Let z be p(-11). Suppose z = m - 5*m - 16. Which is smaller: 0 or m?
m
Suppose -4*n - 38 = -14. Let h be (n/8)/(3/(-24)). Let f be 4/h*(-9)/6. Is -2/11 equal to f?
False
Let o be -3 + -2 - (-85)/17. Which is smaller: 1/56 or o?
o
Suppose 15 = d - 3. Suppose -5*l - j + 34 = 0, -3*j - d = -3*l + 6. Is l at most 8?
True
Suppose 3*j = 2*g + 3, 0 = -j - 9*g + 4*g + 18. Let t be (-18)/(-8)*3090/(-18). Let p = -384 - t. Which is greater: p or j?
j
Let y = -30.3 - -29. Which is smaller: 1/4 or y?
y
Suppose -i + 8441 = 5*m - 0*i, -2*i - 6764 = -4*m. Let z = -116539/69 + m. Is -1 greater than or equal to z?
False
Let z be 14/((-7)/(14/(-4))). Let w be 1*1/((-12)/8). Which is smaller: w or z?
w
Suppose -10 = -5*w + 2*s, -2*w + 6 = w + 2*s. Let l be w/1 + 0/2. Let t be (-2 + 6)/(1 - l). Is -3 <= t?
False
Let x = -69/22 + 81/22. Is x equal to 1?
False
Let s be 18 + 0/(0 - 2). Suppose 4*b - 5*p - 11 = 0, 3*b + s = -0*p - 5*p. Let r = 247/1177 - 3/107. Is b at least r?
False
Let c be 1/(2 + (-3 - 0)). Suppose -2*t - 4 = 4. Let j = 3 + t. Is c >= j?
True
Suppose -4*i - 13 = 4*o + 55, 0 = -3*i - 2*o - 52. Let j = -27 - i. Let h be -1 - 0 - j/7. Is 4 greater than or equal to h?
True
Let h = -9 + 9.76. Let b = -0.24 - h. Are -0.4 and b unequal?
True
Let z = -1.2 - 3.3. Let k = z + -0.5. Let r = k + 4.9. Which is smaller: -2/3 or r?
-2/3
Suppose -2*n - 13 = 7. Let z = n - -8. Which is greater: z or -0.4?
-0.4
Suppose 3 = 3*o + 5*t + 6, -6 = -3*o - 2*t. Suppose -4*k + 3 = -5*z, -o*z + 3*k + 14 = 8*k. Is z at most 4?
True
Suppose 0*t - 2*t + 21 = 3*y, 0 = 5*y - 3*t - 16. Let c be 2*y*(-6)/(-75). Is c <= 0?
False
Let f(o) = 4*o**3 + o**2 + 6*o - 1. Let c(l) = 5*l**3 + l**2 + 7*l - 1. Let t(n) = -5*c(n) + 6*f(n). Let p be t(1). Let a = -1 - p. Which is bigger: -2 or a?
a
Let s(n) = 2*n - 7. Let j be s(6). Suppose j = 4*o + 25. Which is bigger: -6 or o?
o
Let h be 8/(-16) - (-107)/180. Let x = 1/60 + h. Which is bigger: -1 or x?
x
Let l = 0.04 - 0.44. Let g = 5 + -4.7. Let b = g + l. Which is bigger: b or -2?
b
Let u be (24/(-10))/((-156)/(-150)). Are -3 and u unequal?
True
Suppose 3*w = -2*u - 1, -2*w + 8 = 4*u - 6*w. Let i be -1 - (1 - 2*2). Let h be 1/(-6)*(-9)/i. Do u and h have different values?
True
Let u = -0.37 - 14.63. Let k = u + 20. Are k and 0.2 non-equal?
True
Let a = -60 + 87. Is a at most as big as 27?
True
Let x = -79/2838 - 14/129. Is x less than 1?
True
Let f be -1 - (-2 + 4 - 1). Suppose -22 - 5 = 4*g + 5*z, 2*z = g + 10. Let y be (-2)/4 + (-4)/g. Which is smaller: y or f?
f
Let g = -9 - -19. Which is greater: 0.1 or g?
g
Let n be 1/1 - (-10)/(-11). Let u be 0 + 27*-1 + -4. Let m = u + 123/4. Which is greater: n or m?
n
Let i(m) = -m + 5. Let h be i(0). Suppose 2*k + 1 = 7*f - 2*f, -2*f + h*k = 8. Which is smaller: 2/5 or f?
2/5
Let i = -9521501/115 + 82795. Let z = -6/23 - i. Suppose 4*j + j = 0. Is j equal to z?
False
Suppose 5*c = 3*c - 4. Let v be ((-34)/16 - c)*6. Is v equal to -1?
False
Let a be (68/60)/((-292)/(-50)). Let y = a - 2/73. Suppose -3*v = 3*s - 5 - 7, 0 = 5*v + 3*s - 14. Is v != y?
True
Let f = -267.93 + 269. Let l = 0.07 - f. Which is smaller: 0.09 or l?
l
Let z(c) = c + 1 - 2 + 1 - c**2