ch is greater: 0 or d?
0
Let o(x) = -x**3 - 12*x**2 + 145*x + 1555. Let b be o(-7). Suppose 303 = -5*y + 1783. Is y >= b?
True
Let c = -6.76 + 6.8099. Let w = c - 2.0499. Is -25/4 smaller than w?
True
Let s = -231 - -235. Let h be (-1)/s + (-216)/(-448)*122. Is 58 at least h?
False
Let p(s) = 138*s**2 + 3*s - 2. Let x be p(1). Let d = x - 138. Is 3/26 equal to d?
False
Suppose 33 + 23 = 7*l. Suppose -6*k - 70 = -l*k - 4*f, 0 = 3*k + 4*f - 99. Suppose -k*z = -28*z + 24. Is z at least -24?
True
Suppose -m + 108 = m. Let w = m - -39. Let d = 467/5 - w. Which is smaller: -29 or d?
-29
Let r(b) = -2*b + 14 - b + 20. Let v be r(10). Let u be (v - 5) + (38/(-18))/1. Is -3 at most as big as u?
False
Let t = -84 - -89. Suppose i - 2*z + 66 = 5*i, t*i + z - 75 = 0. Is i at most as big as 2?
False
Let s = -366 + 401. Suppose 0 = 30*z - 31*z + s. Which is bigger: 34 or z?
z
Let f(w) = -3*w**3 + w**2 - w - 1. Let p be f(2). Let m = 82 + -84. Let z be 60*m*3/15. Which is greater: p or z?
p
Let c = -10592 + 10517. Does -3/4 = c?
False
Let q = 532 + -377. Let h = q - 204. Let r(s) = 49*s**3 + s**2. Let i be r(-1). Are h and i equal?
False
Let y(d) = d**2 + 6*d - 1. Let s be y(-6). Let g = -48 - -126. Let c = 79 - g. Which is smaller: s or c?
s
Let f(k) = k**3 - 3*k**2 - 2*k + 6. Let z be f(3). Let h be 2*(-2)/15*693/(-616). Are z and h equal?
False
Let h(l) = 13*l + 64. Let t be h(-3). Let z be 4/(-20) + (-3920)/t. Is -156 <= z?
False
Let z be (-199)/85 - (-2 - 0). Let a = -777 + 13208/17. Let r = z + a. Is 1/12 bigger than r?
True
Let b = -3859 + 4516. Which is smaller: -10 or b?
-10
Let u = -12577 + 12577.12. Is -48 smaller than u?
True
Suppose 2*j - 4606 = 2*h, 5*j + h - 9706 = 1839. Let g = 16063/7 - j. Which is smaller: -12 or g?
g
Let d = -145332 - -145104. Let b be (2 - 1)*38*-6. Are b and d non-equal?
False
Let t = -0.08 - -1.08. Let l = -86.5 + 78.19. Let g = 8.5 + l. Is t <= g?
False
Suppose 0*a - 2*a = 0. Let h = 7741/2 - 3870. Which is smaller: a or h?
a
Suppose 106 = s + 49. Let f = 14646/7 + -14242/7. Which is smaller: f or s?
s
Let h(c) = 2*c**3 + 24*c**2 - 29*c - 39. Let w be h(-13). Which is greater: w or 53/48?
53/48
Let x be 9 + -13 + 10 + 1 + 5. Let v = 202028/15669 + -8/1741. Which is smaller: v or x?
x
Let w = -355 - -364. Suppose 11*c + w*c = 3*c. Let z = 1592 - 93930/59. Which is bigger: z or c?
c
Let o = 8.96 + -6.6. Let t = o + -3.36. Which is smaller: -3/73 or t?
t
Let p = 14.7 - -40.3. Is 4 < p?
True
Let v be 16881/(-6) - -7*(-2)/28. Let q = -25360/9 - v. Is -5 greater than or equal to q?
False
Let a(r) be the first derivative of 5*r**2/2 + 6*r - 12. Let f = 49 + -53. Let k be a(f). Which is smaller: -12 or k?
k
Suppose 0 = 2*s + 9*s. Suppose 4*a - 140 + 44 = s. Which is bigger: 123/5 or a?
123/5
Let i(p) = -2*p**2 + 15*p + 11. Let q be i(8). Suppose -q*z - 263 = 67. Is z not equal to -110?
False
Suppose -3*x - 109 = -91. Let o(t) = -2*t**2 - 4*t + 15. Let h be o(x). Is h at least as big as -32?
False
Let a = 5.176 - 49.176. Which is smaller: -0.5 or a?
a
Let b = -51.106 + 0.106. Let a = b + 60. Let u = a - 21. Which is bigger: u or 0.3?
0.3
Let b be (354/(-1475))/((-2)/(-14)). Do b and -21 have different values?
True
Suppose 128*w = 129*w. Let h = 73124/803 + -1002/11. Are w and h non-equal?
True
Let y = -26911/276 - -195/2. Are -0.2 and y equal?
False
Let q be (-29)/116*4*1. Let o be (-4404)/(-1100) - (-6 - (-20)/2). Is o < q?
False
Suppose -2*v - 28 = 4*y, 4*v + 26 = -4*y + 3*v. Let p be 0 + 1 - (-24 - -27). Which is greater: p or y?
p
Let u(b) = b**3 - 119*b**2 - 2064*b + 148. Let a be u(135). Is a smaller than 13109?
True
Let r = 24 - 19. Suppose -35 = 6*j - r. Let w(h) = -h**3 - 7*h**2 - 9*h + 12. Let c be w(j). Is c < 7?
False
Let q be (-58 + 4)*15/(-12270). Which is greater: q or -1?
q
Let i = -1084 + 1819. Let l be (-16)/(-6)*(i/(-20))/7. Which is bigger: -64/5 or l?
-64/5
Let p = 1 + 1. Let r = -12.2 + 29.6. Let k = 19.3 - r. Which is smaller: k or p?
k
Let n = 62817 + -249997/4. Which is greater: n or -1?
n
Suppose -11 = -2*k + 17. Let d be (-1)/((-152)/(-14) - 11). Which is smaller: d or k?
d
Suppose 9*n - 314 = 7*n. Let l = -73 + n. Let d = -108 + l. Is d less than or equal to -26?
False
Suppose 0*b + 6045 = -13*b. Are b and -463 equal?
False
Let n(r) = 12*r**2 - 492*r + 196. Let o be n(43). Which is greater: 1229 or o?
1229
Let v be (10444/70)/(6/15). Let i = v - 6709/18. Is -1 bigger than i?
False
Suppose 0 = 33*l - 13*l - 17*l. Suppose l = 19*u + 1358 - 4341. Is 155 greater than u?
False
Suppose 5*c - 3*t - 4308 = 0, -8*t + 5*t + 2580 = 3*c. Is 861 greater than or equal to c?
True
Suppose -203*h + 121*h = 27634. Which is smaller: h or -1351/4?
-1351/4
Let l = -334286571 - -1056011262211/3159. Let j = -64/13 - l. Which is smaller: -1 or j?
-1
Let x = 42 - 18. Let q(i) = -7*i + 53. Let b be q(7). Suppose -3*a + s + 13 = -54, -b*a + 102 = 5*s. Are a and x equal?
False
Let o(m) = -m + 21. Let t(z) = -z**2 - 10*z - 9. Let a be t(-7). Let c be o(a). Let l be (-60)/(-105) - 298/(-42). Is l at most as big as c?
True
Let y be (-6)/(-3)*57/6. Suppose -4*l + 40 = -5*a, -2*l - l = -a - y. Is 7 at least as big as l?
True
Suppose -232*w - 432 = -178*w. Is -19 at least w?
False
Let l = -16 + 10. Let k(v) = 15*v + 879. Let d be k(-59). Let i be 45/d*(-10)/l*-1. Which is bigger: -1 or i?
i
Suppose o - 32 = -32. Suppose o = -5*r - 4*g + 45, -4*r + 12 + 24 = -2*g. Let s be ((-6)/(-10))/(((-18)/(-10))/r). Which is bigger: 7/3 or s?
s
Suppose -3*i = -f, -5*f + 0 - 15 = 0. Is i > -1/1424?
False
Let r = -3/1778 - 14634/20447. Which is smaller: -2 or r?
-2
Let q be ((-2)/4 - 525/(-42)) + 1. Suppose 41 = j + q. Are j and 30 nonequal?
True
Suppose -3*q - 2*v = -2, q - 3 = -4*v + 1. Suppose q = 3*t - 3*f - 30, -2*t - 3 = f - 8. Suppose -2 = t*r - x, -r = 2*r + 3*x + 12. Which is bigger: r or 14?
14
Let l be 300/14 - 4/(-7). Let j = 409 + -386. Which is smaller: l or j?
l
Let q = -295.803 + 0.803. Let b = q + 330. Which is greater: -2/5 or b?
b
Let z be ((-7050)/2115)/(1*(-2)/3). Is z < 5?
False
Let a = 757/1575 - 1/225. Let k(j) = 5*j**2 - 40*j + 80. Let t be k(4). Which is greater: t or a?
a
Suppose 3*z = -2*z + 3*s - 29, 5*z + 2*s = -14. Let w be z*((-21)/(-4) + -6). Which is smaller: w or 18/11?
18/11
Let c(m) be the second derivative of 18*m + 7/2*m**2 + 0 + 7/6*m**3 - 5/12*m**4 - 1/20*m**5. Let h be c(-6). Which is smaller: h or 2/25?
2/25
Let w = 0.1 + -20.1. Let c = w + 19.87. Let l = 0.03 + c. Is l at most as big as -6?
False
Let y = 127 - 102. Let a = -29 + y. Let c = -2/135 - 248/1485. Is a > c?
False
Let w be (-4 - -4)*12/12. Suppose w = -30*h + 715 + 245. Which is greater: h or 28?
h
Suppose 27*i - 600 - 528 = 654. Which is greater: i or 64?
i
Suppose 0 = 4*d + 5*a - 121, -23 = -6*d + 4*d + 5*a. Let g be (-136)/(-14) - d/(-84). Is 14 smaller than g?
False
Let a = 3658.9 + -3659.11. Is a greater than -9.09?
True
Let o = 35 - 1. Let a = 38 - o. Let h(t) = -t**2 + 3*t - 1. Let g be h(a). Which is greater: -6 or g?
g
Suppose -4*i = s - 7, -43*i + 39*i + 2*s + 10 = 0. Suppose 4*k + 2*n + 104 = 0, 0 = -2*k - 3*n + 6 - 58. Let v be (k/8)/(2*-1). Which is smaller: v or i?
v
Let u(o) = o**3 + 8*o**2 + 6*o - 9. Let f be u(-7). Let w be ((-14)/(-504))/(f/(-20)). Let b = 19 - 18. Which is smaller: w or b?
w
Let m be 27/(-6)*76/36*(-12)/(-2). Is m < -103?
False
Let t = -2578.1 - -2838.1. Which is smaller: -21 or t?
-21
Suppose 0 = -10*x + 6*x + 12. Let z be -4*(-2)/(-12)*x. Let n be (3 + z)*(1 - 2). Is -1/7 at most n?
False
Let m = -31597 - -31573. Is 199 less than or equal to m?
False
Let z = 3045 - 2373. Do 5 and z have different values?
True
Let i be (12/(-3) - -5345) + -4 - 3. Let k be (21/i)/(1/6). Is 0 at most k?
True
Let r = 177.9 - 178. Let k = -86009 - -86073.063. Let f = k + -64. Is f at most r?
False
Let z(w) = w**3 - 23*w**2 - 23*w - 14. Let x be z(24). Let n = x - 14. Let g = 1007/4 - 255. Do g and n have different values?
True
Suppose -2*a - a = 0. Suppose 4*o + 3*t - 56 = 1423, o - 3*t - 351 = 0. Suppose a = -56*b + 62*b - o. Is 61 at least as big as b?
True
Let w = -513 + -264. Let r = w + 500. Which is smaller: r or -276?
r
Let l = -0.3893 + 0.3893. Which is smaller: -1449 or l?
-1449
Suppose 5*f + 95 = 3*j, -j = 20*f - 1