5*s = 0. Is 13/23 at least as big as s?
True
Let k(w) = w + 14. Let v be k(-12). Let m(u) = -6*u - 5 + 0 + 9*u**v - 5 + u**3 + 5*u. Let h be m(-9). Which is smaller: 3 or h?
h
Let f(s) be the second derivative of -1/12*s**4 + 2/3*s**3 + 0 + 0*s**2 - 6*s. Let h be f(4). Which is bigger: h or 3/26?
3/26
Let y(x) = -11*x**3 - 3*x**2 - 4*x + 5. Let j be y(3). Let n = -3644/11 - j. Is 1 not equal to n?
True
Let b = 2522 + -2559. Which is greater: 16 or b?
16
Let b = -749 - -755. Which is smaller: 5 or b?
5
Suppose 0 = -2*n - p + 1 - 12, -4*n + 5*p - 43 = 0. Do -8 and n have different values?
True
Let q be (-57)/918*(-69)/2. Let y = -25/12 + q. Suppose 1 = 4*a - 3. Is a at least as big as y?
True
Suppose 2*t - 5*b - 4 = -14, -4*t - 4 = -2*b. Is t bigger than -17/35?
True
Let t = 0.483 + -51.083. Let j = t + 52. Which is smaller: j or -0.1?
-0.1
Let c = 8.97 - 9. Let a = 118320 + -1063622/9. Let t = a + -140. Does t = c?
False
Suppose 4*g + 4 = -5*l, g - 4 = -g - l. Suppose -4*b - 5*x + 73 = 0, g*b = b + x + 31. Let k = -10 - -20. Does b = k?
False
Let j = 127 + -199. Are j and -73 non-equal?
True
Let r = -1674 - -28511/17. Is r at most as big as 2?
False
Let s = 10 + -49/5. Suppose 5*t - 3*o = 5, 4*t + 0*o - 4 = -2*o. Is s less than t?
True
Let x = -163 + 163.2. Is -1 != x?
True
Let n = -5 + 2. Let v = n + 1.4. Let k = v + 1.2. Are 2 and k unequal?
True
Suppose 0 = -d + 6*d. Let i(l) = -l**2 - 20*l - 24. Let y be i(-18). Let q be (-118)/88 - (-3)/y. Which is smaller: d or q?
q
Suppose -8*c - 202 = -210. Let t(y) be the third derivative of -y**4/6 + y**3/3 + y**2. Let j be t(c). Which is greater: -1 or j?
-1
Let v be (3 + (-20)/2)*-2. Let m = v - 12. Suppose 0 = b - m - 1. Which is bigger: 15/4 or b?
15/4
Suppose 2*o = 6*t - 5*t - 214, t - 5*o - 208 = 0. Is t <= 219?
True
Let q = 873/154 - 87/14. Suppose -2*n - 10 = 3*n. Which is smaller: n or q?
n
Let j = 277.63 + -278. Is j smaller than 1?
True
Let v = -30 + 34. Let h be ((-424)/(-68) - 6)*(-2)/v. Is -1/2 at most as big as h?
True
Let d(w) = -4*w + 62. Let h be d(16). Which is smaller: -98 or h?
-98
Let m = 18 + -22.5. Let z = -10 + m. Let n = -15 - z. Are 0.2 and n equal?
False
Let s be (-2)/8 - (-40713)/(-140). Suppose 0 = 8*q + 1232 - 3560. Let w = q + s. Which is bigger: 0 or w?
0
Let n = 2153 + -2116. Which is smaller: n or 25?
25
Let s = -14 + 27. Let i be (-2 - -2) + (s - 2). Let q(z) = 10*z**3 + 2*z**2 - z. Let w be q(1). Is w less than i?
False
Let o be 6/3294*(-465)/(-14). Let b = o - -2/183. Which is greater: b or 1?
1
Suppose 0 = -4*m - 57 + 1. Let z = m + 16. Which is greater: 7/8 or z?
z
Let u = -0.8725 - 0.0415. Let t = -0.086 + u. Let z = -24 - -13. Which is bigger: z or t?
t
Let w = 141 - 142.9. Suppose -2*j - j = 4*v - 4, 0 = j - v + 1. Are w and j unequal?
True
Suppose 0 = 3*w - t - 65, 5*t - 16 - 79 = -5*w. Let y be -4*(-3)/18 + 40/w. Is y at most as big as 3?
True
Let g be (-541)/77 + (-441)/(-63). Is -1 > g?
False
Let n = 145.6 - 137. Let d = -40.4 - n. Is d greater than or equal to 1?
False
Let b be 171/6*62/(-93). Is b != -17?
True
Let b = -290 + -294. Are b and -584 equal?
True
Let o(s) = -21*s + 6. Let m be o(2). Let l be 1 + 7 + (-9)/(m/8). Is 12 bigger than l?
True
Let w be ((-26)/65)/((-699)/(-30)). Which is greater: w or -2?
w
Let l(n) = -2*n + 12. Let s(w) = w**3 - 3*w - 2. Let x be s(-3). Let i = 29 + x. Let a be l(i). Is a equal to -6?
True
Let p = -11023/13 + 848. Are 32 and p equal?
False
Let b = -591 - -578. Is b bigger than -23/2?
False
Let j = -10 + 7. Let l = 11 - 1. Suppose 4*a - r = -21, -5*a - l = -r + 3*r. Is a < j?
True
Suppose -2*u + 3*u = 4*r - 15, 2*u = 3*r - 5. Suppose r*i + 65 = 3*x, 3*x - 3*i = 4*x - 3. Suppose h + 4*h + x = 0. Is h at least as big as -3?
True
Let y be ((-16)/12)/(2/6). Let c be (-4 + y)/(-4) - 2. Which is smaller: c or 1/37?
c
Let l = -3.258 + 3.258. Which is greater: l or -75?
l
Let z be (-1)/(-3) - (-14)/(-51). Suppose 0 = -4*a + 8, -358 = -3*p + 2*a - 353. Is z <= p?
True
Let f = -4/6983 + -9119770/48881. Let t = f + 187. Let c = -709 + 709. Is c at most t?
True
Let a = -7 - -11. Suppose a*q = -3*z - 12, 4*q + 4*z + 3 = -13. Suppose -23 = -i - 27. Which is greater: i or q?
q
Suppose 0 = -t - 3 + 5. Suppose 0 = x - a - 3*a + 4, -2 = -2*x - t*a. Is x at least -2/7?
True
Suppose -4*m + k = -50, 3*k - 5*k = -m + 9. Suppose -637 + 655 = 2*c. Let r = c - m. Is r less than or equal to -3?
True
Let a = 630 + -631. Is a less than 2/219?
True
Let q = -415.103 - -415. Is q greater than 1/16?
False
Let d = 0.0575 + 0.9425. Let s = 0.3 + -2.3. Let v = -2 - s. Which is smaller: d or v?
v
Let p = 62 + -6. Let l be 19/(-280) + 7/p. Which is smaller: 1 or l?
l
Suppose -170*k + 166*k - 8 = 0. Which is greater: k or 43?
43
Let k be (-2)/9 + 175/(-63). Let m = 461 - 3242/7. Which is greater: k or m?
m
Let z = -0.049 - 31.951. Let d = -19 - z. Let p = d - 13.1. Which is smaller: p or -1.4?
-1.4
Suppose -4*d + 134 + 599 = -5*k, -3*k = 5*d + 425. Let v be 1/(k/135) + 1. Let q(o) = o**3 + 11*o**2 + 9*o - 11. Let y be q(-10). Is y greater than v?
False
Let v = -910 + 5441/6. Are 0.1 and v unequal?
True
Suppose -2*i = -2*m - 53 - 13, i = 2*m + 63. Let r = m - -30. Suppose -2*b = -b + 4. Which is bigger: b or r?
r
Let h = 483.98 + -484. Is 2 at least h?
True
Suppose 21*p + 0*p - 987 = 0. Which is bigger: p or 3?
p
Suppose 0 = -140*s + 1445 + 1355. Which is bigger: -43 or s?
s
Let c = 76 + -66.96. Let p = c - 9. Let t = -9.04 + p. Do t and -1/4 have the same value?
False
Let n = -31 - -33. Suppose 2*c + 12 = 2*k, -4*c + n*k = -k + 19. Let x = 2 + -2. Which is bigger: x or c?
x
Suppose 4*p - 125 = -37. Suppose -2*f = -2*j + 14, -f + 0*f - p = -4*j. Is j smaller than 9/2?
False
Let m(k) = -k**3 - 34*k**2 - 73*k - 127. Let p be m(-32). Which is greater: p or 158?
p
Suppose -q = 3*r + 27, -3*r - 4*q - 27 = -0*r. Let w be (-2 - -12)*r/((-2835)/2). Which is greater: w or 1?
1
Let r = -37 + 35. Let b be 8/r + 35/9. Is b at most -0.1?
True
Let o = -55.1 + 50. Let b = o + 5. Let v = 33 - 32.8. Which is smaller: b or v?
b
Let k = 6.1 - 11.7. Let l = k + 4.7. Which is greater: -6 or l?
l
Let q be (-3 - 55/(-15))/(4/(-6)). Let t(s) = s**2 - 4*s. Let z be t(4). Is q greater than z?
False
Let h(q) = q + 9. Suppose 0 = 5*u + 30 + 10. Let g be h(u). Let w = -0.9 - -0.2. Is g bigger than w?
True
Suppose 5*w + 2 = 2*b, -w - 2*b + 2 = 3*w. Which is smaller: w or -2/773?
-2/773
Let p = -4.26 - 0.24. Let c = -4.8 - p. Which is greater: -4 or c?
c
Let l = 73 - 70. Suppose -20 = -5*w, -l*o - o - w + 28 = 0. Is 4 < o?
True
Let b(n) = 3*n + 19. Let s be b(20). Let w = s - 71. Is w equal to -1?
False
Let z = -257/1586 - -1/122. Which is smaller: 0 or z?
z
Let q = 338 - 267.2. Let x = q - 7.8. Let b = -41 + x. Are -2/7 and b nonequal?
True
Suppose 3*n = -0*n + 60. Let b be ((-36)/5)/(1/n). Let t be ((-448)/b)/(2/(-3)). Which is smaller: -6 or t?
-6
Let g(w) = 5*w**2 - 8*w + 7. Let l = 0 + 6. Let a(f) = 9*f**2 - 15*f + 13. Let v(d) = l*a(d) - 11*g(d). Let x be v(1). Is x at most as big as -5/2?
False
Let k = -0.29 - 18.71. Let t = k + 34. Let b = -15 + t. Is b at most as big as 0?
True
Let s = 66 + -39. Let q = s + -26. Suppose 0 = -3*c + q + 2. Which is greater: 3/11 or c?
c
Let n = -23 - -11. Let t(z) be the third derivative of -z**6/120 - 11*z**5/60 + 5*z**4/12 - 23*z**3/6 - 9*z**2. Let s be t(n). Which is greater: 1/10 or s?
s
Let d be (-18)/33*12/(-18). Is d != -1?
True
Let z be ((-62)/(-6))/(((-48)/18)/(-8)). Suppose z = -l + 10. Is l greater than -21?
False
Suppose g = -g - 10. Let j = g + 17. Let m be j/(-48) + (-5)/(-4). Is m > 1?
False
Suppose -3*l + 10 - 1 = 0. Suppose s - 3*n = -s - 16, -l*n = s - 10. Suppose -2*p = -r + 6 - 2, -4*p = 12. Is s less than or equal to r?
True
Let y be (-2831)/323 + 20/4. Is -4 less than y?
True
Suppose -1 = -3*f - 4. Suppose 17*u - 20 = 12*u. Let j be (u + -6)*f/2. Which is greater: 2/3 or j?
j
Let s(x) = -28*x - 166. Let y be s(6). Do y and -336 have different values?
True
Suppose 5*c + 5 = 10. Let h be (-1)/38*(-1 + 4 + -9). Are h and c nonequal?
True
Let u be 3 + -1 - (-1 - -5). Let f = -29627/7 - -4211. Let y = f + 20. Do u and y have the same value?
False
Let w = 23.43 - 0.43. Let o = w - 23.2. Which is smaller: o or -9/2?
-9/2
Let