 = 0. Is -1 > o?
True
Let d be (-585)/(-2180) - (-8)/(-32). Suppose -k = -5*k. Is k smaller than d?
True
Let t be (-3)/9*1 - 25/(-3). Let x be -49 - (t/(-4) + 2 + -1). Is -49 != x?
True
Let g be -2 - -3 - -4*2/(-1). Let l(y) = -3*y**2 - 15*y + 12. Let i be l(g). Are i and -29 non-equal?
True
Let g be 1852/130 - ((-540)/130 - -4). Is g less than or equal to 14?
False
Let b = -147711/263084 + -1/2956. Which is bigger: -1 or b?
b
Let c = 27 + -26.935. Let x = c + -3.065. Is x greater than or equal to 10?
False
Let p be -3 + (-1)/(-1) - -11. Let w = -17 - -27. Suppose -3*f + 17 = -w. Are f and p equal?
True
Let l be ((-10)/6)/((-2)/6). Let d(u) = u**2 - 4*u + 7. Let f be d(l). Is -1/4 <= f?
True
Suppose 4*p = r - 14, -11 = 5*r - 3*p + 4. Which is bigger: r or 21?
21
Let r(f) = -f**2 - 6*f + 4. Let t be r(4). Let c = -795/22 - t. Let v = -5489 + 5490. Is c smaller than v?
True
Suppose 3*q + 2*a + 7 = 0, q + 4*a = 2*a - 9. Let j be 6/(-21) - (26/(-42) + q). Is j at least as big as 21?
False
Let h = 79 - 133. Let z = h - -54.3. Is z >= 0?
True
Suppose 0 = 4*i - 5*a + 13, -3*a + 1 = 2*i - 20. Let c be (-3)/(-9) + (-62)/(-30). Which is smaller: i or c?
c
Let y be 7 - 100/125*335/2. Is y not equal to -126?
True
Let c(n) = -n**2 + n - 2. Let y be c(1). Let t = 4 + y. Suppose 11 - 9 = -t*x. Which is smaller: -2/31 or x?
x
Let k = 0.74 - -0.16. Let j = -0.08 - 0.02. Let t = j - k. Which is smaller: 2 or t?
t
Let a = 4887/5 + -14686/15. Let c = -1.8 + 2. Is a at least as big as c?
False
Let w be (-15)/(-6) + (-3)/(-6). Suppose -5*u + 0*u + 4*j = 7, u - w*j + 8 = 0. Are u and -3 non-equal?
True
Let x(s) = -154*s**2 + 13*s - 2. Let a be x(1). Is a > -143?
False
Let h = -11 - 41. Let f be h/24 + (-1)/(-3 - -2). Which is bigger: -3 or f?
f
Suppose 156*x + 72 = 159*x. Let c = x - 23. Which is greater: 1/67 or c?
c
Let a = -0.1 - -1.1. Let c = -1 + a. Let q be -2 - (18/30 - (-64)/(-20)). Which is smaller: c or q?
c
Suppose 2*j = 5*v - 4, 62*v = 61*v + 3*j + 6. Which is bigger: v or -1/1461?
v
Let y be ((-14)/(-66))/(1/6). Suppose 0 = 60*a - 80*a + 40. Is a at most as big as y?
False
Let x(h) = h**3 + 5*h**2 + 3*h + 6. Let b be x(-5). Let a be -9*3/b + -3. Which is smaller: a or -2/9?
-2/9
Suppose -v + 24 = 5*k, -2*k - 12 = -0*k - 5*v. Let x be ((-2)/(-3))/(k/(-32)). Let o = -5 - x. Is -2/47 smaller than o?
True
Let t be 1*(-12)/(-10)*15/2. Let k be 1 + (t - 3) + (-2)/2. Which is smaller: -1 or k?
-1
Let l = -257 - -255. Is l at most -99/5?
False
Let l be 1 + (-20)/6 - 0. Let t = 0.196 + 0.804. Is t smaller than l?
False
Suppose -2*h + 43 = 5*x, 14 = h - 2*x + 3*x. Let c(s) = -s**3 + 10*s**2 - 8*s - 5. Let l be c(h). Let k = -15 - -21. Which is greater: k or l?
k
Let c be (-1 - -2) + 1 + 1. Let z = -24.42 - -24. Let k = z + 0.32. Is k bigger than c?
False
Let x be (3/(-6))/(1/4). Suppose 4*o + 3*p = -28, 3*o + p + 0*p + 16 = 0. Let k be (-3 - -4) + o + 2. Is x bigger than k?
False
Let o be 5*1 - (8 - 7)*-29. Is 34 >= o?
True
Let c = 0.363 + -2.363. Which is smaller: 31 or c?
c
Let c = 8 - 4. Let y be (-1)/(-2)*(c + -4). Let q be ((-4)/10)/(36/30). Are q and y non-equal?
True
Suppose 8*r = 3*r + d - 163, -5*r + 2*d = 166. Which is smaller: -405/13 or r?
r
Suppose -5*d + 3 = -2. Let v = 19109 - 8981247/470. Let z = 3/47 - v. Which is smaller: d or z?
z
Let i(s) = -3*s**2 + 32*s + 14. Let a be i(11). Is a less than 8?
True
Let t be ((-16)/24)/(1 - 1/3). Is t greater than or equal to -4/13?
False
Let j(s) = -s**3 - 7*s**2 + 8*s + 4. Let t be j(-8). Let v be (-1)/2 + (-6)/t. Are v and 1 nonequal?
True
Suppose 933*r - 942*r + 27 = 0. Let h = 11 + -7. Which is greater: h or r?
h
Let m = -1.6 - -6.6. Let h = 7 + m. Let l = 7 + -6. Which is bigger: l or h?
h
Let g = 18 + -8. Let v(h) = 6*h + 4. Let c be v(0). Suppose c*s + 3*o + 6 = 50, -4*o = 0. Does g = s?
False
Suppose 0 = 45*n - 20*n + 25. Which is bigger: 6/793 or n?
6/793
Let s = -0.229 - -0.429. Let f = -0.2 - -0.2. Which is smaller: f or s?
f
Suppose q - 4*u = u + 71, 4*u = -4*q + 284. Suppose n = -4*v + q, 3*v - 4*n = -16 + 93. Is 18 < v?
True
Let t = -0.0775 + -0.0225. Is t < 432?
True
Let o(t) = t - 17. Let y be o(17). Let n(m) = 2*m**2 + 5*m + y + m - 1. Let r be n(-3). Is -10/13 at least as big as r?
True
Suppose -2*r + r + 13 = 0. Suppose r = 7*g - 127. Let z = g + -18. Is 3 at most z?
False
Let t be (-3)/(-21) - (-318)/(-21). Are t and -6 equal?
False
Let i = -7 - -7. Let g = i + 4. Suppose -5*w = 3*l + 8, 5*w - w + g*l + 8 = 0. Which is greater: -3 or w?
w
Suppose 410 = 4*p - 3*b, 9*b = 8*b + 2. Are 104 and p nonequal?
False
Suppose -2 = 5*j - 7. Let z be (-8 - -10) + (j - 0). Suppose 3*r - z = 7*r - f, -2*r = f + 9. Does r = -1?
False
Suppose 2*k - 4 = -0*k. Suppose -k*f - 3*i = f - 348, 2*i - 349 = -3*f. Let w be 2/(-3) + 60/f. Is w equal to -1?
False
Suppose -5 = -5*d, 2*n - 4*d + 21 = -33. Which is greater: n or -12?
-12
Let y = 995/3 - 332. Which is smaller: y or -48?
-48
Let l(s) = -6*s + 1. Let y be l(-1). Suppose 4 = o - y. Which is smaller: o or 3?
3
Let t(c) = 13*c**3 - 2*c**2 + c. Let b be t(1). Let k be (3/(-3))/((-3)/b). Suppose 0*a = 4*a - k. Is 1/35 smaller than a?
True
Let p = 36 + -36. Suppose -12 + p = -4*i. Do 2 and i have the same value?
False
Let k(h) = -2*h - 22. Let d be k(-18). Let n be 46/d - (-4)/(-14). Let m = 2 + 1. Do m and n have different values?
False
Let v = -28.58 + -17.42. Which is smaller: 2/65 or v?
v
Let q be ((-8)/(-14))/(4 + -2). Let d(h) = 22*h**2 + 215*h - 29. Let i be d(-10). Is q < i?
True
Let v be 1/((-18)/(-2))*-6. Is -42/13 at least v?
False
Let i be 2 + 5/(-40)*10 + -2. Are -21 and i equal?
False
Let w = 775 + -783. Is -103/14 less than or equal to w?
False
Let y = -7.1 + 7. Let i = -8.3 - -7. Let r = i + 1.2. Are r and y nonequal?
False
Let d = -810954/161 - -5037. Which is smaller: -1 or d?
-1
Let q = 305 - 302. Which is smaller: 0.09 or q?
0.09
Suppose 0 = 5*y + 8 - 3. Let t be ((-1560)/(-63))/(-13) + (0 - -2). Which is bigger: t or y?
t
Let k = -5 - -9. Suppose 0 = -2*q - 4*q + 24. Suppose q*c + k = -0. Is -5/4 < c?
True
Let n = 29 + -16. Let r = 142 + -234. Let i = -78 - r. Is i at least as big as n?
True
Let j = 51 - 1072/21. Let z = 0.3 + -0.2. Which is smaller: j or z?
j
Let b = -0.1 - 0. Suppose -2*p = 2*p + 56. Let x = 99/7 + p. Which is greater: x or b?
x
Suppose 5*v = 2*k - 3, -3*k - 3*v = -0*k + 6. Let i be (k/(-3))/(32/108*12). Does i = 0?
False
Suppose 3*r + 10 = 34. Let j be 2/(4 - r - -2). Do 1 and j have different values?
True
Suppose 0 = -3*m + 2*s + 139, m - 41*s - 41 = -43*s. Do m and 54 have the same value?
False
Let w = -27 - -24. Let n be 2/12*w*-74. Are n and 38 nonequal?
True
Let f = -423/5 + 85. Suppose 15 + 0 = 3*r. Suppose r = b - 4*w, 0 = -4*b + w - 2*w + 3. Is f less than b?
True
Let c = -9.1 + 1.1. Let h(m) = -2*m - 15. Let f(t) = -3*t - 23. Let l(i) = -5*f(i) + 8*h(i). Let b be l(-5). Which is smaller: b or c?
c
Let r be (8000/(-120))/(26/(-3)). Is r <= 9?
True
Let w = -27857/6690 - 3/1115. Suppose -j - 8 + 21 = -2*c, 0 = 4*c - j + 23. Is c <= w?
True
Let t = -866 + 4308/5. Which is smaller: t or -1?
t
Suppose -15 = -4*x - x + 5*o, -x + 5*o + 7 = 0. Suppose -y - x = y. Let b be 0*3/9*y. Which is smaller: -3/5 or b?
-3/5
Let z = -427 - -561. Is 134 smaller than z?
False
Let c = -283 + 283. Let b = -9 + 4. Let q = -4.92 - b. Is q bigger than c?
True
Let z(p) = -2*p**2 - 3*p**3 - 3*p + p**3 - 1 - 2*p**3 - p. Let h(n) = n**3 + n. Let f(m) = -6*h(m) - z(m). Let c be f(1). Is c smaller than -1/16?
True
Suppose -4*y = -4*z - 48, 5*z - 28 + 78 = -5*y. Let d be (1 - z/(-5))*-5. Suppose 0*f = d*f. Does 2/3 = f?
False
Let k(g) = g**3 - 12*g**2 + 3*g - 20. Let y = 18 - 6. Let p be k(y). Which is greater: 17 or p?
17
Let l = 4 - -1. Suppose l - 11 = -k. Let g = -6 + k. Is 7/6 less than g?
False
Let z = -6.8938 + -0.1162. Let j = -0.01 - z. Let r = 8 - j. Is -0.08 < r?
True
Let w be 2 - (4 + -3 - 1). Suppose -k = l - w + 10, -20 = 4*k + l. Let y be k/(-20) + 9/30. Which is smaller: 2/3 or y?
y
Let j = -2 - -2. Suppose -5*i + t = 2*t + 26, 2*t = 2*i + 20. Let g be 6/9 - (i + 6). Which is smaller: g or j?
j
Suppose -6*i = 3564 - 318. Are i and -542 unequal?
True
Suppose -c + 3 = -0*c. Let i = c - -5. Let z(o) = -o**3 + 2*o**2 + 6*o + 4. L