(-3)/(-6). Let y be q(s). Is -18 bigger than y?
True
Let d = 128 - 40. Let q be ((-2)/5)/(d/(-55)). Are q and -26 equal?
False
Suppose 2*h - 4*t - 238 = 0, -6*t + 471 = 4*h - 9*t. Is 109 <= h?
True
Let f be 8/(-6) + (-15)/(-45). Which is smaller: 2/303 or f?
f
Let d = 214996/163 + -1319. Which is bigger: d or 0?
0
Let c = 29/93125 + 4/625. Which is smaller: 1 or c?
c
Let o = -6.59 - -4.36. Let s = -0.23 - o. Which is bigger: 14 or s?
14
Suppose 4*p - 1 = 3. Suppose t - s = 7 + p, -3*s - 32 = -4*t. Suppose 4*d - t = 0, -5*d = k - 5*k - 6. Does k = 2?
False
Let z = -1/1298 + -8/59. Let j(h) = -3*h**2 - 3*h - 18 + h**3 + 21*h**2 - 2*h + 4*h. Let l be j(-18). Is z at most as big as l?
True
Suppose -5*w = 5*k - 5, 2*k = 7*w - 8*w. Which is smaller: -1/319 or k?
k
Let t = -1.06 - -0.9. Let m = 0.84 - t. Let y = 2 + -1. Is m at most as big as y?
True
Let d be 3/(-48)*(2 + -3)*1. Let a be ((-4)/12)/(2/6). Is d at most a?
False
Suppose -v - 6*v - 196 = 0. Let y = -20 - v. Suppose -2*a - y = -2*x, 2*x + 3*x - 8 = a. Which is smaller: 2 or x?
x
Let r be -3 - -2 - (0 - 31). Let b = -23 + r. Let w = b - 5. Is -1 at least as big as w?
False
Suppose 4*o = o + 12. Let b = 2 - o. Let f be (-2)/(-5)*33/(-22). Which is bigger: f or b?
f
Let y(j) = 6*j - 18. Let k be y(6). Suppose -2*z + 5*p + 38 + 0 = 0, -5*z + 95 = -4*p. Is z <= k?
False
Let l = 27 + -12. Let a = l + -15.04. Which is smaller: a or -0.2?
-0.2
Let m = 202/15 + -212/15. Let a(k) = k**3 - 5*k**2 - k + 7. Let f be a(5). Suppose 5 = -3*z + f. Is z at most m?
True
Suppose -2*n = -3*c + 3*n + 81, 90 = 3*c - 2*n. Suppose -4*z - 2*x = -6*z + 24, 2*z = 4*x + c. Which is bigger: 0 or z?
z
Suppose -v + 10 = 4*v. Let h be 5/(-1)*(-4)/20. Suppose -2*z - 8 = 0, -5*j - z = h - 2. Is v greater than or equal to j?
True
Let v = 115/6 - 191/12. Let j = 4 - 1. Is v bigger than j?
True
Let v be 3*(-6)/9 - -4. Suppose -4*z + 5*z = w + 72, -5*w - 345 = -v*z. Is 0.1 less than or equal to w?
False
Let l = -9 + 19. Let i = 11 - l. Let m = i - -2. Which is greater: 0.1 or m?
m
Let c = -1.6 + -1.4. Let y = c - -17. Let n = -14 - -14. Which is greater: n or y?
y
Let f be 45/(-75) - (-76)/10. Suppose f*w + 2*w + 81 = 0. Which is smaller: w or -11?
-11
Let k(z) = z**2 - 25*z + 27. Let u be k(24). Is u less than -7?
False
Suppose -l = 0, -b - l - 1 = 2*l. Let h = -663 - -61657/93. Are h and b unequal?
True
Let l(z) = z**3 + 2*z**2 + 4*z + 3. Let b(h) = h + 3. Let n be b(-5). Let d be l(n). Let j(t) = -2*t - 37. Let c be j(-17). Which is greater: c or d?
c
Suppose 2*w - 5*n = 60, -n = 5*w - 64 - 59. Suppose 5*x = -0*x + w. Suppose 0*u - x*u = 0. Which is smaller: u or 3/11?
u
Suppose 0 = -5*f + 58 - 18. Suppose 24*y - 840 + 720 = 0. Are f and y equal?
False
Let o = -4 + 4. Let b = 104 - 104. Does b = o?
True
Suppose 4*l + 9 = 3*i - 108, -4*l - 78 = -2*i. Which is smaller: 36 or i?
36
Let o(v) = -75*v - 1199. Let k be o(-14). Is k at most -149?
True
Let b(j) be the third derivative of j**5/60 - j**4/3 - 3*j**3/2 - j**2. Let a be 4/(-14) + 116/14. Let w be b(a). Which is smaller: -8 or w?
w
Let m = 14 - 13. Let j be (m - (-3 - -7)) + -31. Let c be (-98)/j + 33/(-11). Is 1 <= c?
False
Let i(f) = f**3 + 21*f**2 + 21*f + 16. Let x be i(-20). Which is smaller: -66/19 or x?
x
Let q(x) = -x - 8. Let h be q(-3). Let s(g) = 2*g**2 + 5*g - 8. Let d be s(h). Which is greater: d or 49/3?
d
Let s = -4406.21 + 4388. Let u = s + 0.21. Let i = u + 17.98. Is i < -1?
False
Let f = -5.47 - -6.47. Let l = -73 + 72.71. Let r = l + 0.12. Which is bigger: f or r?
f
Let r(t) = 38*t - 266. Let q be r(7). Which is smaller: q or -9/50?
-9/50
Let a = -8.04 - -0.04. Let q = -7.5 - a. Is -2/5 at least as big as q?
False
Let d = -152032/6193 + 270/11. Is d < 1?
True
Let m be (-2)/(-6) + 147*600/(-216). Is m > -409?
True
Let v = 15 + -17. Let m(g) = -11*g**2 + 4*g + 3. Let d be m(v). Is d greater than 0.1?
False
Let y = -50 + 29. Let l(r) = -14*r + 146. Let m be l(12). Which is greater: m or y?
y
Let g(w) = 11*w**2 - 15*w + 1. Let f(q) = 7*q**2 - 10*q + 1. Let c(d) = 8*f(d) - 5*g(d). Let x be c(4). Let s be 9/(-6)*28/(-126). Which is smaller: x or s?
x
Let k = -251540/113 + 2226. Suppose 0*c = 2*c - 2. Which is smaller: k or c?
k
Let m = 236995/153 + -1549. Is -1 smaller than m?
True
Let z = 20 - 25. Let n(d) = d**3 + 5*d**2 - 2*d - 4. Let m be n(z). Let u be (-2)/5 - m/10. Which is bigger: u or 1?
1
Let l be 6/4*(4 - (-16)/(-6)). Suppose -62 = -l*r + 4*r. Are r and -32 nonequal?
True
Let m be 12/(2/8*6). Let o = m - 10. Let b be (-1 + (2 - 2))*o. Which is greater: -6 or b?
b
Let d be (-3)/(-6)*(-16)/30. Suppose 4*r - f = 8, r = 4*f - 96 + 113. Which is greater: r or d?
r
Suppose -69*q = 586 + 242. Let z(y) = y**3 + 6*y**2 + 3*y - 4. Let f be z(-6). Let r = f + 11. Which is smaller: r or q?
q
Let u be 1 + (-1 - -1) + 3. Let d = -1961 - -7855/4. Is u greater than d?
True
Let h = 0.4 + -4.4. Let g = 154245/22 + -7013. Let b = 15/11 + g. Which is smaller: h or b?
h
Let d = 566/3 - 9946/51. Do d and -5 have different values?
True
Let g be -3*(14/(-6))/1. Suppose g*t - 24 = 3*t. Let p be t/(-9) + (-1)/6. Is p less than or equal to -1?
False
Let u = -356 - -374. Which is bigger: u or 2.5?
u
Let r = -0.019 + 2.319. Let c = 4.31 - -0.99. Let v = c - r. Are 2/3 and v non-equal?
True
Let q = 91473 + -57353639/627. Let d = q - -1/57. Let h be -1*3 + 29 + -27. Do d and h have different values?
True
Let p = -42841/27 - -1587. Is p >= -1/3?
True
Let v be (-1)/(-2)*(-150)/15 - 62. Is -66 > v?
True
Let t = 306.2498 + -0.2498. Which is smaller: t or 1?
1
Let u(i) = i**3 - i**2 + i - 9. Let l be u(-3). Which is bigger: l or -54?
l
Let k(i) = 34*i**2 - i. Suppose 0 = 5*n - 5. Let d be k(n). Suppose -5*y = 27 + d. Is -1/4 smaller than y?
False
Let z = -0.9 + 1. Let u(i) = -90*i**2 + 181*i**2 - 8*i**3 - 91*i**2. Let g be u(-1). Is g bigger than z?
True
Let x be (-1 + -3)*(-2 - (0 + -1)). Let t be 1*(3 - 2)*-1. Let f be (6 + t)*x/12. Is 2 at least f?
True
Let g = 4232/1491 - -4/213. Suppose 12*h + 15 = 17*h. Which is smaller: h or g?
g
Suppose 0 = 5*t - 0*t - 790. Is t < 157?
False
Suppose m + 5*r = 15, -3*m + 13 = 3*r - 4*r. Let y be (-3)/15*-36*m. Let j be y/(-24)*(-8)/(-42). Which is smaller: 6 or j?
j
Let x(v) = -2*v + 11. Let o be x(13). Let t be (-46)/(-10) - o/(-25). Let y be (t - 3)*(1 - 1). Is y >= 1?
False
Let k = 70 - 122. Let v = -37 - k. Is 17 smaller than v?
False
Let c = 710 - -119. Is c >= 830?
False
Let a(z) = -2*z - 6. Let m(w) = -w**2 - w - 2. Let g be m(-2). Let j be a(g). Suppose 0 = -0*t + 3*t + j*s, 0 = -t + 4*s + 14. Which is smaller: 2/3 or t?
2/3
Let q be ((-632)/296 - -2)*5/(-60). Which is smaller: -1 or q?
-1
Suppose -5*m = -0*m - 15. Suppose 4 + 8 = 6*u. Suppose u*x + m = -x. Is x < -2?
False
Let y = -1177/4676 + 2/1169. Which is smaller: -22 or y?
-22
Let i = 265.8 - 266. Is i smaller than -66/53?
False
Let z = -232/3 - -78. Let o = 4.6 + -11.9. Let d = 18.3 + o. Is z less than d?
True
Suppose -10 = a + 17. Suppose 4*b - 63 = 3*s + b, 0 = 2*b + 10. Is s less than a?
False
Suppose 5*k = -0*k - 5675. Let u be (-2)/6 + k/(-3540). Let r = u + -415/4484. Which is smaller: r or 1?
r
Let d = 43 - 11. Let q = d - 37. Which is smaller: q or -2/13?
q
Suppose -5*z + 150 = -15. Let b = 52 - z. Do b and 18 have the same value?
False
Let m = 3.1 - -8.9. Let v = 13 - m. Do v and -0.08 have different values?
True
Let h be ((-4)/(-90))/((-1)/10). Let o be ((-3)/(-2))/((-1)/(-78)). Let i be o/189 + (-4)/14. Which is smaller: h or i?
h
Let n = -17 + 24.1. Let g = n + -7.8. Is g < -3?
False
Let t be 1/2*(-8)/4. Is t > 3/154?
False
Suppose 2*t = -2*o, -4*o + t = -3*o - 4. Suppose -3*q = -3*w - 51, o*w + w - 39 = -3*q. Suppose 34 - 6 = 2*b. Which is bigger: q or b?
q
Let f = 21.3 - 20.3. Which is smaller: -134 or f?
-134
Let f(b) = 41*b + 498. Let m be f(-12). Which is greater: 37 or m?
37
Suppose 0 = -2*f + 3*m + m - 8, -2*f - 5*m = -19. Suppose -5*w + f = -3*w. Let q be (21/(-140))/((-3)/2). Which is smaller: w or q?
q
Let a = -13/11 + 791/660. Is 1 bigger than a?
True
Let i = 131757051469/2701 + -48780840. Let k = 35/37 - i. Is k less than 1?
True
Suppose m + 5 = 2*n, -m - 5*n + 1 = -n. Let s(i) = i**3 - 7*i**2 + i - 5. Let k be s(7). Let h be (-1 - 0)/(k + m). Is -2