(1 - 0)*4/(-6)*b. Which is bigger: k or -2?
-2
Let t = -20 + 23. Suppose r = 2*r - 2*z - 48, 5*z - 144 = -t*r. Which is bigger: r or 49?
49
Let k = 87 - 87. Suppose k*o = -2*o - 46. Let p = -47 + 25. Is o < p?
True
Let a be 5844/24 + 2/4. Are 243 and a nonequal?
True
Let m = -709 - -709. Which is greater: 1/336 or m?
1/336
Suppose -8 = -4*b - 4*m, 0*m = 2*b - 3*m + 21. Let j be 0/((-2)/((-6)/b)). Suppose j = -3*q - 3. Are -3 and q equal?
False
Let q = -981 - -957. Which is smaller: 2/21 or q?
q
Let c(n) = -n + 1. Let d be (-2)/(4/(-4) + 3). Let s be c(d). Is s bigger than 0.2?
True
Let o = -730 + 596. Which is greater: o or 2?
2
Let p(t) = -t**3 + 10*t**2 - 9*t - 2. Let x be p(9). Is x equal to -6?
False
Let h(q) = -q**2 - 2*q - 17. Let z be h(-5). Which is bigger: -33 or z?
z
Suppose 81 = 4*c - 23. Let o = c - 38. Which is smaller: -25/2 or o?
-25/2
Let d = -56.3 - -70.3. Let z = 2.3 + -0.3. Let y = 4 - z. Is d at least as big as y?
True
Suppose -b - 579 = -4*v, 5*v + 4093 - 1123 = -5*b. Is -591 <= b?
True
Let r = -456.58 + 459. Is r bigger than 1/2?
True
Let u = 520 - 513. Which is greater: u or 31?
31
Let p(t) = 4*t + 28. Let q(y) = 1. Let b(l) = -p(l) + 6*q(l). Let o be b(-16). Is 42 less than o?
False
Let r = 2462 - 2468. Let i be (-7)/(-4)*(-10)/3. Do r and i have the same value?
False
Let p = -49 + 49. Suppose -c - 8 + 7 = p. Is c greater than or equal to -6/19?
False
Let j(v) = 4*v**2 + 16*v + 26. Let n be j(-2). Is -8 less than or equal to n?
True
Let n be (3/(-68))/((-17)/68). Let p = 12 + -7. Let z = -5 + p. Which is smaller: z or n?
z
Suppose 5*a + 2*w = -18, 3*a - 7*w + 2*w = 14. Let s = 538 + -539. Which is bigger: a or s?
s
Let l = 178.61 + -178.5. Which is smaller: 17 or l?
l
Let u be (3/1)/(((-28242)/(-4))/9). Is u >= -1?
True
Let x = -13.8 + 16. Let d = x - 5.2. Is 2 at least d?
True
Let k be (-133)/(-805) + (-4)/40. Which is greater: k or 1?
1
Let m(h) = -h**3 - 3*h**2 + 3*h + 2. Let j be m(-5). Suppose -121 = -3*x + 2*k, 35*x = 33*x - 5*k + 49. Is j < x?
False
Suppose 50*d = 57*d + 63. Which is greater: -62/7 or d?
-62/7
Let r(n) = n**3 + 4*n**2 + 3*n + 1. Suppose 3*z + 3 = -5*j + 5, -3*j - 10 = -z. Let h be r(j). Which is smaller: h or 2?
2
Let w = -5 - -18. Let r = 15 - w. Suppose -r*u + 17 = 3*o, 5*o = 28 - 13. Which is greater: 3 or u?
u
Let m = -4.97 - -5.07. Are m and -0.037 nonequal?
True
Let f = -18.749 - -18.8. Which is greater: f or -0.1?
f
Let o be (1365284/5461040 - 4/16)*-1171. Let y = 1/1534 + o. Which is smaller: y or -1?
-1
Let n = 37/12627 - -988378/17488395. Let y = n + 2/277. Is y > -1?
True
Let x = -0.0474 - 0.4526. Do x and -0.55 have different values?
True
Suppose 13 + 63 = g - 3*x, 5*x = 2*g - 147. Let h(v) = 61*v**3 - v**2 + v - 1. Let t be h(1). Is t less than g?
True
Let x = -2.7 - -7.1. Let p = x - 5. Which is smaller: 3 or p?
p
Let h(l) = -l**3 + 3*l**2 + 2*l + 1. Let v be h(3). Suppose 0 = -6*p + v*p. Which is bigger: p or 1?
1
Let f = 1160482357/583209 - 28290/5891. Let i = f - 1985. Is i <= 1?
True
Let n be (-524)/(-6) - 35/(-21). Let y be (-176)/(-2) + (-2 - -2). Is y < n?
True
Let k(p) = 4*p**2 + 19*p - 31. Let q be k(-6). Which is smaller: 34/89 or q?
q
Let t = 8 - 2. Suppose t = 2*u + u. Suppose -3*n = -5*n + u. Is -2/5 >= n?
False
Suppose 15 = c - 4. Let h = c - 36. Let o = -16 - h. Which is smaller: o or 2?
o
Let k(c) = c**2 - 7*c + 21. Let i be k(5). Is 13 > i?
True
Let j = -4/239 + -13133/717. Which is smaller: -19 or j?
-19
Suppose -3*f - 3*u = 0, -3*u = -6*u - 3. Suppose -4 = -3*l - f. Let h = 0.3 + 0. Which is bigger: h or l?
l
Let r = -105/88 + 7593/1496. Which is smaller: 3 or r?
3
Let d(t) = -t + 11. Let j be d(13). Let a be (j/4)/(42/(-324)). Which is smaller: 3 or a?
3
Suppose 5*f + 2*b = 1, -2*f + 0*b + b - 5 = 0. Let y = 1747 + -3495/2. Is y > f?
True
Suppose -185*j = 4*y - 183*j - 970, -1214 = -5*y - 4*j. Which is greater: y or 241?
y
Let x = -104 + 42. Let p = -61 - x. Which is smaller: p or 5?
p
Let a = 3.1 - 3. Suppose 0 = 33*y - 28*y + 225. Let n = -136/3 - y. Is a <= n?
False
Let z = -6/31 - -167/62. Suppose 4*u + q - 5 = 11, 5*u + 2*q = 17. Suppose -15*k = -u*k - 40. Do z and k have different values?
True
Let n = -2/17 + 56/187. Is -2 < n?
True
Let j = 11 + -3. Let p = j + -9. Let o = -13.82 + 0.82. Which is smaller: o or p?
o
Let s = 8 + -6. Let i be 24*19*(-4)/(-684). Do i and s have different values?
True
Let f = 110 + -108.67. Let s = 0.67 + f. Are s and -5/7 nonequal?
True
Let z be (-1)/(-1 - 0/(-4)). Let v(i) = 3*i**2 + 2*i**2 - z + 0*i**2 - 6*i**2 + 2*i. Let p be v(0). Which is bigger: p or 1?
1
Let q(c) be the first derivative of -2*c**2 - c + 17. Let i be q(9). Which is bigger: i or -36?
-36
Let y(u) = -2*u - 31. Let w be y(-14). Let d be (-6)/(-4) - w/(-6). Is -2/63 != d?
True
Let t = -3 - -25. Let k = 16 - t. Is -2 at least k?
True
Let a = -79 + 79.99. Let f = -0.01 - a. Let s = -0.0265 + -0.0435. Is s bigger than f?
True
Let f = 713/725 - 32/29. Which is greater: 17 or f?
17
Suppose -5*j + 3*f = -14, -5 = -4*j + 2*f + 5. Which is smaller: -2/603 or j?
-2/603
Let d = -41/3 - -293/21. Let s be (-15)/6*(5 + -1). Let i be 1/(-5) - (-2)/s. Is d bigger than i?
True
Let i be 8/(-40) - (-118)/(-10) - -1. Let g = i - -11. Is 3/20 less than g?
False
Let j be (2 + 9/(-3))/((-10)/15). Let q = -1 + 2. Let o = 1 + q. Is o at most as big as j?
False
Let w(m) = 16*m - 145. Let i be w(9). Let l be 9*(-1 + (-3)/(-4)). Which is bigger: i or l?
i
Let y = 45 - 41. Is y at least 21/5?
False
Suppose 72*n = 77*n - 250. Which is greater: 1/8 or n?
n
Let o = 4 - 1. Let l be (17 - -2) + -1 + o. Let x be 49/l - 1/3. Which is smaller: 0 or x?
0
Suppose 0 = -21*r + 25*r + 72. Is r > -18?
False
Let l(a) = 2*a**3 - 18*a**2 + 5*a - 3. Let q be l(7). Is -162 at most q?
False
Suppose 10*p = 14*p - 140. Suppose 0 = 2*z - 6*o + o - 55, o + p = 2*z. Let f be 24/z + -2 + -2. Is f < 0.1?
True
Let c be ((-515)/(-140) + -4)/(6/80). Which is bigger: c or 0?
0
Let a(f) be the third derivative of f**5/20 - f**4/6 + f**3/2 - f**2 + 6*f. Let q = 1 + 1. Let h be a(q). Which is bigger: 8 or h?
8
Suppose -2*i + 35 = z, 2*z - 2*i = -2*z + 150. Let d be -9 + 11 + 1 + z. Let y be (d/30)/(2/(-3)). Do y and -13/7 have different values?
True
Let j = -399 - -381. Which is smaller: j or 3?
j
Let m be 9760/(-22220) + (-10)/(-55). Which is greater: m or -1?
m
Let p be -3*(7 - 5) - -6. Which is smaller: p or -43.8?
-43.8
Let g = -5/31 - 17/279. Let l = -4.45 + 4. Let t = l + -0.55. Is g less than t?
False
Let x(v) = -v**3 - 12*v**2 + 13*v + 7. Let d be x(-13). Suppose -d = -2*z + 3. Suppose r - 2 = 3. Do r and z have the same value?
True
Let r(t) = 11*t**2 - 116*t + 38. Let l be r(11). Is l > -2?
True
Let l(i) = 4*i - 32. Suppose -5*y - 3*c + 39 = 0, -2*c + 4*c + 24 = 5*y. Let p be l(y). Which is greater: p or 2?
2
Let x = -163/3234 - 1/98. Let g be 4/(-4 + 0)*-1. Which is greater: g or x?
g
Let q = -287 - -287. Is 40 at least as big as q?
True
Let h(c) = 38*c + 378. Let o be h(-16). Is o less than -231?
False
Let m be (-1)/3*3*41. Let w = 26 + m. Let k be 10/w*(-1 - -2). Is -1/5 at most k?
False
Suppose 187 = 5*m + 11*f - 9*f, 0 = -3*f + 3. Is 34 at least as big as m?
False
Let h = 3.2 + -3. Let w = 455 + -377.1. Let v = w + -78. Do h and v have the same value?
False
Suppose 4*k = 39 + 105. Let q be ((-4)/28)/(-2*3/k). Is 2 less than q?
False
Suppose 52 + 32 = -6*j. Do -18 and j have the same value?
False
Suppose -251 = -4*f - 55. Let t = 24180 + -24181. Which is greater: t or f?
f
Suppose 0 = -2*r - 2 + 12. Suppose 8 = r*s - 87. Is 19 < s?
False
Let b be (-152)/(-6) + (-15)/45. Suppose 4 = -l - 5*z + 30, 0 = 5*z - b. Is l greater than or equal to 12?
False
Suppose 5*b + 203 = -q, 0*b + 5*q + 55 = -b. Which is greater: b or -42?
b
Suppose 374 = 5*h - 86. Which is smaller: h or 93?
h
Let g = -39/4 + 19/2. Which is greater: -157 or g?
g
Let b be (-11)/9 - 2/(-9). Let d(k) = -2*k - 5. Let l be d(-4). Let t be (-2)/3*l/9. Is t bigger than b?
True
Let h = 2 - 3. Let i = -6508/5141 + 66/53. Which is greater: h or i?
i
Let x(g) = -2*g**2 + 8*g + 4. Let k be x(-6). Let j be 8 + -6 - k/6. Let h = -515/24 + j. Does h = 0?
False
Let s = 94 + -100. Let z = s + 5. Which is smaller: -1/8 or z?
z
Let q be (-20)/(-170) + 3778/