 to t?
True
Let b = -1 + 0.7. Let l = b - -0.1. Let u = -18/17 + 141/85. Which is smaller: u or l?
l
Let l(p) = 2*p - 7. Let s be l(7). Which is greater: 6 or s?
s
Suppose -8 = 4*i + 12. Let q be ((-2)/i)/((-3)/6). Is q != 1?
True
Let b = 1.37 + -1.4. Let g = b + -0.97. Which is greater: g or 1/5?
1/5
Let b(u) = 7*u**3 + 2*u - 6*u**3 + 6*u**2 - 2*u**2 + 1. Let d be b(-2). Suppose -d*m - 4 = -4*m. Which is bigger: m or -0.2?
-0.2
Let i = 0.04 + -0.14. Let a = 0 - i. Which is smaller: a or 0.2?
a
Let n(i) = i**2 + 7*i - 9. Let b(y) = -y**2 + y - 2. Let x be b(-2). Let r be n(x). Is r at least as big as 1?
False
Let n = 9602284/129 - 74437. Let y = 1/43 + n. Which is bigger: y or 0?
0
Let t(p) be the first derivative of -p**3/3 + p**2 + 12*p + 2. Let o be t(5). Are -3 and o non-equal?
False
Let w be 0 - (30/2)/(-3). Suppose 3*s - 18 = -w*t + 33, -2*t + 28 = 5*s. Let b be (t/30)/((-9)/(-5)). Which is smaller: b or 1?
b
Let b = -4 - -5. Let k be 10/(-3)*(-1)/5. Which is bigger: k or b?
b
Suppose 0 = 2*x + 3*x - 5*u - 55, -5*x = 4*u - 91. Let t = x - 11. Let y be 6/t*2/(-2). Which is bigger: -2 or y?
y
Let s(w) = 23*w**3 - 3*w**2 + 2*w - 1. Let b be s(2). Suppose 4*z = -z - b. Let h = 141/4 + z. Is 1 at least h?
True
Let p = 0.7 - -0.3. Let v = p - 0.9. Let y = -29 - -35. Which is smaller: y or v?
v
Suppose 7*u - 5*u = -4. Let y(j) = -j + 4. Let b be y(5). Do u and b have the same value?
False
Let r(s) = s**2 - 4*s - 5. Let j = -1 - -6. Suppose 13 = j*l + 4*n - 0*n, -2*l = -4*n - 22. Let c be r(l). Is 0 greater than c?
False
Let u be 1/(1*-3)*-3. Let k be -2 + (-1 - -2)/u. Let p = 202 + -1008/5. Which is bigger: k or p?
p
Let y be 2/(-6) + (-46)/6. Let f = y + 11. Let w = f - 6. Is 0.1 at most w?
False
Suppose -z - 5*p + p = 9, 0 = 2*z + 5*p + 12. Is z less than -3/25?
True
Let b(t) = 4*t**2 + 4*t - 4. Let n be b(4). Suppose -5*y + 26 = n. Let v be 2/(-7) - y/35. Are v and 2/13 equal?
False
Let l = 0.07 - -0.03. Which is smaller: -36 or l?
-36
Suppose 1 = -l - 5. Let a = l - -2. Which is greater: -6 or a?
a
Let k be 0/(-1 - (-1 + 2)). Suppose 4*f - 1 - 3 = k. Is f greater than -1?
True
Let d = 82 - 241/3. Let u = 29 + -26. Suppose 10*k + u = 11*k. Which is smaller: d or k?
d
Suppose 0 = 2*r - d + 5, 0 = -r - 2*d + 8 + 2. Let s be (-1)/6 - 92/(-264). Which is smaller: r or s?
r
Let f = 2 + -2. Is f less than or equal to -2/73?
False
Let m be (-1 - 0)*6*-2. Let w be -2*9/m - 0. Let a be ((2/(-2))/(-1))/(-1). Do w and a have the same value?
False
Let m = 2 - 3. Let o = 0.34 + -0.15. Let k = o + 0.11. Which is smaller: m or k?
m
Let n(z) = -1 + z + 0 + 0. Let f be n(0). Suppose 3*l - 2*x = -8, -5*x = -2 - 3. Which is bigger: f or l?
f
Let h = 54032/5 + -10762. Let u = -44 + h. Is u >= -2/19?
True
Let d be 4/680*344 + -2. Which is smaller: 0 or d?
0
Let v = -11.16 - -10.1. Let d = v + 0.06. Is d at most 2/5?
True
Let n = 35 + -36. Is n less than -2/193?
True
Let q be 1/3*(70 - 4). Is q greater than or equal to 22?
True
Suppose -98 = 5*f - 2*t, 11 - 37 = f - 2*t. Let k = f - -15. Which is smaller: -2 or k?
k
Let o = 233/2 + -8153/70. Let w = -137/105 - o. Let q = -5 + 3. Which is smaller: q or w?
q
Let m(s) be the first derivative of -s**4/4 + 8*s**3/3 - 1. Let c be m(8). Suppose -4*a = -c*a. Is 0 at most as big as a?
True
Suppose -2 = g - 2*m, -2*m + 5 = 1. Suppose -3*s + 0*s + 8 = 4*q, q = s + g. Suppose -z + 1 = -s. Which is bigger: 4/5 or z?
z
Let r = -0.05 + 4.05. Let c = r - 3. Is c at least as big as 0.2?
True
Let s(t) = t**2 - 3*t + 1. Let y be s(2). Let q be 1/(-4 + 1 + y). Let o = -1 - -1. Does o = q?
False
Let s be ((-3)/9 - 110/(-6))/4. Which is smaller: s or -1?
-1
Suppose 2*v - 4*f = 0, 6*v + 5*f = 2*v. Is 2/59 < v?
False
Let t = -2 + 0. Let d be (2 - 1)*(2 + t). Let x be d/(-3) + 1/1. Which is bigger: x or 2?
2
Let g(l) = -l**3 + 6*l**2 + l - 5. Let y be g(6). Let z be -8 - (3 + (-1 - y)). Let c = -8 - z. Is c smaller than 1/4?
False
Let z(i) = -2*i**2 - i. Let m be z(1). Let s be 2 + (2 + -1)*m. Let o = s - -1. Which is greater: -2/3 or o?
o
Suppose 4*q - 4 = 2*x, -3*x - 4 = -4*q + x. Suppose q + 0 = n. Is 1/8 < n?
True
Suppose 2*q + 0 + 2 = 0. Let y = -6 + q. Which is smaller: -6 or y?
y
Let u be 3/9 - (-3)/(-9). Is 0 bigger than u?
False
Let r = 1 - 1.2. Suppose f = 5*f - 12. Let i be ((-1)/f)/((-3)/(-6)). Is i greater than or equal to r?
False
Let v be 3 - ((-472)/38)/(-4). Suppose 3*i + 2*g = -3, i - 10 = -0*i + 3*g. Suppose -2 = 3*u + i. Does u = v?
False
Suppose -5*p + f = -85, -56 = -3*p + f - 7. Are p and 18 nonequal?
False
Suppose 0*c = 4*c - 36. Does c = 9?
True
Let l be (0 - 3)/(-6)*4. Suppose 3*d - 8 = -0*j + 4*j, -3*d + 2*j = l. Is -2 at most d?
False
Let c(n) be the third derivative of n**5/60 + n**4/3 + 4*n**3/3 + 2*n**2. Let b be c(-7). Let s = 22/23 - 108/161. Is b >= s?
True
Let f(k) = -6*k**2 - 4*k - 2. Let y(x) = 7*x**2 + 3*x + 1. Let l(t) = 6*f(t) + 5*y(t). Let w be l(-8). Let u = -1 - -1. Is u not equal to w?
True
Suppose -2*z + 0*z = -0*z. Which is smaller: z or -7/8?
-7/8
Suppose 94*g = 91*g - 24. Which is smaller: g or -3?
g
Let a(y) = -y**2 + 6*y + 1. Let d be a(6). Let m be 1/(-28) + (-12)/(-42). Is d less than m?
False
Suppose w = r + 4*r + 8, -5*w = -r - 16. Suppose -w*h + 7 = 16. Let z be 3/(-6)*0/h. Which is greater: 1/8 or z?
1/8
Let q(d) = -d**2 + 6*d + 1. Let a be q(6). Let l be (a - (1 + 0))/(-2). Suppose -3*f - 27 = -l*v + 4*v, f = 3. Do v and -8 have the same value?
False
Suppose 0 = -3*a + a + 14. Let y = -7 + a. Let z = 98 + -688/7. Which is greater: z or y?
y
Let h = -14/13 + 67/26. Is h at most 1?
False
Let f(s) be the first derivative of s**2/2 + 6*s + 2. Let g be f(-5). Let n be 10/(-5)*g/2. Which is smaller: n or 3?
n
Let p be (-2)/(-3) - 58/6. Let b = 7 + p. Let v be (b/4)/(2/(-4)). Which is greater: 1/6 or v?
v
Let z = 20983/21 - 999. Which is smaller: 1 or z?
z
Suppose 22*d + 4 = 26*d. Which is greater: 1/37 or d?
d
Let f = -39 + 41. Is f smaller than 4?
True
Let j be 187/(-2) - 55/22. Is j <= -96?
True
Let i = -37 + 81. Is 43 greater than i?
False
Let h be (20/(-8) + 3)*2. Let y(u) = u**2 - 3*u + 2. Let d be y(h). Is d at most -1?
False
Let p be -5 + 2/6*3. Suppose 6*q = 2*q + 44. Suppose 4*j - 4 = -y - 3, -3*y - q = -2*j. Which is smaller: p or y?
p
Suppose 2*g + 36 = 12. Let n = 16 + g. Let y = -0.1 + -0.9. Are y and n unequal?
True
Let c = 2.1 - 2. Which is smaller: c or -8?
-8
Let b = -4/83 + 194/581. Is b less than -2/5?
False
Suppose -5*i - 1 = -6. Let o = 142/187 + -9/11. Are o and i non-equal?
True
Let d = -224/1755 + -2/351. Suppose 5*f - 2*f = 0. Which is smaller: d or f?
d
Let u(p) = -7*p**3 + p**2 + 4*p - 1. Let y(c) = -10*c**3 + c**2 + 6*c - 2. Let d(s) = 7*u(s) - 5*y(s). Let i be d(-3). Let x be (-65)/75 + -1 + 2. Is i <= x?
True
Let c = -797 - -26303/33. Which is greater: c or 0?
c
Let a = 538/3 - 182. Which is smaller: -2 or a?
a
Let l(c) = c**3 + 5*c**2 - 8*c - 9. Let s be l(-6). Let d = 24 + -3. Suppose -3*y + s*g = d, -4*g - 23 = -y - 9*g. Which is greater: -3/5 or y?
-3/5
Suppose 0 = -5*t + 2 - 37. Which is greater: t or -0.3?
-0.3
Let w be 1*(-3)/((-3)/7). Let i(o) = 3*o**2 + 1 - 5*o**2 + o**2 + 7*o. Let u be i(w). Is u greater than or equal to 2?
False
Let f = -5 - -7. Suppose 0*y = f*y. Let g be (y - -8)*4/8. Which is greater: 5 or g?
5
Let l(p) = -p**3 - 7*p**2 + 9*p + 12. Let z be l(-8). Suppose -5*s + 2*q + 278 + 76 = 0, 291 = z*s + q. Let h = s + -356/5. Which is bigger: 1 or h?
1
Let g be 4/8 + 31/(-18). Let u = g - 4/9. Which is smaller: u or -3?
-3
Suppose -2 = -4*m - 2*c - 6, -2*c = 5*m + 5. Suppose f + 19 = h, -h - 3*f + 13 = -14. Suppose z = y - 4, -3*z - h + 2 = 4*y. Is m bigger than y?
False
Let a(k) = -19*k - 4. Let g be a(3). Let i = g - -1035/17. Which is bigger: -1 or i?
i
Let r(z) = -4*z**3 + z**2. Let a be r(-1). Is 2 at most a?
True
Let i(c) = c**2 - 5*c + 2. Let o be i(4). Let d = -22 + 23. Which is smaller: o or d?
o
Let t be 2 + -2 + -1 + 0. Let u(z) = -z**3 - 8*z**2 - 7*z - 5. Let q be u(-7). Let c be 4 + -4 - 2/q. Is c smaller than t?
False
Suppose -3*u + 33 = 3*r, -3*r - u + 2*u = -13. Let h be (r/9)/(4/(-10)). Which is smaller: h or -3?
-3
Suppose -w + 6 + 20 = 0. Which is smaller: w or 27?
w
Let b = 1 + -6. Let t = b + 11. Suppose -3*d + 