equal?
False
Suppose -14 = 5*u + 1. Let o be (-2)/u - (-292)/12. Let q = o + -101/4. Which is smaller: q or 1?
q
Suppose -d = -4*d + 36. Suppose -4*h + 5*p - 46 = 0, d = -0*h - h + p. Which is greater: h or -15?
h
Let s = -1.01 - -0.01. Let g = -5 + 2. Let k = s - g. Is 0.1 less than or equal to k?
True
Let u = 9 - 10. Let x be (1*4)/((-8)/12). Let r be (-6)/4 - (-3)/x. Which is smaller: u or r?
r
Let c be ((-3)/210 - 0)*4. Which is smaller: 1 or c?
c
Let y be 9*(-4)/(-120)*-2. Is y at most as big as -2?
False
Let l be 2/(2/(-2)) + 63/33. Which is bigger: -1 or l?
l
Let u = 4 + -2. Suppose 4*q - 6 = u. Which is greater: -1 or q?
q
Suppose 5*z + 5 = -5. Is 0.2 not equal to z?
True
Let k(g) be the second derivative of -g**5/20 - g**4/4 + 2*g**3/3 - g**2/2 + 3*g. Let s be k(-4). Let b = 0 - s. Which is greater: b or 2?
2
Let p = 10 - 5. Suppose p = -3*t - 4. Which is greater: t or -2?
-2
Let s be ((-2)/(-7))/(5 - 4). Let v = 2 + -6. Let u = -4 - v. Is u at least s?
False
Suppose 4*y = 7*y - 24. Let n be (-1)/(-2) + -9 + y. Let u = -0.3 - -1.3. Which is smaller: n or u?
n
Let f = -37/3 + 79/6. Which is smaller: f or 2?
f
Let y(z) = 1 + 6*z + 5 - 4 + z**3 - 7*z**2. Let u be y(6). Let t = u + -3. Which is greater: 2 or t?
2
Let m be 1/(-1) + 158/132. Let h = m + 3/22. Let f = 7 + -65/9. Which is bigger: h or f?
h
Let b = -3.05 + 0.05. Let t = b + 3.2. Let f = -6 + 5. Does f = t?
False
Let i = -0.23 + 0.27. Is 0.1 greater than i?
True
Let d = -3 - -1. Let m = d - -1. Let u = 93 + -92. Which is bigger: m or u?
u
Let n = 17 + -12. Let y be 4 - n - 8/(-14). Is y at most -1?
False
Let k(j) = -2*j + 1. Let t be k(-2). Suppose -4*c - 3*u = t - 0, 5*u - 3 = -c. Let z be c/6 - (-10)/6. Which is smaller: z or 0?
0
Suppose m + 1 = -0. Suppose z - 1 = 2*z. Let g = z - m. Is g < -1?
False
Suppose -7*p = 23 + 19. Suppose -2*h = -6*h - 24. Is p >= h?
True
Let y(h) = h**3 - 3*h**2 - 5*h - 7. Let o be y(5). Is o < 19?
True
Suppose 5*d = -2*u + 27, 0*u + 2*u - 17 = -3*d. Let f = d + -5. Let x = 11 - 8. Is f less than x?
True
Let s = 0.3 + 11.7. Let d = 12.9 - s. Let g = d - 1. Which is greater: g or -1/5?
g
Suppose 0 = 3*i - f - 27, -5*i + 64 = f + 11. Let x be (-1)/2 - (-5)/i. Is 0 greater than x?
False
Let h be (-2 - 5)/(-1 - 0). Let q = 10 - h. Suppose 2*y = -q*l + 8, -y = y + 2*l - 6. Which is smaller: y or 2/15?
2/15
Let o be (3 - 3) + -2 + 0. Let b = -8 - -5. Is b at most as big as o?
True
Suppose 0 = -3*s - 5 - 4. Let f(h) = h. Let a be f(s). Let v(o) = -o**3 - 2*o**2 + 3*o + 2. Let i be v(a). Which is greater: i or 1?
i
Let p(t) = 2*t**3 - t**2 - 3*t - 1. Let n be p(-2). Let s = 17 + n. Is s at most as big as 3/5?
False
Let i = 79 - 82. Which is smaller: -8 or i?
-8
Let t(u) = 0*u**2 + 3*u**2 - 2*u**2. Let h be t(0). Suppose -2*m + 6*m - 8 = h. Are 1 and m nonequal?
True
Suppose 2*l - 8 + 14 = 0. Let q(s) = -s**3 - 3*s**2 + 2*s + 2. Let m be q(l). Are m and -5 unequal?
True
Let p(r) = -r**3 + 5*r**2 + 8*r - 7. Let x be p(6). Suppose l + 2 = 4*s, 1 + 2 = x*s - l. Which is smaller: 2/9 or s?
2/9
Let t = 4 + -9. Let s be t/(-3) - (-2)/6. Suppose -4*l + 10 = l. Is l <= s?
True
Suppose -1 = -3*j - 7. Which is bigger: j or -4?
j
Let w = -8.93 - 0.07. Are -1/2 and w nonequal?
True
Let x = 3 - 2. Let p be (-2 + x)/(36/8). Let g = 18 - 19. Which is smaller: p or g?
g
Suppose 27*q - 26*q + 14 = 0. Is q bigger than -16?
True
Let m(d) = d + 4. Let p be m(-5). Let n = -3532/19 - -186. Which is bigger: n or p?
n
Let o be (8/10 - 0)*5. Suppose 3*w + 11 = -l - 0*l, -3*l = o*w + 8. Suppose 0 = 4*g - 0*g - 4*u - 12, -2*g - l*u = 18. Which is bigger: 2/11 or g?
2/11
Suppose l - 5*l + 4 = 0. Let s be ((-1 - 0) + l)/1. Which is bigger: 2/41 or s?
2/41
Suppose -f + 2 = -5. Let y = 16 - f. Which is smaller: 10 or y?
y
Let i = -3 - -2.5. Let f = -16 - -16. Does f = i?
False
Let y = 9.4 - 1.4. Let z = -58 - -42. Let s = y + z. Do s and 0 have different values?
True
Suppose 3*y + 1 = 19. Are y and 6 unequal?
False
Let a = 67 + -68. Which is smaller: a or -0.4?
a
Suppose -5 + 11 = 3*v. Let j(q) = 6*q + q**3 + 5 + 8*q**2 - 3 - q**2. Let w be j(-6). Are v and w equal?
True
Suppose y + 3*y - 72 = 0. Suppose 4*n - y = -2*p - 0*n, 0 = -4*n + 12. Suppose 5*a - c + 5 = 3, -4*a + 5 = -p*c. Is a at most -1/9?
True
Suppose 0 = 17*k - 5*k. Which is smaller: k or 4?
k
Let a(t) = t**2 - 5*t + 4. Let b be a(3). Let s be b/6 - (-25)/48. Which is smaller: s or 1?
s
Suppose -2*w - 162 = -4*w. Let d = w - 565/7. Let z = 46 + -44. Which is bigger: z or d?
z
Let z be (300/(-125))/(-1 - 6/(-10)). Which is smaller: z or 5?
5
Let k = -10 - -14. Is k at most 0?
False
Let f = -5 + 7. Suppose h - 20 = f*h. Let s be (8/(-180))/((-2)/h). Is s >= -1?
True
Let i be 22*((-54)/(-28) - 2). Let f = i - -131/70. Do -1 and f have the same value?
False
Let b = -3.6 - -4.56. Let n = -0.04 - b. Which is smaller: 2 or n?
n
Let o(f) = -f**3 - 7*f**2 + 7*f - 11. Let u be o(-8). Let j be (3/(-2))/(u/18). Suppose 0 = -5*q + j*q - 24. Which is smaller: 5 or q?
5
Let g(r) = -r + 7. Let w(x) = 1. Let z(k) = -g(k) - 2*w(k). Let t be z(5). Let j be 22/(-6) - 4/(-6). Which is smaller: j or t?
t
Let s = -0.7 - 0.3. Let y = s + -1. Which is smaller: y or 0?
y
Let s = 22 + -16. Let r be (-2)/s*6/(-8). Let l = 1 - 1. Which is smaller: r or l?
l
Let u be 7/14*(2 - 2). Which is smaller: -6/77 or u?
-6/77
Let q = 3 - 5. Let c be (6/q)/((-3)/2). Suppose 4*b = -2*o + 4, 4*b - 4*o + 4 = -2*o. Is b at least as big as c?
False
Suppose 5*t - 59 = -u - 7, -3*t = 2*u - 34. Let s be (8/t)/(0 + -2). Let c(v) = v + 3. Let l be c(-3). Is s greater than l?
False
Suppose -4*i = -1 - 11. Suppose -3*n - 22 = -1. Let g = n - -10. Is i < g?
False
Suppose -2*o + 6 - 2 = 0. Suppose 0 = -m + o*m + 6. Let y = -41/7 - m. Is -1 at most as big as y?
True
Let p = 0.2 - 1.2. Let m = -17 - -14. Let j = m - p. Are j and 3 nonequal?
True
Suppose 17 = 5*o - 3*w, -2*w + 19 + 3 = 5*o. Suppose -o = -3*q - 22. Suppose 0*d = -2*d - 14. Which is greater: d or q?
q
Let n be 2/(-7) - 4/(-14). Suppose 0 = 2*w + 3*d - 16, -5*w + n*d = 4*d - 26. Suppose -3*z + 2 = -z. Is w less than z?
False
Suppose 3*q + 2*u - u = -14, 20 = -4*u. Let g be (-4)/6 - (-20)/(-15). Which is smaller: g or q?
q
Let l = -196/3 + 158/3. Which is smaller: -13 or l?
-13
Suppose -5*t + 67 = -8. Is t equal to -3?
False
Suppose -5*k + 0*k + 3*u = -3, 0 = -3*k + 5*u + 5. Let h = 272 + -2179/8. Which is greater: k or h?
k
Suppose 3*u + 2*u - 6 = -4*w, 2*w - 5*u = 18. Suppose 2*z + w*g - 18 = 0, 4*z - 3*g + 17 = 2*z. Is -2/11 <= z?
False
Let f(w) = w**2 - 2*w - 2. Let j be f(-2). Let x be (5 - j/3) + -3. Which is smaller: 2 or x?
x
Let m = 10 + -22. Let z = 1.8 - -6.2. Let k = m + z. Which is smaller: k or 1/5?
k
Suppose 5*a - 31 = 59. Suppose 7 = -2*w + 3*u, w + 5*u + 2 = a. Which is bigger: w or 2/17?
w
Let h = 17 + -16. Which is bigger: 0.4 or h?
h
Let u(b) = 4*b**2 - b + 1. Let n be u(1). Let q = 9 + -6. Suppose 1 + q = -n*t. Which is smaller: t or 0?
t
Suppose -2 = -2*f + 2. Suppose 0 = f*k + k. Which is smaller: k or -1?
-1
Let j = -9 - -9.01. Let r = 3.01 - j. Let y = 1 - 0. Which is smaller: r or y?
y
Let j = 1.9 + -0.9. Let l(v) = v**3 + 4*v**2 + 4*v + 4. Let u be l(-3). Do j and u have the same value?
True
Suppose -f = -0*f. Which is bigger: f or -2/31?
f
Let h = 1 - -2. Let t = h + 2. Suppose -t*g + 18 = 3*x, 2 = -g + 5. Which is smaller: x or 1/7?
1/7
Let q = 119/5 - 24. Is 1 not equal to q?
True
Let n(o) = -o + 9. Let c be n(8). Let w be (-3 - -2)/(1/4). Let u be 3/9*(-1)/w. Which is bigger: c or u?
c
Let c = -32 + 44. Which is greater: 2 or c?
c
Suppose 2*t + 83 = -19. Let s be 3378/(-99)*3/2. Let a = t - s. Which is smaller: 1 or a?
a
Let l be (7 - (6 - 0))/((-1)/89). Are -89 and l unequal?
False
Let v(t) = t**2 - 8*t + 5. Let l be v(8). Suppose 32 = g - l*g. Let o = -8 - g. Which is bigger: 1/6 or o?
1/6
Let m = -12 - -31. Is m greater than or equal to 18?
True
Let b be (-2 - 0) + 1 + 5. Suppose -20 = 2*s - 7*s. Is s at most b?
True
Suppose -d + 15 + 15 = 0. Let t be (-1)/2 + d/(-40). Is t smaller than -1?
True
Let f be (-6)/4*8/(-36). Which is smaller: f or 0.5?
f
Let g = -3 - -2.9. Which is smaller: g or 0.1?
g
Let h = 3 - 1. Suppose 0*v = -h*v - 2. Does -1 = v?
True
Let y(b) = -b**3 - 9*b**2