/(4/14). Let r be w - -3*(-88)/108. Is r >= 1?
True
Let k be 32/7680*(2 - (-58)/(-24)). Which is smaller: 0 or k?
k
Let g be (-5 - 1)/(-12 - 5). Which is smaller: g or -1/4?
-1/4
Let z be (-3262)/294 + (-4)/(-42). Which is smaller: -1/13 or z?
z
Let x(s) = -105*s. Let v be x(-5). Suppose -d = -6*d + v. Let t be (6/(-45))/(d/(-25)). Do 1 and t have the same value?
False
Let b be ((-3)/6)/((-2)/(-12)). Let a be 78/84 + -1 + (-3)/14. Is b at most a?
True
Suppose 3*y = 5*o - 8, -2*o + 3*y + 1 = 5. Suppose -l + 3 + 1 = 0. Let j be 2/o*l/14. Is -1/4 >= j?
False
Let a(x) = -224*x + 220. Let c be a(1). Let i = 739/6 + -255/2. Is c less than i?
False
Let j = 53/6 - 17. Are j and -9 equal?
False
Let o = -0.14 + -10.86. Let t = o - -12. Let x = -4 + t. Which is smaller: x or -1/3?
x
Suppose 20*w + 2*n + 8 = 17*w, -16 = 4*w + 4*n. Which is bigger: 1/1036 or w?
1/1036
Suppose 344 - 1300 = -4*b. Let i = 951/4 - b. Is i < -1?
True
Let g be 2/2 + (-15)/(-5). Suppose c = -g*r + 37, -r + 7 = c - 6. Suppose -4*m - 4*d = r, -2*d + 0 = m - 1. Which is bigger: -3 or m?
-3
Let u be 6*1 - (-6720)/(-1088). Is -12 greater than or equal to u?
False
Let f be (-2)/14*2*-1. Let x = -16.09 - -0.09. Let d = 15.9 + x. Which is smaller: d or f?
d
Let v = -4 - -4. Let j = v + 0.1. Let y = -24 - -23.9. Are y and j non-equal?
True
Let i = 513 + -512.863. Is i equal to 1/2?
False
Let c be (12/33608)/((-9)/12). Let h = c + -390685/16804. Let u = -23 - h. Is 13 bigger than u?
True
Let x(l) = -20*l**3 + 5*l**2 - 8*l - 7. Let n(h) = h**3 + h**2 - h - 1. Let m(c) = 6*n(c) - x(c). Let u be m(-1). Is u >= -26?
True
Suppose 0 = -31*o + 81 + 229. Which is greater: 5 or o?
o
Suppose -3*q - j - 115 = 0, 35 = -q - j - 4. Let d = -47 - q. Is d greater than -9?
False
Let t(f) be the second derivative of -f**3/2 + 32*f**2 - 25*f. Let i be t(19). Which is smaller: i or 10?
i
Let i = 60 - 61. Is i at least -22?
True
Let i(g) = -g + 11. Let f be i(2). Let r = -5 - -4. Which is smaller: f or r?
r
Let q be ((-110)/6)/5*-1. Let y = 28/15 - q. Which is smaller: -1 or y?
y
Let m be 1 + 4*4/16. Let k be (1/m)/(17/170). Which is greater: 3 or k?
k
Let c be (4/(-8))/((-26)/(-24) - 1). Let m be -1*1*(-3)/c. Is 2/7 greater than or equal to m?
True
Suppose -3 = 2*c + 3*f, 2*c - 5*f - 3 = 6*c. Suppose -u + 2*h = -29, 3*u = -c*h - 2*h + 87. Suppose y - 4*y + u = -4*s, 25 = 5*y - 2*s. Is y at least 6?
False
Let g(b) = -b**2 - 259*b + 513. Let p be g(2). Let r(f) = -7*f. Let n be r(1). Which is greater: p or n?
n
Suppose -11 = -2*x - n - 6, -4*x + 3*n = -5. Which is greater: 61 or x?
61
Let i = 0.291 + -0.001. Let f = i - 0.39. Which is greater: f or 8?
8
Let f = 33.1 - 34. Let x = f - -0.8. Let s = 3 + -5. Is s != x?
True
Let w(f) = 57*f**3 - 2*f**2 + 8. Let r be w(-2). Is r <= -454?
True
Suppose -3 - 20 = -5*c + 4*t, c = 4*t + 11. Let l be (-1)/(1 - 20/19). Suppose 5*m - l = 5*a + 16, -c*a - 15 = 0. Is 1 bigger than m?
False
Suppose -4*b - 43 = -i, 3*b - 215 = -5*i + 4*b. Let r = -43 + i. Do r and 2/27 have different values?
True
Suppose -5*r - 19 = 4*k + 49, -3*k + 2*r = 74. Let w = k - -28. Do w and 5 have the same value?
False
Let u = 89.15 + -87. Let n = 0.15 - u. Which is smaller: n or 0.02?
n
Let q = 40 - 40. Let n = 1316 + -69745/53. Is n >= q?
True
Let p(i) = -i**3 - 5*i**2 - 4*i - 1. Let n(v) = v**2 + 9*v - 3. Suppose -17 = 4*k + 19. Let s be n(k). Let c be p(s). Is -6 less than c?
False
Let b = 24.8 - 27. Let p = b + 2.25. Which is bigger: -2/3 or p?
p
Let l be (1/93)/((-4)/(-48)). Let s(p) = 12*p - 155. Let z be s(13). Which is smaller: l or z?
l
Suppose -2*x + 4*s = -320, -544 = -5*x + 3*s + 221. Which is bigger: x or 148?
x
Let d(c) = 2*c**2 + 29*c + 21. Let s be d(-14). Let u = 0.69 - 1.6. Let r = -0.09 + u. Which is smaller: r or s?
r
Let n be 3/(-2)*(-110)/11605. Is 0 bigger than n?
False
Let p(u) = u**3 + 17*u**2 + 45*u - 21. Let a be p(-14). Is -62 bigger than a?
True
Let g be -543*(-8)/(-72)*-3. Is g greater than 363/2?
False
Let b = -259 + 141. Let t = -118.2 - b. Are t and 45 non-equal?
True
Let x = -70.9 + 70. Is 0.64 greater than x?
True
Let o = -733 - -734. Which is smaller: o or -2?
-2
Let k = 21 - 22.3. Let n = k + 1.19. Is n at least as big as -3?
True
Let j(x) = 7*x**2 + 26*x - 18. Let l be j(-6). Which is smaller: l or 79?
l
Let q = 2.584 - -4.416. Let l = 0.012 + 4.088. Let z = l + -4. Is z < q?
True
Suppose 41*u - 15*u = 9776. Which is smaller: u or 0.1?
0.1
Let h = -0.42 + -31.58. Let y = 32.1 + h. Which is smaller: y or -2/11?
-2/11
Suppose -3*v = 3*x - 0*x - 24, 5*v = 5*x. Suppose -2*r - 13 = -q + 2, r - 6 = -v*q. Let u be (4 - (-2 - r))*-1. Which is greater: u or 1/15?
1/15
Let a be (-56)/3*69/(-2). Let r be ((-332)/15)/(-1 + 1124/1164). Let l = r - a. Are 1 and l unequal?
True
Let b = 12.01 + -10.7. Let h = b + -1.41. Which is bigger: -21 or h?
h
Suppose 0 = i - 4*s + 379 - 154, 5*i + 1100 = -5*s. Is -1 less than i?
False
Let c(l) be the second derivative of l**5/20 - 7*l**4/12 + 7*l**3/6 - l**2 - l. Let a be c(6). Suppose -2*g = -6*g + a. Which is greater: 2 or g?
2
Suppose 0 = -m - 5*k + 1011, 7*m - 4*m + 5*k = 3073. Which is greater: m or 1033?
1033
Let g = -453 + 461. Is g >= 82/11?
True
Let a = -34 - -33.6. Is a bigger than 73?
False
Suppose 0 = -m + 4*i - 10, 0 = -5*i - 6 + 26. Let l be (4/44)/(7 - m). Suppose 0 = 2*d + d. Is l smaller than d?
False
Let q be 5/15 + 1 + -1. Suppose f + 4*f + 64 = x, 0 = f + 3*x + 16. Which is bigger: f or q?
q
Let a be (1 - 0) + 9/(-11). Suppose -q + 7 = 5*o, 0 = 4*q + 4*o + o - 13. Let f be 2 - (6/q + 0). Is f >= a?
False
Let x be (-10)/65 - 41/(-13). Suppose u - x = -2*u. Are u and 1 equal?
True
Let a(d) = -d**2 + 21*d - 11. Let l be a(20). Is 8 less than l?
True
Let t = -1.4 + -0.6. Let n = -15.3 + 15.5. Which is smaller: t or n?
t
Let m be (-1 - -2)*(4 + 1). Suppose d + m = 6*d. Let q be (60/(-475))/((-15)/25). Is d at most q?
False
Let p(s) = 145*s**3 + 7*s**2 - 5*s. Let z be p(1). Is z greater than 150?
False
Suppose j = 3*q - 4*j - 35, -5*j = 7*q - 15. Which is bigger: 31/3 or q?
31/3
Let x be (0/1)/(3/(2 - -1)). Which is greater: x or 2/257?
2/257
Let y be 292113/(-48732) - (-1 + -5). Which is greater: y or 2/3?
2/3
Suppose 2*u = -4*l - 42, 6*l - 25 = l. Is -34 smaller than u?
True
Let c = -79/4 - -20. Which is bigger: 0.1 or c?
c
Suppose z + 83 = -0*z. Let a = 11705/141 + z. Are a and 0 non-equal?
True
Let j = 27 + -26. Suppose 6*a - 54 = 9*a. Let k be (-4)/1*1/a. Which is smaller: k or j?
k
Suppose 3*g + 8 - 26 = 0. Let b be (3/(-9))/(2/g). Let j = -7 - b. Is -6 <= j?
True
Let t be -5*((-6)/7)/((-300)/210). Are -60 and t non-equal?
True
Suppose 62 = 5*m + 2. Suppose 3*c = 5*f + m, -f + 2*c - 4 = 4. Let d(q) = 2*q**3 - 20*q**2 - q + 21. Let i be d(10). Is f less than or equal to i?
True
Suppose 18 = -4*a + 5*a. Is 16 greater than or equal to a?
False
Let w = 11 + -47. Let q = w - -40. Which is smaller: q or 3?
3
Let v(y) = y - 3 - 3 - 2*y**2 + 0*y**2. Let j be v(0). Let z(p) = -5*p - 7. Let b be z(j). Is 23 at least b?
True
Let r = -132/17 - -1358/153. Let v(b) = 8*b - 48. Let w be v(6). Is r != w?
True
Suppose 9*d - 18 + 9 = 0. Which is smaller: -2/253 or d?
-2/253
Suppose 15*w - 25*w = -4500. Which is smaller: 449 or w?
449
Let j be (-1)/3 - 53*(-1)/6. Let y = 58/3 - 19. Which is greater: y or j?
j
Let d(w) = 3*w**2 + 2*w - 1. Let c be d(-2). Suppose 0 = -c*v + 109 - 25. Do 13 and v have different values?
True
Let u = -1 - 3. Let k = u - -1.8. Let g = 2.4 + k. Is -8 at least as big as g?
False
Let o be (1 + 12 + -3)*(-286)/(-55). Which is smaller: o or 362/7?
362/7
Let k = 35 - 32. Let y(f) = -f**3 + 3*f**2 - f + 1. Let d be y(k). Let j = 29/2 - 15. Which is smaller: d or j?
d
Let k be 6/(-28)*1*(-408)/(-18). Which is greater: k or -4?
-4
Let i = 73 - 51. Suppose 0 = -h - 15 + i. Which is smaller: h or 5?
5
Suppose -5*h + 5*p = 2 + 13, 0 = 5*p - 25. Let x(v) = v**3 - v**2 - v + 2. Let d be x(h). Suppose d = -a - 3*a. Which is bigger: -2/5 or a?
-2/5
Let h(g) = -g**2 + 2*g + 12. Let b be h(4). Suppose 6*u - 2 = b*u. Let j = 1436/36427 - 6/499. Is j greater than or equal to u?
False
Let l = -68 - -71. Suppose 2*f + 14 = -3*i - 23, 3*f = l*i + 12. Is i bigger than -10?
True
Let n be (3 + 46/4)*10. Which is smaller: 144 or n?