ger: k or u?
u
Let d(q) be the first derivative of -q**5/120 - 4*q**3/3 + 4. Let b(y) be the third derivative of d(y). Let w be b(0). Is w > -0.1?
True
Let v be (-24)/15*15/(-6). Let o be (-4)/18 + 64/18. Which is bigger: v or o?
v
Let n = 21 - 103/5. Suppose 3*p = i - 2, -2*i = -11*p + 8*p - 4. Is p greater than or equal to n?
False
Let d(q) = -q. Let r(l) = l**2 - 2*l + 6. Let b(y) = 3*d(y) + r(y). Let i be b(5). Is i equal to 34/5?
False
Let a = 97 - 292/3. Let q = 6.15 - 0.15. Let u = -5.94 + q. Which is smaller: a or u?
a
Suppose 3*u + 15 = 0, u = -2*k - 0*u - 19. Let m be (-9 - 0)*k/(-49). Is -2 < m?
True
Let b = -43 - -50. Let o(h) = -h**2 + 10*h - 9. Let k be o(b). Is 14 greater than k?
True
Let u be 1 + 10/15*135. Suppose 0*z + 7*z = u. Is 12 < z?
True
Suppose 0 = 116*h - 119*h + 267. Which is bigger: -1 or h?
h
Let w be 6*(3 - 148/12). Let f be w/(-6)*(14/(-4) + 2). Which is smaller: f or -13?
f
Let r be 1*12/(5 + -1). Suppose p - r = -y + 1, -4*y = -p - 16. Let x be -5 - -2 - (-216)/88. Are p and x non-equal?
True
Let q = 31.071 - 0.071. Let f = 30.7 - q. Is f greater than -2/5?
True
Let m = -1391 + 1396. Which is greater: m or -13?
m
Let c(g) = 2*g**2 + 8*g + 3 - 4*g + 24*g - 3*g. Let a be c(-11). Is -32 greater than or equal to a?
False
Let b be (-2)/(-3)*6/4. Let w be 2/11 - 508/572. Let i = -8/13 - w. Which is greater: i or b?
b
Let h = -300 - -648. Do -3 and h have the same value?
False
Let x = -130 + 214. Which is bigger: x or 2?
x
Let j = -260 - -259. Is j at most as big as 1.23?
True
Let b = 105 + 298. Are -2 and b nonequal?
True
Let x(l) = l**3 - 3*l**2 - 9*l + 18. Let q be x(4). Does q = -6?
False
Suppose 36*v + 3224 = 44*v. Which is smaller: v or 401?
401
Let o = 21.6 - 19.6. Which is smaller: 29/4 or o?
o
Let a = -252 + 173. Let q = a + 1024/13. Let o = 0 + 1. Which is greater: o or q?
o
Let c = -25.81 - -2.01. Let k = c + 27. Let r = -0.2 + k. Is -0.3 not equal to r?
True
Let b(x) = -4*x**2 + 20*x + 177. Let a be b(-6). Which is greater: -83 or a?
-83
Let k be 0/(2*1/(-1)). Let d = k + 1/12. Is d at most 1?
True
Suppose -6 = -k - 1. Let a be 10/k*2/18. Which is smaller: a or 0?
0
Let w(q) = q**3 - 7*q**2 + 3*q + 6. Let m be w(6). Let i = m - -10. Let u be 1/(2 - (0 + i)). Which is smaller: u or 0?
0
Let h = -411 - -827. Is h less than or equal to 415?
False
Let o be ((-117)/1521)/((-3)/(-2) - 1). Let g(t) = -t**2 - t. Let w be g(-1). Is o at most w?
True
Let q = 62.7 + -57. Let p = q - 1.7. Let s = p + -4.1. Which is smaller: s or 1/6?
s
Let w = -50.1 - -50. Let l = w - -0.4. Is 2/13 bigger than l?
False
Suppose 11*u + 67 = 67. Which is smaller: 1/35 or u?
u
Let h be (2597/(-2) + 38/76)/2. Which is smaller: h or -650?
-650
Let i = -32 + 46. Suppose -8*t + 6*t - 61 = -5*p, -3*t = -5*p + 59. Which is smaller: p or i?
p
Let l = 213 - 76. Which is bigger: l or 271/2?
l
Let z = -32 + 64. Let a = -31 + z. Is 5/3 less than a?
False
Suppose -134*m + 873 = -143*m. Which is smaller: -96 or m?
m
Suppose -d = 11 - 1. Suppose 3*v - 20 = -2*v. Let k be -1*v/(8/d). Is 5 != k?
False
Let v = 499 + -498. Is 86 <= v?
False
Let q be (4/14)/((-48)/1008). Is q < -7?
False
Let g(y) = -52*y - 17. Let b be g(-2). Let x = -88 + b. Are x and -1/118 nonequal?
True
Suppose -k = 2 + 14. Let t = 26 + k. Let p(r) = -r**2 + 10*r - 4. Let a be p(t). Is a < -2?
True
Let k be 84/10 + 3/5. Let q be (-6)/k + 60/117. Which is greater: 0 or q?
0
Let p be 544/24*(0 - (-42)/(-4)). Which is greater: p or -240?
p
Let k(r) = -2*r - 12. Suppose -3*w + 30 = -4*j, j = -3*j + 5*w - 26. Let v be k(j). Suppose -3*i = -q + v, 5*i = q - 8 - 0. Is -1/24 equal to i?
False
Let s(y) = y**3 - 2*y**2 + 3*y - 3. Let d be s(2). Suppose 0*n - 3*n - d = 0. Suppose 0 = -2*c + 17*c + 75. Which is smaller: n or c?
c
Let s(v) = -v**3 + 8*v**2 - 3*v + 27. Let o be s(8). Suppose 5*x = 3*x + o*g, -g = -2*x. Which is bigger: x or 2/49?
2/49
Let g = 71 + -75. Let d(l) = -l**2 - 3*l + 1. Let c be d(g). Do -1 and c have different values?
True
Let r = -1194 - -19113/16. Which is smaller: r or 2/5?
2/5
Suppose -5*p - 6 + 58 = -4*h, -3*p = -5*h - 52. Let z(d) = -d**2 - 24*d - 135. Let v be z(-8). Which is greater: h or v?
v
Let u(a) = -3*a**3 - 2*a**2 - a - 3. Let h be u(-3). Let j(k) = k**3 + k**2 + 17*k - 84. Let c be j(4). Do c and h have different values?
True
Suppose 160 = -9*a + 4*a. Let c be (5378/1326 - 4)*a. Let k = c - -44/51. Is -2 equal to k?
False
Let b = -115/4 + 269/12. Let r = 8 - 14. Which is smaller: r or b?
b
Let o = -16 - -17. Let b = 1.94 - -0.06. Let m = b + -1.7. Which is greater: m or o?
o
Let r = 101 + -143. Let q be (2/(-4))/(r/56). Which is smaller: q or -7?
-7
Let b = -131 - -37. Let n = b - -94. Is 1/31 less than n?
False
Let z(s) = 195*s - 133. Let u be z(-1). Is -653/2 != u?
True
Let s = 318 + -139. Are s and 178 nonequal?
True
Let g be (-1 - 2118/424) + 6. Are 1 and g non-equal?
True
Let h = -0.15 + 0.35. Let c = 0.1 + h. Which is bigger: c or -0.3?
c
Let u = 36.967 - 37. Let m = 0.067 - u. Which is smaller: -5 or m?
-5
Let c(g) = 498*g + 21. Let z be c(-6). Let b be z/(-20) + 45/60. Let s = b + -149. Which is greater: 2 or s?
2
Let t = 2.1 + 6.9. Let f = -8 + t. Let i = -0.09 + 0.04. Is i < f?
True
Let b = -33431/29 - -1153. Is b >= -1?
True
Let s = 12.99 + -13. Let k = 11.23 + -11. Let l = -1.23 + k. Is l >= s?
False
Suppose -7*p + 17 + 11 = 0. Is 10 greater than or equal to p?
True
Suppose -184 - 24 = -4*j. Let x = j + -53. Let s = -426 - -15337/36. Which is bigger: s or x?
s
Suppose -4*t - 4*b + 4 = 0, 4*t = 5*t - b - 1. Which is greater: t or -1/72?
t
Let k(f) = -f + 4. Let x be k(0). Let r be -3*3*x/(-6). Suppose -6*j - 1 = -2*j + 5*y, 0 = 5*j + 2*y - 20. Is r not equal to j?
False
Let v = -37/126 + 2/9. Let p be 5/(3/(-6)*-2). Suppose l = 4 - p. Which is greater: v or l?
v
Suppose -5*o + l - 3*l + 45 = 0, 3*o - 5*l = -4. Which is smaller: -5 or o?
-5
Suppose -26*t - 144 = 4*s - 27*t, -4*s - 144 = 4*t. Do -36 and s have different values?
False
Let t = -67/121 - -148552/268499. Is 1 at most t?
False
Suppose -2*u - 27 = -3. Let s(q) = q**3 - 6*q**2 - 10*q + 10. Let l(t) = -8*t**3 + t. Let m be l(-1). Let z be s(m). Is z greater than u?
True
Let f = -19561/17 - -1151. Suppose 5*c = 2*w + 15, -4*w - 3*c - 15 = -8*c. Which is smaller: w or f?
w
Suppose 3*h - 327 = 5*m, 0 = 2*h + 3*m - 91 - 108. Which is smaller: 1 or h?
1
Let q = 20 - 14. Let t be 112/21*(-3)/(-4). Which is smaller: q or t?
t
Let c(m) = 51*m - 4. Let j be c(-2). Let n be (15/30)/(1/j). Is -53 at least as big as n?
True
Let l(n) = -15*n**2 - 9*n - 9. Let v(p) = -7*p**2 - 4*p - 4. Let j(f) = 3*l(f) - 7*v(f). Let a be j(-2). Let b be 2/(-3)*a/10. Which is bigger: b or 4/17?
4/17
Suppose 0 = 4*j - 0*j - 8. Suppose -2 = -j*v - 6. Let l = 8 - 9. Which is bigger: v or l?
l
Let v be (-1)/2 + (-40)/(-16). Suppose -7 = -s - 2*a, -s + 5*a - 16 = -v*s. Let u be -3 + 24/9*s. Which is smaller: u or 5?
u
Let y = -38902/765 - -148/85. Is y less than -49?
True
Suppose -3*u - 399 = 3*q, -4*q + q = -2*u + 374. Suppose 27*p = -4054 + 571. Is q greater than p?
True
Suppose -3*x + 450 = -c, x - 4*c - 310 = -x. Let j = 56 - x. Let n = j + 652/7. Which is smaller: 0 or n?
0
Let p be (-3)/4 - 141/(-12). Let a = p + 0. Let d be (-2)/a + (-210)/55. Is -5 at most as big as d?
True
Let d = -41 + 45. Suppose -3*c + 51 = 5*l + 1, 4*l = d. Is c less than 16?
True
Let d = -54 - -45. Is -0.3 less than d?
False
Let y be (-11 + 19)*10/184. Let v = -124/391 + y. Suppose -3*o = -4*o - 1. Is v equal to o?
False
Let z be 2 + ((-4700482)/306)/1. Let g = z - -140446/9. Let v = g - 246. Is -1 < v?
True
Suppose 57*b - 40*b - 102 = 0. Is 26 at least as big as b?
True
Suppose 4*m - 27 = -3*u, 5*m = 3*u + 2*u - 10. Suppose -12 = 3*b - 6*b - 4*i, -23 = -b + u*i. Let a = -8 + b. Is a not equal to 4/9?
True
Let i = -442 - -71. Which is bigger: -2/3 or i?
-2/3
Let q be (3/(-24))/(14/105). Is q at least -2?
True
Suppose -11 = -20*n + 9. Let c = -4.7 + -1.1. Is n at most c?
False
Let m(w) = -2*w + 16. Let j be m(17). Let k = j + 10. Is -8 smaller than k?
False
Let v(g) = g**3 - 6*g**2 + g + 5. Let z be v(6). Suppose -z = s - 7. Suppose -y = -l + 1 + 8, -21 = y - 4*l. Do s and y have the same value?
False
Let r be (-64)/240*(-50)/24. Let f be 5