 -22.1 + 22. Let s = z + 2.1. Which is smaller: c or s?
c
Let n = 0.1 + -4.1. Is n smaller than 0?
True
Let i be 0 + 27/(-21) + 1. Let c = -0.1 + 0.5. Let r = c - 0.2. Do r and i have different values?
True
Suppose l - 5*l = 40. Let p = 17 + l. Which is smaller: p or 9?
p
Let s(z) = 1 + z**2 - z + 5 + 2. Let d be s(0). Suppose -d*v = -4*v. Which is smaller: -2 or v?
-2
Let n = 343 - 211. Let j = -1454/11 + n. Which is bigger: 1 or j?
1
Suppose 0*v - 2*v = 4*i + 2, 0 = 2*v + 3*i. Suppose 5*x = -2*z + 32, -2*z = x - v*z - 5. Is 6 greater than x?
False
Let i(w) = -w**2 - 5*w - 2. Let k be i(-7). Do k and -16 have the same value?
True
Let t be 1 - (0 - -1)*-3. Suppose -t*q - 5 = 3. Which is smaller: q or -2/3?
q
Let d = 18/49 + 34/441. Let r(l) = -l**2 - 9*l - 7. Suppose 5*g + 2*c + 44 = c, 0 = 5*g - 3*c + 28. Let w be r(g). Which is greater: w or d?
w
Suppose -5*c - 1 = -4*c. Suppose -f = -2*f + 3. Let d = f + -1. Is d != c?
True
Let d be 1116/(-2136) - (-1)/2. Which is smaller: 1 or d?
d
Let k be (0 - -2)/(2/4). Let x(f) = -f**2 + 5*f - 6. Let n be x(k). Is -3 equal to n?
False
Let a = -0.2 + 0.2. Let j = -1.2 + 0.2. Let d = -2 - j. Is a >= d?
True
Let a(c) be the second derivative of -c**4/6 - c**3/3 - c**2/2 + c. Let x be a(-1). Which is greater: x or 1?
1
Let o = -0.04 + -0.26. Let g = 17.3 + -17. Let z = g + o. Is z greater than or equal to -2?
True
Let b be ((-20)/15)/(2/6). Is -3 <= b?
False
Suppose 42 = 3*g - 6*g. Let q be 5/140 + 4/g. Which is greater: q or -1?
q
Let h = 0.012 + 0.288. Is h != 8?
True
Let u = 33.9 - 34. Is u equal to 0?
False
Let b = 32 - 36. Which is smaller: 0 or b?
b
Let u = 1384/9 - 154. Let v be 1/2 - 9/(-6). Let z be -2 - (3 - v) - -3. Which is smaller: u or z?
u
Let m = 32 + -33. Which is bigger: m or -0.18?
-0.18
Let t(m) = m**2 - 177. Let d be t(-13). Let n be (-1 - (0 + 0)) + -8. Is d <= n?
False
Let d be 4/(-7) - (-790)/1260. Let k = 2 + -2. Let t be (0 + k)/(2 - 3). Is d at most as big as t?
False
Let n = 122/15 + -44/5. Let o = -26 - -18. Let t = o - -5. Is t less than or equal to n?
True
Let z(f) = f - 5. Let k(u) = -3*u + 21. Let s(w) = -4*k(w) - 15*z(w). Let j be s(-5). Is 6 at least as big as j?
True
Let m = -104 - -1249/12. Let l be 2/13 + 20/(-130). Is l smaller than m?
True
Let g be (-3)/(-27) - 12/27. Which is smaller: -2/217 or g?
g
Suppose 2*k - 6 = -z, -z + 0*k + 4*k - 12 = 0. Let w = -15/8 + 61/24. Which is greater: z or w?
w
Let g be -3 + 269/44 - 3. Let z = g + 97/308. Is 0 > z?
False
Let k = -21 + 21. Suppose -3*y - 3*f = 12, 0 = 2*y - f - 2 - 2. Let i be 4/14 - y/(-1). Which is greater: i or k?
i
Let c be 4*(-2 + 6)/8. Let s be 4 + (2 - 2)/2. Suppose s*p = c*v + 8, 3*v + 0*p = -2*p + 20. Are 3 and v equal?
False
Let u(z) = z - 3. Let n be u(3). Suppose 0 = 4*l - d + 188 + 506, -5*l - 3*d = 876. Let h = 867/5 + l. Which is bigger: h or n?
n
Suppose -3*g - 2*w = -6*g - 41, -10 = 2*w. Is -2/7 at least as big as g?
True
Let q(c) = c**2 - 11*c + 11. Let z be q(10). Let j = -1/27 + -8/27. Which is bigger: z or j?
z
Suppose 0 = -3*n - 3*r + 15, 1 = r - 2. Suppose -n*b = 2*y - 18, 5*b - 14 = 4*y - 5. Let u = y + -4. Which is smaller: u or 1?
u
Let r be 3/2*(-114)/(-9). Do r and 19 have different values?
False
Let u = 33 + -32. Which is smaller: 2/47 or u?
2/47
Let b = 2/5 + -11/15. Let k(w) = -2*w - 17. Let o be k(-9). Is o < b?
False
Let m = -3 - -4. Let v = m + -0.9. Which is greater: v or -5?
v
Suppose -3*h + h + k = 0, 4*k - 6 = 5*h. Suppose 3*x + h*m = -12, 10*m + 25 = -5*x + 5*m. Let d(r) = -r**3 + 2*r**2 - 2*r + 2. Let f be d(2). Are f and x equal?
True
Let q be 0/(-1)*2/(-4). Suppose -4 = -q*f - 2*f. Which is smaller: 4/3 or f?
4/3
Suppose -3 + 0 = 3*n. Which is smaller: n or 2/5?
n
Let s be 6/38*(-20)/(-30). Suppose 0 = -0*i + 2*i. Which is bigger: i or s?
s
Suppose 0 = -4*r - 4*o - o + 240, o = r - 69. Let l = r + -197/3. Let w be (2 + -2)/(-5 + 2). Does w = l?
False
Let m be (-4)/(-2) + (4 - 2). Suppose -4*q + 0*q - 16 = 0. Let b = 8 + q. Is b smaller than m?
False
Suppose -41 = 4*g - 6*g - f, 0 = 4*g + f - 85. Let n be 12/g*(-2)/3. Suppose -5*y - 16 = -4*q, y = -q - 3*q + 16. Which is smaller: n or y?
n
Suppose -5*t = -5*h, 5*t + 2*h = 4 + 10. Which is bigger: 4 or t?
4
Let o = -7 + 3. Let h = 4.1 + o. Let m = h - 0.1. Is 1 at least as big as m?
True
Suppose -16 = -5*z + 34. Is 8 not equal to z?
True
Let y be 27/(-72)*(-340)/(-6). Let t = y + 21. Is 1/5 > t?
True
Suppose -3*c + 5*o + 9 - 28 = 0, -3*c - 4 = -2*o. Suppose -3*p - 5*l = 63 - 23, 2*p = 3*l + 5. Let q = -2 - p. Is c not equal to q?
True
Let r be (70/45)/(4/3). Is 2 bigger than r?
True
Let h = 0.5 + -0.46. Let q = -0.64 + h. Let l = 0.4 + q. Is -0.1 greater than l?
True
Let p(c) = -2*c - 4. Let d be p(-10). Let q be (-2)/(-8)*d/6. Which is bigger: q or 0?
q
Let y = -1 + 1. Suppose y*c + 5*c = 5. Let d be (-5)/((-170)/(-64)) - -2. Is c not equal to d?
True
Let k be ((-72)/84)/((-1)/(-7)). Is -5 >= k?
True
Let a be 68/(-168) - 1/6. Let v = 4 + -3. Suppose 4*o + v = 3*o. Which is smaller: o or a?
o
Let s(u) = u**2 - u - 1. Let c be s(2). Let w = -24 - -16. Let v = w + 10. Which is smaller: c or v?
c
Let t = -159 + 222. Let l = t - 60.1. Let m = 3 - l. Which is smaller: 2/5 or m?
m
Let z be (0/1)/(9 - 7). Is 12/23 at most as big as z?
False
Suppose 0 = b + 3*b - 12. Suppose 5*f + 2*a = 5*a - 14, 2*f = -b*a + 7. Which is greater: 0 or f?
0
Let s = -26 + 23. Let t(h) = h**2 - 2*h - 7. Let y be t(s). Do y and 9 have different values?
True
Suppose 3*s = -2*s. Let o be 4 + -3 + 6/(-8). Which is smaller: o or s?
s
Suppose 4 + 0 = 2*v. Suppose 4*i = -t - 17, 0 = -i - v*i - 15. Does t = 1/2?
False
Suppose -l + 28 = 5*j, -3*l = 2*l - 5*j + 10. Let z be (l/(-2) + 2)/1. Let o be (-7)/(-4) + 2/8. Which is smaller: o or z?
z
Suppose 3*n - 4*g - 55 = 0, 0 = 5*n + 3*g + 2*g - 45. Suppose 0 = -4*t - 3*v + 25, -3*t = 5*v - n - 14. Suppose -t - 14 = 3*w. Is -6 smaller than w?
False
Let z = 32 - 21. Is z > 10?
True
Suppose 5*b - 4*q + 17 = 0, 0*b + 2*q - 2 = -4*b. Suppose 0 = 4*t - 2*t - 394. Let f = t + -1381/7. Which is smaller: b or f?
b
Suppose -z = -2 - 2. Suppose -x = -6*x - 3*y + 9, 0 = -2*x + 5*y + 16. Which is greater: z or x?
z
Let z = -3.85 + 0.25. Let f = z - 0.4. Which is smaller: -0.1 or f?
f
Let u = -18 + 17.9. Is u at most 12?
True
Let f = 7/8 + -5/6. Which is bigger: f or 0?
f
Let q(v) = 3*v + 6. Let n be q(-2). Which is bigger: -2/13 or n?
n
Suppose -k = -4*u - 5, -22 = -u + 6*u + 4*k. Let x = -17/5 + 41/15. Is x <= u?
False
Let g = -3 - -1. Let p be (2 + g)/(-2 - -3). Suppose 2*l - 2 = -p. Which is bigger: l or 0?
l
Suppose v = -4*v - 40. Let r(h) = h**2 + 8*h. Let t be r(v). Is 2 smaller than t?
False
Let p be ((-57)/(-3))/((-4)/(-28)). Let o = p + -1732/13. Which is smaller: 0 or o?
o
Let z = 6/7 + -81/70. Is 0 at most z?
False
Let m = 2.2 + -2.5. Is -0.2 at most m?
False
Let c = -2 + 2. Let z(s) = -s**2 + 4*s + 10. Let a be z(6). Which is greater: a or c?
c
Suppose -h = 5*c - 0*h + 122, -3*c + 5*h = 90. Let u = c + -13. Let r = 153/4 + u. Are r and 0 equal?
False
Let d = 0.57 + 0.13. Let w = d - 0.5. Is w at least as big as 5?
False
Let z be (2/10)/((-4)/10). Let a be 4 - (-1 + -4*(-12)/8). Is z less than a?
False
Suppose 5*k + 430 = 105. Let p = k - -454/7. Which is smaller: p or 0?
p
Let g(b) = -b**2 - 7*b + 8. Let u = -17 + 9. Let n be g(u). Let v be n + -2*1 - -2. Which is smaller: 1/5 or v?
v
Let l be ((-14)/(-26))/(3/7). Let o = l + 1/13. Is 1 greater than o?
False
Let k be 2/(-7) + (-55)/(-70). Is 0 >= k?
False
Let w = 4 + 0. Let o = 4 - w. Let x = 0 + o. Is -1 at least x?
False
Suppose -3*k = h + 19, k - 2*h = -4*h - 8. Let o = 19 - 19. Which is bigger: k or o?
o
Let c(r) be the second derivative of r**4/6 - 5*r**3/3 - r**2/2 - 9*r. Let k be c(5). Is 0 less than k?
False
Suppose -53*r = -57*r. Let p(a) = a + 5. Let c be p(-4). Which is smaller: r or c?
r
Let a = -10.11 - -0.11. Which is smaller: a or 0?
a
Suppose 0 = -4*d - k - 111, -43 = -3*d + k - 121. Which is bigger: -26 or d?
-26
Suppose 15 = 2*j + j. Let w(n) = 8 - 2*n**2 + 13*n - n**3 - j*n - 3*n**2. Let u be w(-6). Which is smaller: u or -2?
u
Suppose 5*d - 1 = 4. Let x = -97/9 + 11. Is x <= d?
True
Let o = -51/2 + 26. Let s = 0.06 + 2.94. Which is bigger: o 