). Let u = -119603565/98 + 1220415. Let k = u - -59/2. Is y > k?
True
Suppose -h + 10 = 3*l, 5*h = 3*l - 3 - 1. Let f be ((-3)/h)/(15/(-280)). Let q be 2/(-7) + (-68)/f. Is -2 greater than q?
False
Let v = -634/13 + 49. Suppose f = -3*f + 4*w + 16, -f + 3*w + 10 = 0. Is v > f?
False
Suppose 3*c + 2 = -7, 2*q = -4*c - 14. Let h be 6/9*537/(-342). Let n = -22/19 - h. Which is greater: q or n?
n
Let g = 14 - 14. Suppose 1 = -h + 2*t, -3*h - 2*t + 4*t - 3 = g. Which is smaller: -1/2 or h?
h
Suppose -5*s + 2*o = 143, -2*s + 53 = -4*s + 5*o. Let p = 6 + s. Is -23 at least p?
True
Let r = 59869/6 - 9953. Which is greater: 24 or r?
r
Let s = -2.56 - -0.06. Let j = -18.3 + 18.2. Is j > s?
True
Suppose 0 = 14*r - 50*r - 1440. Is 10 > r?
True
Suppose 3*i = -0*i - 3. Let n = -6/2333 - -4732/25663. Which is bigger: i or n?
n
Let r = 47 - 41. Let z be 21/r*(-108)/147. Is z bigger than -3?
True
Let o = 918 + -896. Which is bigger: -4 or o?
o
Let u = -5 + 17. Let s = 28 - u. Suppose -s = -4*w, 4*w - 2 = -2*k + 3*w. Is -1 bigger than k?
False
Let z = -148 + 147.874. Let v = z + -0.034. Which is greater: -2 or v?
v
Suppose 471 = 4*j - 3*y, 5*j + y + y - 606 = 0. Is j greater than or equal to 0?
True
Let g = -0.03 - 1.07. Let o = 19009 - 19008.8. Is g less than o?
True
Suppose -3*s + w = 11 + 6, 0 = -s - 4*w - 10. Suppose -16 = -3*r - 3*n - 7, -n - 1 = -r. Suppose 0*m = -r*m - 12. Is s smaller than m?
False
Let o = -235 - -264. Which is smaller: o or 200/7?
200/7
Suppose 0*s = 3*w + s - 22, 0 = 3*w + 4*s - 7. Let h = 10 - w. Suppose -5*z = 5*q - 10, -3*z + 5*q = 2*z + 20. Is h < z?
False
Suppose 5*m - 20 = 40. Let r be (8/m)/((-1)/3). Which is smaller: r or -7?
-7
Let q(k) = -4*k**2 + k + 2*k - k + 5*k**2. Let a be q(-4). Suppose 5*i - 4*n = -a, 2*n - 3 = 1. Which is smaller: -10/9 or i?
-10/9
Let o = 21.6 - 20. Let n = 1 - o. Let z = -1.9 - -2. Which is greater: n or z?
z
Let x = -1.43 + -9.4. Let v = x - 0.17. Let n = 11.08 + v. Is n at most 0.1?
True
Let j(h) = h**2 - 2*h - 5. Let i(m) = -2*m**2 + 6*m + 14. Let n(c) = -6*i(c) - 17*j(c). Let d be n(1). Let b be (-20)/225*(-15)/d. Which is greater: b or -5?
b
Let p = 223 + -227. Is p bigger than 4/5?
False
Let u = 96 - -66. Let p be ((-63)/u)/(1/(-3)). Which is smaller: 0 or p?
0
Suppose 7 = 6*l - 5. Suppose 5*y = -2*c + 5, -c = l*c. Let w = 1 - -7. Is y at least w?
False
Suppose 14*v + 0*v - 56 = 0. Suppose 0 = -4*l + v*l - 6*l. Which is greater: l or 1/21?
1/21
Let w = -5/118 + 1579/1062. Which is smaller: 2/5 or w?
2/5
Let s = -75.18 - -75. Which is smaller: 0 or s?
s
Let r = 47 - 145/3. Let d = 1531 - 1530. Is d bigger than r?
True
Let d = -76 + 79. Suppose 0 = -d*z + 6*z - 111. Is z at least as big as 37?
True
Let p be 3/(3/(-4)) - 11832/(-2900). Which is smaller: p or 5?
p
Suppose -3 = 4*g - 3*g. Suppose 4*s = 3*q + 3, 2*s + 4*q = 5*s + 3. Let y = s + g. Is 0 greater than or equal to y?
True
Let z = 580 + 117. Let m = z + -9069/13. Let n be 2/(-3) + (-1)/3. Is n less than or equal to m?
True
Let n = -184.7 - -183. Let a = -0.9 + 1.6. Let r = n + a. Is r smaller than 11?
True
Let z be 69/(-194902)*6092/3. Let l = z + -4/223. Is -1 != l?
True
Let s be (90/27)/((-2)/6). Let p be -3*s/(-42) + 1. Which is greater: p or -14?
p
Suppose -7 = -6*g + 10*g - 3*o, -2*o = -g - 8. Which is smaller: g or 9/8?
9/8
Let o(q) = -5 + 4 - 8 + q. Suppose i = 2*i - 4. Let s be o(i). Is s greater than -5?
False
Suppose -2*o + 11 = -4*g + 3*o, 5*g + o = -21. Which is greater: g or -37/12?
-37/12
Let v = -510 - -509. Suppose -5 = 5*x + 5, 2*c - 170 = -x. Is c >= v?
True
Let x(v) = 7*v - 32. Let c be x(8). Suppose 222 = 30*k - c*k. Is k bigger than 38?
False
Let j = -9 - -8.9. Let k = -11 + 11. Let q = j + k. Which is smaller: -3/11 or q?
-3/11
Let j be 2/(-4)*(-160)/(-83760). Is 0 at most j?
False
Suppose 4*w = -4*h + 2128, 6*h = w + 3*h - 512. Which is smaller: 1/2 or w?
1/2
Suppose z = -4 - 3. Suppose 27 = -0*t + t. Let j = 20 - t. Is z at most as big as j?
True
Let v(w) = 12*w**2 + 1. Let z = 62 - 61. Let a be v(z). Which is greater: a or 14?
14
Let y = 121 - 122. Which is greater: y or -13/11?
y
Let p be 98/(-4)*(-5)/(-410). Let x = p - -2/41. Which is smaller: -0.2 or x?
x
Let k = -1/6980 - -7650083/20940. Are k and 364 nonequal?
True
Let p(d) = -d**3 - 7*d**2 + 122*d + 30. Let n be p(-15). Let y = -1301/22 + 59. Which is smaller: y or n?
y
Let j be 1 - 4/6*-3. Let h be (j/2)/((-13)/(-26)). Let m = 4 + 0. Are m and h equal?
False
Let k = 183059/48 - 3814. Let i = -1/16 + k. Is 5 != i?
True
Let o = 0 - -1. Suppose 0 = -20*s + 12*s + 16. Suppose -4*a = 2*l + s*l, -10 = -2*a. Is l greater than o?
False
Suppose 3*y - 3*t + 156 = 24, 4*t = -3*y - 167. Are y and -5 non-equal?
True
Suppose 0 = 4*w - 5*c - 33, -5*w + 2*c + 9 = -11. Suppose -4*v - 19 = 3*g, -w*v + 3*g = 12 + 11. Which is smaller: v or -5?
v
Suppose 2*c = 10, 2*a = -3*c - 0 + 21. Let f(t) = -5*t**2 + 4*t - 2. Let k be f(a). Which is greater: k or -36?
k
Let p = 3/1004 + -65269/3012. Which is smaller: 1 or p?
p
Let c = 2759/11 - 251. Let i = 3 - 7/2. Which is bigger: i or c?
c
Let f = -114 - -109. Let l be ((-20)/(-16))/f*-6. Is 0 not equal to l?
True
Let w = -105 - -101. Let v be (w/8)/((-2)/(3 + -7)). Is v greater than or equal to -1/73?
False
Suppose 0 = -3*n - 3*r - 4 + 10, -4*n - 5*r + 10 = 0. Which is bigger: 7/2 or n?
7/2
Let i(h) = -6*h**2 + 2*h + 114. Let g be i(0). Is g bigger than 114?
False
Let l = -19106/11213723 - -4/5399. Which is smaller: l or 0?
l
Let n be ((-3)/(-42))/(-1 + -6). Let v(u) = -u**2 - 59*u + 320. Let l be v(5). Which is smaller: l or n?
n
Let w(g) = -g**3 - 10*g**2 - 11*g - 19. Let a be w(-9). Let m be 351/(-345) - (-2 - a). Which is greater: -1 or m?
m
Let d = -21013/28 + 751. Is 0 at most as big as d?
True
Let o be 1 + 52 + 32/(-8). Suppose o - 9 = -2*f. Is -19 greater than f?
True
Let n be 10/2 - (5 + -5). Let d(l) = l**2 - 7*l + 7. Let t be d(n). Let h = 2053/4 - 516. Which is greater: h or t?
h
Let n = -1240.2 + 1240. Which is smaller: n or -87/5?
-87/5
Let t = 499 + -503. Is t equal to 0.3?
False
Let b be 312/5 - 16/40. Let o = b - 47. Which is smaller: 17 or o?
o
Let v = 1772.71 + -1772. Is 0 smaller than v?
True
Let b be ((-45)/(-35))/(4/(-62)). Is b at most -21?
False
Let j = -102 + -85. Does j = -186?
False
Let g(a) = -a**3 + 5*a**2 - 4*a. Let t be g(4). Do 7/80 and t have different values?
True
Let r be -6 + 6 + -14 - 7. Is -0.06 greater than or equal to r?
True
Let t(z) = -z**2 - 39*z - 42. Let n be t(-38). Are n and -46/11 equal?
False
Suppose -2*t = 2*m - 13 - 5, 0 = 4*m + 3*t - 32. Let i(f) = f**3 + 5*f**2 - f + 7. Let a be i(-5). Suppose -a = -m*x + 3. Which is greater: x or 1?
x
Let x be (-58)/(-7) - -8*(-9)/252. Suppose -3*g + g - x = 0, 3*r - 3*g = 15. Which is bigger: -1/21 or r?
r
Let o = 352.159 + 0.841. Let x = -332.9 + o. Let j = x - 20. Which is smaller: j or -12?
-12
Let u = -128 - -117. Which is smaller: u or -9?
u
Let j = 567351/56 + -10131. Is j at most as big as -1?
False
Let f be (-11)/(-3) - (-6)/(-9). Suppose d = -4*w + 86, 0 = -w - f*w - 2*d + 88. Is 22 smaller than w?
False
Let t = -105.3 - -34.9. Let q = -71 - t. Is 0.2 at least q?
True
Let b(j) = -3*j + 2. Let u be b(0). Suppose -u*g = -q - 6, -5*q = 2*g - 2*q + 10. Is -2/133 equal to g?
False
Suppose -13 = -251*q + 250*q. Is q < 13?
False
Let a = 13 - 11. Suppose -a*s = 4*i + 32, 3*s + 4*i + 40 = -0*s. Is s less than -9?
False
Let u = 2 - 1. Let p = -1.6 - 6.4. Let s = -18 - p. Are s and u non-equal?
True
Let y = 32 + -45.9. Let q = 15 + y. Let j = 4.1 - 4. Is q at least j?
True
Let q be 14/105 - (-56)/30. Let m(p) = -3*p + 5. Let d be m(q). Which is bigger: d or 0?
0
Suppose 0 = 2*t + 5*q + 3, 5*q + 1 = -6*t + 2*t. Let n(l) = l - 10. Let o be n(12). Let u be 0/(-5 + o - -5). Is u smaller than t?
True
Let k(y) = -6*y - 14. Let o be k(-6). Let b = 27 - o. Suppose 4*h - j + 34 = -h, b*j - 2 = h. Are h and -8 nonequal?
True
Let x be ((-3)/(-12))/(11/(-22)). Which is greater: x or 6/17?
6/17
Let h = 0.32 + -0.21. Let y = -109 - -109. Are h and y unequal?
True
Let f = -25.71 - -24.6. Let s = f - -1.71. Is s at least 1?
False
Suppose 0 = -2*l - 13 + 19. Let p(y) = y + 11. Let u be p(-7). Suppose -u = -l*j - 7. Which is smaller: 2/7 or j?
j
Suppose 0 = z