. Let b be c(t). Let q = -221 - -215. Which is smaller: b or q?
q
Let o be ((-36)/(-16))/((11/4)/11). Let t(z) = -12*z + 108. Let c be t(o). Is 5 <= c?
False
Let u be 3 + (-7 - -2) + 4. Suppose -u*k - 9 + 11 = 0. Let n be k/6*(-8)/6. Are 1/3 and n nonequal?
True
Suppose 4*s = 3406*k - 3405*k + 8, 3*s + 60 = -2*k. Are k and -55 non-equal?
True
Let m(l) = 6*l**2 - 173*l + 987. Let s be m(21). Is -26/37 greater than s?
False
Suppose -5*n + 3*f + 85 = -179, 2*f + 6 = 0. Let v = n + -15. Suppose -56 - v = -2*g. Is 46 at least g?
True
Let a be 1 - (6/9*-1)/((-18)/127953). Which is smaller: -4739 or a?
-4739
Let c = 472 - 472.0145. Let t = c + 9.0145. Are 0.7 and t equal?
False
Let w(z) = -3*z**2 + 48*z - 172. Let g be w(7). Which is smaller: 9 or g?
9
Suppose -105 = -10*f + 3*f. Let v be 4/(-20) + 73/f. Suppose x = 2*x - 5. Which is greater: x or v?
x
Let k = 95 + -92. Let z(p) = -p**k + 7*p - p + 13 - 5*p - 8*p**2 - 7*p. Let y be z(-7). Which is greater: y or 7?
7
Let p = -287 + 76. Let a = p - -209. Is 2.9 > a?
True
Let s = -19675/126 + 1226/9. Is -19 <= s?
False
Let t = 14 + -10. Suppose -4 = -j - j, 0 = -t*w - 4*j. Suppose k = -3*m - 55 + 52, 5*m - 5*k = -45. Is m <= w?
True
Let q be 4/1 + 13 + 34. Suppose 0 = w - 3*a + q, -3*w + 3*a - 51 = 72. Let u(i) = -4*i**2 - i - 3. Let g be u(-3). Do g and w have the same value?
True
Let v be 39/((-663)/(-47090))*1. Is v greater than or equal to 2771?
False
Suppose -z + 2*h = 17, 4*h - 705 + 676 = -3*z. Do z and -2/55069 have the same value?
False
Let h = -844 + 860. Let b(g) = -g**3 + 3*g + 2. Let s be b(-2). Let c = 17 - s. Which is smaller: h or c?
c
Let b(o) = o**3 - 8*o**2 + 11*o - 11. Let u be b(7). Let l = u + -288/17. Is 1 less than l?
False
Let g(f) = 3*f + 20. Let p be g(-12). Let j be (-24)/p + (-21)/2. Is j less than -10?
False
Let c = 3.20109 + -0.00109. Is 88 at least as big as c?
True
Suppose -198*g = -81*g - 73*g - 1936. Do 22 and g have the same value?
False
Suppose 5*y + 5 = 0, 11*y + 5 = 4*g + 6*y. Suppose g = 7*f - 3*f - 2*t, 0 = 4*t - 16. Let d be f + -4 - (3 + -5 - -4). Which is smaller: -5 or d?
-5
Let b = -0.67 - 165.33. Let w = b + 233. Is 0.1 != w?
True
Let g be 2415/1380 + 12345/4. Which is greater: 3089 or g?
3089
Let z(k) = k**3 - 14*k**2 - 14*k - 9. Let l(j) = -2*j**3 + 8*j**2 + 2*j + 7. Let t be l(4). Let x be z(t). Let s be (65/(-50) + 2)*x. Which is greater: s or 3?
s
Let z = -5395 + 5395.62. Which is bigger: z or -20?
z
Let d be ((-7700)/(-49))/(-4) + (1 - 0). Let z be 2/6*3684/35. Let l = d + z. Is -4 < l?
True
Suppose 2*p - p = 0. Let n be 33/75*(-2 - -259)*1. Let o = -113 + n. Is p greater than o?
False
Let w = 597.5 + -602.5. Is -0.19 smaller than w?
False
Suppose -42324*f + 390 = -42322*f. Is f != 3135/16?
True
Let f = -1.944 - 0.056. Is f smaller than 1.648?
True
Suppose 0 = 5*t, -2*u - 2*t + 0*t = -12. Suppose -u*d + 7 - 1 = 0. Is d at most -1/70?
False
Let x(a) = -a**3 - 10*a**2 - a + 30. Let t be x(-10). Let f be (-25)/t*(-4)/390*1. Let j(n) = n**2 + 6*n + 8. Let q be j(-4). Is q less than f?
True
Suppose 2*m = -f + 160 - 524, -5*f + 3*m - 1768 = 0. Let t = 357 + f. Is -6/203 less than t?
True
Suppose -638*p + 95372 = -216*p. Which is greater: 243 or p?
243
Let c = 0.61 - -0.09. Which is smaller: c or 140?
c
Let f be ((-3)/(-27))/((-45)/405). Which is bigger: f or 29/60?
29/60
Let w = 16/1861 + -24199/433613. Are w and 1 non-equal?
True
Let v(r) = -125*r + 470. Let d(l) = 18*l - 67. Let x(k) = -20*d(k) - 3*v(k). Let i be x(15). Are 155 and i non-equal?
False
Let x = -72850.093 + 72904. Let o = x + -54. Let i = o - -0.113. Is i >= -0.3?
True
Suppose -g = 6*l - 11*l + 90, 2*g + l + 202 = 0. Let v be g/40*1/(-10). Which is greater: -5 or v?
v
Let t = 482.1 + -482.153. Which is smaller: -24 or t?
-24
Let x(h) = 3*h + 30. Let v(r) = r**3 - 6*r**2 + 5*r + 3. Let t be v(4). Let z be x(t). Let f be (-83)/(-5) - ((-54)/(-15) - z). Which is bigger: 15 or f?
f
Let d = 12.2 + -2.5. Let r = 9.76 - d. Do 22 and r have different values?
True
Let f = 18283723/23045 - -36/4609. Which is greater: f or 793?
f
Let i be (2/8*-1)/(56650/(-2360) - -24). Which is smaller: i or 536/9?
i
Suppose -4*f = 5*r + 37, 2*r + 3*f - 8*f = 5. Let a be r/3 + 2 + 117/(-189). Let j = -17/42 + -2/21. Are j and a unequal?
True
Suppose -3*x - 5*y - 17 = -0*x, -2*x + 6 = -y. Which is smaller: -27/197 or x?
-27/197
Let r = -124 + 74. Let i = -42 - r. Suppose -i*w + 6*w - 28 = 0. Is -12 at most w?
False
Let y be (6/(-42))/(5 - (-405)/(-35)). Which is greater: y or 13?
13
Let x = -919/2145 + 16/39. Let m = 55867 - 55868. Which is smaller: m or x?
m
Let i be 3 + (-55)/8 - -4. Let s(b) = -22*b**2 - 18*b + 3. Let y be s(-1). Is i greater than y?
True
Let d(f) = -f**2 - 7*f - 2. Let l be d(-6). Suppose 4*b - l*r + 12 = 0, 0 = 2*b + b - r - 1. Let a be b/(-8) + 7/(-4). Are a and -14/9 unequal?
True
Suppose 125 - 6 = -17*o. Let i be (o*4/(-42))/((-6)/525). Is i at most -58?
True
Suppose -12 - 5 = 2*w - 3*h, 0 = -2*w - 5*h + 23. Let a be (-2)/w - (-16 + 9). Is 69/7 < a?
False
Let s(f) = -10*f + 83. Let p be s(8). Suppose 0 = c - 2, p*y - 1054 = 5*c + 1. Is 355 bigger than y?
False
Let t(m) = -m + 3. Let a be 9 + 4 + (-2 - -1). Let v be t(a). Let d = -9 - v. Is d > -2/21?
True
Let s(h) = -2*h + 6. Let f be s(0). Suppose 15 = -7*w - f. Which is bigger: w or -36?
w
Let b be (-58)/(-21) - (-24)/(-18). Let v = 213 + -214. Which is smaller: v or b?
v
Let x be (-18)/(-10)*40/6. Let q be (9/x)/(3/36). Suppose -q = -2*g - 19. Are -5 and g nonequal?
False
Let g = 0.446 - 191.446. Let m = 179 + g. Which is smaller: 0 or m?
m
Let a be (408/(-70))/(158/395). Is a not equal to 38?
True
Let i(f) = f**3 + 28*f**2 - 25*f + 118. Let d be i(-29). Is 128/171 >= d?
False
Suppose 1224*q = -2*k + 1222*q + 4500, -2*k + 2*q + 4512 = 0. Which is smaller: k or -3?
-3
Let s = 458 - 456. Let m = 393/2 - 192. Which is smaller: s or m?
s
Let s(m) = -2*m**3 - m**2 - 16*m - 1. Let t(g) = g**3 - g. Let k(n) = s(n) + 3*t(n). Let b be 274/54 - (-1)/(54/(-4)). Let q be k(b). Which is smaller: -4 or q?
-4
Let z = 0.27 + 0.03. Let d = z - 0.3. Let x = -8665/7 + 1240. Which is smaller: x or d?
d
Let q be 71/(-142) - 1010/(-4). Is 250 at least q?
False
Let o be -11 + 12 - 7/(1400/7944). Which is smaller: -38 or o?
o
Let f be 24/(((-2)/(-4))/(15/(-9))). Let u be 3*(5 + f/15). Let q = 297 - 5046/17. Is q at least as big as u?
True
Let n(x) = -x**2 + 20*x - 74. Let r be n(13). Let q = r + -19. Is q at most 4?
True
Suppose 4*i + 1 = 9, 4*z + 6 = -i. Let c be z/6 + (-1292)/(-4641). Which is bigger: -1 or c?
c
Let y be (32/(-168))/(0 - (-4)/6). Let q be (-87)/(-232) - 22/16. Is y bigger than q?
True
Let z = -9/76 - -1657/15276. Let m = 124897/250044 - 230/311. Let v = m + z. Which is greater: 8 or v?
8
Let g be (-2)/10 - 344/(-20). Let n(r) = 7*r**2 - 883*r + 1757. Let z be n(2). Is g > z?
False
Let w = 408 + -241. Suppose -2*f + 7*k + 369 = 0, 3*f + 100*k - 526 = 105*k. Is f greater than or equal to w?
True
Let l = 6 - 6. Suppose 2*c + 2*b - 7 - 65 = 0, -b - 112 = -3*c. Let s be (c/((-1665)/378))/(4/(-10)). Are l and s nonequal?
True
Let w(s) = s**2 - 31*s - 2515. Let g be w(68). Which is bigger: g or -505?
g
Suppose 16473*a + 52021 - 1567 = 16455*a. Is a > -2800?
False
Let j(q) = 23*q**3 + 2*q + 1. Let r be j(-1). Let v be -6 + 177/(-21) + 3*-3. Which is bigger: v or r?
v
Let c be -10 + 1 - -1 - (-787760)/98464. Which is greater: 0 or c?
c
Let p be (26/(-21)*-7)/((-159)/(-9)). Suppose 17 = -6*t - 11*t. Which is bigger: t or p?
p
Suppose -3*d + 2*n = -14, 44*d - 40*d = -3*n + 13. Suppose k - 8 = -k. Let t be 22/k - (1 + 2). Is t at most as big as d?
True
Let m = -20 - -107. Suppose 87 = -8*r + 5*r - 4*d, 3*r + 5*d = -m. Do r and -29 have the same value?
True
Suppose 0 = -4*r - 3*z + 2568 - 7340, 0 = -3*r + z - 3566. Let i be 3 + 68/(-20) - r/(-50). Is i > -24?
False
Let k(a) = -2*a - 2. Let s be k(-5). Let x be 2/((-4)/(-7) - ((-570)/105 + 5)). Suppose s*y = x*y. Which is greater: y or 1/77?
1/77
Let o = -341 - 253. Let c = o - -581. Which is smaller: c or -1?
c
Let u(k) = k**3 - 11*k**2 + 8*k + 14. Let z be (-50)/35*(0 - 7). Let j be u(z). Let o be (4 - 60/9)/(4/6). Which is bigger: j or o?
o
Let c be ((-261)/(-870))/(3/((-7815)/(-4))). Is c equal to 196