>= o?
True
Let f(g) = -4*g - 10. Let c be f(-4). Let h be 14/45*(-40)/c - -2. Suppose -3*y - 3 = -4*p + p, 4 = 4*p - y. Is h < p?
True
Let k(v) = 2*v**2 - v - 1. Let l be k(-1). Let p(y) = 0 + y + 3 + 0*y. Let m be p(l). Is 3 at least m?
False
Let f = 2.159 - 0.159. Are f and 0.06 non-equal?
True
Let d be (-145)/45 + 4/18. Let p = 1 + -4. Is p > d?
False
Let p = 1 + -2. Let u = 18567/98 + -1326/7. Let d = u + 145/1666. Is d greater than p?
True
Let w be -3 - (-5)/((-5)/11). Let v be 4 + -5 + w + 2. Is -14 at least v?
False
Let u be (0 + -2)*(-1)/(-2). Suppose -3*q = -2*q - 9. Let k = 17/2 - q. Is u <= k?
True
Suppose -3*a = w - 320, 5*w = 4*a - 33 - 381. Which is smaller: 523/5 or a?
523/5
Let n be (-2)/(-72) + 1/(-4). Let c = -182.9 + 188.9. Is n at least as big as c?
False
Let q(s) = -s**2 + 27*s + 2898. Let u be q(-42). Let z = -396785/42 + 9448. Let r = 1/84 + z. Which is greater: r or u?
r
Let a = 0.11 - 1.51. Let f = a - -1.43. Which is bigger: f or 2?
2
Let l(o) = -o + 53. Let t be l(28). Which is smaller: 26 or t?
t
Let r(i) = 133*i**2 - i + 2. Let a be r(2). Let f be (-8 - -12)*9843/74. Let g = f - a. Is 1 at most as big as g?
False
Let v be 4*99/(-288)*-2. Is -2 >= v?
False
Let m = -1.973 - -2.415. Are 2 and m nonequal?
True
Let y = -300 + 300.06. Which is greater: -51 or y?
y
Let i be (-111757)/258 + (-5)/6. Is i smaller than -434?
False
Let v(x) = -x**2 - 6*x - 1. Let k = -15 - -9. Let s be v(k). Let i be (-1 - -2) + 0 + s. Which is smaller: -0.01 or i?
-0.01
Let t(n) = -29*n - 6. Let z be t(6). Let k be z/777 - 4/(-14). Suppose -3*f + 5*y = 2*f + 20, -4 = -5*f - 3*y. Which is bigger: k or f?
k
Let z(l) = -l**3 + 3*l**2 + 6*l - 4. Let j(m) = 2*m**2 + 2*m. Let c be j(-2). Let w be z(c). Suppose -9*k = -w*k. Is k greater than 1?
False
Suppose -b - 3*b = 92. Let m(a) = a**3 + 14*a**2 + 22*a - 22. Let p be m(-12). Suppose 52 = -p*v - 2*k, 126 = 3*v - 8*v - 3*k. Is v at most as big as b?
True
Suppose 2*c - 6 = -c + 3*s, 0 = 3*c + s + 2. Suppose -3*u - u = c. Which is smaller: 3/13 or u?
u
Let r = 1/8 - -3/8. Let p = 40.641 + 0.359. Is r > p?
False
Let h = 0.1424 + 0.0576. Which is greater: h or 261?
261
Let i be 79/(-18)*21/(-14). Let t = -25/4 + i. Let b(x) = 2*x**2 - 13*x + 8. Let o be b(5). Is o > t?
False
Let q = 88 - 50. Suppose -2*i + 2*u + q = 0, -5*i + 2*u + 89 = -0*u. Suppose -4*f = -r + 23 - 3, 0 = r - 3*f - i. Is 8 bigger than r?
False
Let g = 2 - 6. Let a = g + 6. Let b = 70 + -71.6. Which is greater: a or b?
a
Suppose -251 + 266 = 3*q. Is q greater than 19/4?
True
Let f = -60 - -26. Let j = 27 + f. Let b be 2/(-6)*(6 + j). Is 19 at most b?
False
Suppose -3*d + 2*w + 1 = 0, 2*d - 3*d - 4*w + 5 = 0. Let r be ((-9)/(-12))/(d/(-4)). Suppose -17*a - 2*y - 4 = -16*a, -4*y - 12 = 3*a. Which is bigger: r or a?
r
Let w be ((-4)/6)/((-95)/15 + 6). Suppose 171 = -3*n - 3*s, w*n - s + 102 = s. Do n and -54 have the same value?
True
Let o be (0 + 3)/(22 - 23). Which is bigger: o or -12?
o
Let h = 90137/282 - 959/3. Is h at most as big as 1?
True
Let o be (-1 - -4) + -6 + -3. Let g be o*7/(147/2). Which is smaller: g or 3?
g
Let r(g) = -21 + 7 + 9 - 3*g. Let p be r(-7). Let s be (-8)/p*2*-1. Is s at most -8?
False
Let l = -45/8 - -761/136. Let f(s) = 4*s**2 - 74*s - 37. Let z be f(19). Which is smaller: l or z?
l
Let m = 22.11 - -1.79. Let p = 24 - m. Do p and -11 have different values?
True
Suppose -14*h - 66 = -12*h - 2*p, 2*p - 37 = h. Is 4 less than or equal to h?
False
Let z = -43 + 29. Let a = z + 11. Is a not equal to -2?
True
Let y(u) = 2*u**3 - 2*u + 1. Let d(z) = -z**2 + 7*z - 5. Let o be d(6). Let m be y(o). Is m < 7/4?
True
Let c be (-1 - -7) + (-798)/(-30). Is 32 smaller than c?
True
Let j = 1198456/57 + -21025. Let c = -4/19 + j. Let b(d) = d**3 + 6*d**2 - 17*d - 5. Let q be b(-8). Which is smaller: c or q?
c
Let i = 546 - 545. Which is smaller: i or 4/5?
4/5
Let h(b) = 4*b**2 + 6*b + 16. Let z be h(-2). Is z not equal to 18?
True
Suppose 219*o - 6 = 222*o. Which is smaller: o or -13/4?
-13/4
Let s = -19 - -22. Suppose -5*l - s*v + 38 = 0, 0*v + 17 = 2*l + 3*v. Suppose l*d = 3*d. Which is smaller: d or 3/10?
d
Let i(b) = b**3. Let j(u) = u**2 - 1. Let a(f) = -i(f) - 4*j(f). Let w be a(-4). Suppose -5*z - 4*x = x + 15, w*z - 4*x = 20. Is 1/3 greater than z?
False
Let s be -3 + 18/(2 + 0). Let c be ((-24)/8)/(s/28). Let a be -4 - 198/(-51) - 219/17. Which is greater: a or c?
a
Let y = 359 + -1076/3. Are -12 and y unequal?
True
Let o = 1301 + -1316.22. Let k = -0.22 - o. Which is smaller: -3 or k?
-3
Let g = -5.3 + 5. Let u(s) = -s**3 + 24*s**2 + s - 17. Let d be u(24). Suppose -2*w + d = 1. Is g != w?
True
Let q be ((-9)/(-14))/(3/16). Is q not equal to 4?
True
Suppose -4*f + 5*m = -0*m - 160, 3*m = -12. Suppose 5*q - 4*k = f, 15 = 5*q + k - 20. Let u be (-3 + 2)*(-21)/q. Which is bigger: -2 or u?
u
Let p be 2/(-8)*-1*(-45)/(-18). Is -2 greater than or equal to p?
False
Suppose 24 = 3*d + 2*t, -4*t = -3*d - 2*d + 62. Let h = -307/2 - -154. Which is bigger: d or h?
d
Let l = 4.3 - 7.6. Let v = l + 9.5. Let y = v - 6. Which is smaller: y or -8?
-8
Let c = -35/172 - 2/43. Is 0.0907 at most as big as c?
False
Let i(m) = 11*m - 2. Let u(k) = k + 11. Let r be u(-10). Let f be i(r). Suppose -2*p = -7*p. Which is smaller: f or p?
p
Let z = -425 + 448. Which is greater: z or 2?
z
Suppose -48 = -2*l + 2*w, 4*l = 7*l + 4*w - 72. Which is smaller: 45 or l?
l
Suppose -2*i = j - 10, 5*i - 8*j + 3*j = -5. Suppose -162 = 12*k - i*k. Is k greater than or equal to -19?
True
Let t = 69 - -5. Let a be 1/(t/77) - (-4)/(-4). Are a and -1 equal?
False
Let d = 310 + -63. Which is smaller: 245 or d?
245
Suppose -4*d + b = -0*b - 87, 90 = 5*d - 5*b. Let w = 44 + -21. Is w at most as big as d?
True
Suppose 47*m - 94 = -47*m. Suppose i + 3 + 1 = 0. Which is greater: i or m?
m
Let o = 579 - 7521/13. Is o greater than or equal to 0?
True
Suppose 0 = 2*c - 9 - 9. Suppose -d = f + c, 3*d + 6*f - 4*f = -25. Let j(t) = t**3 - 7*t**2 + 7*t - 8. Let i be j(6). Is d not equal to i?
True
Let j be ((-4)/15)/((-10)/25). Do -0.15 and j have different values?
True
Let p = -0.36 - 0.04. Let t = p - -0.6. Which is greater: t or -21?
t
Let g be (-2)/((-48)/270 - (-4)/10). Is -5 greater than g?
True
Let g(n) be the third derivative of -n**5/30 + n**4/12 + n**3/2 - 4*n**2. Let v be g(-2). Let l(r) = r**3 + r**2 + 2*r. Let u be l(-2). Is u smaller than v?
False
Let b = -25 - -28. Suppose 7*z - 3*z - 8 = -5*j, -b*j - 2 = -z. Are -2/11 and j nonequal?
True
Let f be (1 - 1)*(-3)/(-6). Suppose f = -j + 9 - 0. Which is smaller: 7 or j?
7
Let z = -227 - -554. Suppose 5*j + 33 + z = 0. Is -71 at least as big as j?
True
Let y = 44 + -44.2. Is y less than or equal to 8/7?
True
Let a(l) = l + 3. Let k be a(-2). Suppose 5*c - 4*c - k = 0. Let m = 365/1638 + -1/117. Are c and m unequal?
True
Let v = 97092/73 + -1330. Which is smaller: -1 or v?
-1
Let a = 19 + -19. Let h be 5 - (3 + -5 + a). Suppose -h = 3*c + 38. Is -16 at least as big as c?
False
Let y = 41 + -41. Suppose 0 = l + 2 - 3. Let v be (-3)/(-51)*2/l. Which is bigger: v or y?
v
Let t be (-4)/(-6) - 1/(-6). Let j(y) be the first derivative of y**2/2 - 3*y - 11. Let i be j(4). Which is smaller: i or t?
t
Let b(h) = h**3 + 12*h**2 - 14*h - 12. Suppose 0 = 4*d + 31 + 21. Let x be b(d). Let k be (-7)/(-30) - (-6)/(-15). Which is bigger: k or x?
x
Let s be (-2)/8*(-710)/2. Let u = -41543/468 + s. Is 0 at most u?
False
Let r(d) = 5*d + 2. Let m(b) = b - 1. Let h(w) = 6*m(w) - r(w). Let f be h(6). Are -13/7 and f non-equal?
True
Let u = 1322 + -1003. Is u at most 2?
False
Let q = -399 + 398.93. Let x = -6 + 3. Let y be (1/(-10))/(x/12). Are y and q non-equal?
True
Let r = -0.27 + 0.51. Which is bigger: 2 or r?
2
Let s be 3/9 - 44/6. Let l(n) = -n**3 - 6*n**2 + 7*n - 3. Let z be l(s). Is 5 greater than or equal to z?
True
Let y = 0 + 35. Let r = -44 + y. Is -11 >= r?
False
Let u(r) = -2*r**2 - 8*r - 5. Let j be u(-6). Let k = 28 + j. Which is greater: -4/39 or k?
-4/39
Let r be 2/8*(-22)/(-781). Which is bigger: -1 or r?
r
Let x be 1/4*(-2 + 0). Let h = -1509 - -3017/2. Is h greater than or equal to x?
True
Suppose 6 = 2*h - h. Let f = 69 + -5. Let k be (-47)/(-8) + 8/f. Is k not equal to h?
False
Let j = -709.2 - -144.2. Which