+ 3. Let a be (3*l)/3 + 2. Let p be (1 - 0)*a/6. Is p <= 1/2?
False
Let b be (-1)/((-8)/28) + 2. Is 7 bigger than b?
True
Let i(j) = -j**2 - 2*j. Let k be i(0). Which is greater: k or -14?
k
Let s = 16 + -8. Suppose -4*k - s = 2*p, -k = 4*p - 3*k + 6. Which is smaller: p or -5?
-5
Let o = -0.2 + 0.3. Let m = 0 - 0.7. Which is greater: o or m?
o
Let q be (-14)/(-4)*(-20)/(-7). Suppose -12*p = -17*p - q. Let f = -6 + 3. Is f at least as big as p?
False
Let a = -1.3 + 1.1. Is a > 3?
False
Let y be (2 + -3)/(3 - 4). Let x = 6 - y. Let h(d) = d**3 - 6*d**2 + 6*d - 4. Let i be h(x). Is -2 bigger than i?
False
Let s = -2/25 + -44/75. Suppose 5 + 25 = 2*y. Suppose 2*w + 2 = 2*u, w + 2*w = -3*u + y. Is s not equal to w?
True
Let i = -1 + -16. Let s = 14 + i. Which is greater: -5 or s?
s
Let p = -1 - -1. Suppose 1 = -4*j - s - p, 0 = -4*s - 4. Is j smaller than 1/6?
True
Let p be 8/(-20) + 474/10. Which is greater: 46 or p?
p
Let m = -12 + 9. Let d = 4 + -4. Is m greater than or equal to d?
False
Let t = 159237/110 - 2895/2. Which is greater: 0 or t?
t
Let p = -10 + 10. Let z be -2 + p + 1 + 0. Which is smaller: z or -1/5?
z
Let d = 341/60 + -23/4. Suppose -11 = 5*a + z + z, -3*a + 5*z = -12. Is a greater than d?
False
Let m = -3.6 - -4.59. Let c = m - 1. Let i = -1.01 - c. Which is smaller: i or 1?
i
Let r be (((-4)/4)/4)/((-3)/4). Does 1 = r?
False
Let c = 8.4 - 34. Let y = c + 26. Is -1 at most as big as y?
True
Let w(i) be the second derivative of 3*i + 0 - 1/2*i**2 + 1/6*i**3. Let u be w(0). Is 1 <= u?
False
Let v = -94 - -91. Which is smaller: v or 2/21?
v
Suppose -l - 17 = 5*y, 3*l = -y + 2 + 3. Let v(p) = p - 1. Let q be v(-3). Is q >= y?
True
Let r = -24 + 22. Which is smaller: r or -1/4?
r
Let k = -0.05 - -8.35. Let z = k + -8. Which is greater: z or 0.1?
z
Let t = 8/15 - 26/105. Let x = 0.064 + -0.204. Which is smaller: t or x?
x
Let a(c) = -20*c. Let s be a(6). Let k be (-2)/(-8) + 14/s. Suppose -3 = -5*o - 3*r, r = -2*o + 2 - 1. Is k equal to o?
False
Let k = 8 - 14. Which is smaller: k or -7?
-7
Suppose 0 = 6*w - 5*w + y - 5, -34 = -5*w - 2*y. Suppose 3*z = -z - w. Let g(t) = t**3 + 2*t**2 + 1. Let a be g(z). Which is smaller: a or 2/11?
2/11
Let w be (30/(-25))/(1/5). Which is bigger: -5 or w?
-5
Suppose -5*b + 5 = -6*f + f, 7 = f + b. Let a be (1 - -10)*(3 + -2). Suppose -d + a + 8 = 4*i, 0 = 3*d + 4*i - 25. Is f > d?
False
Let g be (17 + -16)*2/36. Which is smaller: -1 or g?
-1
Let d(t) = -t**2 - 2*t - 1. Let p be d(-1). Let b be 2 + 471*(-4)/1290. Let o = 6/43 - b. Is o > p?
False
Let w be (8/(-30))/((-28)/(-42)). Which is bigger: -35 or w?
w
Let m = -36 - -36. Which is bigger: 2 or m?
2
Let w be (11 + -10)*1/7. Let n be -2*1/2 + 2. Let i = n - 2. Is i at least as big as w?
False
Let v = 40 + -121/3. Let o = 2 + -4. Which is greater: v or o?
v
Let l be 8/12 - (-1)/3. Let u = 70/3 + -23. Is l < u?
False
Let a = -4 + 4.18. Let o = -1.18 + a. Which is smaller: o or 4?
o
Suppose -38 + 287 = -3*g. Let q = 251/3 + g. Are -1/3 and q non-equal?
True
Let c = -2 - -6. Let b be (-19)/5 + -2 + c. Let l = -17/15 - b. Is 0 bigger than l?
False
Let c be 1443/148 - (-2)/8. Let u be (-2)/(1 - -1)*-9. Is c less than or equal to u?
False
Let c(u) = -u**2 + 9*u + 12. Let g be c(10). Which is smaller: g or -4?
-4
Let x be -12 - 0*(-4)/(-8). Let h = -8 - x. Does 4 = h?
True
Let w(c) = -c**3 - 4*c**2 - 2*c - 6. Suppose 0 = -5*l - 4*t, 4*l + 9 = -t - 2. Let y be w(l). Let s = -2/3 - -2. Is s < y?
True
Let r = 2 + -1.92. Let q = 8.08 - r. Let s = q - 7. Do -3/5 and s have the same value?
False
Let g = -35.4 - 0.6. Which is greater: g or -0.1?
-0.1
Suppose 5*r - 5 = -0*r + 2*g, 0 = -4*r + 2*g + 2. Suppose -7*z + 4 = -r*z. Let o be 2*(2 - z) - -1. Is o >= 2?
True
Suppose 4*c + 5*i - 5 - 9 = 0, 5*c + 4*i - 13 = 0. Is -1 less than or equal to c?
True
Let w = -1.5 + 2.5. Which is smaller: w or -0.01?
-0.01
Let q be (-368)/(-88) + 2/(-11). Which is bigger: q or 2?
q
Let n = -6 - -8. Let p be 1/(-2) - (-6)/(-4). Let x be (-12)/p + (-6)/2. Does n = x?
False
Let q = -17 + 33. Suppose 0*u + 4*u = -4*l + q, -3*u + 5 = -4*l. Are 1 and l equal?
True
Suppose 19*s = 23*s - 16. Let t(b) be the first derivative of -b**4/4 - 4*b**3/3 - 3*b**2/2 + 4*b - 2. Let i be t(-3). Is i smaller than s?
False
Let x(z) = z**2 - 3. Let t be x(2). Let r be 1 + t + (-26)/11. Is r less than or equal to -1?
False
Let l = -0.07 + -0.03. Let k = -0.17 - l. Is 0 > k?
True
Let l be (-3)/(-3) + (-3 - -1). Let b(k) = 27 - k**2 - 20 - 6*k - 2*k. Let z be b(-9). Is l equal to z?
False
Let x(j) = -j**3 - 9*j**2 + 2*j + 8. Let m be x(-9). Let u be 4/m - (-28)/20. Which is smaller: u or 4/9?
4/9
Let f = -0.39 + 0.19. Does f = -0.1?
False
Let p be ((-120)/45)/((-2)/18). Which is smaller: p or 23?
23
Let b = 59 - 28. Is b at most as big as 31?
True
Let q = -111102221/77 - -1442854. Let m = q + 222/7. Which is bigger: m or 0?
0
Let y be 2/5 - (-16)/(-15). Let i = -37 + 36. Is y equal to i?
False
Suppose -19*q + 21*q - 6 = 0. Does 1 = q?
False
Let s(v) = -v - 24. Let q be s(-12). Let r = 5 + q. Which is smaller: -5 or r?
r
Let a(w) be the third derivative of 0*w + 1/120*w**6 - 1/24*w**4 - 1/60*w**5 - 2*w**2 + 1/3*w**3 + 0. Let l be a(0). Which is smaller: 1 or l?
1
Let n = 0 - 3. Let t = 6 + n. Let w = 19 - 20. Is w < t?
True
Let i be 519/6 + (1 - 3). Let n = i - 83. Is n at least -2?
True
Let x(t) = 2*t**3 - 2*t**2 + 6*t + 5. Let f(i) = i**2 - i - 1. Let g(z) = 4*f(z) + x(z). Let j be g(-1). Which is smaller: -4/7 or j?
j
Let g(b) = -b**2 - 4*b - 3. Let l be g(-2). Suppose -2*a - l = 3. Let d = 0.2 + -1.2. Is a at least as big as d?
False
Suppose 14 = -o - o - 4*b, -b + 4 = -2*o. Let l be o*(-2)/3*1. Does l = 2?
True
Let x be ((-3)/(-9))/((-1)/3). Let c(b) = -b**3 + 8*b**2 - 7*b - 1. Let l be c(7). Is x >= l?
True
Suppose -4*w = 13 - 21. Suppose -w*a = -0*a - 36. Is 19 < a?
False
Let i = 8 + -6. Let p = 4 - 4. Suppose 2 - 5 = -i*q + t, -2*q + 5*t + 15 = p. Which is greater: q or -1?
q
Suppose -5*q - 43 = 7. Let o = -61/6 - q. Let i = 0 - 1. Is i equal to o?
False
Suppose 4*t - 26 = -a - a, -4*a - 5*t = -61. Suppose 0 = -2*m - 4*b + 26, -2*m + 4*m - 3*b = a. Suppose -3 = 4*c - m. Is c at most as big as 1?
False
Let y = 2 + -6. Let w be (-1)/y*(-8)/6. Let j be (5/30)/((-12)/54). Is j >= w?
False
Let u = -5 - -3. Does -6/11 = u?
False
Let c(i) = -i - 1. Let v be c(-1). Let w be (2/3)/(40/(-24)). Is v less than w?
False
Let x(w) = -w**3 - 3*w**2 + 4*w + 4. Let j be 0/1 + 2*-3. Let i be x(j). Let v be i/210 + (-6)/21. Is v greater than 0?
True
Let y = -4 - -4.6. Let a = 4 - 3.5. Let l = y - a. Are -2/9 and l equal?
False
Suppose -14*h + 9 = -11*h. Does h = 1?
False
Let h = 33.3 + -29. Let u = 1.7 + h. Is u < -2?
False
Let t = -42 + 36. Are -2/5 and t nonequal?
True
Suppose w = -0*w. Which is smaller: w or 1?
w
Let f = 75 + -78. Which is bigger: f or -4?
f
Let p = -84 + 44. Let g be (1/2)/(4/p). Which is smaller: -1/3 or g?
g
Let x(o) = o**2 + 1 - 5*o + 2 + 0. Let h be x(2). Let l(s) = s**2 - 5*s + 1. Let d be l(4). Is d smaller than h?
False
Let h(d) = d**2 - d + 8. Let n be h(0). Suppose 3*v = -v - n. Which is smaller: v or 0.1?
v
Let l = 73/2 + -35. Is l at most as big as 4?
True
Let w = -5 - -2. Let f = w - -3.2. Let c = f + -0.1. Is 2/3 bigger than c?
True
Let t = -432 - -1307/3. Which is bigger: 3 or t?
t
Suppose 5*y + 2 = -3. Let t be (7/21)/(y/(-12)). Suppose 1 = 5*f - t. Is -6 bigger than f?
False
Suppose y = 5*i - 4*y, -y + 25 = 4*i. Suppose 4*s = -i*u + 5, 5*s + 3*u = s + 3. Let j = s + 1/2. Which is bigger: j or 0?
j
Let m = 71 + -73. Let p be (((-4)/(-6))/2)/1. Which is greater: p or m?
p
Let w = 0.1 + 0.3. Let z = 0.2 - w. Is z at least as big as 1?
False
Let y be (6 - 3 - 2) + 6. Is y greater than 1?
True
Let d be 2 - 22/10 - 42/(-10). Suppose -3*q = 2*q - 25. Let j(k) = -k**2 + 5*k + 5. Let v be j(q). Do v and d have different values?
True
Let l = 0.44 + -0.14. Is l greater than -2/15?
True
Let b be 4/7*(-7)/(-2). Let m be (18/(-15))/(b/10). Let k = -1 - 4. Is k > m?
True
Let l = 3 + 4. Let x be (3/5)/(3/15). Suppose 0 = -c + x, -24 = -2*i - 4*c - 0*c. Which is greater: i or l?
l
Let m be 2/(2/6 - 1). Let o = 9 + m. Is 6 less than o?
False
Let w(a) = a**2 + a - 3. Let f be w(0). Let d be 0 + 1 