= 6*w - 5*w. Which is greater: n or j?
n
Let f = 13361 + -13705. Which is smaller: f or -13?
f
Let r = 64 - -29. Suppose 8*j + 35 + r = 0. Let m(y) = y**3 + 15*y**2 - 14*y + 17. Let x be m(j). Which is greater: 0.1 or x?
0.1
Let k = -30 - -56. Let z be (-17)/51 + 2*k/84. Let j = -3 + 2.1. Is j >= z?
False
Let l = -1363 + 12239/9. Let a be (-24)/11 - 168/(-924). Which is smaller: a or l?
l
Let g = 2609 - 2600. Is g at least 205/27?
True
Let l = 2 + -1.55. Let c = -0.35 + l. Let t = 2.9 + c. Which is smaller: t or 0?
0
Let z be (-18 - -13 - (-5 - 0)) + 81. Suppose z = 4*a - 135. Is 55 < a?
False
Let c(b) = 3*b**2 + 9*b - 29. Let u be c(54). Is u equal to 9204?
False
Let i(l) = 3*l**3 - 72*l**2 + 11. Let q(v) = -34*v - 214. Let f be q(-7). Let o be i(f). Is 12 greater than o?
True
Let u = 0.28 + -31.28. Let f = 60 + u. Let d = 0.05 - 0.05. Which is bigger: d or f?
f
Let w(q) = 2*q**2 - 7*q - 1. Let x be w(4). Suppose 4*r + x*y = -1 + 3, 4*r = -4*y. Suppose 8*j - r*j = -114. Is -21 equal to j?
False
Let j = 63241/33 - 21084/11. Let u = -3 - -6. Which is bigger: u or j?
u
Suppose 4*i - 18 = -2*y, -i + 2 = 3*y - 0. Suppose 3*w + 29*a + 733 = 33*a, -4*w - 998 = i*a. Is -246 less than or equal to w?
False
Suppose -m + 3*d = 3 - 2, 3*m = 2*d - 38. Suppose -38*o + 175 = -43*o. Let s = m - o. Is 19 less than s?
False
Suppose 11*s - 31 = -5*n, 3*s - 40 = 4*n + s. Let g be ((-3)/(-2))/(1/4). Which is greater: g or n?
g
Suppose -3*n - 5 = 4*v, 2*n = -3*v - n. Let d = -3 - v. Suppose 0 = -d*w + 3*w - 4*w. Which is bigger: w or -3/31?
w
Let m(x) be the second derivative of 11*x**2 + 25*x + 2/3*x**3 + 0. Let i be m(-13). Is i < -30?
False
Let z = -25544 - -25544.12. Is -34/3 greater than z?
False
Let y(t) = -2*t**3 - 5*t**2 + 3*t - 10. Let l be y(-4). Suppose 3*b + 8 - l = 0. Let v = 39/7 - b. Which is smaller: -4 or v?
-4
Let v = 304 - 304. Let t be v + (-11)/(110/64). Let u = 7 + -12. Which is bigger: u or t?
u
Let j = 1151 + -1067. Suppose -z - 4 = -i - 0*z, 4*i - 5*z - 16 = 0. Suppose -2*t = -i*v - j, 2*t + v - 20 = 54. Which is smaller: 39 or t?
t
Let k be 42/34 - (-2)/(-2). Let d = -1308 - -1309. Is d greater than k?
True
Suppose -2*h + 17*m - 14487 = 12*m, -5*h + 5*m = 36165. Is h greater than 0.2?
False
Suppose 0 = 3*m - 3*t - 54, 7*m - 3*m + 4*t = 88. Is 82 greater than m?
True
Suppose 0 = -7*x + 83 + 1. Suppose -36*s + x*s = 0. Which is bigger: -1/59 or s?
s
Let m be 228/1520 - (-183918)/(-1320). Is m at least as big as -138?
False
Let a = 149480/107 + -1397. Let c be (-9 + 9)/(-3 - -8). Which is smaller: c or a?
c
Let a(n) = n**2 + 2*n - 44. Let y be a(5). Suppose -9*i - 115 + 25 = 0. Which is smaller: i or y?
i
Suppose u = 181*c - 185*c + 2, -4*u - c = 37. Let y(x) = x**2 + 4*x - 3. Let q(p) = 1. Let v(b) = 6*q(b) - y(b). Let f be v(-7). Which is greater: u or f?
u
Suppose -3*v + 7*p = 4*p + 195, -v = 4*p + 65. Let n = v + 133/2. Which is bigger: 1 or n?
n
Suppose -48*z + 320*z - 28206 - 143154 = 0. Does z = 616?
False
Let b(u) = 316*u - 309. Let h be b(25). Do 7592 and h have the same value?
False
Let b = -5/761 - -4220/63163. Is b at least 1?
False
Let y = -102 - -107. Suppose 5*t - y = 25. Which is smaller: 5 or t?
5
Let c(a) = -4*a - 4. Let v be c(0). Let k be (-24)/(-16)*(-2)/1 - v. Which is greater: -2/9 or k?
k
Let j be 628/(-8)*(2 + -4). Suppose 0 = -7*t + 32 + j. Let m be 15/(-3)*(t/(-15))/3. Is m at least as big as 14/9?
True
Suppose 357 = -5*p - 1993. Let o be 0 - 5/p*-182 - -2. Which is smaller: -1 or o?
-1
Suppose h - s - 5 = 0, 2*h + 7*s - 3*s = 10. Suppose -h*g + q + 8 = -3*q, 0 = -5*g - 3*q - 6. Is g > -5/7?
True
Let t(m) = m**3 - 21*m**2 + 8*m - 134. Let k be t(21). Suppose p - 151 = 4*s + k, -s + 5*p = 70. Is s at most -43?
True
Let m = 35647 + -35570. Which is greater: -1.3 or m?
m
Let t = 393.1 - 393.1. Is t at most 1/4?
True
Let p = -459 + 454. Let i be p/9*646/(-190). Which is smaller: i or 1?
1
Let r = 4.932 + -5.032. Is -893 greater than or equal to r?
False
Let h be (-17)/((-5270)/(-110))*5/(-1). Which is greater: 1 or h?
h
Let l be (11033/(-85))/((-6)/(-5)) + 3/18. Which is greater: -8 or l?
-8
Let d(s) = -5*s**3 + 8*s**2 + 2*s + 34. Let n(z) = -9*z**3 + 17*z**2 + 4*z + 67. Let f(q) = 11*d(q) - 6*n(q). Let w be f(-14). Is 1/40 <= w?
False
Suppose 0 = -188*a - 1312 + 10148. Which is bigger: a or 57?
57
Let d be 4588/(-111) - (1 + 1/(-3)). Let h be (d/(-441))/(1/(-3)). Which is bigger: h or -1.17?
h
Let s = -55025/138 - -1196/3. Let j = -2/45281 + 1313333/4165852. Let z = j + s. Do -2/33 and z have different values?
True
Let p be 2/(-2) - (-242)/246. Let q be -5 + -7 + 1968/164. Which is greater: q or p?
q
Let p be (((-15471)/945 - -15) + (-4)/(-5))/(-2). Which is bigger: -0.256 or p?
p
Let p = 5743/17 + -338. Let u(o) = 181*o - 360. Let d be u(6). Let m = d - 726. Are m and p unequal?
True
Let m be (3 - (-398)/(-126))*(-9792)/510. Let r = -20 - -24. Which is greater: r or m?
r
Let v(y) = -y - 3. Let h be v(-4). Let s = -419304 + 5448135/13. Let w = s - -217. Do h and w have different values?
True
Suppose -15 + 5 = -2*a. Suppose -4*d - 4*j = 32, -a*j + 41 = -2*d - 2*j. Let v = d - -10. Which is smaller: v or 3?
v
Let d be (-15 + 14)*(-30)/(-50)*-2370. Is 2 at least d?
False
Let d(j) = -j**3 - 7*j**2 + 5*j - 19. Let m = -27 - -27. Suppose 0 = 3*w + 3*c + 36, 0 = -m*w + 4*w - 4*c + 16. Let p be d(w). Is p smaller than 8?
True
Let i = -5.906 + 4.906. Is -3930 greater than or equal to i?
False
Let z be 2/(-2 - (-800)/390). Is z at least as big as 35?
True
Let r = 307/25 - 33453/2725. Let a = r - 1108/4905. Which is bigger: a or -1?
a
Let t(w) = -30*w - 9. Let f be t(-2). Let x = f - 72. Which is smaller: -22 or x?
-22
Suppose 7 = 2*g - h, -h - 3*h - 10 = g. Let a(s) = -2*s**2 - s**g - 9 + 2*s + 0*s**2 - s**3 - s**2. Let x be a(-4). Which is smaller: x or -14?
x
Suppose -155*r + 158*r - 8 = 4*c, 4*c = -2*r + 12. Which is smaller: c or 24/35?
24/35
Let a = 100 - 0. Let z be 80/a + (-2 - 532/(-110)). Is 5 at most z?
False
Let m be (-1)/(-4) - 834/24. Let d = 35 + m. Which is smaller: 5/19 or d?
5/19
Let j = 4829/238 - 753/34. Which is bigger: 0.48 or j?
0.48
Suppose -406*m + 403*m + 153 = 0. Suppose 0 = -45*r + 51*r - 300. Which is bigger: r or m?
m
Let w(i) = 8*i - 137. Suppose -9*s + 41 = -85. Let o be w(s). Let n(u) = u**3 - 6*u**2 + 4. Let p be n(3). Is p equal to o?
False
Let c = 1472 - 1513. Suppose 0 = 2*d + 20 + 58. Is d greater than or equal to c?
True
Let k = -20595 + 20595.23. Is 211 >= k?
True
Let t = -15.76 + 16. Let j = -0.04 + t. Let c = 1655 - 1677. Which is bigger: c or j?
j
Let g be (1*-1)/(2 + -1 - (-1360)/(-1292)). Which is greater: 3 or g?
g
Let t = -119 - -126. Let u = 27 + 10. Suppose 3*l + u = 5*x, 3*x - l - 6 - 13 = 0. Which is bigger: x or t?
t
Suppose 5*k = -224*x + 226*x - 6, 2*k + 2*x = 6. Do -7/96 and k have the same value?
False
Let v = -188 - -188. Suppose 1 = -w - v*w. Which is greater: 2/683 or w?
2/683
Let d = -11 - -7. Suppose 0 = -8*s + 245 + 59. Let i = 35 - s. Is d greater than i?
False
Let c = 14004 + -13994. Let g = -1 + 8. Is g equal to c?
False
Let x = -91/11211 + -1/101. Let k = -181/222 + x. Is k != -1?
True
Let z = -274 - -283. Suppose z - 2 = 7*w. Which is bigger: 2/233 or w?
w
Suppose -l - 202 = -738. Suppose 528*j - l*j = 1040. Which is smaller: j or -128?
j
Let z be (87/(-116))/((-2)/8) + 1 + -4. Which is greater: z or 2/18465?
2/18465
Let v be (((-78)/(-65))/(13/5))/((-3)/(-15)). Which is smaller: v or 18?
v
Let o = 0.3159 + -0.5159. Is 620 bigger than o?
True
Let v = 0.04942 - 0.12942. Is 5 smaller than v?
False
Let f = 4.1 - 3.96. Let s = 0.34 - f. Let r = 23 - 69. Do r and s have the same value?
False
Let f be -5*72/60*(-257 + -1). Is 2/5 >= f?
False
Let r = 1 - 4. Let u be 2 - ((-3 - -3) + r). Let a = 751 - 2981/4. Is a at most as big as u?
False
Let r = -12404 + 12402.8. Which is greater: r or -955?
r
Let u(i) = -176*i + 25. Let c be u(3). Let n = c - -186. Is n greater than or equal to -316?
False
Let v = -3 + 10. Let a = 8 - v. Let z be (-7)/(-35)*(-3)/(-6). Which is smaller: a or z?
z
Let w = -0.47 - -0.22. Let f = 3 + 0. Suppose 3*k - f*l = 5*k + 3, 0 = 2*l + 2. Is w not equal to k?
True
Let a(k) = 3*k**2 - 25. Let o be a(-6). Let x = 43 - o. Let i = x + 48. Is i at l