13 + 2/(-3)*3. Let d = f - -16. Which is smaller: q or d?
q
Suppose 0 = -6*x + x - 10. Which is greater: x or -21?
x
Let l = 633 + -12653/20. Which is bigger: -1 or l?
l
Let f = 28 + -4. Let m = 45 - f. Let o = m - 16. Is 6 less than o?
False
Let d(v) = -2*v - 15. Let p be d(14). Let h be ((-4)/(-10) - 0)/(p/5). Which is greater: h or 0?
0
Let h = 890 - 895. Which is greater: h or 30?
30
Suppose 4*x + 13 = 5*d, 3*x + 6 = 2*d + d. Suppose u = 3*z - x*u + 9, -4*z - 4*u = -16. Let o be (-1 - z)*17/102. Is -0.03 != o?
True
Let a(y) = 3*y**2 - 12*y + 20. Let k(d) = -10*d**2 + 37*d - 60. Let m(u) = -7*a(u) - 2*k(u). Let p be m(7). Let v = 253 - 2021/8. Which is smaller: v or p?
v
Let s be (2/(-8))/((-226)/24). Which is smaller: 1 or s?
s
Let j(b) = 2*b**2 + 9*b - 6. Let i be j(-7). Suppose -4*k - i - 7 = 0. Let d = 1586 + -1596. Which is bigger: k or d?
k
Suppose -934 = -6*t - 928. Let m be 124/12 + (-1)/3. Let s be (1/m)/(1/(-4)). Are t and s equal?
False
Suppose -9*b = 4*b + 52. Let y = 6 - 3. Which is smaller: b or y?
b
Suppose -14 = -5*w - 4*l, 1 = -3*w - 5*l - 1. Suppose -104 = 2*f - w*f. Let c be 16/72 + f/(-36). Is -1 at least c?
False
Let u = -3929/2 + 35197/18. Is u greater than -9?
False
Suppose 3*n = -2*n. Let z be (-2034)/45 + 1/5. Let o be (-3)/15 - (-21)/z. Is o equal to n?
False
Suppose -2*i - 2 - 2 = -j, 3*j = 2*i. Let c(h) = h**2 - 7*h + 9. Let k be c(3). Which is bigger: j or k?
j
Suppose -3*j - 3*g = -69, j - 4 = -5*g + 7. Let r be 2/((-1477)/(-98) + -15). Is r greater than or equal to j?
True
Let w = -46/15 + 12/5. Let j be 4/(-5)*15/(-3). Suppose -4*r + m = 17, 3*r + 17 = 2*r - j*m. Is r at most w?
True
Suppose 4*b = -20, -150 = -4*c + 2*b + 124. Let k = 17 + 48. Are c and k equal?
False
Let t = -4.45 - -1.45. Which is bigger: 2/15 or t?
2/15
Let v(l) = -2*l**3 + 8*l**2 - 7*l - 6. Suppose 10*j - 64 = -6*j. Let g be v(j). Is g at most as big as -35?
False
Let n be (-172)/6 - (72/27)/8. Let d(h) = 8*h + 12. Let l be d(-5). Which is smaller: l or n?
n
Let m be (-2)/4 + (-2 - -18). Let c = -781/50 + m. Let d = 253 + -252. Which is bigger: d or c?
d
Let x = -0.08 - -1.18. Let a = 1.1 - x. Is 1 < a?
False
Let r be (-6)/21 + 47/(-7). Let a = 0.108 + 70.892. Let b = a + -72. Which is smaller: r or b?
r
Let t(y) = -140*y - 1. Let c be t(-1). Which is bigger: c or 137?
c
Let d = -769 + 884. Which is smaller: -2 or d?
-2
Suppose -4*a = -3*r - 666, -2*a + 4*r - 3*r + 334 = 0. Let b = a - 167. Is b at least 16/9?
False
Let r = 1.64 + -26.64. Let l = -1 + r. Is l > -4?
False
Suppose 5*y - 10*y - 385 = 0. Let p = -78 - y. Which is smaller: p or 1/13?
p
Let v = 942947/4279 - 2424/11. Let z = -1567/4279 + v. Let x = 492/5 - 98. Which is smaller: z or x?
z
Suppose 0 = 8*j - 9*j - 428. Let q be j/(-595) - 12/30. Let n = q + -3/17. Is n equal to 1?
False
Suppose 3*f - 328 = 2. Let m be (-42)/f + -1 - (-4)/22. Which is bigger: m or -2?
m
Let n(v) = 3*v**2 + 15*v - 18. Let s be n(-6). Let i be ((-8)/250)/(4/(-10)). Which is smaller: s or i?
s
Suppose -23*s + 2036 = -1874. Is s at least 168?
True
Suppose 6*f = 11*f - 20. Let h be f/(-22) + (-36)/44. Let y = 16/27 + -154/351. Is y >= h?
True
Let w = -101 + 176. Suppose 4*t + w = 7. Which is smaller: t or -19?
-19
Let i be 84/21 - (-1 + 32). Let f be 6/(-4)*(-9)/i. Is f bigger than -0.5?
False
Let s be 24462/36*2/1. Is 1358 less than s?
True
Let v(p) = -p**3 - 2*p + 3. Let h be v(0). Let d be (h/2)/(66/4). Are d and 2/3 nonequal?
True
Let b(c) = -c**2 + 15*c - 6*c - 6 + 0. Let f be b(8). Let l(i) = -i + 16. Let k be l(13). Is k less than f?
False
Let d be (-1)/(6/21 + 66/(-378)). Which is greater: -6 or d?
-6
Let k = 6.5 - 9.2. Let d = -2.98 + -0.02. Let f = k - d. Which is smaller: 1 or f?
f
Suppose 0 = -m - 9*d + 4*d - 16, -2*m - 7 = 5*d. Let r = 11 + -15. Let y be 1 - (3 + 3 + r). Which is smaller: m or y?
y
Suppose 9*m = 3*m - 483 + 543. Let c be (1/1)/((-2)/(-14)). Is c bigger than m?
False
Suppose 10 = 3*w - 5*s, -w - s = s + 4. Suppose w*f - 6 = 2*a + 2*f, -4*f - 22 = -a. Let i be (-5*(-32)/40)/2. Is i bigger than a?
False
Let z(h) = 2*h**3 - 12*h**2 + 10*h + 4. Let x be z(5). Suppose 118 = -x*g - j, -4*g - j = 4*j + 126. Is g < -28?
True
Let f be 9/(-39)*(0 - 22). Which is smaller: f or 4?
4
Let z = -963/4 - -242. Which is bigger: -1 or z?
z
Let d = 0 - -9. Let b = 7 + -4. Let i = b + -3.1. Is d less than i?
False
Suppose 3027*x = 3032*x - 1675. Is 333 equal to x?
False
Let p = -17.4 + 18. Let c = -0.5 + p. Let n = 1 - -1. Which is smaller: n or c?
c
Suppose -2*t = 5*u + 114, 4*t + 51 = -2*u + 5*t. Let b be (40/u)/(20/(-24)). Is 9 <= b?
False
Let w = 0.221 - 0.021. Is w at least 39?
False
Let x be 141/5 + 6/(-30). Let o be ((-30)/(-8))/(42/x). Is o != 0.1?
True
Suppose 6*j - 2*j = 0. Let l = 235/9 - 26. Is j >= l?
False
Let y = 1167 - 1164. Which is greater: y or 181?
181
Let a = 68 - 133/2. Let j = 12468 - 12467. Is j <= a?
True
Suppose -4*y = y + 25, 0 = 5*f + 4*y - 5. Let d be 0/(-2) - (-20 - -19). Suppose -d = 3*t + 2*r + 9, -5 = 4*t + r. Which is smaller: f or t?
t
Suppose -2*m = 4 + 26. Let d = m - -11. Let u be (-5)/(-3)*d/(-70). Is u <= 0?
False
Let l be (-7)/(42/(-18)) + -1 + -3 + 3. Let n(r) = -r**3 + 7*r**2 - 6*r. Let g be n(6). Suppose 0*j - 5*j + 10 = g. Is j at most l?
True
Let w be (0/4)/(-2 - -4). Suppose -2*c + 31 = -l, w = -0*c - 2*c + 3*l + 33. Suppose c = 2*a + u, -4*a - 6 = -3*a - 4*u. Which is smaller: 7 or a?
a
Let m be (-98)/8 + (-3)/(-12). Let x be -3*(4/m)/1. Is 20 at least x?
True
Let r = 214 + -124. Is r at most 93?
True
Suppose 31*x - 2*x = -696. Which is smaller: -21 or x?
x
Let h = 187 - 186.9. Which is smaller: -11 or h?
-11
Let m be (1 - 8/(-2))*(-20 - -21). Suppose -23 = 3*l - 2*n, m*l + 0*n + n + 47 = 0. Is -2 greater than or equal to l?
True
Let s = 180 - 1254/7. Let w be 4 - (1749/484 + (-2)/8). Let h = w + -39/44. Which is bigger: h or s?
s
Let y = 238 - 237.847. Are 2/5 and y equal?
False
Let v(b) = -b**3 - 6*b**2 + 11*b + 26. Let s be v(-7). Suppose 14 = 5*q + 54. Let x = s - q. Is 5 equal to x?
False
Suppose -6*f - 28 = -10*f. Let u be (-18)/21*f/(-4). Let t = u + -5/4. Do t and -1 have different values?
True
Let g = -1.48 + -0.52. Let b = -6.23 - -4.22. Let c = g - b. Which is smaller: c or 2/3?
c
Let v = -141843/1561 + 480/223. Let w = v - -89. Let t be (0/(-7))/((-5)/(15/6)). Is t != w?
True
Let l(z) = 4*z**3 + 2*z**2 + z + 3. Let a be (0 + 1)*(7 - 11). Let n be l(a). Let p be (-55)/n - 2/(-10). Which is smaller: 0 or p?
0
Let a = -2/87 - 23/261. Let m = -0.2232 - -0.1832. Which is smaller: m or a?
a
Let f(l) = l**2 + 4*l + 1. Let n be f(0). Which is smaller: -32 or n?
-32
Let i = -26/45 - -5093/9360. Is i at most 1?
True
Suppose -62 - 409 = 5*i - 4*s, 0 = -5*i + s - 474. Let v = 42 - 43. Let t be v/4 - i/(-4). Are t and -24 equal?
True
Suppose h + 3*h = 20. Suppose -2*q - h*b = 16, -8 = -5*q - b - 2. Let f(x) = -x**2 + 5*x - 3. Let n be f(3). Is n >= q?
True
Let m = 34.97 + 2.03. Is 5 smaller than m?
True
Let l be 10/16*26/65*2. Which is smaller: l or 37/14?
l
Suppose -11*t + 96 - 85 = 0. Does t = 8/237?
False
Suppose 4*f + 24 = b + 247, 2*f = -8. Let x = 487/2 + b. Let l = 9 - 5. Is l at least x?
False
Suppose 3*w = -0*w + 15. Let c = 1 + w. Suppose 5*x = t - 31 + 16, -t = 4*x + 3. Is c at least as big as t?
True
Let r(b) = 6*b - 17. Let n be r(7). Suppose -24 = -5*w + 4*d, 5*w - 7*d - n = -2*d. Let i = -2298 + 16118/7. Which is bigger: i or w?
i
Suppose -m = -0 - 5. Suppose -5*v - 3*u = -12, -m*v + 5 = -4*u + 21. Is -1/12 > v?
False
Let k(b) = 5*b - 8*b**2 + 19*b**2 - 17*b + 4*b**3 - 3*b**3. Let d be k(-12). Is 6/23 greater than or equal to d?
True
Let x = 72 + -73. Let v = 0.6 + 7.4. Is v less than or equal to x?
False
Let h be (-102)/(-54) + -2 - (-4992)/(-27). Which is smaller: h or -189?
-189
Let m = -507 + 297. Let k be ((-12)/(-10))/(m/20). Is k smaller than 0?
True
Let b be 2/(-6) - 60/(-18). Let h be 5*-1*(0 + b). Let k = h + 9. Which is smaller: k or -7?
-7
Suppose 0 = -9*i + 6*i + 33. Suppose i = 3*o + 2. Let r be (-8)/o*180/80. Which is bigger: -5 or r?
-5
Let t = -16403 - -16403.1. Let i(q) = -q**3 - 3*q**2 + 2*q + 2. Let p be i(-4). Which is smaller: p or t?
t
Let p = 18 + -6. Let t be (-2)/(-9)*(p - 9). Let i = -0.3 - -0.3. Which 