 2*o - 2, 3 = -2*z + 3*o. Is z < f?
False
Suppose 0 = -3*w - 3*q - 57, 0*w - 2*w + q = 29. Let l be (-4)/34*8/w. Which is greater: -1 or l?
l
Let j = -67 + 84. Let i = -90.3 + 108. Let p = j - i. Is p less than 1?
True
Suppose -4 = 3*i + 5*g, -4*g = -2*i + 6*i. Suppose -4*b + 28 = -3*c - 0*b, -28 = 5*c - i*b. Is -5 bigger than c?
False
Let u = -2 - -1. Let p be (-1)/u*0/(-1). Let s be p - (1 - (4 + -1)). Which is greater: s or 3?
3
Let v = 12 + 7. Is 20 <= v?
False
Suppose 20 + 0 = 4*i. Suppose -k = i*d + 13, d - 5*k = 5*d + 23. Do 0 and d have different values?
True
Let d be 778/1020 + (-8)/20. Let p = d + -1/34. Which is greater: 0.1 or p?
p
Let a be ((3 - -1)*-1)/(-2). Let v(z) = -2*z**2 + 4*z**3 - 5*z**3 + a*z**3. Let b be v(2). Does b = 0?
True
Let u be (-21 + (7 - 7))*12/91. Which is greater: -4 or u?
u
Suppose -23*i = -27*i - 80. Is -18 < i?
False
Let z = 1.1 - 1. Let m = -6307/3 + 2133. Let y = -31 + m. Which is greater: z or y?
z
Let t = -0.9 + 1.9. Let x = 2 - t. Let j = 3 - x. Is -2 <= j?
True
Let f = -8 + 5. Let v = -1 - f. Let y be v/(-6)*2/4. Which is smaller: 0 or y?
y
Suppose l = 3*l - 18. Suppose -7*u = -10*u + l. Is u <= 7/4?
False
Let q(u) be the second derivative of u**5/20 - u**4/2 + 5*u**3/6 + 5*u**2/2 - u. Let i be q(5). Suppose 2*r = i*r. Which is smaller: 2/3 or r?
r
Let k be (-9)/30 - (-1023)/(-390). Is k <= -3?
False
Let s = 8 - 4. Suppose 0*z = s*z - 28. Is 8 at most z?
False
Let k = -48 - -50. Which is bigger: k or 5?
5
Suppose 0 = -4*v + 7 - 3. Let b be (-2)/(-4)*2 + -2. Let p be 12/(-42)*b/2. Is v > p?
True
Let o be 0 + 9 - (-4 - -1). Which is smaller: o or -1?
-1
Let u be ((-2)/6)/(2/(-3)). Let y = -0.09 - 5.91. Let m = 5.9 + y. Is u greater than or equal to m?
True
Let m = 914/15 - 61. Let c be 3 - (-3 + 160/25). Let p = c - m. Are p and 3 equal?
False
Let v = 28 - 26. Suppose -a = 3*j, -j - a + v = -0*a. Which is bigger: -3/7 or j?
-3/7
Suppose -14*i - 11 = 3. Let k(w) = -w**2 - 8*w - 2. Let g be k(-6). Let j be 4/g + (-4)/5. Does j = i?
False
Suppose -51 = -4*u + 29. Suppose 6*x - 4 = 4*x. Suppose -u = -x*z - 3*z. Are 4 and z equal?
True
Let w = 2 - 13/6. Suppose -4*f = -0*f. Which is smaller: w or f?
w
Let j = -13 - -18. Suppose 2*t + 3*y = 3 - 0, 5 = 5*t + j*y. Which is smaller: t or -0.4?
-0.4
Let h = 6 - 6.2. Let i = h + -0.8. Which is greater: i or -0.4?
-0.4
Let d be 10 + -7 + -22 + 0. Is d greater than -19?
False
Suppose -5*t + 4*k + 26 = 0, 1 = 5*k - 4. Suppose 0 = -2*w - 0*w - 3*c - 4, -3*w = -3*c + t. Is w smaller than -3?
False
Let a(t) = 3*t - 3. Let r be a(-3). Is -11 less than or equal to r?
False
Let z be 67*-1*30/(-40). Let u = -50 + z. Let v(m) = m - 4. Let i be v(5). Which is smaller: u or i?
u
Let n = -1.75 + 141.75. Is n greater than 1?
True
Let v be (-2)/(-4) + (-5)/(-2). Suppose v*q - 26 = 1. Is q not equal to 9?
False
Let v = -7 - -13. Suppose 4*o - v*o + k = 11, -4*o - 4*k = 16. Let d(u) = u**2 + 6*u + 4. Let w be d(o). Is w less than 1/5?
True
Suppose 4*v + 9 = -h - 1, 0 = 3*v + 3*h + 12. Let f(x) = -x**2 + 9*x - 3. Let i = -14 - -23. Let w be f(i). Which is bigger: w or v?
v
Let f = 1122/7 + -161. Let v = f + 17/14. Which is bigger: v or -2/3?
v
Let c be 4/50*(17 - 2). Let p(n) = n**3 - 3*n. Let l(y) = -2*y**3 + y**2 + 7*y + 1. Let i(h) = 4*l(h) + 9*p(h). Let b be i(-4). Which is greater: b or c?
c
Let o = -107 - -744/7. Let g(i) = -5*i - 106. Let s be g(-21). Is s > o?
False
Let k(s) = s**3 - 6*s**2 - 8*s + 10. Let h be k(7). Let b be ((-12)/(-5))/(h/(-10)). Let i(y) = y**2 + 9*y + 8. Let p be i(b). Which is smaller: p or -3/5?
-3/5
Let j be -8*(-7 - 1)/(-2). Is -33 greater than j?
False
Suppose -5*t - 1 = 4. Let q be 3 - (-2 + 2 + 1). Suppose -2*b = 3*p - 5*p + 4, -q*b - 16 = 4*p. Are p and t equal?
False
Suppose 3*d - d = -3*o + 2, 2*o = -3*d + 3. Let u(m) = -m**2 + 2*m + 1. Suppose 0*r = -3*b + 4*r + 6, 0 = b + 3*r - 2. Let g be u(b). Is g greater than d?
False
Suppose 3*x - 52 = 7*x. Suppose -5*k = -3*k + 28. Which is greater: x or k?
x
Suppose 0*k - k + 7 = 0. Let o = k + -5. Suppose 2*a = 4*a - o. Which is greater: a or -1/3?
a
Let r = -4.3 - -5.2. Is -5 less than r?
True
Let d be 1/(-4) - 42/24. Let w = 1 + d. Which is smaller: w or 2?
w
Let s be (0 + 3)*(-2)/6. Do -1 and s have the same value?
True
Let s be (9 + -5)*5/(-2). Does s = -12?
False
Let k = -12 - -29. Is k at most 16?
False
Let f = 7 - 6.9. Which is bigger: f or 1.9?
1.9
Suppose 0 = 2*i - 13 - 31. Let b be (i/33)/(38/(-6)). Which is greater: 0 or b?
0
Suppose r = 3*w + 19, -2*r - 6 = -5*w - 39. Is r >= -5?
True
Let p = 0.5 - -0.5. Let b = 5 - -5. Is p greater than b?
False
Let y = -46 - -54. Is y bigger than -0.3?
True
Let o = -14 + 16. Which is smaller: 2/9 or o?
2/9
Suppose 2*v - 6 = -2*h, 3*v - 5*h - 30 = -v. Suppose -2*l + 9 = -v*l. Is l at least as big as 0.2?
False
Suppose -1 - 3 = -2*b. Let z be b/8*16/26. Do -1 and z have different values?
True
Let w(b) = b**3 - 2*b**2 - 3*b + 1. Let r be 13/5 + (-2)/(-5). Let v be w(r). Let y = -2.07 + 0.07. Is y at least v?
False
Let l be 11/6 - (-11)/66. Suppose -2*v + l = -10. Which is bigger: v or 0?
v
Let r = 0.39 + -13.39. Are r and -2 equal?
False
Suppose r - 199 = 5*m, 5*r + 20 = -4*m - 145. Let b be (-2)/(-10) - 8/m. Which is smaller: 0 or b?
0
Suppose -6 = 2*t + 4. Let q = t - -11. Suppose -2*g + 16 = -q*g. Which is greater: -0.1 or g?
-0.1
Suppose c - 5*z + 2 = 0, c - z - 7 = 7. Is c smaller than 20?
True
Let n(z) be the third derivative of 1/120*z**6 + 1/24*z**4 + 0*z + 0*z**5 - 2*z**2 + 2/3*z**3 + 0. Let k be n(0). Which is greater: k or 3?
k
Let i = -1 - -4. Suppose -2*j + i*f - 12 = 0, -5*f = -0*j + 5*j - 20. Let n = 356 - 356. Is n smaller than j?
False
Let u = 659 + -7243/11. Are u and 2 unequal?
True
Let k be 2*1/(-5) + 2. Is 2 < k?
False
Let z be -2*(3/6 - 2). Suppose -z*x - 10 = 4*t + t, 4*x - 4*t = -24. Let h be x/(-25) + 2/(-6). Is 1 != h?
True
Suppose -3*f - 5*u = -39, 3*f + f - 41 = -3*u. Are 5 and f unequal?
True
Suppose 26*b - 12 = 30*b. Is -0.17 greater than or equal to b?
True
Let s(t) = -t - 5. Let c be s(-4). Let h = 0.31 + -0.01. Let k = h + -0.3. Is c greater than k?
False
Suppose 3*a - 13 = -p, 3*p - 3 = a - 4. Let h be (-10)/12 + (-12)/18. Which is bigger: h or p?
p
Let n = -116 + 114. Suppose 3 = -2*d + 3*m, -5*d - 13 + 0 = -2*m. Which is smaller: d or n?
d
Let p(t) = -t**2 - 7*t + 7. Let x be p(-8). Let j(k) = -k**3 + 2*k**2 + 2*k + 1. Let i be j(x). Suppose 3*l = i*l. Is l less than or equal to 0?
True
Suppose -d = -2*p + 3, 8 = 5*p - 5*d - 2. Is -2/39 equal to p?
False
Let n = -1337/15 + 89. Let x = 4 - 2. Suppose 0 = 4*t + q - 1 - x, 4*q = 12. Which is smaller: n or t?
n
Suppose 4*d = 3*l + 10, 0*l - 3*d = 4*l + 30. Which is smaller: l or -3?
l
Let y = -0.2 + 0.2. Let i = 4 + -5. Does i = y?
False
Let f = 463/5 + -92. Suppose -4*b - b - 10 = 0, -5*b - 12 = -2*p. Is p smaller than f?
False
Let v(m) = -3*m + 17. Let t be v(8). Is -7 bigger than t?
False
Let o = 23 - 29. Are o and -6 unequal?
False
Let n = 10 - 11. Let i be (n/(-2))/(2/12). Which is smaller: 4 or i?
i
Let f = 192 - 197. Let m be 2/(-5) - (-28)/(-5). Is m greater than f?
False
Suppose -5*r + 59 = 19. Let x = r - 18. Let k = x - -9. Which is bigger: -3/10 or k?
-3/10
Let c be -4 - (-32 + 3 + -2). Which is bigger: c or 28?
28
Suppose 0 = -4*r - 8, p = r + 3*r + 16. Let b be -2 - p/6 - 0. Is -4 >= b?
False
Let v = -2/415 + 4164/2905. Is 0 greater than v?
False
Suppose -5*y - 35 = -i, -y + 3*y = 4*i - 14. Let j = 2 - y. Which is smaller: j or 10?
j
Let x be (-1245)/(-30)*(-4)/6. Is x at least -28?
True
Let v = 27 - 26. Which is greater: v or 1/43?
v
Let b(f) = -4*f**2 + 4*f - 7. Let y(i) = -i + 1. Let p(z) = -b(z) - 6*y(z). Let v be p(-1). Let m be (-1)/(-2 + 3) - -5. Which is bigger: v or m?
m
Let d be ((-3)/2)/((-150)/24 + 4). Let b be 1*(1 + -3)/(-2). Is d < b?
True
Let n = -3337111709 + 8119192641203/2433. Let l = -1/811 - n. Let d = 61 - l. Is d != 1?
True
Let a(z) = -2*z - 7. Let w be a(5). Let y = 16 + w. Is 3/8 greater than y?
True
Let t = -1.7 - -7.7. Is 0.1 < t?
True
Let c(r) = -3*r**2 + r. Let f(p) = -7*p**2 + 2*p. Let n(b) = -5*c(b) + 2*f(b). Let q be n(3). Let o = 8 - q. Is o smaller than 1/2?
False
Suppose 5*r - 16 = r. Let n = 2 - r. Is -3 greater than or