 = -39*g + 357. Let x be r(9). Let z = 16 - 11. Suppose m + 5*w = -z, 4*m + 0*w = -3*w + 14. Which is bigger: x or m?
x
Let j(b) = -b**2 - 4*b + b**3 - 6 + 2*b + 0*b**3. Let x = 23 - 23. Let i be j(x). Is -6 greater than i?
False
Let p be -9*(-7)/((-168)/8) + (-2 - -5). Which is greater: 230/271 or p?
230/271
Let q(s) = 20*s - 479. Let h be q(24). Let i be (-5)/(-6) - 1/(-6). Is i at most h?
True
Let z(f) be the second derivative of -f**4/6 - 49*f**3/6 + 77*f**2/2 - 24*f. Let i be z(-26). Which is greater: i or 1/26?
1/26
Let g be 156/182*(-28)/6. Let w be 2/(-22)*1*34. Are g and w unequal?
True
Let o be (-20)/2190*3*-2. Let f be (((0/(-3))/(-2))/(-1))/(-1). Which is smaller: o or f?
f
Suppose 39 = 12*b - 129. Let f be ((-44)/b)/((-5)/35). Suppose -4*d + 22 = f. Which is smaller: -3/25 or d?
-3/25
Let v be 3/(-7) - (-1380050)/3318672. Let c = v + 5/249. Which is greater: 1 or c?
1
Suppose -4*c = -15 + 7. Let n(q) = 2*q**2 - 61*q + 14. Let o be n(30). Which is greater: c or o?
c
Let s be (-1834)/17511 - (-16 + (-3732)/(-234)). Is s > 0?
False
Let m(q) = 128*q - 642. Let c be m(5). Which is greater: -169/111 or c?
-169/111
Suppose 5*p - 279*i + 275*i = -10, 2*p + 11 = 3*i. Let k = 153 - 45. Let w be (p/(-3))/((-1704)/k). Which is bigger: -1 or w?
w
Let j = -40.3 + 29.4. Let k = j - -5.9. Let l be 24/6*(0 - 1). Which is greater: l or k?
l
Let q be 5 + (5 - (-5836)/2336). Let h = q - -1/584. Let r = h + -12. Which is smaller: r or -12?
-12
Let h be 8/((-9520)/4137) - (-162)/90. Which is smaller: h or -2?
-2
Let q be -336 - 27/3*1/(-3). Let w = q - -330. Are 17 and w equal?
False
Suppose 20*q - 252 = -64*q. Let w(g) = g**3 + 11*g**2 - 13*g - 16. Let l be w(-12). Let x be 102/l*(-10)/15. Which is greater: q or x?
x
Let w be (462/21 - 22)*(-2)/(-4). Which is smaller: w or 2/12555?
w
Let l = 44 - 45. Which is bigger: 2/921 or l?
2/921
Suppose -3*m - 8*m = 8*m + 323. Which is smaller: m or 27?
m
Suppose -2*m - a + 9 = 0, -2*a - a = -4*m + 13. Let v(r) = -r**2 + r + 5. Let y be v(m). Let w = 12207 - 12216. Which is smaller: w or y?
w
Let r = 78 + -77. Let y = 325.11 - 324. Are r and y equal?
False
Let d = 80 + -79.9. Let v be (-7)/(-12)*((-493)/(-119))/(-29). Which is greater: v or d?
d
Let d = -7581358/1855 - -28608/7. Which is smaller: 0 or d?
d
Suppose 2922 = -10*l - 368. Let d = -304 - l. Which is smaller: d or 76/3?
d
Suppose 4*z = 3*h + 2, -7*z + 3*z - 3*h - 10 = 0. Let p be -237 + 3*(-8)/12. Let r = -19597/82 - p. Which is smaller: z or r?
z
Let p(q) = q**3 + 9*q**2 - 125*q - 1151. Let y be p(-10). Is y less than -1/2862?
True
Suppose 271*d + 2*z = 268*d + 3079, z = 2*d - 2041. Which is smaller: d or 1024?
d
Let i be (2344/22 + 0)*20583/16956. Let k = 5/1727 - i. Let l = k - -128. Do -1 and l have different values?
True
Let a = -372 - -388.7. Let j = 15.7 - a. Let d = -62.155 - -0.155. Which is greater: j or d?
j
Let v be (-99)/(-12 - -1) + -1 + -4. Suppose 3*n + 2*n + 5*f = -570, -v*f = 5*n + 573. Is n at most as big as -119?
False
Suppose -12*d + 4*b = -8*d - 232, 4*d - 241 = -5*b. Suppose -11*q + 125 - d = 0. Do 0.21 and q have the same value?
False
Let a(p) = 20*p**2 + 2*p + 1. Let d be a(-1). Suppose 0 = 4*y + o - 82, -3503*y = -3500*y - 3*o - 54. Is d less than or equal to y?
True
Let s(u) = u**3 + 4*u**2 - 7*u - 5. Suppose h + 2*x - 5 = 0, 2*h - 2 = x - 17. Let r be s(h). Let c = r - -9. Are c and -2 non-equal?
True
Let a = -4740 - -4499. Is -481/2 greater than a?
True
Let c be (-1)/5 - 244/(-20). Let x(t) = t**2 - 13*t + 14. Let d be x(c). Suppose k + 15 = s + 2*s, -d*k = -2*s + 10. Are 0 and k unequal?
False
Let z = 21.68 + 20.32. Which is greater: z or 1/12?
z
Let m = -1.61 - -1.42. Let g = -0.38 - m. Which is smaller: 5 or g?
g
Let b(m) = m**3 - 7*m**2 + m - 1. Let v be b(7). Let l(y) = -3*y**3 - y**2 + 5*y + 12. Let a be l(-4). Let u be a/(-45) + (-6)/(-27)*v. Is u at most -3?
False
Let o = 40 + -38. Suppose -5*c + 2*u + 37 = -o*c, 3*u = 12. Let d = 15 - c. Are d and -3/77 nonequal?
True
Let o = -1026 + 1459. Let q = o - 431. Let g = 0.24 - 12.24. Is g less than q?
True
Let r be 375/35*448/560. Is 18 smaller than r?
False
Suppose 0 = 26*y - 28*y, -21*t - 3*y - 107228 = t. Which is bigger: -4873 or t?
-4873
Suppose -i - 5*d = -13, 4*i + 0*d = -d + 14. Let f be (50/69900)/((-1)/i). Is f at most 0?
True
Let m(i) = i**2 - 10*i. Suppose -5*f + 20 = -3*x, -4*f + 5*x = 1 - 4. Let c be m(f). Is -22 != c?
True
Suppose 7*u + 23 = 39*u - 9. Let k = 69 + -3242/47. Which is smaller: k or u?
k
Let c be (-123)/15 + (-2)/(-10). Let v be ((-4)/(-20))/((-2)/(-130)). Suppose -3*n - v - 11 = 0. Is n < c?
False
Suppose 4*j + 9*r - 8 = 5*r, 5*r = -j - 14. Let i be (4/(-7 + -1))/(3/j). Is -6/73 != i?
True
Let k = 423358/21 + -20160. Is -1326 at least as big as k?
False
Let t = 21 - 11. Let f = t - -16. Is f > -0.3?
True
Let l = -1031150/33 + 31247. Suppose 0 = 3*a - 5*h - 3, 5*a - 5 = -0*h - 2*h. Let k be a/(1 - 18/4). Which is smaller: k or l?
k
Let k be (-32)/(-88) - (1624/(-11) - -2). Let l = 12 + -12. Is k bigger than l?
True
Let n be 23/7 - 60/210. Suppose -3*a - 3 = r - 10, 0 = 3*r + n*a - 21. Are r and 12 equal?
False
Let p = -87049/8 - -10878. Is p at most -1?
True
Let t be 2 + (-207)/64 - (-685)/548. Let v be (2/4)/((-6 - -3)/(-6)). Is v at most as big as t?
False
Let b = 1.9 + -2. Let u = 173 + -170. Let k be u/((-5)/(75/9)). Is b less than or equal to k?
False
Suppose -3*a + 6 = 3*r, 5*r + 0*a = -4*a + 8. Suppose r = i - 2 - 0. Let l(v) = v**3 - 4*v**2 + 5*v - 2. Let y be l(3). Which is bigger: y or i?
y
Suppose 611 = -26*o + 195. Let u(y) = y**2 + 25*y - 8. Let n be u(o). Do -154 and n have different values?
True
Suppose -3*o + 2*l = o, -3*l + 14 = o. Suppose o = 3*v - 7. Is v at most as big as 4?
True
Let a = -1286 + 1307. Let z be 4/(-14) - (-1684)/14. Suppose 4*n + n = 3*o - 64, 5*o + 5*n - z = 0. Is a smaller than o?
True
Let r(g) = -22*g**2 - 23*g - 30. Let f be r(8). Which is greater: -1624 or f?
f
Let r = -341/9 + 38. Let s = 19/252 - r. Which is smaller: s or 0?
s
Let d be (234/164)/(-9)*6/(-3). Let g = d - -2354/205. Which is greater: g or 12?
12
Let o be ((-572)/(-16) - 0) + 51/(-68). Let p = 476 - 1319/3. Is o >= p?
False
Let l = -511.553 - -509.1. Let j = 0.047 - l. Let g = 1.8 - j. Which is bigger: g or -2/3?
-2/3
Let t be (-261975)/5988*(-1 - (-19)/21). Let c(d) = -d**2 - 5*d - 5. Let v be c(-4). Let q be 3/(v + 24/15). Is t smaller than q?
True
Let o = 0.158 + -0.158. Let l = -12.8 - 22.4. Let c = -36 - l. Which is bigger: o or c?
o
Let i = 607 - 586. Suppose i = 13*z + 8*z. Is -339 < z?
True
Suppose -4*s = -3 + 7. Let b = -34 - -39. Let o be s/(3*b/(-345)). Is 24 less than or equal to o?
False
Let w be 36*-38*9/(-36). Let j be (-11)/(528/w) + 7. Which is greater: -1/62 or j?
-1/62
Suppose 0 = 3*w + 2 + 4. Let n be (-6)/24*5/((-195)/(-168)). Is w at least as big as n?
False
Let j = 285 + -290. Let w = 2.6 - 0. Let h = w + 0.4. Which is smaller: h or j?
j
Suppose -3*a + 60 = 7*a. Suppose -15 = a*f - 9. Is f > 3/8?
False
Let v be (1 - 2)*20/2830*11/66. Is v at most as big as -1?
False
Let g be ((-422)/(-1055))/((-29)/25). Is g at most as big as 0?
True
Let r be (-18)/(-21) + -1 + (-9040)/28. Let x be 38/r + 57/(-816). Which is smaller: 1 or x?
x
Let l = -964 + 35. Let a = -783 - l. Is a at least 0.1?
True
Suppose -5*a - 48 = 5*g - 548, 2*a + 8 = 0. Let u = 153 - g. Let r = 57 - u. Is r at least as big as 33/4?
False
Let a be (-3)/3*(-1590 - -2). Let t be (a/28 - 0) + (-6)/(-21). Let r = 55 - t. Which is smaller: r or -5?
-5
Let k(r) = -19*r - 193. Let n be k(1). Let m(z) = 3*z**2 + z. Let b be m(-1). Let i be -1 + n/12 + b. Which is greater: -16 or i?
-16
Let c = -5553 + 27768/5. Is -139 less than c?
True
Let z(w) = 4*w**2 + 251*w + 1202. Let t be z(-5). Are 800/17 and t non-equal?
True
Let q(y) = 5*y + 271. Let d(c) = 12*c + 814. Let k(v) = 4*d(v) - 11*q(v). Let z be k(43). Is z less than -207/8?
True
Let d be (-1 + 2)*10/(-355). Let h be (375/(-10))/((-1)/2). Let u = -76 + h. Which is bigger: d or u?
d
Let h = -62 + 61.94. Let a be 8 + (4 - (3 - -4)). Let z be (10 - 7) + (-17)/a. Which is smaller: h or z?
z
Suppose 0*l - 4*o = 2*l - 52, 5*o + 25 = 0. Let z be (-4 + l)*(0 - -1). Let f = -32 + z. Are f and 2/7 nonequal?
True
Le