8 + -946. Which is smaller: l or 23?
l
Let l = 57 + -2. Let b = -59 + l. Let h be (0 - -2)/6*-14. Is h greater than or equal to b?
False
Let m = -301 + 301. Let h = -1 + 1.2. Which is bigger: m or h?
h
Let d be (-96)/224 - (-6)/14. Is -10/141 less than d?
True
Let c be (-8 + 1)*(4 - 5). Suppose 43 + c = -5*h. Let q = h - -6. Is -3 greater than q?
True
Let w = 36.942 - 37. Let r = w + -0.122. Which is bigger: 0.1 or r?
0.1
Let t be (-2 - 3)/(125/(-50)) + 0. Which is smaller: t or 49/19?
t
Let q = -482/5145 - -6/343. Which is smaller: -1 or q?
-1
Let t be 6/2*(-2)/6 - -2. Let l be (-7 - t)*(21 - 19). Which is bigger: -14 or l?
-14
Let p(x) = -x**3 - 11*x**2 + 15. Let i(o) = o**3 - 6*o**2 + 6*o - 3. Let d be i(4). Let z be p(d). Let w be (-3)/(-6) - z/18. Which is greater: w or 3?
3
Let s(a) = -a**2 + 3*a - 2. Let d be s(2). Suppose 2*w - 2 = w - 2*j, -2*j = -6. Let g = 3 + w. Is g bigger than d?
False
Suppose -5*y = 6*v - 4*v - 24, 76 = 4*v + 3*y. Which is smaller: v or 20?
20
Let k = 1.963 - -0.037. Which is smaller: -2 or k?
-2
Let h(a) = -11*a - 7. Let n be h(-2). Let v(t) = t**2 - 16*t + 15. Let x be v(n). Which is bigger: x or -1/23?
x
Let u = 9.179 - -0.121. Let a = u - -0.7. Which is greater: a or 1/2?
a
Suppose 0 = -u + 34 - 36. Let n(k) = -k**3 + k**2 - k + 1. Let p be n(0). Is p less than u?
False
Suppose -7*j + 5*j = 2*s + 2, 4*s = j - 14. Is j smaller than 24?
True
Let s(p) = -84*p**3 + 2*p**2 + 3*p. Let o be s(-1). Suppose 2*x - o = x. Are x and 84 nonequal?
True
Let a = -1462 - -76. Let r be 564/a + 2/7. Let l = -86/165 - r. Which is bigger: -5/2 or l?
l
Let n be (-4)/((-32)/42)*8/(-3). Let x be (-1)/(n/12)*(-40)/(-30). Is 2 > x?
True
Suppose -5*z + 3*z = 0. Let q(f) = 0*f + 2 + 6 - 1 + 2*f. Let g be q(-4). Which is smaller: z or g?
g
Suppose -d + 4871 = -5*r, -5*r + 3*d = 481 + 4392. Let h = r + 92528/95. Which is bigger: h or 1?
1
Let t be 3/20 + 6/(-15). Let j(m) = m - 2. Let p be j(5). Suppose -3*s = 2*o - p, -o - 3*o + 5*s = 5. Do t and o have the same value?
False
Let q(v) = -20*v + 32. Let s be q(-8). Let f be 2/11 + s/(-693). Let a = -1 - 0. Is a less than f?
True
Let l = 267/35 + 174/35. Which is bigger: l or 13?
13
Let r be -1 - ((-1 - -5) + -20). Suppose -5*u - 3*y = -10, -5*u + 0*y - r = -2*y. Let z = 10 - u. Is z not equal to 13?
True
Let i = 29 - 68. Let j = -49 - i. Which is bigger: -12 or j?
j
Let j be (40/100)/((-2)/(-10)). Suppose j*g = 3*g - 6. Which is smaller: 4 or g?
4
Let s = 7 + -7. Suppose w + 3*w - 12 = s. Let m = 224 - 222. Which is smaller: m or w?
m
Suppose -200 = 14*f - 15*f + 2*s, 0 = -2*f + 3*s + 396. Is 193 > f?
True
Suppose 0 = -4*u + 5*j + 12 + 16, 4 = -j. Suppose -2*t + 2 = -u*q, 0 = 4*q - 2*q + 3*t - 13. Suppose 0*l = -q*l - 8. Is l greater than or equal to -3?
False
Let q be (-21)/(-23) + 1 + -2. Let b(p) = -p**2 + 7*p + 2. Let x be b(8). Let i be (0 - -1) + x + (-12)/(-3). Which is greater: q or i?
q
Let s = -25979/561 + 515/11. Let r = s - 496/1173. Is 0 at least as big as r?
False
Let l be ((-10)/(7 - 2))/(4/478). Are -239 and l unequal?
False
Let r be 6 + -4 + (-40705)/20356. Is r <= 1?
True
Let r = 70 + -35. Let s be (4/35)/(7/r). Which is smaller: 2 or s?
s
Let f(u) = 5*u**2 - 17*u + 38. Let i be f(3). Suppose 5*r - 155 = -0*r. Which is smaller: i or r?
r
Let u be 0/((7 - 10) + 2). Let v = 1.5 - -4.5. Let s = -3 + v. Which is smaller: s or u?
u
Let k = 51/193 + -122759/772. Let p = k + 1859/12. Which is greater: p or -3?
-3
Let h be (-2)/6 + 91/(-42). Let x(q) = q**2 - 2. Let t be x(2). Suppose 2*o = -0*o + t. Which is greater: o or h?
o
Let n = -28.2632 - -0.2632. Which is bigger: 8/7 or n?
8/7
Let p(j) = j**3 + 4*j**2 - 3*j - 8. Let f be p(-4). Suppose -2*o - 4 = 5*u + 5, f*u = o - 15. Let l be 2*(-3 + 5 + u). Is l > 0?
False
Let z(l) be the first derivative of -l**4/12 + 4*l**3/3 - 5*l**2/2 + 5*l + 3. Let n(i) be the first derivative of z(i). Let m be n(8). Which is bigger: -4 or m?
-4
Let u = -331 + 335. Which is smaller: u or 30?
u
Let o be (-38 - -16)*(-14)/(-4). Do o and -0.2 have different values?
True
Suppose -112 = c - 115. Which is greater: c or -199?
c
Let y be (-10 - -1201)*2/6. Let n = y + -4364/11. Is 0 at least as big as n?
False
Let n = -309 - -169. Is -141 greater than n?
False
Let p(y) = 2*y**2 + 7*y + 2. Let m(k) = k**2 + 3*k + 1. Let q(a) = 5*m(a) - 3*p(a). Let x be q(-7). Let z be (x/84)/(-2)*6. Which is smaller: 0 or z?
0
Let k be (-4)/(-3)*(90/(-4) - -3). Let f(o) = -2*o**2 + 9*o - 8. Let g be f(6). Is g < k?
False
Let u(x) = -x**2 - 8*x + 2. Let z = -10 - -2. Let v be u(z). Do 8/7 and v have the same value?
False
Let k = -16.341 + -0.349. Let y = k - 0.31. Let r = 17.4 + y. Which is smaller: r or 1?
r
Let b = -162 + 48. Which is greater: -117 or b?
b
Let r = 254.9 + -255. Which is smaller: r or 0.074?
r
Let z be ((-2 - -6) + -120)/(-2). Let y = -60 + z. Which is smaller: -5 or y?
-5
Let u = -46 - -33. Let t = 12 + u. Let v be (t/(-2))/((-4)/72). Which is smaller: -8 or v?
v
Let u = 2 - 2. Let x = 145895 - 1023648/7. Let h = x - -341. Which is smaller: u or h?
u
Let g(y) = -y**3 + 11*y**2 - 9*y - 9. Let x be g(10). Let h = 16427/25 - 657. Which is smaller: h or x?
h
Let q = -2.85 + 0.55. Let l = 4.09 + -4.29. Is q smaller than l?
True
Let p(y) = 101*y**2 - 1. Let v be p(1). Suppose -3*m - v = 2*m. Let w = m + 20. Do w and 0 have the same value?
True
Let y be (3176/(-10))/4 - (-4)/10. Is y not equal to -233/3?
True
Suppose -s = 26*s + 405. Let b = 10 - 23. Let v = s - b. Are v and -1 unequal?
True
Let b(l) = -l**2 + 8*l - 6. Let g be b(6). Let m be (-8)/g*18/276. Which is greater: 0 or m?
0
Let g = -38 - -35.3. Let z = 1.6 + g. Let w = 0.2 - z. Does 0.1 = w?
False
Let x(b) = b**3 + 7*b**2 - b - 7. Let n be x(-7). Let v(a) = -a - 7. Let p(w) = w + 9. Let q(h) = 4*p(h) + 5*v(h). Let g be q(n). Is 1 at least as big as g?
True
Let s = 16 + -25. Suppose -5*g + z = 3 + 26, -5*g - 3*z - 33 = 0. Let m be g/s*(-6)/(-4). Are m and 0 unequal?
True
Let j = 34 + -91. Is -58 >= j?
False
Let o be (-4432)/(-20)*(-5)/7. Let s = 158 + o. Is s at most -6?
False
Let p = 146 - 144. Let f = -116/5 + 25. Is p at least f?
True
Let h = -20 + 9. Let y = 115 - 121. Which is greater: h or y?
y
Suppose -r + 2*x - 15 = 11, 0 = -x + 1. Let k be (-3)/6*r/(-20). Let h = -17/2 - -8. Is h < k?
False
Suppose 6*m - m = -5. Let j = 52 + -14. Let x = -24 + j. Which is smaller: m or x?
m
Let y = -11 - -11. Is y bigger than -362?
True
Suppose 3*w + l + 8 = 0, -4*l = -5*w + 26 - 11. Let o be 32/(-28)*(-2)/(-24). Are w and o non-equal?
True
Let g = 7 - 16. Let k be 1/(7 - 4)*g. Suppose -5 = 5*n, -d - 9 = 3*n + 1. Which is smaller: k or d?
d
Let f = 0.163 - 0.234. Let a = -40.929 + f. Let q = a + 23. Is 0.1 not equal to q?
True
Let h be (-2)/1 - (-24)/4. Let g = -3 + h. Let x be (-319)/(-726) - ((-6)/4 + 2). Which is smaller: x or g?
x
Let g be 36*(1 + 117/(-30)). Let y = g - -104. Which is greater: -0.3 or y?
-0.3
Let u = -344/201 + 3/67. Let q(b) = b**2 - 3*b - 1. Let t be q(3). Is t greater than or equal to u?
True
Let n = -1136 - -1140. Let u = -5 - -4.7. Is u at least as big as n?
False
Let c = 1189/1617 + -39/49. Do -54 and c have the same value?
False
Suppose -3*k + 93 = -0*z - 3*z, 0 = -z + 2*k - 32. Let f be z/(-3)*(-4)/(-10). Suppose -g = f*g. Which is bigger: g or 1?
1
Let j = -24 - -26. Suppose j*h - 3*z - 4 = h, 7 = h - 4*z. Which is smaller: h or -6?
-6
Let s = 0.0532 + 1.2468. Does s = 0.5?
False
Let x = 176.9 - 162. Let t = x + -15. Is 5 at least t?
True
Suppose 5*m + 3*b + 535 = 0, -m + 3*m + 198 = 2*b. Does m = -105?
False
Let v be (12/18)/(1/6). Suppose -4*g = 4*m, -7 = 3*g - v. Is 2/19 >= m?
False
Suppose 3*l - 1 = t - 4, 15 = -2*l + 5*t. Are 1/566 and l nonequal?
True
Suppose -8 = -d + 4*s, -6*d + 3*d + 3*s = 3. Which is greater: -25/7 or d?
-25/7
Let k = -115 - -50. Let s = -86 - k. Do -20 and s have the same value?
False
Suppose 1 = -c - j - 0, 0 = 2*c + 5*j + 11. Suppose -c*v = -7*i + 2*i + 8, 0 = 5*v - 3*i + 20. Is 0.4 smaller than v?
False
Suppose -860 = 4*l + 3*u, 635 + 440 = -5*l + 5*u. Is l != -214?
True
Suppose -1 = -s, 4*u - 2*u + s = 11. Suppose -3*w - 6 = -u*w - 4*g, -4*w - 2*g = -18. Suppose 3*m + 4*r + 14 = 2*m, -22 = -w*m + 3*r. Which is smaller: 1 or m?
1
Let t = 294 