hich is bigger: 3 or l?
l
Let w = 15.39 - 15.49. Which is smaller: -2.4686 or w?
-2.4686
Let s = -5119 - -5119. Which is bigger: s or -16/17?
s
Let x(c) = 81*c**3 + 7*c**2 + 38*c - 127. Let r be x(5). Is r smaller than 10363?
False
Let s be (-11)/((-33)/(-36))*(-8)/6. Suppose -3*o = -b + 8, 2*o + s = -o - b. Let k = -197 - -187. Which is smaller: k or o?
k
Let l(i) = -i**2 - 20*i - 51. Let n be l(-8). Which is smaller: 38 or n?
38
Let w = -134923275/1286 - -104917. Is -1 less than or equal to w?
True
Let s(v) = -v + 41. Let y be s(26). Suppose 0 = 10*a - 5 + y. Which is smaller: -6.3 or a?
-6.3
Let s = 26063 - 807956/31. Do s and 0.024 have the same value?
False
Let d be (3 - 28/8)*6. Let f be d/18 - (-4)/(-8). Let l = -76.85 - -77. Is f greater than or equal to l?
False
Let v be (1/(-7) - 0)/((-42)/(-140574)). Let l = 475 + v. Which is smaller: -3 or l?
l
Let l = 3286.206 - 3282. Let q = l - 0.206. Which is smaller: -1 or q?
-1
Let z(i) = -2 - 6 - 5*i**3 + 4*i**3 + 175*i**2 - 168*i**2 - i. Let q be z(7). Which is greater: q or -18?
q
Let l be (-15 - -2 - 1)/(-9). Suppose 102 = 2*o + 4*z + 108, -12 = -6*o - 2*z. Do o and l have the same value?
False
Let y be 142/(-1562) - (-208)/(-11). Suppose -43 = 2*j - 3*c - 0*c, -2*c + 42 = -2*j. Is j >= y?
False
Let b be (-20 + 21)/((-2)/4). Let f be b - 2 - (5 - 936/102). Is f != 0?
True
Let x be -12 + 5 - 20/4. Let v be (4 + 0)/(22 + x). Let k = -0.6 + 1. Is k not equal to v?
False
Let d = -27148/13 + 2090. Suppose 11*c = 6*c - q + 12, -4*c + 4*q = 0. Do c and d have different values?
True
Let c = -193.29 - -189.69. Which is smaller: c or -2/161?
c
Let q = -1631 + 2320. Let f = 473 - q. Is -1 smaller than f?
False
Let k be (-15)/45*-6 + 4. Which is smaller: -90 or k?
-90
Let l be ((-8 - -15) + (-1256)/16)*(-6)/3. Is 135 < l?
True
Let r = -5 - -17. Let s be 18*(r/8 + (-1 - 0)). Suppose -s = -3*n + 9. Is n at most 0.7?
False
Let h = 8146 - 8147. Which is bigger: h or 3995?
3995
Let g = 92608/77 - 8690/7. Which is smaller: g or -40?
-40
Let x be 84/16 + (-3)/(-4). Let m = 14 - x. Let g(f) = f**3 + 11*f**2 - 2*f - 14. Let o be g(-11). Is o greater than or equal to m?
True
Let m = -243.68 + 257.7. Is m bigger than -0.3?
True
Suppose -17 = 3*c - 2, 4*j = -c + 67. Suppose -3*o = n - j, 0 = -n - o - 2 + 16. Suppose -5*f = 2*t - 6*t + 7, -3*f = 3*t - n. Which is greater: 9/4 or f?
9/4
Suppose u = 3*u - 2*o + 46, 6 = 3*o. Let k be ((-1026)/63)/(3/u). Let r(x) = 13*x + 9. Let l be r(8). Is k <= l?
False
Let f(n) = 2*n + 33. Let b be f(-14). Suppose -5*x = -5*m, -x + 5*x = -b*m. Let t be (1*(-4)/16)/(18/8). Is t at least as big as m?
False
Let c = 1.189 - 1.289. Let j = -98/5 + 20. Which is smaller: j or c?
c
Let x = 1935 - 21313/11. Let w(i) = 34*i - 1498. Let o be w(44). Which is smaller: x or o?
x
Let c(u) = -125 - 2*u - 116 + 241. Let p = 1 + 0. Let s be c(p). Which is greater: 3 or s?
3
Let t = 0.58 - 0.58. Let j = -33 - -32.97. Let m = j - 0.19. Are m and t nonequal?
True
Suppose 0 = -935*k + 936*k - 488. Suppose 65*d - k = 61*d. Which is smaller: d or 123?
d
Suppose o = -3*q - 11, -520*q + 4*o = -515*q - 27. Is q greater than or equal to -42/155?
False
Let w = 91805/51 + -1800. Suppose 1 + 4 - 5 = -18*a. Which is smaller: a or w?
a
Let a be (-2)/15 + (-503)/(-3660). Let x = -238 + 239. Is x at most a?
False
Suppose 152607*t = 152611*t + 9620. Is t less than or equal to -12027/5?
False
Let q = 45.97094 + 0.02906. Which is smaller: q or -0.005?
-0.005
Let p(u) = -4*u**2 + 7*u - 1. Let l(x) = x**2. Let q(h) = -3*l(h) - p(h). Let f be q(7). Let a be 3/382*(-28)/(-21). Is a greater than f?
False
Suppose 58*t - 42*t - 30*t = 14. Which is smaller: -2/7287 or t?
t
Suppose 21*m = -19*m - 34*m + 74. Which is greater: 658 or m?
658
Let l = -29 - -9. Let s be -5 + (20/(-5) - -2) - 11. Which is bigger: s or l?
s
Suppose 13*a - 415 = 8*a. Suppose 0*v + 25 = 5*v, 0 = 3*t + v - a. Let w be -6*(-1 + t/16). Which is bigger: -4 or w?
w
Let f(k) be the second derivative of 21*k + 7/6*k**3 + 0 + 3/2*k**2. Let l be f(-7). Is l >= -47?
True
Let b = 1601 + -100865/63. Let o = 275/63 + b. Which is greater: o or 5?
5
Let l = -11.7 - -21.9. Let d = -17.2 + l. Does d = -19?
False
Let m(d) = -2*d**2 - 6*d + 364. Let y be m(0). Let l be 160/y + (-2)/13. Suppose 2*i + 4*z - 5 - 9 = 0, -4*i - 3*z + 8 = 0. Which is smaller: i or l?
i
Suppose -5*y + 71 = 2*u + 35, 5*y - 10 = 0. Let j be -2*1 - (-9)/3. Let b = j + 11. Which is greater: b or u?
u
Let d = -0.107 - -0.467. Let k = -0.64 - d. Which is bigger: k or -119?
k
Let s = 24 - 34. Let o be (1/s)/(27/(-45)). Suppose 5*r - 5 = 0, f - 4*r = -f - 4. Which is greater: f or o?
o
Let m = -654/55 + 100/11. Let u = 21 + -24. Is u smaller than m?
True
Let u = 27705971/20944950 - 791/598. Which is bigger: 0 or u?
u
Let z be (-11)/(-33)*(-45)/(-357). Let x(r) = -r**3 + 17*r**2 - 3*r + 52. Let k be x(17). Which is bigger: z or k?
k
Suppose -2*r = -2*u + 18, -31 = -u + 6*r + 18. Is -7/3210 at most as big as u?
True
Let a(c) = c**2 + c - 2. Suppose 10 = 5*m - 5. Suppose -m*j - 3*z + 23 = 2*z, 0 = 4*j - z. Let h be a(j). Is -20 <= h?
True
Suppose -291*p + 1072*p - 1292 = -236*p - 275*p. Let a = -36657/112112 - -1/2288. Which is smaller: p or a?
a
Suppose -26*l + 526 = -332. Suppose -l*u = -27*u - 6. Is u > -1/131?
True
Let z = 1314 + -1084. Which is smaller: 237 or z?
z
Suppose p = 5*x - 596, -3*x - x + 12 = 0. Let f = 17/22107 + -167372318/287391. Let u = p - f. Which is greater: 1 or u?
u
Let h = -1733 + 32919/19. Let s = -75 + 103. Suppose 29*p = s*p - 1. Is p smaller than h?
True
Let t = 42898/3 + -14150. Which is smaller: 148 or t?
148
Suppose -11 - 133 = 4*w. Let b = -21 - w. Suppose 3*n - 2 = -k, -k - k + b = -5*n. Which is greater: -1/9 or n?
-1/9
Let o be (-4)/(-19068)*(17 + 416/(-24)). Which is bigger: o or -1?
o
Let s be 10/(-40) - (-278)/1128. Let p(m) = -404*m + 807. Let r be p(2). Which is greater: r or s?
s
Let f be (126/(-66) - -2) + 4/(-44). Is 2/4391 >= f?
True
Let t = 133.09 - 131.09. Which is bigger: t or -283/10?
t
Let i = -1847.2 - -1666. Let k = 181 + i. Which is smaller: k or 14?
k
Let y be (0/(-8 + 5))/(8/(-4)). Suppose -5*f - f = y. Let k be (-152)/(-234) - 4/6. Is k > f?
False
Let y = -2420070/341 + 7097. Which is bigger: 0 or y?
y
Let w = 34 - 28. Let l be 2/w + ((-4)/(-3))/2. Let f be 0*l/(-4 - -2). Are -11 and f equal?
False
Suppose 100*m + 742 = 107*m. Let y = 132 - m. Is y >= 28?
False
Let c be (2624/5043)/((-6)/2). Let f = 2/41 - c. Which is greater: f or 2/3?
2/3
Let m = 106111/32 - 3316. Is m equal to 1?
False
Suppose -3*q = -16 + 19. Let b = -1452929307/2352014210 - 2/1846165. Let z = b - -15/26. Which is smaller: q or z?
q
Let u = 212 - 117. Suppose 171 = 14*o - u. Are 55/3 and o nonequal?
True
Let p = 0.35083 + 8.64917. Does p = 65?
False
Suppose 3*c + 5*h - 19 = 0, -c - 4*h + 3*h + 3 = 0. Let i = -40.14658 - -0.14658. Which is smaller: i or c?
i
Let p(y) = -2543*y + 96550. Let x be p(38). Let b be (-1)/2 - (-7)/(-2). Which is greater: x or b?
b
Let w = -160 - -158. Let d be (4 + w)*1 + -5 + -4. Let n = -24 + 17. Are d and n non-equal?
False
Let o = -0.3382 - -1.8082. Which is smaller: o or 0.052?
0.052
Let m = -2.1407 + 3.6407. Is -497 equal to m?
False
Let p = 67.853 - -0.847. Let i = -68 + p. Let q be 4/10 + 95/(-50). Is q at most i?
True
Let v be (8/20 + (-13)/20)*(-960)/12255. Which is greater: v or 1?
1
Let k(d) be the second derivative of -d**3/6 - 17*d**2/2 - 61*d. Let b be k(-11). Let i = -847/156 + -32/39. Which is smaller: i or b?
i
Suppose -3*i + 53 = -2*z, 3*i + 16*z = 11*z + 25. Which is smaller: -10 or i?
-10
Let b = 3398 - 3403. Suppose 2*v = -1 + 3. Which is greater: b or v?
v
Let x = -51 + 54. Let f = 20 - x. Which is greater: f or -0.1?
f
Let n(d) = d - 591. Let h be n(0). Let k = 555 + h. Is -34 at least k?
True
Let x be 102/(-60) - (-14 - 897/(-65)). Let g be (-1*(-1 - -1))/(-2). Let z be 0 + (1 + g - 1). Is z < x?
False
Let r(w) = -10*w + 1. Let v(x) = x. Let a(j) = r(j) + 5*v(j). Let m be a(-4). Let p = -5967 - -5988. Are p and m non-equal?
False
Suppose -520 = -30*z + 320. Which is smaller: 21 or z?
21
Suppose -5*a - 81 = -53*z + 55*z, 2*a = -4*z - 26. Is -30 greater than a?
False
Let k = -6885 + 7083. Which is greater: -2/19 or k?
k
Let 