ch is greater: y or -8/5?
y
Let s = -19.9 - -19.96. Which is smaller: 7 or s?
s
Let s = -220 - -210.9. Let o = s + 9. Which is greater: -1 or o?
o
Suppose 3*y - 5*u = -0*y + 34, 5*y + 5 = -4*u. Suppose 5*i + b - 15 = 0, -b + 1 - 6 = 0. Suppose -2*q = -i - 0. Is y equal to q?
False
Let a = 0.5 - 0.22. Let i = 7.28 - a. Which is smaller: 0.3 or i?
0.3
Let r(n) = -4*n**2 + 12*n - 6. Let x(h) = -11*h**2 + 37*h - 19. Let f(j) = 8*r(j) - 3*x(j). Let z be f(15). Which is bigger: z or 6?
z
Let r = 4.94 + -5. Let d = r + 0.01. Is -2 > d?
False
Suppose -2*m + 23 = 5*l, -263*m + 264*m + 3*l - 13 = 0. Let u = 9 + -6. Is m greater than u?
True
Let k(o) = -o**2 - 32*o + 64. Let v be k(-34). Which is smaller: -39 or v?
-39
Let a = -745/54843 - -2/543. Let z(c) = c**3 + 11*c**2 + 11*c + 9. Let n be z(-10). Which is smaller: a or n?
n
Let y be (-9)/17*(-6)/(-9). Let v be 5/((-20)/(-28)) - 7. Which is greater: v or y?
v
Let i(q) = q**2 + 8*q + 10. Let t be i(-7). Let d be 0 + (5 - 1 - t). Let p be (((-1)/4)/d)/(-1). Which is smaller: p or -5?
-5
Let z be (-2)/102*12/124. Let m = -15797/6851 + z. Which is smaller: -2 or m?
m
Let g(h) = -h**3 - 5*h**2 + 6*h + 4. Let m be g(-6). Let j = -46 + m. Let b be (-5)/(-35) - (-34)/j. Which is smaller: b or -1?
-1
Suppose -13*q + 1441 + 5189 = 0. Is 509 bigger than q?
False
Let w = -493 + 126. Let d = w + 6245/17. Which is smaller: -1 or d?
-1
Suppose 0 = -3*x + 3 + 3. Suppose 5*i = -3*v + x*i - 15, i = -5. Suppose v = 4*f + 18 - 14. Is -1 less than f?
False
Let o be (-1)/4*(-4)/(-6). Let f be 1 + (-76)/68 - (-133)/119. Are o and f equal?
False
Suppose -7*n + 3*n - 5*i = 762, -5*i - 10 = 0. Is n at least as big as -184?
False
Let x be (590/35 + (-1)/(-7))*-10. Let y be (x/35 + 4)*7. Is -1 < y?
False
Let v = 108 + -56. Let j = v + -51. Which is greater: -1/2 or j?
j
Let r(y) = y**2 + 15*y + 3. Let d be r(11). Is d != 291?
True
Let z = -4849/6 + 803. Let y = z + 143/30. Do -3/10 and y have the same value?
False
Let v = 0.8256 - -0.0744. Is -0.1 smaller than v?
True
Let a = -900.9 - -901. Do a and 250 have different values?
True
Let m = -1777 - -76405/43. Does 0 = m?
False
Suppose -48*m + 61*m + 52 = 0. Which is smaller: m or -171?
-171
Let r = 117 + -113. Suppose 3*w = 5*l + 27, -7*l - 19 = -2*w - r*l. Is w > 14?
False
Let h(z) = 52*z - 25. Let k be h(4). Is 184 >= k?
True
Suppose -72 = -u + 10*u. Is -23 less than u?
True
Let u = 356780/7 + -101045/2. Let p = u + -881/2. Which is smaller: p or 5?
5
Let m be ((-1)/(-4)*-1)/((-1972)/(-51)). Which is greater: m or 1?
1
Let m = 0 - -1.3. Let u = 1.3 - m. Let l = 2073/14 - 148. Which is smaller: u or l?
u
Let y = 2 + 4. Let w = -23 + 27. Suppose -x = -h - w, 3*h = -0*h. Is x less than or equal to y?
True
Let t = 411 - 411. Which is greater: -21/34 or t?
t
Let p = -7477 - -2594521/347. Which is greater: p or 0?
p
Let r = 104 + -101.12. Let n = 9.78 + -9.9. Let p = n - r. Is p less than 0.4?
True
Suppose 3*l = -3*z - 387, -l = -4*l - 4*z - 390. Let b be (44/l)/((-17)/(-192)). Let m = b + 82/21. Which is greater: m or 0?
0
Let r be 8/(-16)*1*8. Is 7 at least r?
True
Let c(k) = k**2 - 7*k + 9. Let w be c(6). Let o be 10/w - 16/4. Is o greater than -1/2?
False
Let q(j) = -j**3 + 2*j - 4. Let v be q(0). Let f(z) = -z**3 - 3*z**2 + 5*z + 8. Let s be f(v). Let g(l) = -2*l - 4. Let r be g(-3). Which is greater: s or r?
s
Let z = 68 - 66. Suppose z*c = 3*r + 26, -3*r + 19 = 4*c + 3. Let v = -1 + 7. Is c greater than v?
True
Let n = -20 - -18.9. Let l = -23.9 + n. Let h = l - -24.6. Are 1 and h non-equal?
True
Let r(g) be the second derivative of g**4/12 + 7*g**3/6 - 3*g**2/2 - 6*g. Let s be r(-9). Let a be ((-8)/5)/((-3)/s). Is 8 < a?
False
Let g = 3.9 - 3.89. Let y = 0.09 + g. Is 3 smaller than y?
False
Let o be (3 + -2)*(-49)/(735/450). Is -271/9 less than o?
True
Let p(j) = j**3 - j**2 + 6*j + 7. Let l be p(-1). Does -15/49 = l?
False
Suppose -37 - 60 = -4*s + i, 0 = -3*i - 3. Let t be (s/(-7))/(-4) - 1. Is -1 at least as big as t?
False
Let i = 4.9 + -5. Let h = 404 + -397. Which is smaller: h or i?
i
Let v be 4/14 + (-142)/350. Let z = -30 + 30. Which is smaller: v or z?
v
Let z = -28 - -22. Let a be z/15 - (-318)/770. Which is smaller: a or -1?
-1
Suppose -2*v - 396 = -w - 4*w, 0 = w + 5*v - 63. Let n be w/65*(-10)/(-18). Which is smaller: n or 51?
n
Let t = -2403 + 2452. Which is smaller: t or -1?
-1
Let y(n) = -28*n - 511. Let v be y(-18). Let d be (-2)/(-6) + 32/(-6). Is v != d?
True
Let b(f) = -f**3 + 2*f**2 + 3*f. Suppose 4*z + 2 = -6. Let w be b(z). Let c be w/6*(-6)/12. Is c at most 1/2?
True
Let i(v) = v**2 - 14*v + 9. Let g be i(13). Let x be (g/4)/(-1) + 3. Suppose -2*l + 16 = -x*l. Is 2/7 less than or equal to l?
False
Let r(o) = 4*o + 12. Let l be r(-7). Let z = l - 0. Let y = z - -15. Are -3/11 and y equal?
False
Suppose 7 = 39*g - 32*g. Is g smaller than -16/35?
False
Let i be (11 - ((-9)/(-3) - 8))/2. Let k(p) = 3*p - 6. Let t be k(4). Is i equal to t?
False
Let m be (36/(-8) - 2)*-4. Let h be 74/m - (-2)/13. Which is smaller: 3/2 or h?
3/2
Suppose 0 = -15*x + 125 - 20. Let s be (-3)/(-216)*x + 6/48. Which is smaller: s or 14?
s
Let y = 52 + -91. Let g = 15 + -55. Is y equal to g?
False
Let g = -844 + 44734/53. Let h(b) = b**2 - 8*b - 5. Let r be h(9). Suppose 0 = -2*x - r*z, -2*z = -4*x - 7*z. Which is smaller: g or x?
x
Suppose 902*m - 14 = 888*m. Let x be (-1)/1 + (-24)/(-3). Let t = -29/4 + x. Which is smaller: t or m?
t
Let q(w) be the first derivative of w**2/2 - 4*w + 14. Let s be q(14). Is 21/2 greater than s?
True
Let j = 1117.98 + -1118. Do 10.1 and j have the same value?
False
Let a = 59 - 2. Let y = a + -85. Which is bigger: y or 1?
1
Let j = 741.8919 + -742. Is j >= 1/4?
False
Let r(x) = -11*x - 49. Let j be r(-4). Which is greater: -3/5 or j?
-3/5
Suppose 0 = -6*p + 153 - 159. Which is smaller: -3/566 or p?
p
Let x = 67 + -66.7. Which is smaller: x or -2/71?
-2/71
Let y be 0/(14/(-8) - (-2)/(-8)). Suppose 2*t + 84 = 2*u, y*u = 3*u + 2*t - 131. Which is smaller: u or -2?
-2
Let b(m) = m**2 + m + 1. Let g(s) = -4*s**2 - s. Suppose 4 - 3 = -h. Let l(n) = h*g(n) - b(n). Let q be l(1). Is q at most 1?
False
Let t = -176 + 179. Which is smaller: 72 or t?
t
Let l(d) = d**3 - 3*d**2 + 4*d - 4. Let x(v) = -2*v - 7. Let r be x(-6). Suppose -r*j = -5*b + 3 + 2, 2*b = 3*j. Let t be l(b). Which is bigger: t or 9?
9
Let s = 9.9 + -10. Suppose u = 6*u - 450. Let z be ((-1)/6)/(40/u) + 0. Is s smaller than z?
False
Let n(r) = r**3 - 4*r**2 - 13*r + 2. Let d be n(6). Let y be (-104)/65 + d/10 - -3. Is y at most as big as 3/44?
False
Let v = 279.4 + -279. Is v greater than or equal to 8.1?
False
Let l be 1 - -2*(-7)/(-2). Let y(u) = -u**2 - 10*u + 2. Let j be y(-10). Let v be j/1 + (-6 - -2). Is v < l?
True
Let b be 2/(-7) + (-18)/(-14). Let h be 0/(16/(64/(-12))). Which is smaller: b or h?
h
Let f(m) = 17*m + 197. Let v be f(-11). Which is greater: v or 19?
19
Let t be (-2)/4 - (-72)/16. Suppose -4*h - t = -12. Is h <= 2?
True
Let c = -12 + 0. Let v = c - 76. Let h be (-18)/v*(-24)/9. Are h and 0 equal?
False
Let l = 6959 + -1551854/223. Which is smaller: l or -1?
-1
Suppose 0*x + 748 = 17*x. Let m be (-254)/(-6) + (-1)/3. Is x > m?
True
Let g = 2810 + -1548. Is 1262 equal to g?
True
Let o = 2.64 - 2.52. Is -2/9 smaller than o?
True
Suppose -r + 14 = 4. Suppose 0 = -5*u - d + 125, d - 2 = u - 27. Let b be 5/u - (-28)/r. Are 3/2 and b nonequal?
True
Let k be (-6)/15*2/10. Let g = -8551 - -8552. Which is smaller: k or g?
k
Let f = -0.44 + 23.44. Let v = f - 16. Let r = -4 + v. Which is smaller: r or 0.1?
0.1
Let g be (3 - 2)*-1 + 1. Is g greater than -6/149?
True
Let x be (-1 + 36)*(-1)/35*-5. Which is smaller: x or 16/3?
x
Let w be 15/10*(-2)/(-13). Suppose -4*t + 7*t - 111 = 0. Let z = -37 + t. Is w less than z?
False
Let z(a) = -a**3 + 8*a**2 + 1. Let r be z(8). Let k be 66/(-24) + (r/(-4) - -1). Is 2/9 at least k?
True
Suppose 0 = -7*t + 2*t - 4*n - 20, 0 = 5*n + 25. Let p be ((-105)/(-250) - t)*(-2)/3. Is p at most -1?
False
Let t = 218 - -119. Is 0 at least as big as t?
False
Let o(h) = -2 + 3 - 3*h + 2*h - 2. Let s be o(0). Is s greater than 1/30?
False
Let q(o) = -o**3 + o**2 - 2. Let j be q(-2). Let a = j - 3. Suppose 5*t + 2*b = 12, -2*t + 0 = 3*b - a. Is t l