f**4/12 + f**3/6 - 5*f**2. Let r be m(1). Is h at least r?
True
Let u = 295 + -145. Is u != 151?
True
Let c = 236 - 3072/13. Let o = c + -5/26. Let r be 1*((-5)/3 + 12/18). Which is smaller: o or r?
r
Let i = -143 - -121.8. Let m = i + 22. Is -0.1 equal to m?
False
Let i be (110/240 - 2/16)*-3. Suppose -40 = 3*y - 4*p, 2*y + 8 = 2*p - 4*p. Which is bigger: i or y?
i
Let d = 6 + -15. Let o be 6*((-45)/(-10))/d. Are 1 and o nonequal?
True
Let h = 25 + 36. Let s be 0/(-1) + 54/6. Suppose -4*i + s = h. Which is smaller: -14 or i?
-14
Suppose 0 = -5*b - 10, -5*b = -s - 2*s + 25. Suppose -5*q + 5 + s = -f, -32 = 2*f - 4*q. Which is greater: f or -22?
f
Let t = -707 + 706. Let m be (-199)/(-5) - 3/(-15). Is m at least as big as t?
True
Let z be ((-3)/180)/(4069/(-104)). Which is greater: z or 1?
1
Let y(h) = -43*h - 23. Let d be y(3). Let o = -154 - d. Which is bigger: o or 14?
14
Let b = -110 - -104. Is 7 < b?
False
Let c = -1112 - -1112. Suppose -3*a - 20 = z, -2*z + 2 = 2*a - 3*a. Let w be (2/(-4))/((-3)/a). Which is smaller: w or c?
w
Let g(o) = 60*o + 136. Let m be g(-2). Which is smaller: m or -1?
-1
Suppose 26 - 10 = 4*j. Is j greater than or equal to -10?
True
Suppose 3*w = 2*w + 2. Suppose -2*f + 12 = w*b - 6*f, 4*b + 5*f = 11. Suppose -5*x = -b*l - 2*x + 11, -4*x = -3*l + 17. Which is smaller: -6/13 or l?
l
Let j(d) = -d + 18. Let n be j(0). Let v = 28 - n. Let w be (-6)/(-30) - (-8)/v. Which is bigger: w or 1/15?
w
Suppose 3*t + 31 = -2*y, 27 = -2*t - 3*y + 3. Let s be (52/(-12))/((-17)/(-9) + -2). Suppose -s = 5*d + 3*g, 6*d + 55 = d + 5*g. Is d > t?
False
Let j = 4 + 8. Let l = j - 10. Suppose 24 = -l*f - f. Which is bigger: f or -7?
-7
Suppose 4*d + a = 963, 6*d = 9*d + 3*a - 720. Is 240 at least d?
False
Let b = -1.369 - -1.469. Which is bigger: b or -2/739?
b
Let m be (-83)/(-90) - (-14)/(-63). Let b = m - 1/30. Is 0 greater than or equal to b?
False
Suppose 8*i + 103 - 151 = 0. Let y(q) = -3*q - 16. Let z be y(-7). Is i less than z?
False
Let u(s) = 4*s**2 - 24*s - 2. Let x be u(6). Suppose -m - 9 = 2*m. Let t be (x - m) + (-60)/28. Which is smaller: t or 0?
t
Let l = -28 - -47. Is l <= 17?
False
Let g = -129.9 - -130. Is g smaller than 278?
True
Let m = 98 + -32. Let f = 55 - m. Is f > -9?
False
Suppose -5*k + 6 = 2*x, 0 = -292*k + 294*k - 2*x + 6. Is 3/97 bigger than k?
True
Let z = 3407/5 + -685. Suppose -2*f - 163*f = 495. Which is smaller: f or z?
z
Suppose -2*l + 7 - 19 = 0. Let z(x) = x**3 - x**2 - 1. Let i(o) = -4*o**3 + 9*o**2 - 5. Let m(s) = i(s) + 3*z(s). Let b be m(6). Which is greater: l or b?
l
Suppose 3*p + 2*z = 6, 0*z - 10 = -5*p - z. Suppose -3*k + n = 31, -31 + 12 = 3*k + p*n. Suppose -58 = 5*h - 13. Is k not equal to h?
False
Let y(c) = -2*c. Let d be y(0). Let p be (-2)/(-59)*9/144*8. Which is bigger: p or d?
p
Let o be (-1 + 9)/((-2)/(-2) + -3). Let z be o/30*(3 + -6)*3. Which is smaller: z or 2?
z
Let m = -696.71 - -697. Which is smaller: 3 or m?
m
Let u be (-32)/3*9/(-3). Let g(l) = -3*l + 21. Let n be g(0). Let h be n/(-8) - 4/u. Is h less than 0.1?
True
Let l = -17 + -24. Let a = l + 48. Is a > 25/3?
False
Let g = -707.99 - -708. Which is bigger: g or 0.031?
0.031
Let o = -69 - 35. Let k = o - -84. Is k < -22?
False
Suppose 0*r - 2*r = -2. Let k be r/5 - 52/10. Let x be k/(-90)*(-3 - 1). Is x at most 0?
True
Let i(g) = g + 8. Let v be i(-4). Suppose -3*r = -v*r. Is r smaller than 0?
False
Suppose 10 = 2*w + 3*w, 3*q + w = -1258. Let a = -12 + q. Let u = 15986/37 + a. Is u <= 1?
True
Let j = 0.09 + 2.31. Let q = -5.5 - j. Let r = q + 8. Which is smaller: r or -1?
-1
Suppose 0 = 28*n - 27*n - 12. Suppose n = -5*y + 7. Which is smaller: 2/249 or y?
y
Let l(k) = k - 19. Let v be l(15). Let o be 1/(1/((-12)/v)). Let y(p) = -2*p + 7. Let w be y(o). Which is bigger: w or 2/63?
w
Suppose -2*o + 6 = 2. Suppose -o*i + 4*i = 0. Let h = 26 - 26. Is h smaller than i?
False
Let b = -1 - -16/17. Let z = 4854 + -4854.4. Which is bigger: b or z?
b
Let p = 63 - 58. Suppose -h - h = -4*i + 392, -2*i + p*h + 212 = 0. Which is smaller: 1 or i?
1
Suppose i - 93 = -l, 30 = 3*l - 3*i - 249. Which is smaller: l or 95?
l
Suppose 2*j + 3*j - 6 = -4*d, j = -2. Suppose -d = 2*y - 8. Let z = 3472/6325 - 2/575. Is y > z?
True
Let o(v) = -v**2 + 5*v - 1. Let p(w) = 2*w**2 - 9*w + 1. Let x(a) = -7*o(a) - 4*p(a). Let y be x(4). Let q = -5188 + 5178. Do y and q have different values?
True
Suppose 4*i - 4 = -5*n, 6*n - 3*n = 12. Let k be (-12)/40 + i + 4. Is k greater than or equal to 1?
False
Let a(d) be the second derivative of -d**4/12 + 7*d**3/6 + 9*d**2/2 + 6*d. Let o be a(-5). Let v = 764/15 + o. Is 1 less than v?
False
Let r = 59 + -97. Let h = -39 - r. Is h <= 2/5?
True
Suppose -5*v + a + 16 + 0 = 0, -2*v + 4*a = -10. Suppose 0 = 2*x - 5*i - 4, -42 + 48 = 2*x - 4*i. Is x smaller than v?
False
Suppose 2*z = z - 3*n - 16, -n - 7 = 2*z. Suppose -5 = -m - 6. Is m >= z?
True
Suppose 26 = -v + 4*v + p, 3*p = 6. Let j = -68 + 70. Suppose -8 = -j*a + 12. Which is greater: v or a?
a
Let q be 0 - (3 + 1)/2. Let o = -76/21 + 52/21. Which is greater: q or o?
o
Let q be (-1209)/7 - (3 + -3). Let a = q + 173. Which is greater: a or -4?
a
Let z = -58 - 135. Is -192 less than z?
False
Let k = 17 + -18. Let d = k + 4. Let j = d - 4. Is j at most as big as -4/5?
True
Let r = -21 + -12. Let x be 4 + 234/r + 2. Which is bigger: x or -2?
x
Let p = -637.99 - -638. Which is smaller: 11/4 or p?
p
Let k(t) = -t**3 - 6*t**2 + 6*t - 6. Let h be k(-7). Suppose 0*j = -3*j - 27. Let s = h - j. Is 10 less than or equal to s?
True
Let q be (-932)/(-10)*(-20)/(-32). Let u = -58 + q. Which is greater: u or 1?
1
Let b = 338920/91 + -3724. Which is smaller: b or 0?
0
Suppose -6*j = 3*m - 2*j + 10, -5*j - 5 = 0. Let i(v) = -3*v - 5. Let g be i(m). Which is bigger: -16/3 or g?
g
Let r be (-3)/(1*4/(-4)). Let f(a) = 6*a - 3*a**2 - 5*a**2 - 7 + 4*a**2 + r*a**2. Let g be f(6). Which is smaller: -8 or g?
-8
Let q(v) = -2*v**2 - 30*v - 48. Let r be q(-13). Let m(y) = y - 2. Let l be m(4). Let t be l/r*(-3 + 1). Are t and -2/39 nonequal?
True
Let a = 98 - 35. Let r be 0 + (3 - 185/a). Let i = r + -205/252. Is -2 <= i?
True
Suppose -5*z - 2*n + 65 = -290, 3*n + 330 = 5*z. Does -0.4 = z?
False
Let r = -1/738299 - 4034065723/9597887. Let x = 420 + r. Which is smaller: x or 0?
x
Let j = 39 + -17. Let s be 3 - (48/j - -1). Which is smaller: -1 or s?
-1
Let h be 46/4*462/(-189). Let n = h + 4699/171. Is -1 > n?
False
Let l = -195.3 + 195. Does l = 159?
False
Let u(g) = 4*g**3 - 2*g**2 + g + 6. Let y be u(-2). Are -149/4 and y nonequal?
True
Let p(l) = -l**3 + 18*l**2 + 20*l + 6. Let x be p(19). Suppose -2*j = x - 9. Are 1/3 and j nonequal?
True
Let z be 4/((-80)/(-1883)) + -3. Let r = z - 91. Which is greater: 0 or r?
r
Let p = -0.1 + 0.1. Let u = 6594 + -178036/27. Which is greater: u or p?
u
Let w = 14 + -14. Let v = -35.9 + 28.9. Which is bigger: v or w?
w
Suppose -4*l + 2*x + 220 = -148, -5*l = -x - 460. Let n be (-20)/4 - (-5440)/56. Let g = l - n. Which is smaller: g or -1?
-1
Let m = 1 + 3. Let u be m*(3 - -1)/4. Suppose -u*o + 2*o = 0. Is o smaller than 2/3?
True
Let u = 464 - 370. Which is smaller: 100 or u?
u
Let u(c) be the second derivative of -c**3 - 3*c**2/2 - 5*c. Let f be u(-1). Suppose f*v = 10*v - 154. Does 22 = v?
True
Let r be (46/12)/(2/(-40)). Let c = r + 76. Let v = 173 - 183. Which is bigger: c or v?
c
Let j be 50/(((5/(-10))/1)/1). Which is smaller: j or -97?
j
Suppose -1737 = 3*j - 4875. Let v = j - 74264/71. Which is bigger: v or 1?
1
Let d(a) = a**2 - 37*a + 11. Let f be d(33). Is f greater than -122?
True
Let i = 29229 - 82688839/2829. Are 0 and i non-equal?
True
Suppose 4*f + 3*t = -8 + 25, 2*f = -2*t + 8. Suppose f*k = -2*a + 6*a + 24, 8 = k - 4*a. Let i be 2/(-8) + (-79)/k. Which is bigger: i or -1?
-1
Let w be 50/(-60) - 251/(-6). Is 41 less than w?
False
Let v(i) = i**2 - 9*i + 6. Let c be v(3). Let m = 21 + c. Suppose -6*r = -m + 3. Which is bigger: r or -0.06?
r
Let o(a) = a**2 - 20*a + 14. Let u be o(23). Let p = u + -88. Are -6 and p unequal?
True
Let r = 36 + -21. Let p be -5*(-3)/r + 0. Which is greater: 8 or p?
8
Let s be 12/(-6) + 4 + 2 + -2. Suppose -w - 3*h = -s*h + 49, -4*h + 263 = -5*w. Which is smaller: -152/3 or w?
w
Suppose 48*w - 