pose -3*b = 2*f + 15, -2*b + 0*f - 5*f = 21. Let l be (b - d) + (-48)/(-9). Is 6 equal to l?
False
Let v = 20.48 + -0.08. Let s = v - 21. Are 14 and s equal?
False
Let d = 7.46 - 114.76. Let y = d - -107. Which is smaller: -4 or y?
-4
Let p(n) = n**2 - 12*n + 24. Let t be p(8). Let l = 17 + t. Let u be (30/l + -5 + 2)*3. Which is bigger: u or 1/21?
u
Suppose -3*i = 2*i. Let u be 1/(6/4)*(-423)/(-94). Suppose -u*l = 3*l - 3*l. Is l equal to i?
True
Let d(q) = 21*q**2 + 3*q + 4. Let f be (-1 - (4 - 1))/2. Let r be d(f). Do 81 and r have different values?
True
Let r = -543 - -222. Suppose 632 = -2*k - 2*x, 1620 = -9*k + 4*k + 3*x. Is r bigger than k?
False
Suppose 6 = -2*o + 4*o, -q = o - 7. Let h(s) = -s - 1. Let x be (-8)/(-36) - (66/54 - -1). Let v be h(x). Which is greater: v or q?
q
Suppose -13*p + 1059 = 5206. Let j = p + 205. Is -114 at most as big as j?
True
Let s = -660 - -656. Which is bigger: -195/64 or s?
-195/64
Let n be 1/(3/3) + 3/(12/(-4)). Let l be (16/60)/((-2)/(-3)). Which is smaller: l or n?
n
Let z = 7381 + -44441/6. Suppose -33*s - 567 - 159 - 165 = 0. Is z < s?
False
Let t be 590594/(-286) + 144/(-18). Let w = t - -2073. Is -1 less than or equal to w?
True
Let f be (140/(-8) - 3)*-2. Let r = f + -39. Let v be (-45)/r + 5/(-10). Do v and -24 have different values?
True
Let w = -11677.73 - -11757. Let p = w + -78. Let a = p - 1.27. Is 8 greater than a?
True
Let g = -98417/360876 + 50/183. Is g > -1?
True
Let i be 2/(-106)*(-5)/(-20). Suppose 0 = -2*k + 2, 0 = 6*w - w - 2*k + 7. Is w >= i?
False
Let x = -67.2 - -67. Let y = -209/2 - -407/6. Is y greater than x?
False
Let k = 897 - 637. Suppose 4*u + k = 276. Is u less than -15?
False
Let i = -403 - -362. Let p = 31 + i. Is p smaller than -2/5?
True
Let r(k) = -2*k**2 - 11*k + 5. Let z be r(-6). Let y be z/(2 - 0)*(0 + -2). Suppose 118 = 5*w + 3*l, 5*l = w - 0*l - 18. Which is smaller: y or w?
y
Suppose -882 = -8*h + h. Let d be 123/(-2) - (-7)/(h/(-9)). Is -62 smaller than d?
False
Let u = 1531/4 + -403. Let k = -235/12 - u. Is -52/7 equal to k?
False
Suppose 2845*l = 2897*l + 42640. Do l and 2/7 have different values?
True
Let l = -2.14348 + 0.14348. Which is greater: l or -4015?
l
Let q = 1526456202/21869 - 69800. Which is smaller: q or -1?
-1
Let o = -6826 - -962453/141. Which is smaller: o or -1?
-1
Let v(g) = -298*g**3 + 10*g**2 + 6. Let q(a) = 299*a**3 - 12*a**2 - 7. Let n(x) = 5*q(x) + 6*v(x). Let r be n(-1). Is 293 at least r?
False
Let a = 2 - 2.1. Let h = 44.73 + -8.33. Let y = h - 55.4. Which is smaller: a or y?
y
Suppose -b - b = 0, -4*b = -4*z - 60. Let r = 92552 + -92573. Does z = r?
False
Let y = 286748/582699 + -320/669. Is -0.1 less than y?
True
Let q = -10794 - -10794. Which is smaller: 5/2641 or q?
q
Let s be (((-2)/(-6))/(-1))/((-13)/11895). Which is smaller: s or -0.5?
-0.5
Suppose v - 19 = -2*a, 94 = -4*a + 4*v + 138. Does 118 = a?
False
Let u be (-5)/(3 - (8 - 4)). Let c(m) = m. Let f be c(7). Suppose 4 = -3*b + f*b. Which is smaller: u or b?
b
Let m = 0.91 + 0.09. Let n be ((-48)/1260)/((-12)/20). Is n bigger than m?
False
Let c = -0.29635 + 10.27635. Which is bigger: c or 0.2?
c
Suppose -l = -3*a - 350, 3*a = 2*a - 4*l - 134. Let h = 123 + a. Which is smaller: h or 8?
h
Let o = -0.1108 + -9.1892. Is o <= 14?
True
Let x(z) = -20*z - 168. Let t be x(-9). Let a be (3/(-21))/((-4)/t). Which is greater: -12/5 or a?
a
Let q = -5917 - -6762. Is 1 greater than q?
False
Let o be (10/10)/(-1)*-1. Which is bigger: o or -21?
o
Suppose 0 = 4*y - 105 - 191. Let j(r) = -r + 79. Let f(h) = -14*h + 103. Let n be f(7). Let d be j(n). Is y >= d?
True
Let f = -23 - -76. Let i = -0.04614 + -0.05386. Which is bigger: f or i?
f
Let q be 8*4*(-25)/(-10700). Which is greater: q or 0?
q
Let t(a) = 735*a + 6431. Let z be t(-9). Let f(r) = -46*r**2 + r - 2. Let u be f(2). Is z smaller than u?
False
Let a = -822570/143 + 62574/11. Does a = -1/4?
False
Suppose 24*d + 70 = -11*d. Which is bigger: d or -84/61?
-84/61
Let k = -779 + 778. Let j be (k/2)/((-1)/60). Which is smaller: 36 or j?
j
Let p(b) = 7*b**2 - 89*b + 60. Let l be p(12). Which is smaller: l or 2/20767?
l
Let k(r) be the third derivative of -r**6/60 - r**5/15 + 7*r**4/24 + r**3 - 2*r**2 + 2*r. Let m be k(-4). Is m greater than or equal to 43?
False
Suppose -4*v = 2*x + v - 10, -4*x + 3*v = -20. Is 7 greater than x?
True
Suppose 2*p - 2*u = 4814, -4*p + 7521 = -3*u - 2112. Is p >= 2414?
False
Suppose -u + 24 = -4*j, 11*u - 14*u = j - 98. Let z = -12 - -46. Which is smaller: z or u?
u
Suppose 0 = -2*q - b + 2976, q = b + 4*b + 1477. Suppose -9*v - 299 = -q. Is v < 131?
False
Let r(f) = -55*f - 329. Let p be r(-6). Let u be 3 - (3 + 18/(-15)). Do p and u have different values?
True
Suppose -2077 + 427 = 66*x. Are 11 and x non-equal?
True
Let i be 2/12 + 70/12. Let p(w) = -148*w - 11. Let v be p(-2). Suppose 288*t = v*t + 9. Which is bigger: t or i?
i
Let c = 9 - 15. Let m be (2 - 20/6)*c/(-4). Let q be (3 - (1 + 0))/(m/19). Is -21 > q?
False
Let m = -124670289088/75305 + 1655538. Are m and 1 nonequal?
True
Let x be 30/(-10 + 5) + 10 - -6. Suppose -5*o + 2 + 8 = 0. Suppose 0 = 4*m + p - 38, -2*m = o*p - 16 - 6. Are m and x unequal?
True
Let j be ((-24)/9)/(4/18). Suppose -k = -5*z + k - 31, 3*z - 3*k + 15 = 0. Let c be ((600/(-35))/6)/((-2)/z). Which is smaller: j or c?
j
Let h = -79.602 - -92.3. Let d = h - -0.302. Which is smaller: d or 0.07?
0.07
Suppose -5*m = -7*k + 4*k - 120, -k - 2*m - 29 = 0. Let n be 14616/k - (-3)/5. Is -416 <= n?
False
Let l = -3027 + 3013. Is l greater than or equal to -119?
True
Let i = 739/3 - 2953/12. Are i and 1759 equal?
False
Let z(n) = -n**2 - n + 19. Let g be z(4). Suppose -552 = -314*m + 322*m. Which is smaller: g or m?
m
Let f = 0.0568 + -0.9068. Let q = -0.75 - f. Is -271 greater than q?
False
Let u(d) = -110*d + 8. Let l be u(-1). Let k be l/6 - 1/(-3). Let s be -1 - 1*(-24)/k. Which is smaller: s or 3?
s
Suppose 0 = -10*s + 124*s + 1674 + 264. Which is greater: -14 or s?
-14
Let x = -0.13 - -56.13. Let g = x + -30. Let h = g - 2. Are 1/4 and h nonequal?
True
Let o(n) = n**3 + 29*n**2 - n - 27. Let v be o(-29). Let h(z) = 0*z + 3*z + 0*z - 1 + v. Let w be h(0). Which is greater: 3/2 or w?
3/2
Let o = -63 - -32. Let f be 1/6*18 - 1. Let j be (16 - 0)*(f - 4). Is j greater than o?
False
Let f(b) = -10*b + 17. Let d be f(2). Let n be d/2 - 295/(-110). Is n at most as big as 0?
False
Suppose 0 = 2*i - 8, -h + 2*i = -i + 1537. Which is smaller: -1520 or h?
h
Let y(j) = 1905*j + 53. Let x be y(3). Suppose 10*d - 66*d + x = 0. Which is smaller: 102 or d?
102
Let o(q) = 4*q**3 - 19*q**2 - 2*q - 11. Let s be o(5). Suppose s*j - 10 + 6 = -n, 5*j = -2*n + 8. Is j bigger than -4/15?
True
Let j = 0.414 - 676.414. Let l = j + 685. Is 43 equal to l?
False
Suppose -13 + 13 = 444*k. Which is bigger: k or -48?
k
Let a = -24233 + 24246. Which is greater: 132/5 or a?
132/5
Let u = -1153073/7385 - 6/1055. Which is bigger: u or -156?
-156
Let s = 23768/147 - 485/3. Let r = -0.164 + -0.036. Is r < s?
True
Suppose -3*b = 5*a - 4674, 7*a - 2*a + 2*b - 4676 = 0. Which is smaller: 4678/5 or a?
4678/5
Let p = -234698/17 - -13801. Let t = 1291/221 + p. Let n be -3 + 3 + 2 + 0. Is n greater than t?
True
Let b be 0 - (0 + -4 + -27). Suppose -2*k - 3 + b = 0. Suppose 0 = 3*o - 1 - 14, k = 3*i + 4*o. Which is smaller: i or 2/19?
i
Let d be 1 + -20 - (-6)/(-3). Suppose 0 = -6*b + 8*b - 44. Let m = d + b. Which is greater: m or 14/11?
14/11
Let d(f) be the third derivative of 3*f**4/8 - 5*f**3/6 + 10*f**2. Let u be d(-5). Let b = 14 + u. Which is smaller: b or 0?
b
Let h = -383 - -405. Does h = 4/11?
False
Suppose -7*i - 64 = -3*i. Let p = -20 - i. Let t be 4 - (-2 - -8) - 3. Does p = t?
False
Suppose -5*w = -3*q + 130, -5*q - 2*w - 76 = -303. Let j = 51 - q. Let p be (j - 0)*2/12. Is -0.16 greater than or equal to p?
False
Let m(x) = -x**2 + 42*x - 731. Let h be m(44). Which is smaller: -820 or h?
-820
Let x = -1368 - -1369. Is x bigger than 2/5297?
True
Suppose -79*y + 74*y + 1180 = 55. Is 224 at most y?
True
Let u = -23401 + 23412. Does u = -181?
False
Suppose -1913*u + 1908*u + 5146 = -3*g, 4*u - g - 4121 = 0. Is 1037 bigger than u?
True
Suppose 3*b - 630 = -7*b. Let c be ((-15)/b)/((-39)/3663). Let l = c - 