 <= 0?
True
Suppose 0 = -s + 3*i + 3 - 5, 0 = 3*s + 4*i - 20. Let k be -8 - (s/(-1) - 1). Let z be (-6)/(71/(-23) - 9/k). Is z >= 68?
True
Let v = -7794 - -7791. Which is greater: 561 or v?
561
Let o = 106 + -108. Let p be (-30)/6 + (-14)/o. Do 56 and p have different values?
True
Let w = 109020/17 - 6413. Suppose -h = -5*h + 12. Suppose y + h*c + 0*c = -14, -2*y = 3*c + 13. Which is greater: w or y?
y
Let i = -124 + 148. Let x be i/(-16) + (-2)/(-4). Suppose -3 = 3*q + 3. Which is bigger: x or q?
x
Let r be (-3)/2*((-14)/(-56) + (-5)/(-12)). Which is smaller: -8/167 or r?
r
Let t be (-1519)/(-4712) + 6/(-16). Suppose -3*x - 6 + 0 = 0. Let i be (-4)/12 + x/(-6). Are t and i nonequal?
True
Suppose 0 = 4*x - 3*x. Let f be x - 3 - 5152/14. Let j = f - -4074/11. Which is greater: j or -2?
j
Let c(f) = 362*f + 3983. Let r be c(-11). Do r and -14/41 have the same value?
False
Let a(h) = -h**3 + 6*h**2 - 8. Let m be a(6). Suppose 4*x + 2*v = 0, -2*v + 100 = x + 88. Which is smaller: m or x?
m
Let d = 39.201 + -39. Let m = 0.412 + -0.512. Which is smaller: d or m?
m
Suppose -3*u - 30 + 11 = -2*g, 0 = 3*g + u - 12. Suppose g = -2*m - 7. Let c = -1 - m. Which is smaller: 21/5 or c?
21/5
Let x(n) = -3773*n**2 - 8*n - 6. Let r be x(-7). Let c be (-3 - r/204) + 3. Let m = 906 - c. Do m and 0 have the same value?
False
Let p = -189.4896 - 0.5104. Which is greater: 9 or p?
9
Let t(l) = -6*l**2 + 33*l - 77. Let p be t(6). Which is smaller: -100 or p?
-100
Let p be ((-150)/35 - -4)*1185/(-2). Let x = -169 + p. Is -21/2 less than or equal to x?
True
Let m = -22173 - -18913567/853. Let j = -2591/13648 - m. Are 0 and j equal?
False
Suppose 51 = 6*u - 9*u. Let o = u - 13. Let v be -5 + (-4)/(-14) + 368/(-14). Which is bigger: v or o?
o
Let j = 6333 - 6398. Is -3/8 at most j?
False
Let n be (-3)/2*6/9. Suppose 20*s = 1277 - 77. Suppose 12*y - 18*y - s = 0. Is y at most as big as n?
True
Let s = -1890 - 16. Which is smaller: -1908 or s?
-1908
Let o = 3643 - 3643. Is o smaller than 439?
True
Let q = 120 + -125. Let g be 1*(q - 14/(-2)). Which is smaller: g or 4/3?
4/3
Let x(i) = 45*i - 119. Let c be x(8). Suppose 457 = -3*r - 5*g, -4*r - c = g + 391. Is r <= -161?
False
Let u = -3792 + 3347. Which is bigger: -449 or u?
u
Let h = -1162 + 5876/5. Let x = -67/5 + h. Is 1 at least x?
True
Let l = 140 - 136. Suppose 0 = 5*i - 5*k - 185, -2*k + 5*k + 153 = l*i. Which is bigger: 40 or i?
i
Suppose -7*c - 255 = -248. Let i be c/(-3 + (-722)/(-239)). Is i at most as big as -47?
True
Let p(n) = 92*n - 2. Let q be p(3). Let i(x) = 35*x**3 - 9*x**2 - 30*x + 89. Let o be i(2). Is q smaller than o?
False
Let y = 1187 + -1180.5. Let s = -0.004 + -2.996. Which is greater: s or y?
y
Let s be (-14)/(-10) + 2/(-5). Let m = -10533854/13 - -810297. Which is greater: s or m?
s
Let b be 3/(-1)*52/6. Suppose 0 = 2*n + 3*z - 832, -1189 - 481 = -4*n - 3*z. Let k = -445 + n. Does b = k?
True
Let j = 332 + -334. Let o be 12764*j/(-6380) + -4. Which is smaller: o or -1?
-1
Let v(c) = c**3 + 19*c**2 - 21*c - 11. Let m be v(-20). Suppose -31 = 10*a + m. Let d be (-33)/(-9)*(-1)/1. Which is bigger: a or d?
d
Suppose 4*w - 34 = -2*q, -5*w - 5*q + 50 = -0*q. Let f(y) = y - 7. Let r be f(w). Let x(j) = -j + 2. Let n be x(4). Which is smaller: n or r?
n
Let n be (2 - 16/6)/((-6)/36). Suppose 0 = b + n + 39. Is -43 equal to b?
True
Let o(t) = t**3 - 12*t**2 + 17*t - 33. Let q = 196 - 185. Let w be o(q). Which is greater: w or 34?
34
Suppose -5*m = 5*u + 30, -10*u - 5*m = -6*u + 28. Let v be (-6)/(3 + -1) - (u + 2). Is -38/21 equal to v?
False
Suppose 96*d - 230288 = -576752. Is d at most -3613?
False
Let y = -825 - -561. Let f = -263 - y. Is 279 != f?
True
Suppose -17*d = -982 + 166. Suppose -2*q + 23 = 5*s, -2*q - 24 = 4*s - d. Is q > 16?
False
Let o = 271.09 + -343.49. Is o not equal to -0.1?
True
Let m = 53.023 - 53. Let c = m + 0.867. Let v = -57.11 - c. Which is bigger: -1 or v?
-1
Let f = 146875 - 146875.3. Suppose -3*k + 154 = 5*j, 0 = 6*j - 4*j - 5*k - 74. Let t be ((-1)/(-10))/(j/(-20)). Is f at most as big as t?
True
Let u = 23 - 61. Let f(p) be the third derivative of 21*p**4/8 + 4*p**3 + 68*p**2. Let m be f(-1). Which is smaller: m or u?
m
Let f(y) = -y**3 + y**2 + y - 5. Let m(d) = -d**2 - 5*d + 6. Let h be m(-6). Let a be f(h). Let n be -5 + (-114)/(-30) - 1/a. Which is smaller: -15/13 or n?
-15/13
Let b(x) be the first derivative of -x**3/3 + 5*x**2 - 8*x + 43. Let s be b(9). Let y = -163/38 - -9/2. Does s = y?
False
Let i = 6232.11 + -6232. Are i and -7/5 equal?
False
Let s = 12742556/4785 - 70955/29. Let l = s - 649/3. Let x(p) = 7*p**2 - 44*p + 45. Let o be x(5). Which is smaller: o or l?
l
Let u(v) = 141*v + 2062. Let f be u(-14). Do 134 and f have different values?
True
Let z be ((-504)/10)/(1/(-5)). Suppose 3*f = 24*f + z. Which is smaller: f or 14?
f
Suppose 43*k + 2698472 = 967722. Let z be (-25)/(k/1060) + 8/(-14). Are z and 6/17 unequal?
True
Let i(r) be the first derivative of -r**3/3 + 25*r**2/2 + 141*r + 208. Let s be i(25). Is 140 >= s?
False
Let s(l) = -l**2 + 22*l - 100. Let r be s(14). Suppose 14 - 26 = r*q. Which is greater: q or -2/105?
-2/105
Let w(d) = -d**3 + 9*d**2 + 15*d - 21. Let x be w(9). Let h = x - 113. Is -56 != h?
True
Let m = 4385 + -4384.981. Let s be (-9)/(-12) - (1 + 0). Are s and m equal?
False
Let p = -1.97 - -1.41. Let w = p + 0.71. Which is smaller: w or 2?
w
Let h = 13.5 + -7.5. Let c = 5 + -15. Let m be (2 - 2) + c/25. Which is smaller: m or h?
m
Suppose 542*v + 2 = 544*v. Is v at most as big as 8/169?
False
Suppose -597 = -5*q + h, -h = -5*h + 12. Let a = q + -117. Let o be a/9 - 8*4/204. Are o and 1 equal?
False
Suppose -28*u + 20 = -3*f - 26*u, 2*u + 10 = 0. Which is bigger: 13 or f?
13
Let t(a) = a**2 + 126. Let n be t(12). Let p = -343 + n. Which is greater: p or -69?
-69
Let v(o) = o**2 - o + 5. Let i be v(-4). Suppose -2*x + i = -1. Suppose 52103*d - 784 = 52047*d. Do d and x have the same value?
False
Let l(b) = -2*b**3 - 10*b**2 - 5*b - 7. Let k be l(-7). Suppose -4*r - 4*x + 336 = 0, -r + k = 2*r - 4*x. Which is smaller: -2 or r?
-2
Let k = -147/8 + 425/24. Let g = 2539/2610 + -41/90. Is k < g?
True
Let t be 16/24*(-3783 + 12). Is t <= -2516?
False
Suppose -5*p - 922 - 1449 = 2*t, -4*p = 3*t + 3532. Which is greater: t or -1165?
-1165
Let f be (2 - 12/(-5))*-15. Let r be ((-126)/(-840))/((-1)/12) + (-1269)/20. Which is bigger: r or f?
r
Let l(d) = d**3 + 35*d**2 + 32*d - 65. Let p be l(-34). Is 1/62 < p?
True
Let k = -177229 - -2657416/15. Let m be (8/(-64) + (-2705)/120)*3. Let h = m - k. Which is bigger: h or 0?
0
Let a be (20/6)/((-11)/(693/6)). Let p = 10 - a. Let w be (p/(-10) + 4)*0. Is w >= -2?
True
Suppose -3*h + b - 1093 = -34, 1422 = -4*h - 2*b. Let t = h + 353. Which is greater: t or -7/69?
-7/69
Let f be (40/12)/5*(-10995)/(-40). Let m = 1445/8 - f. Which is smaller: m or -2?
m
Let r be 7 + -1*4/1. Let d = 702 - 4201/6. Which is greater: r or d?
r
Let g(q) = 40*q - 17. Let h be g(2). Let s = h + -167/3. Is 6 less than or equal to s?
True
Let y = -7497 + 8835. Which is smaller: 1339 or y?
y
Suppose 31 = 4*x + 5*q + 4, 27 = 5*x + 4*q. Suppose -x*a + 63 = 3*v, 3 = 4*v - 9. Suppose 0 = -5*m + 2*n + 5, -6*m + 3*m = 3*n + a. Is 5/19 < m?
False
Suppose -64*b - 84 = -50*b. Let s = -49/82 - 4545/902. Which is bigger: s or b?
s
Let w be -5 + -5*(3 + (-48)/5). Suppose -68*v - w = -70*v. Are 147/10 and v equal?
False
Let r(g) = 6*g + 128. Let b be ((-33)/(-2))/(9/(-18)). Let j be r(b). Are j and -70 non-equal?
False
Let k(b) = b**3 - 13*b**2 - 13*b - 14. Let g be k(14). Suppose d + 2*d + 6 = 0, -4*l - 4*d - 48 = g. Let n be l/(-35) + 3/(-7). Is n < -1?
False
Let c be (108/(-21) + 2)/(18/(-14)). Let f(k) = -2*k + 16. Let x(v) = v**2 - 2*v - 1. Let q be x(-2). Let u be f(q). Is c at most as big as u?
False
Let o(x) = -x**2 + 63*x - 2546. Let d be o(0). Is d not equal to -2546?
False
Suppose -4*v = v - 2*z - 5, -1 = -v + 4*z. Let t be (v/(-3))/(-1 - (-35)/(-10)). Which is smaller: t or 1?
t
Let o = 36 - 34. Suppose 2*f + 8 = o*v - f, -2*v + 5*f = -16. Which is smaller: v or -3?
-3
Suppose 2529 = -13*n + 2295. Let c = 1 - 16. Which is smaller: c or n?
n
Let o = -45 + 41. Let q be 98/(-3)*(-6)/o. Let w = q + 38. Which is greater: w or -5?