s -43?
True
Let r be 3 + 1*(2 - 1)*(-3064)/856. Which is greater: r or -2?
r
Let r(g) = 191*g**3 + 0 - 38*g**3 + 1 - 2*g. Let q be r(1). Suppose 0*a - 8*a - q = 0. Is -39/2 greater than a?
False
Let p = 12.1 + -11.61. Let x = 0.39 - p. Is x > 15/4?
False
Suppose 2*v = v - o + 50, 0 = -3*v + 2*o + 160. Suppose 255 = -154*r + 159*r. Are r and v non-equal?
True
Let p = -141.77 - -40.77. Which is smaller: p or 27?
p
Let k = 11430 - 11424. Is 88 at least k?
True
Let x = 10 + -9.93. Let l = -4585.5 + 4614.5. Which is greater: l or x?
l
Let p be (-15012724)/(-17256)*-4 + 5/(-1). Let d = p + 3485. Is 1 at most d?
False
Let z = -432 - -395. Let p be 6*1*((-225)/(-18) - 13). Is z equal to p?
False
Suppose -4*x + 40 = -44. Let p be ((-66)/8)/((-6)/32). Let n be (11/p)/((-1)/x). Is n at most as big as -6?
False
Let v = 15 - -26. Let l be (1008/(-70) + 16)*30. Is l at most as big as v?
False
Suppose 119 = 5*t - 4*d - 172, 471 = 8*t - d. Let h be 1082/18 + (-6)/(-27). Is h <= t?
False
Suppose 0 = k - q + 9 - 3, -10 = -2*q. Let i = 1 + k. Let n(l) = 12873*l - 592177. Let d be n(46). Which is smaller: d or i?
d
Suppose -4*w - 630 = 6*w. Let i be (-18)/w + (-88)/14. Let s be (-2)/(-3)*i/(-44). Which is smaller: 0 or s?
0
Let k = -321/350840 - -1/5880. Which is greater: 2 or k?
2
Let w be 153/(-63) - 4/7. Let d be 1 - (1375/(-20) - w). Which is bigger: d or 67?
67
Let j = 4632.919 - 4637. Let l = -0.081 - j. Let s = -10 - -9.3. Is l equal to s?
False
Let r = 115715/6684434 + -21/4418. Which is smaller: r or 0?
0
Let q be (-24)/180 + 4/((-240)/(-2348)). Suppose -43*r = -q*r - 1616. Is r equal to 403?
False
Suppose 2*n - 77 = -29. Suppose 231*p + n = 233*p. Let v be 3 + (-1 - -11 - 2). Is p less than v?
False
Let h = -795 - -1326. Let g = 530 - h. Is -0.7 greater than g?
True
Let q = -4/713 + -17697/22816. Let a = q - -511/736. Which is smaller: -0.1 or a?
-0.1
Let i be (-1)/4 - 3/12. Let f = -176.05 - -175. Let z = f - -4.05. Which is smaller: i or z?
i
Let u = 79.1 - 79.1598. Let b = u + -10.9402. Let p be ((-3)/54)/(2/(-4)). Do b and p have the same value?
False
Let l = -25 + 24.9822. Let y = 1.0178 + l. Is y greater than -127?
True
Let z(l) = -2*l**3 - 15*l**2 + 68*l - 9. Let c be z(13). Is c at most as big as -6054?
True
Let s = -14613 + 11510. Are -3104 and s equal?
False
Let d = -26 + 30. Suppose -d*a = -4*k - 36, -4 = 3*k + 3*a + 5. Let i be (k/9)/(2/(-3)). Is i at most as big as 7/8?
False
Suppose 3*f - 4*p + 2 = 0, 7 = -6*f + 35*p - 30*p. Suppose -5 + 1 = -4*r. Which is smaller: r or f?
f
Suppose 5*g = -5*m - 33685, 18*m - 21*m - 2*g - 20206 = 0. Which is smaller: m or 1?
m
Let j be -25460*(-63)/168*(-1 - 1/(-3)). Which is greater: -0.1 or j?
-0.1
Let a = 0.004 - -0.076. Let z = -0.17 + 0.23. Which is bigger: z or a?
a
Let v = -38297 - -38258. Suppose -5*y = 4*r + 207, -2*r + 0*r - 123 = 3*y. Is y bigger than v?
False
Let q = -9588 - -9589. Are 640 and q non-equal?
True
Suppose -20*k - 13412 = 18*k - 31*k. Does k = -2/3?
False
Let w(g) = -3*g + 17. Let c(d) = 6*d - 34. Let v(z) = -6*c(z) - 11*w(z). Let h be v(7). Let f be (-192)/(-720)*(1 + 14/h). Which is greater: -9 or f?
f
Suppose 13*x = -4931 + 251. Is -361 less than x?
True
Suppose x - 310 = -5*l, 0 = -3*l + 2*x + 93 + 93. Suppose 53*b + 279 = l*b. Is 207/7 greater than b?
False
Let b = 38483351/623 + -61771. Is b <= -1?
False
Let i be (-25 + 25)/(9/6*-2). Which is greater: -2/14449 or i?
i
Let r = 125.9 - -406.1. Let o = r + -515.88. Let f = 1.12 - o. Is -1 not equal to f?
True
Let b be (((-2)/(-2))/(-5))/((-12)/45). Let n = -0.13 - 18.87. Let j = 19.04 + n. Is j equal to b?
False
Suppose 2*h + 51 = -3*u, -2*u = 5*h - 2*h + 74. Suppose 161*c - 165*c - 178 = 5*k, 4*c = -48. Do h and k have different values?
True
Suppose 4*x - 2*t + 126 = 0, 69 = -3*x + 4*t - 18. Let d be -4 + (12/(-1) - -5). Let o = d + -23. Is o < x?
True
Let x be (-4)/10*35/73444. Are x and -1 unequal?
True
Let v(x) be the first derivative of x**3/3 - 5*x**2 - 24*x + 70. Let u be v(12). Let p = 34 - 20. Which is smaller: u or p?
u
Let u = -275.816 + 274. Let p = u - 0.184. Is 61 at most as big as p?
False
Let b be -278*((-4)/(-4))/2. Let i = -7639 - -15001/2. Is i at most b?
False
Let q = -492157/15 - -32836. Is 27 >= q?
True
Let w(t) = -2*t - 17. Let n be w(-12). Suppose 5*z - n = -3*s, -30 = -3*s + 5*z - 43. Let q be (2/12)/(12/(-56)). Is s < q?
True
Suppose 6*k - 8*k + 2 = 0. Let m be k + -36*(-3)/6. Suppose -m*q - 18 - 1 = 0. Which is bigger: 31 or q?
31
Suppose 3*s - 3*w + 4930 = 7*s, -4954 = -4*s + w. Is s smaller than -1?
False
Let d = -1692 + 1691.43. Which is smaller: d or -0.059?
d
Suppose -s = -2*s + 681. Let l be (1 - 693/s)/2. Suppose -4*q + 3*g - 18 + 24 = 0, q + 8 = -4*g. Which is bigger: l or q?
q
Suppose i + 4*v - 24 = 0, i - 3 = -i + v. Let r be -4*(i - (-2)/(8/(-25))). Is 0 at most as big as r?
True
Let v = 2048 + -2005. Is v smaller than 38?
False
Suppose 0 = -2*g + 3*o + 2514, 436 = -3*g - o + 4218. Which is bigger: 1261 or g?
1261
Let k = 1.766 + -1.486. Which is smaller: 2.7 or k?
k
Let v = -258 - -268. Let k be (-22)/(-33)*v*6/8. Which is smaller: k or 8?
k
Let m = 190.368 + -0.368. Let p = m + -193. Is 0.25 at least as big as p?
True
Suppose -5*y - 4*s + 116176 = 0, -4*y = -4668*s + 4669*s - 92921. Are 23228 and y nonequal?
False
Let o = -68.2 - -61. Let p = 0.15 + 6.85. Let m = p + o. Which is smaller: 6/19 or m?
m
Suppose -48*x - 2234 = 2278. Let r = -0.023 - -2.023. Is x at least as big as r?
False
Let f = -53139 - -53166.997. Let y = f + -28.1. Are 1/2 and y nonequal?
True
Suppose -2 = 2*j + 12*b - 11*b, 2*j = -3*b - 10. Let f be 6/24 + 10/(-8) + j. Is -6 >= f?
False
Suppose -21*h + 326566 - 324823 = 0. Does 89 = h?
False
Let z = -14 - -9. Let n be ((-11)/2)/(-2*5/200). Suppose 0 = -4*f + 118 - n. Which is greater: z or f?
f
Suppose 2*g + 645 = -3*g. Let i be ((-216)/30)/(((-204)/915)/4). Let c = g + i. Which is greater: 1 or c?
1
Let w = -150078 + 1631197784/10869. Is w at least -1?
True
Let c be 1/(-2)*-4 - 2583/1293. Let o be (-4)/6*(-3)/(-2). Do c and o have different values?
True
Let c(h) = -h**3 + 3*h**2 - 44*h + 268. Let s be c(5). Which is greater: -245 or s?
s
Let m = 6.10325 - 0.10325. Which is smaller: -75 or m?
-75
Let k be ((-24)/15)/((-4)/40). Let n = k + -12. Suppose -n*l - 51 = 17. Is -53/3 equal to l?
False
Suppose -3*i + 5*u = 3077 + 2795, -2*i - 5*u = 3948. Let x = i - -367270/187. Which is bigger: x or -0.2?
x
Suppose m - 4*c + 106 = -4*m, -4*c + 16 = 0. Let o = -14 - m. Suppose 0 = -o*x - v - 3 + 8, 4*x - 15 = -3*v. Which is smaller: -6/31 or x?
-6/31
Let p be -28*70/(-56)*(-2)/(-5). Suppose 3*y + 3 = 0, -z = -p*y + 16*y - 13. Are 20 and z unequal?
True
Let t = 13.18 + -13. Let u = t - -0.02. Let x(i) = i**2 + 11*i - 10. Let o be x(-11). Which is bigger: u or o?
u
Let b be (16/12)/(4/18). Suppose -2*h - 2*a = 2, 3*h - b*h + 12 = -2*a. Let f be (2/180)/(h/(-8)). Do f and 1 have different values?
True
Let o(x) = -x + 24. Let p(q) = -2*q**2 + 15*q - 1. Let k be p(7). Let m be o(k). Suppose -4*s = -2*g + m, -4*g + 2*s = -8*g - 14. Which is greater: g or -3/7?
-3/7
Let r = -2327 + 2327. Is r at most as big as -39/28?
False
Let r = -65 + -14. Let j = -1663/21 - r. Let d be ((-183)/(-122))/(1*-3)*-2. Which is greater: d or j?
d
Let u(h) = 3*h - 14. Let f be u(8). Suppose 0 = -f*i + 11*i. Suppose -4*b - 4*a - 8 = 0, 5*a + 5 = -10. Is i != b?
True
Let s = -13742 - -14470. Is s bigger than 3?
True
Let x(j) = -10*j + 40. Suppose 7*s + 1 - 29 = 0. Let z be x(s). Is z greater than or equal to 6/53?
False
Let h = -50 - -86. Let d = 36.1 - h. Is d less than or equal to 0?
False
Let d = -2657.8 - -2658. Is -935 bigger than d?
False
Suppose 8*w + 967 = 79. Let n be (-42)/((-4)/96*-9). Are w and n equal?
False
Let f = 0 + 0.6. Suppose 26*t + 1580 = 22*t. Let z = -392 - t. Is z equal to f?
False
Suppose -5940 = -2*k + i, 5*k - 20481 = -5*i - 5676. Is 2971 less than or equal to k?
False
Let t = -24 + 20.4. Let q = 39.6 + t. Let h = q + -36.6. Do -1 and h have the same value?
False
Let v = 90291/35 - 2579. Let i = -9992914/1415995 - -1/40457. Let x = i - v. Which is bigger: -7 or x?
-7
Suppose 200*m = 203*m + 2 - 2. Which is smaller: m or -2/11765?
-2/11765
Let h(p) = -p**3 + 7*p**2 - p - 13. Let