 j or -6?
-6
Let j(a) = 30*a**3 + a**2 + 25*a - 60. Let o be j(2). Which is bigger: o or 232?
o
Suppose 3*k + 163 = 2*w + 2, 5*w - 5*k - 405 = 0. Let d be w/(-328) + (-5)/8*-2. Is d less than -2/17?
False
Suppose -570 = -0*b - 2*b. Suppose 0*o + 5*o = -5*l + b, 3*o - 195 = 3*l. Let m = 59 - o. Which is smaller: -5/2 or m?
-5/2
Let h be 0 - (7/(-42) - -1 - (-20)/(-24)). Which is greater: h or 70/543?
70/543
Let v be 36980/(-1505) + 6/(-14). Which is bigger: v or -711/28?
v
Let a = 6954 + -69857/10. Which is smaller: -32 or a?
-32
Suppose 38 = -1696*j + 1658*j. Which is bigger: j or -4/2187?
-4/2187
Suppose 3*p + 6*o - 2955 = 0, p + 10*o = 6*o + 977. Is 992 smaller than p?
True
Let x be (-12)/(-54) + 76/(-18). Let m = -1 + x. Let p = 353 + -355. Is m > p?
False
Let n(p) be the first derivative of -p**4/4 + 7*p**3/3 - 7*p**2/2 - 12*p + 2. Let v be n(6). Let o be 12/v + (-4)/(-6). Which is smaller: -1/7 or o?
-1/7
Suppose -3*s + 0*m = -4*m - 16, 4*s - 16 = 4*m. Suppose s = 10*d - 6*d - 364. Let x = d - 92. Is x <= -1/9?
True
Let r be 31 + 21 + -29 - 8. Suppose -2 + 38 = 4*v. Which is bigger: v or r?
r
Let n(w) = -5*w**3 + w + 1. Let v be n(-1). Suppose 0 = 5*c - 15, -6 - 24 = -4*r - 2*c. Which is bigger: r or v?
r
Suppose -w - 3*i - 7 = -2*w, 3*w + 4*i = 60. Let s(v) = 4*v - 66. Let p be s(w). Is -1/4 > p?
True
Let r = 272 + -1829. Let a be 401573/(-258) + 3/(-6). Let x = a - r. Is x greater than 0?
True
Let t = -531051 - -27062890013/50961. Is t at most 1?
True
Let g = 0.3296 - 0.4136. Let x = -0.41 - -0.294. Let k = g - x. Is -1 equal to k?
False
Let n = 11318 + -11319. Is -2/27481 != n?
True
Let f = 9387 - 9386. Is f greater than or equal to 1/14671?
True
Suppose 89*i = 84*i - 2175. Let b be ((8/i)/(-2))/(4/(-10)). Which is bigger: b or 1?
1
Let a = -17 + 16. Let f = 138 + -142.1. Let r = f - -4.5. Which is greater: r or a?
r
Let k(w) = -w**2 - 3*w + 4. Let v be k(-6). Suppose -4*h = 2*q - 4, -5*q - 158 + 108 = -2*h. Which is greater: q or v?
q
Let i(c) = 49*c**2 - 296*c - 11. Let p be i(6). Suppose z - 20 = 2*z. Which is bigger: p or z?
z
Suppose 5*l + 100 = -5*c, 0 = -0*c + 3*c - 5*l + 44. Let h be (-4)/c + (-68)/(-18). Suppose -5*n + 10*g = 5*g - 25, -n - 6*g + 40 = 0. Which is greater: h or n?
n
Let z be 5 + 2/4*0. Suppose -37 = 2*n - z*v, 2*n - v = -0*n - 33. Let p = 17393/52 - 4540/13. Is n smaller than p?
True
Let w = 8461 + -8460. Which is smaller: 7/136 or w?
7/136
Suppose -2*v - 2*d + 88 = 0, -5*v + 3*d + 20 = -240. Which is smaller: 25 or v?
25
Let y = -73.86 + 1448.86. Is y at most -2/9?
False
Suppose -2*d + 6 = 2*j, 3*j + 5*d - 7 = -0. Suppose 2*l - 6 = 6*x - 3*x, 3*l + j*x = 9. Let t be 1/(-3*(-4)/l). Is t less than -0.05?
False
Let g = -4004 + 1293286/323. Is g at least as big as -1?
True
Let f = -4 - -4.4. Let p = 66.8733 - 66.9. Let n = -0.0067 - p. Which is smaller: f or n?
n
Let c(f) = -f**2 + 12*f + 4. Let d be c(8). Let i = -12 + d. Suppose 27*v - i*v = 0. Which is smaller: v or 16?
v
Let m = -4.49 - -4.139. Let f = m + 0.051. Is f >= 44?
False
Let k = -20421 + 43312940/2121. Is -1 < k?
True
Suppose 0 = -4*i + 20, -2*l + 7 = -3*i + 2*i. Suppose -5*q + 3*q + 12 = 0. Suppose 5*c + q = 26. Is c > l?
False
Let b be (-4 - 0) + (36 - -6797). Is b less than 6831?
True
Let l be ((-2980)/(-25) - 4)/(9/60*2). Which is greater: l or 385?
385
Let g(t) = -4*t**2 + 6*t + 2. Let q be g(-2). Let z = -24 - q. Let v be (115/(-55) - z) + 3. Which is smaller: v or 0?
v
Let i be 0 + (12622/(-3906) - -3). Let f = i + 2/217. Let r = 37.9 - 38. Which is greater: r or f?
r
Suppose 2694 - 2687 = -7*u. Let s = 3053/2860 + -49/44. Which is smaller: u or s?
u
Suppose 465*g - 466*g = -3*j + 86, 4*g + 36 = j. Let r = 20 - 17. Let u be (-3 - 0/2) + r. Is j smaller than u?
False
Let a = -0.033 + 33.033. Let m = a + -101. Which is greater: m or -1?
-1
Suppose 63 = -5*f + l, -l = 5*f - 4*l + 69. Let j be -9*(-2)/f*(-2)/2220. Which is greater: 0 or j?
j
Let q = 2490.6 + -2253.6. Is q <= 1.5?
False
Let a(j) = -3*j + 21. Let b be a(5). Suppose -q - b = -7. Let s = -15 + q. Do -14 and s have the same value?
True
Suppose b - 12 - 14 = -4*c, -4*b - 2*c = -48. Let j be b/(-4)*(-4)/5. Let a be -2*j*21/26. Is a <= -4?
False
Let r = -2.6 + 58.6. Let k = -57 + r. Is k equal to 33?
False
Let b = 8 + -8.042. Let y = -88.4 + 88.462. Let n = y + b. Which is smaller: 3 or n?
n
Let y(v) = -11*v - 12. Suppose 0 = 2*z - 2*a - 52, 2*z + 2*a = -3*z + 116. Let j = z - 22. Let k be y(j). Is -34 greater than or equal to k?
True
Let b = 497/5 - 10387/105. Let w(q) = -q**2 - 8*q. Let k be w(-8). Which is bigger: k or b?
b
Let t(v) be the first derivative of -1/3*v**3 - 4 - 4*v + 2*v**2. Let p be t(0). Is p less than -5?
False
Let n = 1155 - 1216.9. Let b = 59 + n. Let a = -4.3 - b. Which is smaller: -1 or a?
a
Suppose 0 = -5*y + p + 28, -10 = 5*p + 5. Suppose -3*h + 2*j = -4 + 17, -5*j - y = 5*h. Let f = -86 - -88. Which is smaller: h or f?
h
Let z(r) = -r**3 + 2*r. Let a be -10*((-6)/(-3) - 3). Let o be (6/3 - 2)/(a/(-5)). Let k be z(o). Which is smaller: k or 2/125?
k
Suppose -x + 96 = -5*x. Let g = x - 24. Let o = g - -54. Which is bigger: o or 10?
10
Let n(k) = -k**3 + k**2 + 3*k - 7. Let s be n(2). Let u be (-2)/s*(-2)/244. Which is greater: -1 or u?
u
Let v be 2539/14 + (-27)/6 + -33 + 37. Which is greater: 182 or v?
182
Suppose 987 = 8*s + 299. Suppose -4*p = -3*x + s, -4*x = x - 10. Are p and -18 non-equal?
True
Let i = 508 - 466. Suppose -i + 248 = 2*o. Is 103 bigger than o?
False
Let g be (-12)/(-14)*(-6)/(-4). Suppose -3*s - 3*p - 3 = 0, 4*p + 1 = -s - 9. Let f be 0/(-6*s/(-6)). Is f less than g?
True
Suppose -4*g = g + 2*d - 52, -g + 5*d + 32 = 0. Let p be g/10*3 - 2/(-5). Suppose m = 6*m + 5. Is p smaller than m?
False
Let v = 10 + -8. Let c be (-219 + 12 + (-20)/(-2))*-1. Which is bigger: v or c?
c
Let s(c) = -c**3 - 6*c**2 + 5*c - 15. Let r be s(-7). Let f be (54/30)/(r/(-95)). Suppose -5*p + 3*m = f, 2*m + m = -5*p - 189. Is p less than or equal to -34?
True
Let x be ((-24)/(-8036))/(10/(-14))*40/(-64). Is x bigger than 1?
False
Let f(h) = 2*h + 35. Let k be f(11). Suppose -324 = -k*n + 61*n. Is n >= -78?
False
Let r be ((-24)/(-32)*-6)/((-402)/(-8)). Let v = r - 92/469. Which is smaller: v or -5/64?
v
Let b = 4756 + -4742. Is b less than 129?
True
Let n = -192.3 + 194.3. Are 171 and n unequal?
True
Let p be 134/2412 + 454/72*233. Is 1469 smaller than p?
True
Suppose -332 = -9*n + 7*n. Let t = 162 - n. Are t and -26/7 nonequal?
True
Let w(k) = 2*k - 20. Let y be w(-9). Let f be 3 - (-10)/(-1 + -1) - y. Let j(t) = -11*t + 2. Let n be j(-3). Which is bigger: f or n?
f
Suppose 56 - 151 = -19*q. Let m be 127/169*467/65. Let w = 2/2197 + m. Is w at most as big as q?
False
Suppose -3*o + 5*f - 13 = -4*o, 2*o = 5*f - 4. Suppose 0 = -c + o*c. Let a = -70/223 + 1291/6244. Which is bigger: c or a?
c
Suppose 4*l - 241*b - 421 = -244*b, 0 = -5*b - 45. Which is smaller: 84 or l?
84
Suppose 147*s - 152*s + 330 = 0. Let n = s + -22. Let a = 44 - n. Is 0.13 at least as big as a?
True
Let b = -0.04302 + -15.30698. Is 0.4 > b?
True
Let j(w) = w**3 + 18*w**2 + 30*w + 177. Let z be j(-17). Is -44 < z?
False
Suppose 3*v - 159 = -5*y, -5*y + 163 + 54 = 4*v. Let h = -191 - -252. Let w = h - v. Is w less than 7?
True
Let n = -12.101 + 106.101. Which is greater: -4 or n?
n
Let j = -2250 - -2273. Which is greater: 79 or j?
79
Let k = -3.68 - -36.68. Let m = 30 - k. Which is smaller: -2/225 or m?
m
Let g(j) = -j**3 - 8*j**2 + 10*j + 12. Let q be g(-9). Suppose -11 = q*k + 22. Let s = k - 5. Is s bigger than -16?
False
Let l = -1.3 + -0.7. Let k be -6 + 6 + (7 - 8). Which is smaller: l or k?
l
Let b be (141/282)/(2/4). Let k(p) = 13*p + 5. Let w(j) = -j - 1. Let a(n) = -2*k(n) - 6*w(n). Let u be a(b). Are u and -24 unequal?
False
Let z = 0.311 + -32.311. Do z and -15 have different values?
True
Let d = -77 - -80. Let l be (4 + 5)/d + -3. Do 75 and l have the same value?
False
Let p = 3511 - 3512. Which is smaller: -3/23 or p?
p
Let q(k) = -32*k**2 - 485*k - 964. Let s be q(-2). Let d = 157 + -278. Which is smaller: s or d?
s
Let j(l) = -l. Let g be j(-2). Suppose 5*n + 3*a = -225, 3*n - 3*a + 101 = g*a. Suppose 4*z + 37 + 135 = 0. Do z and n have the same value?
False
Let s = -1/23290 + -21