is bigger: t or u?
t
Let i = -1.0998 + -0.1002. Do i and 0.67 have the same value?
False
Let d be 4*(15/20 - 0). Suppose -38 = d*a - 4*p, a + 3 = 5*p + 5. Is a at most -19?
False
Let n(m) = 7*m**3 - m**2 - m. Let h be n(-1). Suppose v - 1 = 35. Suppose -5*z - 2*d - 34 = 0, -7*z + 4*z = -4*d + v. Is z != h?
True
Suppose -75 = -2*g + 5. Let u = -37 + g. Do u and 0 have the same value?
False
Suppose 2*m - 5 = m. Let y(v) = v**3 - 8*v**2 - 21*v - 10. Let p be y(10). Let h be (-4*5/p)/(2/10). Is m not equal to h?
False
Let w = -780 + 680. Is w at least as big as -99?
False
Let o be (-19)/(-3) - 14/42. Let q = -0.4 - 0. Let x = q - -0.3. Is o greater than x?
True
Let f be ((-1)/(-2))/((-1)/28). Let x be (-556)/f*21/9. Let s = 94 - x. Are s and 1 unequal?
True
Suppose -27 = 3*w + 9. Let p(j) = 11*j**2 - j - 2. Let x be p(-2). Let z be (x/(-6))/(-4 - (-56)/12). Is z at least w?
True
Suppose 0 = 3*h + 2*h + 65. Suppose 119*a - 130*a - 154 = 0. Which is smaller: a or h?
a
Suppose -4*k = -0*p - 2*p + 52, 0 = -5*p + 4*k + 106. Let r be (1/(-3))/((-24)/p). Which is smaller: r or -0.17?
-0.17
Let g = 9 + -3. Suppose -24 = 2*u - g*u. Suppose -4*w - 6 = -4*j + j, -3*j = 3*w - u. Which is smaller: j or 8/9?
8/9
Let l = -2.5 - 9.5. Let b = 0.156 - -7.844. Let i = l + b. Which is smaller: i or -1/2?
i
Suppose 0 = 4*a - 18 - 22. Suppose -4*i = -0*m + 2*m - 46, -2*i + 8 = -4*m. Is i bigger than a?
False
Let c(w) = -14*w + 1. Let p be c(-1). Let a be 25/p + 1*-2. Let o = 1.77 + -0.27. Does a = o?
False
Let v(d) = -37*d**2 - 47*d - 191. Let q be v(-4). Are q and -596 unequal?
True
Let m = -1640 + 1640.2. Which is smaller: -10/21 or m?
-10/21
Let l = 207.966 - -0.034. Are 0.1 and l equal?
False
Let f = 31/30 - 23/15. Suppose 3*y - 3*w - 11 - 4 = 0, 3*w + 25 = 5*y. Let j be (y/2 - 0) + -2. Which is smaller: f or j?
f
Let b = 850 - 851. Let v = -6 - -5.97. Which is smaller: v or b?
b
Let o = 278.9 + -283. Is o greater than or equal to -1/7?
False
Let q = 282 - 270. Which is bigger: q or 13?
13
Let b(g) = g + 41. Let o be b(-25). Is o less than 19?
True
Let v be -6*-2*(-10)/(-12). Suppose -3*u = 2*u - v. Suppose x - 1 - u = -4*y, -4*y + x + 5 = 0. Which is smaller: y or 2?
y
Suppose 0 = -5*h - t - 779, 4*t = 4*h + 813 - 185. Let n be -5*(-8)/h + 6/(-9). Which is smaller: n or -2?
-2
Let o(v) = -8*v**3 + v**2 + 5*v - 16. Let y be o(2). Is -63 < y?
False
Let w = -1999/2 - -999. Which is smaller: -1/76 or w?
w
Suppose -3*r = r - 8. Let t(s) = -2*s - 3*s**3 + 0*s + 4*s**3 - 4 + 3*s**r. Let v be t(-3). Is 2 greater than v?
False
Let c = 12 - 7. Let l be 216/28 - (-24)/(-8). Which is smaller: l or c?
l
Let h(x) = 67*x + 572. Let b be h(-8). Are b and 386/11 nonequal?
True
Suppose 2*j + j = 90. Suppose -2*s = -8*s + j. Is s greater than -4?
True
Let a = -18.87 + 19. Let c = -7.87 - a. Which is smaller: c or -2?
c
Let i be (-6)/47*(-2 + (-35)/(-20)). Is 1 not equal to i?
True
Let r be (-4)/(-7) + -1 + -2. Suppose 7 - 1 = -b + 3. Is r <= b?
False
Let g(v) = -v**3 - v**2 + 32*v + 3. Let s be g(-6). Which is bigger: -5 or s?
-5
Let j = -417 - -1009. Is 591 less than or equal to j?
True
Let n(m) = -2*m - 4. Let g be n(-4). Suppose 45 = g*l - 23. Suppose -3*a - 4*w = -l, 3*w - w = 5*a - 37. Is -0.1 < a?
True
Let c be ((-62)/10 - -6) + (-72)/(-210). Which is smaller: -3/5 or c?
-3/5
Let j be (-26)/(-39) + 10750/(-15). Which is smaller: -715 or j?
j
Suppose -3368 - 25468 = -81*m. Which is smaller: m or 709/2?
709/2
Let h = -0.7382 + 38.5282. Let l = -38 + h. Which is bigger: l or -2/3?
l
Let a(q) be the second derivative of q**4/12 + q**3 + 3*q**2/2 - 6*q. Let c be a(-3). Is -4 greater than c?
True
Let s = -24792/77 + 322. Let i = -473 - -474. Is i < s?
False
Let m(g) = 3*g - 954. Let i be 4 + (-6 - 8/(-4)). Let t be m(i). Let r be 8/10 + t/405. Which is bigger: r or -2?
r
Suppose m + 4*m - 2*o = 16, o + 6 = 2*m. Suppose -5*a + 2*c = -20, 31 + 7 = 3*a + m*c. Which is greater: a or 1?
a
Let s(q) = -q + 7. Let h be s(6). Let p be (-79)/260 + 56/364. Which is greater: p or h?
h
Let a(c) = -49*c - 243. Let i be a(-5). Which is smaller: i or 46/27?
46/27
Let t(r) = 690*r + 1. Let x be t(-8). Let o = x - -32053/6. Let w = o - -176. Is w smaller than 0?
True
Let t be (-7)/21*24/(-20). Let n = -7 + 5. Let b = -4 - n. Are t and b unequal?
True
Let g = 0.279 - 205.279. Let w = g - -202.94. Let c = 0.06 + w. Is -0.2 equal to c?
False
Let t = 2074054 + -85022765/41. Let v = t + -328. Is 1 not equal to v?
True
Suppose s = -0*f + 5*f + 8, 3*s - 12 = 3*f. Is -4 smaller than f?
True
Suppose 10*q - 282 = 308. Suppose -3*r = -3*d - 18, -3*r + 6*r = -4*d - q. Which is smaller: -12 or d?
-12
Let p = -12 - -21. Let t(u) = -u - 2. Let g be t(p). Let s = 13 + g. Are 0.7 and s non-equal?
True
Suppose 3*h - 130 = -10. Suppose -587 + 95 = -12*s. Which is smaller: h or s?
h
Let r = 0.46 - 30.46. Let v = -68 + 69. Is r less than v?
True
Let s be -1 + 5 + -3 + 35. Suppose -l = -u + 20, 5*u - 3*u = -2*l + s. Which is bigger: u or 20?
20
Let l(i) = i**2 - 12*i - 30. Let p be l(13). Let o = p - -14. Is -15/4 bigger than o?
False
Let d be -312 + (19 - 8) + -5. Is -306 bigger than d?
False
Let k be (-10)/2*(-511)/(-35). Do k and -73 have different values?
False
Suppose 5*s - 5*v = -55, 2*v = -2*s - v - 12. Let c be 4/3 - 798/s. Is 90 > c?
False
Suppose 0 = 5*h - 2*h - 33. Let m be ((-33)/2)/((-7)/14). Suppose -5*k = -l + 11, -l = -4*l - 5*k + m. Is l smaller than h?
False
Let q be -6*1/4*-2. Suppose 15 = -6*u + q*u. Let r = 1 + u. Is -2 not equal to r?
True
Let h = 1616 + -1803. Which is bigger: 0.1 or h?
0.1
Suppose -62*d = -41*d - 3423. Is d at least as big as 327/2?
False
Let u be (-34)/(-85) + (-172)/440. Which is smaller: u or 1?
u
Suppose l - 3*l = 10, 5*m = -l. Let g be 172/(-57) - (-4 + 1). Is g bigger than m?
False
Let x(k) = k**3 + 13*k**2 + 11*k + 15. Let n be x(-12). Suppose 3*f + 5*o + 47 = -f, o + n = -3*f. Let g = -9 - f. Which is bigger: g or 2/45?
2/45
Let f = 117 - 112. Suppose 2*w - 8 = 6*w. Which is smaller: f or w?
w
Let z be (-1)/((-6)/(-8)) + 0. Let s = z + 34/27. Let f be 1/4 - (-15)/(-12). Which is smaller: f or s?
f
Suppose -5*v + 0*v = -z - 6, -4*z - 4*v + 48 = 0. Which is greater: 4 or z?
z
Let g(j) = j**2 - 3*j - 6. Let q(u) = -u**2 + 3*u + 7. Let p(x) = -3*g(x) - 4*q(x). Let n be p(-4). Which is greater: n or 1/4?
n
Suppose -2304*b = -2311*b - 483. Is b < -69?
False
Let a = -622 + 621. Is 1/384 <= a?
False
Let q = 4.8 + -8.9. Let o = q - -4. Let m = 6 + -16. Is o equal to m?
False
Let g be (-21)/14*16/(-6). Let c be (2/g)/(8/(-10)). Are c and 0 unequal?
True
Let z = 37 - 66. Let r = -27 - z. Is 1 greater than or equal to r?
False
Let m(w) = -27*w**3 - w**2 - w. Let i be m(-1). Let z = 22 - 69. Let d = z + i. Is d >= -21?
True
Let v(n) = -n + 19. Let t be v(5). Let d be 80/t*50/(-40). Which is smaller: -6 or d?
d
Let c(a) = -a. Let n be c(9). Let q = 89 + -99. Is q less than n?
True
Let g = 0.977 + -0.057. Let k = g + 0.08. Which is smaller: -1/8 or k?
-1/8
Suppose 0 = -2*w - 13 - 25. Let p be (-19 - w) + 16/7. Is 3 <= p?
False
Let r be 1/(1*1/(-7)). Let n = r - -8. Let k = -193/4 + 3289/68. Are k and n equal?
False
Let r = 0.65 + -0.06. Let y = r + -0.49. Which is greater: -21/4 or y?
y
Let v(y) = y**3 - 12*y - 18. Let j be v(-3). Which is smaller: -8 or j?
j
Let f be (-1 + -1)/((-22)/1199). Which is greater: 108 or f?
f
Let k = 40 - 42.7. Let h = 0.3 - k. Suppose 18*c + 28*c = 36*c. Which is smaller: h or c?
c
Let d = -563 - -565. Suppose 0 = v - 3*v + 4. Suppose 4*w + 14 = v*k, -3*k - 10 = -k + 2*w. Is d less than or equal to k?
False
Let x = -633 - -634. Which is bigger: x or -4/69?
x
Let q(y) = -4*y**2 + 9*y - 5. Let g be q(4). Let v be 6/g + 636/(-11). Let m = 41 + v. Do m and -16 have different values?
True
Let s = 7.6 + -7.5. Suppose 2*w - 18 + 0 = 0. Let n be ((-6)/w)/((-26)/6). Which is greater: s or n?
n
Let v be (-1 - -3)/((-10)/125). Let l = 26 + v. Which is greater: -2/31 or l?
l
Let c = -57.0033 - -0.0033. Which is smaller: c or -3?
c
Let i = 0.78 - -0.02. Let w = i - 0.5. Let a = -146.2 + 146. Which is greater: a or w?
w
Let h = 3.2 - 2.97. Let f = -0.07 - h. Let z be ((-150)/(-35) - -1) + -5. Which is smaller: f or z?
f
Suppose 3 = -5*z + 43. Let y = z - 11. Let m be 