e 4*i = -5*s - 370, 0*i = -i + 5. Let y be -79*1/(6*8/48). Is s > y?
True
Let w be (-46 - -7)/3*4/1784. Is w less than 1?
True
Let z(f) = 6*f + 10*f - 19*f + 4*f. Let m be z(4). Suppose -c - m = -2*a + 7, 3*c - a = -8. Is -2/79 >= c?
True
Let l be (-24)/(-132) - (-196)/11. Let t be 99/l + 3/(-2). Suppose 2*y + 2 = -t. Which is smaller: 0 or y?
y
Let v(a) = -a**2 - 5*a + 42. Let y be v(-9). Suppose -y*w + 9*w - 3 = 0. Is -2/17 greater than or equal to w?
False
Let n(v) = v**2 - v - 74. Let d be n(-8). Let w be d/1 + (-670)/(-330). Are 0 and w equal?
False
Let g = 4.81 - 5. Let k = -38.19 - g. Let p = k - -37.7. Which is greater: p or 0.1?
0.1
Let c = -8572.83 + 8573. Is c less than 0.14?
False
Let k be 75/6*(-10)/(-125). Let r be 2/5 + 334/(-885). Which is smaller: r or k?
r
Suppose -4*f = -2*f + 26. Let c = -6.2747 + 1.2747. Is f greater than c?
False
Let x be (182/42)/((1 - 3)/42). Is -28 smaller than x?
False
Suppose -46*m = -44*m - 4*n + 18, 4 = n. Is m less than 3/676?
True
Let r be (1559 - -1)*(-58)/116. Let w be 0 - (2/42)/((-10)/r). Which is smaller: w or -2?
w
Let o be 132/20 + 2/5. Let b(v) = -5*v + 78. Let j be b(15). Suppose o*f = y + j*f - 21, 25 = -5*f. Which is bigger: 1/9 or y?
y
Let i = 3928 - 3906. Is i at least as big as 303/13?
False
Let d(r) = r**2 + 2*r + 7. Let w be d(-4). Suppose -w*f = 317 + 73. Which is smaller: f or 0?
f
Let k(n) be the third derivative of -n**5/60 + 3*n**4/8 - 31*n**3/6 - 26*n**2. Let i be k(7). Which is bigger: -19 or i?
i
Let s be (-240)/(-9)*2*9/12. Let w = s + -40. Which is smaller: w or 13/14?
w
Let t = 1 + -2. Suppose 0 = 11*d - 0*d - 22. Let b be (1 + 1)*(14/287)/d. Which is greater: b or t?
b
Let x = -0.2 - -0.4. Let m = 2.309 + 0.211. Let q = -2.36 + m. Which is greater: q or x?
x
Let h = 880.181 - 879. Let u = 12.319 - 12.3. Let m = u + h. Which is greater: m or 1?
m
Let d = -3.1 + 5.37. Let x = -0.23 - d. Suppose 2 = 6*l + 14. Is l at most x?
False
Let z be (-4)/12 + (2 - (-20)/(-12)). Suppose -3 = -2*b + 3*k - 8, z = 5*b - 4*k + 30. Which is smaller: 0.2 or b?
b
Let q = 105.3 - 112. Let i = q + 33.7. Let x = 19.8 - i. Which is greater: -1 or x?
-1
Let a be 234/30 - 4 - (-2)/10. Suppose c = -3*c - 12, -a*z - 1 = 3*c. Suppose -z*p = -p. Is -4 greater than p?
False
Let p(r) = -r**2 + 22*r - 122. Let z be p(9). Let f = -16567/2547 - -17/283. Is z at least as big as f?
True
Let z = -2297 - -2274.064. Let t = 0.064 - z. Let u = t + -19. Is -3 equal to u?
False
Let a = -3923 - -3923. Is a at least -3/806?
True
Let l = 14/79 + 11701/395. Suppose 0 = -5*k + 2*z + 158, 129*k - 3*z + 108 = 133*k. Which is smaller: k or l?
l
Let x = 6523 + -6523. Is -6/335 < x?
True
Let n(o) = 28*o**3 - 10*o**2 + 202*o - 737. Let u be n(4). Which is greater: 1705 or u?
1705
Let l = 2306 + -3920. Do 2 and l have the same value?
False
Suppose 345 = 4*c - 3*z, c + 0*z = -z + 95. Suppose -3*n = -6, 3*f + 4 = 8*f + 2*n. Suppose -3*x + 4*x = -4, f = 5*i + 3*x - 443. Which is smaller: i or c?
c
Let f = -1607 - -1619. Is 339/32 bigger than f?
False
Let a(y) = y**3 + 28*y**2 - 21*y - 97. Let f be a(-29). Let k = f - -330. Which is smaller: k or -1/30?
-1/30
Suppose 5*m - 5*s + 12155 = 0, -7*s + 2431 = -m - 2*s. Which is greater: -2425 or m?
-2425
Let p(v) = -v**2 + 11*v - 17. Let h = 202 + -193. Let s be p(h). Is -4 less than s?
True
Let p = 596 + -598. Let w be 84/(-70)*(37 + p). Which is smaller: -0.02 or w?
w
Let r = -573 - -556.1. Let a = 17.43 + r. Which is bigger: 6 or a?
6
Let w be ((-684)/(-1360))/(6*2/(-184)). Let l be ((-39)/5)/(1 - 0). Let r = w - l. Is 1 at least as big as r?
True
Suppose -3*u = 4*w + 15096, 2*u + 23*w - 25*w = -10050. Which is bigger: -5029 or u?
u
Let o = 2/41 + 19/451. Suppose -4*g + 7*g = 21. Let z be 1/(-6) - g/(-42). Is z greater than or equal to o?
False
Let x be 22/209 + (-110)/(-38). Let j be 2 + x + -2 + (-3 - -91). Is 632/7 at most j?
True
Let w(q) = 11*q + 29. Let j be w(-8). Let c = j + 293/5. Is 43 at most c?
False
Let w(x) be the first derivative of -x**3/3 + x**2 - 2. Let n be w(2). Let t be (16/342)/((-59)/(-531)). Which is smaller: n or t?
n
Let v(s) = -7*s**2 + 8*s - 11. Let c(t) = -11 - 33*t - 8*t**2 + 20*t + 20*t. Let i(m) = 6*c(m) - 7*v(m). Let w be i(12). Is w < -14?
False
Suppose 0 = -2*g - u - 396 - 137, -g + 3*u - 249 = 0. Which is bigger: -259 or g?
-259
Let i be 3/36*6*(-3)/6. Let k = 18.8 + -34. Let s = k + 15. Which is greater: i or s?
s
Let p(x) = -67*x**3 - 460*x**2 + 15*x + 37. Let k be p(-7). Which is bigger: k or 414?
414
Suppose 2*p = 2*k + 70, -134 = -4*p + 3*k - k. Let n be (-6)/27 + ((-1576)/(-45) - 4). Is p >= n?
True
Let h(u) = -145*u - 11439. Let p be h(-79). Suppose 64 = 4*a + 2*l, -5*a = l + 2*l - 81. Is p bigger than a?
True
Let r(m) = m**3 - 45*m**2 + 19*m - 177. Let y be r(18). Which is greater: y or -8582?
-8582
Suppose -30 = 4*p - 390. Let x = 84 - p. Let f be (-444)/9 + (-2)/x*-2. Which is greater: f or -51?
f
Suppose -4*t + 3*t = 0. Suppose 41 = -25*p - 28 - 6. Which is greater: t or p?
t
Let w = -93437732/235 - -397614. Let d = w + 8/47. Is 6 at most as big as d?
True
Let d be 12 + 5/(-2)*2. Let c be (-9 + d)/(-2 + 0). Let f = c + 24. Are 24 and f non-equal?
True
Let u(a) = 2*a**3 - 60*a**2 + 4. Let n be u(30). Let i be 186/3565*(-4 + (n - 2)). Are -1 and i nonequal?
True
Let p = 3/3173 + 2093/1142280. Are 0.02 and p non-equal?
True
Suppose -28257 + 3548 = 15*m + 21971. Which is smaller: m or -3110?
m
Let k(d) = -d**2 + 7*d - 10. Let p be k(4). Let c be (-5 + 10)/(2/(4/p)). Suppose -c*v = 3*t - 40, 0 = -9*t + 6*t + 2*v + 5. Is 2 greater than t?
False
Let p = -24993.3272 - -24993. Which is smaller: -1 or p?
-1
Let u = 1 + 0. Let j be 2 - (-5)/(10325/(-3280)). Let c = 3/7 - j. Which is greater: u or c?
u
Let v = 21.3 - 20.33. Let a = v + 3.73. Let p = -6.7 + a. Is -13 smaller than p?
True
Let l = -0.0994 + 34.9594. Is -1 at most as big as l?
True
Let f be 50/225 - 187/(-9). Suppose f*a - 1792 = 7*a. Is 128 greater than or equal to a?
True
Let f be (-16)/6*(-492)/82. Are f and 18 equal?
False
Let r be (-1 - -2)*(1 + -3). Let t be -2*(-1)/r*10. Let a = 268 + -274. Which is greater: a or t?
a
Suppose 0*w + 3*w + 2*t = -8, -3*w - 4*t + 2 = 0. Let z = 8 + w. Let b = -0.111 - 11.889. Is z < b?
False
Let x = 126255829/22 - 5737479. Let s = -1423 + x. Which is smaller: -2 or s?
-2
Suppose 2*y - 131 = 5. Let l = 86 + y. Are l and 153 equal?
False
Let w = 1166.9 - 860.01. Let c = 307 - w. Is -6 bigger than c?
False
Let x be (12/15)/((-60)/6002). Let i = -80 - x. Let t(l) = -10*l**2 - 306*l + 124. Let k be t(-31). Is i less than or equal to k?
False
Let d(u) = -u**3 - 55*u**2 - 108*u - 107. Let h be d(-53). Is 12/41 smaller than h?
False
Suppose 23 = q + r + 10, -3*q = 4*r - 43. Suppose 29 - 2 = -q*c. Is c equal to -22?
False
Suppose -4*b + 5*b + 10 = 2*a, -6 = 3*b. Suppose 2*z + 2*t + 40 = 8, 0 = -a*t + 8. Let r = 20 + -39. Is r equal to z?
False
Suppose 4*o + 8 = 0, q - 4*o + 11 = 10. Let g be 21/(-18)*-3*(-180)/63. Which is greater: g or q?
q
Let k = -17 - -6. Let i(p) = -p**2 - 109*p + 1590. Let r be i(-122). Is k greater than r?
False
Let m(c) = -18*c + 1367. Let o be m(70). Is o equal to 98?
False
Let d = -1920.57 - -1937. Let n = 29 - 29.57. Let i = n - d. Are i and 1/4 equal?
False
Suppose 13*z + 412*z - 55251 + 11901 = 0. Which is smaller: z or 708/7?
708/7
Suppose 2*i + 2*d - 956 = 0, 7*d - 470 = -i + 10*d. Do 481 and i have different values?
True
Let i(v) = 18*v**2 + 694*v + 289. Let u be i(-38). Do u and -7 have different values?
True
Suppose 2*y + 0*l - 21 = l, -5*y + 5*l + 65 = 0. Suppose -33*j + 36*j = 0. Suppose -p = -3*x - j + 30, -3*p - 27 = -2*x. Which is greater: y or x?
x
Let a be ((-40)/220)/((-5)/((-190)/4)) - 4. Let f = 0.18 + -0.08. Is a smaller than f?
True
Let u = -916 - -913. Let y = -0.14 - -11.14. Let n = y + u. Is -0.2 at most as big as n?
True
Let c be (-15)/((-165)/(-154)) + 845. Is 831 not equal to c?
False
Let r be ((-2)/66)/(10*1/90). Is -5 at most r?
True
Let m = -3184 - -3184. Is 5/237 <= m?
False
Let d(u) = -36*u - 127. Let b be d(-5). Is b greater than or equal to 41?
True
Let v = -10719 + 53531/5. Which is smaller: -14 or v?
-14
Let j = 6 - -0.5. Let m = -30.1 - -36.6. Let y = m - j. Is 12 at most y?
False
Let u =