 greater than 1?
False
Let l(h) = 43*h**2 + 10*h + 32. Let t(x) = -21*x**2 - 5*x - 16. Let s(i) = -2*l(i) - 5*t(i). Let k be s(6). Let d be (-1805)/k + (-5)/(-2). Is 1 <= d?
False
Let c be 4/6 + 70/(-6). Let g = c - -7. Suppose 335*i = u + 336*i - 7, 3*i - 30 = 0. Is u less than g?
False
Let u = -6 + 2. Let o(p) = 15*p**2 + 5*p + 8. Let b be o(u). Let d be -2 + -2 + 920/b. Is d > 1?
False
Let s = -470216/151 - -3114. Suppose 0 = 3*f - 33 + 21. Suppose 4*v + 24 = f*b - 0, -3*b + 15 = 0. Which is smaller: s or v?
v
Let d be (-33)/18*((-8 - -9) + -13). Which is bigger: d or 0.041?
d
Suppose 39*c - 35 = 44*c. Let b = -31 - 4. Let o = b + 30. Which is bigger: c or o?
o
Let q = -90.5 + 89.9. Is -62/17 at most q?
True
Let d = 63 - 58. Suppose -j + f + 15 = -4*j, d*j = f - 33. Let q be 2/j + 76/12. Which is greater: 3 or q?
q
Suppose -17*d + 79792 = -d. Let v = d + -89791/18. Is -2 != v?
True
Let i(z) = 410*z + 2590. Let r be i(-7). Which is smaller: r or -283?
-283
Let s = -172 - -173. Let u be (1/s)/(11/(-209)). Which is smaller: u or -17?
u
Let j(m) = 8*m**2 + 4*m + 4. Let l be j(-3). Let c = -6 + l. Let d be ((-4)/3)/(3 - ((-3162)/1062 + 6)). Which is greater: d or c?
d
Let r be (-2)/(-6)*10*69. Let o = 221 - r. Which is smaller: -18 or o?
-18
Let q = 235607 + 185654. Let b = 7586171/18 - q. Let k = b - 193. Which is smaller: 0 or k?
k
Let v(w) = 0*w - 3*w + 10 + 84517*w**2 - 84516*w**2. Let m be v(10). Are m and 80 equal?
True
Let o = 160 + -160.429. Let l = o + 1.496. Let d = l - 0.067. Which is greater: d or 7?
7
Let v be (3*1/45)/(-1). Let f(j) = 2*j**3 + 26*j**2 - 18*j - 46. Let b be f(-14). Let z = b - -186. Does z = v?
False
Let l = -26 - -25. Let k be (-12)/4*l/(4 + -1). Let o be 99/36 - (-3)/4 - 3. Which is greater: o or k?
k
Let i be (-8)/2 - (-1 + -3). Suppose i = 4*w + 4*b - 76, 3*w - 5*b + 43 = 124. Suppose -14*f = -3*f + w. Which is smaller: f or -14/9?
f
Let p = 19/37 - 1593/148. Let w be 11184/60 + (26/10 - 2). Let b = 177 - w. Which is greater: p or b?
b
Suppose 49 = 3*l + 4*f, -l + 2*f - 6*f = -11. Let i = -10 + l. Suppose -180 = -8*u - 100. Which is bigger: i or u?
u
Let u(b) = -127*b + 611. Let s be u(2). Which is bigger: s or 348?
s
Let q = -609 - -603. Let z be 1/(q*(-6)/48). Let m = 1 + -1. Is m less than or equal to z?
True
Suppose -50*x - 35*x + 17339 + 8586 = 0. Is 305 greater than or equal to x?
True
Let q(u) = 4*u - 47. Let y be q(5). Let d = y - -29. Let k be (1 - d) + 27 - 6/(-6). Which is bigger: k or 28?
28
Let k = 1411 + -1396. Which is smaller: k or 209/13?
k
Let x = -790/31 - -4396412/172515. Which is bigger: 1 or x?
1
Let y be (350/(-2303))/((-2346)/714). Which is bigger: -1 or y?
y
Let m = -903 + 902.9718. Let l = 3.0282 + m. Suppose -5*n = -0*n + 2*b - 20, -4*b - 32 = -2*n. Is n less than or equal to l?
False
Let a be (-637 - -4) + (-7 - -12). Is a >= -625?
False
Let f = -3/13309228 - 6073213683877/758625996. Let c = f + 8006. Which is smaller: 0 or c?
0
Suppose 6 = 4*n - 6, -5*f + 5*n = 5. Suppose 3*b - 16 = 2*p, -f*b = -7*b + 10. Let m be ((1 - -2) + 1)/2. Is p >= m?
False
Suppose -22*j - 1981 = 14321. Let i = 2965/4 + j. Is 4/9 >= i?
True
Let z be (74/(-111))/(2/(-21)). Suppose 303 = z*d - 285. Which is smaller: 82 or d?
82
Suppose -2*f - 19 = -4*p + 103, -238 = 3*f + 5*p. Let x(z) = z**3 - 11*z**2 + 16*z + 13. Let c be x(7). Is f at least as big as c?
True
Let g be (-60)/230*15/(-1 - 2). Suppose 0 = 24*p + 2 - 2. Which is smaller: g or p?
p
Let b = 3355 + -3368. Which is bigger: -223/16 or b?
b
Let x = 12848937126369/529 + -24289097627. Let z = x + -8472. Is z <= 0?
True
Let p be 32/((-8)/2) - (-117591)/14706. Is p bigger than 1/8?
False
Let q(u) = 451*u**2 - 76*u - 448. Let x be q(-7). Is x greater than 22182?
True
Let o = 1 + 0. Suppose -2*p + 4*i = 18, 6368*p = 6365*p + 5*i - 33. Which is smaller: p or o?
p
Suppose 38638 - 7747 = 7*h. Let s = -789933/179 + h. Is -1 >= s?
False
Let v be (70/(-22))/(2/(-2)) - 3. Let j be (2/16*2)/(39/(-156)). Which is smaller: v or j?
j
Let w = -0.035 + -0.014. Let l = w + 13.049. Let r = l - 29. Is 0 != r?
True
Suppose -27 + 43 = 4*u. Let s be (-3)/(-3) - -97 - u. Which is bigger: -2/7 or s?
s
Let r(c) = -3*c**2 - 56*c + 299. Let t be r(-32). Do -983 and t have the same value?
False
Let v(l) = l**3 - 8*l**2 + 11*l + 13. Let i be v(6). Let y be 6/(-10)*(-10)/36. Which is greater: y or i?
i
Suppose -41*q = -216*q - 175. Does 2/13913 = q?
False
Suppose 4*y + 18 = 13*y. Let a = 4 - 13. Let n be y/(-15) + (-6)/a. Do n and 0 have the same value?
False
Let s = -358 - -338. Let h = -19 - -19. Let m = h - -2/5. Does m = s?
False
Suppose -198631 = 21*q - 160*q. Which is greater: 1427 or q?
q
Suppose 6 = 2*t - 0*t. Let v = 7 - 5. Suppose -5*d + 111 = 3*r, v*d - 3 = t*d. Is r at most as big as 41?
False
Suppose 30 + 54 = -3*f + 4*a, -a = 3*f + 99. Let z(r) = -r**2 - 34*r - 65. Let p be z(f). Which is smaller: p or 2?
p
Let z(q) = q**2 + 34*q + 190. Suppose 5*o + 2*t + 40 = 0, -4*o + 40 = -9*o + 3*t. Let d be z(o). Which is bigger: d or -20?
d
Suppose 8 = -i - i, 4*i - 1124 = -4*d. Let p be -2 + (67686/(-240) - 1). Let q = p + d. Is 1 at most q?
False
Suppose -l + 6 = -w, l - 2 = -2*l - w. Let q(z) be the second derivative of -z**4/12 - 7*z**3/6 - 7*z**2/2 - 32*z. Let a be q(-6). Is a at most l?
True
Let o = 0.0328 - 0.0361. Let n = -0.0233 - o. Which is bigger: n or 6/11?
6/11
Let s = -1227 + 1227.02. Let v(z) = -35*z**2 + 22*z + 22. Let p be v(-1). Is p < s?
True
Let p be 148*(-4)/(-56) + 4/(-7). Suppose 2*m - p = -80. Is m equal to -36?
False
Let a(m) = -m. Let h(r) = -3*r + 10. Let i(y) = 2*a(y) - h(y). Let g = 65 + -55. Let o be i(g). Which is bigger: 1/47 or o?
1/47
Let t be ((-16)/6)/(124/21 - 6). Let o = -178 + 205. Do t and o have the same value?
False
Suppose 683 = -2*u - 3*l - 169, -3*l - 2544 = 6*u. Which is smaller: -424 or u?
-424
Suppose -4*m + 3509 = 3389. Let n be (32/(-1))/(-4) - 3. Suppose 5*d + 119 = 4*c - 0*d, n*d - 98 = -3*c. Which is bigger: m or c?
c
Let r = -0.07547 - 411.92453. Which is smaller: r or -4?
r
Let v = 37734019/1088 + -34682. Is v not equal to 0?
True
Let l = 4255037/365330 + -1/21490. Are 13 and l unequal?
True
Let r = 1407 - 1409. Let n = -49 + 425/9. Are r and n non-equal?
True
Let f = 10838 + -9396. Is 7206/5 less than or equal to f?
True
Let z = -12959.375 + 12950. Which is bigger: z or 2/5?
2/5
Let p be 776/(-130) + -8 + 14. Let n = p + 3374/195. Which is greater: n or -1?
n
Let s = 334 + -311. Suppose 0 = -s*x - 13 + 588. Is 4/3 at most x?
True
Let k(p) = -11*p - 23. Let j be k(-1). Let s be (2*12/(-600))/((-2)/j). Which is greater: s or -1?
s
Let p = 6555 - 6556. Which is smaller: 1/240 or p?
p
Let p(w) = w**3 - 14*w**2 + w - 15. Let v be p(14). Which is smaller: -3/364 or v?
v
Suppose 5*q + 801 = 14*q. Let s = q + -113. Do -20 and s have the same value?
False
Suppose 6*b - 3*b = 15. Suppose 2251*o - 1952*o = 6877. Which is smaller: b or o?
b
Let q be 482/4 - (-1)/2. Let b = 74058 + -73938. Which is smaller: q or b?
b
Let f(v) = 25*v**2 + 8*v**2 + 3*v**2 + v**3 - 48 - 2*v - 24. Let u be f(-36). Let y = 10/33 + 34/33. Which is greater: u or y?
y
Suppose -301*p + 290*p = 11. Is p at most as big as 3937?
True
Suppose -39 + 25 - 34 = 24*d. Which is smaller: d or 55/114?
d
Let c be -2 + 12/(-126)*-12 - 4/(-14). Which is smaller: -790 or c?
-790
Suppose -2*z - 1092 = -1100. Suppose 3*k + m - 11 + 10 = 0, -3*k - z*m = 5. Is 39/34 less than k?
False
Let g(k) = 2*k**2 + 2*k + 18. Let v be g(11). Suppose -22*f - v = -28*f. Which is smaller: 44 or f?
44
Suppose 0*q + q + 1 = 0, 2315 = -5*x + 5*q. Let d be x/(-348)*-3*(-1)/338. Which is bigger: d or 0?
d
Suppose -6*o = -5*o + 3*s + 8, s = 5*o - 40. Suppose 768 = o*w - 765. Does 218 = w?
False
Let n(s) = -31 - s**2 - 22 + 31*s - 8 + 3 + 0*s. Let o be n(29). Let q = -134/3 - -4163/93. Do q and o have the same value?
False
Suppose -36 = -2*v - 4*p, -4*p = -3*v + 6 - 2. Suppose -2*t + 8 = 4*i - 2, 2*t + v = 5*i. Let w be 0 + 1 + (-71)/74. Which is greater: t or w?
t
Let y(d) be the second derivative of -1/12*d**4 - 1/2*d**3 - 1/2*d**2 + 22*d + 0. Let z be y(-3). Is z at least as big as -24/11?
True
Let m = -686 - -717. Let a be (4 + -8)/((-6)/m). Is 20 at least a?
False
Let t be -3*(2 - 4) + (2 - 53