be y(-6). Let l be 135/x + 9 + 273/(-28). Suppose 2*f - 4*f = 8. Which is smaller: l or f?
f
Let j = 1.38 + -5.16. Let u = j + 3.9. Which is smaller: -1/2 or u?
-1/2
Let o = 300 - 295. Suppose -2*s + 11 = 3, o*q - 5*s = -275. Is q less than -50?
True
Let q be (21/9 - 2) + 3/(-72)*584. Which is smaller: -55 or q?
-55
Suppose -f - 40 = f. Let u = -48 - -18. Let o = u - f. Is o <= 0?
True
Let p(y) = 83*y - 752. Let t be p(-14). Which is greater: t or -1916?
t
Suppose -w - 8*d + 7 = -4*d, 5*d = 5. Suppose -3*b - 432 = 2*c - 5*c, c = w*b + 136. Which is smaller: 149 or c?
c
Let i = 1361 + -1359. Is 108 less than i?
False
Let q = -21 - -44. Suppose q = 3*s + 4*v, 0 = -4*s + v + 12 - 13. Let o be (-25)/11 + 2 + 0. Is s at least o?
True
Let w = -22403.2433 - -22393.6. Let s = w - -0.0433. Which is smaller: 0.2 or s?
s
Let z be (-11481)/(-12) + 1 + -4. Suppose 4*p + 10648 = -7*p. Let j = p + z. Which is smaller: j or -14?
j
Let f be 16/(-2) + 24/12 + 31239/5283. Are -1 and f nonequal?
True
Let i be (5/60*-4)/(2/(-30)). Let z be 82/36*(i - (-32)/(-4)). Is -6 smaller than z?
False
Let z = -41.1 - -49.3. Let c = -1 + 8. Let n = z - c. Is n greater than or equal to -4?
True
Let y be (7 - 6175)*(-13)/(-39). Let r = -2060 - y. Let g = 1/35 - 38/7. Do g and r have the same value?
False
Suppose 63 = -x - 2*x. Let t be (-6)/x - (26/(-7) - -2). Let d be (t + 0)*(-1 - -10). Do 20 and d have different values?
True
Let a be (-125)/2 - (-2)/4. Suppose -x = -4*d - 6, -2082*d - 3*x = -2080*d - 4. Are d and a nonequal?
True
Let t = -648 + 651. Let v be ((-45)/1170)/(t/(2 - -286)). Which is smaller: -5 or v?
-5
Let r be (-3 + 1)*(0 - (-2 - 0)). Let n be 1/r + 30/72*-93. Which is smaller: n or -40?
-40
Suppose 0 = 6*m - 32*m + 5538. Let c = m + -319. Which is bigger: 1/2 or c?
1/2
Let b = -14.4989 - 0.5011. Is 13/3 < b?
False
Let s = 5.65277 + -0.17277. Which is bigger: s or -1.2?
s
Suppose 0 = -49*j + 13*j + 144. Suppose 2*h + 0*y + y + 121 = 0, j*h - 2*y + 238 = 0. Is -59 equal to h?
False
Let l = 12.964 - -0.036. Let p = l + -12.954. Let y = 0.446 - p. Is -6/11 <= y?
True
Let f = -9974 - -10055. Is 33 at most f?
True
Let y be 0/3*(-1)/2. Let a = 226 - 113. Suppose a*o = 119*o. Is y bigger than o?
False
Let k = -137 - -365. Let c be 3/(k/154) + -2. Suppose -2*y - 14 = -4*n, 10*n = 2*y + 2*n + 30. Are c and y nonequal?
True
Let d(q) = 2*q**3 + 2*q**2 + 6*q + 3. Let y be d(-3). Let k be (-2)/(-17) + ((-1065)/y - -5). Which is greater: k or 31?
31
Let q = 0.71 - 84.71. Let s = q + 84.1. Is -26 bigger than s?
False
Let s = 14 - -17. Let u = s + -47. Let k = 24 + u. Is k at least as big as 10?
False
Let i be ((-516)/(-252324))/((-3)/((-18)/(-75))). Which is smaller: -1 or i?
-1
Let h = -2188 + 2761. Which is bigger: h or 570?
h
Let s = -288 - -165. Let n = 120 + s. Is -26 greater than n?
False
Let g = 247.11 - 247.11. Let l = -5.6 + 7. Which is greater: g or l?
l
Suppose -12792 = 17*z - 4*z. Is -984 greater than z?
False
Let t be 13/(-6)*(-1 - -4). Let w(d) be the first derivative of d**4/2 + 3*d**2/2 - 6*d + 148. Let c be w(0). Which is bigger: t or c?
c
Suppose 6 = -2*b, 197*b = d + 193*b + 837. Is d at most as big as -850?
False
Suppose 3*v - 7 = 2. Let s be (-4)/(-70) - (-48858)/19635. Is v > s?
True
Suppose 0 = 5*v - 5*t + 15, -3*v + 0*v - 16 = 4*t. Let l be 564/47*(-3)/v. Which is smaller: -6 or l?
-6
Let n be (-3)/(74190/(-1735))*(-878363 + -1). Let d = -61624 - n. Is d bigger than 0?
True
Let m(f) = -f**3 + 7*f**2 - 7*f + 5. Let l be m(4). Let i be (3*35/84)/((-1)/20). Let z = l + i. Is -3 smaller than z?
True
Let f(n) be the first derivative of 13*n**2 - 41*n - 252. Let v be f(1). Which is greater: -11 or v?
-11
Suppose -3*u = -3*m - 1581, -373*m + 2*u + 536 = -374*m. Let d(x) = -x**3 + 9*x**2 + 11*x + 4. Let l be d(13). Is m at most as big as l?
True
Suppose -3*u - 2*u = 285. Let z(f) = 112*f. Let t be z(1). Suppose 10*c - 8*c + t = 0. Which is bigger: c or u?
c
Let q = 3.8 - -1.2. Let l(j) = 3*j**3 + 33*j**2 - 21*j - 185. Let u be l(-11). Is q less than or equal to u?
True
Suppose 3*s = x - 213, -406 = 5*s - 13*x - 85. Let l be 924/7*(-5)/9. Is s <= l?
False
Let v = -85 - -55. Let q be (-6)/15 - (3 + 382/v). Which is smaller: -1 or q?
-1
Let a(q) = -q - 25. Let y be a(-21). Let s be 2/y*4/(-6). Which is greater: s or 1/20?
s
Let s = 11302 + -11095. Which is smaller: s or -21?
-21
Let f be -5 - 95074*7/(-133098). Let t = f + 161597/104577. Which is greater: t or 3?
3
Let m = 16 + 20. Let i be 49 - 43 - ((-386)/12 - -3). Which is greater: i or m?
m
Let l = -3543 + 3539. Are -104/21 and l equal?
False
Let i = 79 + -93. Let f(q) = -q**3 - 15*q**2 - 13*q + 15. Let o be f(i). Let d be (1 + 6/(-4))*0. Which is smaller: o or d?
d
Let k = -13977 + 13977. Is k >= 8/1885?
False
Let x = 2797 + -3123. Is x greater than or equal to -309?
False
Let p = -3 - -2. Let t = 4517 + -4616.44. Let g = t + 99. Are g and p unequal?
True
Suppose 0 = 4*y - 2*a - 30, 2*a = 5*y - 44 + 4. Let f(z) = 7*z**3 - 2*z**2 + 3*z - 2. Suppose -20 = 5*s, 7*s + 3 = -h + 6*s. Let c be f(h). Is y <= c?
False
Let r(h) = -3*h**2 + 18*h - 41. Let p be r(10). Let n = p - -170. Suppose 4*l = 3*k - 30, -5*l - 15 - 6 = -k. Which is smaller: k or n?
k
Let x(a) = a**2 + 21*a - 9. Let u be x(-24). Let f = 63 - u. Suppose -5*s - 3*o = -39, -4*o + f = -3*s + 6. Is 17/3 less than s?
True
Let b be (573/(-324))/((-189)/24) + 10/35. Is b < 1?
True
Let f be 287/123*(-18)/(-7). Let r(g) = 4*g**2 - 18*g + 7. Let m be r(f). Which is smaller: m or 40?
40
Let c = 88.64 - 0.64. Let a = -70 + c. Does a = -3/5?
False
Suppose -3*h = -v - 72, 12 - 7 = 5*h. Let b = -164 - -93. Is b smaller than v?
True
Let a(p) be the first derivative of -14*p**2 + 4*p - 14. Let y be a(6). Let m = 484/3 + y. Do -3 and m have different values?
True
Let c(r) = r**3 - 8*r**2 + 12*r - 25. Let z be c(7). Suppose -3*s = -25*s + 220. Is s >= z?
True
Let z(n) = -n**3 + 3*n**2 - n - 5. Let t(s) = -s - 3. Let x be t(-7). Let f be (4 - (-52)/(-16))*x. Let b be z(f). Which is smaller: -6 or b?
b
Suppose 145*l = 144*l + c + 3198, 4*l = 2*c + 12780. Does 3192 = l?
True
Let a be (58/(-20) + (-14)/(-35) - -5)*2. Let d be (-32)/(-70) - 6/(-15). Do d and a have the same value?
False
Let k be 20/(-1504)*(-3 + 15)*516/430. Which is smaller: k or 1?
k
Let b(q) = 17*q**2 - 2*q. Let n be b(1). Suppose -8*a + 7 = n. Do -11 and a have different values?
True
Let k(h) = 5*h + 48. Let l = -55 - -37. Let j be k(l). Let b = 65 + j. Which is smaller: b or 65/3?
65/3
Let q(s) = s**3 - 11*s**2 - 53*s + 16. Let g be q(15). Let c = -124 + g. Do 2 and c have the same value?
False
Let x be (-175)/(-4725) + (-759)/(-31995). Which is bigger: x or 0?
x
Suppose 12 = 4*l, y = 6*y - 2*l + 371. Let b(i) = i**2 - 26*i - 192. Let a be b(30). Is y > a?
False
Let d = 27589 - 27779. Let r be (-1)/(-5) - 2853/15. Is r less than or equal to d?
True
Let v be (-6)/((33/10)/(-11)). Suppose l = -26 + v. Suppose p + 3 = -p + 3*f, -5*f = p + 8. Is l less than p?
True
Let y = 39 - 36. Suppose -11*a - 3752 = -y*a. Which is smaller: -468 or a?
a
Let g = 2516 - 1652. Let r be (-80712)/g - 4/(-6). Which is smaller: -93 or r?
-93
Let a = 26.076 + -27.6429. Which is bigger: a or -0.1?
-0.1
Suppose 63*t - 35*t = -47*t + 27900. Is 2/11 > t?
False
Suppose 8*f - 1012 - 4340 = 0. Let p be (4/(-2) + -1)/(4 + f). Let z = p + -17471/6057. Which is smaller: -4 or z?
-4
Let m(f) = 2*f + 53. Let g be m(-27). Let x be (g - 4)*(-6)/6. Which is bigger: 2 or x?
x
Let s be (2579 + 2)*(6/(-57) + 51/(-57)). Are s and -2581 equal?
True
Suppose 0 = -3*w, 4*l + 3*w = 5*l - 644. Let r be l/(-8) - 2/(-4). Let t be (-1)/4 + (-285)/r*4. Do 11 and t have different values?
True
Suppose -3*s + 3859 = u, -s + 1257 = -14*u + 18*u. Which is smaller: 6442/5 or s?
6442/5
Let w = 2113/7 - 2267270/7511. Let q = -1496/151293 - w. Which is greater: q or 0?
0
Let r = -0.145 - -11.145. Which is smaller: 22 or r?
r
Let c be (-214)/(-321) - -2*(-3697)/21. Are c and -352 equal?
False
Let b = -869 - -1588. Which is greater: 718 or b?
b
Let b(j) = 32*j**2 - j + 4. Let k be b(-3). Suppose -5*n - k = 265. Is n bigger than -1/2?
False
Suppose 0*m = 2*m + 36. Let f(s) = -s**3 + 7*s**2 + 7*s - 44. Let o be f(7). Suppose -o*q - 45 = 55. Are q and m equal?
