ch is greater: 8 or j?
8
Let q = 1500 + -1509. Which is smaller: 55 or q?
q
Let c(g) = 8*g - 5. Let r be c(2). Let q = r - 10. Let z be 4/22 - 141/231. Is q smaller than z?
False
Suppose 57 = 2*p + 13. Let y = p - 25. Which is greater: -6 or y?
y
Let o(g) = g**2 - 45*g - 42. Let k be o(39). Which is smaller: -277 or k?
-277
Let x = 20.1 - 20. Let u = 0.8 + -29.8. Which is smaller: x or u?
u
Suppose 4*b + 21 = -5*v, -4*b + 4*v = 2*v + 42. Let u be -1*3 - (6 + b). Suppose u = 5*d - 13*d - 16. Is d at most -0.03?
True
Let q = 118/9 + -6944/531. Suppose 0 = 2*l + 11*g - 13*g - 2, -4*l + 2 = -3*g. Is l equal to q?
False
Let z = 93869/11 + -8665. Which is bigger: -132 or z?
z
Let o(h) = -4 - 18 - 12 + 1 - 3*h. Let b be o(-6). Are b and 2/7 unequal?
True
Let w = -0.1 - -1.1. Let o = 6.4 + 31.6. Let i = -56 + o. Are i and w equal?
False
Let h = 176 - 177. Is -2.1 >= h?
False
Suppose 1276*z - 9 = 1285*z. Is 8/89 at least as big as z?
True
Let l be (-491)/(-17) + 4/34. Suppose -4*m + l = -4*b - 67, 2*b + 27 = -5*m. Is -20 bigger than b?
True
Let s(j) = -j**3 - 2*j**2 + 6*j + 5. Let y be s(-4). Let r(z) = -181*z - 1617. Let x be r(-9). Which is bigger: y or x?
y
Let q = -80 + 154. Let k = 288/5 + -58. Does q = k?
False
Let q = 3 + -4. Let x = 0.9 + q. Let w = 13476 - 13475.7. Which is smaller: w or x?
x
Let s be (16 - 14) + -1 + 9/(-7). Is 10 < s?
False
Suppose -1 = a - 4. Suppose -3*n + 0 = a. Is n less than -14/17?
True
Let n = -419 + 418. Which is smaller: n or 24/5?
n
Let t(m) = m**2 + m - 3. Let j be t(-4). Let o = 4 - j. Which is smaller: o or -29/6?
o
Let k = -5.12 + 0.12. Let s = 0.098 - 6.098. Let t = s - k. Is -4 less than t?
True
Let o = -12.58 - -12.58. Let k = -6.85 - -7. Let b = -0.1 + k. Which is greater: b or o?
b
Let n = 1/6073 - 18350/795563. Is 0.1 greater than or equal to n?
True
Let h = 42 - 39. Suppose 2*s + h*x = -0*x - 3, -3*s - 3*x = 0. Which is smaller: 1 or s?
1
Let f = 1.8 - -39.6. Does 0.1 = f?
False
Let t = 47.6 - 36. Let m = t - 12. Do m and -2/27 have the same value?
False
Let v be ((-2)/(-110))/(1/((-18)/15)). Are -1 and v equal?
False
Suppose 4*k + 5*n = 24, -4 = 4*k - 30*n + 28*n. Which is bigger: 1/866 or k?
k
Let w(u) = -u**3 - 4*u**2 + 4*u + 4. Let q be w(-4). Let h be (q/4 - 0) + 5. Let s be h/14 + (-8)/28. Is -1 >= s?
False
Let j = 2 + -1. Suppose -5*l + 4 = -j. Is 7/3 != l?
True
Let j = 15 + -44. Is -29 at least as big as j?
True
Let l = -20446/3 - -7142. Is 327 <= l?
False
Let x = 213 - 140. Let c = x - 67. Are c and 6 equal?
True
Let y = -10 - -7.4. Let i = 3.6 + y. Which is smaller: -3 or i?
-3
Let n = 2140 + -2140.2. Which is smaller: n or -877?
-877
Suppose -3*k - 13 = 2, -1 = 4*u - 3*k. Let q be 688/315 - (u - -5). Let n = q + 1/63. Is 1 greater than n?
False
Let d be (-11 + 10)/(6/4 + -2). Which is bigger: 0 or d?
d
Let a = -55.4 + 55.6. Let q = 2 + -3. Is a >= q?
True
Let l = -13/37827 + -28533998/491751. Let s = l - -175/3. Suppose -2*a - o + 7 = 11, 0 = 3*a - 4*o - 5. Which is greater: s or a?
s
Let k be (0 + 3)*(-9)/(-3). Let s be 1 + 12 - 6/1. Is s != k?
True
Suppose q + 9*f - 13*f + 79 = 0, -3*q + 5*f = 244. Is -82 < q?
False
Suppose 0 = q - 3*r + 6, 2*q - 5*r - 2 = -10. Let m be (q/51)/(-1) - (-161)/1513. Which is bigger: 1 or m?
1
Let t be ((-852)/884 + 1)*(-14)/28. Is 0 not equal to t?
True
Let v = -591 + 590.9. Let q = -1235/3 - -418. Let x = -103/12 + q. Is v smaller than x?
False
Let f(l) = -l - 5. Let v be f(-4). Let r(g) = 2*g**2 + 9*g + 9. Let p be r(-5). Let o be (7/p)/((-1)/3). Are o and v equal?
False
Let f = 20 + -35. Let j be f*(-6)/9*-1. Let x be -2*(39/j - -4). Which is smaller: x or -4/3?
-4/3
Let v = -3453213/785 + 4399. Which is bigger: v or 1?
1
Suppose 0 = -2*y + 3*y - 44. Suppose -o = o + y. Suppose 33 = -k - 5*i, 14 = -4*i + 6. Which is bigger: o or k?
o
Suppose 0 = -m - i + 6, -m - 11 = -4*m + 4*i. Which is smaller: 0.02 or m?
0.02
Let r(a) = a**2 + 23*a + 32. Let f be r(-22). Let l(p) = 3*p - 39. Let h be l(f). Is -26/3 smaller than h?
False
Let o(a) = -a**2 + 7*a - 6. Let v = -6 - -11. Let y be o(v). Suppose y*x = 3*x. Is x at least -2/19?
True
Suppose 0 = 13*a - 65*a - 6916. Is -133 at least as big as a?
True
Suppose m - 122 = 3*k, 4*m + k = 2*m + 216. Is m at least as big as 2?
True
Let t = -18 - -18.12. Let l = t - 0.12. Which is greater: 1 or l?
1
Let h(n) be the first derivative of 11*n**4/4 - 2*n**3/3 - n**2/2 + 10. Let w be h(-1). Suppose 5*z - 2*z = -39. Is z > w?
False
Let n = 3 - 1. Let o be 7/5*(-260)/(-455). Which is smaller: o or n?
o
Suppose 0 = t - 4*p - 1, 3*p - 29 = 3*t + 7*p. Let d(h) = 2*h + 16. Let i be d(t). Does 5 = i?
False
Suppose 0 = -5*q + 3*q + 2*k + 174, 0 = -5*q - 4*k + 417. Are q and 85 unequal?
False
Let c = -17 - -22. Suppose 5*n + 3*g - 11 = 4*g, -3*n - 2*g = -17. Are n and c equal?
False
Let t(j) = 9*j + 370. Let g be t(-41). Let u be -2 + (249/125 - 0). Are g and u non-equal?
True
Let s = 412 + -253. Is 160 greater than s?
True
Let q = 18 - 21. Let d be (4 + -5)/(q - -4). Let z = 67 + -468/7. Which is smaller: z or d?
d
Let f = 0.004 - -10.996. Let r = 248 - 249. Which is smaller: f or r?
r
Let o be -8*8 - (-1)/1. Let w = o + 95. Suppose w = 3*a - 6*a + 4*p, -4*a - 3*p = 1. Which is bigger: -3 or a?
-3
Let r = -1.0931 + 0.0931. Let t = -7/45 - -2/45. Which is greater: r or t?
t
Let y be 6/4*4/(-6). Suppose 10 = -3*q + 4, 0 = 4*u + 4*q + 4. Let x = y + u. Which is smaller: 2/3 or x?
x
Let m = 0 - -4. Suppose 23 - 15 = 2*d. Are d and m unequal?
False
Let w(o) = -3*o**2 - 167*o + 56. Let g be w(-56). Which is bigger: 13/34 or g?
13/34
Let g be ((-291)/(-194))/((-2)/(-168)). Which is greater: g or 121?
g
Let b be 3/5 + (-87)/(-15) - 2. Let w be -1 - (-5 + 1 + 1). Suppose 0 = -w*j - 2, 3*j - 1 = -4*g + 3*g. Which is smaller: g or b?
g
Let u = -0.29 - -1.25. Let o = 0.04 + u. Is o less than or equal to -0.1?
False
Suppose 0 = b + 2*x + 10, 0 = -7*b + 3*b - 2*x - 10. Let h be (1/8)/(22/(-524)) + 3. Which is bigger: b or h?
h
Let r = 257 - 249. Is -73 > r?
False
Let l = -200 + 194. Which is smaller: 3 or l?
l
Let m be ((-2764804)/1624)/((-3)/(-2)). Let p = m - -1135. Which is bigger: p or -1?
p
Let c = -4680/161 + 372109/9982. Let g = c - -9/31. Let q = g + -8. Is 0 smaller than q?
True
Let f be 24/(-36) - (-142)/6. Does 0.2 = f?
False
Let h = -0.1 - -0.3. Let s = 14 - 6. Suppose -12 = s*g - 4. Is h less than or equal to g?
False
Suppose 0 = 2*n - 104 + 18. Which is smaller: n or 44?
n
Let q(j) = 3*j**2 + 20*j + 28. Let i be q(-5). Is i at most as big as 44/13?
True
Suppose -4*o + 0*o + 8 = 0. Let n be ((-7)/o)/((-5)/10). Let u = 5 + 1. Is u at least as big as n?
False
Let s be 1 - (-3661)/(-28) - (-2)/4. Let i = 130 + s. Is i less than or equal to 0.05?
False
Let y = 1/13 + -19/78. Let b = -29 - -28. Is b greater than y?
False
Suppose 5*d - 39 = 2*d - t, d - 4*t = 0. Suppose 0*g - 3*g + 4*w = 17, -3*g - w = 7. Let y be (g - (-68)/d) + -2. Is y equal to -1?
False
Let a = 4.6 - 0.7. Let i = 1.9 - a. Which is smaller: i or 4?
i
Let f be (1 - (-12)/(-4))/(-2). Let n = 81/145 + 36/29. Which is smaller: n or f?
f
Let v be 3/(3/(-5))*-1. Let m = -1176 - -1176. Suppose -w - 15 = w + 3*i, m = -2*w + i + v. Which is bigger: 2 or w?
2
Let h be (-1304)/468 - -3 - (-12)/(-27). Is h bigger than 25?
False
Suppose 280 = -5*m + 9*m. Suppose -t - m = t. Is -36 smaller than t?
True
Let c = -30921/49 - -631. Let u be -4*2/40*-5. Which is greater: u or c?
u
Let r = 6.34 + -7. Let w = 0.34 - r. Which is smaller: w or -21?
-21
Let w = -3/266 + -5/38. Let g = -0.2 + 0.6. Which is greater: w or g?
g
Let r = -5.22 - -7.22. Which is smaller: r or -11/7?
-11/7
Let n be (-10)/15 + (-2)/(-3). Suppose 0 = -2*d - 2*y + 20, 0*y - 5 = -d - 2*y. Let u be (-24)/d*1 + 3/5. Is u <= n?
True
Suppose 5*r + 27 = 187. Let s = -24 + r. Is 9 at least as big as s?
True
Suppose 0 = 37*s + 2896 - 2563. Suppose -4*m + 4*y - 13 - 23 = 0, 15 = -m + 4*y. Is s bigger than m?
False
Let d = -13 + 9. Let l be (2794/(-138))/(630/(-81)). Let x = 1/322 - l. Which is smaller: x or d?
d
Let v = 42 - 41. Let a be v - (-1)/((-2)/(-4)). Which is smaller: 4 or a?
a
Let b = -5 + 16. Let r = 13 - b. Suppose 0 = -3*k + 2*z - 11, 19 = -3*k + 2*z + r*z. Which is greater: k or 0?
0
Let l be 24/11 - 2/11. Suppose 