. Let l = -4 + 3. Let n(x) = x. Let w(b) = l*k(b) - 3*n(b). Let h be w(-6). Is -6 >= h?
True
Let q = 9345 - 121401/13. Is 6 at most as big as q?
True
Suppose -8*s - 66 = 3*s. Let d be 1/(-2) + -2 - (-9 - s). Suppose 2*k = -0*k. Is d <= k?
False
Let x = -30.9 - -13.74. Let q = x + 0.16. Let w = 17.1 + q. Is -2/11 greater than w?
False
Let x = -0.05 + -0.15. Let q = -1.2 - -1.1. Let t = q - -5.1. Which is smaller: x or t?
x
Let x be (-1805)/494 + 1/(-2). Are x and -3 nonequal?
True
Suppose 0 = -s - 4*s + 30. Suppose -3*j + 64 = 5*j. Suppose -2*r + 10 = 0, -2*r + 6*r = 3*w + j. Which is greater: w or s?
s
Suppose -29 = -4*m - 5*o, 3*o - 20 - 7 = -4*m. Let j(r) = -2 - m + r + r. Let f be j(-3). Which is bigger: -15 or f?
f
Let r be 4/(-6) - 52/3. Suppose 7*b + 103 = 19. Let u(i) = -3*i - 55. Let x be u(b). Is x at most as big as r?
True
Let z = 486 + -485.91. Which is bigger: z or 0.8?
0.8
Let d = 37 - 45.5. Let y = 2 + d. Let l = y + 1.5. Which is bigger: 0 or l?
0
Let n be (-38)/(7/(-6 - (-95)/10)). Which is greater: -15 or n?
-15
Let b = 1703 + -1702. Which is smaller: b or 13?
b
Let p be 0/((-1 + 0)*1). Let m = -20 + 15. Let s be (m + 4)/(p + 1). Is s > -4?
True
Let a = -28 + 30. Suppose -i = 4*t - 11, -3*t - a*t = i - 14. Are i and -5 equal?
False
Let o be 49 - ((-9)/(-2) - 42/28). Which is smaller: o or 45?
45
Let c = -13 + 8. Suppose -4*w = 2*p - 26, p + 4*p + w - 20 = 0. Let l = p + c. Is l <= 0.2?
True
Suppose -5*i + 2*a - 3 + 4 = 0, -5*i + 7 = a. Let j be ((-44)/(-56))/(1/(-4)*i). Which is smaller: j or -3?
j
Let u = 2 + -6. Let y = 7 - u. Let b = -11 + y. Is b less than -0.2?
False
Let w be 2109/(-1295) - (-1)/5. Let p(i) = i**2 + 4*i - 7. Suppose 0 = g - 4*a - 3, -3*a + 1 = -g - a. Let h be p(g). Is w != h?
True
Let y be (-16)/(-64) - (-171)/20. Is y not equal to 9?
True
Suppose 4 = -7*s + 424. Let t = s + -58. Does 2 = t?
True
Let f be (-1)/(162/86 - (8 - 6)). Which is greater: f or 10?
10
Let c = -132.5 - -21.5. Let y = c + 111.6. Which is greater: 3 or y?
3
Let z be (-1)/(-3) - 444/1260. Is -1 at most z?
True
Suppose -p - 3*v - 1 = 0, 2*p - 5*p = 5*v - 1. Let c be 0/1 - p/(-69). Let j(y) = y**3 + 5*y**2 + 4*y + 20. Let i be j(-5). Which is smaller: c or i?
i
Suppose -7 - 119 = -k. Is 127 at least k?
True
Let v = 1137525/223 + -5101. Let h = -5571/446 - v. Which is bigger: -12 or h?
-12
Let s(f) = -37*f + 20. Let u be s(4). Is -131 bigger than u?
False
Let t = 435 + -358. Is t at most 2?
False
Let l = -15 - -9. Let i = 7 + l. Let q be -2*(-2)/(-12) + i. Which is bigger: q or 0?
q
Let m = -227/5 - -45. Suppose -3*w - 4*p - 23 = 0, 4*w - 2*w + 18 = -4*p. Let l(y) = y**2 + 6*y - 3. Let x be l(w). Is x greater than or equal to m?
False
Let k be 3 + 2/(-5)*-95. Are 41 and k equal?
True
Suppose 2*x = -i, -2*x = 4*i - i - 4. Suppose 0*r + 3*r - 8 = -2*c, 0 = -i*c + 2. Let b = r + -3. Is -1/3 at most b?
False
Suppose -3*t + 7 = 78*d - 76*d, 4*d = 2*t - 10. Let n(a) = a**2 - 3*a - 1. Let q be n(2). Is d != q?
True
Let h be (245/6)/((-20)/210). Let i = 436 + h. Which is greater: i or 7?
i
Suppose 0 = 3*t + y + 80 + 18, -4*t - 138 = 5*y. Let k be (t/6)/((-7)/63). Suppose 2*g + g - k = -3*x, -5*x = 5. Is 17 at least g?
True
Let t = 1 - 2. Let d = 869 + -242453/279. Is t <= d?
True
Let t = -714 + 712. Is -22 greater than t?
False
Let m = 82 - 86. Let l be ((-135)/(-18) - 8)*m*1. Which is greater: 27 or l?
27
Let v = 2/605 + 68361/1210. Is v not equal to 58?
True
Let b = 542/15 - 36. Is 0.048 smaller than b?
True
Let k(n) = -n**2 + 11*n - 11. Let y be k(9). Let m = 586 + -585. Which is smaller: m or y?
m
Suppose 3*r - 6 = 0, -4*z + 8*r - 334 = 7*r. Let h be (z/(-81) - 0) + (-1)/1. Let i = 0 + 0. Which is smaller: i or h?
i
Let d be (-1)/(-2) - (-18)/4. Suppose -d*h + 0*h + 30 = 3*u, -2*u + 13 = h. Suppose -2 = z + w - h, -2*z = 3*w - 5. Which is bigger: -4 or z?
z
Let p(k) = -k - 9. Let r(g) = -7*g - 55. Let u(b) = -39*p(b) + 6*r(b). Let l be u(9). Let q(a) = -a**2 - 5*a + 7. Let f be q(l). Is f != 2/5?
True
Suppose -3*c - 4*c + 21 = 0. Suppose i = -c*i - 28. Is -11 < i?
True
Suppose 0 = -0*c + c + 33. Let r be (-12)/32*22/(-33). Is r greater than c?
True
Let g(r) = -r**3 - 5*r**2 + 7*r + 10. Let v be g(-6). Suppose 0 = -2*s - 2*s + v. Is s bigger than 1/36?
True
Let m be -111 - -117 - (5 - -1). Is -1054 at most m?
True
Let b be (-18)/((-12)/2)*1/(-3). Let f be (-2 - b) + -6 + 16. Which is greater: 5 or f?
f
Suppose t = 5*t + 264. Let w = t - -75. Which is smaller: 0.1 or w?
0.1
Suppose 5*y + 227 = 2*p + 2*p, 206 = 4*p + 2*y. Suppose 2*t - 47 = -p. Suppose -3*c = 2*c + 25. Which is bigger: t or c?
t
Let o = 220 - 221. Let n = -7 - -20. Which is smaller: n or o?
o
Let k be 21/5 + 20/(-100). Is 8 less than or equal to k?
False
Let l = -15 + 28. Suppose -l*t = -12*t - 2. Let p = 12 + -8. Are t and p equal?
False
Let j = 0.42 - 461.42. Is j < -0.1?
True
Let j(p) = -4*p**2. Let i(z) = -z + 10. Let u be i(6). Suppose -u*r + y = -r + 8, 0 = -3*r - 2*y + 7. Let x be j(r). Is -4 != x?
False
Suppose 301 = -18*s + 85. Is -12 bigger than s?
False
Let s be 1*2*(-2 - 19) + 2. Let b be (s/(-25) + 2/5)/2. Is 5/4 equal to b?
False
Let y = 1.6 + 14.4. Let v = -0.49 + -0.51. Which is smaller: v or y?
v
Suppose -3*m = -4*p + 207, 7*m - 200 = -4*p + 3*m. Is p at least 52?
False
Let r(v) = 11*v**2 + v + 4. Let c be r(4). Let y = c - 127. Suppose 5*p + 4 = 3*m + y, 5*p - 5 = 0. Which is smaller: m or -17?
-17
Let r be (-6)/14 - ((-382)/(-7) - -6). Let k = 113 + r. Is k less than 53?
True
Suppose 5*n = 4*i + 25, -2*i = -9*n + 10*n + 9. Is n greater than or equal to 2.49?
False
Let s be -2*(-21)/(-14)*1/(-3). Let m(l) = -10*l**2 + 2*l - 6. Let g(r) = -9*r**2 + 2*r - 7. Let z(k) = 5*g(k) - 6*m(k). Let q be z(s). Is q <= -1?
False
Suppose 9714 = -r + 7*r. Let m = 17821/11 - r. Is m < 0?
False
Let d = 52 + -154/3. Let h = 191 - 218. Let y = -26.94 - h. Is d < y?
False
Suppose 0 = -4*q + q - b + 46, 5*b + 26 = q. Suppose -2*j + 2 = -6. Suppose -j*z + 0*z = -56. Is z at least as big as q?
False
Suppose 30 = 406*t - 416*t. Let n = 0.05 + -3.05. Are t and n equal?
True
Let z(h) = -h**3 - 13*h**2 - h - 16. Let v be 1/(0 - (-5)/(-65)). Let j be z(v). Which is smaller: -10/3 or j?
-10/3
Let y = -39 - -43. Let n be ((-1)/(-2))/(14/(-12)). Which is greater: y or n?
y
Suppose 2*p + 16 - 4 = 0. Let f be -3 + (-1 - p) + 240/(-115). Which is smaller: 1 or f?
f
Let n = -322.9 + 322.9. Is n < 489?
True
Let u be 620/(-21)*1190/(-68). Is 518 less than u?
False
Let l(o) = -2*o**2 + 18*o + 24. Let i be l(10). Let f be 2/i*(-2 - -2). Which is bigger: f or 2/5?
2/5
Let r be (-102 - -99)*(0 + (-1)/3). Is -4/117 at most r?
True
Let f = -165.4 - -165.6. Is 346 >= f?
True
Suppose -16*v = -3*v - 52. Let h be v/(-10) + (-1176)/(-2865). Which is smaller: -1 or h?
-1
Let m(i) = i**2 + 2*i + 1. Let l be m(-1). Suppose l = -2*u - 0*u - 4. Is u at most as big as -10?
False
Let m = -29.629 - 0.371. Which is bigger: m or 3?
3
Let a = 0 + 3. Suppose a*f = -2*f - 190. Let x = 32 + f. Is x <= -14/3?
True
Let o = 2035 + -2058.8. Is 7 less than o?
False
Let r = -8 + -4. Let w = r - -15. Let x be (w/(-33))/((-2)/(-6)). Is -1 less than x?
True
Let q = 0.3 - 0.1. Suppose -7*s + 20 = -27*s. Which is smaller: q or s?
s
Let i = -370.6 - -368. Let w = 1.3 - 4.1. Let d = i - w. Which is greater: d or -5?
d
Let h be 4/(2 + (-15)/6). Let a be h/6*3/6. Which is smaller: -0.4 or a?
a
Let z be (-69)/92 + 1078/(-24)*-1. Is 44 less than or equal to z?
True
Suppose 5*y + 2*b + 97 - 649 = 0, 4 = -b. Is 113 at least as big as y?
True
Let k be 22/18 - (-74)/(-333). Which is bigger: k or -45/4?
k
Let w(b) = b**2 + 4*b - 9. Let p be w(-6). Suppose 0*q + p = -3*q. Is -3 less than q?
True
Let h be (-56)/10*544/56. Let d = h + 217/4. Do 0 and d have the same value?
False
Let i(a) = -a**3 + 26*a**2 - 24*a - 97. Let j be i(22). Do j and 1311 have the same value?
True
Suppose -3*k + 0*k + 69 = 0. Which is smaller: 18 or k?
18
Let w(g) = 4*g**3 - 18*g**2 + 31*g**2 + 0*g**3 - 3*g**3 - 3. Let t be w(-13). Is t at most as big as -3?
True
Let j be (9 + 231/(-35))/((-3)/10). Let a be ((84/j)/7)/((-2)/68). Is 51 less than a?
False
Let l(c) = -2*c**2 - 4*c - 6. Let y be l(-4). Suppose 5*a - 3*u = -109, -3*a - 4*u - 31 = 46. Which is smaller: 