se -5*c = -64 + p. Let x be c/2 + (-8 - -37). Is x greater than or equal to 35?
False
Let p be ((-1)/24)/(18 + 4650/(-234)). Is p less than 0?
False
Let y = -61 - -56. Let q be -1 - (3 + y) - -1. Suppose -26 = -q*s - 6. Is 10 at most as big as s?
True
Suppose -8 = 2*a, -3*l + 5*a + 242 = -75. Let g be 18/l + 260/22. Suppose 2*j = -4 + g, -5*y = 5*j - 70. Which is greater: y or 8?
y
Let q = -665 + 661. Let y(h) be the third derivative of -h**4/8 - 2*h**3 - h**2. Let i be y(q). Is -5/13 at most i?
True
Let w = -7647 - -12992255/1699. Is w at least as big as 1?
False
Let t be -5*(1 + -1 + -1) + (145 - 139). Which is greater: t or -151?
t
Suppose 5*m - 2*z - 6014 = -1465, 3*z = -21. Are m and 907 nonequal?
False
Let o be ((-2)/8)/(27/108). Let q be (0*o/3)/(-1). Is q > 7/9?
False
Let v = 294.4 - 272.32. Which is greater: v or -1/4?
v
Let u = -71 + 76. Suppose -10 = 3*p + 2*v, -5*v - 5 - u = 0. Is p less than -2?
False
Suppose -2*l - 7*v = -10*v - 423, 3*l - 612 = -3*v. Let f = l + -206. Is f > 2/69?
True
Let b be 2/(-5) - (28 - (-304)/(-10)). Which is smaller: b or 16/9?
16/9
Suppose 21*r - 15712 - 10559 = 0. Let y = r + -709. Is y < 542?
False
Suppose 0 = 33*l - 16*l - 2499. Suppose 3*o - 366 = 2*c, -3*o - 36 = c + l. Is c at most -183?
True
Let m = 349307/216 - 1617. Is -1 bigger than m?
False
Suppose 0 = 3*a - 3*l - 30, -l + 15 = 2*l. Suppose 4*k = -k - a. Let b be (-5796)/280*2 - -37. Which is smaller: b or k?
b
Suppose -74*o + 72*o - 248 = 0. Let b = 125 + o. Let z be (b/2)/((-2)/4). Which is smaller: z or -1/23?
z
Let b = 500 + -498. Suppose o + 3*z = -358, b*o - 2*z + 538 + 186 = 0. Is -361 >= o?
True
Suppose 74*b + 8*b + 3393 = -5*b. Is -55 < b?
True
Suppose -h - b = -2*h + 14, 0 = -b + 5. Let m(n) = -4*n + 47. Let i be m(h). Is -41 bigger than i?
False
Let b = 0.17 - 0.37. Let s = -0.1959 - 7.8041. Which is smaller: b or s?
s
Let y be (-122)/(-8) - (-1)/(-4). Suppose 0 = b - 11*c + 8*c + 12, 0 = -b - c + 8. Suppose -b*q = -l + 7, 30*l - 28*l = q + 24. Does l = y?
False
Let u = 2323 + -959. Let z be (u/(-310))/(((-4)/(-10))/(-1)). Let j be 3 + (-5)/z*8. Is j less than -1?
False
Let s(b) = -22*b**3 + 18*b**2 - 21*b - 20. Let u be s(2). Do u and 0.41 have the same value?
False
Let o = -2.1861 + 2.7861. Let i = -3 - -3.9. Is i < o?
False
Let k(n) be the first derivative of 2*n**3/3 - 9*n**2/2 - 59*n + 61. Let b be k(-4). Which is bigger: 7 or b?
b
Let u(i) = i**2 + 5*i + 1. Let t be u(-5). Let q be 3 - (-2)/(-2) - t. Let j be (3136/288 + -11)/((-14)/(-12)). Is q at least as big as j?
True
Let u = 478 + -416. Let f = -6725 + 6787.09. Let y = u - f. Which is smaller: y or 0?
y
Suppose -3*o + 3*r - 7*r - 4 = 0, 0 = -5*o + 4*r - 60. Let a = o + 10. Suppose 5*t = a*t + 3. Which is smaller: -1/51 or t?
-1/51
Let r be (3012/3015 + -1)/(172/(-129)). Which is smaller: 0 or r?
0
Suppose 0 = l + 14 - 7. Let c(g) = -g**3 - 8*g**2 + 8*g - 38. Let s be c(l). Is s greater than -143?
False
Let z be -240*(2/10 - 1). Let h be (34/85 - (-1442)/(-5))/(12/(-8)). Are z and h equal?
True
Let d(i) = 26*i - 36. Let f be d(1). Are f and -352/37 equal?
False
Let s be 275/(((-7)/(-42))/(3/(-9))). Is -1/2 less than s?
False
Suppose -12*x + 23*x - 132 = 0. Let h be ((-140)/(-80))/((-1)/x). Let l(p) = p**2 - 10*p + 2. Let r be l(7). Is r at least h?
True
Let q(j) = -j**3 + 4*j**2 - j + 6. Let f be q(4). Let x = 1 - 15. Let v = x - -12.6. Are f and v non-equal?
True
Suppose -11*s + 7*s - 2*b = -30, 2*s - 3*b = -5. Let i be 3/(-2) - (-3)/2. Suppose -5 = s*r - i*r. Is -6 not equal to r?
True
Let k = -37 + 37. Let a(f) = -2*f**2 + 2*f + 105. Let r be a(k). Let o be 4/((5/(-65))/(-2 + 0)). Which is greater: o or r?
r
Let o = 8.9 + -5.644. Let q = o - 0.256. Let w = 10.22 - 0.22. Which is smaller: w or q?
q
Let x = 358 - 91. Let z = 258.9 - x. Which is bigger: z or -0.2?
-0.2
Let b be ((-11)/(-22))/((-2)/(-12)) - 9. Let k be (30/840)/(b + -1). Which is smaller: k or 0?
k
Let y be ((-1)/(-2))/((-26)/(-12)). Let z = 1056615.9 - 1056616. Is y > z?
True
Let j = -60 - -67. Let c(d) = d**2 - 5*d - 4. Let w be c(j). Suppose 0 = -2*s - o + w, -4*o = -4*s + o + 6. Is s bigger than 2?
True
Suppose 1783 = 5*c - 662. Let b = -580 + c. Which is smaller: b or -93?
-93
Let t = 171 + -164. Suppose 0 = -6*v - 1 + t. Is v at most -2/75?
False
Let r = 201 - 20. Let p = 120 - r. Which is bigger: p or -59?
-59
Let g be 1 - 4/3*45/60. Suppose g = -24*m + 13*m. Is 14/47 != m?
True
Let v be (96/36 - 4)*(-23208)/4. Which is bigger: v or 7737?
7737
Let h(u) = u**3 - u**2 - 6*u + 11. Let o be h(2). Suppose 0*p = -o*x - 2*p - 37, 10 = -5*p. Is -61/6 greater than or equal to x?
True
Suppose 5 + 1 = -w. Let q be (-9 - w)/((-1)/(-9)). Let b = 82/3 + q. Which is greater: -1.1 or b?
b
Let j = -4062.9 + 4067.9. Let x be 118/28 + (-4)/(-14). Is j smaller than x?
False
Suppose -98892 + 28955 = -97*a. Is 723 at most a?
False
Let m(v) = 25*v**2 - 21*v - 57. Let r be m(-12). Suppose 74*t = 85*t + r. Is t <= -344?
True
Suppose 6*b - 1955 - 1813 = 0. Let o = b - 629. Which is smaller: -5/32 or o?
o
Let l be ((-57)/(-219))/(9 - 187/22). Which is smaller: l or 2?
l
Let t = -152.38 + 159.38. Let m = 3.07 + -0.07. Let n = -6 + m. Is t greater than or equal to n?
True
Suppose 30*j - 29*j + 10 = 2*l, l + j - 5 = 0. Suppose 66 = -4*i + 2*b, l*i + 2*b - 3*b = -87. Which is greater: 5 or i?
5
Let h = 14.51 - 14.37. Which is smaller: -122 or h?
-122
Let g = -76.5 + 75.5. Let q = 9.148 + -0.148. Which is bigger: g or q?
q
Let y be (-9)/((-198)/4) - 102/682. Let q = -28/93 - y. Are 57.5 and q nonequal?
True
Suppose 0 = -5*q + 4*j + 4, j - 1 = 3. Let x be 3 - (q - (-65)/(-90)). Let g(i) = i**3 + 6*i**2 + 6*i + 5. Let f be g(-5). Is x > f?
False
Suppose 0 = -3*y - 652 + 661, -5*g + 36 = 2*y. Do -1224 and g have different values?
True
Let c = -5805 + 4499. Is 3/2 greater than or equal to c?
True
Let l be (43/(-5))/((-47)/(-5) + -9). Suppose -u - 35 - 11 = 2*v, 0 = -4*v + 5*u - 64. Is l equal to v?
False
Let q be (-25 + 11)*1/27. Let r = q + 44/189. Let k = 7.07 + -7. Which is smaller: r or k?
r
Let p(j) = 14*j - 36. Let t(a) = -266*a + 686. Let g(y) = 77*p(y) + 4*t(y). Let l be g(-16). Let m be (-2)/7 + (-6)/(l/642). Are 10 and m nonequal?
True
Let y be 4 - ((-26)/6)/(-1). Let n = 1.542 + -1.52. Let z = 48.022 - n. Is y not equal to z?
True
Let t = -0.09592 + 1028.09592. Which is greater: t or -12?
t
Let g(f) = -f**2 + 15*f - 23. Suppose 77 = 10*a - 3*a. Let m be g(a). Let t be ((-10)/4)/((-3)/m). Which is smaller: 18 or t?
t
Let n = 0.78 - 1.7. Let p = 0.53 + n. Let i = 1.61 - p. Which is smaller: i or -0.11?
-0.11
Suppose 0 = -3*q + 2*y + 56, q - 42 = -5*y - 12. Let j be 45/25*(q/7 + -3). Is 1 bigger than j?
True
Let o be (84438/(-45))/(1/(-5)) - 2. Suppose -o = 5*y + 2*y. Let s be 1 - (-1052)/y - 3/15. Which is smaller: s or 1?
s
Suppose 0*d - d = -2*p - 10, d = -3*p - 20. Let o be p/(-3 - -6) + 14 + 37. Which is bigger: o or 46?
o
Let y be (-4)/(-3) - 16865/12615. Which is greater: -1 or y?
y
Let n = -2161 + 3435. Suppose -13*o = -0*o + n. Is -99 != o?
True
Let i be ((-52)/(-9) - 18/(-81)) + 1. Let o(j) = -j - 2. Let v be o(-9). Let u be (-2)/7 + 37/v. Is i at least u?
True
Let m be 10/((-20)/6) - (-3398)/20*6. Which is greater: 1015 or m?
m
Suppose 5*t = -p - 12, 0 = -5*t + 2*p - 7*p - 20. Let y(x) = -31*x**2 - x - 2. Let d be y(-1). Let n be 16/120 - d/(-15). Is n at most t?
True
Let m be 10 + -12 - (-82 + 1). Let l = -909 - -989. Which is smaller: m or l?
m
Let b = -6.69 + 6.653. Let h = b + -1.963. Is h equal to -0.141?
False
Suppose -161*t + 925 = 925. Is t bigger than 1/16104?
False
Suppose -31*b - 1035 = 143. Which is greater: -2 or b?
-2
Let a = 1.48 + -0.54. Let t = a + -0.94. Are t and -5/18 non-equal?
True
Let u = 0.0536 - -251.9464. Let d = 252.5 - u. Is -56 greater than d?
False
Suppose -9 = 3*m, 5*g - 18 = 2*g + m. Suppose h - 200 = -0*b - g*b, h - 83 = -2*b. Let k be b/(-17) + (-12)/(-6). Which is smaller: -1 or k?
-1
Suppose 12*b + 544 = 14*b + 2*a, -2*b - 3*a = -541. Let z be 11/(b/(-740))*10. Which is greater: -297 or z?
z
Let r(l) = l**3 - 6*l**2 - 6*l - 13. Let s be r(7). Let p be 4/s*(2 - -1). Let j be (-16)/4 + (-10)/p. Which is smaller: j or -1/4?
-1/4
Let p be -1 - -5 - (-85 - -114). Let m(t) = -t**2 