tive of -i**2 - i - 5. Let z be c(-1). Suppose 0 = -2*v + 1 + z. Are v and 7/4 unequal?
True
Let g(k) = -6*k + 82. Let s be g(15). Is -8 greater than s?
False
Let a = 9/2 + -4. Let i(n) = 2*n**3 - 5*n**2 - 2*n + 5. Let r be i(4). Let f be r/9 - (-2)/(-1). Which is smaller: a or f?
a
Let u be ((-5)/5)/((-65)/(-75)). Is -1 greater than or equal to u?
True
Suppose -4*l = -0*d + 4*d, d = -5*l - 16. Let x = 3 - d. Let k be x - -2 - -1 - 10. Is 1/4 greater than or equal to k?
True
Let h = -14801/16 - -925. Which is greater: h or -1/75?
-1/75
Suppose 5*r + 59 = 3*l, l - 14 - 2 = -2*r. Let f be -4*((-39)/l)/13. Is f != -1.5?
True
Suppose 0 = -6*v + 29 - 113. Is v at least -111/8?
False
Suppose -1691*k + 1707*k + 240 = 0. Is k bigger than -10?
False
Let a(d) = -d**3 + 5*d**2 + 5*d. Let w be a(6). Let y = w - -6. Is 2/11 < y?
False
Let f = 74.9 + 19.1. Let r = f - 91.9. Which is smaller: r or 2?
2
Let z = 23 + -32. Let k = 9.1 + z. Which is bigger: -4 or k?
k
Let s = 622 - 585. Is 3 bigger than s?
False
Let k be (-162)/(-8) - (-3)/(-12). Suppose 0 = -3*s - 15, 6*s - 2*s + k = j. Let z be 2 - (-7 - j - 1). Which is bigger: z or 11?
11
Suppose 3*o + o = 2*v + 52, 2*o + v - 22 = 0. Let f be -3*(3/(-12) - 13/o). Do f and 4 have the same value?
True
Suppose 2*w = 3*w - 3*n + 15, 2*w + 25 = 5*n. Let j = -751 + 23277/31. Is j at most w?
True
Let g(c) = c + 14. Let j be g(13). Let q = j - 31. Is -5 greater than q?
False
Let p(k) = -k**2 - 15*k + 10. Suppose 97 - 27 = -5*w. Let j be p(w). Suppose 2*o - j = -5*r, 12 = 3*o + 2*r - 13. Is 5 at least o?
False
Suppose -944 = -4*x + 1320. Are x and 566 non-equal?
False
Let g(j) = j + 7. Let o be g(15). Let b be (-3)/(-4)*8/o. Which is smaller: 0 or b?
0
Let q be (0 + (-71)/4)*-12. Is q greater than 214?
False
Suppose -5*c + c = 3*c. Suppose -5*s - y - 5 = c, 4 + 16 = -4*y. Which is smaller: s or -2/89?
-2/89
Let h(u) = u**3 + 24*u**2 + 30*u + 151. Let t be h(-22). Which is greater: t or 0.1?
t
Let l be (-2)/4*(2 - 528). Let w be 52925/(-200) + (-2)/(-1). Let k = l + w. Which is smaller: 1 or k?
k
Let j be (-1)/(-4)*-213*(-16)/42. Let k = j - 22. Which is smaller: k or -3?
-3
Suppose -2*h + 0*h + 50 = 0. Suppose -5*i - 3*l = h, 3*l + 2*l + 19 = 3*i. Suppose 0*g - 18 = -2*g - 4*j, -5*g - 5*j = -20. Is i > g?
False
Suppose 8 = -2*w - 2*w. Let u be (99/(-3))/((-2)/w). Let i be 88/u*2/40. Which is smaller: i or -2/7?
-2/7
Let w(b) = -b - 3. Let u be w(-5). Suppose 3*f = 4*l + 4, -4*f + l = -f - 1. Let x = f + u. Which is bigger: 3/4 or x?
x
Suppose 4*f = -22*f - 14196. Let g(j) = -j + 12. Let h be g(5). Let o be 284/f + 4/h. Are 1 and o unequal?
True
Let h = -34.791 + -8.155. Let a = -0.054 + h. Let d = a + 26. Is d smaller than 1?
True
Let o = -212/7 + 431/14. Which is smaller: o or 0?
0
Let i = 36/55 + -5/11. Let g = -254.061 + 254. Let m = -0.139 + g. Which is bigger: m or i?
i
Let t be (-7)/(-8764)*7508 + -6. Is 0 less than or equal to t?
False
Suppose -o - 12 = 5*g, 3*o + 0*o - g + 52 = 0. Which is smaller: o or -222/13?
-222/13
Let h(x) = -1. Let w(t) = -t - 9. Let z(a) = -21*h(a) + 3*w(a). Let g be z(-6). Let q be ((-8)/6)/(10/g). Which is smaller: q or -2?
-2
Suppose 115 = -t + 3. Let x be (-4)/2 + t/(-52). Let w(u) = -u**3 - 3*u**2 - 1. Let i be w(-3). Which is bigger: i or x?
x
Let v(o) = -10 + 2*o**2 - 889*o + o**3 + 1 + 884*o. Let z be v(-2). Which is smaller: z or 5/6?
5/6
Let d = -26 + 36. Suppose 0 = -s + 6*s + d. Let a be s*(-9)/12*-2. Which is greater: -12/7 or a?
-12/7
Let r = -202 - -176.6. Let t = -25 - r. Which is bigger: t or -8?
t
Let w be (-1)/((-4)/(-8)) - -2. Let b be (36/44)/((-6)/8). Is w > b?
True
Let f = -0.2 - -1. Let m = 42 - 41.4. Let s = f - m. Is -2 >= s?
False
Let j(a) = 122*a + 1. Let y be j(-6). Let f = -2171/3 - y. Let p be (1 + (-4)/6)/((-9)/(-162)). Which is greater: p or f?
f
Let c be -1 - (-2)/3 - 0. Let s(n) = 56*n + 165. Let q be s(-1). Is c > q?
False
Let l = -2 + 2. Let m = 68.7 - 74. Let b = m - -5. Are b and l non-equal?
True
Let h = 19 + -15. Let o(p) = -2*p**3 - 4 + h*p**2 + p**3 + 2*p**3 + 2*p. Let v be o(-3). Is -5/3 <= v?
True
Suppose 2*o - 80 = -2*o. Let f = 13 - 25. Let u be (-1)/(3/(f/o)). Is 0 equal to u?
False
Let o = -147.996 - -148. Let k = o - -0.796. Is 7 at most k?
False
Suppose 0 = -5*g + 8 + 2. Suppose g = 3*j + 5. Let n be (-70)/36 - -1 - -1. Is n smaller than j?
False
Let k(t) = t**3 + 5*t**2 - 5*t - 14. Let b be k(-8). Is b greater than -166?
False
Let n be 5/(-10) - 1/((-6)/21). Let j be n/1 - 5/(25/20). Is j smaller than 8?
True
Let q = 27/100 - 4747/16100. Which is smaller: q or 1?
q
Let h(j) = -1074*j**2 - j + 1. Let l be h(-1). Let i = l + 7492/7. Is i less than -2?
False
Let r be 40/6*9/(-6). Let t(a) = -a - 7. Suppose 2*q + 3*s = -q + 3, -4*s = q + 8. Let j be t(q). Which is bigger: r or j?
r
Let r be (-2)/(-9) + 32/(-90). Suppose 195 = 2*c + 111. Let o = -43 + c. Which is greater: r or o?
r
Let x be -2*1*(-1)/2. Let o = -2 + x. Is 1/21 less than o?
False
Let j(b) = -b**2 + 7*b + 12. Let c be j(9). Which is greater: -7 or c?
c
Suppose 3*g + 0 = -3, 2*h = 5*g - 5. Let r = h - -3. Let f be (2 + r/4)*-2. Is -3/2 at most f?
False
Let d(g) = 18*g - 470. Let z be d(22). Is z at least as big as -77?
True
Let c = -4 - 0. Let x(y) = y**3 + 7*y**2 - 33*y - 30. Let j be x(-10). Do j and c have different values?
True
Let t = 1998365/183 - 10920. Which is bigger: 1 or t?
1
Let m = 0.56 + 0.04. Let o = 61 - 58.4. Let c = m - o. Which is smaller: c or 2?
c
Suppose -5*s = 5*h - 10, -4*h - 5 = -2*s - 1. Let c = 1094 + -12046/11. Is h at least as big as c?
True
Let b = -41 + 93. Let t be (b/(-91))/((-2)/(-6)). Which is smaller: t or -3?
-3
Let w(t) = -t**3 - 8*t**2 + 7*t - 13. Suppose q + 29 = -0*q - 4*m, 3*m = q - 6. Let n be w(q). Let r be (-1)/8*(4 - n). Is r <= -0.1?
False
Let x = 574 + -575. Which is bigger: x or 28/89?
28/89
Suppose o - 3 + 1 = 0. Let l be (12/(-5))/(6/(-4)). Are o and l nonequal?
True
Let a be 2*-1 - (12 + -24). Suppose 17 = 3*m - a. Is 8 greater than m?
False
Let p = 56 + -106. Are -54 and p nonequal?
True
Let f(c) = 4*c - 28. Let k(z) = -3*z + 27. Let v(n) = 2*f(n) + 3*k(n). Let q be v(20). Which is greater: q or 16/3?
16/3
Let r = -1363 - -1363. Which is smaller: -1/58 or r?
-1/58
Let b = 78 - 61. Which is greater: 6 or b?
b
Suppose -4*k = -3*g - 29, 9*g - 18 = -3*k + 12*g. Suppose 0 = 6*o - 3*o + 9. Which is smaller: k or o?
o
Suppose -k + 1 - 15 = 0. Let f(r) = -2*r - 32. Let z be f(k). Is 0.02 at most as big as z?
False
Let x(z) = z**3 + 8*z**2 - z + 3. Let i be x(-8). Suppose 0 = -f - 2 + 1, -3*q - 5*f - i = 0. Which is smaller: q or -9?
-9
Let s = -8.9 - -9.9. Which is greater: s or 10.6?
10.6
Let d(h) = 6*h - 131. Let f be d(-12). Is -203 bigger than f?
False
Let b be (67 - 10)*(1 + 0 + 0). Is b smaller than 404/7?
True
Let j(l) = 17*l + 64. Let m be j(-11). Which is bigger: -124 or m?
m
Let j be ((-222)/10)/((-1780)/24). Let i = j + -48/89. Which is greater: i or -1?
i
Let c = 0.09 + -5.39. Let n = c + 5.2. Are n and -0.007 equal?
False
Let x = -0.12 + 0.02. Let i = -28 - -27.44. Let s = -0.6 - i. Is x < s?
True
Let s be (-5 + 6/4)*8/(-14). Let k(b) = b**3 + 9*b**2 - 9*b + 11. Let j be k(-10). Is s <= j?
False
Let u = 19.8 + -20. Which is bigger: 1/95 or u?
1/95
Let q = -37 + 49. Let b be (28/(-8))/((-2)/q). Do b and 20 have different values?
True
Let f = 65531/27 - 2427. Let t(c) = c**2 - 3*c - 1. Let o be t(3). Which is smaller: f or o?
o
Let b(c) = -c**2 - 23*c - 22. Let k be b(-20). Let u = k - 39. Which is bigger: 3/11 or u?
3/11
Let k be (1 + -7)*1*(-8)/12. Suppose -v + 5*o = 2*v + 39, -k*v - 52 = -3*o. Which is smaller: -12 or v?
v
Suppose -12*r = -17*r - 2*i + 6, -9 = -5*r - 3*i. Let a = 13872/25 - 555. Is r < a?
False
Let h be (-4)/6 + (-84)/(-18). Suppose 7 = o + h*i - 7, -4*i - 16 = -4*o. Suppose -4*u - 3*c = o, 2*c = -5*u + c - 13. Is u greater than -7/3?
False
Let l = -220 - -156. Let i = l - -64. Which is smaller: 50 or i?
i
Let o be 188/(-423) - (2 - 8/18). Is -19/32 at least as big as o?
True
Let w(f) = 2*f**2 + 4*f - 19. Let y be w(0). Which is smaller: 0.07 or y?
y
Suppose 0 = -15*k + 5*k + 100. Let a(s) = -s**3 + 12*s**2 - 18*s - 13. Let c be a(k). Which is smaller: 15/2 or c?
c
Let o = -136311/6578 + 228/11.