 non-equal?
True
Let g(o) = -o**3 - 11*o**2 + 11*o - 12. Let m be g(-12). Let s be ((-2)/(-28))/(12/(-72)). Is s greater than or equal to m?
False
Let b(w) be the second derivative of -w**5/20 + 3*w**4/4 - 7*w**3/6 + 11*w**2/2 - w. Let t be b(8). Are t and 19 equal?
True
Let h be 10/(-11) + (-2 - 3)/(-5). Let m = 5 + -6. Which is greater: m or h?
h
Let v be (4 - (-340)/(-42)) + (-11 - -15). Let p = -0.46 - -0.16. Is p less than v?
True
Let m(d) = -12*d**3 - d**2 - d. Let j be m(-1). Let q be (-1)/(-4) - (-7)/j. Let x = 21364 - 21364. Is q > x?
True
Suppose -3*q - 5 = 10, 3*z + 9 = 3*q. Which is smaller: -17 or z?
-17
Let n(i) = 2*i**2 - 4*i + 2. Let x be n(4). Suppose v - 2*s + 7 = 0, 4*v = -0*v + 3*s - x. Let h = -6 - v. Which is smaller: -1 or h?
h
Let z = 22 - 40. Let s = z - -18.3. Which is smaller: s or 2.2?
s
Let n be (315/(-45) + 14/2)/3. Let g = -8 + 5. Is g < n?
True
Let i(t) = t**2 - 2*t - 4. Let a be i(-8). Let m be 2*(3 - a/24). Let f(v) = v**3 + 2*v**2 - 4*v - 1. Let z be f(-3). Is m bigger than z?
False
Let z = 228 + -220. Is -2 at most as big as z?
True
Let x = 23 + -20. Let o = x - 3. Is 0.4 smaller than o?
False
Let q be ((-6)/(-33) - (-1431)/1386) + -1. Which is greater: q or 10?
10
Suppose 12 = 4*n - 0. Let j(u) be the third derivative of u**5/60 - 2*u**4/3 - 17*u**3/6 + 24*u**2. Let t be j(17). Which is smaller: t or n?
t
Let o = -360 + 3242/9. Let w = -356 + 2486/7. Which is smaller: w or o?
w
Let m = -728.1 - -728. Which is smaller: m or -26/11?
-26/11
Suppose -4 = 6*h - 22. Let o be h - 4 - (-31)/30. Is o bigger than -1?
True
Let x = -12839/17 + 755. Suppose -4*r = 4*o + 36, 4*r + 36 - 3 = -3*o. Let p be ((-2)/r)/((-5)/15). Is p less than or equal to x?
True
Let z = 4 + -2. Suppose 5*g - z*g = 111. Let d = g - 149/4. Is d at least as big as 0.1?
False
Suppose 0 = 2*m - 0*m + 2. Let b be -4 - (m + (-4 - -2)). Which is smaller: -18/13 or b?
-18/13
Let i(t) = t**2 + 8*t + 14. Let f be i(-6). Suppose 2*s + 5*g = f*g, -5*s + g = -17. Let d(h) = -h**3 + 4*h**2 - h - 4. Let l be d(s). Which is greater: 3 or l?
3
Let n = -4 + 4. Suppose 0 = c - n - 1. Let v be (2 + 1)/c - 2. Are -2/17 and v equal?
False
Suppose -5*d - 5*a = 20, -2*a = -2*d + a + 12. Is -7/39 at least d?
False
Suppose 2*q = -9*r + 14*r + 3, 5*q - 4*r = -1. Is q >= 7/249?
False
Let z(h) = -h**3 + 10*h**2 + 2*h + 9. Let d be z(10). Suppose d = c + 21. Is c greater than 10?
False
Suppose 4*o + 120 = 16. Let i = 26416 - 26442. Is i >= o?
True
Let y(k) = 8*k - 90. Let z be y(11). Let s be ((-6)/(-4))/(46/(-16)). Is s at most as big as z?
False
Let o = 7/123 + 319/1599. Let j = -1/39 + o. Is j != 1?
True
Let s be (-49 + 47)*(-1)/(-2). Let i be 12/(-59)*5/(-20). Which is greater: i or s?
i
Suppose -2*h = -4*v + 64, -2*v + 20 + 4 = 3*h. Which is greater: 17 or v?
17
Suppose -3*h + 90 = 5*g, 3*g - 10*h - 68 = -9*h. Which is greater: 19 or g?
g
Let t(n) = -n**3 + 32*n**2 - 29*n - 72. Let x be t(31). Let p be 4/(-6)*-15*-1. Is x at most p?
True
Suppose -3*p = 4*m + 1, -2*m = -p - 0*p - 7. Let s = -0.42 + -5.58. Are m and s non-equal?
True
Let d be -11*2*1/(-1). Let b = -585 + 608. Are d and b equal?
False
Let u = -243/154 - -6/77. Let o = -0.04 - 0.36. Let a = 0.4 + o. Are a and u non-equal?
True
Suppose -6 = -4*s - 2*w, -s + 4*w = 3*w. Suppose 25 = -0*d + 5*d. Suppose 0 = h + 2 - d. Which is smaller: s or h?
s
Let t = -77 + 849/11. Let b = -178/63 - -28/9. Is b greater than or equal to t?
True
Let g(c) = 15*c - 210. Let f be g(20). Is f smaller than 90?
False
Let b = 148 + -103. Let j = b + -45. Which is greater: -6 or j?
j
Let j be (729/(-45))/(((-18)/15)/6). Which is smaller: 244/3 or j?
j
Suppose -3*n - 4*j + 21 = -j, 5*n - 27 = 3*j. Let i = -3 - -33. Suppose -29 - 4 = -3*a + 5*y, -4*a = -2*y - i. Is a not equal to n?
False
Suppose -93 = 5*p - 18. Let x be (6/p)/(1/(-110)). Suppose -3*y = -7*y + x. Which is smaller: y or 12?
y
Suppose 6*b = b. Suppose -4*u + 2*u = b. Which is greater: -3/4 or u?
u
Let i = 518 - 516. Which is smaller: i or 16?
i
Let u = -6 + 12. Let g(o) = -8*o + 38. Let m be g(6). Let f(c) = c + 16. Let x be f(m). Is x smaller than u?
False
Suppose -w - 4 = 3*u + 18, 5*u + w + 34 = 0. Is u less than -8?
False
Let d be -4 - -3 - (-1 + 1). Suppose -33 = 3*l - 2*v, 3*l + 3*v = -43 + 10. Let a be 174/594 + 2/l. Which is smaller: a or d?
d
Let z = 8.63 - 22.63. Which is smaller: z or -0.16?
z
Suppose 4*r = 31*c - 33*c + 2, 2*c + 2 = 0. Is -5/54 not equal to r?
True
Let x = 385 - 386. Is x <= -456?
False
Suppose 489 = -18*f + 39. Does f = -24?
False
Let g(u) = u. Let h be g(5). Suppose 5*f = -t + 19, -5*f = -h*t + 6 - 1. Let r be t/1 + -3 + 0. Which is greater: 0 or r?
r
Suppose 2*a = -a - 3. Let d(b) = -5 - 3*b**2 - b**3 + 11 - b - 6. Let o be d(a). Which is greater: -1/2 or o?
-1/2
Let n = 440 + -431. Suppose -2*d + 3*l + 20 = 0, 0 = 3*d - 3*l + l - 30. Is d less than n?
False
Let c(m) = m**3 - 5*m**2 - 6*m + 6. Let o be c(6). Let d = o + -5. Let g = -5/6 + 89/114. Is d bigger than g?
True
Let m(d) = 2*d + d**3 - 5 + 14*d**2 + 3*d - 18*d**2. Let y be m(2). Let b be 0 + (-1 - y - 2). Which is smaller: b or 1/5?
b
Let y = 2437/3 + -818. Which is smaller: -4 or y?
y
Let b be 9/7 + 4/(-14). Let v = 2/3369 - -6620/198771. Which is bigger: b or v?
b
Let y be (-4)/10 - 4/((-5840)/(-5629206)). Let x = -3856 - y. Which is smaller: 1 or x?
x
Let j = -18 - -85. Let v = -45 + j. Does v = 20?
False
Let j(l) = -l - 5. Let h be j(-6). Let a be h*1*3/6. Let r = -1.4 - -0.4. Is r >= a?
False
Let p = -2 - -2.1. Suppose -13*u = -9*u - 28. Suppose 33 = u*n + 75. Is n at most p?
True
Suppose 44*p - 41*p - 945 = 0. Which is greater: p or 314?
p
Let v = 231/4 - 58. Let m = 0.26 + 11.74. Let z = 11 - m. Which is smaller: z or v?
z
Suppose 0 = -10*l + 20*l - 240. Which is smaller: 21 or l?
21
Suppose 4*z - 3*f - 301 = 57, -2*z = -f - 178. Let o = z + -92. Is -34/13 != o?
True
Let q be ((-7)/(-3))/((-3)/9). Let v be (-4)/(-23)*q/(-28). Which is bigger: v or -1?
v
Let r = 11 - 35. Let o = r - -23. Is o at least -1?
True
Let h(q) = -34*q - 754. Let g be h(-22). Which is smaller: g or 4?
g
Let h be (-6)/4 + 2/1. Let a = -28/73 - -510/949. Which is smaller: a or h?
a
Let g = -91 + 95. Let j be 9/15*40/12. Is g >= j?
True
Let d = 1427 - 785. Are 641 and d equal?
False
Let j = -5.6 - -5.5. Are -59 and j equal?
False
Let b = 1.98 + -2.58. Is 4/21 less than b?
False
Let b = 1104.9825 + -1105. Is 1 at most b?
False
Let o = -33 - -32.36. Let m = o + -5.36. Which is greater: m or -2/3?
-2/3
Let n be -21 - (-756)/35 - (-4983)/20. Which is smaller: n or 251?
n
Let n(k) = -k**2 - 13*k - 14. Let o = -32 + 63. Suppose -29 = 5*r + o. Let a be n(r). Which is bigger: a or -1?
-1
Let y = -986 - -605. Which is smaller: y or 1/4?
y
Suppose 6*n - 20 - 22 = 0. Which is smaller: 18 or n?
n
Suppose -4*q = -3*u - 46, 0*u + 48 = -3*u + 3*q. Let y(d) = -14*d + 528. Let z be y(39). Is u < z?
False
Let t be (4*(-6)/(-120))/(7/10). Are t and 5/37 equal?
False
Let l = -91/19 + 383/76. Which is smaller: l or 3/2?
l
Let j = 0.02 + 0.98. Let m = -13.97 + -0.03. Let n = 13.98 + m. Which is smaller: n or j?
n
Let d = -1/1981 - 114895/5943. Let o = d + 56/3. Let u(h) = 2*h**2 + h - 1. Let j be u(1). Is j > o?
True
Let w be (7/(-4))/(25/(-80)). Let d = 1759/315 - w. Which is smaller: d or 1?
d
Let x = 507 + -247. Let o be x/665 + (-10)/35. Is o > -2?
True
Suppose 2*k + 9 + 47 = 0. Suppose 3*d + 3*c = 711, 2*c - 131 = 3*d - 817. Let l be (d/k)/2 + 3. Which is smaller: l or -2?
-2
Suppose m - 12 = 2*t, 5*m - t - 4*t = 35. Let k be 8/m*(-24)/32. Let j be k - (-3 - (-3 + -3)). Are j and -7 unequal?
True
Suppose -22*b - 172 = -3824. Which is greater: b or 164?
b
Let f = 0.16 + -0.35. Let q = 57.91 + -58. Let g = f - q. Is g greater than or equal to 10?
False
Let q(r) = -r**3 - 12*r**2 - 12*r - 24. Let j be q(-11). Is j smaller than 0?
True
Let v(a) = a**2 - 6*a - 25. Let b be v(9). Suppose l - 4 = -b. Which is smaller: l or 1/7?
1/7
Let r(u) = -u**2 + 5*u + 4. Let f be r(7). Let p be 6/f*(-50)/30. Which is greater: 4 or p?
4
Let g = 377/2 - 189. Is g > -26?
True
Let q = 109.9 - 123. Let t = -13 - q. Let c = 0.2 - t. Which is smaller: c or -6?
-6
Let c = -865/66 - -77/6. Let p be 3 + 10*(-2)/(-4). Suppose 0 = 5*l - p*l. Is