et n be 1 - ((-348)/(-88) + -3). Are n and u equal?
False
Suppose 5*r + 3 = -3*l + l, 3*r = -4*l + 1. Let v(d) = 4*d + 1. Let i be v(1). Suppose -4*x - 5*t - 18 + 4 = 0, 0 = x + i*t + 11. Is x greater than r?
False
Suppose -2*c - 7 = -c. Let x(a) = -a + 2. Let u be ((-50)/(-15) - 4) + 52/6. Let d be x(u). Which is smaller: c or d?
c
Let n = -0.0341 - 0.8659. Is n > -7?
True
Let b be (-3 + 26/6)*9/2. Let s = 14/45 - -302/765. Let o = 163/34 + s. Which is smaller: b or o?
o
Let c be (-4)/6*(34/(-4) + -2). Suppose 2*j = -4*z + 2, -3*j - z = 3*z - 9. Let d = c - j. Which is smaller: 1 or d?
d
Let j = -892 + 895.997. Let a = j - -0.003. Are a and -0.5 unequal?
True
Let r = 7.04 - 8. Let n = -0.04 + r. Which is greater: 0 or n?
0
Suppose -3*z - 23 = 2*b + 12, z + 10 = -b. Suppose -40 = 2*p - 14. Which is smaller: p or z?
z
Let p(y) = -69*y - 70. Let l be p(-1). Let r = -6259/379491 + -1/3189. Is r >= l?
True
Let s(c) = -c**2 - 14*c - 24. Suppose -9 = 11*t - 10*t. Let j be s(t). Which is bigger: 19 or j?
j
Let y be 6 + (2 - 1) - 2. Let g(p) = p**2 - p + 4. Let u be g(0). Do u and y have the same value?
False
Let y be (0 - 24) + -4 + -4 + 2. Which is bigger: y or -153/5?
y
Let i = -346 - -345. Is 12/85 >= i?
True
Let w be (27/(-3) + 109)/(2/(-5)). Which is bigger: -247 or w?
-247
Let n(t) = -6*t - 13. Let y(m) = 5*m + 13. Let u(d) = -6*n(d) - 7*y(d). Let z be u(10). Let h be z/(-9) + 17/(-24). Which is greater: 1 or h?
1
Let d(l) = l**2 - 76. Let x be d(9). Are 5 and x equal?
True
Let s be 0 + 17 - (2 - 1). Let m = 3634/3 + -1211. Is s greater than or equal to m?
True
Let v(n) = -n**2 - 8*n - 14. Let a be v(-5). Let w be 2 + 2/30*-3407. Let j = w - -225. Which is smaller: a or j?
j
Let o = 993 - 4984/5. Let j = 67757/15 + -4514. Let f = o + j. Which is greater: -2 or f?
f
Let l = -181 + 179. Let k = 36 - -143. Let x = -1257/7 + k. Which is bigger: x or l?
x
Let n = 94731 - 3317893/35. Let j = 66 + n. Which is smaller: j or 1?
j
Let b be 2 - ((-3 - -2) + -18). Let w = 19 - b. Let g = 871/5 - 175. Is g smaller than w?
False
Let o(f) = 5*f**2 - 2*f - 1. Let a be o(-2). Let l = 9 - a. Let j = 17 + l. Which is smaller: -1 or j?
-1
Let w(g) = -g**3 + 6*g**2 + 8*g + 1. Let x be w(7). Let j be (1 + (-3)/1)/(81 - x). Which is greater: j or 0?
0
Suppose 0 = v + 2*t + 28, -169*v + 66 = -172*v + 3*t. Is v bigger than -149/6?
True
Let w = -113/35 + 24/7. Suppose -4*k - n = -12, 0 = 4*k - 2*k - 4*n - 6. Let r = k + -4. Which is smaller: w or r?
r
Suppose 5*t - y - 6676 + 1659 = 0, 2016 = 2*t - 5*y. Is t < 1003?
False
Let d = 1849 + -1851. Is d less than or equal to -17?
False
Let y be (-7 - -4 - -4)*-85. Which is smaller: y or -83?
y
Let d = 9.9 + 7.1. Let k = d - 13. Is 3 less than k?
True
Let i = -195 + 194.5. Which is smaller: i or 0.5?
i
Let q = 5.91 - 5.163. Let w = q + 0.053. Are 1/3 and w unequal?
True
Suppose 2*m = 52 + 10. Let p be (-2)/m*(-2)/4. Which is smaller: 0 or p?
0
Let f(p) = p + 12. Let h be (-3 - -2 - 7)/1. Let a be f(h). Suppose -a = -4*q - 0*q. Which is smaller: 3/8 or q?
3/8
Let g = 0.5 - 0.4. Let d = -0.72 - -0.82. Let v = d - g. Is v greater than or equal to 3?
False
Let z be ((-5)/15)/(2/(-36)). Let o be 9/(-27) + (-10)/z. Suppose -5*y - 3*f - 1 - 14 = 0, -3*y - 5*f = 9. Which is greater: y or o?
o
Suppose -3*w = r - 5, 28 = 5*r - 4*w + 98. Let l = 48 + -44. Suppose -k - 8 = 3*u, 0 = -k + 6*u - l*u - 13. Are r and k nonequal?
True
Suppose o - 63 = -3*y - 6, 0 = 2*y + o - 39. Let a = y + -18. Does -2/327 = a?
False
Let i = -608 - -361. Is -247 <= i?
True
Suppose 0 = -19*v + 1042 - 377. Suppose -4*f + 2*f = 4*b + 38, -v = 4*b - f. Is -9 < b?
False
Let p(n) be the first derivative of n**4/4 + 5*n**3 + 6*n**2 - 8*n - 38. Let g be p(-14). Which is smaller: -1 or g?
-1
Let h(b) = -3*b. Suppose 0*x = 3*x + 4*f - 13, -2*f = -8. Let t be h(x). Suppose t*v + 12 = 3. Does v = -1/4?
False
Suppose 2*a - 114 = 24. Suppose -4*q = -5*x + a, -q = q - 8. Suppose -2*y - 11 = 5*n, -n - n - 5*y = x. Which is bigger: -6 or n?
n
Let b = -8/177 - -6943/885. Is b less than 8?
True
Suppose 1139*y + 2 = 1137*y. Which is smaller: -5/47 or y?
y
Let s(p) = p**2 + 10*p - 26. Let m be s(-12). Let c(d) = d**3 - 4*d - 5. Let z be c(m). Which is bigger: z or -6?
z
Let x be (3/2)/(6/(-56)). Let z = x - -21. Is 7 at least as big as z?
True
Let p(b) = -6*b**2 + 7*b**2 - 13*b + b**2 - b**2 + 12. Let y be p(12). Which is greater: y or -9?
y
Let k = -557 - -556. Which is bigger: -277 or k?
k
Suppose q = 4*g - 347, 204 = 5*g - 3*q - 228. Suppose 317 = 5*r + g. Is 44 smaller than r?
True
Let g(v) be the third derivative of v**6/120 - v**5/10 - 3*v**4/8 + 5*v**3/3 - 4*v**2. Let o be g(7). Let j be -1 - o - 196/68. Which is smaller: 0 or j?
0
Let y be (4/56)/(1012/462). Suppose 2*a = 6*a. Which is smaller: y or a?
a
Let m = 11 + -7. Suppose -5*g + 2 = -3*g, -3*g - 1 = m*n. Which is smaller: n or -2?
-2
Let i(g) = 40*g**2 + 4*g - 14. Let k be i(3). Which is greater: k or 357?
k
Suppose -3*y = 39 - 15. Let t = -8 - y. Let m be (-5)/(-10) + (t - 0). Which is greater: 0 or m?
m
Let s(i) = 7*i + 27. Let y(w) = 3*w + 13. Let l(z) = 4*s(z) - 9*y(z). Let x be l(9). Suppose x = 3*v + 1 + 2. Which is greater: 1/30 or v?
1/30
Let j be (-6)/(-11) + 1308/(-1672). Which is bigger: 0 or j?
0
Let j = 3 - 3.1. Suppose -52 = -5*s + 7*s. Let t = s - -34. Is t at least as big as j?
True
Let n = 143 + -77. Suppose 0 = -x - n + 202. Let y = x + -1225/9. Which is smaller: -0.2 or y?
-0.2
Let n(o) = -o**3 + 9*o**2 - 14*o + 11. Let x be n(5). Let t = -37 + x. Suppose 0*m = 3*m - 12. Is m smaller than t?
False
Let i(p) = p**3 + 4*p**2 - 6*p - 3. Let n be i(-5). Let s = 1 - n. Let t = 2 - 4. Is s > t?
True
Suppose -1107*l + 117 = -1104*l. Is 44 at least l?
True
Let c = 47.77 - 48. Let v = 17.13 + -17. Let u = c + v. Which is bigger: -11 or u?
u
Let n be ((-180)/70)/(3/(-28)). Suppose -o + n = -4*o. Let j be o/12*1/4. Which is smaller: j or 0?
j
Suppose 4*o = 2*q - 118, -5*o - 98 = 3*q + 22. Is 9 greater than or equal to o?
True
Suppose -4*n - 92 = 3*l, 50 - 164 = 4*l + n. Let k be (-240)/(-9) - l/21. Suppose 0 = 24*i - 28*i - k. Is -6 <= i?
False
Let w be 1 + (603/(-15))/(-1). Let m = 36 - w. Suppose 7*p = -4*b + 5*p - 16, -7 = 3*b + 4*p. Which is smaller: m or b?
m
Suppose 30*o = 34*o + 4. Which is bigger: 65 or o?
65
Let u = -0.1309 - 21.8691. Is u less than 1?
True
Let i = 587.311 + -587. Let j = i + -0.111. Which is smaller: -33 or j?
-33
Let o = -1 - -3. Let m = -119 - -124. Which is smaller: o or m?
o
Let c = -323.09 - -323. Let h = -6 + 7. Let l be h*((-15)/(-6))/(-5). Is c at most as big as l?
False
Let g = -18 + 30. Let k(b) = b**2 - 13*b + 13. Let l be k(g). Let f = -10 - -69/7. Which is smaller: l or f?
f
Let j = 3 + -6.2. Let s = -5.5 - j. Which is smaller: 2/5 or s?
s
Let q(o) be the first derivative of -o**4/4 - 8*o**3/3 + 17*o**2/2 - 24*o + 31. Let j be q(-10). Is j > -2?
True
Let x be (-15)/(-35) + (-90)/14. Let q = -46 + 78. Let v be (-34)/q + (-5 - x). Is v < 0?
True
Let q = -1653201/527 + 3137. Which is smaller: -0.1 or q?
-0.1
Let n(h) = -h**3 + 7*h**2 - 5*h + 15. Let p(l) = 2*l**3 - 14*l**2 + 11*l - 31. Let t(g) = -9*n(g) - 4*p(g). Let d be t(7). Are d and -7/2 non-equal?
True
Let x = 26 - 28. Let q be (x - 0)*(1 + 2 + -2). Let n = 0 - 1. Which is smaller: n or q?
q
Let m = 10577/23 + -460. Let f(h) = -h**3 + 16*h**2 + 15*h + 34. Let w be f(17). Is w < m?
False
Suppose -7 = -3*l + 8. Let b = 10 - l. Suppose b*n - n = 0. Which is smaller: 1/27 or n?
n
Let q be (-3)/3 + 27/9. Suppose -3 - q = n. Is n less than or equal to -2?
True
Let r = -309317/255 + 1213. Let n = r + 614/255. Let l = n - 43/20. Which is smaller: 1 or l?
l
Suppose -4*f - 46 = 5*k, 0*f + 24 = -2*k - 3*f. Let t = 16 - 6. Let v = k + t. Which is bigger: v or 3?
v
Suppose 0 = 60*s - 61*s, -3*g - 2*s - 1518 = 0. Is -506 at most as big as g?
True
Suppose -5*k - 15 = -b, 20 = 5*b - 4*k + 8. Is b equal to -1/140?
False
Let s = -42 + 82. Let p be (-6)/(-24) - (-318)/8. Is p > s?
False
Let t(a) = -a**2 - 5*a + 29. Let m be t(-8). Suppose -m*c - 82 = -92. Which is greater: c or 4?
4
Let r = -2.31 + 5.02. Let y = -2.91 + r. Let a = 7 - 13. Which is bigger: a or y?
y
Let o(r) = 6*r**3 + r**2 - r + 5. Let n(l) = -l**3 - 1. Let h(q)