<= t?
False
Let y = 9 + -7.89. Let x = y - 0.31. Let m = x - 0.816. Is 1/2 greater than m?
True
Let z = -1 - -22. Let w = 34.6 - z. Let j = w - 14.6. Is j bigger than 84?
False
Let h = 67 + -68.43. Let y = -0.27 + h. Let z be (2/(-5))/(24/15). Which is bigger: z or y?
z
Suppose -i + 913 + 1867 = 5*a, 2215 = 4*a - i. Let b = a + -568. Suppose 3*t - t + 26 = 0. Is b less than or equal to t?
True
Let m(q) = -128*q + 2913. Let g be m(23). Let p(a) = -a**3 - 7*a**2 - 4*a. Let z = 4 - 9. Let l be p(z). Which is bigger: g or l?
l
Suppose 2*h + 11 = 3*x, -3*x + 1 + 4 = -5*h. Suppose -h*a + 11 = 3*c - 2, 0 = 4*c - 3*a + 11. Which is smaller: -2/65 or c?
-2/65
Let r = 2 - 1.5. Let k = 0.5 - r. Let l = -37693.95 - -37694. Which is bigger: l or k?
l
Suppose 4*i + 8 = 4*b, 8*b - 7*b + i - 6 = 0. Suppose 4*l = -b*d, 0 = -4*l + 7*l + 4*d. Which is bigger: -4/219 or l?
l
Let v(a) = 15*a - 1. Let x be v(10). Let u = x + -104. Is u smaller than -1/3?
False
Let c be (-34)/(-10) + ((-504)/70)/(-12). Suppose 0*l + l + c*l = 0. Is -1/432 at most l?
True
Let u = -13231 - -12991. Which is smaller: u or -722/3?
-722/3
Let d = 10/67 - 13/536. Are d and 0.5 nonequal?
True
Suppose 0 = -9*q + 4*q + 2*b + 20, 0 = 4*q - 3*b - 9. Let n be (-1 - -1)*(-4 - 13/(-3)). Suppose n = -6*j + 4*j + q. Are j and -1/4 equal?
False
Let d(r) = 25*r**2 - 8*r + 57. Let i be d(4). Which is smaller: 3838/9 or i?
i
Let u = -391 + 148. Let j = -4942 - -4700. Is u <= j?
True
Let o be ((-8)/9)/(4/(-24)). Let w = 51 + -43. Let d(n) = n**3 - 9*n**2 + 11*n - 20. Let k be d(w). Do o and k have the same value?
False
Let c(z) = -2*z**2 + 42*z + 47. Let q be c(19). Which is bigger: 119 or q?
q
Let f = 7316039/820 + -8922. Is 1 at most f?
False
Let f be -1*(7/25)/(1/(-9381941)). Let c = f - 2626404. Let y = 539 - c. Are 1 and y unequal?
True
Let m = -0.6312 + 3158.6312. Which is greater: 0.1 or m?
m
Suppose 17*b + 32 + 3 + 16 = 0. Which is bigger: b or -14?
b
Let m = -114676 + 114657. Let d = 1 + -0.6. Which is smaller: d or m?
m
Suppose -5*x - 4*n - 402 = 0, x + 4*x + 3*n + 404 = 0. Let y(t) = t**3 + 36*t**2 + 37*t - 12. Let w be y(-35). Is x at most w?
True
Let y be (0 - (5 + -6))*0. Let n be (y/(-1))/(3 + -1). Let d be (22/(-9))/(2 + 4/6). Which is greater: n or d?
n
Let p(q) = -61*q - 15. Suppose 2 = -v, -2*n + 3*v - 8*v = 6. Let a be p(n). Is -137 greater than a?
False
Suppose 11*m + 22*m = -1485. Let k be 21/(-70)*-39*5/m. Is k at most as big as -2?
False
Let r be 45/2160*((-274)/(-146) + -2). Are r and 0 equal?
False
Suppose -2*l - l + 42 = 0. Let x = -16 + l. Let z = -3.68 + 3.77. Which is bigger: z or x?
z
Let q = 402 + -401. Let i = -4.91 - -2.76. Is i > q?
False
Let u(f) = -3*f**3 - f**2 - f - 1. Let s be u(-1). Let r be (1/s)/(1*1/(-2)). Let y be ((-141)/(-24)*-2)/(r/4). Are y and 47 nonequal?
False
Let s be (-1)/(3 - 5898/1968). Which is smaller: -331 or s?
-331
Let q be (147 + -1)*(-1)/(20/(-730)) + 4. Is 5328 not equal to q?
True
Let p be ((-258)/(-172))/(171/(-9956)*2/(-6)). Suppose 5*y = -0*y + 1315. Is y greater than p?
True
Let w be ((-7448)/(-114))/(2/(-3)). Let s be 7*-1 + w/(-14). Which is greater: s or -8/11?
s
Let b = 77 - 56. Let x be 1*(-2)/2*(-22 + b). Is x not equal to 6/17?
True
Let q(r) = r - 17. Let m be q(38). Suppose -2*v + 4*g + m = 19, 0 = 2*g + 6. Which is greater: -6 or v?
v
Let f = -1177.2 + 1209.2. Which is greater: -3 or f?
f
Let v(j) = 5*j**3 + 488*j**2 + 298*j - 242. Let o be v(-97). Which is greater: -923 or o?
o
Let y(r) = 1366*r**2 - 15*r - 8. Let n be y(2). Which is smaller: 5428 or n?
n
Let n be 4/30*6/(-10). Suppose -4*p - u + 832 = 0, 1049 = -32*p + 37*p - u. Let m = 208 - p. Which is smaller: m or n?
m
Suppose -291*q + 289*q = 6232. Is q greater than 0?
False
Let r = 16.72 + -19.3. Let f = -2.48 - r. Is 5/7 at least f?
True
Let j be (-4 - (-15)/6)*-12. Suppose 0 = x + 5 - j. Suppose -3*z + 2*z = 4, x = -3*b - 4*z. Is 1/20 >= b?
False
Let a = 146 - -41. Let f = a - 186. Which is bigger: 3/145 or f?
f
Let y = 114959/930 - -35/186. Suppose 72*i - 64*i - 1000 = 0. Let z = i - y. Is 0 less than z?
True
Let n = 11133 - 11038. Suppose -b - 9 = 2*g - 4*b, 4*g + 3*b - 27 = 0. Let c be g - 2 - -94 - 1. Is c != n?
True
Let m = 181/7 + -178/7. Suppose -95*p = 16*p + 54 + 57. Is m at most p?
False
Let y(b) = b**3 - 9*b**2 + b - 3. Let h be y(9). Suppose -8*m = -h*m + 32. Suppose -8*z = -6*z - 10, 60 = -3*f + 3*z. Is f at least as big as m?
True
Suppose 141*v = 270*v - 149*v + 20. Is v greater than 3/2083?
True
Suppose -3*d + 0*d + 12 = 0. Let h be (-4)/(-24)*(-30)/d. Let w(i) = -i**3 - 8*i**2 - 10*i + 11. Let t be w(-6). Is h bigger than t?
False
Let a = 18282 - 10987485/601. Which is bigger: a or 1?
1
Let q = 0 - -1. Let h(a) = -9*a. Let v be h(q). Let j be 5 + ((-10)/9 - (-71)/(-9)). Is j > v?
True
Let a = -758 - -1067. Let i = a - 290. Is i less than 1?
False
Let v be ((-2)/12)/(105/36680). Is v >= -57?
False
Suppose -92 - 73 = 5*p + 5*n, -2*p = -7*n + 120. Which is bigger: -14 or p?
-14
Let z(b) = -b**2 + 4*b + 516. Let u be z(0). Let l be u/(-215)*30/(-4). Suppose 54 = 2*f + f. Are l and f equal?
True
Let r = 1783 - 1783. Suppose -m + 3*m = 8. Suppose -m*c = -3*s - s, 4*c + 8 = r. Which is greater: -10/3 or s?
s
Let c be 189/36 - (-2)/(-8). Suppose -4*i + 15 = c*b, 4*b + 0*b - 2*i - 12 = 0. Suppose 4*v - 23 = -3*g, 5*g = b*v - 6 - 4. Which is smaller: g or 1/61?
1/61
Let l be (30/(-8))/(-5*(-27)/(-90)). Let z(s) = -2*s**3 + 12*s**2 + s - 3. Let m be z(6). Is l <= m?
True
Let k be 2*-15 + (-50)/(6 + 4). Let r be (-2)/8 - (-36)/16. Let z be r/((-74)/k) + -1. Which is smaller: -1 or z?
-1
Let g(h) = 79*h - 97. Let s be g(-6). Let l = s - -19983/35. Let q = -4.4 - -0.4. Which is greater: l or q?
l
Let o(i) = -i**3 - 4*i**2 + 7*i - 8. Let d be o(-6). Let n(s) = 5*s**2 - 9*s + 11. Let m be n(2). Let k(g) = -g**2 + 14*g + 10. Let x be k(m). Is x < d?
False
Let p = -5700.6 + 5628. Are p and 0.3 nonequal?
True
Let r = 37405991549/11799 - 3170268. Let g = r + -2/621. Let q be 3/1*(1 + 2 + (-80)/30). Which is smaller: g or q?
g
Suppose 193 = 4*m + 185. Let o be (-6)/((-1)/2*2). Suppose 6 = 2*y + 4*z, 2*y + o = -m*y + z. Is y smaller than -2/129?
True
Let t = 0.3 + -1.3. Let h = 1.111 + -1.03. Let l = -0.289 - h. Are l and t nonequal?
True
Let k = -1423.985 - -1424. Let d = 318 + -320.415. Let f = d + k. Do f and -2 have different values?
True
Let d(n) = -3*n + 3. Let t be d(-2). Let y(h) be the first derivative of -h**3/3 + 5*h**2 + 25*h + 16. Let s be y(12). Do s and t have the same value?
False
Let w = 1124434/3296453 + 2/15623. Is 0 > w?
False
Let w(u) = -u**2 - 2*u + 23. Let j(c) be the third derivative of -c**4/6 + 31*c**3/6 + 14*c**2. Let y be j(9). Let h be w(y). Is h less than 11?
True
Let n be ((-8)/24)/((-1)/9). Suppose -n = q - 2*q. Suppose q*k + 6 + 5 = -2*w, 2*w = 4*k + 10. Which is smaller: 1/17 or w?
w
Suppose -19*u - 495 - 455 = 0. Let t be ((-126)/(-45))/(2/u). Which is greater: t or -74?
t
Let q be (-274)/17 - -9 - (45 - -4)/(-7). Let m = 3 + -2. Are q and m equal?
False
Suppose 255*z = 159*z - 96. Is z at most as big as -6/1057?
True
Suppose 2*m = l - 2596 - 4529, -m = -1. Do l and 1/3 have different values?
True
Let v = -0.02232 + -13.97768. Which is greater: 76 or v?
76
Let x be ((-339)/226)/(-3*1). Let u = -18 + -29. Is u smaller than x?
True
Let n = 25 - 22. Suppose -4*w = 5*u + 10, -4*w + 5*u - n*u = -4. Are w and 1/476 nonequal?
True
Suppose -3247 - 4355 - 60990 = -24*b. Is 2860 smaller than b?
False
Suppose 3*o - 273 = 2*n, -o = -4*n + 111 - 632. Let d = n + 75. Is -54 at most d?
True
Let k(d) = -d**3 - 2*d**2 + 3*d + 3. Suppose 0 = -u - 4*u - 15. Let m be k(u). Let o = -613 - -624. Does o = m?
False
Let h = -19594 + 19600.284. Is h bigger than 1?
True
Let q(w) = -6*w + 14. Let k(h) = -6*h + 13. Let v(x) = -4*k(x) + 5*q(x). Let r be 6 - (-1*3 + 30/6). Let i be v(r). Which is smaller: i or -5?
i
Let n = -944.17 + 936. Let g = 2.17 + n. Do g and 16 have the same value?
False
Let v = -0.02 + 1.39. Let i = -64 - -63.63. Let u = i + v. Which is greater: u or 1/4?
u
Let m = 0.12 + -0.02. Let d be ((-39)/(-65) - (0 + (-992)/(-20)))*5. Which is smaller: d or m?
d
Let y(x) = 27*x - 550. Let t be y(21). Let o(w) = 7*w**2 + 1. Let h be o(3). Suppose -3*b