). Let d(h) = 3*h - 33 - 5*h + 9*h. Let b be d(5). Which is greater: w or b?
b
Let m = 3.2674 + -1.4674. Is m >= 110?
False
Let a be (66/(-784553))/(84/(-196)). Is a greater than 0.2?
False
Let n(v) = -24*v + 1728. Let z be n(26). Is 1104 != z?
False
Let q = -6.0302 - -3.003. Let a = q - -0.0272. Which is smaller: a or -0.47?
a
Let b(v) = -v**2 + 13*v + 83. Let r be b(9). Let j = r + -120. Is j at least 1/7?
False
Let t(a) = -5*a - 6. Let w be t(11). Let o(i) = -990*i - 28769. Let m be o(-29). Which is smaller: w or m?
w
Suppose 0 = 19*l - 11*l - 16. Suppose l*s = -4*a - 48, -5*a + 6 = -3*s - 11. Which is bigger: -2/5 or s?
-2/5
Let b = -7 - -11. Let m be 8731/(-37) - b - 2. Let t = 242 + m. Which is smaller: -1 or t?
-1
Let a = 0.03092 + 957.96908. Which is smaller: a or 7?
7
Suppose 3*y - 18 = -6. Suppose 5*k - 5*s + 3*s - 550 = 0, -y*k + 4*s = -428. Let d = 108 - k. Is -21/8 > d?
True
Let f(i) = -i**3 + 2*i**2 + 18*i - 8. Let p be f(-4). Suppose -p*x + 60*x = -4796. Which is smaller: -107 or x?
x
Let h = -329 - -274056/833. Suppose 23*w + 7*w = 12*w - 22*w. Is w at least as big as h?
True
Let b = 9403 + -9053. Which is smaller: b or 348?
348
Let h(c) = c**3 + 6*c**2 + 3*c + 10. Let u be h(-3). Suppose 21*d = 7*d + u. Suppose 0 = 3*y + 2*m + 110, -d*y - 6*m - 100 = -10*m. Is 0.1 >= y?
True
Let y be (-178)/(-276)*12/9 - 1. Let i = y - -2/69. Suppose -57*g + 14 = -43*g. Is g less than or equal to i?
False
Let c(t) = -t**3 - 15*t**2 + t + 14. Let g be c(-15). Let m(p) = -3*p**3 + p**2 + p. Let k be m(g). Let j be (k/(2*3))/((-1030)/20). Which is greater: j or 1?
1
Let s(d) = -4*d**2 - d + 9. Let p be s(-3). Suppose 9*x + 6 = 5*x + 5*l, -7 = -3*x - 2*l. Which is smaller: p or x?
p
Let q = -10142 + 314303/31. Which is smaller: q or -5?
-5
Let l be (-3 - (3 - -1)/(-2)) + -1. Let i = 27 + l. Let s be ((-5)/(i/2))/((-45)/(-25)). Is -1 < s?
True
Let f(y) = 6*y - 30. Let v = -199 + 199. Let a be f(v). Which is bigger: -28 or a?
-28
Suppose 93*k - 82*k = -231. Let z(s) = -s**2 - 2*s - 10. Let n be z(-4). Which is smaller: k or n?
k
Let w(v) = -18*v - 124. Let l be w(-7). Suppose 3*c = 0, -2*c + 3 = -j + l. Is -3/49 <= j?
False
Let y(n) = -n**3 + 26*n**2 - 24*n - 26. Let w be y(25). Let u be (4 - 5) + (w - (-1 - 2)). Is u != 2/1403?
True
Let b be 79/(-284) - (-1)/4. Suppose 49*g + 367 - 324 = 6*g. Is b at least g?
True
Let h = 1072835/2613709 + -444/1301. Let t = 1/49 - h. Which is smaller: t or -1?
-1
Suppose -65*s + 67*s = 268. Let w = -178 + s. Are w and 0.1 nonequal?
True
Let w(p) = -2*p**2 + 18*p + 13. Let l be w(13). Let s = 93 + l. Let k = -20 - -28. Is k greater than or equal to s?
True
Let f(p) = -p**2 - 286. Let x be f(0). Let l = x - -290. Which is greater: l or 2/5?
l
Let h = -287 - -288. Let b be 3*(-33)/69 + 1. Let n = b + 8/23. Is n > h?
False
Let h = -42 + 43.2. Let v = h - 0. Let j = -0.2 + v. Is -1/10 > j?
False
Let d = -5474 + 4806. Is d less than -664?
True
Let r(o) = -2*o + 3 - 38*o**2 + o**3 - 2*o + 77*o**2 - 45*o**2. Let q be r(7). Let i = -15 - -41. Which is bigger: q or i?
i
Let t be -120*((-128)/5)/(-8). Let w = 423 + t. Is w smaller than 37?
False
Let y = -268 - -387. Let o = -36 + 107/3. Is o smaller than y?
True
Suppose -13*d - 14 = -14*d. Let l = d - 40. Let s = l - -18. Does -6 = s?
False
Let s be (5 - 6)*6/(-2). Suppose -7*m - s*m = -13*m. Let x = -436/13 - -33. Which is greater: x or m?
m
Let w = 0.0534 - 0.1234. Let x be 13/(-39) + (-100)/(-156). Which is bigger: w or x?
x
Let p = -1586 + 1588. Does -423 = p?
False
Suppose 0 = -4*d + 3*o + 1246, -3*d + 3*o = -2*d - 307. Let r = d + -276. Which is smaller: r or 39?
r
Let p(l) = -9*l - 1793. Let i be p(-38). Do i and -1451 have different values?
False
Let w = 2750 + -4736. Let b = 1074 + w. Let c be 1 + -5 - b/216. Which is smaller: c or -0.5?
-0.5
Let w = 292.754 + -293. Let q = w + -1.754. Let j = -0.28 + 11.28. Which is smaller: q or j?
q
Let v(x) = -x**2 + 18*x + 116. Let w be v(-6). Let f be 147/3 + w/(-4). Which is smaller: f or 55?
55
Let t be (6/1)/(4 - 2). Suppose -4*y + 44 = -t*i + 4*i, -3*y = 4*i - 202. Suppose 0 = 4*z - 4, -3*z - i = -3*c - 4. Which is greater: 16 or c?
c
Suppose 75*a + 1075738 = -19*a + 20*a. Is a at most as big as -14538?
False
Suppose -2*z = 4*v - 58, -2*v + 0*v + 71 = 3*z. Let h be (292/6)/(28/12). Is h not equal to z?
True
Suppose -4*l + i = -288 - 44, -l - i = -83. Which is smaller: 32 or l?
32
Let o = -6.8 - -15.1. Let t = -8 + o. Let l = -85777 + 85766. Which is smaller: t or l?
l
Let h be 1/(-8*(-5)/400). Suppose -18*d + 8 = -h. Is 10/27 greater than or equal to d?
False
Let b = 2198.7165 + 0.2835. Is b smaller than -1?
False
Suppose -4*y - 3 = 1. Let d = -0.0663 + 111.1663. Let f = d + -114. Which is smaller: y or f?
f
Suppose 0 = -9*z + 159 + 363. Let o = z - -351. Is 410 at least o?
True
Let u(b) = -5*b**2 + 4 + 2*b + 3*b - 8*b**2 - 9*b**2. Let a be u(-1). Let h be ((-2)/(-16))/(a/(-6))*4. Is 0 less than or equal to h?
True
Let n be -18 + 21 - (-263)/(-13). Let x = -21306/1235 - n. Let t be (-10)/(-6) + 18/(-27). Is x bigger than t?
False
Suppose 42 = -3*z - 4*p, 0 = -4*p + 31 - 7. Which is greater: z or -14?
-14
Suppose -2*r + 8 = -2*y, -4*y - y + 8 = 2*r. Suppose 0 = 2*q + i + 39, -7*q + r*q - 4*i - 56 = 0. Let d be -3 + ((-214)/q)/(126/35). Is 1 at least as big as d?
True
Suppose -138 = -4*g + 182. Let z be 83104/1029 - 464/(-812). Which is smaller: g or z?
g
Suppose 1215*x = -7962 - 13908. Let s(q) = q**3 - 5*q**2 + 2*q + 2. Let m be s(5). Which is smaller: m or x?
x
Let n be 11/44*(-28)/(-217). Let s(r) = 7 + 0 + r - 5. Let d be s(-2). Is d greater than n?
False
Let u be 8 + (216*8)/(-8). Let m = u + 204. Does m = 62?
False
Let t = 939 - 3766. Let s = t - -636076/225. Are 0 and s nonequal?
True
Suppose 3*k - 1 = -2*n, 2*n - 2*k = 3*k + 9. Let x = 1090 + -1087. Suppose -p + x*z = n*z + 3, -5*z + 16 = -4*p. Is p >= -1/3?
True
Let g = 9.3 - -19.7. Let p = -39 + g. Is -4/5 equal to p?
False
Let o be (-116082)/(-24)*(9 - 184/24). Is o not equal to 6450?
True
Let v = -0.4 + 0.3. Let x = 457.4 - 421. Let z = 25.4 - x. Which is smaller: v or z?
z
Suppose -5*k + 2*f + 4 = -6*k, -f = 2. Let v be (-1)/((-4)/(-12)) - -19. Let q = -15 + v. Is q > k?
True
Let h be 27545/245 + (-8)/(-14). Is 685/6 at least as big as h?
True
Let c = -0.19 + 2.39. Let v = 2.4 - c. Let u = 68 + -68. Which is greater: u or v?
v
Let m = -18 - -14. Let y = -3 - m. Let z be y + -2 - (-18 + 17). Is z at least as big as -2/7?
True
Suppose -10*i + 40*i + 150 = 0. Let q(x) = 0 - 3 - x**2 - 4 - 4*x. Let o be q(i). Do o and -11 have different values?
True
Let r(h) = h**3 - 11*h**2 - 44*h - 20. Let u be r(14). Let n be u/(-27) - 32/(-144). Is n bigger than 36/13?
False
Let y = -21533 - -29297. Is y equal to 0?
False
Let q(m) = -m**3 + m**2 + 4*m + 36. Let t be q(5). Which is smaller: -179/4 or t?
-179/4
Let m = 789 - 14985/19. Let c = 4.473 - 4.573. Which is smaller: c or m?
c
Let m(h) = h**2 + 12*h + 20. Let w be m(-10). Let x be ((-7810)/435 - -18)*10/24. Which is greater: w or x?
x
Let h be (-12)/22 - ((-1179)/(-781))/(-3). Let a = -11 + 12. Is a greater than h?
True
Let x = -27/7871036 + 5298348005/332559142036. Let a = -2/167 + x. Which is smaller: -1 or a?
-1
Suppose 364*p = 436*p + 9072. Does p = -126?
True
Let y = 252 - 252. Which is smaller: 17/23 or y?
y
Let t(y) = 7*y**2 + 28*y - 131. Let x be t(7). Let i = x + -354. Which is smaller: 3 or i?
3
Let h = -4 + -12.4. Let z = -16.6 - h. Let v = 16 - 19. Which is smaller: v or z?
v
Let m be (-46)/14 - 2/(-7). Let p = -16985 - -16983. Which is bigger: p or m?
p
Let r(s) = s**3 + 2*s**2 - 47*s + 8. Let g be r(-9). Let c be (2 - 94/68) + 16/g. Is c less than -1/17?
False
Let l = 5382 - 6976. Which is smaller: -1592 or l?
l
Let f = -4039 + 4010. Is -75 greater than or equal to f?
False
Let r = -366 - -370.16. Let w = 4.178 - r. Is -0.1 at least as big as w?
False
Let z = -54 + 57. Let q be -4 + z/(-24)*-67. Which is smaller: 4 or q?
4
Let m be (3 + (-20)/12)/(8/6). Let b = 3 - m. Which is smaller: b or 6?
b
Let d = -1/78 + 317/390. Let j = 3166 + -3158. Are d and j unequal?
True
Let c = 290 + -58. Suppose 323*x - 325*x = c. Which is smaller: x or -118?
-118
Let p = 296/1095 - 10/73. Suppose 20 = -2*t - 4*r, 0 = -5*