6))/((-2)/12). Which is smaller: 8/3 or s?
8/3
Let p(g) = 2*g - 4*g**2 - 7 + 10 + g**3 - 2*g. Let o be p(4). Suppose -3*y + o = 3*v - 4*y, -4*v + y = -5. Is 1 <= v?
True
Let u = -43 - -46. Which is greater: u or -6?
u
Let s = -7 - -11. Suppose 0 = -s*b + 11 + 5. Let m be 11/2 + ((-90)/12)/15. Do b and m have the same value?
False
Let s be 1 - -2 - (6 - 4). Let c be s - (15/12 - 0). Which is bigger: c or -2/5?
c
Suppose 3 = -5*a - 3*k + 10, 0 = 3*a + 4*k - 13. Let b be 2/4 - 10/36. Is b < a?
False
Suppose 2*z = -4*y + 236, -4*y + 560 = -0*z + 5*z. Let i = z - 754/7. Let o = 0.3 - 0.4. Which is bigger: o or i?
i
Let h = 0.37 - 0.07. Let j = -0.05 + 0.95. Let s = j - -0.1. Which is bigger: h or s?
s
Suppose 3*o = 6*o - 6. Suppose -5*w - 2*m - m + 7 = 0, o*m - 5 = -3*w. Which is smaller: 4/9 or w?
w
Let i = -20 + 12. Let l be (-2)/i - (-3)/(-12). Suppose l*o = 3*o. Is 4/9 != o?
True
Let q be (-2)/(-3)*(-2 - 1). Let b = 14892 + -59955/4. Let i = b + 96. Which is bigger: i or q?
i
Let g = 5 + -9. Let z = g - -2. Which is smaller: z or -1?
z
Suppose 0*q - 4*q = 0. Let n be -1 - 0 - -2 - 0. Let u(r) = 2*r**3 + r**2 + r - 1. Let c be u(n). Is c at most q?
False
Suppose 4*y + 0 - 80 = 0. Let z = y - 14. Is 2 <= z?
True
Let m = -0.9 + 0.74. Which is greater: m or -2?
m
Suppose -3*z + z - 2 = 0. Is -5/4 less than z?
True
Let u = -92.6 + 92. Do 2/9 and u have the same value?
False
Let l = -4 - -3.6. Let s = l + 0.3. Let g = s + -1.9. Which is smaller: -0.1 or g?
g
Let d(i) = i**3 + 6*i**2 + 8*i + 16. Let z be d(-5). Which is smaller: z or -4/81?
-4/81
Let p be (-1 - -1)/(-4 + 6). Let u = 139/754 + -3/26. Which is smaller: u or p?
p
Let k(h) = h**2 - 5*h - 4. Let l be k(6). Let u = 2.6 - 4.8. Let x = u + 2. Which is smaller: l or x?
x
Suppose -2*j + 8 - 2 = 0. Suppose -d + j*d = 0. Let s = -3 - -2. Do s and d have different values?
True
Suppose -4*k + 56 = 48. Let o = 0.3 - 0.4. Let i = -0.2 - o. Which is greater: i or k?
k
Let m be 11/2 - 11/(-22). Which is smaller: 2 or m?
2
Let q = 0.04 + -0.04. Is -2/49 less than q?
True
Let a = -4 + 3.9. Let q = -1.9 + a. Let i = 2 - q. Which is smaller: -1 or i?
-1
Suppose -o + 25 = 5*p, 3*o - 2*p + p = 11. Is 1 < o?
True
Let s(b) = b**2 + 17*b + 15. Let f be s(-16). Is f <= -3/20?
True
Let f(j) = -j + 10. Let i be f(8). Let a = -4 + 6. Let n be (6 - 5)/(a/i). Which is greater: 5 or n?
5
Let u = -3 - -6. Suppose -3*n + u + 15 = 0. Suppose -3*z = -2*j + n, 5*z - 15 = -5*j + 6*z. Is 2/9 at most as big as j?
True
Let x be -4*2/8 + (-10)/(-13). Do 1 and x have different values?
True
Let s = 128 + -130. Which is bigger: s or 0.5?
0.5
Let y = -98 - -97.8. Let z = 3/7 - 19/28. Which is smaller: z or y?
z
Let r(w) = w - 9. Let y be r(9). Let m = y + -1. Let u be ((-2)/(-24) - m) + -1. Which is smaller: -0.1 or u?
-0.1
Let g(z) = z**3 - z**2 + z - 30. Let o be g(0). Let d be o/(-9) - (2 + 1). Is d < 1?
True
Let g be 2/(-7) + (3 - 3). Is -2/11 less than g?
False
Suppose 73 = -x - 14. Let f = x + 611/7. Is f > 1?
False
Let d be (-14)/21*(-3)/2. Suppose 6 = 2*v - 4*v. Let o be (3 + -3)*d/v. Which is smaller: 1/3 or o?
o
Suppose -4*j - 78 = -2*j - 4*d, -168 = 5*j - d. Which is smaller: -34 or j?
-34
Let s(t) = -5*t**2 - 3*t. Let b be s(-2). Let p = b - -10. Let x be -3 - p - (-2)/(-6). Is x equal to 1?
False
Let r be ((-2)/(-2) - 0) + 1. Suppose r*z = z. Suppose 0 = -5*s - 2*l - 10, z*s + 5 = -5*s - l. Which is smaller: s or -2/7?
-2/7
Let y be 20/8*12/10. Which is greater: y or 4?
4
Let d(x) = -x**3 - x**2 + x - 7. Suppose z + 4 = 3*z. Suppose -3*m - a + 5*a = -16, 8 = 4*m - z*a. Let r be d(m). Which is greater: -8 or r?
r
Suppose 0 = -5*y - 0*y + 30. Suppose v + y = 2*v. Suppose -v*k + k = 5. Is 0 > k?
True
Let v = 65/126 - 1/63. Suppose 3*w - 1 = 14. Suppose 0 = t - 6*t + w. Which is smaller: t or v?
v
Let d = -3 - -2.979. Is 1/4 less than or equal to d?
False
Let c = 177 - 168.9. Let w = 8 - c. Which is smaller: -0.03 or w?
w
Suppose 3*t = -2*z, -t = 2*t - 4*z - 18. Let u be 2*t/10*1. Let a = -5 - -5. Are u and a non-equal?
True
Suppose 3*m - 1 - 5 = 0. Suppose -3*v + 2*g + 2 = 4*g, 2*v = m*g + 18. Let n = -0.3 + 1.3. Which is bigger: n or v?
v
Let a(t) = -10*t - 10. Let z be a(-4). Let y be (-2)/(-10) + 19/z. Let g = 1 + 0. Which is smaller: y or g?
y
Let z = 0.1 - 0.6. Let i = z + 0.5. Which is smaller: -0.3 or i?
-0.3
Let a = -55/147 + 1/3. Is a at most as big as -1?
False
Suppose -d - 4 = i, -5*d + 35 + 26 = -4*i. Let b be 384/(-40) + (-3)/(-5). Is i bigger than b?
False
Let d be (-165)/36 + 32/24. Which is smaller: -3 or d?
d
Let t(y) = -y - 10. Let x = -3 - 7. Let m be t(x). Which is smaller: m or 2/9?
m
Let o be 0/(1 + 3 - (0 - -3)). Which is bigger: o or -1/18?
o
Let v = 3.47 - 0.52. Let p = 0.05 + v. Which is smaller: p or 1?
1
Let w = -43 + 31. Which is bigger: -57/5 or w?
-57/5
Let w(y) = y**3 - 7*y**2 + 6*y - 3. Let i be w(6). Let b(f) = -f + 10. Let t be b(11). Let u = t - 3. Is i smaller than u?
False
Let d(r) = -r**2 - 9*r - 17. Let k be d(-13). Let y = k + 127/2. Which is bigger: y or -6?
y
Let a = 85491 - 944816/11. Let b = -401 - a. Let c = b - -2/55. Which is smaller: 0 or c?
0
Suppose -3*n - 16 = 5*n. Is -11/5 greater than n?
False
Let a = -7.9 + 8. Is a less than 2/7?
True
Let b = 9 + 64. Which is smaller: b or 72?
72
Let b be (-1 + 0)*(-39 - (-2)/(-1)). Is b bigger than 40?
True
Suppose -c + 3*l + 285 = c, 2*c = -2*l + 310. Let q be 366/(-35)*c/9. Let r = 174 + q. Is -1/2 <= r?
True
Suppose 0 = 16*v - 26*v. Let m = 864/1463 - 6/133. Is m greater than v?
True
Let o = -2.47 + 2.6. Let q = 0.1 - o. Is q < 2?
True
Let m be ((-6)/14)/(5 + (-531)/105). Which is smaller: 7 or m?
7
Suppose 12 = r - 3*y, 0 = -3*r - 2*y - y. Suppose k = -4 + r. Is k smaller than -3/10?
True
Let y = 4 + -3. Let l be ((y - 2)/(-1))/1. Is 1 less than l?
False
Suppose 3 = -3*i - 0. Let w = -12/11 - -62/77. Which is bigger: w or i?
w
Let y = 557/19530 - -1/310. Which is smaller: -1 or y?
-1
Let j(a) = -7*a + 10. Let g(p) = p - 1. Let b(m) = -6*g(m) - j(m). Let t be b(4). Which is smaller: t or 2/7?
t
Let q be -2*((-434)/(-220) + -2). Are 1 and q nonequal?
True
Let s = 14 + -15. Let f = -263/616 - -4/77. Is f > s?
True
Let s = 35.2 - 35. Which is smaller: s or -2?
-2
Let p(z) = z**3 + 7*z**2 + z + 3. Let v be p(-7). Let y be v/(-3)*(-3)/(-2). Suppose c + 25 = -5*k, y*c - k - 8 = -3. Are c and 0 nonequal?
False
Suppose -2*q + 3*f - 7 = 6*f, -4*q = -3*f - 13. Which is smaller: q or 3/91?
3/91
Let z = -38 + 115/3. Let w be (-98)/(-6) - (3 - 5). Let n = w - 18. Are z and n equal?
True
Let z be (1 + 0)/((-5)/(-15)). Let m = -5 + 0. Let b be 8*(m - -2)/(-6). Which is bigger: z or b?
b
Let h be (-16)/6780*5/2*1. Is -1 at most h?
True
Let z(w) be the second derivative of -w**3/3 - w**2/2 - 2*w. Let b be z(-1). Let m = 0 + b. Which is smaller: 0.3 or m?
0.3
Suppose -4*x + 9 = -7. Suppose 590 = 9*w - x*w. Let p = 1297/11 - w. Which is bigger: -1 or p?
p
Suppose o + 1076 = 3*o. Let t = o - 11296/21. Which is bigger: t or 0?
t
Let z = 0.11 + -0.01. Let b = 0.2 + -3.2. Which is smaller: z or b?
b
Suppose -5*u = t + 4 + 13, -4*t - 2*u = -22. Is t <= 5?
False
Let o = 87 - 83. Which is greater: o or 3/2?
o
Suppose 3*p - 16 = 4*i, -2*i - 2*i = -5*p + 24. Let j = -24 - -24.1. Are j and p equal?
False
Let z = -1 + 0. Suppose -1 = 2*u - m, 2*u + 2 = 2*m - 2. Are z and u equal?
False
Let y be (-19)/45 + (-24)/(-108). Which is smaller: 1/3 or y?
y
Let q be (-10 - -9)*(-1)/(-1). Suppose 0 = -2*m - 9 + 1. Is m not equal to q?
True
Let f = -24 + 20. Let b be (-23)/7 - 1 - f. Which is smaller: b or -9?
-9
Let k = 142/1515 + 4/101. Let f(n) = -n**3 - 7*n**2 + 9*n + 9. Let o be f(-8). Which is smaller: k or o?
k
Let m = -30 - -36. Which is smaller: 8 or m?
m
Let y(a) = a**3 + 5*a**2 - 7*a - 3. Let j be y(-6). Let x = j + -8. Which is smaller: -4 or x?
x
Let i = -1694 - -13531/8. Which is smaller: -4 or i?
-4
Let j be -2 + 10/4 + (-106)/244. Which is greater: j or 1?
1
Let m(j) = -j**2 - 3*j + 3. Let v be m(-6). Which is smaller: v or -16?
-16
Let f = 2/53 - 71/477. Which is smaller: f or 1/3?
f
Let v = 1340/12993 + -8/213. Is v > -1?
True
Let b(p) = -7*p - 2. Suppose -6 = y + 2*y. Let s be b(y). Let d be 2/(-1) - s/(-9). Which is smaller: d or 1?
d
Let l = 89 