p be 2/(-6) + 30/9. Let r be (-34)/11 + p - 0. Let h = 13/22 + r. Is h < 0.1?
False
Let x(c) = -4*c**2 + 11*c + 11. Let s(l) = l**2 - 1. Let z(n) = 6*s(n) + x(n). Let u be z(-4). Which is greater: -9 or u?
u
Suppose -f = -3*l + 165, 6*f = 2*l + 3*f - 117. Suppose -d - 2*d - 3*n = l, 5*n + 48 = -2*d. Which is greater: d or -13?
-13
Let o = 4 + -8. Let c = -0.05278 - -0.00278. Which is smaller: o or c?
o
Suppose -4*b = 3*a, -3*b = -b - 5*a + 26. Let k be (-16)/(-3) - (-1)/b. Suppose 4*u = -u + k. Is 1/4 <= u?
True
Let x = 2582 + -2466. Which is bigger: -0.7 or x?
x
Let l be (-10)/(-195)*(-6 - -9). Does -9 = l?
False
Let p = 14 + -26. Let y = p - -14. Let t be (-2)/y*(-4 - -5). Is -3/19 greater than or equal to t?
True
Let u = -5000 + 865003/173. Is u != -1?
True
Let o be (1/(-5))/(6/(-10)). Let i = -112 + 127. Suppose 4*c + 3*b + 3 = i, -5*b = -20. Is c at least as big as o?
False
Suppose 17*k - 1545 = 1770. Is 581/3 smaller than k?
True
Let g(y) = -6*y**3 + 2*y - 1. Let k be g(1). Let l be 1*77 + 10/k. Which is smaller: l or 76?
l
Let b = -4 + 6. Suppose -b = q + 1. Let o(p) = p**2 - 4. Let f be o(0). Is f <= q?
True
Let x(p) = -5*p**2 - 3*p - 4*p + p + 5*p**3 + 4 - 4*p**3. Let r be x(6). Let a = r - 3. Which is greater: a or -1/9?
a
Suppose 0 = 25*u - 18*u + 1218. Does -173 = u?
False
Let c = 523/1190 - 13/34. Let w be (-5)/(-15) + (-2)/(-3). Which is smaller: c or w?
c
Let s = 4.0415 + -0.0415. Is -4.4 not equal to s?
True
Let p = 13.85 + -2.85. Which is smaller: p or -8?
-8
Let w be (-2)/6 + (-28)/(-3). Let y(h) be the third derivative of h**5/30 + 5*h**4/12 + 17*h**3/6 + 15*h**2. Let t be y(-4). Is t >= w?
True
Let v = -24.32 + 14.32. Do v and 57 have the same value?
False
Let s be (-250)/(-6) + (-3)/(-9). Suppose -37*g - 10 = -s*g. Is g equal to 4/5?
False
Let z = 471192234010 + -370648292732143247/786618. Let v = z - -2/14567. Let l = v - -2/27. Which is greater: 2/13 or l?
l
Let r be -47*(-9)/5 - 6/(-15). Let y = -82 + r. Is 0 at least as big as y?
False
Let r = 38 - 35. Suppose -r*p = p + 24. Let g(k) = -k**3 - 5*k**2 + 8*k + 9. Let w be g(p). Which is smaller: -5 or w?
-5
Let x = 163 - 135. Which is smaller: x or -6?
-6
Let u(o) be the second derivative of o**3/6 - 19*o**2/2 - 3*o - 12. Let g be u(17). Let y be 0 + (-2 - -2) + 0. Which is bigger: g or y?
y
Let f(v) = v**3 + 6*v**2 - 6*v - 1. Let p be f(2). Suppose -x - 20 = -p. Which is smaller: -3/59 or x?
x
Let x(g) = 2*g - 5. Let y(k) = -2*k + 4. Let c(d) = -3*x(d) - 2*y(d). Let i(u) = 5*u**2 + 2*u. Let b be i(-1). Let p be c(b). Is 2 greater than p?
True
Let v = 231 - 237.16. Let g = v - -0.16. Let h = g - -6. Is h not equal to 7?
True
Suppose -2*n + 18 = n. Let j = 14 - 12. Let a be 6/j - (-11 - -9). Which is smaller: n or a?
a
Let a be ((-9)/(-6))/((-11)/(-22)). Is 58/23 at least as big as a?
False
Suppose -2*g + 45 = -3*u, -u - 71 = -0*g - 3*g. Let b be (-2 + 3)*(-2 - -15). Suppose 2*h - 3*v + g = -b, 0 = h + 5*v - 14. Is -9 bigger than h?
True
Let x = -7 + 24. Let k = -16.812 + 0.112. Let h = k + x. Is h smaller than 1/2?
True
Let p(w) = 2*w**3 - 4*w**2 - 7*w + 6. Let z be p(4). Let l be (-8)/2 - z/(-10). Which is bigger: l or 0.3?
0.3
Let s(r) = r**3 - 12*r**2 + 15*r + 31. Let h be s(10). Is h >= -19?
True
Let c be (3/(-2))/((-2)/4). Let w be -3 - (-12)/c - 2. Let t be (w/10)/(6/(-15)). Is 0 less than t?
True
Let p(j) = -j + 9. Let w be p(8). Suppose w = -d + 2. Let r be 2/(12/3)*0. Is d greater than r?
True
Let p be 14 + (-1 - 3 - -2). Let b(a) = 8*a - 15. Let g be b(3). Which is bigger: g or p?
p
Let q be (14/(-8))/(255/20 - 13). Which is greater: q or -1/10?
q
Suppose 4*y - y = 132. Let s = y - 45. Which is smaller: s or 1/12?
s
Let u = -36804/1165 + 158/5. Which is greater: -1 or u?
u
Let z = -10.01 - -0.01. Let a = z + 10.2. Let o = 4.5 - 2.5. Which is smaller: o or a?
a
Suppose 5*z - 14 = -2*a - 19, z = -5*a - 1. Which is greater: a or -9?
a
Let x = 17 + -13. Let b be (-21)/(-14)*x/(-33). Let c = 2 - 2.1. Is b != c?
True
Suppose -2*q + 5*q = 39. Suppose z + q = 5*f, 3*f + f = 12. Let b be ((-5)/(-12))/(5/z). Is -1 equal to b?
False
Let p = 118 - 54. Suppose -5*c - p = 36. Which is smaller: c or -21?
-21
Let x be (11/(-4) + 2)*-1. Let g = 11 + -10.92. Which is smaller: g or x?
g
Let g(r) = r**2 - 14*r + 17. Let a be g(13). Suppose -a*j + 3 = -1. Is 1/66 >= j?
False
Let h(o) = -o**3 - o**2 - 2*o - 1. Let f be h(0). Which is bigger: -77 or f?
f
Let w = 2.52 - 2.56. Which is smaller: 0.3 or w?
w
Let q = 32 + -26. Suppose 4 = -5*t - q. Let c be -2*(6/(-4) - t). Is 1/17 <= c?
False
Let x(t) = -35*t**2 + t - 5. Let v be x(4). Let b be 4/6*v/22. Suppose 0*f - 34 = 2*f. Are b and f non-equal?
False
Let u = 0.15 - 0.24. Let n = u - -5.09. Let w = -56 + 57. Is w less than or equal to n?
True
Let l = 2 + -13. Let u be (4/(-10))/(14/(-350)). Let r be ((-22)/1)/(20/u). Is r smaller than l?
False
Let q be 0 - -3 - 9/(-5 + 8). Suppose -4*h + 1 + 12 = -v, q = -v + 2*h - 7. Let f = 3/44 - 71/396. Which is greater: f or v?
f
Let o = 349 + -336. Let r = 12 + -8. Let s = r - 5. Which is greater: o or s?
o
Let n be (-1)/345*6*-5. Which is smaller: n or -0.02?
-0.02
Suppose -16*t - 18 = 2*t. Is 3/380 at least t?
True
Let h be 30/(-195) - 1641/741. Is -3 less than or equal to h?
True
Suppose -2*n + 12 + 0 = 4*a, n = 3*a - 4. Let x = 14 - 9. Suppose -x*f - l = 7, 0 = -0*f + 2*f - n*l + 10. Are -3/4 and f unequal?
True
Let s(w) = -w - 4. Let f be (-13)/13 + (0 - 2). Let b be f/(-9)*(-5 + -1). Let d be s(b). Is d >= -5?
True
Suppose -9*g = -5 - 13. Suppose g*x = 3*x. Which is smaller: 2/123 or x?
x
Let o(x) = -5*x - 155. Let c be o(-31). Which is bigger: c or -2/1535?
c
Let m be (-4)/(-26) + 82/(-26). Let i be (59/(-3))/((-1)/m). Let y = -237/4 - i. Which is smaller: y or -1?
-1
Let n = 54 - 52. Suppose 4*x = -n*x + 18. Is 17 greater than x?
True
Let i = -62 + 63.94. Let z = 2 - i. Let m = z + -4.06. Which is bigger: 1 or m?
1
Let h(i) = 2*i - 5. Let c be h(4). Let y be (6/10)/(69/184) + 1. Is c at least as big as y?
True
Let y = 2 - 3. Let t(z) = -21*z - 1. Let u be t(-1). Suppose 22 = -f + u. Are y and f equal?
False
Let b = 47 - 48. Let i be (-11)/55 - (-2)/10. Let u be (3 + i)/(45/(-6)). Which is greater: b or u?
u
Let p = -21 - -29. Suppose v - j + 1 = 0, p*j - 4*j + 1 = -v. Let f = -1 - v. Which is bigger: f or 3/4?
3/4
Let z be (6/8)/(26/104). Suppose 2*b = 3*k - z, -3*b - 12 = b. Is -2 greater than or equal to k?
False
Let q be 4/(4 - (-4 + 7)). Suppose 4 = -8*z - q. Let d(n) = n**3 - 3*n**2 + 1. Let w be d(3). Is z at least w?
False
Suppose -3*w = -0*w - 51. Let a = w - 29. Let d(j) = j**2 - 5*j - 11. Let t be d(5). Which is smaller: t or a?
a
Let l = -884 - -903. Which is greater: l or -11?
l
Let s = -5/9 + 98/225. Let t be 1/((-2)/2 + 2). Is t >= s?
True
Let o be -3*6/81 + 254/900. Suppose -5*d = 4*s - 10*d + 25, -5*s = -5*d + 25. Is o greater than or equal to s?
True
Suppose 2 = -4*x + 5*i - 127, -2*x = -4*i + 60. Let a = -36 - x. Are a and 1/14 equal?
False
Let v = 2596 + -23339/9. Is v < 2?
False
Let f be (9/6)/((-9)/(-12)). Suppose -5*l - f = -7. Which is bigger: 2 or l?
2
Let g be (-1 - -2)*(-1 - -4). Suppose -2*x - 5*w + 21 = 0, -4*w + 9 + 3 = 0. Is x != g?
False
Let j(i) = i**2 - 9*i - 12. Let z be j(10). Let f(b) = -3*b**2 + 3*b + 5. Let x be f(z). Is x > -14?
True
Suppose -k = -4*x + k + 24, 0 = 2*x - 3*k - 4. Suppose x*o - 12*o + 24 = 0. Which is smaller: 3 or o?
3
Let v = 3.956 - 0.156. Which is smaller: v or -2?
-2
Suppose -2*n - 17 + 5 = 0. Let r be -2 + -8 - (-3 + 0). Which is greater: r or n?
n
Let u(b) = b + 5. Let q(m) = -1. Let j(a) = -4*q(a) - u(a). Let t be j(-6). Suppose -v + 5*i + 6 = 0, t*v + 1 = -2*i + 4. Is 2 less than or equal to v?
False
Let n = 3507 + -17533/5. Let s = -1.79 + -0.11. Let g = s + 2. Does g = n?
False
Let n(r) = 4*r - 38. Let v be n(-3). Is -51 bigger than v?
False
Let w be 1494/(-7)*28/(-6). Let u = w - 39837/40. Which is smaller: u or 0?
0
Let f = -270 - -268. Let s be -3*(-4)/(-6) + -1. Which is bigger: f or s?
f
Let z = -22 + 51. Suppose -x = -4*h + 20 + 5, 5*x + 4*h = -z. Which is greater: x or -8?
-8
Let p be (-465)/350 - -1 - (-2)/5. Let z = 27201/280 - 486/5. Let l = p - z. Which is smaller: 0 or l?
0
Let l = -2629/9594 - 2/533. Wh