t b be -29 + v + -2*(-5)/(-2). Which is smaller: g or b?
b
Let y be (-2)/(-4) - (-1)/2. Let s = -100585 + 2514621/25. Which is smaller: y or s?
s
Let s(b) = -b**3 + 10*b**2 - 14*b - 11. Let g be s(8). Let q be g - (1033/210 - 12/90). Which is greater: q or 0?
q
Let c be (7 + (-297)/45)*20. Let a be 126/c*(2 - (-4)/6). Which is greater: a or 41?
a
Suppose 2*p - 6 = 0, -5*p = 4*z - 39 - 4. Suppose 0 = j - z. Suppose -2*g - 5*g = -j. Is g < -1/202?
False
Suppose -4*z - 3*g = -6*g - 15, -5 = 4*z + g. Let s be 3*(-2)/(-1578) - 0. Are z and s unequal?
True
Let w be (141/12*-3)/(10/(-480)*-18). Which is smaller: -1043/11 or w?
-1043/11
Suppose -109*u = -107*u - 18. Suppose 0 = -v + 2*s + 6 - u, 5*v + 3*s + 15 = 0. Which is smaller: v or 1?
v
Let m(j) = 3 + 4*j - 9 - j - 9. Let n be m(4). Let p be -2 - (-4)/(0 - 2). Which is smaller: n or p?
p
Suppose -2*t = z + 11, 2*z - 5 - 21 = 4*t. Is -11/307 != z?
True
Let t = -11209 + 8360. Is t equal to -2847?
False
Let c be (-1)/(1/(9/3)). Let a be -3 + 1 - (-8 + -3 + c). Let m = a + -34. Is m at least -22?
True
Suppose -32*r + 35*r + 690 = 0. Let k = -595 - r. Let m = 6201/17 + k. Is m equal to -1?
False
Let c(k) be the second derivative of k**4/4 + 10*k**3/3 - k**2 + 3*k + 2. Suppose -o - 3 = 3. Let x be c(o). Which is bigger: -13 or x?
-13
Let s = -2782 + 2489. Which is smaller: s or -291?
s
Let a be (-6)/(-10) + (-188160)/1600. Is -276 >= a?
False
Let f be 1*((-18)/8 + -12 + 14). Let a = -917.9 - -872. Let v = 8.9 + a. Are f and v nonequal?
True
Let v = 9 + -8.87. Let f(t) = -2*t**2 - 17*t + 14. Let j be f(-9). Which is smaller: v or j?
v
Let i(p) = p**2 - 411*p - 1676. Let t be i(-4). Do t and 6/19 have the same value?
False
Let c be ((-5)/(-10))/((-3)/18). Let o be 1/c*29 - 4/(-6). Let v = o - 9. Is v at least as big as -18?
True
Suppose -m - 15 = -1. Let d = m + 15. Let l be 150/(-40)*(-2)/20. Are l and d nonequal?
True
Suppose 0 = 4*p - 0*r + 4*r - 900, -892 = -4*p + 4*r. Let o be (-4 - p/21) + 6. Let s(f) = 4*f + 4. Let c be s(-3). Which is smaller: o or c?
o
Suppose -5*i + 4*w - 33 = w, 0 = -3*w - 12. Let s = i - -8. Let a be (-162)/(-156) - (3 + s + -1). Is a >= -1?
True
Let n(j) = -j**3 - 3*j**2 + 10*j + 30. Let r be n(-3). Is r greater than or equal to -75/61?
True
Suppose -j - 1247 = 5*d, 4*d + 1003 = 2535*j - 2534*j. Do -0.03 and d have different values?
True
Let f = 105.829 - 2.829. Is f at least as big as 0?
True
Suppose -94 = -2*h - 6. Let p be 55/h + 1 + (-5)/4. Let k be 2/32*15 + -1. Which is smaller: k or p?
k
Let j(p) = -2*p**3 + 46*p**2 - 184*p - 34. Let c be j(18). Is c <= -101?
True
Let g be 616/(-312) + 1*2. Let j be (-1)/(-2*1/10). Suppose -2*o - 12 = -2*n, j*n - o + 2 = 12. Which is bigger: g or n?
n
Suppose -5*m = 62 + 28. Let c be (-4 - m)*(-3)/(-6). Suppose c*h - 6*h - 17 = 0. Is 1 > h?
False
Suppose r = -11 - 4. Let n be (-36)/r + 3/(-3). Let v(x) = x**2 + 9*x + 22. Let w be v(-4). Do n and w have the same value?
False
Let v = 157 + 60. Let x be (-8)/10 - v/(-140). Which is smaller: -1/2 or x?
-1/2
Let q(z) = -z**3 + 35*z**2 + 254*z - 53. Let k be q(-10). Which is bigger: k or 1904?
k
Let i be 2/(-1) + -12*1/(-2). Suppose 0 = z - 3*m + 1 + 14, i*z - 4*m = -60. Which is smaller: z or -29/2?
z
Let n(a) be the third derivative of a**4/12 - 7*a**3/3 + 40*a**2 + 2*a. Suppose -2*m + 4*o = -14 - 2, -5*o - 16 = -2*m. Let b be n(m). Are 22/9 and b equal?
False
Let l be 2331/84*82/(-6). Is l bigger than 1/2?
False
Suppose -5*o + 15 = 0, -j + 2*o = j - 2. Let h(x) = -x**3 + 5*x**2 - x - 10. Let f be h(j). Are f and -1/13 nonequal?
True
Let u be (-4*(-29)/52 + -2)*1. Let w = -61/208 + u. Which is greater: 0 or w?
0
Let m = -188204/369 + 510. Which is smaller: m or 0?
m
Suppose 1685 - 1671 = -7*i. Which is greater: i or -168/55?
i
Suppose 820 = 3*k - 2*c, 4*c + 150 + 130 = k. Let x = k - 19. Is 252 at most as big as x?
True
Let f = 3754 - 3621. Is f not equal to 1?
True
Let f be -16 - (-43)/((-645)/(-825)). Let y be (-3)/6 + 29/2. Let u be (-4)/y - (-275)/7. Is f > u?
False
Let l(y) = 82*y + 2039. Let h be l(-58). Is -2714 at most h?
False
Let w(m) = -2*m + 18. Let l be w(8). Let p(z) = -4*z - 2 + 0 + 2 + 4 - z**l. Let r be p(-5). Which is smaller: -6/5 or r?
-6/5
Let j = -30 + 2. Let i be (4/(-10))/(j/(-20)). Let m = 4 - 1. Is i greater than m?
False
Let h be 2352896/(-928256) - ((-1)/7)/(2/2). Is h >= -1?
False
Let j(c) = c**2 + 13*c - 16. Let i be j(-14). Let u be (21/28)/(6/16). Suppose -4*b - u*t = 10, -5*t = -2*b - 2*b + 25. Which is greater: i or b?
b
Let x be (3/(-30)*-8)/((-8)/60). Let r be (-159)/8 - x/(-48). Let k be (2/4)/(7/(-294)). Is r greater than k?
True
Suppose 4*b - 2*j - j = 3, 3*j = -b - 3. Suppose m + m - 26 = b. Suppose m = -2*t + c - 4*c, 0 = 3*t - 3*c - 3. Which is smaller: t or -1?
t
Let m = -2930 - -2929. Which is smaller: -534 or m?
-534
Let q(y) = -131*y**3 - 2*y**2 + 1. Let c be q(1). Let k be 4/(-3)*153/34. Let i be (-2*(-1)/k)/(2/c). Is i < 23?
True
Let i be (58 - (0/2)/(-3))/((-2553)/115). Is -3 greater than or equal to i?
False
Let c = 1468.09 - 1479. Let d = c - -10.4. Let f = -171.2 - -171. Is f equal to d?
False
Let j(x) = 95*x - 3. Let n be j(4). Let t = n - 17720/47. Which is smaller: t or -1?
-1
Let d = 1.2346 - 0.2346. Suppose -4*g + 2*q = -138, 63 + 87 = 5*g + 2*q. Suppose 3*h + g = -64. Is h less than d?
True
Suppose 5*s + 12 + 10 = -3*o, 0 = 3*o - 5*s + 2. Let i be 2 + (-8)/o - (-69)/(-9). Which is smaller: i or -0.2?
i
Suppose -88 = 4*j - 5*s + 53, 4*j + 132 = -4*s. Which is bigger: -12 or j?
-12
Let k be (-2)/(-3) + 20/60. Let o be (-2 + k)*3 - -4. Let r = 563/18840 - 6/157. Is o greater than r?
True
Let p = 1434.2299 - 1434. Is p equal to 2/3?
False
Let d(f) = -25*f + 15. Let a be d(0). Suppose -59*c - 4 = -57*c, -c + a = -q. Is -142/9 < q?
False
Let t = -22468 - -22468.118. Is t less than 2/19?
False
Let s be (-51)/(-27) - ((-1178)/(-171) - 7). Let r be (-45)/(-26)*(-2)/(-3). Does s = r?
False
Let d = 405854/639639 - -970/923. Let p = 103/63 - d. Which is greater: p or 0?
0
Let w = -13153/7287642 - 4/6003. Which is greater: w or 1?
1
Let h = 27.1099 + 44.8901. Let u be 2/6 + 34/(-66). Which is smaller: u or h?
u
Let h = -9.35 + 0.05. Let q = 31.7 - h. Let v = 44 - q. Is 3 greater than or equal to v?
True
Suppose 5*w - 18*o = -15*o + 11, 0 = -w - 4*o - 30. Which is bigger: w or -147/142?
-147/142
Let r = -67.6844 - -1.6144. Let k = r + 66.1. Which is bigger: -3/4 or k?
k
Let r = -1343 - -1411. Is 45 > r?
False
Let y(s) = 21*s - 14. Let i(v) = 20*v - 13. Let w(p) = 6*i(p) - 5*y(p). Let q be w(-3). Do q and -53 have different values?
False
Let h = 8.949 - -0.051. Do h and 7/48 have different values?
True
Let u = 15.21 + -51.64. Let h = -36 - u. Let x = h - -0.57. Which is smaller: x or -0.16?
-0.16
Let d = -0.2738 + 0.0438. Let v = 17 + -27. Let h = 9 + v. Which is greater: d or h?
d
Suppose -287*a = -224*a - 1827. Let x = 72 + -103. Let m = a + x. Which is bigger: -8 or m?
m
Let f = 161 - 135.2. Let w = f + -27. Let x = w + 1.1. Which is bigger: 2/37 or x?
2/37
Suppose 5*h + 0*h = 45. Let m = -54 - -116. Suppose -w + 24 = 3*w + 4*s, 0 = 5*w - 3*s - m. Is h at most w?
True
Let n = 18 - 14. Suppose 22 = 2*s - 5*a + 12, -n = -3*s + 2*a. Which is smaller: -2/45 or s?
-2/45
Let b(j) = 26*j - 175. Let h be b(7). Let m be -51*(h - 198/27). Is m smaller than -1?
False
Let t be (9 + 4 - 12) + 5*(-5)/20. Is t != -2/2221?
True
Suppose -6881*j = -6867*j + 61558. Do -4394 and j have the same value?
False
Let x = 50213893 - 9440167261/188. Let r = 949/4 - x. Is r at least 0?
False
Let x be 3*(-112)/(-21)*-2. Let c be (x + 31)/(1 - -54). Let o be -2 - (-1 + 1 - 1). Is o at least c?
False
Suppose -w + 1292*r - 1297*r = -740, -2*r = -2*w + 1420. Is 715 not equal to w?
False
Suppose -16*d + 35 = -154*d + 311. Which is smaller: 16 or d?
d
Let z(m) = -2*m**2 + 15*m + 4. Suppose -3*a + 31 = 2*c, -2*a = -c - c + 6. Let j be z(c). Let l be j - ((-640)/(-55))/(-4). Are l and 1 unequal?
True
Let d be (270/225)/(6/(-1200)). Which is greater: -250 or d?
d
Let p = -0.75 + 0.05. Let m = p - 4.3. Let d = 734.1 + -735. Which is smaller: d or m?
m
Let o = 8258 + -10462. Is -2206 not equal to o?
True
Let d(n) = 18*n - 11. Let i be d(6). Let c = i + -93. Let q = 7 + -6.8. Is