et v be 12/6*n/(-2)*1. Which is bigger: 2/141 or v?
v
Suppose 4*m = -r - 4879, 0*m - 3658 = 3*m + r. Let p be m/(-231) - (0 - -5). Which is bigger: -14 or p?
p
Let j = 2/364987 + -302209318/14964467. Is -19 less than or equal to j?
False
Suppose -510 = d + 237. Let k be (24/d)/4*1/2. Is k less than or equal to 0?
True
Let x be 4/7 - (-78)/(-63). Is x > 2328?
False
Let o(j) = -8*j**3 - 3*j**2. Let v(f) = -f - 6. Let n be v(-4). Let b be o(n). Let u = -561 - -614. Which is bigger: u or b?
u
Let z = -2220233/30 + 74028. Is 20 at least z?
False
Let n = 5/86 - 871/13502. Let r = n - -476/785. Which is greater: r or 2/37?
r
Let i(o) = -3*o**2 + 63*o - 569. Let s be i(10). Which is bigger: -257 or s?
s
Let g be 182/14 + -6 + (-1)/7*-4451. Which is smaller: g or 644?
g
Let f = -702 - -785. Which is smaller: 0.6 or f?
0.6
Let k = 0.2296 + 9.8604. Let i = -1.91 - k. Which is smaller: i or 0?
i
Suppose 5*g + 5*n - 885 = 0, 3*g - 9 = 2*n + 532. Suppose -4*a + 0*v = 5*v - 730, -5*a + 910 = 5*v. Is a less than g?
False
Let u be (-7)/4*(-5952)/1736. Let d(m) = m**2 + 7*m - 1. Let r be d(-8). Suppose 5*s - 11 = 2*t, -6*t - r = -5*s - 2*t. Is u < s?
False
Suppose -5*z + 20534 = 4*f - 20102, 2*z - 16264 = -4*f. Let x be (6/20)/(78/z). Let d = -297/13 + x. Is 8 at most d?
True
Let r = -145.3 + 142.17. Which is bigger: r or -2?
-2
Let o be (-3 + 5)*-2 - -2. Let w be (-100)/(-450) - o/(-90)*-17. Is w < -2?
False
Let c be 62/(-3) - 172/516. Is 93 != c?
True
Let i = 136 - 100. Let h be ((-184)/i)/(10/(-1185)). Let s = h + -613. Which is smaller: s or 0?
s
Suppose 0 = -4*m - 2*u + 14 - 20, 0 = 2*m - 2*u - 12. Let j be (-156568)/798*(-9)/69. Let v = -486/19 + j. Which is greater: v or m?
m
Suppose 0 = -16*d - 37*d + 371. Let x be ((-188)/19411)/((-2)/d). Which is bigger: x or 0.2?
0.2
Let g = 2.06 - 2. Let k = 0.031 + 33.969. Let q = k - 33.7. Which is bigger: g or q?
q
Let t(w) = -w**3 - 10*w**2 + 10*w - 13. Let k be t(-11). Is -365 > k?
False
Let b = -252.1 - -253.1. Let o = -167 - -1501/9. Is o > b?
False
Let s = 186.36 + 2.64. Let j = 188 - s. Let k = 5.7 + -8. Which is bigger: j or k?
j
Let k be 2/((-2)/(-3)) - (30 + -30). Let r be -68*(2/24)/(k/(-4)). Which is greater: 9 or r?
9
Let y be -1094*(((-48)/(-9) - 5) + 1/6). Which is smaller: -2732/5 or y?
y
Let k = -21494 - -21125. Is -341 at least as big as k?
True
Let n be (-6)/(-4)*672/36. Suppose 0 = 7*c - 6*c - 28. Are c and n unequal?
False
Let n be 152/57 + (-34)/51. Is n >= 254/91?
False
Let y = -229 - -623. Let x = -390 + y. Is 30 less than x?
False
Let c(b) = -15*b**2 - 47*b - 7. Let l be c(-3). Which is bigger: l or 5/153?
5/153
Let z be ((-240)/(-51) + (39 - 43))*26/(-3). Which is bigger: -6 or z?
-6
Suppose 6*j = -2*b - 2170, 635*j + 2*b - 1106 = 638*j. Which is smaller: j or -361?
j
Let w(s) = s**3 - 5*s**2 + 4*s + 10. Let f be w(4). Suppose -17 = -7*c - f. Are c and 17/16 nonequal?
True
Let x(t) = -100*t - 1557. Let o be x(-10). Which is smaller: -553 or o?
o
Let v = -388777 + 1983151471/5101. Is v smaller than 1?
True
Let p = -221171/3 - -2432869/33. Let z be 2 - (-1 + 0)*-1. Suppose -z - 3 = -4*w. Are p and w non-equal?
True
Suppose 39*f = -65*f + 124*f + 5760. Is 38 at most f?
False
Suppose -4*i = h - 7, -3*i = -0*i + h - 6. Let g be (-73)/(-2)*(-4 - 2). Let a be (1 + g/231)/(-6). Which is smaller: a or i?
a
Let q = 7.112 - 8.012. Do 75/7 and q have different values?
True
Let p = -13355/10680713 + 2/11497. Does p = 1?
False
Let f(v) = 25988*v**3 - 25987*v**3 + 21 + 12*v**2 + 3 + 25*v. Let x be f(-10). Is -27 bigger than x?
False
Let l be 6/(-8) + 191/4 + -2. Let q be (15/l)/(82/(-36)). Are q and -1 equal?
False
Let o be (-18)/(-6) + (-14135)/143 + 10. Are -86 and o nonequal?
True
Suppose -55*v + 1 = -56*v. Let f(g) = 157*g**2 - 10*g - 10. Let j be f(v). Which is smaller: 155 or j?
155
Let p = -3941/4 + 986. Let o(y) = 2*y**2 + 3*y. Let s be o(-2). Which is smaller: p or s?
p
Let j be (2 - 2 - (-2 - 1)) + 1. Let v be (6 + -5)*j + 0. Suppose 0 = 2*m + 8, 0*m - 26 = 5*z + v*m. Is z equal to -15?
False
Let b be ((-27)/(-6))/(18/1200). Suppose -10*f = -4*f - b. Suppose x - u = -6, -2*u + f = -5*x - u. Is x bigger than -10?
False
Suppose 3 = 3*u, 2*s - 6*u + 7 = -7*u. Which is bigger: 1603/3 or s?
1603/3
Suppose l - 4 = 0, 5*l = -3*u + 3*l + 269. Let n be (-3 - 44/(-12)) + u/(-9). Let g be (-16)/n + (2 - 4). Which is smaller: g or 8?
g
Let x = -18881 - -18872. Let z = -4 - -3. Let t = z + -3. Is t < x?
False
Let m be ((-126)/(-135) + (-2)/6)*-15. Which is smaller: -11 or m?
-11
Let d = 268.71 - 267. Let l = d - 1.56. Is l at most -1/3?
False
Let w = 45 - 25. Let s(o) = 8*o - 3*o - 9*o - w + 0*o. Let k be s(-5). Which is bigger: k or 4/7?
4/7
Let h = 50.3 - 47.26. Let u = 3.31 - h. Which is smaller: 0 or u?
0
Let y = 2/320711 + 63500632/23411903. Which is smaller: 4 or y?
y
Let j(d) = -3*d**3 - 41*d**2 - 51*d - 31. Let b be j(-17). Let g be b/(-7380) + 3/6. Is g >= 1?
False
Let v be (-1 - (-200)/208)*140. Let l = v + 993/182. Which is bigger: 1 or l?
1
Suppose 0*c + 0*c - 11*c = 16*c. Is c at least as big as -4/1377?
True
Let g = -461/280 - -3/40. Let b = 18616 - 409449/22. Let s = 46/11 - b. Which is smaller: g or s?
g
Let z(h) = 10*h**2 + 141*h + 229. Let r be z(-20). Do r and 1408 have different values?
True
Suppose -18*u = 21*u - 43*u. Suppose u = -28*t + 976 + 60. Which is greater: t or 36?
t
Let y = 83 - -18. Suppose h + 3*j = -104, h = -14*j + 10*j - y. Which is smaller: -3/2 or h?
h
Let h = -0.5 + -13.5. Let v = -802 - -824. Suppose -v*c + 4*q = -19*c, 0 = -2*c + q. Is h less than c?
True
Let u(n) = -105*n + 5. Let v be u(-2). Let y = -129 + v. Do 87 and y have the same value?
False
Let x(p) = 1 - 2 - 11 + 6 + p. Let o be x(6). Is o equal to -2/619?
False
Let i(o) = o**2 - 12*o + 8. Suppose 84 = -19*m + 31*m. Let n be i(m). Is -23 greater than or equal to n?
True
Let u = -346 - -506. Let x = -3898 + 3897. Is u less than x?
False
Let r = -12635 - -14953. Is r <= 2320?
True
Let a = -10479 - -10431. Is -32 smaller than a?
False
Let m be 1*(3 - -6)/(-18)*1. Is m at most 2218?
True
Let s = 8.019 - 7.919. Are s and -1541 nonequal?
True
Suppose 0 = -5*v - 2090 - 255. Let t = 119129/254 + v. Are t and 1 unequal?
True
Let t = 1.04 + -7.04. Let i be (-3)/2*(-192)/(-36). Let a(o) = -o - 15. Let x be a(i). Is t at most x?
False
Let u = -3.85 - -1.88. Let v = u + -43.03. Is -1 > v?
True
Let v = -902 - -923.92. Let k = v + -22. Let u = k - 0.02. Which is greater: 15 or u?
15
Suppose 3*l + 2*h + 286 = 0, 4*l + 2*h + 431 - 51 = 0. Which is greater: l or -90?
-90
Let x(f) be the first derivative of 35*f**4/4 - f**3 - f**2/2 + f - 60. Let q be x(-1). Is q greater than -38?
True
Suppose -3*b = -28 - 719. Let v be 175/b - 32/48. Suppose 0 = -4*m + m + 12, 4*m = -5*n + 21. Which is greater: n or v?
n
Let m = 16390 - 16578. Which is bigger: m or -194?
m
Suppose -3*i = -3*p + 34 + 35, p + 3*i = 19. Let d = p + 48. Is 68 at most d?
True
Let q = -1622 - -50280/31. Is -13/5 >= q?
False
Let b be (-3)/(-2) + (-294)/28. Let k be (11/1551)/((-1)/3). Let c = k - 1735/188. Which is smaller: b or c?
c
Let p = -4/31533 + 68962687/126132. Which is bigger: 2/5 or p?
p
Let f be 2/((-88)/93756) + (-48)/264. Is f smaller than -2131?
False
Let a be ((-287)/49 + 3)/((-2)/(-10)). Let h = 7286/511 + a. Let o = h + -65/292. Do -38/5 and o have the same value?
False
Let a be (3 - 0) + 76/(-28) + (-12230)/469. Are a and -27 nonequal?
True
Let p = -2679 + 2651. Is 82 at most as big as p?
False
Let n(w) = 3*w**2 + 3296*w + 16456. Let z be n(-5). Let t be (-4)/(-18) - 502/(-9). Is z > t?
False
Let t = -230743985/4028 + 57285. Is 1 greater than t?
True
Let a = 857.034 - 857. Does a = 4?
False
Let d = 16 + 13. Let i(v) = 25*v**2 - 13 - 10*v + d*v**2 - 53*v**2. Let h be i(7). Which is greater: -33 or h?
-33
Let v be (-20)/11*(-33)/6. Let c be 2/4*v - 231/44. Is -1 greater than or equal to c?
False
Let j(l) = 2*l**2 + 4*l + 3. Let x be j(-2). Let u = 87 + 0. Suppose -u + x = -6*i. Do 12 and i have the same value?
False
Let x(q) = -52*q - 618. Let j be x(-12). Which is bigger: 164/23 or j?
164/23
Suppose -54 = -6*l - 396. Let c be (l/(-6))/((-1)/2). Let v(b) = -b**3 - 18*b**2 + 19*b. Let n be v(c). Is -1/43 > n?
False
Let b(o) = -10*o + 6. Let v(