o = z*s - 24. Is s less than or equal to 3?
True
Let n be (-27)/(-4) - 6/8. Let j be 4 - 1 - (n + -6). Let f = 6 + -4. Which is greater: f or j?
j
Let u be 2/(-11) + ((-921)/198 - -1). Let p = u + 19. Which is bigger: p or 14?
p
Suppose -28 = -5*i + 27. Suppose 4*g = -g + 15. Suppose -f - 2*z = -0*z - 6, 4*f - g*z = 57. Which is smaller: f or i?
i
Suppose -21*m - 52*m - 292 = 0. Which is greater: m or -1/12?
-1/12
Let r(g) = -g**2 - 12*g + 10. Let n be r(-13). Let h = -150 - -132. Is h bigger than n?
False
Let r = 261 + -436. Is -1/3 less than or equal to r?
False
Suppose -11*f = 17*f + 4928. Which is bigger: -177 or f?
f
Let b be (-300)/42 + 7 + 1/7. Let y(s) = 2*s + 4. Let g be y(-3). Let x be g/(-1) + (b - -4). Is x <= 5?
False
Let v = -8.19 - -8.09. Is v > 1.74?
False
Let j = 3 - 2.978. Let p = j + -0.015. Which is smaller: p or 0?
0
Let v = -1.02 - -0.02. Let y = -0.0416 + 21.9416. Let h = y + -22. Which is greater: h or v?
h
Let t(v) be the first derivative of v**4/4 - 4*v**3/3 + 2*v**2 - 7. Let m be t(2). Is -31 bigger than m?
False
Suppose 8*x + 20 + 164 = 0. Which is smaller: -25 or x?
-25
Let v = -1178 + 807. Which is bigger: -1111/3 or v?
-1111/3
Let v = -804 + 857.9. Let q = -54 + v. Which is bigger: q or 0.26?
0.26
Let i be (3/(-138))/(39/(-26)). Are i and -1 equal?
False
Let r = -515948/999444915 - -18/31115. Let c = r + -3736745/32121. Let n = 118 + c. Is 1 smaller than n?
True
Let j = 3238 - 22629/7. Let t = j - 837/161. Let u(s) = -2*s + 20. Let k be u(10). Which is greater: k or t?
t
Let n(t) be the first derivative of 2*t**3/3 - 7*t**2/2 + 3*t + 3. Let j be n(5). Which is smaller: j or 0?
0
Suppose 0 = -0*w + 4*w - 8, -3*h = -2*w + 253. Do -1 and h have the same value?
False
Suppose -14*p + 6*p = -4*p. Which is smaller: p or 500?
p
Let m = -15.7 - -11.7. Suppose 0*p + k = p + 47, 3*k = 15. Let x be (3/p)/(2/8). Which is bigger: m or x?
x
Let l(c) = -c**3 + 5*c**2 + c + 2. Let m be l(5). Suppose -19 = -3*x - m. Is x less than 2?
False
Let v = -373 + 372.797. Let w = v + 0.003. Let c = -2 - -3. Which is greater: c or w?
c
Let o(k) = -3*k**3 - 21*k**2 + 4*k + 28. Let t be o(-7). Does t = -46/37?
False
Let c = 232 - 231. Which is bigger: -7 or c?
c
Let g be (-1 - 31/(-6))*(-63)/280. Let b(u) = u**3 - 34*u**2 + 32*u + 31. Let q be b(33). Is q > g?
False
Let v be 336/(-40) - -15 - 7. Suppose -4 = 3*t - 8*t - 2*c, 4*t - c = 11. Let p be (0 - (-2 + t))/1. Is p bigger than v?
True
Let k = -0.01679 + -22.21321. Let g = 23.2 + k. Let j = g - 1. Is 1 bigger than j?
True
Let r = -16 - -15. Let o = 37/10 - 19/5. Which is smaller: o or r?
r
Suppose 2*r - 7 - 37 = 0. Suppose 3*k - r = -4*q, 5*k = -0*q + 2*q + 2. Which is smaller: q or 21/5?
q
Let g(z) = -55*z + 409. Let i be g(8). Is -19 less than i?
False
Let w be (-1)/(-3) + (-1533)/1350. Let j = 13/18 + w. Which is smaller: j or -1/2?
-1/2
Let u = 147201/115 + -1280. Which is smaller: u or -1?
-1
Let z(k) = -k**3 + k**2 - 12*k + 62. Let r be z(6). Is r <= -191?
False
Let c be (25 - 29)*1/(1 - -1). Let q = 7 + 113. Let f = -483/4 + q. Is f smaller than c?
False
Let l = 1381 - 42817/31. Let q = 2.9 - 0.9. Is q less than l?
False
Suppose -5*x = 0, 10*x - 18 = -w + 5*x. Suppose 0 = -2*r + w - 0. Let s be (r/2)/((-27)/(-36)). Is 7 less than s?
False
Let r(q) = -q**2 - 34*q + 264. Let s be r(8). Are -1/5 and s equal?
False
Let d(p) = -22*p + 11*p + 2 + 14*p. Let c be d(0). Is 12/17 > c?
False
Suppose 0 = 2*a - 5*a + 117. Let j = a - 38. Suppose -4*s + j = -3. Is s at most 8?
True
Suppose 3*f = -0*f - 4*f. Which is bigger: f or -2/341?
f
Suppose -6*w + 8 = -4*w. Suppose l = -w*y + 5 + 11, -3*l = -5*y - 99. Is l smaller than 29?
True
Let y = -11.971 + -0.029. Let v = 12 + y. Is 2 bigger than v?
True
Let d(q) = 4 - 7 - 3 + 3*q. Let s be d(4). Let k(h) = h + 6. Let x be k(0). Is x at least as big as s?
True
Let a(v) = 31*v + 109. Let y be a(-12). Which is smaller: -262 or y?
y
Suppose 5 + 9 = -2*k. Let n = -4 + 8. Suppose -n*z = 27 + 5. Which is greater: z or k?
k
Let g(x) = -x**3 - 2*x**2 + 5*x + 2. Let f be g(-3). Let d(t) = -7*t - 4. Let u be d(f). Let c = 23 - u. Is -4/31 less than c?
False
Let o = -12 + 16. Let w(p) = -26*p**2 - p + 4. Let h be w(o). Let y = 4572/11 + h. Is 0 at least y?
True
Let w = 199 + -1789/9. Let z = w + -8/9. Which is smaller: z or 1/7?
z
Let o(b) = b**3 - 17*b**2 - 6*b + 64. Let d be o(10). Which is smaller: -695 or d?
d
Let h(a) = -a - 51 - 25 + 24. Let k be h(-13). Which is smaller: -38 or k?
k
Let g = -320 + 379. Is 49 >= g?
False
Let i be ((-2)/(-14))/((-4)/24). Suppose -3 = -k + 4*k. Which is smaller: k or i?
k
Let w = 785 + -753. Is w equal to -1/6?
False
Let a(f) = 39*f - 824. Let g be a(21). Let o(q) = -q - 11. Let y be o(-6). Is y != g?
False
Let t(l) = -4*l**3 - 7*l**2 - 2*l. Let u(x) = x**3 + x**2 + 1. Let m(n) = t(n) + 3*u(n). Let a be m(-3). Is -1/12 not equal to a?
True
Suppose -8 = -3*r + 2*f, 6 - 2 = -f. Let l be ((-6)/(18/21))/(-4). Are r and l unequal?
True
Suppose 123*m = 126*m - 318. Is 107 <= m?
False
Let s be (-10)/25 + 9/(-15). Which is greater: -1/185 or s?
-1/185
Let h = 610 - 119. Are h and -1 nonequal?
True
Let a(j) = 10*j + 7. Let l be a(-4). Let t = l + 27. Is t bigger than -7?
True
Let o = 3 - 1. Suppose 2*p + o*p - 14 = -d, 3*p - 11 = -d. Let b be -3 + 2 + (d - 0). Are b and 6/7 non-equal?
True
Suppose -20*g + 3*q = -16*g - 126, 3*g - 91 = 4*q. Is g > 255/8?
True
Let o be -8*117/(-26)*(-4)/6. Is -270/11 equal to o?
False
Let u = -1 - -19. Let d = u - 19. Is d bigger than 19?
False
Let q be 72/16 - (-6)/(-4). Suppose -40 = q*r + 2*r. Do -6/11 and r have the same value?
False
Let a = -0.1 - -0.6. Suppose 0 = 5*o + 74 - 69. Is a at least as big as o?
True
Let n = 0.57 + -25.57. Let v = 15 + n. Do v and 0.1 have the same value?
False
Suppose -25 + 364 = 3*s. Let a = s - 2. Are 111 and a nonequal?
False
Suppose -4*l - 2*s = -36, -5*l + 2*s = -81 + 27. Let c(k) = -2*k**3 + 5 + k**3 - 4*k + 6*k**2 + 0*k. Let m be c(5). Is l at most as big as m?
True
Suppose 43*p = 45*p + 4. Let u be (56/30)/(p/5). Let f(k) = k + 1. Let d be f(-5). Is u bigger than d?
False
Let u = -0.134 + 0.134. Is u <= 2/7?
True
Suppose 4*i - 49 + 45 = 0. Is -2/899 less than i?
True
Suppose 4*s + z - 29 = 0, -3 = 3*s - 4*z - 1. Suppose 0 = 3*c - s*c + 117. Suppose -5*i = -c + 34. Which is smaller: 0 or i?
0
Let z(f) = f**2 - f. Let a(m) = -4*m**2 + 4*m + 2. Let r(t) = -a(t) - z(t). Let k be r(4). Suppose 4*h - k = 10. Does h = 13?
False
Let k = -20 - -25. Suppose -17*b = -12*b + k. Is -1/61 greater than b?
True
Let d = -0.1 - 0.1. Let s = 27398 - 27418. Which is smaller: s or d?
s
Let g be (-72)/(-40)*(-3)/3*-10. Suppose 3*z + 5*t + 2 = 1, 5*z - 13 = -t. Which is greater: g or z?
g
Let s be -9 + 1869/618 - (-2 + -4). Which is smaller: 0 or s?
0
Let p(a) = a**2 + 3*a - 16. Let u be p(-7). Let b = u + -7. Suppose -2*q + 0 = f - 5, -b*q - f + 20 = 0. Which is smaller: 6 or q?
q
Let n = 3219/7 - 459. Let s = 6614 + -6613. Which is smaller: n or s?
n
Suppose -3*u - 18 = 3*x + x, 0 = -4*u - 8. Let p be (-20)/(-15)*x*-2. Which is greater: p or 9?
9
Let a(h) = -h + 1. Let d be a(-3). Suppose -d*u + 282 = -5*q, -u - 6 = -4. Let k be ((-3)/q)/(-3)*2. Is k less than or equal to 1?
True
Let m = 81 - 165. Which is greater: 0.4 or m?
0.4
Let y = -29 - -107. Let j = y + -77. Which is smaller: 3/28 or j?
3/28
Suppose 4*r - 56 = -j + 4*j, 0 = 4*r - 8. Let f = j - -20. Let h = -7 + 12. Which is greater: h or f?
h
Let g = -32 + 50. Let k(x) = -x**3 - x**2 - 3. Let c be k(-2). Let r be -1*c*g/12. Is r less than -2?
False
Let l = -23 + 27. Suppose 4*j = z - 0*z - 1, -l*j - 5*z = -29. Which is smaller: 0 or j?
0
Let b be 3 + 1 + 62/16. Let o be 24/2 - 1*(-1 - -5). Which is greater: o or b?
o
Let l = 15/64 + -2985/448. Suppose -3*k - 6 = -3*i, 2*k = -5*i - 21 - 18. Which is smaller: l or k?
k
Let o = 4 - 2. Suppose h - o*q + 3 = 0, 0*h + h = q - 3. Suppose 15*r = 19*r + 8. Is h not equal to r?
True
Let i = 10 - 7. Suppose i*v - q - 14 = 0, 4*v + 3 = -0*v - 3*q. Suppose -7 - 9 = -4*d. Which is bigger: d or v?
d
Let z(d) be the first derivative of d**4/4 - 11*d**3/3 + 5*d**2 + 2*d + 11. Let g be z(10). Let f be (-2)/(1 + (0 - -1)). Does f = g?
False
Suppose 0*h = -14*h - 392. Which is smaller: -