-3/187 + 1137/935. Is s greater than c?
True
Let n(s) = -2 + 3*s - 2 - s**2 + s. Let h be n(3). Which is greater: 2/5 or h?
2/5
Suppose 9 = 20*x - 23*x. Which is smaller: -5 or x?
-5
Let i = 101 - 148. Let a = 8310 - 41786/5. Let s = i - a. Is s > 0?
True
Let v(o) = -o**2 - 5*o + 4. Suppose s = 3*n - 94, s = -n + 2*s + 34. Suppose -4*k = k + n. Let x be v(k). Does -2 = x?
True
Let d be 1*(-2)/(-2) - -1. Let i = -66 - -267/4. Does i = d?
False
Let s be ((-3)/18)/(2/(-12)). Which is smaller: -3/44 or s?
-3/44
Let o = -5 - -6. Let r = o + 3. Does 0.1 = r?
False
Let q(t) = 2*t + 6. Let h be q(-11). Let f = -17 - h. Which is smaller: -3 or f?
-3
Let r = 1 - -2. Let z = -52 - -49.1. Let u = r + z. Is u at least -0.1?
True
Suppose -v + 2*v + 7 = 5*i, -4*i = -2*v - 14. Let a be (v + 6)/(2/2). Let p be 2 + (-5 - (-1 - 0)). Is a at least as big as p?
True
Suppose -2*l - w - 85 = -4*l, 5*l = -3*w + 229. Is l > 45?
False
Suppose 3*z - u - 75 = -2*z, 0 = -5*z + 5*u + 95. Let d be 4/z + (-6)/(-77). Which is bigger: -1 or d?
d
Suppose -4*o = -g + 1, -4 - 6 = -5*o + 5*g. Let l be 6/21*(o - 0). Let k = 62 - 62. Which is smaller: l or k?
l
Suppose -2*g - 3*g + 50 = 0. Let l(t) = -t**2 + 11*t - 10. Let y be l(g). Are -5/4 and y equal?
False
Let i = 10.8 - -0.2. Let a = -10 + i. Are a and -0.1 non-equal?
True
Suppose 3*d - 3*y - y = 8, 5*y = 5*d - 20. Let f(o) = -o + 11. Let i be f(d). Suppose 5*j - i*j - 4 = 0. Are j and 2 nonequal?
False
Let i(q) = -17*q**3 - 5*q - 9. Let w(n) = 4*n**3 + n + 2. Let z(j) = -2*i(j) - 9*w(j). Let c be z(1). Suppose 44 - 34 = -5*d. Do c and d have the same value?
False
Suppose -11*q + 6*q = -5. Let p = 102 - 715/7. Is p >= q?
False
Let z = -13 - -10. Let p = z - -4. Let d be 0 + (0 + 1 - p). Is d at least -4?
True
Let s = 32 - 7. Which is bigger: 26 or s?
26
Suppose 2*g + 5 = 3*d, -2*g + 4 = 4*d - 6*g. Suppose d*m - 5 = -2. Let l = 1 - 2. Which is smaller: m or l?
l
Let l = -442/5 + 88. Is l > 1?
False
Suppose 5*g - 28 = g - 4*n, n = -3*g + 15. Suppose -4*f - 1 = -l, -f - 1 = -g*l + 18. Let r be (0 + 0 + f)*-1. Which is bigger: 0 or r?
0
Let k = -16 - -16. Suppose 10*n - 6*n + 4 = k. Which is smaller: 1/3 or n?
n
Let d(o) = -o**3 + 2*o**2 + o. Let r be d(2). Let z(q) = q + 11. Let w be z(0). Suppose -4*a = 3*f - 0*f + w, 0 = 4*f + 5*a + 13. Which is smaller: r or f?
r
Let h be 1 - -81 - 0/1. Let x be h/28 + 0 - 3. Which is smaller: x or 0?
x
Let j = 91/2 - 46. Is j bigger than 0?
False
Suppose -2*x - 10 = -0. Let t(k) = k**3 + 4*k**2 - 5*k - 2. Let g be t(x). Let u(f) = -f + 2. Let d be u(3). Is d bigger than g?
True
Suppose 5*u + 3*v = -0*v + 30, 13 = 2*u + v. Let f be (3/u)/(1/(-3)). Do -2 and f have different values?
True
Let q = -54 + 81. Suppose -6*u = -3*u - q. Let x be (-10)/12 + 3/u. Which is smaller: x or 0?
x
Let d be 0 - -2*15/6. Let x be -2 - (-5)/(5/6). Suppose 28 = x*z + d*w, 0*w + 4*w - 14 = z. Which is greater: z or 2/3?
z
Let d(n) = -3*n + 4. Let l be d(-3). Suppose 5*h + f + 6 = l, 3*f - 2 = 4*h. Let k = -32/7 - -110/21. Is h not equal to k?
True
Let u be ((-6)/4)/((-16)/32). Let w be u/(-2) - 5/(-10). Let t be 3/(-1 + 1/(-2)). Which is smaller: t or w?
t
Let z = -0.15 - 0.05. Let g = -0.4 - z. Let h = 1.1 - 0.1. Which is smaller: g or h?
g
Let f be (-6)/51 + 45/(-51). Suppose -2*a - 3*o - 486 = 0, 1177 = -2*a - 3*a + 2*o. Let y = -5449/23 - a. Is f at least y?
False
Let h be (-4)/(-16) + 2/(-8). Is h at least as big as -7/6?
True
Let h be -1*1 - (-3)/5. Let c = 47 + -45. Is h greater than c?
False
Let s = -71 + 72.7. Which is bigger: s or 2/3?
s
Let k = 165 - 61. Suppose -46 = -2*v + 4*a, -4*a + 19 = -5*v + k. Is v at most as big as 13?
True
Suppose 7*m - 3*m - 44 = 4*c, -3*m - 4*c + 19 = 0. Let l be 6/14 - m/21. Is l greater than or equal to -3?
True
Let k = 17 - 17.9. Let c = 3.9 + k. Let h = -24/85 + -2/17. Is h at most c?
True
Suppose -z + 4 = -2*l + l, 3*l = 5*z - 10. Let q be (-6)/(-9) - 39/(-9). Let f be (1 - 2/q) + -1. Are f and z unequal?
True
Let l(f) = -4*f - 20. Let o be l(-6). Let u be 414/1368 - 1/o. Which is bigger: u or 1?
1
Let j(x) = -8*x - 2. Let b be j(-1). Let u be (-1)/(1*(-3)/b). Is 2 at least u?
True
Let h be 0 - (-3 + (-31)/(-11)). Let b(v) = -v**2 - 6*v + 7. Let l be (1 - 0)/(6/(-42)). Let r be b(l). Is h bigger than r?
True
Let p(h) = -h**3 + 6*h**2 + 7*h - 3. Let o be p(7). Which is bigger: o or -9/5?
-9/5
Let q = 131/556 - -2/139. Which is greater: q or 0?
q
Let u = 0.27 - 0.03. Let t = u - 0.3. Let q = 0.04 - t. Which is smaller: -5 or q?
-5
Let l be 8/(-48) + 1/6. Is -2/13 >= l?
False
Let j(b) = -b**2 + b. Let l be j(-1). Which is bigger: l or -1?
-1
Suppose -11*y + 8*y = 0. Which is bigger: y or -1/5?
y
Let m = 0.2 - 0.26. Let n = 0.16 + m. Let d(b) = -b + 4. Let z be d(6). Which is greater: z or n?
n
Let v(c) = c - 3. Let y be v(5). Suppose -5 = -x + y*x. Let l be 5/x - (-17)/15. Is l at least -1?
True
Let d = -5 + 26/5. Is d at most 0?
False
Let v be 2/(-4)*(1 - -1). Let z be ((-12)/(-4) - 3)/v. Which is bigger: -3/5 or z?
z
Let s be (48/(-40))/(1/(-5)). Is 7 bigger than s?
True
Suppose 0 = -2*t + 3*t - 5*q + 25, -t - q = -5. Which is smaller: -9/10 or t?
-9/10
Let u be (-15)/6*72/(-10). Which is smaller: 17 or u?
17
Suppose 2*v + 6 = 4*v. Suppose v*h - 6*h - 4*a = 2, 2*a = -2*h. Suppose 0 = h*z - 6 - 0. Is 1 != z?
True
Let t be 21/12 + (-1)/(-4). Which is greater: t or -5?
t
Let k be (-1020)/80 - (-6)/8. Is k bigger than -12?
False
Let d(i) = -i**3 + 2*i - 1. Let x be d(2). Let b = -6 - -3. Let c = b - x. Which is greater: c or 3?
3
Let a = 5 + 0. Let x be 17/3 - (-4)/(-6). Is x equal to a?
True
Let m(z) = -z + 16. Let g be m(16). Is g less than or equal to 1?
True
Suppose 0 = 3*j - 5*j + 88. Suppose 0 = -4*o - j + 4. Let f be o*(-2 - (-10)/4). Which is smaller: f or -4?
f
Let d be -2 + 2/4*2. Let s be 12/42 - (d + 1). Which is smaller: -1 or s?
-1
Let s = 3 - 1. Suppose -2*o - 3*o = -10. Are s and o non-equal?
False
Suppose -5*d + 62 = b, -2*d = 4*b - 2*b - 92. Which is smaller: 41 or b?
41
Let b = -0.27 - -0.17. Is b less than -1/11?
True
Let k = -17 - -17. Which is greater: 18 or k?
18
Let w be (-12)/(-2)*-1*-1. Is 4 less than w?
True
Let f be (2 + -9)/(6 - 5). Is -7 at least as big as f?
True
Let d = -65 - -64. Which is smaller: d or -15/14?
-15/14
Let b be (-5 + 5)*(-2)/(-4). Suppose -6 = -4*c + n, b = -4*c + 8*n - 3*n - 2. Let k be 1*c/4*0. Is 1/11 greater than k?
True
Let x = -6394/17 - -376. Which is greater: x or 1?
1
Let m(f) = -f**3 + 15*f**2 - 10*f - 12. Let d(x) = 2*x**3 - 31*x**2 + 20*x + 25. Let b(v) = -3*d(v) - 7*m(v). Let l be b(11). Is l > 2/7?
False
Suppose 5*w - 7 = -5*k + 3*k, 5*k = -4*w + 26. Do k and 8 have different values?
True
Let y(p) = -p**2 - p + 2. Let b be y(-4). Let s = -9 - b. Which is bigger: s or -1/3?
s
Let z(k) = -k**2 - 3*k - 1. Suppose -2*j - 3*p = -3, 4 + 5 = -2*j + p. Let n be z(j). Is n at most -2/13?
True
Let o = 5 + 3. Is o greater than 9?
False
Suppose 68*h = 26*h - 168. Suppose -k + 0 = 1. Which is smaller: k or h?
h
Suppose -h = -5*h - 20. Let y = 7 - 15. Let u be (-18)/y + h/20. Is -1 greater than or equal to u?
False
Suppose 2*b - 10 = 7*b. Let a = 3 + b. Which is smaller: a or 1/6?
1/6
Suppose 0*k = 3*k + 9. Let w = 0.926 + 0.094. Let f = -0.02 + w. Which is greater: k or f?
f
Suppose -5*h + 7 = w, 4*h = w + 2*h. Is 6 at least w?
True
Let x = -1309/536 + 38/67. Which is smaller: x or 0?
x
Let f = -19 + 21. Suppose 3 = 2*n - w + f, 5*n + 1 = -w. Which is smaller: -1 or n?
-1
Let t = -4 - -6. Suppose -f + 5*f + 2 = -t*h, 4*f + 11 = h. Suppose 0 = 3*a + b, -h*a - a - 2*b = 0. Is a >= -1/9?
True
Let r = -10 + 7. Let a(y) = -y - 2. Let q be a(r). Is 2 less than q?
False
Let c(h) = h**2 - 7*h - 8. Let a be c(7). Let v be (-14)/a - (-1 - -2). Let q be 0/(-2) - (-3 + 2). Is q smaller than v?
False
Let z = -346/17 - -3886/221. Does z = -3?
False
Suppose -5*o - 25 = -40. Is 6 less than o?
False
Let r = 6 - 9. Let j be r - -1*(-4 - -3). Is j at most -5?
False
Let b = 86 + -98. Is -11 less than b?
False
Let f = -14 + 17. Let x be 2/((f + 1)/(-4)). Is x bigger than -4/7?
False
Suppose 0 = -4*q + 3*z + 46, -2*z = 5*q + z - 44. Does 7 = q?
False
Let p = -17.929 - 0.071. Is -0.1 greater than p?
True
Let z = -0.03 - -5.03. Let m = -12 - -10.