3. Is c > 1?
False
Let b be 3*(0 + (-4)/3). Let h = b + 3. Let t be h/(1*1/(-1)). Is -0.1 >= t?
False
Suppose -11*g + 14*g - 5 = -a, g = 4*a - 7. Is g < 0.33?
False
Let l = 0.159 - 1.699. Let i = l + 1.6. Suppose 3*r = -0*o - 2*o - 6, 3*o + r + 2 = 0. Is o at least i?
False
Let j = -1/14 - -73/630. Let x = 13/45 + j. Let f = 7.2 - 1.2. Is f smaller than x?
False
Suppose -5*s + v - 5 = -4*v, s + 16 = 4*v. Suppose 5*j + 7*q = s*q - 15, 4*j + 4*q + 20 = 0. Which is greater: j or 1/3?
1/3
Let r = 4 - 5. Let i be 2*(-27)/12*8. Let l = 287/8 + i. Does l = r?
False
Let r = 163922/107 + -1532. Is -1 not equal to r?
True
Let w = 0 + 1. Are w and -2/27 nonequal?
True
Let o be -1*(1 + 0 + 0). Let l be (-2)/(-4) + 3/o. Which is bigger: l or -3?
l
Let r(l) = l**2 + 5*l + 2. Let y be r(-4). Suppose -2*g - 5*h + 19 = 0, 5*g = -0*g + 5*h - 5. Suppose -3*c - g = 1. Does c = y?
False
Let g(s) = -s**3 + 8*s**2 + 9*s + 6. Let m be g(9). Let u = 26 - 20. Is m >= u?
True
Let z = 3 - 1.4. Let x = z + -0.6. Which is smaller: x or 0.2?
0.2
Suppose 4*g = g. Let a = 3/4 + -5/4. Which is greater: g or a?
g
Let f be (10/(-15))/((-28)/(-6)). Let p(i) = -i**2 - 4*i - 4. Let b be p(-3). Which is greater: f or b?
f
Let a = -69/85 - -1/85. Suppose 4*n = 5*u + 13, -3 = -3*u - 3*n - 0. Which is smaller: a or u?
u
Suppose 4*w + 10 = 2*w. Let g = -3 - w. Let c be 2*1/g*-1. Is -2 bigger than c?
False
Let i(p) = p**3 - 4*p**2 + 1. Let z be i(4). Let j(c) = 3 + 5*c + 5 - 6*c. Let y be j(6). Which is smaller: z or y?
z
Let r = 26 + -28. Suppose 0*o - 6 = -2*o. Let q be o/r*(-20)/15. Which is greater: 1 or q?
q
Let w be (4/8)/((-2)/10). Is w smaller than -4?
False
Let i(j) = 4*j**2 - j - 4. Let v be i(-3). Let f be -3*(1 + v/(-33)). Is f not equal to -0.1?
True
Suppose -4*v = v - 10. Which is smaller: -0.4 or v?
-0.4
Let x = 47.29 + -47. Let b = x + -0.09. Which is greater: 0.02 or b?
b
Let x = 44.94 + -47. Let g = 0.06 + x. Let w(u) = u**3 - u**2 - 3*u + 1. Let n be w(2). Which is bigger: g or n?
n
Suppose 0 = y + 6 - 7. Let f(q) = q**3 - 2*q**2 + 1. Let k be f(y). Which is bigger: k or -1?
k
Let b = -1.08 - 0.92. Is b bigger than 29?
False
Let n = 4 - 0. Let o be 3 - 1 - (5 + -3). Suppose 3*a = p, o*p - n*p + a = 0. Is 0 less than p?
False
Let k be 14/49 - (-24)/14. Suppose 0 = x - 3*x + k. Let b = -1 + x. Which is greater: b or 2/3?
2/3
Let k(h) = h + 6. Let d be k(-11). Are d and -5 equal?
True
Let k = 4 - 2. Suppose 8*g - 5*g + 24 = 0. Let r be 1 - 2*4/g. Is k less than or equal to r?
True
Suppose 14*h - 78 = 8*h. Which is bigger: 14 or h?
14
Suppose 4*o - r = 37, 5*o - 41 = 5*r - 2*r. Let t = o - 7. Let m be -1 - 5*t/(-12). Which is greater: 2 or m?
2
Suppose 0 = -10*c - 2 + 2. Is -1/22 < c?
True
Let a(c) = -c**2 - 4*c - 1. Let l be a(-3). Suppose -k + 3 = -4*b, -l*k + 2 = -2*b - 4. Are b and 2/17 nonequal?
True
Suppose -60 = -2*j - 2*j. Suppose 3*q = -2*c + 6*c + j, 20 = -2*c + 4*q. Let n be 3*(c + -2 - -1). Is n less than -1?
True
Let x(h) = -h**2 - 5*h - 3. Let z(s) = 2*s**2 + 11*s + 7. Let l(k) = -9*x(k) - 4*z(k). Let n be l(-2). Let d = -350/1413 - -4/157. Which is smaller: d or n?
d
Let b = -34 - -20. Let l(v) = v**2 + 14*v - 1. Let i be l(b). Are 5 and i equal?
False
Let t = -11.7 - -11.6. Is t != 1/23?
True
Let w be -8*15/(-6)*-1. Does -21 = w?
False
Let s = -2.39 - -0.25. Let u = s - -0.14. Which is greater: 1 or u?
1
Let i = 14.8 + -19. Let a = i - -1.2. Are a and -1 equal?
False
Suppose -v + 24 = 3*v. Which is smaller: v or 16/3?
16/3
Let y = 30904/51 - 606. Which is bigger: 1 or y?
1
Suppose -8 = -2*l - 3*h, -5*l + 8*l - 1 = h. Let m = 3.02 - 0.02. Is l != m?
True
Let v be -4*(-1 + (-3)/(-6)). Suppose v = -5*z - 3. Does z = -1?
True
Let v be (-1)/(-2) + (-6)/(-4). Let r be 5/25 - (-44)/5. Let c be (-77)/(-99) + 2/r. Is v > c?
True
Let r = -3 + 10. Are 0 and r equal?
False
Let m(a) = a**3 + 7*a**2 - 11*a - 10. Let n be m(-8). Let i be -2 + 1*n/(-2). Let x be (-45)/(-12) - i/(-12). Is 4 greater than x?
True
Let g be ((-63)/168)/(9/2). Which is smaller: 0 or g?
g
Let h = -43 - -44. Suppose 0 = 4*n + u, -2*u + 3*u = -3*n - 1. Are n and h non-equal?
False
Let p(g) = -g**3 + 6*g**2 + 7*g + 3. Let n be p(7). Suppose -n*d = 2*d - 60. Let w be (-4)/d - (-8)/(-3). Is -5/2 equal to w?
False
Let s be 20/(-14) - 2 - -2. Is -1 bigger than s?
True
Let l = 11 - 6. Suppose -4*m = l*x - 10*x + 63, -3*m = -5*x + 61. Suppose -k - 15 - x = 5*i, -4*i - 16 = -4*k. Is k greater than -2?
True
Let w be (-9 - -20) + (-1 - 1). Which is smaller: w or -2/3?
-2/3
Suppose 4*i + 4 = 4*j, -i + 2 = 3*i + 2*j. Suppose i*d + 1 = -d. Let s be 1/(-4) - 51/(-60). Is s smaller than d?
False
Let w be -1 - (-3 + -1 - (-30)/10). Is w at least 1/56?
False
Let c(b) = 2*b - 41. Let v be c(8). Which is smaller: v or -24?
v
Let l = 332/489 - 2/163. Which is bigger: l or 2/13?
l
Suppose h + 2*s + 22 = -14, -2*h = 5*s + 69. Let r = 128/3 + h. Let a(j) = -j + 1. Let o be a(-1). Which is bigger: o or r?
o
Let b = 0.4 + -0.48. Let w = -0.2 - -0.28. Let u = b + w. Which is bigger: -1 or u?
u
Suppose 6*s = s. Suppose 3*r - 2*h - 10 = s, r = -3*r - 3*h - 15. Which is bigger: 1 or r?
1
Let c = -18 - -17.3. Let v = c + -0.3. Let y = -1 - -1.4. Is y smaller than v?
False
Let p be (2 - (-8)/36) + -2. Are p and -1 nonequal?
True
Let i(u) = u**3 - 8*u**2 + 6*u + 8. Let r be i(7). Which is greater: r or 6/11?
r
Let h be ((-15)/20)/(21/(-8)). Let j be (2/(-12))/(2/56) + 3. Is h < j?
False
Let q(w) = -4*w**3 - 2*w**2 - w. Let h be q(-1). Let m = h - 3. Is -1/2 at least m?
False
Suppose 5*u - 17 = -3*g + 11, g - 3*u + 14 = 0. Which is bigger: -28 or g?
g
Let p = -12 + 27/2. Let w be (-2)/(-1)*(0 - -2). Suppose 9 = 5*f - y, -w*f + 2*y = 7*y - 13. Which is smaller: p or f?
p
Suppose 5*l + 26 = -4. Let o(v) = -v - 2. Let a be o(2). Are l and a nonequal?
True
Suppose -2 = 5*l - 17, 3*a + 5*l - 18 = 0. Let q be a*12/(-10)*5. Is q greater than -6?
False
Let z be 3 + 2 + -3 - -3. Suppose 4*p + p + z = 0. Is p >= -1?
True
Let v = -224 - -683/3. Which is smaller: 4 or v?
v
Suppose 4*v - h = -38 - 11, 4*v + 46 = 2*h. Which is bigger: -12 or v?
-12
Let g(x) = x**2 + 6*x - 16. Let w be g(-8). Is w != 1/14?
True
Let c(l) = 9*l - 5. Let y(z) = 4*z - 3. Let b(x) = -2*c(x) + 5*y(x). Let a be b(4). Let w be (-1 - 0)*1*a. Is -0.1 greater than or equal to w?
True
Let p(s) = -s**2 + 3*s - 2. Let g be p(2). Suppose -4*q + 5*q - 2 = g. Which is greater: q or -2/3?
q
Let x(i) = -i**3 - 4*i**2 + i + 4. Let p be x(-4). Let t be 4*((-10)/(-12))/(-5). Is p bigger than t?
True
Let w = 2.03 - 2. Let x = -6.03 + w. Let v = 5.9 + x. Do -3/7 and v have the same value?
False
Let s = -5.2 + -0.8. Let w = 2 + s. Which is smaller: w or 2?
w
Let g be ((-11)/(-99))/((-1)/2). Is -1.1 less than or equal to g?
True
Let b = 3 + -2. Let v = 9 + -11. Let l be v*b + (-3)/(-1). Is 1 equal to l?
True
Let w = 76 + -75.3. Is w < 0.4?
False
Suppose 5*q = -15, 7*q - 10*q - 13 = 4*s. Let l = 1/41851 - 101195729/460361. Let b = -220 - l. Which is smaller: b or s?
s
Suppose -4*v + 3 = -v. Let j(r) = -r**3 + 2. Let p(u) = u**3 - 5*u**2 - 5*u - 6. Let d be p(6). Let y be j(d). Are v and y nonequal?
True
Let y(b) = 2*b**2 - 2*b + 1. Let v be y(2). Let w be (-12)/v - 0 - -2. Which is greater: w or 1?
1
Suppose -2*k - 38 = -5*a, a - 2*k - 9 - 5 = 0. Let z be (-45)/20*(-16)/a. Let f be (-12)/(-21)*z/8. Which is smaller: -1 or f?
-1
Suppose k + 13 = 9. Is -27/5 at most k?
True
Let u be (-1)/(-2) - (-2)/(-4). Let z be 88/(-495) - (-2)/(-9). Is z greater than or equal to u?
False
Let b be (-35 - -1)*4/8. Let j = 20 + b. Which is smaller: 1 or j?
1
Suppose 4*s = -s + 4*g + 35, 13 = s - 2*g. Suppose -12 = v + s*v. Let b(i) = i**2 - 7*i + 6. Let c be b(6). Which is smaller: v or c?
v
Let q(t) = t**2 - 2. Let s be q(-2). Are 3 and s equal?
False
Suppose -2*d + 3*d = 3*j + 1, -4*j + d = 1. Suppose 5*m + j*m - 55 = 0. Is 12 >= m?
True
Let p be 27/6*10/15. Suppose 0 = p*n + n + 4. Is -4/3 > n?
False
Suppose 0*c + 2*c + 90 = 0. Let s be c/(-21) - (1 - -1). Is -1 greater than or equal to s?
False
Let q be (-5)/(10/(-6)) + -3. Suppose -a - 3 = -q*a. Which is greater: a or -4?
a
Let c = -4/5 + 1. Suppose -s = -4*s. Is c > s?
True
Let d = 9/26 + 2/13. Which is bigger: d or 0?
d
Let l(s) = -52*s + 8. Le