+ 2439. Let v be (4/78)/((-4)/(-6)). Which is smaller: v or w?
v
Suppose -h = -4*t - 8, 51*h = -3*t + 47*h - 25. Which is smaller: -3.6 or t?
-3.6
Let n be 8 + 6 - 1/3. Let t = n + -19. Let r be ((-88)/(-220))/(-1 - 28/(-30)). Is t < r?
False
Suppose -286 + 254 = -4*u. Do u and -31.5 have the same value?
False
Suppose -4*u + 1840 = 2*k, 2*u + 3*u - 3*k - 2300 = 0. Let d = 899 - 440. Is u at most d?
False
Let t = 0.13 - 54.13. Let s = -53.6 - t. Let l = -1.4 + s. Which is smaller: -10/11 or l?
l
Suppose -3*n + 3006 = -12*k, 24 - 1050 = 4*k - 5*n. Let f(u) = -29*u**2 - 5*u - 3. Let w be f(-3). Is k greater than or equal to w?
True
Suppose -5*i + 7 = -2*f, 2*i - 5*f = 9 - 2. Let j = i - -1. Let g be (j/(-3))/((-16)/24). Which is greater: g or 9/8?
9/8
Let f = -62.1 - -62.2. Is f > 1052?
False
Let l = -80.7 + 85. Let v = -33.7 - l. Let g = 48 + v. Are g and 0.2 non-equal?
True
Suppose p = 2*t + 21, -3*t = -t + 2. Let h be ((2 - 9) + 7)/(-1). Suppose -2*d - 5 = -k, -4*d + h*d - k = p. Which is smaller: -5 or d?
-5
Let a = 29.16 - 0.86. Let o = 33.3 - a. Which is smaller: o or -34?
-34
Let k = 402 - 396. Suppose k = 37*g - 43*g. Which is smaller: 34 or g?
g
Let h be 5*2/((-6)/(-33)). Let n = -87735 - -87792. Is h smaller than n?
True
Suppose 5*f - 3*s = 161 - 27, -2*f + 53 = -s. Suppose 20*v - 23*v = y + 3, -5*y - 5*v - f = 0. Are y and -1 equal?
False
Let u = -165 + -187. Let g = 351 + u. Which is smaller: -10 or g?
-10
Let j be 4/(-2) + 315 + -13 + 16. Suppose -3*g = -2*n - 657, -8*g + 4*g + j = -n. Is -336 smaller than n?
False
Let l = -112.9 + 18.9. Let j = -3.01 + 97.41. Let y = j + l. Which is bigger: -8 or y?
y
Let t be (-5 - (1 - 22)) + 1*2. Suppose 2*j + 5*g = 24, -3*j - 2*g + t = -j. Suppose -13 = -h - w, 4*w - 44 + j = -3*h. Which is greater: 18 or h?
18
Let a be 1002/21*(6 + -14 - -15). Let i = -334 + a. Is i equal to 3/205?
False
Let j(c) be the second derivative of -c**5/20 - 3*c**4/2 - 10*c**3/3 - 21*c**2/2 + 2*c - 13. Let r be j(-17). Which is greater: r or 27?
r
Suppose -379 + 1219 = -7*a. Let m be 81/(-5) - 3*8/a. Is -16 less than m?
False
Let f = -7193/6 - -3526/3. Is f greater than -2?
False
Let u(b) = -b**3 + 3*b**2 + b + 13. Let l(j) = j**3 - 3*j**2 - 3*j - 9. Let y be l(4). Let c be u(y). Suppose 6*x = -7*x - c. Is x at most -2/9?
True
Let r(y) = -2*y**2 + 17*y - 8. Let j be r(8). Suppose 5*p + a + j = 3, -5*a + 15 = -p. Suppose p = n + 1, n - 5 = g + 5*n. Which is bigger: g or 3/22?
3/22
Suppose -3*r - 6*o = -3*o - 1272, 0 = 4*o - 12. Is r at most 419?
False
Let u = 14.354 - 21.354. Let o = 0.06 - -7.94. Let l = o + u. Is l >= -2?
True
Let b(s) = 6*s**2 + 14*s + 20. Let t(o) = 7*o**2 + 14*o + 23. Let r(l) = 6*b(l) - 5*t(l). Let n be r(13). Is 1 less than or equal to n?
True
Let v = 266.8 + -293. Let w = -26.2 - v. Let o = 0.06 + -1.16. Is o < w?
True
Suppose 5*s - 551 = -4*k - 184, -4*k + 3*s + 407 = 0. Let a = -98 + k. Let j be (-144)/80 + (a - 2/10). Is -2/17 != j?
True
Let b be 80/(-50)*(-62690)/(-44). Let n = 2277 + b. Is n at least -4?
True
Suppose 8*r + 27 = -5. Let t be (-1 + 4)/(4*(-1)/(-12)). Let y = t - 13. Is r smaller than y?
False
Let f be -2 - ((-38)/12 - -2). Suppose 533 = -3*s - 1765. Let k = 764 + s. Which is greater: k or f?
f
Let t be (-39)/(-220) + (-1)/5. Let o = -4785 + 4784. Which is smaller: o or t?
o
Let v be (-5)/(-26)*32/4320. Is v < -1?
False
Let g = 1320/1303 + -2990708/24757. Are -120 and g nonequal?
True
Suppose -2*o = -o + 4*w - 13, 3*w - 4 = 5*o. Let q(z) = 251*z + 14. Let p be q(o). Which is smaller: 264 or p?
264
Let v(j) = -73*j + 364. Let n be v(5). Which is smaller: -5/526 or n?
n
Let i(r) = r**3 - 9*r**2 - 2*r + 13. Let b be i(10). Let c be b/(-7) - (-4)/14. Let m = -8535/742 - -1/371. Which is greater: c or m?
m
Let s = 8877/1655 - -12/331. Let f = -10976 + 10976. Which is greater: f or s?
s
Let o = -0.1 + -0.1. Let b = o + 0.1. Let w = -42617 + 42616. Which is smaller: w or b?
w
Let t(b) = 319*b**2 + 5*b + 9. Suppose -2*g + f = -1, -5*g - 6*f = -f + 35. Let s be t(g). Let x be (-30)/(-20) - s/858. Which is smaller: 0 or x?
0
Suppose -23*n = -120 - 64. Let y(w) = w**3 - 6*w**2 - 16*w - 1. Let t be y(n). Which is greater: t or -32?
t
Let v = 619/110 - 282/55. Which is smaller: v or 1968/13?
v
Suppose 0 = 10*m + 2356 - 2006. Suppose 3*u + 31 = -t, -101 = 5*t + 2*u + 80. Let r = t - m. Is -1 equal to r?
False
Let w = -40.7339 - -40.88. Which is smaller: -2 or w?
-2
Suppose 12*w - 11*w - 58 = 0. Suppose w*t = 42*t - 432. Which is greater: t or -250/9?
t
Suppose -8*o - 5650 = -5*r - 5*o, r - 1130 = -2*o. Let i be (-954)/r - ((-637)/65 + 9). Which is bigger: i or 0?
0
Suppose -5*v - 79 = 4*d + 707, -v = d + 196. Which is bigger: -1 or d?
-1
Suppose -2*v - 4*u + 18 = 0, 3 = 3*v - 5*u + 3*u. Let t be v + -2 + 5 + -57 + 56. Which is bigger: 15 or t?
15
Let k(s) = 2*s**2 - 89*s + 51. Let z(m) = m**2 - 9*m + 47. Let q be z(9). Let j be k(q). Is j at least as big as 286?
True
Suppose -726291 = 593*s - 206023 + 230470. Is 2 equal to s?
False
Let i be 162/16 - (-9 - -6)/(-24). Let m(t) = 0*t + 2*t - t**3 - t - 3*t**2. Let o be m(-4). Is i bigger than o?
False
Suppose -5*w + 5*m - 4 = 26, 0 = -2*w - 3*m + 13. Which is bigger: w or -2/301?
-2/301
Suppose -2210 + 899 = -23*f. Suppose -3*l = -2*p - 9, 5*p + 3*l - 1 + 13 = 0. Let x be 1*(2 + p) + 59. Is x <= f?
False
Let x be (1/(-36))/((-63)/(-7637)). Let m = 166/81 - x. Let c = m - 539/100. Which is smaller: c or -1?
-1
Let n(o) = 3*o + 72. Let k be n(-10). Let g = -6 + k. Suppose -v + 8 = -f, -4*f - g = -0*v - 3*v. Which is smaller: -0.2 or f?
f
Let l be ((-9)/24)/1*-8. Suppose -h = -y + 6, -l*y + 10 + 0 = 5*h. Suppose -212 = -4*z + y*u, 0*z = z - 4*u - 64. Is z greater than 49?
False
Let h = -156 + 168. Suppose 0 = -4*k - 2*a - 2, 21 = 5*k - 5*a - 14. Let q be 2/h + (-543)/234 + k. Does 1 = q?
False
Suppose 25*w = 31*w. Let u be w - 6110/(-20) - -2. Which is smaller: u or 1?
1
Let i(c) = 49*c + 50*c - 155*c + 50*c - 17. Let u be i(-3). Do u and -1/50 have the same value?
False
Let l = 24 - 15. Let s = l - 3. Let x be ((-44)/(-99))/(((-64)/(-84))/8). Is x > s?
False
Let g = 72697/7 - 10385. Let h be 89/276 - (-4)/(-12). Is g at most h?
False
Let n = 75 - 82. Let y be n/((-105)/20)*219/12. Which is smaller: 25 or y?
y
Let q = 258 - 258. Suppose 155*y - 165*y + 1120 = q. Is y <= 113?
True
Suppose 206*j - 191*j - 2299 = -814. Let c = 0.08 - 0.18. Does j = c?
False
Let g(w) = -21*w - 1. Let f be g(1). Let x = -1750 - -1749. Let c be x/(-2) - (-33)/f. Is 3/8 at most as big as c?
False
Let a(s) be the third derivative of s**4/12 - s**3/6 + 12*s**2. Let t be a(3). Suppose t*n - 2*f - 6 = 0, n - 4*n + 4*f + 12 = 0. Is n bigger than -1/24?
True
Let p(x) = -182 - 189 + 313 + 8*x. Let o be p(7). Is o less than -33/13?
False
Suppose 1601*a = 1498*a + 8240. Is 116 at least a?
True
Suppose -12*v + 13*v - 1419 = 0. Let d be v/4 + 9/(-12). Is d < 355?
True
Let a = -3 + 2. Let z be 194/(-8) + a/(-4). Let s(j) = -4*j**2 + 71*j - 245. Let b be s(4). Do b and z have different values?
True
Let b = -801169/3 - -263548. Does -3508 = b?
False
Let f(r) = -72 + r**3 + 418*r + 17*r**2 - 348*r - 53*r**2. Let k be f(34). Is -7 greater than k?
False
Let i(r) = -r**3 + 12*r**2 - 10*r - 15. Let a be i(11). Let h be a/18 + 10540/45. Which is smaller: h or 233?
233
Let k(v) = v**2 - 10*v + 9. Let u be k(9). Let y be -2 + 2 + u + 78/(-5). Which is smaller: y or -17?
-17
Let a = 5387 + -5388. Is a <= -17/2947?
True
Suppose 119 = -2*s + 9*s. Let g = 35 - s. Let h be (-3)/g - 1/(-42)*-83. Are h and -1 nonequal?
True
Let a = 110.6177 + -110.97. Which is smaller: 3 or a?
a
Let q = 32/159 - 46015/227847. Which is greater: q or 1?
1
Let l be 1 - ((-868)/(-73) - 8) - -3. Is 1 >= l?
True
Let d = 5377 - 19309. Is -13932 less than d?
False
Let n = -93.472 - -93.6. Which is bigger: 0.22 or n?
0.22
Let j(o) = 2*o - 16. Suppose 9 + 9 = 2*b. Let i be j(b). Let p be i*1*(-3)/2. Is p at least as big as 8?
False
Suppose 17*g + 1868 = 1936. Is g bigger than 64/15?
False
Let k be (-1 + 2 + (24 - 29))/((-20)/25). Which is smaller: k or 94/15?
k
Let o = -27 + 29. Let a be (16/48)/((-2)/(-102)). Which is greater: o or a?
a
Let o = 4.07 - -0.03. Let g = 10.2 - 6.9. Let t = o - g. Which is smaller: -1 or t