r -15?
o
Let z(t) = -3*t**2 + 17*t - 11. Let v be z(4). Let d = 26 + -21. Which is bigger: d or v?
v
Let n be (-2)/(-4) + (-17)/42. Let s(b) be the second derivative of -b**5/20 + b**4/4 + b**3/3 - 5*b**2/2 - 2*b. Let l be s(3). Which is smaller: l or n?
n
Let b be (-810)/(-50) + (-1)/5. Suppose -d + 4*a - b = 0, -d - a + 6*a = 16. Let w(s) = s**2 + 14*s - 3. Let v be w(-13). Is d < v?
False
Let y be (-26)/(-90) + (-6)/(-54). Which is smaller: 2/41 or y?
2/41
Let q(i) be the second derivative of 4*i**3/3 - 28*i**2 - 32*i. Let m be q(10). Which is bigger: m or -2/9?
m
Let z = -9763.919 - -9786. Let h = z + -0.081. Is 0.2 at least h?
False
Let a(y) = 2*y**2 - 4*y + 3. Let j be a(2). Let b = j + -3. Let x be 80/38 - (-13 + 15). Is x at most as big as b?
False
Let r = 0.4 + -0.3. Let v = r - -0.4. Let d = -0.093 - -0.293. Is d > v?
False
Let u be (16/14)/(20/210). Is u equal to 12?
True
Let w be 1/3*1*2. Let d = -48 - 24. Let z be 6/(-9) + (-66)/d. Which is bigger: z or w?
w
Let p = -195 + 194.89. Which is smaller: p or 3/7?
p
Let l = -1 + 0. Let i = 575 + -100623/175. Which is bigger: l or i?
i
Let m = -94 + 99. Let z be 2/8 + (-7)/(-4). Suppose 3 - m = z*k. Is 1/13 at least k?
True
Let o be (-22)/18 + 1 - 1314/(-81). Which is greater: o or 1?
o
Let k(q) = -47*q - 151. Let n be k(-3). Which is greater: n or -11?
n
Let k = -16 - -8. Is 2 <= k?
False
Let d = -639/77 + 129/11. Which is bigger: d or 0.1?
d
Suppose -10*l + 19*l - 27 = 0. Suppose 0 = -4*r + 17 - 5. Suppose x - 4*a = a + 7, r*a - 21 = -l*x. Which is bigger: x or 8?
8
Let i(k) = -k**2 + 16*k - 59. Let y be i(6). Let a be (5 - (2 - 1)) + -3. Let x be ((-1)/48)/(a/(-2)). Is y > x?
True
Let w = 516 + -474. Which is greater: 40 or w?
w
Let w = 832 + -831.9. Which is bigger: w or -212?
w
Let m = -13.6 - -12.648. Let c = -0.048 + m. Is 2/37 not equal to c?
True
Let z = 1806 + -260063/144. Let w(f) = f - 8. Let y be w(9). Is y < z?
False
Let w = -3/274 + -437/10138. Let x = -7778 - -7777. Which is greater: w or x?
w
Suppose 0 = -3*i - i. Suppose i = 8*b - 5*b. Let x be 5 + -7 + 1*4. Which is greater: b or x?
x
Let o = 125 + -59. Let b = -73 + o. Is 1/11 bigger than b?
True
Let q(b) = b**2 + 3*b - 6. Suppose 2*v + 4 = -r - r, v = r - 10. Let o be q(v). Let z = o + -25. Is -14 greater than z?
False
Suppose 0*q = 2*q. Suppose 2*h + 5*i + 9 = q, 0 = 4*h - 4*i + 83 - 23. Suppose 0 = 4*c - 4*p + 24, 2*c + 9*p - 4*p + 54 = 0. Is h greater than c?
False
Let m(v) = 5*v - 4. Let k be m(2). Suppose 0 = -k*o + 3*o. Which is smaller: o or -2/43?
-2/43
Suppose 14*s - 15*s = -4. Does s = -7?
False
Suppose 2 = 5*h - 3. Let n be ((14/(-15) - 0) + h)*6. Is n at least as big as -1?
True
Let p be 2 - -3 - ((5 - -27) + 6). Do -34 and p have different values?
True
Let u = 0.826 - -23.174. Which is smaller: u or -7?
-7
Suppose 3*b + 29 + 145 = 2*r, -2*r = 5*b - 174. Are r and 86 equal?
False
Let v be 6*((-48)/27 + 2). Let i be (4 - 0)*(3 + -1). Let o = i - 6. Are o and v equal?
False
Suppose -s - 2*v = -5*s + 16, 3*v + 4 = -4*s. Let z = -13 - 5. Is s not equal to z?
True
Let w be 0 - 3/18 - 61/(-42). Which is smaller: w or -1?
-1
Suppose -5*p + 29 = -171. Let y = p - 76. Is y smaller than -35?
True
Let o = 8 - 3. Suppose o*f - 2*m = -60, -3*f + 7*f = -m - 48. Which is smaller: -13 or f?
-13
Let l(k) = -4*k + 14. Suppose 7*j = 6*j + 11. Let v be l(j). Let t be (v/(-45))/(-1 - 11). Which is bigger: t or -1?
t
Suppose -2*k + 0*u - 4 = u, 2*k + 2*u = -8. Suppose -7*q + 2*q + 5 = k, -4*x = 5*q - 181. Which is bigger: x or 43?
x
Let z(m) = -36 - 2*m - 33 - m + 72. Let g be z(-6). Which is smaller: g or 23?
g
Let o = 9.2 - 5.2. Is -4 < o?
True
Let n = 1808 - 1809. Is 16/169 at least n?
True
Let n = -27 + 26. Is -1/71 less than n?
False
Let q = 543/28 + -9/14. Let h = -403/20 + q. Let r be 66/40 - 170/136. Which is smaller: h or r?
h
Let o be (0 + 0 + 0)/(-2). Let k be (o - 0)*(-3)/6. Which is bigger: -3 or k?
k
Let u be (1 - 9) + 315/45. Which is bigger: u or 10/403?
10/403
Let s be (-2)/(-77)*(0 + 1). Let p be 7/(-119)*0 + 4/4. Which is smaller: p or s?
s
Let p be (-4)/(-10) + 872/20. Which is bigger: 45 or p?
45
Let o = -0.9 + 1. Let w = -64 - -66. Is o < w?
True
Suppose 5*h - 37*r + 34*r = 8, -4*r = -2*h + 6. Which is smaller: -3/2018 or h?
-3/2018
Let n = -727 + 727.2. Which is smaller: -269 or n?
-269
Let a(m) = m**3 - 3*m**2 - m. Let h be a(3). Let y(f) = -3*f + 2. Let b be y(h). Let s = 8 - b. Is s bigger than -1?
False
Let o = -3/388 - 2683/4268. Let d = o + -19/22. Which is smaller: -0.2 or d?
d
Let p = 226 + -219. Suppose p*i - 3 + 45 = 0. Suppose 0*k - 5*k - n - 45 = 0, -5*k + 3*n - 25 = 0. Are i and k non-equal?
True
Let c(u) = -u**2 - u + 2. Let l be c(-3). Let p be 0/(l/4*2). Let b = 1094/21 + -52. Which is bigger: b or p?
b
Suppose -b + 9 = 3*a, a - 4*b - 9 = -2*a. Let j be (-5 + (-155)/(-15))*a/14. Are j and 0 nonequal?
True
Let q = -1449 + 1541. Is 86 != q?
True
Let d be (-24)/36*(-783)/(-6). Is -87 not equal to d?
False
Suppose 2*f = 3*y - 94, 45 = 5*f + y + 246. Suppose 4*i = -3*a - 146, -2*i + 74 = 2*a - 4*a. Is f equal to a?
False
Let i(g) = -g**2 - 4*g + 2. Let a be i(-5). Let b be 1/(-3) - 13/a. Suppose -60 = -w - b*w. Is 12 at most w?
True
Let k(b) = -b**3 - 1. Let f be k(-1). Let w = 1047/7 - 186359/1246. Which is bigger: w or f?
w
Let y be ((-4156)/(-8) + 7)/6. Which is smaller: y or 87?
87
Let b = 11.4 - 12. Let u = -7.4 + b. Let v be (-1)/5*5/(-4). Do v and u have different values?
True
Let k = 11 - 8. Suppose -y = -k - 4. Let p be (-20)/(-90) + (-5)/(-45). Is y equal to p?
False
Suppose q - 9 = -5*h, 5*h + 2*q + q - 7 = 0. Let z be (h/(-5))/(9 - 0). Are z and 1 unequal?
True
Let s be 2/(-16)*(-2)/(-6). Let h be (0/1)/2*-1. Is h greater than or equal to s?
True
Let t(b) = -b**3 + 9*b**2 + 2*b - 9. Let s be t(9). Suppose 0 - 2 = -f. Let k be (-2)/(-2)*(f - 1). Is s >= k?
True
Let l = -33 - -33. Let k(b) = b**3 + b**2 + b. Let h be k(l). Which is smaller: -3/14 or h?
-3/14
Let p(z) = 2*z + 11. Suppose 0 = -3*g + 6 - 24. Let c be p(g). Are -1/2 and c non-equal?
True
Suppose 2*z - 3*i = -933, -7*i + 8*i = -2*z - 929. Is z at most -465?
True
Suppose -4*m + 8*m - 4 = 0, -2*q - 3*m = -729. Is 364 less than q?
False
Suppose 30 = 2*v + 3*v - 3*p, 0 = -5*v + 4*p + 35. Suppose 2*o - 2 - 8 = 0. Suppose o*g = -4*q - 20, 5*g = -2*q + v*q + 5. Which is smaller: q or -14/3?
q
Let l = -9 - -10. Let q(o) = 6*o**3 + 2*o**2 - 2*o + 1. Let w be q(l). Let v = w + -13/2. Is v equal to 1/4?
False
Let p = 0.064 + 2.836. Let y = p + -2.7. Let n = 4.09 + -0.09. Is n at most y?
False
Let n = -109 - -109. Suppose 5*q - 15 = n, -5*u = -2*q + q + 3. Which is bigger: -1/39 or u?
u
Let r = 12 - 14. Let c be (-3)/2*r/24. Let x = 5/56 + c. Is x >= 0?
True
Let s = -2/151 + 157/453. Do s and -0.4 have the same value?
False
Suppose 4*k - 2 = -22. Suppose 4*y + 12 = -4*m, -3*m - 3*y = -m + 5. Are k and m equal?
False
Let u = -16 + 16.8. Let i = 10.2 + u. Let q = i + -11. Does q = 4?
False
Let z = 1331/4 + -333. Are z and 254 unequal?
True
Let l = -606.9 + 607. Is l >= -6?
True
Let w(c) = c**3 + 10*c**2 + 8*c - 7. Let m = 1 + -10. Let n be w(m). Which is bigger: n or 3/4?
n
Suppose 5*o - 19 = -9*m, -3 = -3*m - 2*o + 4. Which is greater: m or -1/31?
m
Let s = 1002.7 + 58.33. Let z = s + -1067. Let d = z + 6. Is 2/5 at most as big as d?
False
Let l = -402 - -563. Is 159 <= l?
True
Suppose 146*l = 147*l - 5. Let a(q) = 15*q**3 + 2*q**2 - 2*q + 1. Let o be a(1). Suppose 0 = -p + 3*i + o, 5*i + 24 = 4*p - l*p. Which is greater: 2/3 or p?
p
Let w = -32 - -34. Suppose -4*b = 5*u + 14, -u - w*b + 0*b = -2. Is u smaller than -6?
False
Let u = -272 - -270. Let i = -15.6 + 15. Which is smaller: u or i?
u
Let u = -108 + 108.2. Do 2.57 and u have different values?
True
Suppose -n = v - 6 - 2, -2*n = -3*v - 31. Suppose -23 = -5*p + c, -3*p + n + 6 = c. Suppose -p*z + 5*l - 2*l = -40, -4*l + 64 = 4*z. Is z equal to 11?
True
Let q = 41.576 + -41.6. Is q at least as big as 0.1?
False
Let d = -151 - -206. Which is bigger: d or 325/6?
d
Suppose 2*a = 5*t - a - 211, 0 = 5*t - a - 207. Let o = -3913 - -3955. Which is greater: t or o?
o
Let k = 141.316 + -0.316. Is k bigger than 0?
True
Let l = -45646139/955 - -47797. Is l at least 1?
False
Let d = -19