er: x or y?
x
Suppose -17 = -2*k + 19. Suppose 0*c + 3*c - k = 0. Suppose 4*u + u - 2*p + c = 0, 3 = p. Which is bigger: -4/5 or u?
u
Suppose -2*k - 24 = -5*k. Let f(w) = -3*w**3 + 30*w**2 + 3*w - 20. Let h be f(10). Is k greater than or equal to h?
False
Let a(t) = 52*t**3 + 1. Let s be a(1). Suppose -55 = 9*x + s. Which is smaller: -9 or x?
x
Let n = 1.98 + -0.96. Let i = 0.02 - n. Is 11 smaller than i?
False
Let l = -0.0912 + 0.1882. Which is smaller: 10 or l?
l
Let i = -69601/104786919 - -2/66447. Is 0 not equal to i?
True
Let b(x) = 26*x + 4. Let y be b(-1). Suppose 37 = -s + 5*u, 2*u + 12 = -s - 4. Let i = y - s. Which is greater: i or 1?
1
Suppose 2*s + 5*x = -9, -5*x + 39 = 4*s + 52. Which is smaller: s or -552?
-552
Let q be (-2)/9 + (-369)/(-243)*-15. Which is bigger: -24 or q?
q
Suppose 0 = -4*x + 76 + 48. Suppose 280 - 568 = -9*z. Which is smaller: z or x?
x
Let q = 7 - 13. Let z be (-144)/(-27)*q/(-4). Suppose 3*u - z*u = 0. Is -2/17 bigger than u?
False
Suppose -52 - 28 = 5*y. Let m be 8/(-6)*10/y. Suppose 0 = 80*j - 82*j + 4. Do j and m have the same value?
False
Let w be 4/(-10) + 326/570. Let a = 1/15 - w. Let g = -18 + 19. Is a smaller than g?
True
Let i(u) = -u**3 - 37*u**2 - 193*u - 35. Let q be i(-31). Which is smaller: q or 0.08?
0.08
Let m = 108 + -133. Is -25 smaller than m?
False
Let x = -14 - -11. Let q = x - -12. Is q at least as big as 8?
True
Let s = 43 + -43.25. Let t = -500 - -17496/35. Let i = -19/140 + t. Is i > s?
False
Let k = -638/69 - 2/23. Let o = k + 9. Let q = 32.62 - 32.6. Which is smaller: q or o?
o
Suppose -3*w = -3*m + 108, -4*w - 3*m = -8*m + 145. Let a be ((-14)/w)/(5*1/1). Suppose 2*f = -3 + 1. Which is greater: a or f?
a
Let g = -2/7 + -64/21. Which is smaller: g or -2?
g
Let j = -223.3 - -205. Is 1/3 less than j?
False
Let c = -572/32619 + 5/249. Which is smaller: c or -1?
-1
Let q = -31 - -68. Let y = -26 + q. Which is bigger: y or -0.2?
y
Let r = 14 + -7. Let n = r + -4. Suppose -c = n*t + 1, -3*c - t + 3 = 14. Are -1 and c equal?
False
Suppose 0 = -15*m + 10*m - 600. Let u be 0 - (m/3)/(-2). Let w be u/4*(-4)/10. Which is smaller: w or 2/3?
2/3
Let o be -2*((-151)/24 - 0). Let f = o + -34/3. Let i = 0.0388 + 0.0612. Is f < i?
False
Suppose -2*g - 2 + 8 = 0. Let c(o) = o**3 + o - 4. Let w be c(g). Suppose -4*d - 3*m = 19, w = -d - 9*m + 4*m. Which is bigger: -12/7 or d?
d
Let k(m) = 11861*m - 1. Let n be k(-1). Let u = n - -83277/7. Let o = u + -35. Is -0.1 at least as big as o?
True
Let v be (-12 - 2)/(47/(-3619)). Is v < 1078?
False
Suppose f + 440 = 12*f. Let q = 40 - f. Which is smaller: q or -1/23?
-1/23
Suppose 8*u - 56 = -0*u. Do u and 6 have different values?
True
Let h = 48 - 41. Suppose -15 = h*i + 6. Is -11 at least as big as i?
False
Suppose 6*o + 200 = 608. Let d be 2*-1 + 1 + 60/o. Is d bigger than 0?
False
Let z(d) = d + 3. Let u be z(8). Suppose -u*k + 2*k - 432 = 0. Is k greater than or equal to -48?
True
Let m = 16.7 - 21.6. Let r = -0.05 - 4.95. Let h = r - m. Is 0.01 equal to h?
False
Let x be (((-24)/190)/6)/((-1)/5). Which is smaller: x or 9?
x
Let s(x) = -8*x**3 + 29*x**2 + 16*x + 12. Let l(w) = -3*w**3 + 10*w**2 + 5*w + 4. Let a(i) = 11*l(i) - 4*s(i). Let h be a(-4). Which is bigger: -2/33 or h?
h
Let d = -257.01 + 257. Is -0.1 greater than or equal to d?
False
Let o = -0.11 - 6.89. Let b = -11.6 + 4. Let c = b - o. Is -1/3 != c?
True
Let m be (2/(-12))/(1/112). Let k be (1/(-15))/((-31)/(-372))*25. Is m at most as big as k?
False
Suppose 0 = 3*n - 4*u + 18 + 1, 0 = -n - u - 4. Let m be 0 - (10/n - -2). Is m != 3/10?
True
Let q = -6741/4 + 1685. Are q and 64 non-equal?
True
Suppose 2*f + 8 = 4*b, -3*f - b = -8 - 1. Suppose m - 2*w + f = -m, -3*m - w - 15 = 0. Let n = m - 7. Which is smaller: -12 or n?
-12
Suppose j + 55 = 5*j - 3*i, -3*i + 73 = 4*j. Let n be (4 + -3)*((-34)/j - -2). Let a = 0.1 - 0.2. Which is greater: a or n?
a
Let x = -111/44 - -36/11. Let p(m) = m**2 - 3*m + 2. Let b be p(4). Suppose 15*a = b*a. Is x > a?
True
Let d = -3 - 6. Let y = 8.16 + -0.16. Let q = d + y. Is q > 0.2?
False
Suppose 3*t + 2*u - 2 = 0, -2 = 6*t - 3*t - 2*u. Is t at least -4/1537?
True
Let s be (196200/2624)/(-25) - 6/(-2). Are s and 0 equal?
False
Let t be -2 + 2 + 2 + 8. Let r = -18 + 23. Suppose 1 + 44 = r*i. Which is greater: i or t?
t
Suppose h + 10 = -4*t - 4, 2*h + 4 = -2*t. Let j(i) = i**2 - 2*i + 3. Let b be j(3). Suppose h*l = -l + b. Does 12/11 = l?
False
Let v be (-6861)/37752 + (-2)/(-11). Let p = -14383519/88088 + v. Let h = 163 + p. Are h and -1 non-equal?
True
Suppose 16 = -2*u + 3*t, 4*t - 13 - 5 = u. Let h(a) = 16*a + 8. Let i be h(u). Which is bigger: i or -27?
i
Let f be 1/(-2)*(3 + -4 + -105). Is 374/7 > f?
True
Let m = -236.2 + 257. Let h = m - 21. Is h > 1/3?
False
Let y = 42 + -46. Let q = -4.21 - y. Which is greater: q or -2?
q
Let q be 3/(42/20) - 12/(-21). Suppose -q*r = 7 + 19. Which is smaller: 0 or r?
r
Suppose v + 20 = 6*v. Let c(w) = w**3 - 5*w**2 + w + 3. Let d be c(v). Let h(u) = u + 9. Let k be h(d). Which is smaller: -1 or k?
-1
Let p(t) = 2*t - 23. Suppose -f - 8 = -y, 0 = 4*y + 2*f + 2 - 46. Let z be p(y). Let k be 10/z*6/(-4). Which is greater: 8 or k?
8
Let f = -120/77 + 14/11. Let h = -1.55 - -1.8. Let m = 0.15 - h. Is m <= f?
False
Let o(r) = -12*r - 50. Let j be o(-6). Which is bigger: j or 5?
j
Let s = 2.54 - 2.8. Let g = s + -0.24. Are g and 1 unequal?
True
Let b = 19.97 + -19.2. Let t = 0.8 - b. Let p be (-16)/((-24)/(-3))*2/(-4). Which is greater: t or p?
p
Suppose -3*g - 3*k + 6 = 0, 5*g - 4*k - 6 = -7*k. Let j = 2/455 + 3618/5005. Are g and j nonequal?
True
Let y = 197 + -195. Which is greater: y or 32/11?
32/11
Let l = -0.16 - -3.26. Let t = -3.36 + l. Which is smaller: t or -1?
-1
Let k(t) = -3*t**2 + 3 + 0*t**2 - 4. Let b be k(-1). Let y be (-1776)/360 - 9/135. Is b greater than y?
True
Suppose 0 = -u - 4*d, 2*d - 6*d - 48 = -3*u. Suppose 14*l = u*l + 4. Let f be (0 - 2) + 1 + -1. Is l less than or equal to f?
False
Suppose 2*t = -5*g + 122, 2*g - 7*g + 56 = t. Suppose 2*w - t = -w. Let u = w + -22. Which is bigger: u or 0.2?
0.2
Let h be 3*(-1 + (-2)/2). Let i(q) = 79*q - 23. Let s(k) = -144*k + 45. Let c(z) = 11*i(z) + 6*s(z). Let y be c(h). Which is bigger: -1 or y?
-1
Let a = -1158 - -5798/5. Which is greater: a or 21?
21
Suppose -s + 35 = -2*s. Let y be 226/(-1230) + (-7)/s. Which is greater: y or 1?
1
Suppose 3*l = 1 - 1. Let q = -862 - -54305/63. Is q < l?
True
Suppose 0 = 4*m + m - 10. Suppose 4*d + 0 = -2*b + m, -5*d + 1 = 4*b. Let o = 14 - 57/4. Which is greater: d or o?
d
Let b = -9 - -15. Let f(d) = 14*d + 3. Let o be f(-2). Let r = o + 30. Is r greater than b?
False
Let n be (-4)/22*1 - 80/44. Let z be ((-2)/(-4))/((-435)/216 - n). Is -36 >= z?
True
Let a = -0.45 - -7.45. Suppose 0 = 2*y - x + 7 - 44, -x = 4*y - 83. Let k = y + -18. Which is smaller: a or k?
k
Suppose -17 = -17*l - 0. Is l <= 8?
True
Let r(j) = -j**2 - 26*j - 306. Let o be r(-16). Which is bigger: -144 or o?
-144
Suppose -14*c = -29*c + 7560. Is 2019/4 equal to c?
False
Suppose 4*j = 6*t - 10*t, -5*t - j + 8 = 0. Which is smaller: t or 45/28?
45/28
Let n = 1.4 + -1.82. Let u = n + -59.58. Which is smaller: u or -0.1?
u
Let j = -69 - -70.6. Is j != 2/21?
True
Let h = 30 - 79. Let o(d) = -27*d**2 - d - 49. Let n be o(0). Is n <= h?
True
Suppose 0 = 5*d + 188 - 168. Let o(a) be the third derivative of -a**5/60 - 5*a**4/24 - 5*a**3/3 + a**2. Let n be o(d). Which is bigger: n or -5?
-5
Suppose -3*h - 14 = -h + 5*n, 5*h + 52 = -4*n. Suppose 5*l - 4*g = 116, 72 = 4*l + 2*g - 0. Let i = l + h. Is 7 >= i?
False
Let n be 0*((-12)/(-3))/4. Suppose n = -0*q + 2*q + 2. Is q at most as big as 19?
True
Let r be (-3)/(-1) + 4*6/24. Suppose 0*i - r*i + 164 = 0. Is i at least as big as 43?
False
Let a(l) = -l - 1. Let y = -9 + -7. Let f = y - -16. Let c be a(f). Which is smaller: c or -4/5?
c
Let j(p) = -p**3 + 4*p**2 + 5*p - 1. Let d be j(5). Let n be (85/34)/(d/4). Is -10 less than or equal to n?
True
Suppose 5*p + 4*j = 5, p + 4*j = 4*p + 29. Let t(u) = 10*u + 3. Let x be t(-6). Let o = -176/3 - x. Do o and p have different values?
True
Let z = 0.399 - 0.38. Let m = -0.419 + z. Is m != 2?
True
Suppose -2*x + 2*s + 0*s = 0, -4*s + 18 = 5*x. Let v be x/1*(-3)/(-