 -13.1 or j?
-13.1
Suppose -23 = -5*p - 4*m, 0 = -3*p + 4*m + m - 1. Let o = p - 2. Which is bigger: o or 4?
4
Let q = -18769/2535232 + 4/5659. Is q bigger than 0?
False
Let n = -96.984 - 0.016. Let d = n + 96. Is d greater than -35?
True
Let d = 792 - 1251. Is -3/2 at least as big as d?
True
Suppose -3*c + 2*c + 1 = 0. Let a be (c - (4 - 2))/(-1). Let y be (-6)/10 + 78/180. Which is smaller: y or a?
y
Let u be 1/(-3)*(27 + -27). Suppose u = 63*y - 68*y + 20. Is y at least 8/3?
True
Let k(r) = -37*r**3 - r**2. Let z be k(1). Let c = z - -28. Is -10 at most c?
True
Let u be ((-14)/(-6))/((-7 + 3)/12). Let n(b) = 2*b**2 + 11*b - 13. Let f be n(u). Is f greater than 1?
True
Let z = 20 - 20.18. Let w = 8.18 + z. Let f = w + -5. Which is greater: f or 0?
f
Let x = -2/225 + -148/225. Let m be ((-12)/44)/(6/4). Which is smaller: x or m?
x
Let x(s) = s**2 - 5. Let t be (-1)/(-2)*-2 - -17. Suppose 2*z + t = 6*z. Let f be x(z). Which is greater: f or 10?
f
Suppose -f + 15 = -4*p, -f + 0 = 5*p + 3. Suppose 10*t - f*t + 24 = 0. Let x = t + 9. Which is smaller: x or 1/14?
1/14
Suppose 3*a - 2*n = 12, a + 4*n = -1 + 5. Let y be (-204)/(-40) + (-2)/a. Is 5 != y?
True
Let z = 0.27 + -46.27. Let a = -46.2 - z. Is -1 less than a?
True
Suppose 0 = 5*d - 8*d + 3. Which is smaller: d or 4/145?
4/145
Let k(y) = y**3 - 14 - y + 14*y**2 - 5*y + 9*y + 9*y. Let m be k(-13). Let z = 1.98 + 0.02. Which is smaller: m or z?
m
Let c = -37 - 0. Let g = -30 - c. Let h(t) = -t**2 - 5*t + 8. Let m be h(-6). Is g <= m?
False
Let m(y) be the second derivative of y**3/6 + 3*y**2 - y. Let f be m(-3). Let d(l) = -l**2 + 5*l - 7. Let a be d(f). Are 1/27 and a unequal?
True
Let l = 44.9 - -60.1. Are l and -2 unequal?
True
Let v(q) = -q**2 + 29*q - 91. Let s be v(30). Which is greater: s or -122?
s
Let c = 1718 + -37823/22. Let f = c + 631/550. Let t be (-2 - 10/(-4))*2. Which is bigger: f or t?
t
Suppose -10 = 17*t - 12*t. Let x be t*(2 - 1) + (6 - 3). Is x bigger than 0?
True
Suppose 0*y + 51 = 17*y. Let s(v) be the third derivative of -v**6/120 + v**5/10 - v**3/6 + 3*v**2. Let p be s(6). Do p and y have different values?
True
Let q = -49 - 14. Let k = q - -60. Is k > -5?
True
Let w = 5.6 + -1.4. Let u = w - 4. Which is smaller: u or -2?
-2
Let k = 6499/866 - 2/433. Is k greater than 7?
True
Suppose -7*f = -10*f - 96. Let k be 4/(f/6) + 154/56. Which is smaller: 6 or k?
k
Let d = -89/24 + 67/8. Let u = -57 - -33. Let v = u + 30. Which is smaller: d or v?
d
Let u(h) = -2*h**3 - 33*h**2 - 41*h + 16. Let q be u(-15). Is 1.3 bigger than q?
True
Let o = 19/9 + -23/9. Which is bigger: 1.4 or o?
1.4
Let j = 130 - 174. Let i = 49 + j. Are 5 and i unequal?
False
Let p = 168 - 174. Which is bigger: p or -51?
p
Let b = -1 - -1. Let c(f) = 9*f**2 + 19*f + 3. Let q be c(-2). Let z be (q + b)*(4 - 5). Which is smaller: -2/11 or z?
z
Suppose h + 58 = 17*l - 21*l, -2*l - 4*h - 36 = 0. Do l and -14 have the same value?
True
Let v(p) = -2*p**2 - 31*p - 62. Let w be v(-13). Which is greater: 0 or w?
w
Let v = 58 + -43. Which is smaller: v or 33?
v
Let a = 0.105 + -2.205. Which is smaller: a or -3/2?
a
Let u(d) = -d**3 - d + 8. Let k be u(0). Let f = 11 - k. Let r = 478/5 + -96. Is r smaller than f?
True
Suppose -4*g = 7 + 9. Let v(f) = 253*f**3 - f. Let k be v(-1). Let w be 1/g + (-7)/k. Which is smaller: w or 0.3?
w
Suppose 4*w = -5*g + 2053, -4*w + 2751 = g + 718. Which is greater: w or 506?
w
Let o = 996 - 2900/3. Let x = o + -31. Is x > -0.2?
False
Suppose -37 = -i - 58. Is i at most -159/8?
True
Let a = 265 + -352. Which is greater: -88 or a?
a
Let k = 59.3 - 59.2. Which is smaller: k or -7?
-7
Let o = -191 - -200. Let c be (-3 - -2) + 12 + 0. Are c and o nonequal?
True
Suppose 0 = 2*v + 8, -4*n + 1 = 2*v + 17. Let i = -3420.81 + 3421. Which is smaller: n or i?
n
Let x(z) = 3*z + 6. Let m(n) = 7*n + 13. Let p(k) = -2*m(k) + 5*x(k). Let h be p(-3). Let s = -0.0013 - 0.0187. Which is smaller: h or s?
s
Let i = -1196 + 1195. Is i < 4/191?
True
Let p be 8/(-24) - (-84)/9. Suppose -15 = -p*k + 4*k. Suppose 0 = -2*c - 2*r, 0 = 3*c + 2*c + k*r - 2. Which is smaller: 0.05 or c?
0.05
Let u be 4/(-18) + (-104)/18. Let c be 2/(-7) - (-30)/(-42). Let f(o) = 3*o - 3. Let k be f(c). Is k greater than u?
False
Let l(h) = h**3 + 6*h**2 + h + 6. Let p be l(-5). Suppose 4*k + 5*o - 79 = 0, -68 = -3*k - 4*o + 2*o. Is k at most p?
True
Let r be 24625/165000 + 7/8 + -1. Which is smaller: 1 or r?
r
Let i be -1*(120/35 - 3). Suppose 12 - 16 = 4*t. Let f be t + -5 + 2 + 5. Is i < f?
True
Suppose -29*a = -25*a. Which is greater: a or 171?
171
Suppose 3*v = s + 137, 168 = -s + 2*v + 36. Which is greater: s or -123?
s
Suppose 5*f + 120 = -0*f. Let t = f - -24. Which is bigger: 4/23 or t?
4/23
Suppose 15 = -m - 5*b, -4*m - 9*b = -8*b + 3. Let y = 2/161 + -24/805. Which is bigger: m or y?
m
Let y(c) = -7*c + 7. Let m be y(5). Let b be (12 - 14)/(m/(-6)). Is -1 > b?
False
Suppose -12 = -k + 5*h, 0 = 3*k - 0*h + 4*h - 36. Suppose 3*i = -2*i + v - k, i + 2*v = -9. Let p be -2 + 1/(i/15). Are -8 and p unequal?
True
Let g = -1641 - -1518. Which is greater: g or -125?
g
Suppose -2 = -4*b + 2. Which is greater: -2/249 or b?
b
Suppose -2*q + 26 = -3*y, -9 = q + 5*y - y. Suppose q*i = -i - 8. Let x = -1 + -1. Which is greater: x or i?
i
Let w be (-1 - 6*2/(-1))*1. Let q be 1/2*(-15 + w). Which is greater: q or -14/5?
q
Let d = -952 - -890. Which is greater: d or -3?
-3
Let v = -2 - -1. Let f = 0.6305 - 0.0305. Which is bigger: f or v?
f
Suppose -58 = v - 3*v. Let b = v - 27. Let z be ((-5)/(30/b))/1. Which is greater: 0 or z?
0
Let m = 2.34 + -2.04. Which is greater: -10 or m?
m
Let o(h) = -h. Let j(z) = -z**2 - 5*z + 2. Let b(l) = -j(l) + 5*o(l). Let s be b(-5). Is 23 equal to s?
True
Let k = -0.263 + 0.063. Is -103 bigger than k?
False
Suppose -1440 = -5*c + 3*k - 30, 10 = -2*k. Is c at most as big as 278?
False
Let w(x) = -8*x**3 - 4*x**2 - 8*x - 8. Let q(s) = -7*s**3 - 4*s**2 - 7*s - 7. Let r(b) = -7*q(b) + 6*w(b). Let u be r(-3). Is 20/3 at most as big as u?
True
Let a(u) = -93*u**3 - 3*u**2 + 3. Let m be a(1). Which is smaller: m or -94?
-94
Let y = 26 - 10. Let b(g) = 2 + 4*g + 2*g + 4 - 7*g. Let x be b(-10). Is x less than or equal to y?
True
Let t = 15222642 - 822053393/54. Let x = t + 569. Which is smaller: x or -1?
-1
Let m be (-2)/5 + (-27036)/(-46740). Let u = 3/41 - m. Is u != -1?
True
Let z be ((-1)/168)/((-26)/(-52)) + 0. Is z equal to 0?
False
Let n(y) = -y**2 + 7*y + 11. Let l be n(8). Suppose 0 = 3*a + l*h - 30, 3*h = 2*h + 2. Is a smaller than 8?
False
Suppose -9*a = -19 + 100. Let k be 2*(22/4 + -3). Suppose -3 = k*f + 7. Does a = f?
False
Let a be (-2)/6 - -4*11/33. Suppose f = -0*f. Let l be ((-2)/10)/(f - a). Which is greater: l or -0.1?
l
Suppose 4*l + 13 = 3*l. Let u = l - -9. Let x = 12 + u. Does x = 7?
False
Let b be 4/(-8)*0 + -9. Let c(f) = 2*f + 9. Let a be c(b). Is a < -10?
False
Let p = -23 + 11. Let d = -8 - p. Suppose -6*z - 6 = -4*r - 3*z, 4*z = 8. Which is smaller: d or r?
r
Let k = 17 + 1. Suppose k = -4*g + 3*g. Suppose -2*y - 19 = -y. Which is greater: g or y?
g
Suppose 30*c - 120 = 25*c. Suppose j - 2*j + 25 = 0. Is j greater than or equal to c?
True
Suppose 0 = -3*v - 70 + 73. Let n be (-4)/20*(v - 3). Which is smaller: 0.03 or n?
0.03
Suppose 0 = 4*b - 0*b + 4, 2*u + 2*b = 36. Which is smaller: u or 5?
5
Let q = -10/77 - -3117/23408. Is q smaller than -1?
False
Let h(t) = -2*t**3 + t**2 - 3*t + 1. Let x(u) = 2*u**3 + 3*u. Let a(f) = -2*h(f) - 3*x(f). Let b be a(-1). Which is smaller: b or 1/81?
1/81
Let f(t) = 9*t - 17. Let s be f(2). Suppose -5*q = 5*m + 235, 3*q + 193 = -5*m - 44. Which is smaller: m or s?
m
Let r = -42.7 - -45. Let z be 280/96*-3 + 9. Is z >= r?
False
Let s = 1353 - 48709/36. Which is bigger: s or -0.1?
s
Let h be (-1 - 138/(-144))*(-300)/20. Suppose -q - 20 = -3*q. Suppose b = -4*f + q, 5*f - b - 1 = 7. Are f and h nonequal?
True
Let g = 1682 + -1683. Is g at least 2/33?
False
Let a(u) = 4*u**3 + 22*u**2 - 9*u - 1. Let y be a(-6). Which is greater: -26 or y?
y
Let z = 477.9 + -456. Is z at least as big as 1?
True
Let x be 2 + -1 + 0 - -15. Suppose 0 = -3*o + 1 - x, -o = a + 4. Let r be 2150/(-10150) + (-1)/(-7). Which is smaller: r or a?
r
Suppose -2*m + 3 = i, -101*