 - 0, 0 = -2*z - 2*h - 6. Let y = 2 + -3. Let m be 1/(-2)*(-3 - y). Is z at most m?
True
Let u(z) = z. Let i be u(-2). Let t = 8 + -9. Let s = i - t. Is s < 2/5?
True
Let y = -11 - -18. Suppose 3*u + 5 = -2*i, 5*u + 8 = -2*i - 7. Suppose 2*h - y*h + i = 0. Is -1/3 at most h?
True
Let p = -87 - -86.8. Is p equal to 1/22?
False
Let r(f) = -f**2 + 3*f + 3. Let m be r(4). Let d be (m - -3)/(-1 - 0). Let x be (d/(-4))/((-2)/(-12)). Which is bigger: 2 or x?
x
Let f = 7/15 + -1/15. Do -2.6 and f have different values?
True
Let w = -4 - -3. Let a be w*2*(-3)/(-18). Which is bigger: 0 or a?
0
Suppose -z + 1 = x, -2*z + x = -7*z - 11. Let d = 7 + -10. Let n = d - z. Is n at least 0?
True
Let z = 87 - 109. Suppose -3*r - 10 - 56 = 0. Is r <= z?
True
Suppose -u = 3 + 4. Let h(q) be the third derivative of q**6/120 + 7*q**5/60 + q**4/24 + 7*q**3/6 + q**2. Let f be h(u). Is f >= -2?
True
Let w(s) = 2*s**2 + 7*s - 3. Let h(j) = -j - 1. Let z be h(3). Let m be w(z). Is 1/3 at least m?
False
Let q = -1092 + 3244/3. Let t = -11 - q. Which is smaller: t or 0?
t
Let i be ((-22)/(-5))/(3/15). Which is smaller: i or 23?
i
Let j be 2 + (-2 - 2 - -2). Let v = j + 1. Suppose 2*y - 5 = -3*y. Is y at most as big as v?
True
Suppose 5*o = -0*i + 4*i - 52, 5*o = -2*i + 56. Suppose 27 = -5*z + d, -2*d = z + 2*d + i. Let a(w) = w + 5. Let q be a(z). Which is smaller: q or 0?
q
Let u = 493 - 2463/5. Let v be (6/8 - 1) + 1. Is u greater than or equal to v?
False
Suppose -2*o = -1 - 5. Suppose f - 3*f - 9 = -5*v, 0 = 5*v + 5*f + 5. Is v at most o?
True
Let b = 2 - 2. Let z = b - 1. Suppose 0*p + 12 = -4*p. Which is greater: p or z?
z
Suppose y - 2*z - 1 = 0, -7*z = -3*y - 6*z - 17. Which is smaller: -5 or y?
y
Let r = 0.5 - 0.6. Let n = r + 0.4. Let z = -0.3 - -0.2. Is z at least as big as n?
False
Let r = -9.96 + 10. Let b = r + -0.05. Let k = -0.99 + b. Is k < -3?
False
Suppose -3 + 1 = -s, -q - 4 = -3*s. Let l = q - 2. Is l greater than -2/13?
True
Let i = -20 - -22. Let s = -2 + 5. Let k = s - i. Which is smaller: 0.3 or k?
0.3
Let i be 4/(-6) + 7/(-21). Let a be -2 - -3 - 6/i. Are a and 7 unequal?
False
Let u be (-29 + -1)*8/(-20). Suppose 3*c = -15, -2*c + 38 = 5*t - 47. Let j = u - t. Is j >= -6?
False
Let b(a) = a**3 + 5*a**2 - 9*a - 2. Let y be b(-6). Let k = -22 + y. Which is greater: k or -7?
k
Let y = 6 - 8. Let w(n) = n**3 - 22*n**2 + 20*n + 20. Let q be w(21). Does y = q?
False
Let y be ((-36)/(-6))/6*(-1 + 0). Is y equal to 36?
False
Let u be ((-3)/6)/(2/8). Let x be 8/u*(-3)/8. Which is smaller: x or 3?
x
Let r = 14.6 - 14.5. Which is bigger: -1.4 or r?
r
Let t(v) = -v**3 - 5*v**2 + 5*v - 5. Let q be 56/(-10) - 4/10. Let c be t(q). Let l = 0.88 + -1.88. Which is smaller: c or l?
l
Let f = 887/10 - 89. Which is smaller: f or -1?
-1
Let g = 0.2 + -0.2. Let h be 2/(-6) + 36 + -35. Is g smaller than h?
True
Let v(i) = i - 3. Let s be v(5). Let u(h) = h**3 - 9*h**2 + 2*h - 15. Let p be u(9). Suppose -x - 2*z = -0*x + 4, -28 = -p*x + 4*z. Is s != x?
True
Let v = 9288 + -529384/57. Let o be 2 - ((-36)/(-19))/1. Let k = v + o. Which is smaller: k or -1?
-1
Let w = -18000/47 - -383. Which is bigger: 0 or w?
w
Let b = -2 + 1.99. Let r = 0.21 + b. Is r bigger than 1/5?
False
Suppose 9 = w - 4*u, -u = w - 5*w + 6. Suppose r = -1 - w. Which is bigger: -1 or r?
-1
Let l = 0.2 + 0.8. Let b = 20.1 + -19. Let r = b + -1. Do l and r have different values?
True
Suppose 4*i = c - 13, -5*c - 3*i = -4*i - 27. Which is bigger: c or 16/3?
16/3
Let x be 14/(-35) - (-2 + 2). Is -2 bigger than x?
False
Suppose 3*h = 5*a - 2*h + 20, 0 = 4*a + 4*h - 16. Is a at most 0?
True
Let o = 0.01 + 24.99. Let m = o + -18. Let d = 8 - m. Which is greater: -7 or d?
d
Let u be (-4)/8*2 + 0. Let z be u/3*-3*-2. Is -3 equal to z?
False
Let g = 2 + 0. Let w be (g/2)/(-8 + 7). Which is bigger: -3/4 or w?
-3/4
Let l(q) = -7 + 3 - q + 1 - 8. Let x be l(-11). Suppose -d = -x*d. Which is bigger: 2/3 or d?
2/3
Suppose -4*x + 8 = -8. Let y be x/(-10) - 36/10. Let z be ((-12)/45)/(y/10). Is z at most -1?
False
Let i = 0.95 - 0.9. Let b = i + 0.25. Is b >= 3?
False
Let l(g) = 11*g**2 - 2*g + 1. Let p be l(1). Which is smaller: 0.1 or p?
0.1
Let m = 1 - 2. Let t = -1/699 - -6602/233. Let w = -28 + t. Is m smaller than w?
True
Let m = 1631/9 - 181. Let b(o) = 5*o**2 - 3*o + 7. Let t(f) = -4*f**2 + 3*f - 6. Let s(l) = 5*b(l) + 6*t(l). Let x be s(-3). Which is smaller: x or m?
x
Let n = 0.1 + -0.6. Let z = -0.3 - n. Let o = z - 0.2. Is o greater than or equal to 2?
False
Let v = -17 - -17.02. Are v and -2 nonequal?
True
Let d(g) = g - 6. Let q(t) = -7*t**3 + t**2 + 2*t + 1. Let o be q(-1). Let r be d(o). Which is smaller: 2/5 or r?
2/5
Let u = 2 + -3. Let t be (((-9)/4)/u)/(-6). Let x be (0/2)/(-4 + 5). Which is bigger: x or t?
x
Let t be 1*((-2 - 0) + -1). Let v(d) = 3*d + 4. Let n be v(t). Which is bigger: n or -4?
-4
Let u be 164/(-114) - 2/(-19). Which is smaller: u or -1?
u
Suppose -l - 7 = -3*z, -l = -4*z + 5 + 5. Let t be 2/(l*(3 - 2)). Is 4/11 greater than or equal to t?
False
Let t = -1708 + 1714.91. Let j = t + 0.09. Let v = -3 + j. Is 0 at most v?
True
Let t(r) = r + 6. Let m be t(7). Is 11 at least m?
False
Let p be 10 + -2 + 3*-1. Which is greater: p or 7?
7
Suppose 5*s = -5*m + 45, -m = -0*m + 5*s - 21. Which is bigger: 9 or m?
9
Let d = 35952/5 - 7251. Let i = d - -60. Which is smaller: i or 0?
i
Suppose 0*c = -2*c. Let p = 32 + -159/5. Are c and p equal?
False
Let q = -26365/4 - -6558. Is q equal to -32?
False
Let a be 10/40 - (-19)/(-60). Which is greater: 0 or a?
0
Let x be (-16)/28*(-70)/(-36). Which is smaller: 0 or x?
x
Suppose 1 = h + 4. Let o be (1/h)/(1/3). Let y = o - 4. Is -4 greater than or equal to y?
True
Suppose -m = -6*m - 95. Let v be 3 + 0 - m/(-7). Is 12 at least as big as v?
True
Let w = 442/5 + -88. Let z(x) = x**3 - 6*x**2 - 2*x + 14. Let j be z(6). Let m be 2 + j/((-4)/2). Is w < m?
True
Let v = -8409610906/8203965 - 10/546931. Let o = -2966/3 - v. Let i = o + -36. Are i and -2 non-equal?
True
Let v = -81/8 - -3831/376. Is v equal to -1?
False
Suppose 4*n - 19 = 5*n - 5*m, 3*n + m - 23 = 0. Let k be ((-4)/n)/1*3. Do k and -2 have the same value?
True
Let n = 0 + -1. Let w = n - -0.9. Is 2 greater than or equal to w?
True
Let h = 12 + -10. Suppose 0 - 3 = -3*v. Let r = v + h. Is 4 bigger than r?
True
Let v be 18/(-4)*4/(-3). Let l = v - 2. Suppose 0 = 2*h - 5 - 3. Is h >= l?
True
Let z = 1.75 + -0.75. Which is greater: z or -7?
z
Let l be (-56)/10 + 2/(-5). Let w be 1/(-2)*l + -4. Let v(c) = -c**2 - c - 1. Let t be v(w). Is -1 <= t?
True
Let p(h) be the first derivative of h**3/3 - 3*h**2 + 2*h + 2. Suppose -f + 4*f = c + 10, 2*c = 2*f. Let v be p(f). Does -3 = v?
True
Let q be 23 - ((-3)/1 - -3). Let l = 18 - q. Suppose s = 2*m + 11, -9 - 10 = 3*m - 2*s. Do l and m have different values?
True
Suppose 0 = 4*u + 16, 7*x + 3*u = 8*x - 18. Which is smaller: 9/2 or x?
9/2
Let c be (2/8)/((-4)/(-8)). Suppose 0 = -3*l + 3, l = 4*f + 5*l - 8. Is f at most as big as c?
False
Let d = 1.7 + -0.7. Which is bigger: d or -26?
d
Let s = 0 + 1. Suppose s = 2*d + 3*h - 3, 3*d - h = -5. Let t be (9/(-6))/(d/(-2)). Is t at most -2?
True
Let c(d) = -d**3 + 6*d**2 - 4*d - 7. Let b be c(5). Let w = b + 2. Is -2/5 at least as big as w?
False
Let f = -9.9 - -0.9. Let y = f + 3. Let l = 6.1 + y. Which is smaller: -1 or l?
-1
Let x(o) = -o**3 + 3*o**2 + 12*o - 7. Let w be x(5). Suppose -1 - w = 2*t, 5*g + t - 13 = 0. Is -2/5 less than g?
True
Let d(g) = g**3 - 8*g**2 - 11*g + 6. Let k be d(9). Let u = k - -8. Let w be u/(-14) + 96/(-189). Which is smaller: 0 or w?
w
Let w be 2 + (-33)/26 - 1. Let b = w + 51/286. Which is smaller: 2 or b?
b
Let o = -4 - 2. Let b be (-2)/(-3*o/9). Which is greater: -3/2 or b?
b
Suppose 0 = 34*z - 31*z - 171. Is 58 at least as big as z?
True
Let q = -44 + 64. Let n = q + -11. Is -0.1 at least n?
False
Let f = -16 + 31/2. Do 0 and f have the same value?
False
Let p(h) = 2*h - 4. Let q be p(3). Let l be 0 + q + -5 + 3. Is l greater than or equal to -1/10?
True
Let u(b) = b**3 - 6*b**2 - 8*b + 8. Let s be u(7). Let k be (-1 - (-10)/14)*s. Let i be 3/4*(-1)/(-3). Are i and k equal?
False
Let g(x) = 2*x - 18. Let f be g(8). Let p be (f/8)/((-340)/160). Is 1 less than p?
False
