112.1. Is 1 at least k?
True
Let y = 304 - 182. Suppose -124*u + y*u - 282 = 0. Is -141 less than u?
False
Let m = 0.038 + -0.268. Let y = -3.022 - -2.922. Which is greater: m or y?
y
Let i(z) = -z**3 - z + 24. Let r be i(0). Let x be r/108 + 10/(-18). Is 0.05 at most as big as x?
False
Let w = -1/369 - -5911/2583. Let r(o) = o**3 - 11*o**2 + 2*o - 20. Let f be r(11). Is f < w?
True
Let p(z) = z**3 + 4*z**2 + z + 3. Let f be p(-5). Let v = f + 21. Let u be ((-16)/380)/(v/(-15)). Which is smaller: u or -1?
-1
Let g = -379 + 378. Does 2/173 = g?
False
Let c be 2 - (-3 - 24/(-5)). Let b be -1*(-3)/(-6)*-6. Let i be -2*b/18*-3. Which is bigger: c or i?
i
Let g be (-2)/892*-2*-1*2. Let x = 368695 + -328877047/892. Let f = x + g. Which is bigger: -3 or f?
f
Let i = 42 + -41.9. Suppose -2*w - 7*c = -3*c - 6, 0 = 5*w - 2*c - 3. Let m(x) = x**3 - x. Let f be m(w). Which is smaller: i or f?
f
Let d = 0.5 - -0.2. Let z = d - -0.3. Let c = 2.9 - 1.9. Is c greater than z?
False
Let x(c) = -102*c + 222. Let d be x(2). Are d and 195/11 non-equal?
True
Let h(d) = d**2 - 12*d + 2. Let g be h(12). Suppose 4*f = z + 17, 7*z + f = g*z - 1. Let i be 1/((-4)/1 - z). Which is smaller: i or -0.5?
-0.5
Let x be (-804)/21*(-42)/12. Let t = x + -94. Which is smaller: 79/2 or t?
79/2
Let c = -0.281 - -0.381. Which is bigger: c or 0?
c
Let o = 8 - 52. Let f = o - -47. Is f > -1?
True
Suppose -5*z = -604 - 161. Suppose -8*v + 468 = -5*v - 2*y, -613 = -4*v - y. Which is smaller: v or z?
z
Let r be 16/24 - (-328)/(-6). Let n = 48 + r. Are n and -3 equal?
False
Let n(x) = -2*x + 93. Let m be n(-2). Is 98 greater than or equal to m?
True
Let i = -0.5 - 0.7. Let a = -2.06 - -0.66. Let t = i - a. Is -2/3 less than t?
True
Let h be 3 + -2 - (-24)/(-28). Let r = 6.87 - -0.13. Let p = r - 8. Do h and p have the same value?
False
Let h = 1339/8 - 167. Is h smaller than 1?
True
Let j(o) = o. Suppose -2*d + 0*t + 2*t = -100, -250 = -5*d + 2*t. Let n be (-10)/d + 28/(-10). Let w be j(n). Is w at most 0?
True
Let s(a) = -5*a + 21. Suppose -4*p - 5*p = -36. Let t be s(p). Is 15 at least t?
True
Let i(s) = 38*s - 56. Let a be i(5). Are a and 133 equal?
False
Let l = -1136 - -1115. Which is bigger: l or -14?
-14
Let d = 7 - 22. Suppose -8*v - 14 = -7*v. Which is smaller: d or v?
d
Let d = 1590 - 1589. Let x be (-6)/24 - 74/(-328). Is d < x?
False
Suppose 0 = -f - 2*f - 4*y, 4*y = 0. Let l be (-4)/(-2) - 118/26. Let r = 31/13 + l. Which is greater: r or f?
f
Let d be 296/(-36) + 4/18. Let b(h) = h**3 + 7*h**2 - 7*h + 11. Let g be b(d). Suppose -5*z = -g*z. Which is smaller: z or 1?
z
Let d be (5 + -3)*(-6)/4. Suppose 0 = 3*t + 5*v, 5*t = 2*v + 13 + 18. Suppose t*x + 6 = 1. Is x smaller than d?
False
Suppose 0 = -0*i - i + 4. Let b(o) = o**2 - o - 30. Let f be b(-5). Suppose -8 = l - 2*q, 0 = -l - f*q + q - i. Which is greater: 2/7 or l?
2/7
Let u = 106 + -531/5. Let x(m) = m + 1. Let v(q) = 2*q - 4. Let b(c) = -v(c) + x(c). Let d be b(6). Which is smaller: u or d?
d
Suppose 2*y + 2 = 0, -4*y + y + 25 = 4*l. Let h = 29 - l. Is h at most 22?
True
Let f(i) = i - 6. Let d be f(6). Let r be (d*1/(-2))/1. Let v be -4 + (-4 - 1035/(-130)). Which is smaller: r or v?
v
Let c = -4.6 + 14.5. Let a = -9.1 + c. Which is smaller: 0.3 or a?
0.3
Let v = 20 + -28. Let g be 30/140*v/18. Does 1 = g?
False
Suppose l = 22*l + 21. Which is bigger: 2/227 or l?
2/227
Let r be -1*((-18)/(-4) + -4). Let t(f) = f**2 - 10*f - 7. Let p be t(10). Let n = p + 7. Which is smaller: r or n?
r
Suppose 904 = 7*u + 1219. Is 9 > u?
True
Let g = 283 + -176. Is g bigger than 107?
False
Let c be (1 - (0 - -3)) + 7. Let t = c + -12. Let p(n) = n**2 - 13*n + 16. Let j be p(11). Which is greater: j or t?
j
Let y = -5 + 5. Suppose l + 12 = -y*s - s, -5*s - 3*l = 66. Let a be 7/s + 4/(-20). Is a >= -2?
True
Let f be 2 - (11 - (-1 - 1)). Let i = f - -20. Suppose 3*k - i + 6 = 0. Is k less than or equal to 6/17?
False
Let g(d) = -1. Let w(o) = o + 8. Let q(c) = 6*g(c) + w(c). Let x be q(14). Let f be (8/x)/((-1)/10). Is -3 at most f?
False
Suppose -a = a. Suppose a = -4*g + 53 + 39. Suppose -g = 3*d - 5*p, -2*d = 2*p - 4*p + 10. Which is smaller: d or 2/17?
d
Let m = 110 + -110.5. Is m greater than -25?
True
Let a = 175 - 176. Does 2/373 = a?
False
Suppose -52 + 40 = -4*c. Suppose -4*w + c*g + 68 = 0, 5*w - 3*g - 59 = 23. Is w greater than 13?
True
Let o(t) = 11*t. Let h be o(-2). Let f(m) = 41*m + 1290. Let p be f(-32). Is h bigger than p?
False
Let w = -27 + 42. Suppose 0 = -2*c + 2*b - 26, -w = c + b - 3*b. Which is greater: c or -12?
c
Suppose 0 = -14*q + 2*q - 12. Let v be 9/9 + (-25 - q) - -4. Which is greater: v or -56/3?
-56/3
Suppose -4*a = 4*c, -5*c + 2*a - 28 = 7. Is -191 at most as big as c?
True
Suppose 4*d - 9 = -97. Let t = d - 4. Do -25 and t have different values?
True
Let h = -752 - -752.1. Is 726 greater than h?
True
Let g = 31939/18 + -1773. Is 2 not equal to g?
True
Let n be (-48)/(-22) - (-2 - -4). Suppose -4*o - 4 = 2*y, 0*o - 2*o = -y + 2. Which is smaller: o or n?
o
Let v(d) = -2*d - 20. Let u be 22/(-4)*7/((-21)/(-6)). Let y be v(u). Which is greater: 3 or y?
3
Suppose -21*q + 46 = -38. Let u = 14 - 16. Which is smaller: q or u?
u
Suppose -w - 2*w + 40 = m, m - 32 = -5*w. Let b = m + -53. Which is greater: 2/65 or b?
2/65
Let r = 14 - 17. Let y(a) = -3*a**2 - 3*a. Let v be y(r). Is -18 <= v?
True
Let b be ((6 - 5)*(3 + -4))/391. Are b and 1 non-equal?
True
Let v be 4 + 88/(-16)*(-8)/(-10). Which is bigger: v or 0.068?
0.068
Suppose -18*k + 24*k = -996. Which is greater: 1 or k?
1
Let b = -27/2 + 12. Let v = 0.08 - -1.92. Is b less than v?
True
Let o = -9 + -27. Let u = o - -40. Which is bigger: u or 6?
6
Let k = -1508 + 10558/7. Which is greater: -1114 or k?
k
Let h(z) = 2*z**3 + 3*z**2 - z + 6. Let i be h(-3). Let n be (-176)/i*((-6)/8 - 0). Is n at least 2/7?
False
Let o = 26 + 84. Does 112 = o?
False
Let l = -37/4 - -9. Let b = -0.1734 - -10.2034. Let h = -10 + b. Which is greater: h or l?
h
Let y be 570/(-3) + (-4 - -5). Let v = y + 1515/8. Is v less than 0?
False
Suppose 0 = -109*l + 92*l - 21012. Which is greater: -1237 or l?
l
Let k(n) = 11 + 13 - n - 10. Let b be k(6). Suppose 0 = b*i - i. Which is smaller: i or 10?
i
Let t be (-2)/4 + (583/18)/11. Which is bigger: t or 1?
t
Let i(g) = -g**2 + 36*g - 71. Let k be i(31). Which is smaller: 80 or k?
80
Let q(r) = 4*r**2 + 0*r + 0*r + 4*r + 3 - 3*r**2. Let c be q(-6). Let n = c + -16. Is n > 2/5?
False
Let z be (-6 + 9)/(18/(-1632)). Which is smaller: -273 or z?
-273
Suppose 3*u = -2*g - 88, -3*g + 3*u - 134 = 8*u. Is g greater than -28?
False
Let g be (-1)/(8/(-29*32)). Is g != 117?
True
Suppose 7*n - 3*n + 20 = 3*l, -3*n + 3*l - 15 = 0. Let r(q) = -29*q**2 - 3*q - 3 - 3 + 28*q**2. Let i be r(-3). Which is smaller: i or n?
i
Let x be (-100)/125 + (-6)/5. Which is smaller: 3 or x?
x
Let u be 120/469 - 146/511. Is u bigger than 4?
False
Let o = 1.2 + -1.126. Let b = -2.674 + o. Which is bigger: b or 1?
1
Suppose 2*a - 5*f = -0*a - 397, -3*a - 3*f = 606. Let j = a + 598/3. Which is smaller: -3 or j?
-3
Suppose 6*a + 28 = 3*h + 2*a, 3*h - 27 = 3*a. Let u(s) = s**2 - s + 3. Let v be u(0). Suppose y + 2 = v*y. Which is greater: y or h?
h
Let h(o) = 2*o**2 + 3*o + 10. Let t be h(6). Suppose 4*a + 0*v = -5*v - t, 0 = -v. Which is smaller: a or -24?
a
Let u = -206 + 207. Is -3/205 less than u?
True
Let x be ((-224)/24)/(-2 - 3/(-2)). Is x != 20?
True
Suppose 5*o = 2*r - r - 157, -r + 33 = -o. Which is smaller: 14 or o?
o
Let t = 468 + -468. Which is greater: t or 1/73?
1/73
Let s = 57100 - 57151.038. Let f = s + 51. Is f at most as big as 1/3?
True
Suppose 2*h + 35 = h - 5*g, -4*h + 2*g - 30 = 0. Let p = h - -14. Suppose 2*s - 4 = 4*i, 4*s - 12 = -p. Which is greater: i or 1/9?
1/9
Suppose -4*q + 4*j - 8 = 0, -3*q - 6*j - 30 = -j. Which is greater: q or -7?
q
Let z(p) be the first derivative of p**4/12 + p**3/6 + 2*p**2 - 4*p + 10. Let g(q) be the first derivative of z(q). Let x be g(0). Which is smaller: 7 or x?
x
Suppose -21 = -7*s + 8*s + 5*m, s = 4*m + 24. Suppose 2*y + 42 = -2*d, s*d - 8*d - 101 = 5*y. Is -19 at most y?
True
Let m = 70492106/2189134455 + 35/296029. Let n = -1/145 - m. Which is smaller: n or 0?
n
Let p be 1 - ((-4)/(-2) + -5). Suppose -4*m 