
True
Suppose 2*l = 6*x - 9*x + 7, 0 = 3*l - 5*x - 1. Let c be (3 + -1)/(2/3). Which is smaller: c or l?
l
Let y be 15/(-10) - (-11)/2. Suppose 0 = 5*b - 5*d - 15, -d + 1 = -y*b - b. Is b equal to 1?
False
Let s = 0.7 - 0.9. Let v = 1.5 - 0.7. Let y = s - v. Which is smaller: -2/9 or y?
y
Let i be (-4)/(-6) + (-4)/9. Let j = 127 + -126. Which is bigger: j or i?
j
Suppose 0*t - 4 = 4*t. Suppose 0 = -6*n + 3*n. Suppose -i - 2 + n = 0. Is t greater than i?
True
Suppose 4*f - 2 = 2. Let k = 14 - 44/3. Which is greater: f or k?
f
Let i(l) = -l**3 - 2*l**2 - 3*l. Let v be i(-2). Is 6 <= v?
True
Let i be (-16 + 20)*2/(-22). Let a = -1 - -2. Which is bigger: i or a?
a
Suppose -12 = -q + 5*q. Let x be 8/q*12/(-8). Is x > 5?
False
Let s = -2 - -2.2. Let j = -156.9 - -157. Which is bigger: s or j?
s
Let y = 0.05 + 0.95. Let o(i) = -i**2 - 6*i - 3. Let z be o(-5). Let u be z - ((-80)/18)/(-2). Is u smaller than y?
True
Suppose -34 = -7*s + 8*s. Let a be 114*57/s - 1. Let z = 192 + a. Is 0 > z?
True
Let n = 1 - 1. Let q = n + 1. Let v = q - 1. Which is greater: v or -1?
v
Let r = 14 + -14. Which is smaller: r or -3?
-3
Let t = -338 - -2343/7. Let q = 3 + t. Let x = -10 - -10.2. Which is smaller: q or x?
q
Let u = 62 - 62.3. Let w = 10.1 + -10. Which is bigger: u or w?
w
Let h = -2309 + 9283/4. Which is smaller: 13 or h?
h
Let b = 1.06 - 0.06. Let i = b - 0. Does -1 = i?
False
Let o = -2.3 + 0.4. Let q = o - -2. Is q greater than 0?
True
Let o = 155/3502 - -3/206. Is -1 < o?
True
Let d = 11 - 17. Let k be 16/d + (-2)/(-6). Let g = 1026 - 1028. Is k > g?
False
Suppose p = 408 - 409. Let z be (-1)/(-3) + 14/3. Which is bigger: z or p?
z
Let u(n) be the second derivative of -n**5/20 - 3*n**4/4 + 2*n**3 + 11*n**2/2 + 3*n. Let z be u(-10). Do -10 and z have the same value?
False
Let u = 2.94 - -0.06. Suppose 0*m - 9 = -3*m, 3*f - 15 = -3*m. Let n = -1 + f. Is n at most as big as u?
True
Suppose 4 + 31 = 5*f. Suppose 3*a = f*a + 5*u + 11, 4*a + 8 = -4*u. Which is bigger: -1/6 or a?
a
Let c = 3.1 + -3. Let i = -2.2 + 0.2. Which is bigger: c or i?
c
Let h = -8120/13 + 626. Which is smaller: 2 or h?
h
Let d be (3 - (-30)/(-8))*12/18. Let b = 2.9 + -3. Which is bigger: b or d?
b
Let o = 1.4 + -0.4. Let m = -2.8 + -0.2. Which is smaller: m or o?
m
Suppose 0 = 7*p - 3*p + 4. Let n = p - 1. Which is greater: n or 3/7?
3/7
Let w = 22 - -16. Let o be 9/18 + w/(-4). Is -10 smaller than o?
True
Let p(n) = -n**3 + 12*n**2 - 22*n + 6. Let c be p(10). Is c at least -13?
False
Let r = 6 + -4. Let n be (-3)/r*(-6)/(-30). Is n > 1?
False
Let s be 2 - (-1)/((-1)/(-1)). Suppose -2*p + 8 = 0, 6 = 5*r + s*p - 4*p. Let k be 1*(r/(-3))/(-2). Is 2 at least as big as k?
True
Let g = -11 - -19. Suppose -g = -4*n, 1 - 9 = -5*o + n. Which is smaller: 3 or o?
o
Let s(z) = -22*z + 4. Let a be s(2). Is a equal to -1/4?
False
Let k be (4/18)/(2540/(-1434)). Let d = -8515/762 - -67/6. Let y = d + k. Is y < 1?
True
Suppose 7*b = 5*b + 6. Suppose 20 = -2*f + 7*f. Which is smaller: f or b?
b
Suppose 3*k - 5*i + 21 = 0, -i + 9 = 2*i. Is k greater than -1?
False
Let d = 1/8 + -5/8. Which is greater: 0 or d?
0
Let v = 46 + -4. Let n be (12/v)/((-6)/(-14)). Which is smaller: n or 1?
n
Suppose 4*q = 4 - 0. Suppose -3*l = -8*l - 5. Is l <= q?
True
Suppose -4*m + 20 = -2*m. Which is greater: 12 or m?
12
Let m(n) be the third derivative of n**5/120 - n**4/6 - n**3/6 + 2*n**2. Let y(j) be the first derivative of m(j). Let d be y(4). Which is greater: d or 1/3?
1/3
Let q = -191 - -120. Let g = 157 + q. Let l = g + -772/9. Is 1 not equal to l?
True
Let r = 3/37 - -139/111. Suppose -x - 1 = -2*x. Which is greater: x or r?
r
Suppose 3*m = 2*m + 4. Which is bigger: m or 5?
5
Let d = -15 + 71. Let u be d/(-90) - 4/(-18). Let y = -2.1 - -2. Which is bigger: u or y?
y
Let l = 0.0165 + -0.0165. Let j = -18.3 - -3.3. Are j and l non-equal?
True
Let r(l) = -3*l**2 + 17*l + 1. Let o be r(6). Which is smaller: -4 or o?
o
Let h(d) = 2*d**2 + 3*d. Let n be h(-3). Let j be 2/2*n/21. Is j at least as big as 0?
True
Suppose 0 = -4*u + 3 + 5. Let g(n) = 2*n**2 + 90*n + 4. Let h be g(-45). Is u less than or equal to h?
True
Suppose 28 = 5*y + 3. Does 8 = y?
False
Let u be 105/10*-15*(-12)/27. Are u and 70 unequal?
False
Suppose 18 = 4*n - 2*n - 5*q, -n + 7 = -2*q. Let o be (-6 - (n - 1))/5. Which is greater: o or -1?
o
Suppose 5*t = 8*t - 6. Suppose 0*y = -y + 4. Which is smaller: t or y?
t
Let u = 7/4 + -2. Is u != 0.8?
True
Suppose 0 = -2*g + 21 - 17. Which is bigger: 15/8 or g?
g
Let q = 6 + -5.96. Which is smaller: 0.3 or q?
q
Suppose -5*a - 3 = -3*l, -4*a - 1 = -a - l. Let h(n) = -n**2 + 6*n + 3. Let d be h(6). Suppose a*v = d*v. Is v less than or equal to -1/5?
False
Let q = 6 + 3.1. Let z = q + -2.1. Which is bigger: -1 or z?
z
Let a = -1.9 - -1.9. Is -15 not equal to a?
True
Let f = -30991/52 + 596. Which is smaller: -0.1 or f?
-0.1
Let w be ((-15)/4)/(-3) + -1. Suppose 0*n - 4 = -4*n. Let g = -1 + n. Are g and w nonequal?
True
Let g = -12 - -11. Let k be ((-13)/(-13))/((-1)/g). Are k and -1/4 equal?
False
Suppose u - 2 = -u. Let h = 7 - u. Suppose 0 = -4*w - 2*z + 30, 3*z = -3*w + 2*z + 20. Is h greater than or equal to w?
True
Let z = 24 + -19. Let r be 104/z - (-2)/10. Is -2/5 smaller than r?
True
Let u(k) = k**2 - 7*k + 2. Let s be u(7). Suppose -5*n - s - 8 = 0. Is 0 at least as big as n?
True
Let f(t) = -2*t - 11. Let w be f(-5). Is -1/10 >= w?
True
Let d be ((-14)/8)/(2/20). Let u = d + 319/18. Suppose -6*y = 4*j - 2*y - 8, 3 = -j + 4*y. Which is bigger: j or u?
j
Let n = 1.8 - 2.8. Which is smaller: 0 or n?
n
Let s(k) = 20*k**2 + 6*k + 7. Let g be s(-2). Which is greater: 74 or g?
g
Suppose 4*l - 10 = r, 3*r + l - 50 = -3*l. Let v be ((-48)/r)/((-162)/(-16)). Let b = v + 2/27. Which is smaller: 4 or b?
b
Let z(k) = -k - 4. Let g be z(-3). Do g and -3 have the same value?
False
Suppose -5*t + 2*w + 100 = 0, -t + 40 = t - 3*w. Suppose 0 = -4*i - 0*f + f + 31, -2*i = -2*f - t. Is i greater than 8?
False
Suppose 31 = 3*v + 7. Suppose -3*j + v = -1. Which is greater: j or 0?
j
Let q be (65/90)/13 - (-2)/12. Is q at least 0?
True
Let g(a) = a**2 + 6*a. Let j be g(-3). Let k be ((-6)/(-8))/(j/(-6)). Let i be (-2)/(-4) - (-1 + 1). Is i at least as big as k?
True
Let h(q) = q - 4. Let u be (-1 - 6)/(-1 - 0). Let i be h(u). Suppose -4 = -i*t + 2. Which is bigger: 1/4 or t?
t
Suppose -2*g - g = -9. Let m = 9 + -5. Let u be (m/(-10))/((-5)/25). Are u and g unequal?
True
Suppose 7*f = 6*f + 5. Suppose 3*v = -f*k + 11, -5*v = 2*k - 7 + 14. Is k >= 4?
True
Suppose 4*j + 6*c - 13 = 3*c, 0 = -4*j + c + 17. Suppose 0 = -3*t + j*t. Is 1/3 at most as big as t?
False
Suppose 3*p + 129 = -30. Are p and -54 equal?
False
Suppose -157*l = -153*l + 208. Is -51 not equal to l?
True
Suppose -2 - 2 = -4*r. Let i be (-17)/((-2*r)/(-2)). Let o = 33/2 + i. Which is greater: -1 or o?
o
Let n(i) = 3*i**2 - 7*i - 6. Let z be n(3). Suppose 3 = 3*x - 3*y, -4*x + 2*y - y + 4 = 0. Let q be 2/3*x/(-2). Does z = q?
False
Let x(m) = m**3 - 3*m**2 - 3*m - 5. Let a be x(4). Let i be 528/260 - (-6)/(-3). Is i less than or equal to a?
False
Let d = 331/105 + 18/35. Is 4 != d?
True
Suppose -2*r = 3*r + u + 749, 0 = -2*r + 4*u - 304. Let g = -597/4 - r. Do g and 2 have different values?
True
Let k = -22 + 18.2. Let z = 4 + k. Let y = -338/5 - -68. Which is bigger: z or y?
y
Let c = -63 - -134. Is c != 73?
True
Suppose 7 = 4*x - 13, 2*c + 4*x = 62. Suppose 5*a + 6 = c. Suppose -10 = -0*f - 5*f. Do f and a have the same value?
False
Suppose 4*b - b = -9. Let t be 1/1*(1 + -3). Let x = t - b. Which is bigger: x or 2?
2
Suppose z = 5*p - 15, 0*z + 2*z - 4*p = -12. Which is smaller: -2 or z?
-2
Let m = 4/35 + -19/1085. Is -0.1 at least m?
False
Let t(y) = -y**2 + 4*y + 5. Let x be t(-6). Let v = 277/5 + x. Which is greater: v or 0?
v
Let k = -17 - -11. Is -7 at least as big as k?
False
Let q = 1 + 5. Let a = q + -7. Is -3/4 at most a?
False
Let c be 6/15 - (-69)/15. Let v(p) = p**2 - 6*p + 7. Let k be v(c). Suppose 13 = 5*d + 3. Is d at most k?
True
Let y(d) = -d**3 + 4*d**2 + 5*d + 2. Suppose -i + 0*i = -5. Let a be y(i). Let h be (-5)/7*a - -1. Which is smaller: h or 1?
h
Let i(a) = -a**2 + 4*a + 6. Let v be i(6). Which is smaller: v or -3?
v
Let y = 0.99 