. Is -15 >= y?
False
Suppose -3*t + 3*q + 59 + 37 = 0, 66 = 2*t - 3*q. Let d be t/9 + 4/(-12). Let s be d/(-2)*(-3 - -11). Which is greater: -11 or s?
-11
Let s = 6.25 - 0.25. Let m = -20 + s. Let i = 5 + -5. Does m = i?
False
Let h be (-764)/36 - (14/18 - 1). Let q = h - -24. Let w = 3 + 1. Is q less than w?
True
Let a(h) = 3*h + 2. Let s be a(8). Suppose -27*n + 2 = -s*n. Suppose 3*y - 5*k = 27, k - 11 = y + 6*k. Is n at least as big as y?
False
Suppose -q + 515 = -6*q. Let t be (-14190)/(-140) - (-2)/4. Let a = t + q. Is -1 <= a?
False
Suppose -3*x = 2 + 4. Let c be -1 - -2 - (-2 - x). Let w be 6/8 - (-4 - -4). Is c > w?
True
Suppose 5*x - r - 105 = 3*r, -3*r = -5*x + 105. Let y be (390/(-35))/((-3)/x). Is y at least as big as 77?
True
Let q = 0.2 - -1.8. Let s = -172 + 170. Is s >= q?
False
Suppose 5 + 7 = h. Let q = h - 5. Suppose -q*y - 15 = -2*y. Which is greater: 2 or y?
2
Let l = 3.774 - 0.074. Let j = 30.7 - l. Let h = 27.1 - j. Is 9 > h?
True
Let r = 1649 + -1849. Which is greater: -2/9 or r?
-2/9
Let g = 2 + 64. Let l = g - 38. Which is greater: l or 29?
29
Let d be ((-3)/8)/(-77 + 76). Suppose 0 = -4*r + 2*b + 10, -2*r = -4*r + 5*b + 25. Let c be (r - 0)/(-3 + 2). Which is bigger: c or d?
d
Let g = -1 + 0. Suppose -5*o - 10 = 4*x, -2 = x + 6*o - 5*o. Suppose x = -3*h + l - 5, 3*h - l + 5 = -h. Is g at least h?
False
Let z = 4 + -4.8. Let o = z - -0.85. Suppose -7*u + 5*u = 0. Is o at most as big as u?
False
Let c = -3223 + 2197. Which is greater: c or -1025?
-1025
Let p be 2/80*19 + 12/(-120). Is p <= 83?
True
Let q = 42637654/961 + -44368. Which is smaller: q or 1?
q
Let j = 677 + -663. Which is smaller: j or -0.2?
-0.2
Let j = 13252/9 - 1472. Suppose -2 = g + g. Let l = -2 - g. Does j = l?
False
Suppose 2*u - 5*v - 6 = 12, -u - 3*v - 13 = 0. Suppose 3*d + 66 = 6. Let n be 10/15 - d/(-27). Does n = u?
False
Let m = -16 + 10. Let v = -156 + 147. Let k be 28/24 - m/v. Which is smaller: k or 0?
0
Let d = -12 + -24. Let b be (-1)/((-1*4)/d). Suppose 16 = -0*y - 2*y. Which is smaller: y or b?
b
Suppose -3*r - 48 = 2*r - 2*x, -4*r - 16 = 4*x. Let i(n) = 3*n**3 + 10*n**2 + 2*n + 6. Let j be i(-3). Let w be (0 - 1)*-1 - j. Is r at most as big as w?
True
Suppose -p - 5*p = -18. Suppose -8 = p*f - 5. Does -14/11 = f?
False
Let w(a) = a**2 + 10*a + 23. Let p be w(-6). Which is smaller: 1/47 or p?
p
Suppose -2*h + 20 = -24. Let r(p) = -p**2 + 78*p + 617. Let q be r(-7). Do h and q have the same value?
True
Suppose -4*c - 34 = -10. Let o be 142/(-230) + c/150*-15. Which is bigger: 0 or o?
0
Let q be 0 + 2 + (-136)/17. Let s be (-94)/q + (-2)/3. Let x be 4/s*(-9 + 3). Which is smaller: x or -2?
-2
Suppose 7*b - 6 = 13*b. Is -10/13 at least b?
True
Suppose 0 = -c + 5*z, -4*c = -c + z. Suppose 10*y - 11*y + 5 = 0. Suppose -y = -4*u - 9. Which is greater: c or u?
c
Let o = -54 + 63.6. Let s = o + 6.2. Which is smaller: s or 0.1?
0.1
Suppose g + 0*g + 5*r - 385 = 0, 2*r = g - 378. Is -0.1 smaller than g?
True
Let p = -297/56 + 38/7. Let f = -1374/7 - -196. Which is greater: p or f?
p
Let o = -499 + 418. Is o > -3/2?
False
Let c = -23 + 53. Suppose 5*i = 5*s + c, 2*i = -2*s - 0*i. Which is bigger: s or 0.1?
0.1
Let v = -46 - -84. Let o = 46 - v. Are 6 and o nonequal?
True
Suppose -21*x = -18*x + 4*q + 59, 3*x = -5*q - 64. Which is smaller: x or -16?
-16
Let l(f) = f**3 + 21*f**2 - 24*f - 45. Let k be l(-22). Which is smaller: k or -3/113?
k
Suppose 182 = -2*o + 4*h, -444 = 20*o - 15*o + h. Which is smaller: -87 or o?
o
Let w be 3 + 1/(-4)*0. Suppose -j - 32 = w*j. Which is smaller: j or -5?
j
Let a = -934 - -945. Is 10 greater than a?
False
Let h be -2 - 3/(30/(-16)). Let u = -0.9 - 15.1. Let p = 15.9 + u. Is p bigger than h?
True
Suppose 3*o = -4*v + 26, 4*o - 7*v = -8*v + 13. Suppose 0 = -2*f + 6 - o. Which is smaller: f or -0.22?
-0.22
Let u = 0.04 - 0.29. Let a = 0.05 + u. Is -10 greater than a?
False
Suppose -73*b + 852 = -2*b. Is -16 not equal to b?
True
Suppose 0 = s + c + 523, -384*s + 5*c = -385*s - 507. Is -526 >= s?
True
Suppose 0 = 74*f - 80*f - 18. Is f > -30?
True
Let p = -15.9191 - 0.0409. Let d = p + 16. Let k = 0.04 - d. Is 2/5 < k?
False
Suppose -17 - 65 = 4*i - 2*b, 0 = 4*i + 5*b + 117. Which is bigger: i or -15?
-15
Let p = 2 - -16. Let c(j) = 4*j**2 - 5*j - 2. Let k be c(3). Let y = k - p. Which is smaller: 2/9 or y?
2/9
Let l be 41 + (-40)/(-8) + -6. Let o = -58 - -99. Which is smaller: o or l?
l
Let w = -1.3 + 1.37. Let s = w - -0.13. Let c = -5 - -7. Is s smaller than c?
True
Let u = 2299 + -2282. Suppose 0*n + 48 = 3*n. Which is smaller: u or n?
n
Let p(r) = r**3 - r**2 - 2*r + 1. Let o be p(1). Suppose -2*w + 6 = -5*w, 5*i = -4*w - 323. Let v be (1/6)/(9/i). Is v greater than or equal to o?
False
Let u(l) = -3*l - 1. Let m be u(5). Let p be m*(-2)/20*5. Suppose -p*h - 4 = 52. Is h at most as big as -7?
True
Suppose 0*d + 4*d + 12 = 0. Suppose -7351*n + 19 = -7370*n. Which is smaller: d or n?
d
Let f = -497 - -496.9. Which is smaller: -3.41 or f?
-3.41
Let h(f) = -f**3 - 8*f**2 - 7*f + 10. Let g be h(-7). Is 3 <= g?
True
Suppose -4*w + 3*s = 5, 0 = w - 2*s - 3 + 8. Let n be w/(-1)*-4 - (-2 + -1). Which is smaller: -0.1 or n?
-0.1
Let x = 6.474 + -0.074. Let j = -79/12 + 29/4. Are x and j equal?
False
Let h be 9952/(-13440) + 4/30. Are -1 and h equal?
False
Let z be (0 + 7/(-3269))/3. Is z bigger than -1?
True
Let z be (6/420*-4)/((-488)/(-10)). Which is smaller: z or 0?
z
Let h = 3 + 1. Let v be 11 - -2*(3 + -5). Suppose -h*u - v = -23. Is u >= 5?
False
Suppose 0 = 3*g + 2*g + 20. Let f(d) = d**3 + 2*d**2 - 11*d - 8. Let v be f(g). Is 7 at most as big as v?
False
Let f(v) be the second derivative of -3*v**5/20 + 3*v**4/4 + v**3/3 + v. Let c be f(-2). Is 56 > c?
False
Let j = 979 + -979. Is j at most as big as 1/979?
True
Let j(f) = 10*f - 18. Let r be j(5). Let y = r - 31. Which is smaller: 0 or y?
0
Let n(p) = -p**2 + 8*p - 3. Let v be n(8). Suppose -129*k + 126*k = 9. Does v = k?
True
Let c(v) = -v**3 - 21*v**2 + 17*v - 5. Let r be c(-22). Let z be (-952)/r + (-3)/(15/(-2)). Let a = -7 + -1. Which is smaller: z or a?
z
Suppose 0 = 295*l - 279*l + 11088. Is -692 not equal to l?
True
Let n = -7.8 + 7.761. Let d = -0.661 + n. Is d less than 3?
True
Suppose -135 = z + 5*o, 2*z + 1 + 249 = -5*o. Is z < -1?
True
Let c(z) = -7*z**2 + 93*z - 27. Let k be c(13). Is k > -74/35?
True
Suppose 0 = -2510*d + 2506*d. Let n be ((-2)/(-2))/((-19)/2). Are d and n non-equal?
True
Suppose 32*w - 134*w = -102. Is w at least as big as 12/209?
True
Let z be 139 + (1 - (3 - -7) - -4). Which is bigger: 672/5 or z?
672/5
Let n = -584 + 600. Let i = -19/4 + 5. Is i not equal to n?
True
Let m = 7.1 - 6.77. Let t = m - -0.67. Which is smaller: t or -3.4?
-3.4
Let j be 15/(-12)*4/(-10). Let w = 0 + j. Suppose 3*x = -2*k + 9, 2*k - 4*x = -0*k - 12. Which is greater: w or k?
w
Let q = -104.5 - -104.7. Is q smaller than 0.2?
False
Let u be (-3*16/(-216))/(1/(-1)). Let y = -4 + 0. Let b = y + 3.8. Is u greater than b?
False
Let u = 25.95 - 26. Let v be (111/(-18) - -6) + 2/3. Which is greater: u or v?
v
Suppose -95*n + 90*n = -85. Suppose 41 = 4*m + n. Which is greater: 0 or m?
m
Suppose 23 = 2*t - b + 6, 3*b - 4 = t. Are 12 and t nonequal?
True
Suppose -z = -3*z + 2. Suppose z = -0*j + 5*j - 4*l, -3*l = 3*j + 21. Let h = -43 + 41. Which is bigger: j or h?
h
Let j be (-200)/(-60) + 2/3. Suppose -4*a = f - 2, j*a + a = 2*f + 61. Which is bigger: f or -19?
f
Let y(l) = 7*l + 21. Let v(j) = -8*j - 20. Let i(m) = -3*v(m) - 4*y(m). Let k be i(-6). Let d be -3 - (24/(-33) + -2). Are k and d unequal?
True
Let z = 0.3 - 0.1. Let i = -11.92 + 9.82. Which is smaller: z or i?
i
Let s(u) = -3*u - 8. Let t be s(-9). Suppose 14*h - t*h = 5. Let d(a) = a + 1. Let c be d(h). Which is bigger: c or 10?
10
Let s be 62 + 4/(-8)*-2. Suppose s + 25 = 4*v. Which is smaller: 23 or v?
v
Let x(y) = -2*y**2 - y - 1. Let p(a) = a**3 + a**2 - 4*a - 3. Let u be p(-2). Let j be x(u). Which is smaller: 13/5 or j?
j
Suppose 0 + 1 = -x, 4*v - x = -451. Is v at most as big as -113?
True
Let s = 239 - 491. Let a be (-1)/4 + 1017/s. Which is greater: -5 or a?
a
Let i be ((-4)/(-2) - 0)*(-74)/(-6068). Is -1 greater than i?
False
Let c(b) = b**2 + 3*b - 2. Let u be c(-5). Let l(a) = 2*a**