Let x be ((-8)/10)/(6/(-30)). Suppose 24 = 4*c + x*g, g = 4*c + 6*g - 25. Which is bigger: c or 6?
6
Let i(x) = -x**3 - 7*x**2 - 7*x - 1. Let p be i(-6). Let j = p + -2. Let m be ((-8)/26)/(j + -1). Is 1 at most as big as m?
False
Let k be (1 - 0)/((-3)/(-129)). Which is bigger: k or 41?
k
Let q(t) = 2*t**3 + 1. Suppose 4*u + 4 + 0 = 0. Let z be q(u). Which is smaller: 2/9 or z?
z
Suppose -2*a + a + 4 = 0. Which is bigger: a or 2?
a
Let r(i) = i**2 - 3*i + 1. Let p be (3 + -3 - 2)/(-1). Let q be r(p). Is -3 at least as big as q?
False
Suppose 0 = 3*b + 139 + 113. Let g be 108/b - 4/(-14). Which is greater: g or -2?
g
Let t be ((-2)/(-26) - 0)*1. Let q = 21 - 18. Suppose -5*o + q = -2. Which is bigger: t or o?
o
Suppose 2*h = 5*h - 12. Let x = -3 + h. Suppose 4*l - 3*a + x = -2*a, 1 = 3*l + a. Is l bigger than 0?
False
Let d(q) = -q**2 + 15. Let p be d(0). Does 15 = p?
True
Suppose -24 = -0*y - 4*y. Is 5 at most y?
True
Let n be (-30)/(-850) - 1/(-5). Are -1 and n non-equal?
True
Let v(m) = -m - 82. Let g be v(0). Let w = g + 752/9. Which is smaller: 2 or w?
w
Let d(v) = -v**3 - 13*v**2 + 13*v - 17. Let g be d(-14). Are -3 and g non-equal?
False
Let z = 1.5 - 1.4. Is z at most as big as 0?
False
Let f = -203/30 + 41/6. Is 0 greater than f?
False
Let i = 15/8 - 2. Let b(p) = p**2 - 7*p + 1. Let r be b(7). Which is bigger: i or r?
r
Let y = 7.1 + -7. Is 1 less than y?
False
Let p be (1 + 4/(-6))*31. Let s = p + -10. Suppose 3*w - 4*w - 1 = 0. Which is bigger: s or w?
s
Let b = 0.057 + -0.057. Is b != 0.16?
True
Suppose -2*q = q - 3. Which is smaller: 2/9 or q?
2/9
Suppose 7 = 2*x - 9. Let z = -9 + x. Is z >= -2?
True
Suppose -2*f = -u - 1, 4*f + 4*u = -0*u - 16. Are f and -2/15 nonequal?
True
Let z = 90 + -363/4. Is z at least as big as -3?
True
Let k be (28/(-175))/((-2)/(-5)). Let l = 0.4 + -0.2. Is l equal to k?
False
Let n be 20/(-16) - (-5 - -4). Which is smaller: -6 or n?
-6
Let v(w) = w + 8. Let h be v(-4). Suppose 3*t = 2*t - h. Let g be ((-2)/t)/((-26)/(-8)). Which is smaller: 1 or g?
g
Let l be 2*-3*(-1)/(-2). Let c = l - -2. Which is bigger: -1/4 or c?
-1/4
Suppose -3*a + a = -3*z + 997, -5*z + 4*a + 1665 = 0. Suppose -z = -5*h - 3*s, 343 = 5*h + s - 5*s. Let y = h + -336/5. Is 0.1 at most y?
False
Let s(n) = -n**3 - 7*n**2 + 6*n - 11. Let m be s(-8). Let i be 10/4*(-24)/(-15). Let v be (m - 3 - i)/5. Which is smaller: 1 or v?
v
Let p be (-26)/(-88) - 3/(-12). Suppose 2*r + 5 = -5, 5*q - 5*r = 25. Is q bigger than p?
False
Let p = -2/619 - -14866/3095. Which is greater: p or -0.1?
p
Suppose 0*o + 4*o - 60 = 0. Suppose -5*b + 2*f = -3*b + 6, 5*f = -4*b + o. Suppose 15 = 5*h - 2*j, 3*h - 7 = 4*j + 16. Which is smaller: b or h?
b
Let h(w) = -w**3 - 12*w**2 - 18*w + 23. Let m be h(-10). Is m > 33/8?
False
Let d = 0 - 18. Let u = 52/3 + d. Which is smaller: u or -3?
-3
Let y = -51 - -50. Which is bigger: 20/7 or y?
20/7
Suppose -5*v = -4*y - 5, -2*y + 3*v - 8*v + 35 = 0. Suppose -3*n + y = 14. Let g(a) = a**2 - 4*a - 3. Let u be g(4). Does n = u?
True
Suppose 4*p - 3*w = -1, 3*p + w + 7 = 2*w. Let k = p - -4. Let n = -2 + 1. Does k = n?
False
Let p = -10.8 - 3.2. Is p greater than or equal to 1?
False
Suppose -o + 5*o + 56 = -5*d, 36 = -5*d + o. Let i = 3 + d. Let l be (-2)/i - (-57)/(-30). Which is smaller: l or -1?
l
Let p(c) = 6*c**2 - 2*c + 1. Let i be p(1). Let y(r) = -r**3 + 6*r**2 - 6*r. Let b be y(i). Which is greater: b or -4?
-4
Let s be (24/40)/((-3)/(-11)). Let i = -27/10 + s. Which is bigger: 0.16 or i?
0.16
Let m(b) = -b**3 + 2*b**2 - 1. Let o be m(-1). Suppose 0 = -o*r + 3*p - 13 - 2, 6 = r + 3*p. Which is smaller: -2 or r?
r
Let g = -4649343565 - -1724915074189/371. Let w = 23212 - g. Let x = w + 4/53. Which is smaller: x or -3?
-3
Suppose 0*f - 3 = -f. Suppose -f = 2*x + 13. Let z(n) = n**3 + 9*n**2 + 7*n - 8. Let c be z(x). Which is smaller: c or -2?
-2
Let f = 23.4 + -24. Let w = 0.483 - -0.087. Let j = f + w. Is 0 greater than j?
True
Let q(c) = c - 9. Let l be q(10). Let w be (-3 - -4)*l*-6. Let v = -6 - w. Is 1 at most v?
False
Let c(a) = a**3 + 3*a**2 - 5*a - 6. Let f be c(-4). Let p be (-4)/10 - 32/220. Is p equal to f?
False
Let y = -389/10 - -39. Are y and 0.1 equal?
True
Let l be 36/15 - 2/5. Let r = 0.6 + -0.2. Which is greater: l or r?
l
Suppose 2*s - 40 = -3*s. Let q = 7 - s. Which is greater: q or -4?
q
Let q be (-4)/(-6) - 65/3. Let l = q + 48. Suppose -5*h - 9 = -p - 29, 3*p + l = 4*h. Which is smaller: h or 1?
1
Let v be (-1)/3*(-2 + -7). Let t be ((-9)/(0 - v))/5. Is t >= -0.1?
True
Let p = 57 + -20. Suppose -3*w + 30 - 6 = -3*k, 5*k = 4*w - p. Suppose g - 4 = w*g. Is g bigger than -1?
False
Let w = -24.02 - -23. Let r = w - -0.02. Does 3 = r?
False
Let b be (1 - 4)*(-3 - -2). Suppose -b*o = -o. Does 0.13 = o?
False
Let h = 22 - 12. Let m be (-6)/h*(-10)/56. Let s = 5/14 - m. Which is bigger: s or 1?
1
Let v = 1309/30 - 87/2. Is 0.1 >= v?
False
Let s(p) = -p**2 - 5*p + 8. Let c be s(-6). Let n be (c + -3)*(-3 - -2). Which is greater: n or 3/8?
n
Let q(l) = l**2 + 3*l + 3. Let b(a) = -a**3 - 4*a**2 + a + 2. Let z be b(-4). Let g be q(z). Are g and 0 unequal?
True
Suppose -4 = g - 0. Is g bigger than -16/5?
False
Let n be ((-90)/(-27))/((-13)/6). Which is bigger: -2 or n?
n
Suppose 5*g + 8 = 2*v - 22, -22 = 3*g - 2*v. Let s be (g/(-2))/((-6)/(-9)). Let m be s/14 - 2/(-7). Which is bigger: m or -1?
m
Suppose -13*o - 10 = -15*o. Suppose g = 2*r - 3 + 8, g = r + o. Is r >= -2/5?
True
Let p be 2*1*6/4. Suppose 4*l + 3*k = -k - 8, 0 = -p*l - k - 4. Is l at least as big as 0?
False
Let g be ((-5)/15)/(2/6). Let j = 511 + -2563/5. Which is greater: g or j?
g
Suppose 4*x - 5 = 7. Suppose 15 = -3*d - x*z, 4*d + d - 4*z = -25. Let g = d + 2. Does -4 = g?
False
Let q be (-1)/(-3 - (-40)/12). Is q <= -5?
False
Let x be 0 + -1*(-4)/(-16). Let o(a) = -a**3 + 13*a**2 - 13*a + 12. Let f be o(12). Which is smaller: f or x?
x
Let k = -10 + 10. Let s(y) = y**3 - 5*y**2 - 4*y + 6. Let a be s(5). Let f be ((-44)/a - 2)/(-2). Which is smaller: f or k?
f
Let r(q) = q - 4. Let t be r(5). Let g be (0 - t)/(3 + 2). Suppose -2*k - 4 = -2. Which is greater: k or g?
g
Let u = -6 - -13. Suppose 5 = 9*c - 49. Does u = c?
False
Let x be 2/(-9) + (-2044)/(-126). Which is smaller: 122/7 or x?
x
Suppose 0*m = -6*m - 18. Let d be ((-4)/10)/(4/40). Let i = d + 1. Is i greater than m?
False
Let t(i) = -12*i - 5. Let c be t(-1). Is c bigger than 6?
True
Let p = -0.37 + -6.63. Which is smaller: p or 2?
p
Suppose 5*l - 2*n + 48 = 0, -l - 5*n - 3 = -15. Let m(w) = w**3 + 9*w**2 + 8*w. Let r be m(l). Do r and -3/11 have different values?
True
Let i be -2 + (10/4 - 0). Let w = -2 - -3. Do i and w have the same value?
False
Let y(a) = -1 - 1 + a - 2*a. Let b be y(-4). Suppose 2*f + 4 = -b*f. Which is smaller: -2/5 or f?
f
Let m be (-1)/((-1)/4) - 1. Let f = 50 - 49. Let g be m/(f/(-2) + 2). Is g equal to 1?
False
Let t be 69*(14/42 + 1 + -1). Which is bigger: t or 24?
24
Let p = -8 - -12. Suppose p*n = n + 3. Do n and 1 have different values?
False
Let h be (-5)/(-9) - (-2)/(-9). Is 1 at least as big as h?
True
Let l = 29 + -29.1. Let k be -2 + 1 + 0/2. Let r = k - -1. Which is greater: l or r?
r
Suppose -2*l + o - 9 = 0, 2*o = -4*l - 36 - 2. Is -7 <= l?
True
Let s(m) = 2*m**2 - 3*m + 2. Let d(v) = v**2 - 5*v - 4. Let g be d(6). Let f be s(g). Suppose 0*p = f*p. Is -2/3 greater than or equal to p?
False
Let w = -5 - -3. Let f be (-102)/44 + w/11. Let g(u) = -u + 1. Let b be g(4). Which is bigger: b or f?
f
Let k = 0.8 - 0.7. Let z = k - -0.1. Let a = -3 - -2.9. Do a and z have the same value?
False
Let h = -12 + 54. Is -1/4 >= h?
False
Let j = 0.39 + -17.39. Which is greater: -1 or j?
-1
Suppose -2*o + 21 = -19. Is 20 < o?
False
Suppose -9*g + 25 = -4*g. Suppose g + 2 = -3*x + 2*b, 0 = -3*x + b - 5. Is x less than -1?
False
Suppose 5*r - 14 = 11. Suppose r*u - 8 = -4*w, 0*w = -w + 2. Do u and 2/13 have the same value?
False
Let f = 2663/2893 - 3/263. Is f < 1?
True
Let x(k) = -10*k**3 + 2*k + 1. Let y be x(-1). Suppose 5*i - y = 2*i. Which is smaller: i or -6?
-6
Let a(i) = -i**3 + 5*i**2 + 7*i - 7. Suppose -6 - 12 = -3*f. Let v be a(f). Are v and -3/8 non-equal?
True
Suppose 3*m + h - 3 = -0, -4*m + 5*h + 4 = 0. Suppose 3 + m = -4*i. Let b be (-2