5.09. Let q = c + -65. Let j = 7 + q. Which is smaller: j or 1?
j
Let n = 1.61 - -0.19. Let p = -2 + n. Let x = 0.2 + p. Which is bigger: x or -2?
x
Let f = -10 - -10.11. Let d = -4.11 + f. Is 2 at least d?
True
Let p be 1/(-6) + 105/(-490). Which is smaller: 1 or p?
p
Let j = -192 - -194. Let r(x) = x**2 - x - 2. Suppose -3*o + 3*l = 0, -o + 0*l = 2*l - 6. Let p be r(o). Is p at least as big as j?
False
Suppose 0 = 3*x - 0*x - 36. Is 7 at least x?
False
Suppose 2*c + 57 = 3. Which is smaller: c or -26?
c
Let g = -2.2 + 2.1. Which is bigger: -108 or g?
g
Let v(z) = 2*z**2 + 10*z**3 - 11*z**3 + 0 + 2. Let l be v(2). Which is smaller: 3 or l?
l
Suppose -3*d + 1 = 7, 5*j + 51 = -3*d. Let r(g) = -2*g - 16. Let t be r(j). Do 16/7 and t have the same value?
False
Let a = 8.55 - 0.05. Let o = a - 8. Is -0.1 > o?
False
Let i be (4 + 2)*2/(-3). Let s = 1 + i. Do -1 and s have different values?
True
Suppose 0 = 3*t + 4*q, 0*q - q = -4*t. Which is smaller: t or 2/219?
t
Let t = 7 + -6.9. Is t < -5?
False
Let v be (45/36)/(2/8). Suppose 0 = -6*k + 2*k. Let t = k - -1. Which is greater: v or t?
v
Let z = -111 - -105.3. Let p = -1.7 - z. Which is smaller: p or 2/9?
2/9
Let m = 198 + -6928/35. Suppose -j = -5*j. Is j less than m?
True
Let i = 0 + 0. Let x be i + 1 + (-18)/22. Let l = 0.219 + -0.019. Which is smaller: x or l?
x
Suppose 3*f = -4*k - 15, -4*k + 24 - 4 = -4*f. Suppose -4*c - 16 = k, -c = 4*b + c. Which is smaller: 1 or b?
1
Let z be 70/15 - 2/3. Let i be (z/(-6))/((-1)/(-3)). Let g be (i/(-6))/((-2)/(-6)). Which is smaller: -2/11 or g?
-2/11
Suppose x + 1 + 0 = 0. Is x less than -1/5?
True
Let g be 6/9 + (-16)/6. Let v be g/5 + 48/70. Which is smaller: 1 or v?
v
Let g be (-61)/(4 - (-34)/(-6)). Let a = -37 + g. Is -1/3 at most as big as a?
False
Let g = 1.22 - 1.32. Which is smaller: 4 or g?
g
Suppose -4*h = 3*m - 19, 2*m + 2*m = -h + 8. Let o be (6/h)/(4/(-8)). Let n be 8/6 + o + 1. Is n at least as big as -1?
True
Suppose -6*g + 9 = -3*g. Suppose -2*z = g*z. Suppose t = -2*c - 2*t + 8, 4 = 2*t. Is z >= c?
False
Let u = -3.45 - -2.8. Let r = 3.95 + u. Let w = r + -3. Is 0.1 != w?
True
Let k be (-8)/(-32) - (-49)/(-164). Which is bigger: -1 or k?
k
Suppose -4*f = 1 + 11. Which is smaller: 3 or f?
f
Let s = -2 + 2. Which is bigger: s or 5/12?
5/12
Let z(m) = m**3 + m**2 - m - 8. Let o be z(0). Let j be (2/3)/(o/(-6)). Let b = 1 - 1. Does j = b?
False
Let u(k) = -k**3 + 15*k**2 + k - 18. Let o be u(15). Is 0.2 at most o?
False
Let s = 38 - 14. Suppose 2*x - s = 5*v, 5*x - 3*v - 26 = v. Let r be 4/(-6) + x/(-6). Do 5 and r have the same value?
False
Suppose 7*k - 12 = 6*k. Suppose 3*m - 29 = 1. Let q be m/(-8) + (-3)/k. Is -1 smaller than q?
False
Let i be (-3)/12 - (-6)/(-8). Is i less than -2/11?
True
Let i = 9/4 - 2. Are 1 and i unequal?
True
Let v be ((-6)/1 - -6)/(0 + 3). Which is smaller: -2/97 or v?
-2/97
Let r be (2 - 2)*(-6 + 11)/(-10). Is -3/32 at least as big as r?
False
Let m = -6 - -9. Let y be (m/(-14))/(104/(-14)). Let h = y - -713/520. Which is smaller: 0 or h?
0
Suppose 0 = 5*o - 3*g - 3, 2*o - o = -5*g - 5. Are 5/4 and o unequal?
True
Let k be 0*((-3)/6 + 1). Is 4/3 equal to k?
False
Let s = 2.6 - 2.6. Does s = -2/5?
False
Let f be (4 - 7 - 38/12) + 1. Which is greater: f or -4?
-4
Let u be ((-153)/(-6))/((-1161)/8). Let a = 2/43 - u. Which is greater: a or 0?
a
Let b = 5 - -2. Let g = b - 5. Let m = -2.1 + 2.3. Is g greater than m?
True
Suppose 2*d - 12 - 4 = 0. Is d less than 4?
False
Let c = 139 - 553/4. Let z be 1/1*3 - 2. Is z != c?
True
Suppose f = -2*n + 2 + 6, f = 3*n - 2. Let c = -2 - -7. Suppose f*a - c = -0*a + 5*v, 0 = -3*v - 3. Is a less than 2/29?
True
Let c be 60/207 + 1/(-3). Which is bigger: 0 or c?
0
Let k(d) = -4*d + 25. Let j be k(8). Does j = -7?
True
Suppose 0 = -q + 1 + 3. Suppose b - q*z + 131 = 0, 3*b + 422 = z + 51. Let j be b/189 - 4/(-18). Does 0 = j?
False
Let n = -7 - -8. Let r = 0 - n. Suppose 4*q + 18 + 10 = 0. Is q at least r?
False
Let z = 6 + -15. Let h = 6 + z. Which is bigger: -1 or h?
-1
Let i(n) = -n**3 + 4*n**2 - 2*n - 2. Let h be i(3). Which is greater: h or 9/5?
9/5
Let p be -8 + 10 - (-1 + 6). Let v be 1 - (p - -2 - -2). Is v bigger than 10/7?
False
Let o be 6 + (-5)/(5/3). Is o <= 2?
False
Let x = -23 - -12. Do x and -1 have different values?
True
Let g = 8/5 + -4/3. Which is greater: g or 1/3?
1/3
Let p(a) = -a**3 - 7*a**2 + 9*a + 10. Let i be p(-8). Which is bigger: -7 or i?
i
Let q = 5 + -4. Let y be 38/93*q/4. Let d = 2/31 + y. Which is bigger: d or -1?
d
Let z be -1 + 1/(-1) + -4. Is -9/2 > z?
True
Let d be (-4 + 4/2)*-1. Let q = d - 1. Let v = 45 - 181/4. Is q <= v?
False
Suppose 0 = -4*d + 3*n + 22, -3*n + 0*n - 6 = 0. Suppose b - 12 = -g + d*g, 5*g + 50 = 5*b. Is b less than or equal to 10?
True
Let t = -12 + 8. Let d be (-6)/(-4)*80/(-12). Let z be (-4)/d + 4 + t. Is 1 at least as big as z?
True
Let y(g) = -4*g - 72. Let o be y(-18). Let z = 0 + 0.1. Let s = z - 0.2. Which is smaller: s or o?
s
Let u(v) = 3*v**2 + v - 2. Let k be u(-2). Let d be -3 + 3*k/18. Is -2 <= d?
True
Let k = -14 - -15. Let h(g) = -2*g**3 - g**2. Let n be h(k). Let y(m) = -5*m**2 - 2*m - 1. Let f be y(-1). Are n and f non-equal?
True
Let f = 3.05 - 0.05. Let g be -7 - (-2 - -3 - 2). Let k be 9/g*6/27. Are f and k equal?
False
Let v be -6*(15/18)/(-5). Let u be (-2)/6 + (-1)/24. Do u and v have the same value?
False
Let v(b) = -10*b**2 - 7*b - 7. Suppose -2*z = 2*h, z = -5*h + 3 + 17. Let y be v(z). Let w = y - -4660/21. Is w <= -1?
False
Suppose 2*x - 2 = -0, 2*n - 6 = -4*x. Let m = n + 1. Let p(k) = -k**3 + 4*k**2 + 5*k + 1. Let o be p(5). Which is smaller: o or m?
o
Let b(a) = 4*a**2 - a + 2. Let g be b(5). Let o = g - 481/5. Is -1 bigger than o?
False
Suppose q - 8 = -2*r - 1, r + 1 = 4*q. Let u be 24/(-14) + (-2)/7. Which is bigger: q or u?
q
Let m = 8.5 - 1.5. Let x = m - 6. Is x less than or equal to 1?
True
Let d be 12/3 + -1 + -4. Which is greater: d or -3/61?
-3/61
Let t be -10*2/(-8)*2. Suppose -4*z + l - 9 = 2*l, -20 = -t*z + 5*l. Suppose -2*o - 5*a + 0 + 5 = 0, 3*o + 5*a - 5 = 0. Which is greater: z or o?
o
Suppose t = 3*h - 9, 3*h - 4*h + 3 = -4*t. Let n be (1/15)/((-2)/(-5)). Does t = n?
False
Let v(g) = -7 + 7*g - 2*g - 2*g + 0. Let u be v(3). Is u at most as big as 3/4?
False
Suppose -23*b = -18*b. Which is smaller: b or -3/22?
-3/22
Let s be ((-18)/54)/(2/18). Let o be (0 - -4) + 3 + -3. Suppose -o*m = 16 - 4. Is m >= s?
True
Let b(y) = y + 17. Let x be b(-7). Let o be 8/(-5)*5/(-2). Let n be (x/15)/(o/(-6)). Is n >= -2/7?
False
Suppose 5*g = 24 + 1. Suppose -u - 10 = -3*n, 22 = 2*u + g*n + 9. Let a = 3/92 + -223/1196. Is a not equal to u?
True
Suppose 0 = 5*b - 36 - 14. Let k be (-2)/b - (-23)/(-35). Is -1 less than or equal to k?
True
Let w(m) = m**3 - m**2 - 2. Let y be w(0). Let h = -3 - -6. Suppose -h*c - 4 = -c. Is c greater than or equal to y?
True
Suppose -4*u + 9*u = 0. Suppose l - 3 = 0, 0 = -z - z + 4*l - 8. Let w be z/(-3) - 40/(-45). Is w != u?
True
Let q be (1/(-2))/(2/(-20)). Suppose 9 = q*p - 2*p. Suppose -4*v + 13 + p = 0. Is 4 at least v?
True
Let v = -4 + 14. Let s = -9.9 + v. Is s at least as big as 0?
True
Let z = 15 + -25. Which is smaller: -12 or z?
-12
Suppose 0 = -3*v + 39 - 15. Is v smaller than 11?
True
Let n = -1.3 - -0.74. Let v = 1.48 + n. Let q = -0.08 - v. Is q equal to 0.5?
False
Let v(s) = -8*s**3 + s + 1. Let c be v(-1). Suppose x + m = -8 - 0, 14 = -2*x - 3*m. Let l be (-70)/(-9) - x/45. Is c greater than l?
False
Let d(c) = 4*c**2 - 3*c - 1. Let m be d(-2). Suppose -4*a = -z + 22, -m = -0*z - 3*z + 3*a. Which is bigger: 3 or z?
3
Let w(s) = -s**2 - 5*s + 5. Let n be w(-6). Is 0 >= n?
True
Let s be (5/(-1 - -21))/(1/4). Which is bigger: -1/10 or s?
s
Suppose v = -4*v. Suppose -2*k + v = -4. Is k > 4?
False
Let s be 7/(-3) + 14 + -10. Suppose i - 3 = -0*i. Is s bigger than i?
False
Suppose -4*w = -5*w + 2*d + 8, -2*w = -5*d - 12. Suppose 3*n - w = -64. Let o be 1/4 - (-4)/n. Which is greater: o or 3/4?
3/4
Let x be 488/336 + (-2)/7. Let p(d) = d**3 + 2*d**2 - d. Let y be p(1). Is y at least x?
True
Let q(w) = -4*w**3 + w**2 + w. Let d be q(-1). Suppose 4*y + j - 1 = d*j, 2*j - 18 = -2*y. Let z be 2/y*(-1 + 1). Is z at most -1?
False
Let t(m) = 8*m. 