p = -97 + 130. Let u = p - 40. Is u less than or equal to m?
True
Let y = -13 - -15. Suppose -2*r - 13 = y*f - 45, -5*r = 2*f - 80. Suppose -o + 26*l - 25*l = -15, -2*o + 3*l + 28 = 0. Are r and o nonequal?
True
Let y = 4767 + -4765. Which is smaller: -468 or y?
-468
Suppose -130*w + 37 = 5107. Which is smaller: w or 10?
w
Let r = -44853 + 14218382/317. Which is greater: 0 or r?
0
Let r = -11835 + 11823. Which is smaller: r or -516?
-516
Let m be ((-2)/(-3))/((-174)/(-54) + -3). Let x be (-42)/(-63) - (-13)/m. Which is greater: x or 23/5?
x
Let b = 1.25 - -5.95. Let q = 127.2 - b. Let s = 90 - q. Is s not equal to 2/3?
True
Let c = -5 + 5. Suppose -1 = -3*v + 11. Let n be -2 + v + -1 + -3 + 2. Is c bigger than n?
False
Let m = 2374 - 750. Let b be (m/(-1537) + 1/1)/(-3). Is 0 not equal to b?
True
Let s(i) = 5*i**3 - i**2 - 223*i + 16. Let d be s(-7). Which is bigger: -182 or d?
-182
Let t = -738 - -695.1. Is t >= 4?
False
Let n = -98 - -104. Suppose 0 = -6*h + 3*h + n, -4*x = -2*h + 100. Is x bigger than -24?
False
Suppose -2*c + 4*v + 7 = -c, 3*v + 30 = -2*c. Let a(k) = k**2 + 6*k - 30. Let t be a(c). Are t and -9 equal?
False
Let p be 1/5 + 7/10. Let r be (-133)/(-21) + -4 + (-5)/(-45)*-3. Which is bigger: r or p?
r
Let i = -76 + -77. Let x = 155 + i. Which is greater: -12 or x?
x
Let g = -5.6871 - -0.0071. Let q = -5.38 - g. Which is smaller: q or -2/5?
-2/5
Suppose 2 = 5*i - 3. Let o be i + -2*(-76)/(-88). Suppose 4*d + 4 = 4*n + 8, 0 = -d + 2*n + 3. Which is bigger: d or o?
o
Suppose -2*w - 3*i + i - 8 = 0, 14 = -5*w - 2*i. Let o be (1 + 4/4)*(-7)/w. Which is bigger: o or 2/13?
o
Let t be -1*(9/3 - (7 + -3)). Let k be (16/(-14))/((-10)/35) + 12. Let b be (-8)/k + (-26)/(-76). Which is greater: b or t?
t
Let o(i) = 15*i + 8*i - 26*i + 42*i + 60. Let a be o(-7). Do a and -212 have different values?
True
Let k(n) = 3*n - 31. Let a be k(11). Suppose -4*u - 196 = 4*h, -a*h - 45 = u - 5*h. Let r be -2*3/u - (-5 - -10). Is r at most as big as -6?
False
Let h = 14/17887 + -154513/174559233. Which is greater: h or 0?
0
Let r(n) = -9*n + 56. Let m be r(5). Let t(y) = -11*y + 46. Let x be t(m). Let w be ((-4)/681)/(50/x). Which is bigger: w or 1?
1
Let f = -2 - -6. Suppose -127 - 1 = f*y. Let v = 127/4 + y. Which is smaller: -1 or v?
-1
Let p = 487 + -340. Let m = 148 - p. Is m less than 2/625?
False
Suppose h = -1, -m - 4*m = 2*h + 2. Let o be 2/(-5 + (-895)/15). Is o greater than or equal to m?
False
Let r(q) = -28*q**2 - q + 2. Let v(w) = w**2 + w. Let n(b) = -r(b) - 3*v(b). Let z be n(-1). Suppose -2*h - 3 + z = 0. Is h > -2?
True
Suppose -62*b = -16*b. Let m = 136022/33 - 4121. Which is greater: b or m?
m
Suppose -6*p - 3*b - 6 = -3*p, 4*p - 4*b + 16 = 0. Let u = 44 - 23. Let v be 2/(-7) - 15/u. Which is smaller: p or v?
p
Let b = -194/29 + 553/87. Let n be (-2)/6 - 2782/6792. Let u = -2/283 + n. Are b and u equal?
False
Let a(z) = 115*z + 231. Let v be a(-2). Is v >= 2/2331?
True
Let x(y) = y**2 - y. Let u be x(1). Suppose 0*i - i = u. Let h = 13080 - 117722/9. Are h and i nonequal?
True
Let p be 4/288*23259 - 2/(-1). Let h = -325 + p. Is 1 != h?
True
Let j be (72/108)/(2/(-3) - -1). Suppose m - 10*d + 147 = -5*d, -j*m - 4*d - 336 = 0. Which is smaller: -163 or m?
-163
Suppose -17*f + 227 = 193. Which is bigger: f or 77/43?
f
Let t = -280/87 - -275974/85695. Which is greater: t or 1?
1
Let p be (-1)/(18/(-10) + 2). Let r(o) be the first derivative of -o**4/4 - 5*o**3/3 + o**2 + 3*o - 169. Let k be r(p). Which is greater: -2 or k?
-2
Let a = 65388 + -65389. Let o be (2 - 6/(-206)) + -2. Which is bigger: a or o?
o
Let c be (-12)/21 - 16852806/(-30143302). Let y = c + 3/6389. Is y greater than 1?
False
Let w = -72.6 - -42.6. Is w at least as big as 0.52?
False
Let h = -52703 + 52718. Suppose 0*k = -k + 24. Which is smaller: k or h?
h
Suppose 0*p - 680 = 17*p. Which is bigger: -36 or p?
-36
Let p = -237 + 85. Let k(j) = j**3 - 15*j**2 + 31*j - 9. Let a be k(11). Is p at least as big as a?
True
Let c = 1983.91 + 519.04. Let l = c + -2435. Let k = l - 68. Is k > -1?
True
Suppose -4*t - 12 = -6*t. Suppose t*x - 4*i = 10*x, 0 = 3*x + 2*i. Which is smaller: 4 or x?
x
Let w = -589 + 585. Let q be 57/6 - 8 - (-6)/w. Which is greater: q or 2/871?
2/871
Let n(g) be the first derivative of 33*g**2 - 50*g + 44. Let m be n(2). Which is bigger: 81 or m?
m
Let m = -6707 - -6707.027. Let c = -18/5 + 116/35. Which is smaller: c or m?
c
Let u be (-33)/(-17) + (-74)/(-1258). Let x be (0 - 16)/u + 7. Is -3/127 < x?
False
Let j(f) = -4*f**3 - 6*f**2 - 5*f. Let u be j(-1). Let p(n) = -22*n + 66. Let s be p(u). Are -1/99 and s nonequal?
True
Suppose -p - 5 + 14 = 0. Suppose 0 = -k + p + 41. Let d be (2/10)/((-10)/k). Are -7/4 and d non-equal?
True
Let n = -371/8 + -21467/56. Is -431 at least as big as n?
False
Suppose 56*y - 6176 = 51*y + 3*g, -3*g + 4930 = 4*y. Is y greater than or equal to 1221?
True
Let j be 1 + -4 - ((964 - 14) + -20). Are j and -4658/5 unequal?
True
Let x(j) = -13*j + 72. Let b be x(12). Let p = 90 + b. Suppose -t + 0 = -5. Which is smaller: t or p?
t
Let c = -27528 + 27528. Are c and -17081 equal?
False
Let o = -4047 - -3973. Which is smaller: o or 4/3?
o
Let c be (-1)/8 - (-43584)/324096. Is c >= -82?
True
Let j = -60 + 94. Let y = -78 - -78.164. Let o = 0.036 + y. Which is bigger: j or o?
j
Let k be 13187 + (-132)/(-99)*63/12. Is k bigger than 13194?
False
Let g be ((-4)/(8/(-26)))/(26/(-3) + 9). Is g not equal to 50?
True
Let n = -27 - -32. Suppose -152 = o - n*o. Suppose 2*h - m = 2*m + 19, -3*h - 5*m = -o. Is h > 11?
False
Let w = -6568.1 - -6567. Which is smaller: w or 0.256?
w
Let f = -3.18 - 45.02. Let c = -48 - f. Is 60 >= c?
True
Let i = 4 + -13. Let a = -426 + 431.86. Let k = -5.66 + a. Is i equal to k?
False
Let k be (2/(-3))/((-2)/31). Let v(t) = -1014*t - 8101. Let m be v(-8). Are k and m unequal?
True
Let n(h) = 2*h - 4. Let d be n(-5). Let o be (2 - d/(-6)) + -1. Let t = -1694.2 - -1694. Which is greater: t or o?
t
Suppose 5*t + 5*o - 181 + 211 = 0, t - 2*o - 9 = 0. Is t greater than -82?
True
Let l = 64 + 63. Let k = -126.99 + l. Let t = -0.39 - k. Is t at most as big as -0.9?
False
Let y = -10349/237615 + -28/1095. Are 0 and y non-equal?
True
Let q = 49/11877 - 13899373/795759. Which is bigger: -16 or q?
-16
Let b(o) = 145*o + 8. Let a be b(7). Let q = 5136/5 - a. Let d = 172 + -168. Which is greater: d or q?
q
Let q = -43571/16 - -2720. Are q and 0.04 nonequal?
True
Let j(s) = -20*s + 8. Let y be j(-4). Let l be y/21*(-9)/12. Let t = -42 + 40. Which is bigger: t or l?
t
Let s = 371/5 + -727/10. Is s at most as big as 5?
True
Let k = 5.1 - 4.9. Let u = 2 + 5. Let p = u + -6. Which is greater: k or p?
p
Let l = -11668.787 - -11675. Let y = 0.013 - l. Let u = -2.2 - y. Which is smaller: u or -0.4?
-0.4
Let y(b) = 2*b**3 + 77*b**2 + 457*b + 22. Let k be y(-8). Is 253 bigger than k?
False
Suppose -125*y = -124*y - 90. Let r be y/108 + 2 + 10/(-6). Does 2 = r?
False
Let i(z) be the second derivative of -z**5/20 + 5*z**3/6 + 7*z**2/2 - 3106*z. Suppose 2 = k - 1. Let w be i(k). Do -39/8 and w have different values?
True
Let l = 953 + -949. Suppose 5*v - 620 = 5*g, -l*g = -13 - 3. Is 131 greater than or equal to v?
True
Let v(u) = 6*u**2 - 3. Let p be v(1). Suppose 15 = -4*n + p*n. Is -18 <= n?
True
Suppose -75515 = 173*o - 764221 + 3626. Which is smaller: 3961 or o?
o
Suppose 0 = 4*u - 2*u - 4*y - 266, 0 = -3*u - 2*y + 415. Suppose 0 = 2*r - 4*x - 70, -2*x = -3*r + u - 28. Which is bigger: 39 or r?
39
Let z be (2/(16/114))/((-59)/236). Do 1 and z have different values?
True
Let h = 35 - 37.01. Let b = 5.01 + h. Which is smaller: -0.3 or b?
-0.3
Let i = -66 - 5. Let a = -70.8 - i. Let t = 1 + 5. Which is smaller: t or a?
a
Let n = 153 + -148. Suppose -4*q = -2*i - 30 - 460, 1205 = -5*i + n*q. Is i at least as big as -237?
True
Suppose 172*n + 182*n = 335*n. Is -20/2447 less than n?
True
Let y be (6/4 + -1)*0. Suppose -12*j - 90 + 102 = y. Is j < 1/696?
False
Let u = -82 + 92.7. Let t = u + -9.7. Which is smaller: -1.49 or t?
-1.49
Let q(n) = n**2 + 11*n + 15. Let g be q(-10). Let t be g/(-5)*(-5 - (-156)/27). Is t bigger than -1?
True
Let h = -76 - 761. Let m be (h/(-1692))/((-4)/32) - -4. Which is smaller: m or 1?
m
Let x be (-386