is bigger: f or 0?
f
Let l(h) be the first derivative of -h**2 + 3*h + 1. Suppose -79 + 15 = -32*a. Let m be l(a). Is m <= -1/98?
True
Let f = -369527799367257/95 - -3889813925285. Let t = f - 47615683. Let i = -473 + t. Is i bigger than 0?
False
Suppose -12*s = 6*s - 31*s. Let m = -518 - -3632/7. Which is smaller: m or s?
s
Suppose 40*k + 1708 = 1148. Are k and -478/31 equal?
False
Let y(r) be the third derivative of -r**7/210 + 5*r**3/2 + 6*r**2. Let b(k) be the first derivative of y(k). Let d be b(-1). Is 2 <= d?
True
Let m(j) = -6*j**2 - 4*j**3 + 3*j - 215 + 5*j**3 + 218. Let v be m(5). Is -2 <= v?
False
Let t = -15.2 + 660.2. Let y = t + -651. Which is smaller: -8.7 or y?
-8.7
Let m(a) = 37*a + 11. Let b be m(2). Let q = b + -48. Suppose -2*j + 5*d + q + 30 = 0, 0 = 4*j - 2*d - 94. Are 22 and j unequal?
True
Suppose -11*w + 142 = -100. Suppose w = 2*a + 18. Which is smaller: a or 4?
a
Let r(a) be the first derivative of -4*a**2 + 32*a + 20. Let u be r(9). Are u and -43 unequal?
True
Let n = 0.84 - -1.16. Let z = n + -2.1. Let m = -0.154 - -0.044. Is z >= m?
True
Let o = 269 - 5112/19. Suppose 143 = -13*f + 24*f. Suppose f*b - 14*b + 1 = 0. Which is bigger: o or b?
b
Let y = 85/162 + 3311/405. Let s be (-3)/(-1) + (-70)/(-10). Which is smaller: y or s?
y
Let g(q) be the second derivative of -q**4/12 - 7*q**3/3 + 51*q**2/2 - 10*q. Let j be g(-17). Is 2/219 at most as big as j?
False
Let a = 333.2 + 37.8. Let t = a + -388.9. Let j = t + 18. Which is smaller: j or -60?
-60
Let u = -30 + 49. Suppose 0 = -4*x - 4*p - 41 - u, p = 4*x + 70. Is x at most -17?
True
Suppose -114597 = 27*h - 36*h. Let f = 343739/27 - h. Which is greater: f or -3?
f
Suppose -582*b + 165*b - 25926 = 477*b. Let o = 49 - 78. Do o and b have different values?
False
Let g(w) = -w**2 + 2*w - 15. Let k be ((-10)/(-20))/((-1)/6). Let r be g(k). Which is greater: 6 or r?
6
Let h = -90 - -94. Let m = 14 - 10. Suppose -2*x + 5*a = 8*a - 10, m*x - h = 2*a. Is x < 49?
True
Let s = -7035 - -218081/31. Is s at most as big as -12?
False
Let h = -89671/11160 + -7/744. Which is smaller: h or -8?
h
Let c be (-4 + (-44)/6)/(20/18). Let g = 566/55 + c. Is g at most as big as 1?
True
Let x = 110.7 + -50.7. Let g = -74 + x. Is -3 less than or equal to g?
False
Let o = 0.311 + 0.079. Let s = o - 0.39. Is -57/2 > s?
False
Suppose x - 3*w = -110, 3*x - 4*w + 350 = -0*w. Let k = -124 - x. Does -2 = k?
True
Suppose -3*t + 26*c - 29*c = 7083, 0 = -4*t + 2*c - 9480. Which is smaller: -2368 or t?
-2368
Let z = -13.28 + 8.28. Is z greater than 11/6?
False
Suppose 3*q - 3 = -0*q, 5*q - 74 = -3*f. Suppose -m + f = -1. Let k be 39 - (14 + (-3 - -4)). Is k <= m?
True
Let x be 51 + (-1184)/74 + 6/2. Let m = 20 + 17. Do x and m have different values?
True
Let a = -424 - -595. Suppose 0 = 2*r - 11*r + a. Suppose -p - 2*b + 30 = 11, -4*p + 73 = 5*b. Which is smaller: r or p?
p
Let v = -66743/3 - -22442. Let n = 192 - v. Is n bigger than -2?
False
Let t be ((-4)/(-51))/2*(-13)/(90 + 14). Which is bigger: t or 1?
1
Let x(g) = -10*g - 71. Suppose -r - 5 = 0, 13*d - 17*d - 38 = 2*r. Let y be x(d). Which is bigger: -12/11 or y?
y
Let z = 0.06162 - 0.66162. Is z equal to -3/16?
False
Let l = 221 + -482. Let t = 186 + l. Is -75 >= t?
True
Let j = 3306 - 49588/15. Is -402 at most j?
True
Let y = 3806/2275 - 108/65. Which is smaller: -1 or y?
-1
Let f be ((-3)/(-6))/(9/(-18)). Is f smaller than -1/7527?
True
Let h = -186 - -191. Let t be 0/5 - h - -5. Let k = -1941/7 + 278. Is k equal to t?
False
Let h be 3/4 - (-30)/24. Suppose -h*s - 1 + 3 = -w, w = s + 1. Suppose m - 16 = w*c, -7*m + 9*m + 20 = -5*c. Which is greater: -14/23 or m?
m
Let u = -640 + 79998/125. Let m = -153/1750 - u. Let p = 13 - 14. Is p at least m?
False
Let x = 2/1077 + 4166/76467. Are x and 0 equal?
False
Let j(h) = -h**3 + 27*h**2 - 95*h + 90. Let a be j(20). Which is smaller: 989 or a?
989
Let f(l) = -68*l + 12. Let w(g) = 1. Let n(q) = f(q) - 6*w(q). Let a be n(-2). Which is smaller: 144 or a?
a
Suppose -g + 3*c + 2*c - 21 = 0, -5*c + 17 = 3*g. Let s = -7.9 + 8.21. Is s <= g?
False
Let w be (8/10)/((-46)/575). Let d be 1*-120*w/(-35). Which is bigger: d or -33?
-33
Let k = -68 - -63. Let v be ((-2)/k)/(2036/340 - 6). Are -35 and v equal?
False
Let c = 31575 + -31654. Is c smaller than -92?
False
Let m(w) = w**2 - 12*w + 2. Let f be m(22). Suppose f*o = 226*o - 36. Do o and 4 have the same value?
False
Let w(a) = 2*a - 152. Let l be w(76). Which is bigger: l or 1/13620?
1/13620
Let w = 21.133 - 21.833. Is 0.249 equal to w?
False
Suppose -20 = -v + 2*v. Suppose d - 37 = 2*c, -2*d - 16 = c - 3*d. Let a be (c + 12)*(-7)/(-3). Is a bigger than v?
False
Let b = 852 - 963. Is b at most -114?
False
Let u(i) = i**2 + 20*i + 2. Let v be u(-8). Let b = v - -97. Suppose 0 = b*l + 2*l. Is 1/2 > l?
True
Let f be ((-6)/2 + 3)/(6/2). Suppose f*b + 4*b = 24. Suppose -3*q - b*y + 24 = -3*y, -q + 5*y + 8 = 0. Which is greater: q or 9?
9
Let o = 2673 - 2714. Which is greater: -29 or o?
-29
Suppose -4*o + 2*o - 4 = 0. Let x = 110 + -131. Let m be ((-18)/x)/(19/(-133)). Which is smaller: o or m?
m
Suppose -3*l = -0*l - 2*t - 1, 4*l = 4*t + 8. Let k be l/(-2) + 275/(-50). Let d be (18/(-4) - k)*6/(-15). Is -1/5 at most d?
True
Let j(n) = -n**2 - 19*n - 83. Let w be j(-8). Suppose w*a + 17 = 27. Is 43/15 greater than a?
True
Suppose 4*c - 3*r = -1092, -r + 339 = 343. Suppose -2*n - 199 = 351. Is c not equal to n?
True
Let r be ((-2)/3)/(-4 + 712/180). Suppose -17 = -8*k + r. Let c be k/((-1)/(-1))*3/(-2). Is -6 smaller than c?
False
Let f = -1/2097 + 2327/482310. Which is smaller: -1 or f?
-1
Let r = 81.910209 + 0.023791. Let x = -82 + r. Let u = -0.066 - x. Which is smaller: u or 0.01?
u
Suppose -21 = 12*a + 15. Let q be 7/140*-6*(-4)/a. Is q bigger than -2?
True
Let u = -161.5 - -139.53. Let o = -20.9 - u. Let h = o - 0.97. Which is greater: h or -13?
h
Let d = 257 - 325.84. Let z = d + -0.16. Let u = -53 - z. Which is smaller: u or -3?
-3
Suppose 56*l + 885 = -12*l - 611. Is -208/9 at least as big as l?
False
Suppose -4*h + 388 = -684. Let o = h - 285. Is -19 greater than or equal to o?
False
Let f(p) = p**3 + 6*p**2 + 2*p + 4. Let a be f(-6). Let j be (a/(-10))/((-1)/5). Let r be 1/(-6) + 3 + 49/(-21). Which is smaller: j or r?
j
Suppose 0 = -3*n + 17*r - 14*r - 3, -n - 3*r + 3 = 0. Which is smaller: n or -11/593?
-11/593
Let k = 2520 - 2519.9. Which is smaller: k or 0.1344?
k
Let z be ((-3)/3)/((-49)/(-14)) + (-3695)/(-70). Is z < 0?
False
Suppose 0 = u + 5*y + 9 + 1, -5*y = -3*u + 30. Suppose 2*w = -7 - u. Let g(t) = -2*t**3 + t**2 - 39*t + 87. Let m be g(2). Is m < w?
False
Suppose 101*r = 106*r + 850. Let i be ((-60)/25)/(-6) + 98/r. Suppose -5*h - k - k = -10, -k + 5 = h. Is h at most as big as i?
False
Let g be 15669/13*(-4)/12. Let j = g + 402. Let f(n) = 2*n**2 + 15*n + 1. Let y be f(0). Which is greater: y or j?
y
Let z = 635.7 - 636. Which is smaller: z or 1/6?
z
Let k(s) = -99*s**2 + 3*s + 8. Let l(g) = -3*g - 50. Let c be l(-18). Let z be k(c). Let o be z/1581 + 0 + 1. Is -1 != o?
True
Suppose 4 = -j - 3*f, -j - 22 = -11*f + 8*f. Let i be ((-22)/(-4))/((-1)/(-2)). Let h = -25 + i. Is h greater than j?
False
Let v = -2304 - -2228. Are -62 and v equal?
False
Let g be (-2)/((8 - 48648/48664) + -7). Is g at least as big as -6085?
True
Let s be 200/(-14)*(-3381)/(-46). Is -9442/9 greater than or equal to s?
True
Suppose 0 = -4*d + 11 + 25. Suppose 492 = d*b - 5*b. Let c = b - 124. Which is smaller: -2/25 or c?
c
Let k(u) = -u**2 - 11*u. Let j be k(-11). Suppose 4*i - 3*l - 105 = j, -5*i - 3*l = -4*i - 15. Suppose -14*v + 10*v + i = 0. Is v greater than 7?
False
Let b(c) = -2*c**3 - 228*c**2 + 31*c + 560. Let k be b(-114). Is k < -2973?
True
Let l(n) = 63 - 27 + 43*n**2 - 43*n**2 - n**3 - 269. Let g be l(0). Is g at least as big as -233?
True
Let l(j) = 2*j + 8. Let u be l(-7). Let v = -3 - u. Let r = 1760 - 1756. Is v equal to r?
False
Let y(z) = 14*z - 1 + 2 - z**2 + 16. Let i be y(16). Let c = -15 - i. Is 2/103 at most c?
False
Let t be -24*(-57)/266*(-18)/(-4). Is t at most as big as 23?
False
Let k be 2*((-25)/(-10) + -4). Let u be ((-1)/k)/(60/(-200)). Let j(o) = o + 1. Let s be j(-3). Which is bigger: s or u?
u
Suppose -142*d - 138*d = -74*d - 