ich is smaller: 0 or f?
f
Let o = -0.3 - -0.2. Let s = -11.99 - 0.01. Let u = -10 - s. Do u and o have the same value?
False
Let z(r) = 15*r + 13. Let b be z(18). Which is greater: 284 or b?
284
Let w = 4743/4 + -1187. Is w smaller than -147?
False
Let x = -0.1512 - 0.0488. Is 92 >= x?
True
Let k be (-27)/(-81)*(-52)/6. Let s be (0 - 0) + 3/(-1). Is k <= s?
False
Let h = 25.1 - 25. Let t = 0.87 + -0.71. Is t bigger than h?
True
Suppose 3 = z - 0. Let s(t) = -t + 3. Let b be s(z). Suppose 18*i + 28*i + 368 = 0. Is b >= i?
True
Let b = 17299/1001 - 225/13. Let h(g) = -2*g - 9. Let d be h(-4). Is d at most b?
True
Let w be 4 - (-2 + 80/14). Which is smaller: 39 or w?
w
Suppose 0 = 3*u - u - 10. Let n = -1189 + 13133/11. Is u at least n?
True
Let f = -23350/31 + 37457/31. Let k = f - 455. Let x = -414 - -415. Is x <= k?
False
Let c(r) = -r**3 + 15*r**2 - 20*r - 14. Let u be c(14). Let o = u - -206. Are 107 and o nonequal?
True
Let f = 392 + -393. Are f and -1/234 non-equal?
True
Let j be (-36)/(-2)*66/(-42). Is -27 greater than j?
True
Suppose -5*o = -3*o + 6. Let q = 0.144 + 0.256. Are o and q nonequal?
True
Let p = -1010 - -1064. Which is smaller: 7/3 or p?
7/3
Suppose -3*a + 297 = -6. Which is smaller: a or 102?
a
Let v be (1*-1)/(-45 - -44). Suppose 2*w + 25 = -3*l, l = 4*w + 97 - 40. Let f be 1 + (4/w - 1). Does v = f?
False
Let x(y) = 8*y + 52. Let c(j) = -9*j**2 - 3*j + 3. Let f be c(1). Let d be x(f). Is d != -20?
False
Let l = 29/126 - -1/18. Suppose 5*j - 2*f + 46 = 131, -3*j - 5*f = -20. Is l < j?
True
Let a(z) = 2*z**2 + 10*z - 2. Let b be a(-7). Let f = b - 37. Which is greater: f or -9?
-9
Suppose 0 = -10*y + 4 + 26. Suppose 3*f - y*v - 35 = -f, -v + 15 = 2*f. Which is smaller: 22/3 or f?
22/3
Let p(n) = -n**3 + 6*n**2 + 3*n - 9. Let m be p(6). Suppose -1 = -5*z + m. Suppose 0 = 2*y + z*c - 18, -35 = -2*y - 3*y + 5*c. Are y and 6 equal?
False
Let z = 23.282 + 0.718. Let c = 0.007 - -24.093. Let s = c - z. Which is greater: -5 or s?
s
Let z be -1 - ((-24)/(-9) + (-8)/12). Is 15 less than z?
False
Let r(p) = -19 + 11 - 2*p - 11. Let t be r(-9). Is 7/2 bigger than t?
True
Let a = -176 - -175. Let j = 8/453 - 4432/151. Let v = j + 30. Which is smaller: a or v?
a
Let w = -44 - -219/5. Let h = -1/5 + w. Which is bigger: -7 or h?
h
Let d be -2*298*(-2)/8. Let r = -749/5 + d. Is r at most -4?
False
Let f(x) = -26*x + 17. Let t be f(-1). Which is smaller: 1 or t?
1
Let i(o) = -o**2 + 7*o. Let f be i(7). Suppose d + 2*t - 2 = f, -3*d - t - 12 = -4*t. Let g be (-70)/(-200) + d/(-5). Is 2/7 at most g?
True
Let n be (-122)/((2 + -1)/(2 + -1)). Is n bigger than -121?
False
Let f = 88 + -87. Let c be ((0/1)/(-3))/(-2). Suppose c = 2*o - 3*z + 11, 2*o = -2*o - z + 13. Which is smaller: o or f?
f
Let f = -103/9234 + 1/342. Which is bigger: f or 1?
1
Let d = 2 + -3. Let j be (4 + -3)/(5/(-15)). Let g be j/(-6)*((-69)/(-18) - 4). Which is smaller: g or d?
d
Let g be (-1)/4*(-40)/10. Let d be 1/((-290)/12 + -2). Let r = d - -52/9577. Is g < r?
False
Let x = 2 - 3. Let w = 49 + -18. Let p = -22 + w. Is p < x?
False
Let q(k) be the third derivative of -k**4/8 - 5*k**3/6 + 15*k**2. Let v be q(-1). Let b be 2 + 0 + 19/(-5). Is b != v?
True
Let g be (2/(-7))/((-24)/588). Let k = 0.7 - 0.1. Let q = -2.6 + k. Which is bigger: g or q?
g
Suppose -c + 382 = 5*a, 388 = 5*c + 2*a - 1407. Is c at most as big as 0?
False
Let o = 4.2 - 3.5. Let a = -0.49 + o. Let x = 0.31 - a. Which is bigger: x or 0.3?
0.3
Suppose -29 + 14 = 5*y. Let m be (-8)/(-1)*12/y. Which is smaller: m or -31?
m
Let h(y) = 2*y**2 - 6*y - 24. Let c(g) = -2*g**2 + 7*g + 22. Let l(a) = -4*c(a) - 3*h(a). Suppose 2*f = -3*b + 13, 26 = b + b - 3*f. Let k be l(b). Is 14 < k?
False
Let o(z) = -z + 2. Suppose -2*r + 16 = 2*r. Suppose -2*k - r = 5*c, 0*c + 4*c - 4*k - 8 = 0. Let t be o(c). Does t = 5?
False
Let z = 767 + -776. Which is smaller: 6 or z?
z
Suppose 0 = -5*l - 3*t + 150, 0 = -l - l - 4*t + 74. Suppose -5*v + 49 = -3*m, -m + v = -5*m - l. Do m and 0.1 have the same value?
False
Let r = -42.7 + 20.7. Is r less than or equal to 2?
True
Let p be (-2 + 4)*(-3 + 1 + 1). Let r(w) = -w**2 - w - 3. Let t be r(p). Which is bigger: t or -1?
-1
Suppose 2*m + m + 24 = 0. Let g(s) = s**2 - 18*s - 4. Let p be g(18). Is m <= p?
True
Suppose 0 = 5*s + 5*g - 5, s = -2*s + 2*g + 3. Which is greater: 3/146 or s?
s
Suppose 10*k - 5*k = -15. Is -52 at least as big as k?
False
Let u = 0 + 1. Suppose -t - 8 = -4*k - 3*t, 5*k = 3*t - u. Suppose -3*g - 6 = 0, 2*r + 3*g = -g - 4. Is k <= r?
True
Let b be 90/40*8/3288. Is b > 0?
True
Suppose -72 = -2*p + 4*a, p + 3*a - 27 = 9. Suppose 0 = 3*l - 3*m - 93, 159 = 3*l + l + 3*m. Is l less than p?
False
Let q(u) = 19*u - 11*u - 9*u. Let z be q(-2). Suppose -3*n = -z*n - 2. Which is bigger: 3 or n?
3
Let h be (-10)/(-4)*(-4)/245. Let w = h - -75/637. Suppose 0 = 54*j - 44*j + 10. Which is bigger: j or w?
w
Let k be (13/7 - 2)*130 - 4. Which is bigger: k or -23?
k
Let d be ((-2 - -3) + 0)*1. Let j be (-2 - d)*1*-5. Let o be 24/j + 2/(-2). Which is smaller: o or 1?
o
Let l(c) = c**2 + 3*c - 2. Let t be l(-3). Let q(i) = i - 9. Let r be q(9). Suppose r - 9 = -3*z. Which is smaller: t or z?
t
Let t = 11443/5 + -2288. Let o = 2 - 2.4. Is o at least as big as t?
False
Let d be 84/28 + (-1)/((-3)/(-6)). Which is greater: d or 7/33?
d
Let b(i) = -10*i - 5. Let g(x) = 11*x + 6. Let t(k) = -5*b(k) - 4*g(k). Let f be t(-1). Let p be (-2)/f + 8/30. Which is smaller: p or 0?
0
Suppose 23 - 33 = 2*m. Let b(u) = -u**2 - u - 5. Let z be b(0). Is z not equal to m?
False
Let r(q) = q**3 - 15*q**2 + 27*q - 23. Let t be r(13). Which is smaller: t or -18?
-18
Let f(r) = -r**2 + 9*r. Let j(p) = p. Let v(z) = f(z) - 2*j(z). Let i be v(7). Let q be (((-15)/(-9))/(-5))/(-2). Is q greater than or equal to i?
True
Suppose 45*x + 199 = 19. Is -74/17 at least as big as x?
False
Let z = -14 + 20. Suppose 7*b + 2 = z*b. Let h be -6 + b/(-1 - 0). Is h bigger than -7?
True
Let t = 727999206 + -108471332035/149. Let n = t + -3689. Which is greater: 0 or n?
0
Let f be (1/2)/(-1*(-6)/(-192)). Which is smaller: f or -15?
f
Suppose 80 = p - 0*p. Is p smaller than 315/4?
False
Let a = -9582 - -977375/102. Which is smaller: -1 or a?
-1
Suppose 30*l - 34*l + 4 = 0. Which is greater: l or -3/218?
l
Let u(v) = -24*v + 23. Let w be u(-5). Let c = 125 - w. Which is greater: c or -19?
c
Suppose -5*x - 22 = -o - 2, x = -4. Let j = -226 - -229. Is j less than o?
False
Let n be ((-12)/(-12))/((-2417)/(-2)). Are n and 1 equal?
False
Let h = -91178093/3 + 151135618/5. Let w = -165485 - h. Let q = -89 + w. Is q at least as big as 0?
True
Let t = 0.5 + -0.3. Let g = 731 - 739. Is g smaller than t?
True
Let m be (-24)/(-40) + (-6)/10. Suppose 0 = -3*b - m*b + 3. Which is smaller: 2/163 or b?
2/163
Let s be (-176)/6*(135/(-10))/9. Which is bigger: 128/3 or s?
s
Let x be 2/7 - (-3)/(-6). Let f(k) = k**2 - 9*k + 18. Let o be f(3). Is x equal to o?
False
Let a = 0.88 + 0.12. Let t = -7 + 13. Let j = t - 5.9. Is j != a?
True
Suppose 3*h - 5*p - 6 = -3, 3*p + 4 = 4*h. Let o be -7 + 3 - 2/h. Let k be (-2)/(o/(-9) + -4). Are k and 2 unequal?
True
Let s = -60533/16 + 3782. Which is bigger: 0 or s?
0
Let i = -912 + 1116. Which is bigger: i or 2/11?
i
Let u = 1.88 - 1.7. Let b = u + -12.18. Let i = -10 - b. Is 0.1 at most as big as i?
True
Let u be 510/12 - (-9)/6. Let a = u - 45. Which is smaller: a or -2/11?
a
Suppose 0*l = -l. Suppose -f - 6 = -l. Let y = -1727/2 + 859. Which is smaller: f or y?
f
Let a(y) = y**2 - 8*y + 17. Let n be a(8). Let h = n + -11. Are 9 and h equal?
False
Suppose -25 = c - 27. Suppose -5*o = -2*o + 18. Let i be (1 + o/4)*0. Which is smaller: c or i?
i
Let q = 118.758 - 119.2. Which is bigger: q or -1/2?
q
Let v = 5.73 - 0.93. Let i = -7.8 + v. Is i at most as big as 14?
True
Let p be 2 + -4 + -1 + 15. Let u(l) = 4*l - 21. Let n be u(6). Let q = 14 - n. Which is smaller: q or p?
q
Suppose 3*n - 1025 = 4*a, 5*n - 1713 = -0*n + 2*a. Let w = n + -5143/15. Is w not equal to 2/7?
True
Suppose -5*q + 4*i = -86, 2*i = 2*q - 26 - 10. Suppose 17*h - 12 = q*h. Suppose 10 = b + 3*l, 0*b = h*b - 5*l + 11. Is 1/4 at most b?
True
Let q = 2666/9 + -13426/45. Is -2 < q?
False
Suppose 16*x - 81 = 13*x. Let u be (12 - 11) + 