 n or -4?
-4
Let k = -5734721/139 + 41257. Which is greater: -18 or k?
k
Let s = 21080 + -21080. Is s > -29/206?
True
Let k(m) = -m**3 - 14*m**2 - 26*m - 24. Let i be k(-12). Let t(b) = -b**2 + 5*b + 161. Let o be t(i). Suppose 20 = 159*u - o*u. Which is smaller: u or -15?
-15
Suppose 0 = 2*d - 1 - 77. Let v = d - 27. Suppose 16 = -2*n + 4*j, 0*n + n - 3*j = -v. Which is greater: n or -2/17?
n
Let a(c) = 2*c**2 - 32*c - 267. Let m be a(-6). Is m greater than 1/173?
False
Suppose 2*v + 16 = v + 2*s, v - 3*s = -20. Let r = 43765 - 43774. Is r < v?
True
Let y be (-2)/10*6/(-8 + (-3 - 683)). Is 0 greater than or equal to y?
False
Suppose 28 = -6*v + 4*v - 4*l, -3*v = -5*l + 42. Let g be ((-92)/966)/((-6)/v). Which is smaller: g or -10/3?
-10/3
Let c = 23 - 573/25. Let z = 22.8781 + -48.8781. Is c less than z?
False
Let c = 1213 + 195. Suppose 0 = 164*j - 142*j + c. Is j greater than -64?
False
Let y = 3032 + -4998. Which is bigger: -1972 or y?
y
Let j = 4181625/137 + -30523. Is -1 smaller than j?
True
Let w = -3190.033 - -3190. Which is smaller: w or -3?
-3
Let w = -456 - -462. Suppose 0 = -9*g - w*g. Are 1/231 and g equal?
False
Let m = -5131.3 - -5131. Which is bigger: -4238 or m?
m
Let k = 98 + -40. Let b = 697/12 - k. Suppose -80*j + 72*j = 0. Are j and b nonequal?
True
Let c be -15*(-4 + 0 + (-1268)/(-12)). Which is smaller: c or -1523?
c
Let g = -0.23869 - -0.02869. Which is bigger: -2/863 or g?
-2/863
Suppose -3*f = -5*f + 2*m - 22, -4*m + 28 = 0. Which is smaller: f or -42/11?
f
Let u(o) = -o**3 + 5*o**2 - 3*o + 5. Suppose 0 = -4*f - 3*f + 399. Let w be (6/2)/(f/38). Let b be u(w). Is 10 smaller than b?
True
Let v = 95631 + -95630. Let n = -3 + 5. Suppose 2*q - 5*i + 93 = 0, 18 + n = 4*i. Which is greater: q or v?
v
Let r(k) = 63*k - 7. Let f be r(7). Let j = f - 4341/10. Is 1 at most as big as j?
False
Let n(o) = -o**3 + 6*o**2 - 56*o - 5. Let u be n(6). Which is greater: u or 3?
3
Let h = -521091/4 - -130922. Is h at most as big as -2/7?
False
Let n be (-9)/12*(-460)/16445. Which is smaller: n or 0?
0
Suppose 4*m = -g + 19, 4*g + 5*m = -0*m + 32. Suppose g*u + 125 = -2*u. Let o = 160 + -184. Is u less than o?
True
Let o be (-3 + 57/4 - 5)*4. Suppose -17*b = 9 + o. Does b = -19/22?
False
Let a = -1877.1 + 1966. Let t = a - 89. Which is smaller: 0.53 or t?
t
Let q = 163 + -1. Suppose 157*i = q*i + 120. Is -24 greater than i?
False
Let w = -2.5119 + 3.1699. Is -5 bigger than w?
False
Let q = 23.6739 + 0.3261. Let v = 1.5 - 1.44. Let m = v + 0.14. Is m smaller than q?
True
Let i be (-10)/(-15) - (-34)/(-48). Suppose -2*f = 9*f - 1540. Let b = f + -141. Which is smaller: b or i?
b
Suppose 4*w + 16 = 432. Suppose f + 105 = w. Which is smaller: f or 83?
f
Suppose -2*k = 5*v + 54, -4*v - 103 + 69 = -3*k. Let s be 0/(2 + 0 + 7 + v). Which is bigger: -3/344 or s?
s
Let x = -6873 - -6873.17. Which is greater: x or -27?
x
Let x(j) = j**2 - 9*j - 24. Let k be x(12). Let i be k/3 + -1 - 3/3. Let r be -1*3 + 12*-1*i. Are r and -28 equal?
False
Let u = -30161/21 - -10056/7. Is u at most 36.2?
True
Let p = 4663 + -2788. Let n = 1021876/545 - p. Which is greater: n or -1?
n
Suppose -720 = -3*x - 0*x. Suppose -3*d = 4*u - 735, d + 2*d + 3*u = 732. Is x at most d?
True
Suppose 1422 = -465*j - 2298. Let i = 30 + -43. Let k = -21 - i. Is j >= k?
True
Let f = 722.0352 - 722. Let x = f + -0.0552. Are x and 16 unequal?
True
Let a = 6.4581 - 261.3711. Let f = 255 + a. Which is bigger: f or 0.03?
f
Let l = -2183 - -2202. Which is smaller: -0.08 or l?
-0.08
Let r(h) = 63*h**2 - 314*h + 8. Let w be r(5). Let a be -1 + 0 + 12/3. Suppose a*b + b - 52 = 0. Is w != b?
False
Let f be 1/(-4) + 381/(-12). Let i be (4 - 122/5) + 5 + -17. Does i = f?
False
Let f = 88 + -55. Suppose -n - f = -4*n. Suppose -5*a - 18 = -5*m + 37, -2*m + 10 = 2*a. Are m and n equal?
False
Let o = -28 - 5. Suppose 0*x - 2*x - 16 = 0. Let w(s) = 3*s - 8. Let u be w(x). Are o and u equal?
False
Let r(w) = 9*w**2 + 63*w - 10. Let n be r(-13). Suppose 4*s = -n - 1080. Is s != -442?
True
Let j = 1.12 - 0.922. Let o = j + -0.166. Is -2 bigger than o?
False
Let z(h) = -h + 0*h**2 - 4*h**2 + 2*h**3 + 3*h - 237 + 0*h**2 + 5*h**2. Let x be z(0). Which is bigger: -238 or x?
x
Let k = 4.3 + -4.1. Let b = 0.48 - 92.48. Let z = 93.2 + b. Is z >= k?
True
Let a be (2/10)/((-393)/786). Is a > -176.4?
True
Suppose -a + 89 = 2*m, m = -5*a - 0*a + 58. Let q = -3 + m. Let d = 1893/46 + -15/23. Which is smaller: d or q?
q
Let r(m) = 3*m**3 + 77*m**2 - 27*m - 17. Let o be r(-26). Let b = 3 - 2. Let p be (-1)/(o - 2 - b). Which is smaller: 0 or p?
p
Let g(v) = -3*v**3 - 211*v**2 + 128*v - 149. Let a be g(-71). Which is greater: 2 or a?
a
Let x(l) = -l**3 + l**2 + 7*l - 10. Let u = 17 + -13. Let o be x(u). Is o greater than -13?
False
Let f = -19032 - -19030. Which is smaller: f or -342?
-342
Let j be -14*(-14)/7 - -1. Let q be -4*2*(-28)/16. Let f(b) = -b + 43. Let t be f(q). Is t at least j?
True
Let y = -43 - -834. Let z = y + -791.1. Is z at most as big as -32/11?
False
Suppose 5634*c = 5643*c. Let k be 4/(-10) - (-37)/180. Which is greater: c or k?
c
Suppose -6*l + 157 = -215. Suppose -5*g - l = -3*y, y - 18 = -2*g + 3*g. Suppose 15*z - y*z + 28 = 0. Is z > -29?
True
Let f = 33879/20 - 6775/4. Is f >= 3/11?
False
Suppose 4*l + 22 = 2*y - 0*l, 2*l = -y + 23. Let s = 182 - y. Is 165 greater than or equal to s?
True
Let b = 547 + -546.551. Let t = -0.349 + b. Let z be 104/6 + (-2)/6. Which is smaller: t or z?
t
Let d = -750.263 + 750.3. Which is smaller: 15 or d?
d
Suppose b - 7 - 15 = -3*q, 6 = -2*b + 4*q. Suppose -386 = b*g - 162. Is g < -32?
False
Let o = -123.09606 - -0.09606. Is -28 at most o?
False
Let v = -9446 - -6666. Which is smaller: 1 or v?
v
Let z be (-3)/(513/259413) + 3. Let a = z + 1514. Suppose -3*c + 6 = 3*x, -x + 4*c - 17 = -4. Which is smaller: x or a?
x
Let y = -0.008 - -20.008. Let r = 187 - 208. Let b = y + r. Which is smaller: 3/2 or b?
b
Suppose -4*z - 5*y = -11 + 8, -2*z + 5*y = 21. Is z bigger than 60?
False
Let f = 78 + 97. Let h = -175 + f. Is h at least as big as -4/25?
True
Let r(c) = -c**3 - 12*c**2 - 11*c + 3. Let b be r(-11). Suppose -b*v + 12 = u - 2*v, 5*v + 6 = u. Let j(d) = -7*d - 45. Let x be j(-8). Are u and x unequal?
False
Suppose 3*u - 2*i = -9 + 1, -5*u - 16 = -2*i. Let k be (-4 + 71)*u/4. Do -66 and k have different values?
True
Let g = 6 - 12. Let c be (33/(-495))/((-11760)/2950 - -4). Which is smaller: g or c?
g
Let r = 19857 - 9575. Is 10282 greater than or equal to r?
True
Let u(f) = -18*f**2 + 194*f + 170. Let l be u(11). Which is smaller: l or 121?
121
Let l = -143878 - -788883072/5483. Which is greater: l or 0?
0
Let r be 5*((-244)/20 + 3). Let l(s) = -1886*s + 1846. Let p be l(1). Which is smaller: r or p?
r
Suppose 12 - 23 + 8 = 3*q. Is 198/601 at most as big as q?
False
Let y(s) be the first derivative of s**2/2 + 5*s - 12. Let b be y(6). Let v be (-6)/(-63) + (-5616)/(-567). Are b and v non-equal?
True
Let c = -6 - 1. Let w = 265645 + -1862730/7. Let s = -459 - w. Is s at most as big as c?
False
Let n(o) = -o**2 + 3*o. Let a be n(1). Let x be a/(-5) - 3456/(-90). Which is smaller: 39 or x?
x
Let q = -785 - -797. Suppose -2*a + 4 = 5*b - 0, b - 3*a + 6 = 0. Suppose 59 = 3*k - 4*t, -5*k + b*t + 75 = -2*t. Which is bigger: k or q?
k
Let c be (38/(-14) - -3)/(136482/602). Does -3 = c?
False
Let i = -36 - -43. Let r(y) = 15*y - 2. Let l be r(i). Let x = l - 517/5. Is -8 at least x?
False
Let p = -6289 - -6288.8. Is p less than -894?
False
Suppose 3*v = -4*m - 5 - 51, 0 = 4*m + v + 56. Let q be (385/10)/11*m. Is q at least as big as -47?
False
Suppose 2*p - 1 = p. Suppose -105*g + 99*g - 36 = 0. Let k be ((-2)/6)/(-1 + (-34)/g). Is k bigger than p?
False
Suppose 5*i = -426*z + 422*z - 76, 74 = -4*i - z. Suppose -3*o - o = 64. Is i at least o?
False
Let f(u) = -u**2 + 12*u + 11. Let o be f(13). Let t be (-8)/(-20) + 831/(-15) + 3. Let q = t + 54. Is o bigger than q?
False
Let i be 72/(-21) - -3 - 37105/(-113365). Is 1 greater than or equal to i?
True
Let n be 2*((-70)/14 + 6/16). Let l = n + 21/2. Is l at most as big as -1?
False
Let c = -0.193 + 22.193. Let x = c - 10. Is x < 5?
False
Let l = -55 - -59.1. Let s = -5.62 + 1.62. Let q = l + s. Do q and 1/10 have diff