-60))/(-7). Let h = -34 - -58. Suppose -4*k = -4*q + h, -3*q + 5 + 1 = 0. Which is smaller: k or g?
k
Let o be (-2)/1 + (-14 - -21). Suppose -4*t - 5*l + 5 = 1, 2*t = o*l - 28. Let n = 23/10 + -14/5. Which is greater: n or t?
n
Let a = 1995/11 - 428903/2365. Which is smaller: -1 or a?
-1
Let m = 56.955 + -57. Let i = 0.555 - m. Is i at least 0?
True
Let d be (1 - -2) + 34335/(-12078). Let f = 3/122 + d. Let o(r) = r**2 - 2*r - 4. Let h be o(3). Which is greater: h or f?
f
Suppose 0 = 2*m - 6*m - n + 419, 3*n - 207 = -2*m. Let z be 3 - (m/(-6))/(-5). Which is smaller: -0.09 or z?
z
Let s = 0 - 0. Let y(a) be the first derivative of -a**3/3 + 5*a**2/2 + 13. Let f be y(4). Which is smaller: f or s?
s
Suppose -7*j = 98 + 476. Is 1/2 greater than or equal to j?
True
Suppose 3*n - 78 - 105 = 0. Suppose 2*y = -n + 93. Is 15 less than y?
True
Let p = -2886/7 - -447288/1085. Which is smaller: p or -1?
-1
Suppose -3*n + 354 = -6*n - 4*v, 2*n + 256 = 4*v. Let t = n - -215. Let j = -283/3 + t. Is -2 equal to j?
False
Let w(u) = -u**3 - 13*u**2 - 10*u + 17. Let d be w(-12). Let b = 21 + d. Let y = b - 8. Is 6 less than or equal to y?
True
Suppose -394 = 3*p - 70. Let z = p - -158. Is 49 > z?
False
Suppose 8*s = 48, 237 - 255 = 4*m + 5*s. Let a be 186/(-14) - (-4)/14. Which is smaller: m or a?
a
Let w(a) = -2*a**3 - 6*a**2 + 2*a. Let p be w(-8). Is 624 not equal to p?
False
Let b(q) = q**3 + 4*q**2 - q - 3. Suppose -7 + 13 = -2*f. Let v be b(f). Let k be (-6)/v - 5/(-15). Are k and 2/15 unequal?
True
Let l(w) = -w**3 - 6*w**2 - 2*w + 1. Let m be l(-5). Let z be m/35*10/6. Is z > 0.01?
False
Let y = -18469/10404 + -3/1156. Is y not equal to -2?
True
Let p be 3240/(-200) + -3*1. Is p at least as big as -18?
False
Suppose -56*m + 139 = 27. Let o be 1 + 35/23 + -2. Which is bigger: o or m?
m
Let m(r) = r**2 - 4*r - 5. Let z be m(5). Suppose z = -4*l - 15 - 65. Is -20 greater than or equal to l?
True
Let j(o) = 3*o - 18. Let s be j(3). Is -6 less than s?
False
Let y = -6.8 + 11. Is y >= 3?
True
Let m = -2457 - -17228/7. Is 4 greater than m?
False
Let p(v) = -4*v**3 - 5*v**2 + 5*v - 7. Let o(l) = l**3. Let n(g) = 5*o(g) + p(g). Let b be n(4). Suppose -z - 4 = -3*z + 5*s, -5*z + 3*s - 9 = 0. Is b > z?
False
Suppose 5 = 2*o - 2*a + 3, -o + 4*a + 1 = 0. Let y = -31 - -28. Let v be (0/y)/(6/3). Does v = o?
False
Let m(g) = g**3 - 14*g**2 + g + 66. Let z be m(14). Is 80 > z?
False
Let h = -17 + 16.5. Let a = -1.5 + h. Is a greater than -5?
True
Let k(c) = -2*c**2 + 7*c - 49. Let n be k(5). Which is greater: n or -65?
n
Let d be (-111)/(-4) + 8/32. Let r = 26 - d. Is r greater than -3?
True
Suppose -5*o + 1526 = -n, -2*o = -12 + 18. Is -1 at least n?
True
Let q = -0.7 - 1.8. Let i = 8.5 + -7. Let y = i + q. Which is smaller: y or -10?
-10
Let j(y) = -5*y + 201. Let i be j(40). Is i >= -3/419?
True
Let n(r) = -830*r + 154. Let j be n(-2). Is j bigger than 1815?
False
Let v = -36 + 87. Let p = v + -60. Is p less than or equal to -9?
True
Let h(g) = g**2 - 5*g - 73. Let w be h(11). Are -6 and w non-equal?
True
Let d = 2 + 10. Suppose -d + 0 = -4*r. Suppose k - r = -2*k. Is k bigger than 1?
False
Let y = 57 - 69. Is y != 0.1?
True
Suppose -3*a - q + 5 = a, -10 = -2*a - 2*q. Suppose 0 = 5*s - a + 10. Suppose 28*z = -129*z + 628. Are s and z equal?
False
Let p(m) = 2*m**3 - 5*m**2 - 8*m - 62. Let c be p(10). Which is smaller: c or 1356?
1356
Suppose 0 = 3*h + 3*w + 15, -2*w + 2 - 4 = h. Let q be ((-17)/h)/(9/18). Which is greater: 4 or q?
q
Let y be (-10 + 2)/(14/749). Let q = y + 3860/9. Is q greater than 1?
False
Let r = -1793/2 - -28271/30. Let l = -46 + r. Which is smaller: 1 or l?
l
Let y(z) = -z**3 + 6*z**2 + 8. Let t be y(6). Let b = 894 + -893.9. Is b bigger than t?
False
Suppose 5*v = 58 - 63. Let s(t) = 8*t + 5. Let j be s(v). Is -40/9 >= j?
False
Suppose -256 = -7*j - 18. Is j greater than or equal to 32?
True
Suppose -2*s = h - 77, 5*h - 360 = -0*h - 5*s. Suppose -h = -5*x + 98. Which is bigger: x or 0.1?
x
Suppose -5*t + 3*o = -60, -4*t + 21 = -5*o - 27. Let z = -23 + t. Which is smaller: z or -9?
z
Let s = 6.9 + -7. Suppose 2*j + 16 = 12. Let m be (8 - 10)/(j - -33). Is m at least as big as s?
True
Suppose -3*b + 564 = 4*z, -b + 6*b + z - 923 = 0. Which is smaller: b or 188?
b
Suppose f - 538 = -811. Which is smaller: f or 2?
f
Suppose 4*a + 60 = -6*a. Let b = a - -42. Is 35 > b?
False
Let r = -1161 - -1162. Let y be (-75)/4 - 2/8. Is y equal to r?
False
Let i = 0.36 - 0.21. Let v = i + 0.35. Let m = 0.38 - -0.02. Is m smaller than v?
True
Let g be (-15 + 13)*(-1)/2. Let q be 56/(-77) + 2/3. Is g bigger than q?
True
Let y = -531 - -636. Is 105 at least y?
True
Let a be (12/4)/3 - -4. Suppose -8 = a*w - 93. Let q = -17 + w. Is q at least as big as -7/5?
True
Suppose 3*m = 5*z - 405, 2*m + 3*m = -3*z - 709. Which is bigger: -138 or m?
-138
Let i = 79 - 80. Are i and -1/30 non-equal?
True
Let j be 8 - (-10)/((-15050)/12033). Does j = 0?
False
Let i be (-106)/(-10) - (-16)/40. Suppose i*j - 10*j + 8 = 0. Which is smaller: -27/4 or j?
j
Let t = -5.95 - -0.45. Let o = 6 + t. Which is bigger: 2/7 or o?
o
Suppose p + 2*p = 18. Let t be (-8 + p)/(29/2). Which is bigger: t or 0?
0
Let h be ((-4)/6)/(((-374)/165)/17). Let i(d) = 3*d + 16. Let r(y) = 4*y + 17. Let x(k) = 6*i(k) - 5*r(k). Let p be x(h). Is p >= -3/11?
True
Suppose -2*g = -g - 135. Which is smaller: g or 137?
g
Let w(l) = 7*l + 24. Let v(p) = 10*p + 36. Let j be -4 - (0 - 3)*-1. Let o(b) = j*w(b) + 5*v(b). Let n be o(-11). Which is smaller: n or -3/7?
-3/7
Let y = -9412611/181510 + 3/25930. Which is bigger: -51 or y?
-51
Let n(c) = -3 + c**2 + 0*c**2 + c + 0. Let j be n(-3). Suppose -x = -j*h - 6, -2*h + 3 - 7 = -2*x. Are 2/3 and x unequal?
True
Let z be 1*(-3 - (-12)/4). Let c be (-8 - -10) + (z - 1). Let a be 3 - (-3)/(45/(-51)). Is c greater than a?
True
Let x be -1*4 + 2/(2/21). Do x and 18 have the same value?
False
Let m = -6223/18 + 231. Let l = m + 659/6. Is -5 < l?
True
Let r = 2513 + -2562. Are -10 and r unequal?
True
Let q = 499 + -779. Let g be q/6 - (0 + -3). Let u = g - -44. Which is smaller: 1 or u?
u
Let u be (1 + -4)*(-55)/15. Suppose -6*g + u*g + 5 = 0. Are 5/13 and g nonequal?
True
Let s = 0 - 1. Let y be 1/(-1 - s/2) - -3. Which is smaller: y or 1/7?
1/7
Let t = -56 + 54. Let x = 0 - t. Let f(k) = k**2 + 7*k + 4. Let d be f(-7). Is d at least x?
True
Let y = -239 - -254. Which is bigger: 17 or y?
17
Suppose -14*m - 168 = -42. Let f be (2 + -1)*(0 + -7). Which is smaller: f or m?
m
Let x = -908/9 + 14411/144. Let k = x - -123/112. Let h be 8 + (-6)/(-15) + (-52)/(-20). Which is bigger: h or k?
h
Let g = 1454079683010 - 1170533994877087/805. Let r = -186268 + g. Let y = 1/115 + r. Are -1 and y nonequal?
True
Let w be 2/(-2) + 17 + (6 - 5). Suppose -w*j - 13 - 4 = 0. Which is bigger: j or -2/63?
-2/63
Let c be (-3 + 58/20)*18/(-9). Let t = 0.05 + 1.95. Which is bigger: t or c?
t
Let j(n) = 5*n**2 + 71*n - 29. Let v(h) = h**2 + 18*h - 7. Let g(x) = -2*j(x) + 9*v(x). Let l be g(20). Let q be 1*(-6 - 2)/2. Is q equal to l?
False
Let x be (-702)/13*(-1)/2. Suppose 25*c = x*c + 20. Is -13 != c?
True
Let c(r) = -5*r - 4. Suppose i - 6 = 5*b, 5*i - 2 - 3 = 0. Let g be c(b). Which is smaller: 1/9 or g?
1/9
Let m be 3/(3/2 + -3). Let a = -7661/1839 - 1/1226. Let g = -14/3 - a. Which is smaller: g or m?
m
Let t = 53.921 + 0.079. Let w = -56 + t. Which is bigger: w or -13?
w
Suppose 0 = 5*i + 2*z + 81, -2*z - 21 = 2*i - i. Which is smaller: -17 or i?
-17
Let y be 9/2 - 1/2. Suppose 3*h = -4*l - 330, -y*l - 161 - 167 = 2*h. Is l bigger than 2/7?
False
Let t = 445 - 1701/4. Let d = t - 5443/276. Is 0 >= d?
False
Let g(r) = 2*r**2 - 2*r + 3. Let k be g(-6). Is k at least -0.2?
True
Suppose -3*w - 34 = -4. Are -11 and w unequal?
True
Let v(h) = -19*h**2 + h - 7. Let f(d) = 9*d**2 + 3. Let l(t) = 7*f(t) + 3*v(t). Let j be l(-1). Which is smaller: 24/11 or j?
24/11
Let q(v) = -v**2 - 8*v + 32. Let u be q(-11). Let y = -30 + 18. Let i be y/10*(-20)/(-6). Is u > i?
True
Suppose 15 = -3*d, 2*d = l + 312 + 645. Which is bigger: -966 or l?
-966
Suppose -2*a = -8 - 2. Suppose 25 = -5*q + 3*q - a*j, 20 = q - 4*j. Which is bigger: -3/4 or q?
q
Suppose 80 = -0*q - 10*q. Let z be ((q/(-14))/2)/((-75)/(-175)). Is 