
s
Let b(u) = 5*u**2 - 2*u + 2. Let g be b(2). Suppose -i + 0*k - 3*k = -g, 3*i = -k + 22. Is 5 less than i?
True
Let i be (4/16)/(7/(-28)). Let z = 28 - 57/2. Is z less than i?
False
Let y be ((-3 - -2)*-1)/(-1). Let p be (-1)/(-6) + 0/4. Is y smaller than p?
True
Suppose o - 6 = -o. Suppose 0 = -o*n + 15 - 0. Suppose -x = -3*p + 11, -n*p - 5*x + 17 = -2*p. Do 3 and p have the same value?
False
Let x = 7 - 2. Suppose 0 = -2*n + s + 9, -3*n + 2*n = -x*s - 18. Suppose t = n*t - 2. Is t <= 1?
True
Suppose -4*l - 5*i = -29, i + 5 = -l + 12. Suppose 0*b + 2*b = l. Suppose -2*y + d - b = 0, 2*d - 12 = 5*y - 2. Is -2 greater than y?
True
Let g = 0.1 - 1.1. Let l = 0.02 - -2.98. Let s = l + g. Which is smaller: -1/2 or s?
-1/2
Suppose 2*n - 2*k = -14, -10 = -n + 3*n + 2*k. Does -11 = n?
False
Let f = 0.01 - -0.29. Let c = 0.2 - f. Which is smaller: 1 or c?
c
Let y(w) = -4*w**3 - w**2 + 1. Let l be y(-1). Which is greater: 3 or l?
l
Let a(z) = -2*z**2 + z + 2. Let m be a(4). Let i be m/(-6) - 5/15. Let r be (-3)/i - 2/(-8). Is r not equal to -1/2?
False
Let g be (2/(-5))/((-13)/(-5)). Suppose -4 = -4*o + 4*b, -b + 8 = 2*o - 6*b. Which is bigger: g or o?
g
Let r = 37 + -38. Let k = 7 - 6.2. Let o = -0.2 - k. Do r and o have the same value?
True
Let n = 58 + -37. Let w = n + -20. Which is smaller: w or 4/3?
w
Let n(l) = 2*l - 1. Let z be n(1). Let d = 1 + z. Suppose -r - d*r = 0. Is 0 at most r?
True
Let t be (-27)/12*32/(-24). Let b be (3/(-2))/((-1)/2). Do t and b have the same value?
True
Let z = -6 - 7. Let v = z - -13.1. Is 4 greater than or equal to v?
True
Suppose 3*s + s + u - 11 = 0, s + 10 = 4*u. Which is smaller: s or -1?
-1
Let j = 3 - 4. Let u = 3 + j. Suppose 0 = -u*a + 5*s - 24, 2*a - 3*s = 3*a - 10. Does a = -1?
False
Let j be 1/(-2) - 2/4. Let i be (8/10)/((-42)/(-15)). Are i and j non-equal?
True
Let l = -12 + 16. Is l > 5?
False
Let v = -34164/5 + 6869. Which is smaller: v or 36?
36
Let m be 1*(0 + 1)*-1. Let s be (-3 - -1)*m/39. Is s at least 0?
True
Suppose p + 3*p + 12 = 0. Let v be (-6 + 7)*(-5 - -1). Is p at least v?
True
Suppose 4 - 3889 = -3*x. Let a = x - 63457/49. Let z = -43/147 + a. Is z equal to 0?
False
Let u = -1.09 - -0.19. Let j = u - -0.9. Is j less than or equal to -1/4?
False
Suppose 3*p + 4*s - 13 = 0, -2*p + 0*s = 3*s - 9. Let g be ((-2)/(-12))/(2/p). Let l = 2 - 1. Do g and l have different values?
True
Let c = 0.245 + -0.115. Is c at least as big as -2/5?
True
Let r be ((-3 - -1) + 2)/(-1). Let m = r + 3. Which is greater: -1/2 or m?
m
Let y be (-1 + 2)*(-6 - 1). Let h = 5 + y. Which is smaller: h or -1?
h
Let k = 268/15 + -56/3. Does 0.5 = k?
False
Let x = -238108/137 - -1738. Let g = x + -260/959. Let j = -1.3 + 0.3. Is j bigger than g?
False
Let u = 62 - 59.3. Let s = 3 - u. Let b = -156 + 1094/7. Which is bigger: b or s?
s
Suppose -2*t + t = 5*j - 7, 6 = -2*j + 4*t. Which is greater: j or -4/13?
j
Suppose 0 = 4*k + 3*x - 38, 5*k + 3*x = -2*x + 50. Suppose k*w = 4*w + 4. Let z be 4/22 + (2 - 2). Is w > z?
True
Suppose 3*o = o + 10. Suppose g + 3 = 5*x - 5, -o*x - 4*g = -18. Suppose -5*m - 5*j - 10 = 0, x*j = m - 0*j - 1. Which is smaller: m or 3/8?
m
Suppose 2*z - 105 = 5*z. Let j be 4 + 7/(z/24). Is -2 less than j?
True
Let o be 1/(-3) + (-22)/6. Let q(u) = 2*u**2 + 21*u - 14. Let g be q(-11). Is o < g?
True
Let b be -1 - (-1*2 + 2). Let o = -43/240 + 1/80. Which is smaller: b or o?
b
Let b = -2 - -3. Let t be (3/(-6))/(8/2). Which is smaller: t or b?
t
Let w(v) be the first derivative of -v**4/4 + 7*v**3/3 + v**2/2 - 6*v + 9. Let r be w(7). Which is greater: -2/29 or r?
r
Suppose 0 = 8*d - 3*d - 25, 0 = 4*h - 2*d + 6. Let r = -145/453 - 2/151. Are h and r unequal?
True
Let z = 3532 + -28203/8. Let q be 1622/(-240) + (-4 - -4). Let t = z + q. Which is smaller: 1 or t?
t
Suppose -29 + 29 = 4*s. Which is greater: s or 4/13?
4/13
Let l be 2/6*3 - -2. Suppose -2*r - m = -l, -4*m = -r - 0 - 3. Let k(c) = c**3 - 2*c**2 - 3*c - 1. Let p be k(3). Is r smaller than p?
False
Let c = 0.6 + -0.56. Let z = 0.02 + c. Let i = 0.16 - z. Which is smaller: -2 or i?
-2
Let g = -557/6 - -93. Is 1 greater than g?
True
Let k(t) = t**2 + 9*t - 10. Let o be k(-10). Is o at least 2?
False
Let d = -5.87 + 1.86. Let h = d - -0.01. Which is smaller: h or 3?
h
Let x(p) = 2*p - 8*p - p**2 - p - 6. Let z be x(-6). Let o(k) = k**3 + 8*k**2 + 6*k - 6. Let l be o(-7). Which is smaller: z or l?
z
Let f = -5 + 6.5. Let q = f - -0.5. Let c = 0.5 - 0.7. Is q greater than or equal to c?
True
Let h(z) = z**3 - 5*z**2 - 5*z - 4. Let v be h(6). Let i be ((-1)/9)/(v/6). Which is bigger: 0 or i?
0
Suppose 0 = -5*a + h - 31, h + 26 = -2*a - 2*h. Suppose -d + 35 = 4*d. Let g = d + a. Which is smaller: g or -1?
-1
Let q be 3/(-1)*(-1)/4. Let u be (13 - 13)/(2/2). Which is smaller: u or q?
u
Let r = 3.6 + -1.6. Which is smaller: r or 3/4?
3/4
Suppose -2*c - 2*m + 2 = -2, 5*c - 2*m = 24. Which is smaller: c or 5?
c
Let b = -226 + 221. Is -5 >= b?
True
Let l be (8/2)/4 + -4. Is l <= -5/3?
True
Let k(l) = -l**2 - 5*l + 1. Let t be k(-3). Which is greater: -1 or t?
t
Let h = -1291/252 - 8/63. Is -5 at least h?
True
Let z = 30 + -6. Suppose 2*r - t + 12 = 2*t, 5*t = -4*r - z. Which is greater: -5 or r?
-5
Let s be 2/4*(-17)/34. Are s and 1 equal?
False
Suppose -y = 3*y. Suppose -2*z - 3*z = y. Let a = 4 + z. Which is bigger: 5 or a?
5
Let n(t) = t + 1. Let b be n(2). Suppose -5*a = -b*k, -4*k + k = 4*a. Suppose 0 = f + 2, 7 = -3*c - k*c - 2*f. Which is smaller: c or -2?
-2
Let l = -0.1 - -0.1. Let c = 0.05 - 0.05. Let k = c - l. Are 2/5 and k equal?
False
Let n(h) = -h + 4. Let v be n(2). Suppose -v*b - 14 = -5*s, 4*s - 14 = 5*b + 2*s. Let k be (12/10)/((-21)/15). Is k greater than b?
True
Let a = -0.122 + 0.212. Is a at least as big as 6?
False
Let r be 0/(-3) + 2/(-10). Let a be (0 + -2)*1/8. Which is smaller: r or a?
a
Let i(g) = -g - 7. Let d be i(-10). Suppose -n = 2*t - 7 - 1, d*n = -3*t + 12. Let k be -2 - (-1 + -1 + 0). Is n > k?
False
Let p(t) = -t**3 + 20*t**2 + 40. Let j be p(20). Which is greater: j or 163/4?
163/4
Let i = 6.4 - 10. Let w = 0.4 - i. Is w at most as big as 0?
False
Suppose -4*a = 3*i - 20, -3*i + 32 = -2*a - 12. Suppose 0 = -g + 6*g + d - 36, 4*g - i = -5*d. Is 8 greater than g?
False
Let l = 23 - 9. Suppose -4*j = l - 6. Let a be 3/j*4/6. Which is greater: a or 1/7?
1/7
Let h = -333 - -3717/11. Let b = -399/88 + h. Which is greater: b or 1?
1
Suppose -4*g - 1 = -5. Let s be 2/4 - 128/(-150). Let u = s - 1/50. Is u smaller than g?
False
Suppose 0 = 4*l - t + 14, 2*t = -3*l - 0*t - 5. Let g be 66/15 - (-4)/(-10). Let f be (3 - g)/(-1) + -4. Is l at most f?
True
Let k = 0.32 + -0.2. Let w = 5.12 - k. Let b = -5.1 + w. Are -0.1 and b nonequal?
False
Let v = -2 + -1. Let h = 2.8 + -4.8. Which is smaller: v or h?
v
Let b = 1/420 + 17/60. Let d(z) = z**3 + z**2 + z + 2. Let k be d(0). Suppose n - k = -n + 4*l, n = l. Is b greater than or equal to n?
True
Let u(q) = q**3 - 8*q**2 + 11*q - 27. Let x be u(7). Let n be (-78)/(-20) - 4/10. Let l = n - 3. Which is smaller: l or x?
l
Let y = -2/103 - 192/721. Which is smaller: y or 0?
y
Let z = -15 - -16. Are 0.031 and z equal?
False
Let r = 20 + -41. Let d = -19 - r. Is -1 smaller than d?
True
Let n = 35 - 35.5. Is n greater than or equal to -1?
True
Let r(g) = -g**3 + 2*g**2 - g. Let h be r(0). Are -1/49 and h nonequal?
True
Suppose 2*t = t + 6. Suppose 2*k - t = -4. Is 2/9 at least k?
False
Let f = 23.024 - 0.024. Which is greater: f or -1/3?
f
Let z(c) = c**3 + 9*c**2 + 4*c + 2. Let f be z(-4). Let k be (3 - 1)/(12/f). Which is smaller: 12 or k?
k
Suppose 3*z + z = 4. Suppose 6 - z = 5*b. Let t be (5 - (-1)/1)/2. Which is smaller: t or b?
b
Let r = 12 + -12.16. Let z = r + 0.29. Do z and -1 have the same value?
False
Let a be (3/(-21))/(3/33). Is -3 < a?
True
Let z be (-13 + (-3)/(-1))/(-1). Let c = z + -7. Let j be 3/9 + (-11)/(-3). Is j greater than c?
True
Let n = -55 + 107/2. Is n less than or equal to 0.3?
True
Suppose 0 = -4*n + 21 + 55. Which is smaller: n or 0?
0
Let i be -7 + 2 + -2*(0 + -2). Which is smaller: i or 2/539?
i
Suppose 4 = 2*d - 2*r - 0*r, -2*r = 2*d + 8. Let z be d/(4 - 1 - 4). Is -3/7 at least as big as z?
False
Let i be -2 + -1 + (-2)/(-1). Suppose 0 = -c - 4*c 