l - 4*t + 13. Let y = l - -6. Is 0.1 > y?
True
Let f = 0.1 + 7.9. Let a = f - 5. Let y = 23 + -22. Which is smaller: y or a?
y
Let q(d) = d**3 - 4*d**2 - 6*d - 5. Let b be q(5). Which is smaller: -11 or b?
-11
Let a = -0.08 - 1.82. Let h = -1.5 + 0.6. Let s = a - h. Is s at most as big as 6?
True
Suppose 2*i - 5*j = 12, -j + 1 = 5*i + j. Let p be 6*(0 - i/8). Let x = 37 + -34. Which is smaller: x or p?
p
Suppose u + 0*b = -b, 4*u + 5*b + 5 = 0. Suppose -u = 2*a + 3. Which is bigger: a or -2?
-2
Let p = 13 + -16. Let a(x) = 11*x**3 + x. Let r be a(1). Suppose -r = 3*j + j. Is j <= p?
True
Let g = -1/12 - -7/12. Which is bigger: 0.12 or g?
g
Suppose p - 3 = -27. Is p at most -25?
False
Let d = 2.42 - 0.02. Let l = d + -2. Let f = 1.4 - l. Is -2 at least as big as f?
False
Suppose 4*b - 42 = 5*w, -4*b = -4*w + 2*w - 12. Which is bigger: w or 0?
0
Let i = 12 + -13. Which is greater: 0.17 or i?
0.17
Suppose 0 = -3*j + 17 + 7. Suppose 0 = x + x - j. Is 7 != x?
True
Suppose z = 2 + 3, 5*x - 90 = -3*z. Let r be ((-3)/10)/(x/40). Which is smaller: r or 0?
r
Let d be (6 + 3)*(-2)/3. Let f be 17/3 - (-4)/d. Is f at most as big as 1?
False
Suppose 4*l - 6 = 10. Is l != 25/7?
True
Let s = -2906 - -11559/4. Is -16 less than s?
False
Let t = -2 + 1. Let d = -0.9 - t. Which is smaller: 0.5 or d?
d
Let c = 212 - 202. Let m(h) = -h**2 + 9. Let f be m(0). Which is smaller: f or c?
f
Let d be (-6)/16 - 1 - -1. Suppose 4*u - 2*i = 2, 10*u = 14*u + 5*i - 9. Which is smaller: u or d?
d
Let h be (1/(-2))/(1/(-6)). Suppose 0 = -5*d + 11 - 1. Suppose d*c - c - 2 = 0. Which is bigger: h or c?
h
Let b be (15081/12)/((-15)/4). Let g = b + 335. Let o be 0 + -7 - (-9 + 3). Which is smaller: o or g?
o
Suppose 4 = 2*s, -f + 0 = 5*s - 7. Let c = -80 + 92.8. Let u = -13 + c. Is f at most as big as u?
True
Let a = 5 + -1. Let i = -5.88 - 0.12. Let n = a + i. Is -2/7 <= n?
False
Let q = 3.01 - 3. Let l = q + 0.59. Let v = 0.7 - l. Which is greater: v or -0.03?
v
Let g = -85 - -84. Which is greater: g or -23?
g
Suppose 2*u + 11 = 5*n + 38, u - 5*n - 21 = 0. Does u = 6?
True
Suppose -3*t = -3*i - 6*t - 18, 0 = -4*i - 2*t - 32. Let f be (2/10)/(12/i). Let z be -1 + (1 + 1)/2. Is z at most f?
False
Let z = 1 + -2. Let u = -1 - 0. Let g be (-1)/u*(2 + -3). Is z bigger than g?
False
Let k(c) = 2*c + 2*c - 5*c. Let q be k(2). Let i(v) = v + 4. Let s be i(-5). Which is smaller: s or q?
q
Let k = 1.342 + -0.042. Is -0.2 greater than k?
False
Let h(s) = -s**2 + 4*s - 2. Let f be h(3). Let l(w) = w**3 + w**2 - 2*w + 1. Let c be l(f). Let b = 17/2 - 35/4. Which is smaller: c or b?
b
Suppose 4*r + 19 = -3*i, -3*i - r - r = 11. Let t = 9 + -12. Let y(w) = -w**2 - 2*w + 2. Let q be y(t). Do i and q have the same value?
True
Let z = 7 + -10. Let h = -0.9 - 1.1. Which is smaller: h or z?
z
Suppose -a - v = -2, -2*v = 5*a + 2*v - 12. Let t be (-1)/(-36) + (-1)/a. Which is smaller: -0.1 or t?
t
Suppose -a = a. Let b = 73 + -217/3. Do b and a have different values?
True
Suppose -3*u + 3 + 3 = 0. Suppose u*j - 26 = -3*q - 3*j, -3*q = -4*j + 10. Are q and 1 equal?
False
Let u(x) = x**2 - 9*x - 18. Let v be u(-3). Which is bigger: 17 or v?
v
Let d be (-2)/(-5)*(-1325)/(-40). Let n = d - 13. Let r = -23 - -45/2. Which is smaller: n or r?
r
Let v be 4/(-6) + 134/(-6). Let b = 18 + v. Do 0 and b have different values?
True
Suppose 5*i - 3*i = -2*i. Which is bigger: 2/3 or i?
2/3
Let m = -9/2 + 4. Is m != 8?
True
Suppose -13*x = -17*x - 8. Which is smaller: 6/11 or x?
x
Let k(s) = -s**3 - 7*s**2 + 2. Let w(f) = 5*f + 3. Let t be w(-2). Let p be k(t). Suppose p*c = -3*z + 9 + 3, -4*z = -16. Is -1/2 > c?
False
Let s(c) = c. Suppose 0*k + 3*k + 4*l - 1 = 0, -3*l = -k - 4. Let a be s(k). Are 3/2 and a nonequal?
True
Let m = -3 + 14. Suppose -2*f - 4*q + 14 = 0, q + m = 5*f - q. Suppose 0 = f*c - 0*c + 9. Is -3 > c?
False
Suppose r = -2*r - 3. Let z be (0 - -3)/((-3)/(-5)). Suppose -7*x + z*p = -2*x - 30, -28 = -5*x + 3*p. Which is greater: x or r?
x
Suppose -6 + 15 = 3*i. Suppose -4*h = 12, i*v - 2*h = 4*v + 22. Do v and -16 have different values?
False
Let s(y) = -y**3 + y**2 + y + 1. Let f be s(0). Let d be 2 + (-1 - -3) + 1. Suppose 5*l + 0*b - d*b + 10 = 0, -l = -2*b + 7. Is l at most as big as f?
False
Let z = -0.6 - 0.4. Are -13 and z non-equal?
True
Let s(q) = q**3 + 4*q - 4*q - 3*q**3. Let d be s(1). Is -1 >= d?
True
Let c = -3.8 - -2.3. Let l = c + 0.5. Is l not equal to -2?
True
Let k be (-3)/(-18) - 15/18. Which is greater: k or -5/7?
k
Suppose 4*t + 7 - 1 = 5*m, 4*t = -5*m - 26. Which is smaller: -3 or t?
t
Let s be (24/(-30))/((-1)/20). Suppose -3*l + l + j + s = 0, 3*l - 3*j = 21. Let z = -9 + l. Is -1/4 at least as big as z?
False
Let i be (4 - (4 + 0))/3. Which is smaller: 6/17 or i?
i
Let s be (-2)/6 + 42/99. Which is bigger: 0 or s?
s
Suppose 5*m + 0*m - 4*y + 304 = 0, -4*m = 2*y + 238. Let s be 0 - (-7)/((-28)/m). Which is smaller: s or 14?
14
Let n = -6 + 6.3. Let a = 7 + -7.3. Let k = -0.2 - a. Which is greater: k or n?
n
Let g be (4/14)/(3/21). Let m(y) = y + 1 - g*y - y + 3*y**2 - y**2. Let x be m(1). Is 5 bigger than x?
True
Let y = -1 - 5. Let s = y - -6. Are 0.3 and s nonequal?
True
Suppose -2*p + 7 = -5*o - 11, -p = -4*o - 15. Suppose -n = 2*n - 15. Suppose -i + 3 - 5 = n*h, 8 = -4*i - h. Is o equal to i?
False
Let o(d) = d - 8. Let z be o(7). Let q = 14523/25 + -581. Is z greater than q?
False
Let s = 391/5 - 78. Let u be 1/(-1)*-1 + -1. Which is smaller: s or u?
u
Let z = -196 - -1367/7. Let s(y) = y**2 + 3*y - 2. Let o be s(-3). Is o smaller than z?
True
Let z = -85/4 - -21. Let x = -5.7 - -6. Let d = x + -0.2. Which is bigger: d or z?
d
Let u = 10 - -2. Suppose -6*i = -2*i - 48. Is u != i?
False
Let b(z) = -z + 4. Let x be b(3). Let q be 4/x + (-13)/2. Which is greater: -4 or q?
q
Let z = -25 - -40. Let a be z/(-10)*(-3)/18. Which is smaller: a or -4?
-4
Suppose 0 = -3*x - x + 40. Let b be ((-12)/(-10))/((-2)/x). Is -6 at most b?
True
Suppose 7*x = x - 18. Which is smaller: -7/2 or x?
-7/2
Let z = -4 - -5.04. Let r = -0.04 + z. Is r <= -1/3?
False
Let z(u) = u**2 - 5*u + 5. Let w be z(5). Suppose 4*r - 4 = w*r. Let o be (r/(-5) + -1)/1. Is o smaller than -2/9?
False
Let v be -2*(10/4 - 2). Let o = 10 - 9.9. Is v not equal to o?
True
Let t be (-8)/(-48)*11756/(-6). Let z = -327 - t. Let c = -1 + 1. Is c bigger than z?
True
Let h = -15 + 19. Suppose -4*x = 3*r - 23, h*x = -r - 1 + 14. Suppose 4*w + 0*w - 4 = 0. Which is smaller: w or x?
w
Let w = -2.3 - 7.7. Which is bigger: -2 or w?
-2
Suppose 2*l = -s + 4, 3*l + 4*s - 4 = 2*s. Let f(t) = -t**3 + 4*t**2 + 1. Let g be f(l). Is 2 <= g?
False
Suppose -3*b = 2*b - 25. Suppose 4*q - b = 7. Is 3 > q?
False
Let h = -5 - -9. Suppose -h*g + 11 = -1. Are 3 and g equal?
True
Suppose 0 = 7*o - 2*o. Let p be 136/(-10)*(-2)/(-4). Let j = p + 92/15. Which is greater: o or j?
o
Let u(c) = -2*c**3 + 3*c**2 - 2*c. Let z be u(1). Which is bigger: z or 1/91?
1/91
Let h(p) = 4*p**3 - 2*p**2 + 2*p - 1. Let x be h(1). Suppose 0 = -5*n + 4*n - x. Are -2 and n non-equal?
True
Suppose -3*f - 2 + 8 = 0. Let q be f/3 - 75/(-9). Let o be (-3)/(2/((-12)/q)). Is o at least as big as 2/3?
True
Let g(k) = k**2 - 3*k - 2. Let p be g(-2). Is p less than or equal to 8?
True
Let q be 14/(-7) + 2/1. Suppose 3*u - 5*w = -14, w - 13 = 4*u - q*u. Is -3 at most as big as u?
True
Suppose -4*z = -s - 3*s - 16, 4*s = -4*z - 16. Let x = 3/4 + -1/2. Is x at least as big as z?
True
Let c = -1/246 + -3874/123. Is -32 smaller than c?
True
Let l(w) = w**3 + 3*w**2 + 1. Let o be l(-3). Suppose -2*t + t + o = 0. Which is smaller: t or 12/13?
12/13
Let g be 0/(-4*2/(-4)). Suppose 5*v - x = 0, 3*x = -g + 15. Let h be v/((-3 - 0)/21). Is h >= -8?
True
Let s(y) = -2*y - 9. Let c be s(-8). Suppose 3*w - 16 = c*w. Let a be w/14 - (-32)/14. Is a < 3?
True
Let h = -4 + 11. Let c(i) = -i**2 + 7*i - 3. Let u be c(h). Let v = -3 - u. Is 3 < v?
False
Let l = 5 + -5. Suppose l = g - 1 - 2. Is g bigger than 5?
False
Let h = -63 + 191/3. Let p be 15/(-33)*4/(-10). Is h < p?
False
Let o = -2247/10 + 98179/270. Let q = -139 + o. Which is bigger: q or 0?
0
Suppose 0 = 7*f - 8*f - 10. Let r be (-3)/(-2)*f/55. Is 1 less than or equal to r?
False
Suppose 0*b + 15 = 3*b. Let o be (-1)/(-2)*(-6)/b. L