Which is smaller: -16 or d?
d
Let r = -13334 - -13470. Is r bigger than 146?
False
Let o be ((-1)/((-31)/12))/2. Let z(i) = 10*i - 126. Let l be z(14). Suppose -9 = -23*w + l*w. Which is smaller: w or o?
o
Suppose -2*l - 239 + 39 = 0. Let f = l + 68. Let g be (80/f)/(2/(-6)). Is 8 <= g?
False
Let g = -2.515 + 2.405. Do g and -2/15 have the same value?
False
Suppose -5*u + 6 = 3*s + 66, -3*u = -s - 6. Suppose -19*w + 112 = 36. Are w and s unequal?
True
Let q = 54947/68 - 808. Let s = 138 - 137. Which is smaller: s or q?
q
Let n = -80.882 + -0.118. Let b = -152 - n. Let w = b - -119. Which is smaller: -1 or w?
-1
Suppose 0 = -114*h - 156 + 42. Which is bigger: h or 2/1583?
2/1583
Let b = 56595/16 - 3539. Is -3 equal to b?
False
Let t(n) = 0*n + 0*n - 4*n + n**2. Let a be 4 + 8 + -17 + -1 + 6. Let q be t(a). Is -28 smaller than q?
True
Suppose 0 = -s + 2*j + 7, -859 = -2*s + 3*j - 841. Is -71 at least s?
False
Let t(y) be the first derivative of 13*y**2/2 - 8*y + 15. Let p be t(4). Suppose -a + 27 - p = 0. Which is greater: -18 or a?
a
Let m(k) = -k**2 + 10*k - 32. Let f be m(4). Let t be 14/((-14)/(-42) + f/6). Is 2/25 >= t?
True
Suppose 0 = -2*p + 5*d + 6, -p + 2*d - 4 = 3*p. Let f be 75/(-5)*(-4)/10. Let y be -1*f*(-57)/(-18)*p. Which is smaller: y or 39?
y
Let u be (4 - 18)*1 + 1. Let z = 14 + u. Let w be ((-2)/6)/((-504)/27 - -12). Is z less than or equal to w?
False
Let n = 4788 + -14363/3. Is n at least 4.37?
False
Let x = -554/109 + 34895/4142. Which is smaller: 4 or x?
x
Let s(l) = l**2 + 3*l + 4. Let u be s(-3). Let n be u/(-18) + (-40)/(-18). Suppose -q - n*q + 12 = 0. Does q = 13/4?
False
Let s = -6 - -6. Let n be (33/9)/(1/(-3)). Let a = s + n. Is a > -12?
True
Let w = -15400 + 15270. Is w >= -81?
False
Let r = 23455 + -18358. Is 5098 smaller than r?
False
Let u be (-3)/(360/1626) - 6/(-8). Let z be (1 + 458/(-20))/(-3). Let r = z + u. Is -7 less than r?
True
Let n = -14056.424 + 14110. Let u = n - 53. Let b = u - 0.076. Which is bigger: -0.1 or b?
b
Suppose -5*h = 2*t - 95, -t + 3*h + 0*h = -53. Suppose t*a - 26132 = 3*a. Does a = 555?
False
Let i be (10/(-6))/(143/7293). Which is smaller: i or -20?
i
Let d = -243 - -438. Suppose -37*h + 4268 = -15*h. Which is greater: d or h?
d
Suppose -5*s = -8*s. Suppose s = 2*i - 9 + 65. Let d be 1/2 + 295/(-10). Is d at least as big as i?
False
Let s(k) = 14*k**2 - 1. Let f be s(1). Suppose -25*r = 28*r. Suppose -3*n - f = -5*q, 4*n - 4 = -r*q - 4*q. Are n and 1/40 non-equal?
True
Let r = 198851 - 3894496837/19585. Is r greater than or equal to 1?
False
Let y = 160/3 - 98402/1845. Which is greater: 1 or y?
1
Let z be -7 - -5 - 103*1. Let u = 105 + z. Let w be 284/685 - 6/15. Which is greater: u or w?
w
Let h = 6.972 + 0.028. Let x = h - 6.9. Let l = -5.9 - x. Which is greater: l or -1/4?
-1/4
Let l be 1 + 2 + -9 - (-32759)/5029. Let d = -3/214 + l. Is d < 93?
True
Let w be (-288)/(-80) - (-4)/10. Suppose 2 = 2*u - w*u. Let g = -1296/323 - -74/19. Which is greater: u or g?
g
Let u(t) = -5*t**2 - 2*t - 2. Let f(k) = 6*k**2 + 2. Let y(b) = 4*f(b) + 5*u(b). Let i be y(-9). Are i and 1 non-equal?
True
Let j = 133.7 - 49.7. Let m = j - 85. Is m equal to 15?
False
Let s = 1/138265 + -5530831/31939215. Let v = s + -10/33. Which is bigger: -1 or v?
v
Let z be (-1652)/98 + (-1)/7. Let f be (7 + z)*92/(-5). Let a = 542/3 - f. Does a = -3?
False
Let u be (1/10)/((-10)/4). Let s be (-10 + 11)*(95 + 2). Let h = -293/3 + s. Does h = u?
False
Let m be ((-18)/48)/(7/28) + 2842/1812. Which is bigger: 0 or m?
m
Let i be ((-1)/(-3))/(3036/1089). Do i and 2 have the same value?
False
Let w = 0.04 - 3.04. Suppose 2*l = -2 - 14. Let v be 2/(-5)*(-5)/l. Which is smaller: v or w?
w
Let n(i) be the first derivative of -5*i**3/3 - 7*i**2/2 + 12*i + 6. Let t be n(4). Let j = -60 - t. Which is greater: 34 or j?
j
Suppose 13*w - 22*w + 16064 = -25*w. Is w > -1000?
False
Let y(g) = -g**2 - 90*g + 596. Let f be y(6). Is 0.06 at most as big as f?
True
Let k = -13 - -10. Let r be (-10)/(-4)*(-738)/(-27). Let s = r - 71. Are s and k non-equal?
True
Let w(j) = j + 44. Suppose 0 = -2*r - 3*r, -2*p + 5*r - 20 = 0. Let n be w(p). Is 34 greater than or equal to n?
True
Let l = 1524 + -1526. Which is greater: -976 or l?
l
Suppose -218*t + 209*t = -18. Let h = 0.254 - 23.454. Let l = h + 23. Which is smaller: t or l?
l
Let v = 79 + -59. Let c(g) be the third derivative of g**6/120 - g**5/3 - 6*g**2. Let s be c(v). Which is bigger: 2/13 or s?
2/13
Suppose -i = 5*d - 10, 2*d + 4 = i - 3*i. Suppose 0 = 2*m - 5*t + 3, -2*m + 3*t = -d + 4. Suppose -f = 3*w - 4 - 0, 4*w = -4*f - 8. Which is greater: m or w?
w
Suppose 81*x - 216*x + 358020 = 0. Are x and 2653 unequal?
True
Let t be (181 - 176) + 2/56*163. Let c = t + -45/4. Which is greater: 0 or c?
0
Suppose 0 = 4*i - 4*s + 180, 0*i + 2*s + 36 = -i. Let c be (-1)/((-78)/i + -2). Is c > 58/9?
True
Suppose 0 = -5*g - 5*a - 85, 0*g + 5*a = 3*g + 27. Let i = 19 - 8. Let u = i + -13. Is g < u?
True
Let v be -2*((-236)/(-8) - 0). Let a(h) = -6*h + 78. Let b be a(24). Let c = v - b. Which is greater: 9 or c?
9
Suppose -x + 4*x + 3*j = 132, 3*x = -j + 136. Suppose 50*a - 272 = x*a. Is 70 bigger than a?
True
Let t = -126 - -213. Suppose -t*i = -72*i - 900. Which is bigger: i or 62?
62
Let o be 1662 + 3 + 3/(-3). Let g = o - 188033/113. Suppose -2*u = 2*f + 13 - 15, 3*u + 9 = 3*f. Is g equal to u?
False
Let j be (104161/6127 - -2) + -19. Which is greater: 1 or j?
1
Let x = -212000/43 - -4930. Let u be ((-8)/(-6))/((-650)/(-30) - 17). Which is bigger: x or u?
u
Let a = 29091 - 14194. Which is greater: 14898 or a?
14898
Let d(x) = -39*x**3 + 3*x**2 - 9*x + 13. Let a be d(3). Let t = a - -61356/59. Which is bigger: t or -1?
t
Let m be (-9)/9*-11 + 1622. Is m less than or equal to 1635?
True
Suppose -30*d + 54 = -21*d. Let h be (d + 326)*-3*(-3)/(-36). Is -83 != h?
False
Let v be 113130/(-324)*(-3)/15. Do v and 71 have different values?
True
Suppose 4*d - 3*o = -o - 118, 4*d = -3*o - 93. Let f(a) = -2*a**2 + 71*a - 263. Let x be f(4). Let p be d/(-2) + 33/x. Which is smaller: 10 or p?
10
Let g = 330719812 + -54899882375/166. Let s = g + 2371. Are s and 1 non-equal?
True
Let f = -0.61 - -8.41. Let l = f - 0.7. Let h = l - 7. Which is smaller: 13 or h?
h
Let h be (2*(-14)/49)/(4/(-14)). Suppose 3*d + 4 = -2. Let i be 1 - (-1 - d - h). Is i greater than or equal to 9/8?
True
Let s = -0.2343 - -9.9343. Let k be 22/(-5) + 28/7. Which is smaller: k or s?
k
Let r = -2 - -3. Let u = 318 - 423. Let z be (u/14 + 8)/(13/(-6)). Is r less than z?
False
Let g be ((-10)/(-4) - -1) + (-43)/86. Suppose -k + i - 4 = 0, -g = -k + 3*i - 15. Does 1/1168 = k?
False
Suppose -3*f + f + 6 = -o, -30 = -5*f - 5*o. Suppose -f*r - 2*c + 248 = 0, -4*r - 5*c = -388 + 134. Let j = r + -59. Which is bigger: -5 or j?
j
Let n be ((-1)/(-55))/(132/(-30)). Let z = n + 61/121. Is -29 bigger than z?
False
Suppose 2*k = 5*f - f - 14, f = -2*k - 9. Let q be 8/(-10) + (273/(-150) - (-792)/330). Which is bigger: q or f?
f
Let h = 132 - 127. Suppose -4*n - 6 = -n, -2*a - 112 = h*n. Is -51 equal to a?
True
Let h = -1036 + 1003. Suppose 77 = -17*d - 450. Which is greater: d or h?
d
Suppose -14 - 29 = -3*k - 7, -3*b - 4*k = -48. Let m be (-1)/(-1)*(-8)/2. Let o be m/((-300)/(-81)) + 1. Which is greater: o or b?
b
Let x(s) = -s**3 + 17*s**2 - 4. Suppose 2*k = 4*b + 42, -2*k - k - 2*b = -47. Let z be x(k). Let j be z*(4 + 8)/(-3). Is j greater than or equal to 18?
False
Suppose 98 - 242 = -6*c. Let l be ((-18)/16)/(c/(-32)). Is l smaller than 2/13?
False
Suppose -3*u - 1810 = t - 1731, -3*u = 5*t + 419. Is -1468/17 < t?
True
Suppose 3*v - k = 94, -2*k + 3*k = 5. Let n be 2856/90 + (-2)/15. Are v and n nonequal?
True
Let z be -29 + 58 - (1 + 0 - -1). Let j be z + (-3 - 5 - -4). Which is greater: -8 or j?
j
Let a = 13.985 + 0.215. Let c = -163.8 - a. Which is greater: 1 or c?
1
Suppose k - 8 = -151. Let u = 78 + k. Is -65 bigger than u?
False
Let o be -1 + 2/((-222)/(-57)). Suppose 2*u = 10, -3*u + 15 = -15*q + 19*q. Which is bigger: q or o?
q
Suppose -2*a - 3*x - 256 = -92, 0 = -3*a - 3*x - 243. Let o = a + 106. Which is smaller: o or 28?
o
Let t = 222 - 417. Let p be 5/(t/(-95) - 2). Is 95 < p?
False
Let y(m) = -14*m**2 + 5*m**2 + 8*m**2 + 20*m. Le