81 or g?
81
Suppose 0 = -m + 4*v - 20 + 1, v - 7 = m. Let z(s) = -s - 13. Let n = -23 + 13. Let l be z(n). Is m bigger than l?
False
Let g = -198 + 282. Let t(z) = -6*z + 1 + 78*z**2 - g*z**2 - 9 - z**3. Let l be t(-5). Which is greater: -13/6 or l?
-13/6
Let u(h) = -h + 15. Let v be u(9). Let i = 11 - v. Suppose 0 = 4*s + i*g - 16, 5*s = -g + 62 - 21. Is 8 > s?
False
Let c = -165 - -291. Is c greater than or equal to 125?
True
Suppose -8 = -2*h - 2. Let w be -6 + 15 + (-1 - -2). Let g be 24/w + 4/(-10). Does h = g?
False
Let x be (-10295)/450 + (20/(-9) - -2). Let b = -833/30 - x. Is b smaller than -4?
True
Let j = -14.99 + -0.01. Let u = j + 14.85. Let x = u - 0.85. Is 6/5 < x?
False
Let c = -0.06 + -2.94. Let k = -16872 - -16870.8. Is k at most as big as c?
False
Let y = -70.8 - -81. Let j = y + -10. Is j >= 2?
False
Let n(k) = -k**3 - 31*k**2 - 83*k + 46. Let s be n(-28). Which is smaller: 137/8 or s?
137/8
Let y(c) = 11*c - 93. Let s be y(7). Do s and -5 have the same value?
False
Suppose 975 = 9*u + 2622. Is u less than -183?
False
Let f = 0.603 - -955.397. Is f at most as big as 1/3?
False
Let f = 70 - 70. Suppose f*s + s - 6 = 0. Which is bigger: 2 or s?
s
Let w = -173 + 165. Which is bigger: w or -14?
w
Let i(m) = -2*m - 3. Let n be i(-4). Let o = -12 - -15. Suppose y - 16 = -o*y. Which is smaller: y or n?
y
Let k be 4 + 4 + (0 - 3). Suppose -k*r + 1972 = -803. Let g = r + -5003/9. Which is smaller: -2 or g?
-2
Let u(h) = -h**2 - 9*h - 8. Let v be u(-12). Let a be v/(-14) + (-48)/16. Is -1 >= a?
False
Let a(f) = -f**2 + 22*f - 19. Let k be a(21). Suppose 7*v + k*v = 0. Is v at least 3/11?
False
Let r = -116 - -115. Is r smaller than 1/70?
True
Let p = -332 + 278. Is -160/3 at most as big as p?
False
Let f = 28 + -36. Let k be -8 - (2 + f - -4). Which is bigger: k or -5?
-5
Let a be ((-5)/50*-5)/((-1)/10). Is -30/7 at most as big as a?
False
Let q be -29*(-4)/(-3)*-15. Let p = -13342/23 + q. Let h = -123/92 - p. Which is smaller: h or -1?
h
Let y(a) = 24*a - 3. Suppose -u - 27 + 26 = 0. Let n be y(u). Which is bigger: n or 0?
0
Let v be -6 + 4 + 1 + 0. Let j = 0.141 - 0.191. Are v and j equal?
False
Let t be 24/42 - (0 + 4 + -3). Suppose -5*v - 2 = 3. Is t not equal to v?
True
Let x = -0.01 - 5.79. Let w = -5.9 - x. Which is greater: w or -2/39?
-2/39
Let m(q) = -q**2 - 4*q - 2. Let u be m(-7). Let r(c) = -10*c - 6. Let b be r(-3). Let n = b + u. Are 6 and n non-equal?
True
Suppose -5*j - 15 = -r, 3*r = 2*r + 2*j + 9. Let x be (-3)/33*r*9/15. Let w(k) = k - 4. Let g be w(3). Is g equal to x?
False
Let z(w) = 22*w**2 + 374*w. Let b be z(-17). Which is smaller: 2/1309 or b?
b
Suppose -4*a = -2*a + 5*j - 32, 92 = 4*a - 4*j. Let m = 24 - a. Which is smaller: 5/2 or m?
5/2
Let c(h) = 4 + 2 - 2*h + 0*h - 18*h**2 + 8*h. Let b be c(-1). Which is greater: -19 or b?
b
Let v(m) = -2*m - 4. Let o be v(-7). Let k = 1355/2 - 668. Do o and k have the same value?
False
Let i = -324.6 - -1.6. Which is smaller: i or -4?
i
Let j = -120.517 - 0.133. Let x = 121 + j. Which is smaller: x or -0.1?
-0.1
Let v = -500 + 2523/5. Which is smaller: v or 5?
v
Let n be (-5 - 3)/8 + (-5224)/(-4914). Let f = n - 2/27. Is -1 >= f?
False
Suppose 0*o - o - 6 = 0. Let t be (4/6)/(o/(-9)). Which is greater: 3/16 or t?
t
Let y(n) = 3*n + 11. Let v(z) = -5*z - 16. Let w(l) = -5*v(l) - 8*y(l). Let d be w(-3). Is -10 at least d?
True
Let c(k) = -k**2 - 3. Let i be c(0). Let x be ((-4)/(-10))/(i/30). Let d = 317/5 - 66. Which is greater: x or d?
d
Let y = 23395774 + -64782896954/2769. Let q = 461143/213 + -2165. Let g = y - q. Which is smaller: -1 or g?
-1
Let q = -0.39 - -18.39. Let i = -24 + q. Let y = 3 + -3. Which is bigger: y or i?
y
Let j = 2525 + -7574/3. Let w = 3905/18 + -217. Which is bigger: w or j?
j
Let x be 1*(-2)/(-6)*(-11007)/(-165). Let p be 0/1 + 226/(-10). Let h = x + p. Which is smaller: h or 1/3?
h
Suppose 30*t - 34*t = 16. Let a be -1*(-3 - (-6 - t)). Which is smaller: a or 1/13?
1/13
Let j(u) = -u**3 + 15*u**2 + 29*u + 82. Let i be j(17). Which is greater: -73/24 or i?
i
Let u(i) = -i**3 + 15*i**2 + 14*i - 14. Let a be u(14). Is a >= 378?
True
Let v = 811 - 810. Which is greater: -14/39 or v?
v
Suppose 19*m = 24*m - 35. Suppose -3*u - a = -m*u + 12, -2*a = 5*u - 28. Is u greater than or equal to 22/5?
False
Suppose -2*y - y - n = 10, 4*y - n + 11 = 0. Let u(j) = 4 + 4 + 0*j**2 + j**2 - 8*j. Let x be u(6). Which is greater: x or y?
y
Let l(i) = -3*i + 5. Let x be l(-10). Let w be 2*(-3)/(30/x). Which is smaller: 1 or w?
w
Suppose -h + 5*n + 22 = 0, 2*n - 218 = -0*h - 5*h. Let r = 41 - h. Do -4/7 and r have the same value?
False
Let r be 0/(2 + 0 + -3). Suppose 7*k + r = 35. Suppose -2 = -k*j + 3. Are 2/3 and j non-equal?
True
Let b = 2 - 3. Suppose 3*u + 31*u + 74 = -28. Is u bigger than b?
False
Let v = 150.7 + -148.7. Let b be -2 + 7/8*2. Which is smaller: v or b?
b
Let n(r) = -2*r - 34. Let o be n(-7). Is -19 at most as big as o?
False
Let x = 58 + -83. Let j = 148.4 - 174. Let y = x - j. Which is bigger: -0.1 or y?
y
Suppose 3*o + 5*r = 2*o - 6, -2*o + 5*r = -18. Let p = -5 - o. Let c = p + 6. Is c <= -4?
False
Let d = 4.13 - 0.13. Let a = 7 - 6. Let k = d + a. Which is bigger: 2 or k?
k
Let x = 1.81 - 1.71. Do -3/23 and x have the same value?
False
Let u be 2889/54*(-1)/(-99). Let x = u + -4/99. Which is smaller: x or 41/4?
x
Let p = -1457/3 - -67031/138. Which is smaller: p or -1?
-1
Suppose -10*k = -14*k + 96. Let d = k + -23. Let c be ((-20)/(-132))/((-2)/(-6)). Which is greater: d or c?
d
Suppose 8 = 5*z + 333. Let r be z/55 + (-4)/(-22). Let b = -2 - r. Does 0.03 = b?
False
Let w(x) = -x**2 + 6*x + 8. Suppose -6*c = -2*c - 76. Suppose -2*o = -c + 7. Let a be w(o). Which is greater: 7 or a?
a
Let q be ((-18)/21)/(1/(-7)). Let o be q/(-3)*(-6)/114. Let d = -25/57 + o. Is d smaller than 1?
True
Let q = -3.2 - 8.3. Let i = 13 + q. Let n = 0.5 - i. Is -2 > n?
False
Suppose 11 = 2*q - 3. Let z = -17 + q. Let t = -20 + 10. Are t and z nonequal?
False
Suppose 4*c + 0*c - 6*c = 0. Is 1/144 equal to c?
False
Let y(b) = -3*b + 870. Let i be y(0). Is 869 <= i?
True
Let z = -0.6 - -3.6. Let r = -4833/7 + 691. Are r and z equal?
False
Suppose -3*y + 90 = -18. Suppose -4*v + 2*v + y = 0. Suppose 6*w = -3*f + w - 22, -w = -5*f - v. Are -4 and f equal?
True
Let q = -191.4 - -192. Is q at most as big as 1/25?
False
Let n be (-16)/18 - 4/(-6). Is n greater than or equal to 0?
False
Let n(v) = 12*v**2 + 6*v - 17. Let c be n(2). Is 43 less than c?
False
Let c = -0.0578 - -0.1578. Is c at least as big as 3.82?
False
Let j be (-12 - -10) + 6/4. Which is smaller: 0.0316 or j?
j
Suppose -4 = 11*s - 12*s. Suppose 3*n + s*w + 50 = 0, 0 = n - 4*w + 3*w + 5. Let p = n - -4. Is 0 >= p?
True
Let p = -23 - -41. Suppose -3*v = -t - p, t = -v + 3*v - 20. Let w be ((-44)/t + -2)*-2. Is w less than or equal to -2/7?
False
Let u = -12 - -13. Let r be -3 + (2/u - -8). Let s(c) = -c**3 + 6*c**2 + 8*c - 7. Let q be s(r). Which is greater: -2/13 or q?
q
Let u = -3 - -4. Suppose 5*p = 5, u = -n - 4*p + 4. Let x be (-15)/3 - 4/n. Is x < -6?
False
Let s = 173 + -201. Which is greater: s or -147/5?
s
Let h(m) = m**3 - 6*m**2 - m + 8. Let i be h(6). Suppose -2 = -2*v + 2*o, o = i*v - 4*o - 11. Which is bigger: -0.9 or v?
-0.9
Suppose x + u + 6 = 3, x = -3*u - 7. Let s be ((-28)/12)/(x/3). Let p be 14/2*(-6)/s. Do -4 and p have different values?
True
Let g be ((78 + 6)/6)/(-1). Is -5 <= g?
False
Let m(l) = -4*l - 8. Let g be m(8). Let x be 56/g*(-4)/14. Let f = -0.03 - -0.13. Which is greater: x or f?
x
Suppose -3*w = n + 215, 4*w + 185 = 2*n - 115. Let g = w - -82. Are g and 3 non-equal?
True
Let g = -469/120 - -31/8. Let p(q) = 2*q - 9. Let f be p(6). Suppose -f*l + 5*s = 13, 0 = 4*l - s - s + 8. Is g greater than or equal to l?
True
Let y(r) = -r**2 - 21*r + 45. Suppose -x - 4*d - 7 = 0, 2*d - 76 = 4*x + 6*d. Let n be y(x). Is 6/17 at most n?
False
Let p(r) = -5*r - 2. Let n be p(1). Let q be (-12)/42 - (-117)/n. Is q smaller than -18?
False
Let l(w) = -666*w. Let f be l(-1). Let r = 15438/3259 + -107104150/159691. Let g = r + f. Is 1 != g?
True
Suppose 0 = 5*c - 160 + 110. Let s be 2/4*2*13. Is s bigger than c?
True
Let z = 0 - 70. Let m = z - -70.59. Is -0.1 greater than m?
False
Su