4*f + 0*f = 8. Let c be (-4 - f)/(1/(-1)). Is q greater than or equal to c?
True
Let s = 23.2 - 23. Let a = 1.8 + s. Suppose 2*i = -i + x - 2, 5*i + 2*x + 18 = 0. Which is smaller: i or a?
i
Let j = 0 - 1. Let u = 27197/35 - 777. Are j and u non-equal?
True
Let u be (6/18)/((-1)/(-3)). Which is smaller: u or -1.3?
-1.3
Suppose -5*r + 19 - 184 = 0. Let m be (-17)/r - (-4)/(-22). Which is smaller: m or -1?
-1
Suppose 0 = 7*s - 1 + 92. Let x = 18 + s. Is 5 smaller than x?
False
Let h = 31/40 + -1153/120. Let x = h + 17/2. Which is smaller: 0.1 or x?
x
Let l = 1.18 + -0.18. Are l and -2 nonequal?
True
Let t = 19 + -21. Let i = -2 - -2. Which is smaller: i or t?
t
Let l be (1 - -1)*-9*(-7)/42. Is l greater than or equal to 9?
False
Let i = 4.7 - 4.9. Which is smaller: i or -1.5?
-1.5
Suppose -7*m + 9*m = 0. Which is greater: 1/3 or m?
1/3
Let x = -75 + 373/5. Are -21 and x equal?
False
Let d be 1*-1 - (30/5 + -6). Is -1 <= d?
True
Let d = 86 + -260/3. Let r = 1.8 + -2. Which is bigger: r or d?
r
Let n be -12*(-3 + 21/9). Suppose 0 = u - 5*i, -3*u - 4*i - 30 = n. Is -9 >= u?
True
Let y be (-11)/26 - 1/(-2). Let l be (1*2)/(-8 + 6). Is l less than y?
True
Let p = 3 + -3. Let m be -1 - (p - 9/12). Let u = -3 + 2. Is m > u?
True
Let r = 35 + -32. Which is greater: r or 1?
r
Suppose 0*b + 2*b + 18 = -2*o, b + 5*o - 7 = 0. Which is smaller: b or -14?
-14
Let g = 1555 - 29559/19. Are -1 and g non-equal?
True
Let c(w) = w**2 - 20*w - 19. Let q be c(21). Is 13/5 <= q?
False
Suppose 2*q = 5*o + 20, o - 23 = -3*q - 2*q. Which is greater: o or -1?
-1
Suppose -2*p - 16 = -6*p. Which is greater: p or 3?
p
Let t be (-3)/30*((-9)/6)/(-3). Is t greater than 0?
False
Suppose -13 = -90*v + 89*v. Are 4 and v nonequal?
True
Let i be 1/(27/15 + -2). Let p = i - 2. Let d be (3 - 4)*(-2)/p. Is d at most as big as -1?
False
Let x = 295 - 30973/105. Is 0 < x?
True
Let a = 2 + -1.9. Let g = a + 0.9. Which is smaller: g or -0.1?
-0.1
Let r be (4271/(-22))/(-2 + 1). Let v = r + -194. Which is smaller: v or 1?
v
Let l be -3*((-42)/9 + 1). Is l not equal to 11?
False
Let l = -13 + -12. Which is smaller: -27 or l?
-27
Let x be (-8)/(-24)*(-6)/(-2). Which is bigger: -1/13 or x?
x
Suppose 4*y = -c + 44, -5*c = -2*y - 0 + 22. Let t be ((-2)/(-7))/(22/y). Is t != -0.2?
True
Let h(w) = -5*w + 55. Let c be h(11). Suppose -170 = 2*i + 1072. Let o = -4339/7 - i. Which is smaller: c or o?
c
Let h(a) = -3*a**3 - 10*a**2 - 2*a**3 - 7 + 10*a + 6*a**3. Let q be h(9). Suppose -3 = q*s - 11. Is s at least as big as -1?
True
Suppose -f - 2*l + 10 = f, -5*f = 3*l - 27. Let g be 3/(f/(-2)) + 1. Are g and 1 unequal?
True
Suppose -5*v - v = -v. Is v at most 2/145?
True
Let l = 0.3 + 0.7. Let p = -7 - -7.05. Let z = 0.45 - p. Is z at least as big as l?
False
Let h(j) = j**3 - j**2 - j. Let v be h(1). Let t = 46/637 - -4/49. Is v < t?
True
Let p be 3/(-15) - (-268)/740. Is 1 != p?
True
Let m be 1 + 2/2 + 1. Let z be (m/(-2))/((-14)/(-4)). Is z bigger than 0?
False
Let p be (-5*(-16)/1020)/(28 - 2). Is p smaller than -1?
False
Let b(k) = 13 - 4*k**2 - k + 2*k - 10 - k**3. Let j be b(-4). Which is smaller: j or 1/5?
j
Suppose h - 1 = 2. Let w = 5 - h. Let b be 27/6*w/3. Which is smaller: b or 4?
b
Let c(t) = -2*t + 4. Let n be c(4). Suppose y + 28 = -5*h + 5*y, -4*h - 4*y - 8 = 0. Is h bigger than n?
False
Let p = 135 + -1217/9. Which is smaller: p or 3/2?
p
Let k be (1*-1)/(3/9). Is k > -2?
False
Suppose 2*g + g - 15 = 0. Let t be (5/(-1))/15*-3. Which is bigger: g or t?
g
Suppose -l - 52 = -3*q, 5*q - 84 = l + 2*l. Let f = q - 18. Let b be (-16)/30*(-6)/4. Which is bigger: f or b?
b
Let h = -12 - -2. Let p = -4 - h. Let t be (-2)/p*12/26. Which is smaller: t or 0?
t
Let o(q) = -2*q + 6. Let n be o(-7). Suppose -6*a - n = -a. Is a > -2?
False
Let r = -11275289/90 + 125283. Let l = 19/9 - r. Is -1 bigger than l?
False
Let f = 3 - 10. Suppose -41 = 4*a - 13. Is f less than a?
False
Let k(b) = -b + 7. Let d be k(9). Is d not equal to -2?
False
Let x be 36/16 + (-3)/12*1. Do x and 18/7 have different values?
True
Let y be (-99)/15 - (-4)/(-10). Let n(g) = -10*g + 1 + 2 + 0 - 1. Let j be n(1). Which is smaller: y or j?
j
Suppose 6*g - 10*g + 16 = 0. Let u be 1*(0 - (-2 - -2)). Suppose -g*d = -3*y, u = -3*d + y - 5. Is -3 greater than or equal to d?
True
Suppose -r + 64 = 3*r. Let x be r/(-6)*6/(-4). Is x at least as big as 0.2?
True
Let b(a) = a**3 - 9*a**2 - 10*a + 8. Let r be b(10). Let j be (26/2)/(r + -9). Which is greater: j or -12?
-12
Let p(n) = -n**2 + 10. Let q be p(0). Suppose -4*x = x - q. Which is bigger: x or -2?
x
Let p = -18191/4 - -4522. Let q = p + 26. Is q > -2/5?
True
Let k be (-638)/(-5)*(-15)/273. Let t = k - -48/7. Which is smaller: 0 or t?
t
Let q be 69/(-67) + 1 - 0. Let n be (-18)/15 + 13/65. Is q smaller than n?
False
Let b(r) = -r**3 - 5*r**2 + 6*r - 1. Let a be (-16)/10 + (-4)/10. Let p be 1 - (10 + -1) - a. Let f be b(p). Are -2/3 and f non-equal?
True
Let b = -34 - -168/5. Are -10 and b non-equal?
True
Let b = -18 - -11. Suppose -1 - 29 = 5*c. Which is greater: b or c?
c
Let u be ((-4)/6)/((-4)/18). Suppose 0 = -u*w + 6 - 0. Suppose 0*c - 2*c + w*a = -4, -2*c + 3*a = -7. Which is smaller: -2 or c?
-2
Let v = 0.4 - 1.3. Is v at least -0.2?
False
Let g = -0.53 - -0.6. Let j = 2.93 + g. Is -2/11 at most j?
True
Let y(n) = 4*n**2 + n - 1. Let f be y(1). Suppose p + 12 = 6*p + 4*g, f*p = -g + 3. Which is smaller: p or 2?
p
Suppose -s + 1 = -0. Let c be (3 + (-1 - -1))/s. Is 1 at least c?
False
Let t(z) = -z - 3. Let j be t(-7). Let d be (-2)/(-8) + (-1)/j. Is -1/8 greater than or equal to d?
False
Let n(a) = -a**3 - 4*a**2 - 2*a. Let r be n(-5). Let i be (r/10)/(2/4). Suppose 3*u = i*u + 4. Which is smaller: u or 1/5?
u
Suppose -i - 51 + 54 = 0. Does i = 4?
False
Let g = -12.1 + 13.5. Let l = 0.6 - 1. Let z = g + l. Is z bigger than -0.1?
True
Let s = 4 + -1. Let i = 8 + s. Let z = -8 + i. Which is smaller: -0.1 or z?
-0.1
Let i = 184 + -181. Let z be 2/(3 - 1) + 1. Which is bigger: z or i?
i
Let v = 0.62 - 0.6. Let l = 0.08 + v. Which is smaller: l or 1?
l
Let f(o) = o + 2 - 2*o - 4. Let r be f(-6). Suppose 2*l + 3*x + 9 = 3*l, -3*l + r*x + 12 = 0. Do 0.2 and l have the same value?
False
Let c(j) = 9*j**2 - 8*j + 13. Let a be c(3). Which is greater: 69 or a?
a
Let m be 1/6*2 + (-44)/99. Is m equal to -1?
False
Let u = 112/15 - -1/30. Let c = u - 7. Let w = 2.02 + -0.02. Do w and c have different values?
True
Let p = -10 + 15. Suppose -2*s + 6 = -2*a, s - 6*s - p*a = 5. Is 2/31 > s?
False
Let v = 5018/119 - 406/17. Let n(r) = -r**2 + 8*r + 2. Let t be n(4). Let j = v - t. Is j bigger than -1?
True
Let o be 2 - ((-3 - -7) + 6). Is o at least as big as -8?
True
Let i be (1 - 4) + (-54)/(-21). Which is bigger: 9 or i?
9
Let n(h) = -h**2 + 7*h + 9. Let z(s) = -2*s**2 + 13*s + 17. Let k(i) = -5*n(i) + 3*z(i). Let w be k(3). Is w less than or equal to 9?
True
Let o be 4/(-8)*4/(-2). Suppose 3*z + 4 - o = 0. Which is smaller: -6/5 or z?
-6/5
Let v = 82 + -900/11. Let i(z) = z**3 + 6*z**2 + z + 8. Let x be i(-6). Let d be (1 - x) + 1 + 1. Which is smaller: d or v?
v
Suppose 0 = 2*k + 17 - 5. Let v be 22/k + 1/(-3). Let b be 11/v - 1/4. Which is smaller: 0.1 or b?
b
Suppose -5*r = 25 - 0. Is r smaller than -3?
True
Let u be 0*(1 + 3/(-6)). Which is smaller: u or -1/45?
-1/45
Let f = 2 - -3. Let b = 3 - f. Which is greater: -1/2 or b?
-1/2
Let j = -2 - -3. Let c = 4 + -5. Let d = 1.1 + c. Is j at least as big as d?
True
Let y be 2*2/(5 - 1). Let p = -3/2 + y. Which is smaller: p or -2?
-2
Suppose 90 = 6*p - p. Is 17 bigger than p?
False
Let s = -54 - 19. Is s < -72?
True
Let n = -11 + 7. Let s = 5 + n. Let m(x) = x**2. Let g be m(s). Is 1 smaller than g?
False
Let s(k) = k**3 + 5*k**2 + 4*k + 3. Let w be s(-4). Let y be -2*(-8)/4 + 0. Suppose y*u + w = u. Is u greater than or equal to 0?
False
Suppose 0 = -3*q + 6*q - 27. Let p = -11 + q. Let z be ((-5)/p)/((-1)/2). Is -3 greater than z?
True
Let j = -4 + 3.95. Let i = 1.05 + j. Let a = 13 - 14. Which is smaller: i or a?
a
Let v = -22 + 10. Let g be 10 + (v/(-2))/(-3). Is g greater than 8?
False
Let f = 0 - -3. Suppose 3 = 5*s + 2*x, -3*x - 4 = -5*s - 4*x. Does f = s?
False
Suppose 3*n + 4 - 19 = 0. Suppose 0 = n*j - j - 28. Let p = -4 +