 91 = q, -4*q = 2*k + 2. Which is greater: k or 9?
9
Let u = 9663.7 - 9656. Let x = -0.1 - -0.1. Is x at least u?
False
Suppose 10*t - 9*t = 16. Let k be (2/6)/(t/(-528)). Which is smaller: -2/7 or k?
k
Let t(g) = 172*g - 165*g - 33 - 23. Let x be t(8). Is -9/7 bigger than x?
False
Let y(q) = -2*q + 4. Let j be y(3). Let z be j*3/6 + 2. Let s be (z - 6)*4/12. Is -3 <= s?
True
Let m(h) = 2*h**3 - h. Let c be m(-1). Let p be 188/(-94)*(-2)/98. Which is smaller: p or c?
c
Let x = -6.5 + 0.5. Let l = -7 - x. Let f = 4 - l. Is f >= -0.1?
True
Suppose 120 = -8*i - 56. Let m(d) = -d**2 - 24*d - 45. Let c be m(i). Does 18 = c?
False
Suppose 0 = 3*g - 3*m, 0 = 4*g - m - m + 2. Let a be 285/3*(-2)/(-5). Let s be 4/8 + (-15)/a. Which is bigger: g or s?
s
Let u be ((-3)/354)/((-873)/432 + 2). Is 1 != u?
True
Let o = -562 + 562.1. Which is bigger: 369 or o?
369
Let u = -46 - -99. Let k = u - 59. Is k less than or equal to -0.02?
True
Let p = -7340/3 - -3647971/1491. Are p and -1 non-equal?
True
Let m be (6 - 15)*(-260)/(-78). Are -400/13 and m nonequal?
True
Let q = -334 - -334.037. Which is greater: -0.2 or q?
q
Let v be ((-21)/406)/((-2)/(16/(-6))). Which is bigger: v or 1?
1
Let c(o) = 4*o - 65. Let r be c(22). Suppose r*y = 14*y + 360. Is y greater than or equal to 1/2?
True
Let o = 74811 + -314729879/4207. Which is bigger: o or 0?
0
Let j(h) = -h**3 + 2*h**2 + h + 100. Let q be j(0). Suppose -7*k = 3*k - q. Let n(y) = -2*y. Let u be n(-6). Which is bigger: u or k?
u
Let n(a) = a**2 - 13*a - 48. Suppose 9 = -18*r - 45. Let p be n(r). Which is greater: 1/50 or p?
1/50
Suppose -s - 14 = 2*s - 2*r, -2*s - 13 = -5*r. Let g be (((-96)/(-5))/(-12))/((-4)/(-10)). Is g > s?
False
Let o(n) = -n**2 - 9*n - 10. Suppose -5 - 5 = -5*z. Suppose 0 = 4*x - z*x + 14. Let p be o(x). Is p smaller than 5?
True
Let x(g) = -g**3 + 8*g**2 - 4*g - 2. Let d be x(5). Suppose d + 2 = 5*w. Do 11 and w have different values?
False
Let d = 10163/76 + 1321/19. Are 203 and d unequal?
True
Suppose -w - 2*w + 18 = -2*u, -5*w + 34 = -4*u. Let s = u + 9. Suppose 5*x + 25 = 0, -2*o = 3*o - s*x - 15. Is -10/7 != o?
True
Let z be 1/(-5) - ((-308)/(-35) - 8). Is z >= 14/11?
False
Let s(v) = -v**3 + 8*v**2 + 11*v - 16. Let b be (-18)/15*30/(-4). Let k be s(b). Is k less than or equal to 2?
True
Let r = -29.43 - -29.3. Which is bigger: 0.4 or r?
0.4
Suppose 0 = 3*h + 6*h - 162. Let d = -55 + 27. Let i be ((-1)/h)/((-7)/d). Does i = 0?
False
Suppose -40 = 83*q - 85*q. Is q < 56/3?
False
Suppose 145*m + 5145 = -2*m. Is m smaller than -600/17?
False
Let l = -0.45 + -25.55. Let a = 2 + -31. Let m = l - a. Is 3 > m?
False
Let u = 388 + -144. Suppose 3*l = -5*z + 44, 31 = 4*l + z - 5. Let m be u/30 - l/60. Which is smaller: m or 9?
m
Let f = 16/5 - 101/30. Let y = 1.19 + -1.29. Is f >= y?
False
Let q(g) = 12*g**2 - 4*g - 3. Let m(x) = 12*x**2 - 5*x - 4. Let o(h) = -4*m(h) + 5*q(h). Let y be o(-1). Suppose -3*v = -29 - y. Is 15 less than v?
False
Let r = -5593642826/77 + 72646168. Let o = -1456 + r. Which is greater: o or 1?
1
Suppose j - 5*s = -11, 2*s = -5*j + 2 + 24. Suppose -j*g + 12 = -4*c, 4*g - 2*c = -0*c + 6. Which is smaller: -1/40 or g?
-1/40
Let h be (-7)/(-1) - -4*7/7. Which is smaller: h or 9?
9
Suppose -2*d = -61 - 31. Let n be 916/(-30)*3/2. Let g = n + d. Which is greater: g or 1?
1
Let w = -2 + 18. Let i = w + -20. Let x be i*(-3 + 477/156). Is 1 less than x?
False
Let w be 42/2*1/3. Suppose w = 3*u - 5. Let i = 1566 - 1561. Is i at most as big as u?
False
Let g = -1719/28 + 428/7. Which is smaller: g or 0?
g
Let o(l) = -l**3 - 4*l**2 + 5*l - 13. Let j be o(-8). Is j <= 405/2?
False
Suppose k - 7 = -0*k. Suppose 0 = -2*u + 3*u + k. Suppose 2*q + q - 2*n = -19, -5*q = 5*n + 40. Is u <= q?
True
Let d(w) = 8*w - 19. Let l be d(-4). Is -4 at most as big as l?
False
Suppose 2*n - o + 0 = -25, 0 = 5*n - o + 70. Let s be ((-2)/3)/(4/n). Let w be ((-3)/6)/(1/(-4)). Which is smaller: w or s?
w
Suppose -3*c + 3*c - 4*c = 0. Let y be c + (0 - 2 - -2). Which is bigger: -2/13 or y?
y
Suppose 5*r - 7*r = 7*r. Which is bigger: r or 2/533?
2/533
Let b = 600 + -601. Which is smaller: b or 15/32?
b
Suppose 2*j - c = 70, 0 = -0*j + 2*j - 5*c - 86. Suppose 4*b + j + 31 = 0. Let z = 16 + b. Which is smaller: -2 or z?
-2
Let s be (-2)/(-15)*(3 + 2). Let p(o) = -o + 2. Let j be p(-4). Suppose 4*q + j = -3*v, 2 = -4*q - 0*v - v. Is s >= q?
True
Let z(v) = -v**2 - 7*v. Let w be z(-6). Suppose 0 = -y + 5*y - 3*q - 21, 0 = -2*q - w. Let x be ((-4)/(-30))/((-10)/(-150)). Is y at most as big as x?
False
Let q be (2 + 0)*1/(-5). Let i = -0.42 - 1.48. Let o = i - 0.1. Which is smaller: q or o?
o
Let n = 21 - 19. Let t(b) = -2*b**2 + 4*b - 5. Let u be t(n). Which is smaller: -4/5 or u?
u
Let z = 5 + -9. Let k be 9/(-15)*(-495)/(-66). Are k and z non-equal?
True
Let q = -8 - -17. Let h = q - 23. Let x = h + 14.04. Is x at least as big as -2?
True
Let m(k) = 2*k**2 + 9*k + 3. Let n be 1/(5/2) - (-66)/(-15). Let q be m(n). Is q != -3/35?
True
Let a = 78 - 50. Suppose 25 = 5*c + 5*w, 5*w + 3 - a = c. Suppose c*b + 2*b = 0. Which is greater: b or 4/19?
4/19
Suppose 3*d - k - 7 = 0, d = -d - 2*k + 2. Suppose -d*x + 3*g - 4*g + 11 = 0, -x = -2*g - 3. Is 17/4 < x?
True
Let w = -952 + 6666/7. Which is smaller: 3/7 or w?
w
Suppose -13 + 37 = -n. Let p = -28 - n. Let o be (-1)/6 - p/(-48). Which is smaller: o or -1?
-1
Let q = -1755 - -1809. Let t be -2 - -3*1 - 1. Are q and t non-equal?
True
Let r(y) be the third derivative of y**5/60 + 11*y**4/24 - y**3/2 + 2*y**2. Let d be r(-12). Suppose d*x = 4*x - 15. Which is bigger: x or -2?
-2
Let r = 97/6 + -31/2. Let q(j) = j**2 - 4*j + 1. Let c be q(4). Let g be c*2 + (-28)/20. Which is bigger: r or g?
r
Let r = -137 + 47. Which is smaller: -633/7 or r?
-633/7
Suppose -1646 = -7*r + 2*r - 2*m, 2*r - 5*m = 641. Is r at least 329?
False
Let x be 4/6 - 14/39. Let n = -66 + 71. Suppose 0 = -n*j - t + 10, 2*j - j = 3*t - 14. Is j less than or equal to x?
False
Let l(g) = g - 10. Let v(d) = d**3 - 15*d**2 + 15*d - 9. Let b be v(14). Let o be l(b). Is o <= 0?
True
Let y(o) = -o**3 + 50*o**2 - 98*o - 99. Let i be y(48). Which is greater: i or -979/5?
i
Let d(r) = 5*r**2 - 4*r**2 - 7 + 0*r**2. Let p be d(3). Is p at most as big as 7/4?
False
Suppose -3*j + 406 = -5*t, 390 = 3*j + t + 2*t. Which is smaller: j or 2/3?
2/3
Let v = -47 + 41.3. Let w = -5 - v. Which is smaller: 0.2 or w?
0.2
Suppose 0 = -3*r - 15, 2*r + 18 = t + 4. Let d be (t + -1 + -2)*1. Let m = -386 - -11964/31. Which is bigger: d or m?
d
Let y(h) = -321*h**2 + 24*h - 5. Let d be y(-2). Is d not equal to -1337?
False
Let m(b) = 2*b**3 - 48*b**2 - 2*b + 176. Let h be m(24). Is h < 128?
False
Suppose 23*k + 889 = 84. Which is smaller: -33 or k?
k
Let f(t) = -6*t**2 + 4*t - 2. Let u be f(2). Which is smaller: u or -17?
u
Suppose -3*d + 22 = c, 3*d - 14 = -5*c + 48. Suppose l - 18 = -x, -35 = -5*x - c. Is l smaller than 11?
False
Suppose 5*x + 2*w - 44 = -7, x = 5*w + 2. Let f = -4 - -8. Suppose x*z - 6 = f*z. Is 0 > z?
False
Let v be 2/(2/5)*1. Suppose -5*a = v*w - 5, 7*w - 15 = 12*w - 5*a. Which is smaller: w or -38?
-38
Let d be 2 + ((-4)/2 - -57). Let t be d/9 + 1/(-3). Suppose 2*u - 8*u = t. Which is smaller: 0.5 or u?
u
Let m be ((27/(-12))/1)/((-63)/(-48)). Are m and -1 equal?
False
Let r be ((-3)/2)/(13/(-26)). Suppose 12*z = r*z + 18. Does z = 2?
True
Let b be (-10)/(-20) + (389/10 - -2). Which is greater: b or 42?
42
Let q = 15273/8 - 1912. Is q greater than -3?
True
Let a = -26421 + 50523/2. Let p = -1137 - a. Which is bigger: 22 or p?
p
Let x = -1 + 1. Let p = -74.59 - 0.11. Let o = p - -75. Are x and o equal?
False
Let b = 18 + -17. Let c(l) = -b - 3 + 7 - 5*l. Let y be c(3). Is -10 >= y?
True
Suppose 2*d + 2*d = 40. Let s = d + -4. Let h(p) = p**3 - 6*p**2 - p + 5. Let m be h(s). Is m not equal to 1/5?
True
Let w = -1077 - -1062.18. Let c = 0.18 - w. Let h = c - 14.97. Is h at most 1?
True
Suppose t = -3*t + 16. Suppose 5*k = 0, 3*h - 6 - 9 = -t*k. Let z be 10 + -1 + -5*112/40 + 8. Which is smaller: h or z?
z
Suppose 3*u = 5*u + n + 3, 0 = 3*u + 2*n + 7. Which is greater: 1/46 or u?
u
Let h be 2/(-8) + (-1 - (-2452)/(-48)). Let c = -54 - h. Which is smaller: -4/3 or c?
c
Let u(s) = -s**3 + 7*s**2 + 6*s - 22. 