)). Let f = 194 - s. Is f bigger than 0?
True
Let c = 6 + -9. Let j = 4 + c. Let y = -0.2 + -0.8. Which is smaller: y or j?
y
Let w = -54/5 + 152/15. Suppose -18 = -5*n + 12. Let j be 12/(-5) + n/15. Is w less than j?
False
Let j = 23 + -22.8. Is -0.1 less than j?
True
Let q(z) = -z**3 - 5*z**2 - z. Let m be q(-2). Which is bigger: -11 or m?
m
Let p = 45 + -179/4. Suppose -4 = y + 3*y. Let i be (-22)/10 + y + 3. Does i = p?
False
Let q = 37 - 46. Which is smaller: q or -11?
-11
Let y(q) = -q**2 + 4*q + 1. Let c be y(5). Let f be (c + 5)/(2/(-2)). Let h be (-6)/(-14)*f/3. Which is greater: h or 1?
1
Let z be 1 - (0/(-2) - -8). Is -7 > z?
False
Suppose 4*p = -3*r - 24, 1 = 4*r + 17. Is -5 smaller than p?
True
Let v = -1.8 + 1.88. Is v bigger than -0.2?
True
Let p(o) = 36*o**2 - 1. Let f be p(-1). Let u be f/(-21) - 2/(-3). Which is bigger: 2/29 or u?
2/29
Let g be 3*(4/40)/((-6)/8). Let q = 0 + -1. Is q < g?
True
Let o = 12 - 14. Which is smaller: o or -3?
-3
Let m be (-2)/6 + (2 - 1). Which is bigger: m or -1/2?
m
Let s(g) = g**3 - 7*g**2 - g + 8. Let n be s(7). Which is smaller: -3/25 or n?
-3/25
Let x = -1 + 4. Let t = -14 - -17. Is t at most as big as x?
True
Let u = 0.84 + -0.8. Let j = 0.07 + -0.13. Let k = j - u. Which is smaller: 3 or k?
k
Let x(a) = -10*a**2 - 2*a - 2. Let n be x(-2). Is -37 less than n?
False
Let h(v) = v - 6. Let d be h(6). Suppose 4*p = d, -3*t + 2*p = -0*p - 27. Let y = t - 7. Is 4/7 != y?
True
Let u be (-5)/(-4 - -1 - -2). Let d(f) = -f. Let y(t) = -t**2 + 7*t. Let l(x) = 5*d(x) - y(x). Let h be l(12). Which is greater: h or u?
u
Suppose -2*k = -4*l - 7 - 29, 2 = -k - 3*l. Which is smaller: 2 or k?
2
Let x be (-2)/(-8) + (-49)/4. Let p = 17 + x. Suppose 3 = -p*b + 2*b. Which is smaller: b or -3/5?
b
Let b be (-3 - 5/(-2))*2. Let a = 0 - b. Which is bigger: a or -0.2?
a
Let u be (-4)/(-14) - (-82)/7. Suppose 3*s - u = -18. Is -5/7 greater than or equal to s?
True
Let w = 16.9 + -17. Let v = -2.95 - 0.05. Let z = v + 2. Which is greater: w or z?
w
Let m = 1/13 + 110/91. Which is smaller: m or 0?
0
Suppose 5*d - 15 = 3*l + 2*d, 2*d = -4*l - 38. Let r be l/20 - 94/(-10). Is 10 smaller than r?
False
Let z be 2792/18*6/16. Let o = -58 + z. Suppose -2*b - 1 = 1. Which is bigger: b or o?
o
Let j(c) = c - 12. Let v be j(0). Let q = -2 - v. Suppose 25 - q = 5*r. Which is smaller: 1 or r?
1
Let j = -5 + -25. Let q be (-2)/j*17 - 1. Let p(a) = a + 9. Let u be p(-8). Is q greater than u?
False
Suppose 2*u - 16 = -3*f + 5*f, -5*u - f = -16. Is u > 4?
False
Suppose -4*a + 9 + 7 = 0. Let q = a + -4. Let k = q + 0. Is k at most as big as 1?
True
Let s = 0 + 3.9. Let d = 4 + -8. Let u = d + s. Which is smaller: 0 or u?
u
Suppose 2*t + 20 = 8. Is -6 not equal to t?
False
Suppose 0 = h + 2*g, 2*h - g = 4*g - 9. Let k(q) = q**3 - 3*q**2 + 2*q - 3. Let n be k(3). Let w be n/((-6)/4)*2. Is h at most w?
False
Let g be (-6)/9 - 52/(-6). Suppose 5*y + g = 4*y + 3*p, 0 = -5*y - 4*p + 17. Is y < -2/37?
False
Let a be 2/(-2 + -2)*-60. Let d = a - 14. Which is smaller: d or 15?
15
Let x(g) = 2*g**3 - g**2 - g. Let p be x(2). Let k be 21/18 - (-15)/p. Which is smaller: 4 or k?
k
Let d(b) = b**2 - 3*b - 2. Let y be d(4). Suppose 13 = 4*z + 1. Suppose 0 = z*r + r - 8. Is r at most y?
True
Let c = 10 - 6. Let w = 1 - c. Let q = -1 - 3. Which is greater: w or q?
w
Suppose 0*n = 8*n - 8. Is n at least as big as 1/74?
True
Suppose 30 = -12*d - 6. Suppose -4*x + p = 12, 3*x + 9 = -3*p + 2*p. Are x and d non-equal?
False
Let v(b) = 3*b**2 + 2*b - 5. Let q be v(2). Is q less than or equal to 9?
False
Suppose 3*l = -3*h + 5*h - 1, -2*h - 2 = -4*l. Suppose -l*f = -f. Which is smaller: -2/13 or f?
-2/13
Suppose 8*i - 3*i = -10. Which is smaller: i or 0?
i
Let q(o) = -o**2 + 9*o - 15. Let l be q(7). Are l and 0.4 unequal?
True
Suppose 5*c + 15 = -0*c. Let z(w) = w + 1. Let m be z(c). Let s = -199/156 - -1/39. Is m smaller than s?
True
Let k = 5/6 + -1/2. Let y = 2/17 - 29/102. Let h = y - k. Do h and -1 have different values?
True
Suppose -2*x + 4*x = 6. Suppose 3*q - 13 = 4*i, -x*q - 1 + 5 = 5*i. Is i smaller than 2?
True
Let v = 0.97 - 0.9. Let d = v - -0.13. Which is smaller: -2 or d?
-2
Suppose 0 = -5*x + 7 + 23. Let h be 2/(-12) - 4/x. Is h bigger than 0?
False
Let q(p) = 3*p - 14. Let l be q(3). Let g(d) = -d**2 - d + 1. Let h(i) = 5*i**2 + 2*i - 1. Let m(y) = 6*g(y) + h(y). Let u be m(l). Is u < 2?
True
Let b(m) = m. Let y be b(1). Is y smaller than 2/35?
False
Suppose 4*n + 23 = p + 2*p, n + 5 = 0. Which is greater: -2/53 or p?
p
Suppose 0 = 2*t + t - 6. Let w = 23 + -11. Suppose 5*o + r = w + 8, -r = -4*o + 7. Is o not equal to t?
True
Let q = -46 - -140/3. Which is smaller: q or 3/5?
3/5
Let y = -5362/23 + 233. Is y >= 1?
False
Let i = -2 + 0. Let v = 0 + i. Is -3/2 smaller than v?
False
Let p = -0.17 + -1.83. Let w = 0.04 + -0.04. Is w less than or equal to p?
False
Let z be (-6)/27 - 4/(-18). Let a(w) = w**3 + 3*w**2 - w - 1. Let m be a(-3). Let c be 2 - m/((-20)/(-22)). Which is bigger: z or c?
z
Let r = 1.63 - -9.39. Let d = r + -11. Is d smaller than -2?
False
Suppose -4*m = 2*o + 6, -3*m = -6*m + 3*o + 18. Which is bigger: 1/73 or m?
m
Let s be (-17)/(-4) + (-1)/4. Let b = 6 - s. Let d be b - (-3)/(-6)*0. Which is greater: d or 3?
3
Let z(r) = -r - 5. Suppose 6 = -2*m - 4. Let w be z(m). Is w at least 1/4?
False
Suppose 5*f + 1 - 6 = 0. Suppose -5*t - f = 9. Is t < -4?
False
Let m = -125 - -121. Which is bigger: -34/7 or m?
m
Suppose 4*x - 52 = 5*p, -4*p - 41 = -0*p - 3*x. Let j = -21 + 12. Let k = p - j. Which is bigger: -1/11 or k?
k
Let n(u) = -2*u**3 + 14*u**2 - 13*u + 7. Let z be n(6). Let h(j) = -j**3 + 3*j**2 - 4*j + 2. Let r be h(2). Which is bigger: z or r?
z
Let m = -102/11 + 3479/374. Which is smaller: 0 or m?
0
Suppose 5*s - 2*c = 0, -4*c = -2*c. Suppose -f = -s*f. Do f and 2/25 have the same value?
False
Let u be 4/(-10) - 172/20. Let k = 6 + u. Let s = 4.1 + -3.9. Which is smaller: k or s?
k
Let v be (0*2/(-4))/1. Let w be ((-7)/21)/(7/9). Is v at least w?
True
Suppose -4*a - 5 = -1. Is 1/4 at least as big as a?
True
Let l = -0.3 + 0.5. Let v = -0.3 + l. Let o = 6.2 - 5.2. Is v at least as big as o?
False
Suppose 4*q + 2*s + 7 = -5, -5*q - 41 = -4*s. Is q != -4?
True
Let c(s) = s - 9. Let t be c(8). Suppose -12 = -3*g + 3*u, -u = g + 2*u. Suppose 4 = 4*j - 3*p, 0*j + g*p + 5 = 5*j. Which is smaller: t or j?
t
Let n be -6*(1 + -6 - -1). Let x be 4*1/n*2. Which is bigger: x or 1?
1
Let f = 6 - 8. Let q be 0/((3 - 5) + 0). Which is greater: q or f?
q
Let u be (-4)/(-6) - (-4)/(-6). Let r be 2*((-22)/(-40) - (-15)/(-30)). Is u < r?
True
Let n = -0.18 - 0.02. Is 1/2 smaller than n?
False
Let x = 10 - 13. Let t = -242 + 718/3. Is x less than or equal to t?
True
Let k(x) = -x**3 - 6*x**2 + 9*x. Let j be k(-7). Let d = -11 - j. Is 9/5 at most as big as d?
True
Let x = 0 + 0.05. Let h = 0.15 - x. Do 0 and h have different values?
True
Let j be (23/46)/((-2)/(-2)). Is j equal to -107?
False
Let l = 131 - 145. Is -14 smaller than l?
False
Let d be ((-1)/(-72))/((-5)/(7 + -2)). Is d greater than 0?
False
Let f = 0.004 + -0.004. Is -4 less than f?
True
Let v = -6 + 11. Is v equal to 6?
False
Let u be 5*(-6)/9*-3. Suppose -3*m = 5*c - 25, -u = -5*m - 2*c - 0. Suppose m = 5*h + 14 + 1. Is h at most -3?
True
Let m = -6 - -3. Suppose p + 2*z + 14 = -p, -4*z + 4 = -4*p. Are p and m nonequal?
True
Suppose -5*y = 3*c - 27, -2*y - c = 2*c - 18. Which is smaller: 3/2 or y?
3/2
Let y be ((-9)/2)/(2/4). Let j be 1 + 3/(-6)*-4. Suppose 3*v - 5*w + 15 = 0, 5*w = -j*v - 58 + 13. Which is greater: v or y?
y
Let m be ((-7)/(-49))/(1 + 0). Do 0 and m have different values?
True
Suppose 5*u = 4*k + 41 + 108, 0 = u + 2*k - 41. Let g = u - 133/4. Is g <= 0.01?
True
Let r = -0.6 - -0.65. Let o = -0.15 - r. Suppose 2*n = -n + 6. Which is bigger: o or n?
n
Let x = 2/51 - 8/51. Suppose o + 3*o + 2*l + 4 = 0, 6 = 4*o - 3*l. Is o greater than x?
True
Suppose -4 = a - 2*a. Let n = 6 + -1. Let z = 10 - n. Which is smaller: z or a?
a
Let g = -16823/29 - -580. Let j = 35/58 + g. Does j = 0?
False
Let z(q) = q**3 + 10*q**2 + 11*q + 18. Let u = -7 + -2. Let l be z(u). Which is bigger: -2/7 or l?
l
Let b = 79 - 79. Let z = -9 + -6. Let k be (-6)/z - 4/(-15). Which is g