. Is i < 9?
False
Let w = 186 - 185.8. Let r = 2.1 - 2. Let m = -1.1 + r. Which is bigger: m or w?
w
Suppose 3*r + 2*r - 4*a = 13437, -r + 2687 = -a. Let c be r/(-21) - 2/7. Let m = 1151/9 + c. Which is bigger: 0 or m?
0
Let w = 62 - 56. Does w = -0.1?
False
Let h be 300/(-32)*(1 + 3). Let s = 36 + h. Let z(m) = -2*m + 2. Let b be z(2). Which is smaller: s or b?
b
Let l = 6 - 3. Suppose -z = 3*z - 16. Let x = 0 + z. Are x and l equal?
False
Let s = -35 - -24. Which is smaller: s or -1/3?
s
Let w(h) = h**3 - 7*h**2 - 2*h + 6. Let b be w(7). Let d = b - -10. Which is smaller: d or 1?
1
Let s be 2/7 - 9/7. Let p be -1*(1 - (2 - s)). Let d(i) = -i**3 + 7*i**2 - 7*i + 6. Let w be d(6). Is p <= w?
False
Suppose 3*b - 10 = 5*s, 3*s + 22 = 7*b - 2*b. Which is bigger: b or 1?
b
Let k = 0.1 + 0.9. Let n = 5.4 + -5.46. Which is smaller: n or k?
n
Let i = 17 + -23. Is i > 0.2?
False
Suppose 0 = -4*d - 0 - 8, -4*d - 10 = -2*c. Let j be (-44)/(-275)*(-10)/12. Which is greater: j or c?
c
Suppose 3*b + 15 = 4*s, 8*b - 5*s = 3*b - 20. Suppose -2*d = -0*d - 6. Suppose 4*o - 3*l = 3*o - 5, -d*o + 11 = 4*l. Is b less than o?
True
Let h = -2.1 + -2. Let x = -0.1 - h. Which is smaller: x or 1/5?
1/5
Let s be 28/266*(-2)/4. Is s bigger than -1?
True
Let g = -62 - -62. Which is smaller: -2/181 or g?
-2/181
Let i(v) = -v**3 - 12*v**2 + 29*v + 12. Let w be i(-14). Let m be (-2)/5*(0 - -5). Is w not equal to m?
False
Suppose 3*v - 3 + 0 = 0. Let y = -2 + v. Which is smaller: -4/9 or y?
y
Suppose 0 = -0*s - 3*s - 6. Let d(x) = 2*x**2 - 3*x - 3. Let h be d(2). Is s > h?
False
Suppose -q + 23 = 5*b, -5*q + 0*q + 23 = 2*b. Let k be (-1)/((-16)/(-20))*(-4)/10. Which is greater: q or k?
q
Let g(c) = c**2 - 2*c - 3. Let n be g(4). Suppose -6 = 5*p - 5*r - 1, -n*r = -4*p - 1. Are p and -4 unequal?
False
Suppose 4*c + c + 20 = 0. Let j(b) be the second derivative of b**5/20 + 5*b**4/12 + 5*b**3/6 + 5*b**2/2 - b. Let m be j(c). Is -0.4 > m?
False
Let x(p) = -p**3 - 4*p**2 + 8*p + 7. Let c be x(-5). Let y = -4 - c. Is y bigger than 4?
False
Let u = -34 - -49. Which is smaller: -2 or u?
-2
Let n = -553/4 - -139. Let k = 4.7 - -0.3. Let l = 6 - k. Which is greater: l or n?
l
Let r(n) = 3*n - 33. Let x be r(10). Suppose 0 = -4*k + 5*z + 22, -5*k + 46 = z + 2*z. Let u be -1*(-1)/(-2)*k. Which is greater: u or x?
x
Let q(t) = -t**2 - 5*t - 2. Suppose 46 = -5*u + 4*j + 14, u + 3*j - 5 = 0. Let z be q(u). Which is bigger: z or 0?
z
Let b(g) = g**3 - 9*g**2 + 9*g + 1. Let l be b(8). Let w = 9 - l. Which is greater: 2/7 or w?
2/7
Suppose 30 = -3*g - 3*v, -5*v + v - 16 = 0. Is -2 equal to g?
False
Let t(n) = n + 15. Let g be t(-11). Suppose 6*y - 41 = 2*y + q, 5*y + g*q - 46 = 0. Let i = -8 + y. Is 6/7 != i?
True
Let x = -17/2 + 17/6. Is -6 > x?
False
Suppose y + y - p = 19, 3 = 3*p. Let v be (-6)/y + 6/(-15). Suppose -4*w = -t - 6*w - 6, 4*w + 12 = -4*t. Which is greater: v or t?
t
Suppose 6*k - 84 = 10*k. Do -19 and k have the same value?
False
Let t be 20/7 - ((-70)/49)/10. Which is bigger: t or 3/2?
t
Let j = 3.41 - 0.01. Let z = -0.6 - j. Which is smaller: 2/7 or z?
z
Suppose 0 = a - 2*a - 12. Is -0.2 at least a?
True
Let m be -2 - (2/(-4) - (-275)/(-30)). Is 7 != m?
True
Let f be (-1)/((12/(-4))/(-3)). Does f = -4/79?
False
Let l = 8 - 4. Suppose g = l*g + 3. Let a be 0/(-4) + (g - -1). Is a at most -1?
False
Let u = 18 - 13. Let b = -5 + u. Is b not equal to 0.13?
True
Let a be ((-6)/(-12))/((-1)/(-20)). Suppose -4*o + a - 2 = 0. Let j be o/(-10) - 24/5. Which is smaller: j or -4?
j
Suppose -t = 3*t + 3*p - 24, 4*p + 61 = 5*t. Is t less than 8?
False
Suppose -2*t = 5*z + 4 - 0, -3*z - 6 = 3*t. Which is greater: 1 or z?
1
Let u be (3/(-6))/((-2)/(-4)). Let v be (u - -3)*(-3)/6. Let n be ((-7)/(-28))/(v + 3). Which is smaller: n or -1?
-1
Suppose -b = b + 4*p + 50, -p + 180 = -5*b. Is b greater than -101/3?
False
Let g be (15/(-9) + 1)/(24/36). Is -12/5 greater than g?
False
Suppose -2*d = 3*y + 11, -5*d + y = -0*d + 19. Let w(h) = -h + 2. Let n be w(7). Are d and n unequal?
True
Suppose -4*b - 5*a + 0*a = -49, -2*b + 23 = 3*a. Suppose c + 4*o = 4*c + 23, b = -c + 3*o. Let t = -38/3 - -13. Which is bigger: t or c?
t
Let m = 1 + 8. Let f = m - 13. Let u(o) = -o**3 - 3*o**2 + 4*o - 2. Let r be u(-4). Is f greater than r?
False
Let l(y) = 2*y**3 + y - 2. Let a be l(2). Let m = -10 + a. Which is smaller: m or 5?
5
Let z be (-2)/(-8) - (-91)/4. Is z > 22?
True
Suppose 13 = 7*z + 34. Is z greater than or equal to 0.5?
False
Let m be (4/(-1) - 0)*1. Let c be (-3)/((-6)/m) + 2. Which is greater: c or 3/8?
3/8
Let d be 39/(-12) - 4/(-16). Which is smaller: d or -1?
d
Let g be 0 - 2 - (-1 + -1). Suppose -4*r + 1 = 3*s, 2*r + g = -s + 3. Suppose -j - 3*j = r. Which is smaller: j or 0?
j
Let c be (-14)/(-4)*(-15)/(-140)*-4. Suppose 3 = 2*i + 9. Is c greater than or equal to i?
True
Let d be (-4)/(-10)*(2 + 3). Suppose -4*i + 23 = 3*o, o - d*i = -2*o - 7. Let m = -1725/7 - -247. Which is smaller: o or m?
m
Let s(t) = -18*t**3 - t**2 - t + 2. Let h be s(1). Is -18 greater than h?
False
Let q = -0.1 - -1.1. Which is smaller: q or -0.1?
-0.1
Let b(n) = n + 7. Let s be b(-8). Let w = -1 + 2. Let k be 1 - w/(-5)*-6. Is s <= k?
True
Let p be 6/4*(-2)/(-6). Let q be (-19)/(-5) - 1/(-5). Suppose q*t = -8 - 0. Is t > p?
False
Let i = -31.2 + 31. Is i bigger than 11/4?
False
Let o be 14/(-60)*4/(-1). Let g be (24/(-27))/(2/(-3)). Let q = g - o. Are 3 and q unequal?
True
Suppose 3*q = -3*u + 91 + 17, -q = 4. Let r be 2/12*72/u. Is -1 equal to r?
False
Let j be 4/5*150/(-15). Let d be j - -10 - (-11)/(-1). Is -8 less than d?
False
Suppose -t + c - 3 + 8 = 0, 0 = -3*t + c + 19. Suppose -6 = -4*x + t*x. Is x less than -3?
False
Suppose -4*c + 2*x = -62, -2*c + 25 + 4 = x. Let z be (-6)/c + 2 + -2. Let s = 0.9 + 0.1. Which is smaller: z or s?
z
Let t = 5 - 4.9. Which is smaller: t or -14?
-14
Let t be 2/5 + (-8)/20. Let n(a) = -a + 2. Let s(i) = i**2 + i + 1. Let k be s(-1). Let h be n(k). Which is smaller: t or h?
t
Let x be 0 + -1 - (-2 + 3). Let k be (-2)/20 - (-2)/4. Which is smaller: x or k?
x
Suppose g = 3*g - 4. Suppose w - 4 = 0, p + 8 = -g*p - w. Let n be ((-2)/p)/(-4 - -2). Which is bigger: 1 or n?
1
Suppose 1 + 2 = -3*z. Suppose 5*n + 3*v = 31, -4*v = -2*n - 1 + 3. Suppose -n*a = -4*a + 2. Which is bigger: z or a?
z
Let t be 60/(-14) - 8/(-28). Let l = t - -1. Which is smaller: -1/5 or l?
l
Let o = -103/295 - 3/59. Suppose -4*x + r - 20 = 0, 2*x + 0*r = -4*r - 28. Let u be (1/3)/(2/x). Is u > o?
False
Suppose -2*k = 5*d - 6*k + 17, -2*d + 7 = 3*k. Let s be -1 + 4/(-2)*d. Which is greater: s or 2/21?
s
Let q = 1 + 1. Let z be (3/(-5))/(-3 + q). Suppose 4*j = 5*x + 15, 2*j + 2*x = -0*x - 6. Which is smaller: z or j?
j
Let x = 10 - 30. Which is bigger: -2 or x?
-2
Let o be (-4)/18 - (-632)/(-72). Is -19/2 at least o?
False
Let m be (171/30)/((-31)/25 - -1). Is m bigger than -25?
True
Let c(l) = -l - 11. Let r(i) = -i**3 + i**2 - 6. Let w be r(0). Let u be c(w). Is 1 less than or equal to u?
False
Let i = -223/3 + 1127/15. Let n be (0 - -3)/(3/(-2)). Let r = n - -2. Which is greater: i or r?
i
Let r(n) = n**2 + 4*n. Let c be r(-3). Let f be ((-3)/27)/((-1)/c). Which is bigger: -1 or f?
f
Let y = 110 - 113. Which is greater: 1/19 or y?
1/19
Let q be -1 + 2 - (4 + -4). Suppose 1 = -4*u + 13. Let l = u - q. Is 3/2 bigger than l?
False
Let a(q) = 2*q. Let i be a(-3). Let w = 21 + i. Let c be (-1)/(-3) + 10/w. Which is smaller: c or 0?
0
Let x(l) = -l + 2. Let f be x(-1). Let g be ((-6)/158)/(f/2). Which is smaller: g or 1?
g
Suppose 18 = 2*d + 20. Which is smaller: -2 or d?
-2
Let f = 0 - 1. Let q = f - 0. Let o = -0.1 - -0.2. Which is smaller: o or q?
q
Let x = 1 + -1. Let k be (-5)/(-25) - (-2)/(-2). Does x = k?
False
Let s = 1929/7 + -275. Let q = 4/7 + s. Is 0 at least as big as q?
False
Let l = 16/25 - 276/275. Which is smaller: l or -1?
-1
Let x be (4/10)/((-16)/20). Suppose -1 - 2 = 3*j. Is x equal to j?
False
Let h be ((-4)/6)/(2/9). Let b be (2 + h)*4/7. Is 0 at least as big as b?
True
Let f(p) = 10*p + 2 - 5*p - 1 - p**2. Let o be f(5). Let h = 413 - 6197/15. Which is smaller: h or o?
h
Let g(r) = -r**2 + 6*r + 9. Let q be g(7). Suppose -2*s + 3*w = 2, q*w + 26 = 2*s + 6*w. Is s less than 5?
Fal