-equal?
True
Let f = 31 + -33. Which is smaller: -4 or f?
-4
Let k(p) = -2*p**3 - 6*p**2 - 2*p + 2. Let o be k(-4). Suppose 0 + o = -3*q. Let d = q - -71/5. Which is smaller: d or 1?
d
Let n be 1892/10 - (-3)/(-15). Let a = 0 + -6. Let o be a/(-21) + (-12)/n. Which is smaller: o or -1?
-1
Let m(i) = i**2 + 17*i - 39. Let l be m(-19). Which is smaller: l or -2/91?
l
Let c be (52/8)/((-5)/10). Is -12 at least c?
True
Let x be -2 - (0 - 0) - 2. Let y be 32/(-70) - x/(-10). Which is smaller: y or 0?
y
Suppose s - 3 + 1 = 0. Suppose -2*i - 2*m - 66 = 0, 2*i = s*m - 0*m - 54. Let p be 1/3 - (-22)/i. Which is smaller: p or 2/3?
p
Let c = 17 + -26. Let m be (6/c)/((-40)/(-12)). Which is smaller: -1/4 or m?
-1/4
Let i = -4 + 0. Let k = 167 - 170. Which is smaller: i or k?
i
Suppose 0*x + 4 = x. Suppose 42 = -5*l - x*k, -3*l + k = -l + 9. Let b = -5 - l. Which is smaller: b or 0.2?
0.2
Let x = -0.3 - -0.2. Let z = -0.1 + 0.3. Do z and x have the same value?
False
Let s be 1/2 + 1/(-2). Is s bigger than -1?
True
Suppose 2*n - n = 0. Which is smaller: n or -1/2?
-1/2
Let h = 28 - 17. Suppose -c = -4 + h. Are c and -6 nonequal?
True
Let n = -8 - -7.8. Let y = n + 0.5. Let d be 1/(-2) - 2/(-8). Which is smaller: d or y?
d
Suppose 3*n + a = 1, -5*a + 1 = 5*n - 3*a. Let q be (3/(-6))/(n/(-12)). Do q and 3 have different values?
True
Suppose -4*k = h + 3 - 4, 4*k + 24 = 4*h. Let j be (k*4)/((-18)/3). Is j > 2?
False
Let c = 7.13 - 7. Let q = c - 0.48. Let l = 0.05 + q. Which is smaller: 2 or l?
l
Suppose f - 22 = -4*s, 3*s = -6*f + 2*f + 49. Let v be f/4 - (-1)/(-2). Suppose -o + v*o + 8 = 0. Which is greater: -7 or o?
-7
Let m = -264 + 4480/17. Let a = 111/10 - 856/85. Let h = a - m. Which is bigger: h or 1?
h
Suppose -2*s = -4*n + 84, 5 = n + 4*s - 25. Is n bigger than 22?
False
Let o be ((-5)/(-3))/(1/(-20)). Let l = -34 - o. Are -1 and l equal?
False
Let g be (-4)/2*(2 - -1). Which is greater: -3 or g?
-3
Let n(z) = -2*z**3 - 4*z**2 - 2*z - 5. Let y be n(-3). Which is bigger: 21 or y?
21
Let n(s) = -5*s - 2. Suppose 3*c + 0*c = -9. Let j be n(c). Suppose 4*d - j = m, d - 8 = 4*m + m. Is 1/10 less than m?
False
Let b(w) = -w - 6. Let d be b(-6). Let z = -7 - -10. Suppose 5*r - 2*m + 5 = m, -2*m = z*r - 16. Is d at least as big as r?
False
Let i(z) = -3*z**2 - z - 4 - 4*z**2 - 2 + 3 - z**3. Let c be i(-7). Suppose 4*g + q - 11 = 0, -3*g - 4*q = -g - 2. Is g <= c?
True
Suppose 0 = -2*w - 8, 4*w = -x - 11 - 6. Let u be (-3)/63*11 + (-10)/70. Which is smaller: x or u?
x
Let f(i) = -4*i**2 - 1. Let j = 4 + -5. Let h be f(j). Which is bigger: -6 or h?
h
Let z = -79 - -82.7. Let n = -0.05 - 3.95. Let u = n + z. Is u bigger than 1/4?
False
Let a(i) = i**2 + 8*i + 11. Let v be (-20)/((-8)/(-2)) - 1. Let w be a(v). Is w < 0?
True
Let o = -0.0935 - 8.8765. Let z = -9 - o. Is 0 smaller than z?
False
Let u = 0.7 + -4.7. Let g = u + 3.9. Suppose -3*b = 2*q + 9, -q - 12 = 4*b - 0*q. Which is greater: g or b?
g
Let y = -148.09 - -148. Which is greater: 6/11 or y?
6/11
Let g = -0.8 + 0.74. Let k = 5 - 4.9. Which is bigger: k or g?
k
Let a be -2*3/(-12)*-14. Let j = a - -9. Is j <= 2?
True
Let r = 823 + -10689/13. Which is greater: -1 or r?
r
Let q(k) = -4*k + 7. Let f(n) = -11*n + 20. Let p(g) = -3*f(g) + 8*q(g). Let x be p(4). Let d be -4 - -12*((-52)/(-12) + -4). Is d >= x?
True
Let s be (27/6)/3*-10. Let p be 10/s - 22/3. Let y = p + 7. Is -4/11 != y?
True
Let m = 1.4 - 1.2. Which is greater: m or -3?
m
Let a be 5 + -2 - 0/(-3). Let g be (10 + -2)*1 - a. Is g <= 2/3?
False
Suppose z + 3*p - 44 + 18 = 0, 4*p = 4*z - 40. Are 14 and z unequal?
False
Let s be (-1)/(1/3) - (-195)/78. Is s >= -4?
True
Let u be (4/(-6))/((-13)/(-39)). Let l(q) = q + 5. Let z be l(-5). Is z less than u?
False
Let m(c) = -c**3 - c**2 + 4. Let l be m(0). Suppose 1 - 6 = -5*j. Which is smaller: j or l?
j
Suppose 0*v - 4 = 2*v. Let t = -8 + 5. Which is smaller: t or v?
t
Suppose i + 5*x + 6 = 3*x, 0 = 2*i - 2*x - 6. Let m(k) = 3*k**2 - 2. Let f be m(-2). Suppose v - 5 = -5*s, -3*s - f = s - 2*v. Is s at least i?
True
Let u = -0.1 + 0.2. Let o = 0.21 + -0.28. Which is greater: o or u?
u
Let v be 143/33 - 4/(-6). Suppose -5 = -q - 0*w - w, v*q = 2*w + 4. Which is greater: q or 1?
q
Let d(f) = f**3 - 4*f**2 + 3*f - 2. Let x be d(4). Let b be 1 - (6/x)/1. Which is smaller: b or 1?
b
Suppose -5 = -4*w + 7. Suppose -9 = 3*k - 3*x, -w*k + k - 4*x = -12. Let s be 10/14*(-6)/15. Does k = s?
False
Let n be -2 - (1 + 2) - 1. Does n = -6?
True
Suppose 5*w = 4*i + 12, -4*w - 15 = -3*w + 5*i. Suppose -2*x + 3*x = w. Which is smaller: x or -5/6?
-5/6
Let i = -3.97 + 4. Let m = i + -1.03. Is -1 equal to m?
True
Let h = 1762/11 + -160. Let a = -2 - -2. Let x = 0.1 - a. Is x at most as big as h?
True
Let g = -1259/21 + 60. Which is greater: g or -1?
g
Let j be (-12)/(-4) + (30 + -4 - -2). Is j equal to 30?
False
Let t = 32 + -33. Let m = 2 - 2. Let u = m - -1. Which is smaller: t or u?
t
Let w = 11 + -9. Suppose -w = -i - 5. Let u be (0 + 1)*(3 + i). Which is greater: u or 3?
3
Let n = -1 - 10. Is -5 equal to n?
False
Let f = 2 + 2. Which is bigger: f or 3?
f
Let u = 4 + -7. Let v(l) = -l**2 + 10*l - 2. Let f be v(10). Is f at least as big as u?
True
Suppose 0 = 4*i - 2*o - 16, 2*i + 0*o - 12 = -o. Which is bigger: i or 3?
i
Suppose 1 = m - 3. Suppose 0 = -h - 1 + m. Suppose 4*x = 3*t + 2*t + 10, h*x - 5 = 5*t. Is t smaller than -3?
False
Suppose -24 = -5*x + 6. Is 6 >= x?
True
Suppose 2*m = -4*w - 2, -4*w = -2*w - m + 7. Let y = 4 + w. Let n be 6/(-8)*(-24)/27. Is n at most y?
True
Let g = 0.042 - -0.058. Let r(y) be the first derivative of -y**3/3 + y**2/2 + 1. Let f be r(-1). Which is bigger: g or f?
g
Let v = 0 + 0.3. Let z = v - 0.4. Which is bigger: z or 0.4?
0.4
Let t = -3 + 7. Suppose -y - 13 = 3*r, -2*r + 7*y = 3*y + t. Let f be ((-9)/6)/((-3)/(-8)). Is f < r?
False
Suppose -82 - 14 = 4*r. Let c = r + 410/17. Which is smaller: c or 0?
0
Suppose 6*i - i - 105 = 0. Let d = 38 + -16. Is d bigger than i?
True
Let k be ((-96)/21 - 2)/(-18). Let v = k + -2/63. Let p = v + 1/15. Is 1 less than or equal to p?
False
Let z(p) = -2*p + 1. Let d = 9 - 5. Let j be z(d). Is -8 != j?
True
Suppose -2*x + x + 2*y = 5, -2*x - 5*y + 8 = 0. Let d be (-2)/12*18/(-16). Which is greater: d or x?
d
Let c = -219/5 + 44. Is -2 bigger than c?
False
Let r be 9/(1 - (1 - 5)). Which is greater: r or 3?
3
Let m = -6.96 + 0.66. Let p = -6 - m. Which is greater: -0.1 or p?
p
Suppose 0*b - 2*b = 0. Suppose -3*t = -2*t. Let d be t - 6*1/(-8). Which is smaller: d or b?
b
Let t be -2 - (0 + -3 - 0). Let a = -76 - -379/5. Which is smaller: t or a?
a
Let k = 10 + -12. Let v be 1/(-2) - 10/(-12). Do k and v have the same value?
False
Let k be (-15)/3*7/(-133). Which is smaller: k or -1?
-1
Let n(t) be the first derivative of t**3/6 - 2*t**2 - 2*t + 1. Let p(f) be the first derivative of n(f). Let s be p(4). Is 2/5 greater than s?
True
Suppose 3*w = -2 - 10. Let b be ((-12)/(-14))/(3/21). Suppose -3*m + b = -5*m. Which is bigger: m or w?
m
Let a(d) = -d**3 - 4*d**2 + 9*d + 10. Let y be a(-5). Is y not equal to -10?
False
Let g = -9.2 + 9.06. Is 0.1 less than or equal to g?
False
Let u = -81 - -80.94. Let b be -5*2/10*-2. Suppose 0 = -3*h - b*d - d + 18, -4*d = 2*h - 22. Which is greater: h or u?
h
Suppose 6*j = 2*j - 8. Are -3 and j equal?
False
Let z(t) = -t**3 + 2*t - 2. Let o be z(0). Which is smaller: o or -8?
-8
Let p(b) = b**2 + 10*b + 17. Let y be p(-8). Which is smaller: y or 18/19?
18/19
Let t = 3.4 - 3. Let x = 1.8 - 2.1. Let g = t + x. Is g <= -2/3?
False
Let a(f) = f**2 + f + 1. Let d be a(2). Let y be 2/(d/((-21)/(-6))). Which is smaller: y or 2/15?
2/15
Suppose -3*v + 4 = -7*v. Let s = 164/3 + -841/15. Does s = v?
False
Let l = 1.34 + -1.3. Let j = -0.09 + l. Let x = 3.9 - 4. Is x < j?
True
Let y(u) = 2*u**2 - 1. Let m be y(1). Let v be (m/3)/(1/(-4)). Which is smaller: 0 or v?
v
Let a be (-10)/92*96/(-120). Are 1 and a equal?
False
Suppose 0 = -w - 1. Which is smaller: w or -2/59?
w
Let t(v) = v**3 - 8*v**2 + 9*v - 16. Let z be t(7). Are -1 and z nonequal?
True
Let s = 60 - 128. Let k = -109327/5 - -21797. Let t = k - s. Which is smaller: -1 or t?
-1
Suppose 0*w - w = 5*t - 15, -t + 3 = -2*w. Which is smaller: 0 or t?
0
Let p = 