ose 3*a + 2724 = 9*a. Suppose 5*c = 3*c - a. Is c bigger than -227?
False
Let s be -3*(1926/(-54) - -5). Is s less than or equal to 190?
True
Let b = 401 + -399.635. Let n = 0.145 - b. Let t = n - -2.12. Is t > 2/9?
True
Let o = -331 - -372.3. Let w = o - 52.3. Let c = 3/7 - -1/14. Is c > w?
True
Suppose 6*d - 7*d + 2*p - 3 = 0, -2*d - 1 = -3*p. Suppose 21*s - d*s + 434 = 0. Which is smaller: s or -30?
s
Let v(k) = -k**3 + 14*k**2 + 33*k - 16. Let t be v(16). Let z = -392309/44 + 8917. Which is bigger: t or z?
z
Let k = -1 + 2. Let s = 3/6866 + -27527/144186. Is s at least k?
False
Let b = -3 + -36. Let a = 37 + b. Let x = -0.18 - 18.82. Are a and x unequal?
True
Let p = -8 + 7.8. Let c = -0.0043 - -0.4543. Let m = 44.45 - c. Are p and m equal?
False
Let i = 32424 + -42620. Which is greater: -10197 or i?
i
Let y = 150 + 81. Let p = y + -204. Which is smaller: 129/5 or p?
129/5
Let f be (-544)/(-18) - 4/18. Suppose -3*i + 2*i - 4 = 4*t, 0 = -4*i + 4*t + 44. Let g be (-4)/(((-36)/(-6) + -7)/i). Do f and g have the same value?
False
Suppose 5 + 5 = 2*z. Let k(f) = f**3 - 19*f**2 - 20*f + 5. Suppose 4*p - 50 = 30. Let n be k(p). Does z = n?
True
Let x = 51 + -50.824. Let s = 9.176 - x. Which is bigger: 7 or s?
s
Let y(b) = 2*b + 11. Let w be y(-6). Let m be 63/w + 1/(-1). Let c be 6/(-21) - m/126. Which is bigger: c or -0.2?
c
Let h = -44115.91 - -43739. Let r = h + 377. Is -7 != r?
True
Let u = 867 - -2797. Is 3664 >= u?
True
Suppose 125 = -g + 6*g. Suppose -20 + 7 = -3*w - 2*v, 5*v - g = -5*w. Let k be 25 - (1 + -1 + w + -4). Which is smaller: 25 or k?
25
Let k = -24.261 - -24.3. Let t = -0.9 + 1. Which is bigger: k or t?
t
Suppose -2*x = 5*u + 12594, 66*x - 50*x + u = -100830. Is -6302 at most as big as x?
True
Let y be ((-232180)/(-1952))/95 + (-10)/8. Let i be 5/((-5)/(-2)) + -3. Which is smaller: y or i?
i
Suppose 0 = -5*p + 225 - 70. Let o = 27 - p. Let t(l) = -l**3 - 9*l**2 - 15*l - 7. Let r be t(-7). Which is greater: o or r?
r
Suppose 10847*f - 10863*f = 34704. Is f at least as big as -2168?
False
Let h = -495/7 + 71. Suppose -905 = -2*w + 253. Let r = -4071/7 + w. Which is bigger: h or r?
h
Let z be (-820)/(-20) + 2/(4 + -2). Let j be (-2)/5*4*-10. Suppose 2*q = j + z. Is q <= 28?
False
Suppose -4*j + 7 = 3*y + 28, y - 13 = 2*j. Let m be ((-374)/275*-10)/(j/(-10)). Is 22 less than m?
True
Let s = 0.018 - 403.018. Let d = s + 377. Is -2 at least as big as d?
True
Let j = 955 - 955. Is 9/490 at least j?
True
Let u = 2841/2 + -1421. Which is bigger: 16312 or u?
16312
Let w be (39/(-6656))/((-60)/(-16)). Is -1 not equal to w?
True
Let g be 68 + 54/9 - 7. Suppose 67 = -8*a + 9*a. Is a equal to g?
True
Let p(l) = 28*l - 2133. Let n be p(77). Is n greater than or equal to 41?
False
Let c be 1057/(-2) - (-1)/(-2). Let s(w) = -41*w**2 + 16526*w - 1737. Let q be s(403). Is c less than q?
True
Suppose 0 = -3*f + 4*k + 116, -6*k + 5*k - 146 = -4*f. Let h = 32 - 0. Which is smaller: h or f?
h
Suppose -41*m - 63 = 19. Let g(a) = -a**3 - 3*a**2. Let p be g(-3). Let c be (-150)/4 - 1/(m + p). Which is bigger: -38 or c?
c
Let y(c) = 125*c - 387. Let u be y(2). Which is smaller: u or -122?
u
Let i be (-10)/(-27 - -17)*89. Is i != 88?
True
Let n = 176 + -176.79. Let g = -0.89 - n. Is -26 less than g?
True
Suppose 2*c = -0*c - 0*c - c. Is c at least 2/623?
False
Let j = -270558/11 + 24540. Which is smaller: -57 or j?
-57
Let t = -12 + 16. Suppose 0 = -t*r - 19 + 63. Let s = -713 - -722. Is s at most as big as r?
True
Suppose -3 = 3*t + 18*z - 15*z, 4*t - 1 = z. Let n be 3/(-12)*t - -1. Is 1/127 less than or equal to n?
True
Let y = -0.3005 - -7.3005. Let z = -13447 + 13454.013. Let k = y - z. Which is smaller: -0.1 or k?
-0.1
Suppose 3*u + 2*u = 0. Let y be (-2)/276*-3*800/(-20). Is y at least as big as u?
False
Let a = -70.9 + 71.9. Is 131/4 at least a?
True
Suppose 0 = -3*n + 4 - 1. Let p be (8/28)/(2760/932). Let x = p - 1/105. Does x = n?
False
Let p = 3.2 + -3.03. Let q = -2253 - -2249. Is p equal to q?
False
Suppose -11*j = 8564 + 63409. Is j > -6544?
True
Let k = 10317 - 30949/3. Which is smaller: 6/899 or k?
6/899
Let i = 95.9 - -0.1. Let j = -95.22 + i. Let y = 0.22 + j. Is y <= -3/19?
False
Suppose 124 = 3*r - 5*q, 4*r - 34 = 5*q + 138. Suppose -121 = -3*u - 5*o, 4*o = 6*o + 8. Are u and r unequal?
True
Let m(f) = -39*f**2 + 5*f + 2. Let s be m(-3). Suppose -t = -3*p + 7, -2*p - 7*t = -10*t + 7. Let u be 2/p - (s/8 + 5). Is 41 at most as big as u?
True
Suppose -35*a + 98*a + 38884 = -24305. Is a at least -1002?
False
Let m = 0.41 - 0.31. Suppose 58*n + 13884 = -31*n. Which is bigger: n or m?
m
Let f = 44115153/2335 - 18893. Is 1 > f?
True
Let l = -6.545 + 0.095. Let z = -6.3 - l. Let o = 16.15 - z. Which is smaller: -2/3 or o?
-2/3
Let i = 0.98 + -1.14. Let s(p) = 16*p + 192. Let u be s(-12). Which is greater: u or i?
u
Let o(a) = -7*a - 32. Suppose i - 2*t = -2, 13 = 2*i + 2*i - t. Let n = i - 8. Let p be o(n). Is -11/3 at least as big as p?
True
Let x be (-5 + 4)/1 + 57. Suppose 13*i - 420 = -x. Which is smaller: i or 147/5?
i
Let h = -8/5899 + 284632/1091315. Which is smaller: h or -1?
-1
Let y = -855 + 601. Let m = 285 + y. Is m at least as big as 185/6?
True
Let d = -1 + 2. Let x be 5/((-32940)/16478) - 15/(-6). Let g = x + 3845/1647. Is g less than d?
False
Let l = -618329/936 + 5285/8. Which is smaller: -5 or l?
-5
Let t(c) = -c**2 + 24*c + 55. Let l be t(26). Suppose -5*h = -l*p + 382, 6*p - 7*p + 5*h + 134 = 0. Is p at least as big as 124?
True
Suppose 11*s = 16*s + 3*d - 4, 5*s + 2 = -d. Which is greater: s or -1/6665?
-1/6665
Let z(b) = 9*b + 1. Let h be z(-5). Let p = -2960 + 2962. Which is bigger: p or h?
p
Let s be 10/((-910)/481) - (-4)/14. Let q be 50/60 + s/6. Is -1/159 equal to q?
False
Suppose 5*f = -u - 760, 459 = -3*u + 4*f - 1726. Let o be (-618)/u*(-20)/(-922). Let a = o - -1/461. Which is greater: a or 1?
1
Let p = -587 + 12337/21. Let c = 59/168 - p. Let u = -869 - -869. Is u < c?
False
Let y be -2 + 2 - (-12 + 10)/(-4). Which is greater: y or -59?
y
Let b = -1136 + 1135. Is 4/953 at least as big as b?
True
Let m be ((-12)/(-9)*-9)/(3/(-8)). Suppose 4*s + 0*s = -m. Let n be 51*s/12*-1. Which is bigger: 35 or n?
35
Let b = 229 + -227. Suppose -6 - b = 2*w, l + 3*w + 220 = 0. Is l equal to -208?
True
Let w = 100 + -127. Which is smaller: -38 or w?
-38
Let k = -5169/2002 - -18/7. Which is smaller: 1 or k?
k
Suppose -17523 = -412*z + 423*z. Are -1589 and z equal?
False
Let i = -1707/580 + 63/20. Let q(v) = 13*v - 26. Let a be q(2). Is a at most i?
True
Let g = 5051 + -70939/14. Is -15 greater than g?
True
Let o = 278 - 302. Let w = -23.9 - o. Which is bigger: w or -78?
w
Let r = 616 + -136753/222. Let f = r - 6/37. Suppose -4*z = 5*q + 14, -13*z + 12*z = -5*q - 9. Is z at most f?
True
Suppose 0 = -68*s + 48*s - 7000. Which is smaller: -2446/7 or s?
s
Let d = 428 + -443. Is -7 at least d?
True
Let h(k) be the third derivative of -4/3*k**3 + 0*k + 0 - 1/60*k**5 + 7/24*k**4 - 5*k**2. Let v be h(7). Which is greater: -5 or v?
-5
Let u = -5563 + 5589. Which is smaller: 539/20 or u?
u
Let r be (-3208)/(-14) + 1302/1519. Which is smaller: r or 236?
r
Let c = -0.095 + -0.015. Suppose 2*i = 1 + 7. Let q = i + -38/9. Are q and c non-equal?
True
Let a be ((-156)/(-9))/4*3. Let x(q) = -21 - 2*q - q - 5*q - 6*q + 16*q. Let g be x(a). Is 6 < g?
False
Let k = 354 - 343. Let o = -913 + 926. Which is greater: k or o?
o
Suppose -3*d = t + 10, -t - 8*d + 4 = -12*d. Which is smaller: 158 or t?
t
Let x = 53 + -51. Suppose 3*c + 2*m - 44 = 0, c + m - 18 = x*m. Let z(t) = 2*t - 17. Let f be z(c). Is 2/3 greater than f?
False
Let r = -2189 - -2189. Let y be 17/4 - (-1)/(-4). Let d be y - r*(-5)/(-10). Is d at most as big as 4?
True
Let b = -672/11 + 269450/4411. Let c = -43298/2005 + b. Is -21 at least c?
True
Let u(i) = -9*i - 4. Let z be (1 + -3)/2 - 1. Let p be u(z). Suppose -4*y + 6 = p. Which is bigger: y or -7?
y
Let w = 389 - 391. Let r be (-1 - w - 1)/(0 - -2). Does r = 6/73?
False
Let f = -6557 - -6792. Which is smaller: f or 229?
229
Let c = 3.634 + 0.066. Let n = 541 + -352. Let p = -189 + n. Is c at most p?
False
Let n = -2527 - -427064/169. Suppose 8*z = 13 - 5. Which is bigger: z or n?
z
Let f be (-28)/8*8 - -4. Let t be (-4)/6 + 