 Let s = -1/115 + p. Which is smaller: 3 or s?
s
Let j(f) = f. Let m be j(1). Let s be 20/(-70)*(-602)/(-2). Let l be (2/5)/((-8)/(-80)*s). Which is greater: m or l?
m
Let g be 15*(-1527)/(-1200) + -13 - 1. Which is smaller: 5 or g?
5
Let j(i) = 7*i**2 - 28*i - 34. Let s be j(-1). Let d be (9/(-177))/(3/3). Which is smaller: d or s?
d
Suppose -y - 416 = 4*p - 444, -3*y - 21 = -3*p. Which is greater: y or -39/202?
y
Suppose -5*m + 29 = 4*l, 11 = 4*m + 3*l - 12. Suppose -s - 2*h = 4 + 3, -5*h - 15 = m*s. Is -3/140 greater than or equal to s?
False
Let s(m) = m**3 + 16*m**2 + 20*m - 4. Let r be s(-5). Is 339/2 less than r?
True
Let q(a) = -a**2 - a. Let o be q(-3). Let u be (6/6)/1 - -1. Suppose -5*r - 4*d - 56 = 0, r - u*d - 48 = 6*r. Is o greater than r?
True
Suppose -6*w = -5*w - 7. Suppose -w*c = -14*c. Is c at least as big as 3/32?
False
Let s = -0.17547 + 1712.17547. Is s < 0?
False
Suppose -1367*w - 524 = -1355*w - 1604. Is w less than 48?
False
Let g be (1 - (-204)/(-8))*18. Is g greater than or equal to -448?
True
Let m be (((-3)/(-8))/((-42)/28))/(17/(-68)). Is -1099 greater than m?
False
Let s(d) = -d**2 - 8*d + 3. Let w be s(-8). Suppose 3*o = -w*h - 15, -4*h = 40*o - 45*o - 16. Which is smaller: h or -0.047?
h
Let c = 2.53 + -2.523. Let b = c + -144.007. Which is smaller: -0.1 or b?
b
Suppose -2*h + 831 = 3*c, -35*h = -31*h + 3*c - 1647. Which is greater: 401 or h?
h
Let m(z) = 2*z**3 + 56*z**2 - 55*z - 2. Let p be m(-29). Which is smaller: p or -90?
-90
Suppose 3*z = -3*v + 1521, 16*v + z - 1015 = 14*v. Do v and 505 have the same value?
False
Let i be ((81/12)/1 + 0)/(17745/(-2184)). Which is greater: i or -2?
i
Let s = 11.4 + -15.4. Let x = 2 + -7. Let i = x - s. Is 9 at least as big as i?
True
Suppose 26 = -5*t - 54. Suppose -15*g = -9*g - 18. Let r be 4 - (g - 8/(-12)). Which is greater: t or r?
r
Suppose 5*w - 3*w = -2*c - 200, -3*c + 2*w = 290. Suppose 21*y + 2604 = -7*y. Let l = c - y. Is -19/4 at least as big as l?
True
Let n = -3.225 + -537.775. Is 1/2 bigger than n?
True
Suppose 4*m - 2*v + 18 = 0, m - 3 = 6*m + 4*v. Let q(s) = s**3 + 5*s**2 - 1. Let f be q(-4). Is f > m?
True
Let a be ((-4)/8)/(1/(-14)). Suppose 0 = 12*r - 19*r - a. Does 10/23 = r?
False
Suppose 0 = -5*b - g + 6*g - 5, -b + 3*g = -5. Let c = -148789601239/4956 + 30022112. Let s = 1/708 + c. Is b not equal to s?
True
Let u = -7734.9 + 7735. Which is smaller: -2238 or u?
-2238
Let g be (88/(-11) - (-7 - -1)) + 107874/(-9). Is g smaller than -11986?
True
Let t be ((-5)/(-2))/((-4)/(-8)). Suppose -4*z + 32 - 7 = t*j, -j + 5*z = -5. Let s = 1829 + -1825. Which is greater: s or j?
j
Let f = 72 + -59. Suppose u = f*u - 36. Suppose 7*g = u*g - 256. Are g and -64 nonequal?
False
Let j = 39 - -4. Suppose -45*l - 38 = -1928. Which is smaller: l or j?
l
Let t(x) = x**3 + 8*x**2 + 9*x + 18. Let w be t(-7). Let c be (-2)/w + 126/244. Suppose 2*f - 2*p = -2, 3*p - 2*p = 0. Is f equal to c?
False
Let m = -24328 + 24314.543. Let l = m + -0.143. Let r = l - -14.6. Is -6 >= r?
False
Suppose -2*g + 38 = -16. Let w be (-312)/(-777) + g/(-63). Which is bigger: 1 or w?
1
Let y = -35 + 43. Suppose 2*o + 30 = -3*o. Let s = o + y. Which is smaller: s or 16/5?
s
Let r = -810 + 811.08. Which is bigger: 0.06 or r?
r
Let p(u) = u**3 + 6*u**2 + 6*u + 10. Let s be p(-7). Let k = s + 26. Which is bigger: k or -54?
-54
Let z be 1/(-21 - (-350464)/16688). Is z greater than or equal to 1064?
False
Let t be (-2)/(-8) - 61/4. Let b = 19 + t. Let v be b/(-276)*3*-6. Is -1 > v?
False
Suppose -p = 3*p + 12. Let x(c) = -3*c - 7. Let m be x(p). Let h = 120 + -101. Which is smaller: m or h?
m
Let t be 6/(3 + -6) + -4. Let m be t/(3 - (-10)/(-2)). Do 23/8 and m have the same value?
False
Let l = -0.186 - 1.814. Which is bigger: l or 2140?
2140
Suppose -3*t = 4*o + o - 16, 0 = -t + 3*o - 4. Let h be 4/18 - 3963/(-27). Let u be (-273)/h*3*t. Do -12 and u have different values?
True
Suppose -223 = 5*q + 2*d, 3*d = -d + 4. Let w = 28 + q. Let c(z) = -z**3 - 18*z**2 - 18*z - 16. Let f be c(w). Is -3/17 bigger than f?
False
Let u = 377 - 12067/32. Suppose -w = 18*w - 19. Is w smaller than u?
False
Let y = 144 + -125.04. Let g = y - 1.66. Which is greater: g or 0.1?
g
Suppose 90 = -16*m + 26. Let x be -4*(1 - (-9)/m) + -5. Which is greater: x or 6/49?
6/49
Let a = 33/74 + -27175/60606. Let v = a + -12829/819. Suppose y + 15 = -3*t, -5*t = y + 7 + 8. Is y greater than v?
True
Let r(z) = -z**3 - z**2 + 4*z + 3. Let o be r(-2). Let b be (2/(-122))/((-3)/(-126639)). Let y = b + 692. Which is smaller: y or o?
o
Let n(t) = t**3 - 3*t**2 + 5*t - 6. Let d be n(4). Let w be (2 + (-55)/d)*-28 + 5. Let l be 1/(-2) - 3/(-2). Are w and l equal?
False
Let d = 10949 - 2321. Let z = d - 120851/14. Let x = z - -9/2. Which is bigger: 1 or x?
1
Suppose -1180252 = 62*t - 270755 + 138737. Is -16907 >= t?
True
Suppose -v + 6506 = 6501. Let o be -1 + 1/(1/138). Suppose 3*f + 5*m = o, -v*f - 20 + 237 = -3*m. Are f and 44 equal?
True
Let a be 2/20 - (-4122)/(-20). Let n = 204 + a. Which is greater: n or -0.202?
-0.202
Let r = 1.86 + 0.24. Let z = -732.39 + 732.69. Is r smaller than z?
False
Let l be (-633)/(-1620) + 2/(-5). Suppose -25*p - 3 = -628. Let o be (p/(-125))/(2/(-10)). Are l and o unequal?
True
Let g be 187328/(-11704) + (28 - 12). Is g > -1?
True
Let c be (-6)/(-9)*(4/18 + 116/(-348)). Which is greater: 1 or c?
1
Suppose 4*v - 2*m - 16738 = 0, -3*m + 19676 = 4*v + 2923. Which is smaller: v or 4185?
4185
Let d(w) = 3*w**3 + 15*w**2 + 362 - 339 - 4*w**3 + 15*w. Let y be d(16). Let i = y + -17. Which is bigger: i or -9?
-9
Let l(d) = 4*d + 160. Let m be l(-36). Is -13/2 at most m?
True
Let p = 651 - 291. Suppose -p = 7*f - f. Let u be (-118)/30 + f/(-18) + -3. Which is greater: -5 or u?
u
Let h be ((-3)/5)/(12/(-60)). Suppose 0 = 5*r - 5*q - 90, r + h*q + 75 = 5*r. Let v be r/36*6/(-4). Which is smaller: v or -2?
-2
Let a = -586.04 - -586. Are a and -340 unequal?
True
Suppose -5*o = 6*n + 334, 0 = -5*o + n - 306. Which is smaller: o or -65?
-65
Suppose 2*d - 5*c - 365 = 0, 4*d + 2*c - 415 = 255. Let f be ((-1635)/(-135))/(d/(-84)). Let m = f - -88/15. Are 0 and m unequal?
True
Let i(z) be the third derivative of z**6/360 - 7*z**5/120 - z**4/3 - 11*z**3/6 + 9*z**2. Let j(r) be the first derivative of i(r). Let k be j(6). Is -12 > k?
True
Let z = 3958 - 27642/7. Let s = z - 739/77. Are s and 1/3 unequal?
True
Let l be 1/3 - 1294/12. Suppose -8*g - 3 - 112 = o, -323 = 3*o + 2*g. Which is smaller: l or o?
l
Let r be -35*1/2*-2. Let u(g) = 2*g**2 + 28*g + 123. Let t be u(-5). Let p = t - r. Does -2 = p?
True
Let i = -69.59 + 7.69. Let x = i - -62. Which is greater: x or -97?
x
Let z be -2 - ((-268)/8)/(2/4). Suppose 0 = -4*x - 2*v + 70, 10*x - 6*x + 3*v - z = 0. Which is greater: x or -2?
x
Let j be 2/(-6)*((-62)/5 + (-132 - -145)). Which is smaller: -1/779 or j?
j
Let m be (272295/(-405))/(9/(-6) - (-2)/4). Is 673 equal to m?
False
Suppose 61*z - 38*z = -917 + 756. Let d be (2 - (-20)/(-9))*2. Which is bigger: d or z?
d
Suppose 3*c + 6815 = -5*b, -23*b = 5*c - 26*b + 11415. Let n = -3/673 + -3135501/1346. Let j = n - c. Is -50 at most as big as j?
True
Let c be (2 - -1 - 1700/544)*9201. Do -1150 and c have the same value?
False
Suppose j - 5*d - 292 = 0, 0 = -2*j - 2*j + 4*d + 1184. Let f = j - 152. Is f at least 145?
True
Suppose 2*k + 4*k = -6. Let d be (k/(-5))/(-1)*(-2 + -3). Suppose 0 = 4*a - s - 4*s + 1, -4*a - 4*s = -8. Is a <= d?
True
Suppose r - 4*z + 20 = 5*r, 5*z = 4*r - 20. Suppose 0 = r*h - a, 4*a - 8 = 2*h + 2*a. Is h equal to 24/29?
False
Let m(b) = b**2 + 76*b + 1441. Let x be m(-40). Let i be (-2)/(-5) + 352/170. Is x > i?
False
Let f(a) = -a**3 - 3*a**2 + 71*a + 304. Let k be f(-5). Let s be 2/(-1) - 4436/(-2216). Which is greater: s or k?
s
Let v be ((8/(-5))/((-2)/5))/22. Let z = -9 - -7.4. Let i = z - -0.6. Is v > i?
True
Let f be 4 + 502821/(-39)*-269. Let m = f + -3466476. Let w = 1705 - m. Is w != 0?
True
Let j = -19/377 - 2156/377. Suppose 4*k + v = -20, 3*v + 186 = -5*k + 161. Let q = j - k. Is q at most -1?
False
Suppose -107 = 3*q - 4*m, 2*m = 3*q + 2*q + 197. Let u = q + 44. Let k be (-5)/10*u/(-6). Which is bigger: k or 5?
5
Let l(g) = -2 - g + 24*g + 23*g**2 + g**3 - 46*g**2 - 5. Let c be l(