e s - 7 = -4*p - 3, p = s - 4. Suppose 2*i = s*i. Which is bigger: i or v?
v
Let b = 31.1 + -35. Let f = b + 4. Let p = 0 + -3. Is p less than or equal to f?
True
Let t = -8 - -3. Let u be 1/2*4/2. Which is smaller: u or t?
t
Let x be 1*(-3 + 2) - -3. Let h be (4/1)/x + -2. Let b = 227 - 3406/15. Which is greater: b or h?
h
Let m = 623/5 - 125. Suppose q = 4*b + 5, -5*b + 3*q - 11 + 3 = 0. Do b and m have the same value?
False
Let g be (6/30)/(3/10). Let r = -506/7 + 72. Which is smaller: g or r?
r
Let r be 21/207*(-2)/(-7). Let v = r - 77/276. Suppose -w - 1 = 5*i + 2*w, 0 = 2*i - 5*w - 12. Which is bigger: v or i?
i
Suppose -4 = 3*r + 2*a + 4, -4*a - 16 = -5*r. Suppose -2*t + 5*t + 9 = r. Let q be t/1 + 22/7. Which is bigger: -1 or q?
q
Let h(d) = 3*d - 1. Let i be h(1). Suppose 2*w - 4*w - i = 0. Are w and -0.9 unequal?
True
Let c(s) = -2*s - 3. Let o be c(-3). Suppose o*w - 3*v - 18 = 0, -w - 8 = -4*w + v. Let y be 4*w/(1 + 0). Which is bigger: 5 or y?
5
Let q be ((-3)/(-12))/(26/(-128)). Let z be (9/21)/(52/119). Let w = z + q. Which is smaller: w or 1?
w
Let w = -5 - -8. Suppose -3*z - w*v - 6 = 3, 0 = -z + 4*v + 2. Let g(r) = -3*r**3 + r. Let k be g(1). Is k at most as big as z?
True
Let f(q) = q**3 - 2*q**2 - q - 2. Let g be f(3). Let m = -3 + g. Let n be ((-3)/(-2) - 3)/6. Which is smaller: m or n?
n
Suppose -2*i + 10*p - 5*p = -12, p = -5*i + 3. Suppose -i - 1 = 2*h. Is -6/7 less than or equal to h?
False
Let q = 17 + -10. Suppose q*h - m + 18 = 3*h, -4*h = -2*m + 16. Is 0 at most as big as h?
False
Let l = -1.85 + -0.15. Is l not equal to -1/13?
True
Let b = 467/4 + -118. Is b at most as big as 0.1?
True
Let o be 12/(-16) + (-86)/(-8). Suppose 3*z + 1 = o. Suppose b + 7 = 2*b + 2*g, z*g = 12. Is b at most as big as -3/4?
True
Let a = -72 + 72.5. Is 3 not equal to a?
True
Suppose 0 - 3 = -s. Let x(i) = i**3 - 2*i**2 - 2*i + 3. Let f be x(s). Is f less than or equal to 7?
True
Let x be 3*4/(-36) + (-26)/3. Is -5 at least as big as x?
True
Suppose -5 = 2*g + 3*g. Which is greater: -4/21 or g?
-4/21
Suppose 0*f - f = -4. Let r(b) = b**3 - 8*b**2 + 7*b + 4. Let x be r(7). Let g = x - f. Is g at least -1/5?
True
Suppose 3*q + 4*p = -q - 24, 2*q + 3*p + 16 = 0. Let u be q/(-8) - 33/(-12). Which is greater: 4 or u?
4
Let d = -1 + 7. Let w = d - 5. Does w = -7?
False
Let p(l) = l**3 - 6*l**2 + 1. Let s be p(6). Suppose -3*g = -9, 4*c + 0*g = -g - s. Let m = -1 + c. Which is smaller: -0.3 or m?
m
Let x(s) = -s**2 + 2*s. Let z be x(2). Let v be (2 - (-46)/(-24))/3. Let p = v + 11/36. Which is smaller: p or z?
z
Let m be (-55 - (-2 - -3)) + -1 + 1. Is -56 at least as big as m?
True
Suppose 7 = 4*u - 1. Suppose 6 = c + u. Which is bigger: c or 1?
c
Let o = -1/16 + 5/16. Suppose 3*z + 5 = 8*z. Is o greater than or equal to z?
False
Suppose -5*i = -5*t - 370, 3*t = -4*i + 230 + 59. Are i and -1 equal?
False
Let z be (0 + 36/15)*-5. Let b be (z/(-20))/((-2)/(-10)). Suppose 5*x = -2*c + b, 7*c = -5*x + 2*c. Is 2/5 at least x?
False
Let h(z) = -z**2 - 9*z - 6. Let l be h(-6). Let y be (-28)/6 + 8/l. Which is bigger: -3 or y?
-3
Let o = 0.03 - -0.07. Let j = -0.26 - -0.23. Is o less than or equal to j?
False
Let x(f) = -2*f + 2. Let l be x(1). Is -3/10 <= l?
True
Let w = -1729415/291 + 5943. Is 0 bigger than w?
True
Let f = -1 + 3. Suppose 3*r + 1 + f = 0. Suppose 0 = 12*d - 9*d. Is r < d?
True
Suppose -4*f + 7 = -5. Is 0 at least as big as f?
False
Let f = 0 - 1. Let d be 10*(-3)/(6*f). Suppose -3 = 4*z + 3*x, -2 = -2*z - 3*x - d. Is 2/15 <= z?
False
Suppose -13*s + 18*s - 20 = 0. Which is greater: 1 or s?
s
Let d = 3 + -2.8. Let k = -0.02 - -0.32. Let s = d - k. Which is bigger: -4 or s?
s
Let g be -1*(-1 + (-2)/(-10)). Suppose -3*m - b = 34, -m - 2*m - 30 = -3*b. Let v = 13 + m. Is v bigger than g?
True
Let v = -64 - -65. Is v <= 7?
True
Let s(b) = b**3 - 7*b**2 + b - 3. Let n be s(7). Suppose 2*f - 3 = f + w, -6 = -3*w. Which is greater: f or n?
f
Suppose 5*d = -7 + 2. Let o(g) = g**3 - 2*g**2 + 4*g - 3. Let x be o(2). Suppose 0 = x*j - 0*j + 20. Which is smaller: j or d?
j
Let m(o) = -o**2 + 5*o - 3. Let l be m(3). Suppose 4*t = l*f - 15, -4*t - 15 = t. Is 0 smaller than f?
True
Let d = 0 - -1. Suppose -4*b = -7*b - 18. Let i = -4 - b. Which is greater: d or i?
i
Let x be (-146)/(-15)*5 - 8/(-6). Which is smaller: 49 or x?
49
Let b = -94 + 95. Which is smaller: -0.113 or b?
-0.113
Suppose 0 = l - 3*t + 6, 2*l - t + 6*t = -12. Let a be (-5)/15 - 128/l. Let x = 14 - a. Which is smaller: x or -6?
x
Let x be 1 + -3 - (8 + -28). Are x and 18 unequal?
False
Let s be (-1 + -4)*(-3)/6. Is 4 at least as big as s?
True
Let s = -5 + 9. Suppose -2*m + 12 = -3*j, 5*m = 4*m + j + s. Suppose d + d = m. Is d bigger than -1?
True
Let k be 1/(42/130 - 2/5). Is k less than or equal to -40/3?
False
Let i be (3 + -14)/(0 - 3). Let b = i - 151/42. Is b smaller than -1?
False
Let n be 48/(-84)*(-1)/(-2). Which is smaller: 0 or n?
n
Let h = -7/3 - -8/3. Suppose 4 + 0 = v. Let d = v - 3. Is h not equal to d?
True
Let b(p) = -p + 2. Let k be b(2). Let n be (-2)/33*(-18)/20. Let a = 131/385 - n. Is k >= a?
False
Let w(v) = v + 3. Let n be w(-10). Let q = 8 + n. Which is smaller: 4/3 or q?
q
Let y = -70 - -62. Which is bigger: y or -10?
y
Let u = 13 + -7. Let b = 13 - 5. Let r = b - 8.1. Is u less than or equal to r?
False
Let a = -2/297 + 8/99. Which is bigger: a or -1?
a
Let k be 20/2*4/5. Let o = -0.1 + 1.1. Which is bigger: k or o?
k
Suppose 0*a = 4*a - 68. Suppose -4*h - a = 39. Which is greater: -15 or h?
h
Let k be (-135)/(-36) + (-2)/(-8). Suppose 2*h = k - 2. Is 6/5 < h?
False
Let b = -11/4 - -3. Let l = -1/4 - b. Are l and 1/4 non-equal?
True
Let f = -722 + 2989/4. Let p = -25 + f. Is p greater than 2/21?
True
Suppose -y - 5 = -6*y. Suppose 0 = 4*i + 12, -3*f - 6 - 6 = -2*i. Let w = f - -6. Is y less than w?
False
Let d = -4/9 - -80/99. Which is bigger: d or -0.3?
d
Let r = -8 + 5. Let a = -2 - -2.1. Is r equal to a?
False
Suppose -3 = h + y - 1, 4*h - 5*y = 19. Does h = 1/36?
False
Suppose -6*s + 10 = -s. Suppose s*c + 3*v + 7 = -3, 5*v = c - 8. Which is bigger: c or 1?
1
Suppose -4*h + 2*a - 305 - 91 = 0, -2*a + 198 = -2*h. Let m = h - -692/7. Which is smaller: 0.1 or m?
m
Let j = 441.992 - 440. Let i = j - 0.032. Let x = 0.04 + i. Which is smaller: -2/9 or x?
-2/9
Let u = -30 + 34. Is u at most as big as 4?
True
Let m = 0.03 + -3.03. Let v = m - -3. Let i = 0.1 + v. Are 0.1 and i non-equal?
False
Suppose 2*i + 2*i = -8, -l + 10 = -2*i. Let r be (-3)/(l/4) + 3. Is r greater than 2/3?
True
Suppose 0 = w + 3, -2*b - 2*b - w + 61 = 0. Let r be (-2)/b + (-28)/32. Which is bigger: r or -4?
r
Let y = 1.8 - 8.8. Let r = -0.1 + 0. Which is greater: y or r?
r
Let x be (2/(-5))/((-3)/(-5)). Let m = 0.6 - 0.51. Let w = -0.01 - m. Is x bigger than w?
False
Suppose -10 = -2*i - 0*i. Let v be (-5)/1*i/(-25). Which is smaller: v or 1/5?
1/5
Let g be 15/2*(-16)/(-5). Suppose -s = 4*c + 3 + g, 3*s = -9. Is -6 != c?
False
Let c(d) = 12*d - 2. Let w be c(-6). Let j = -218/3 - w. Which is bigger: 1 or j?
j
Let h = 16 + -8. Suppose h = v + 4. Is v greater than 5?
False
Let z(b) = -b**2 + 3*b + 4. Let r(i) = -i - 3. Let m be r(-6). Let v be z(m). Suppose 3*q = v*o + 8, 4*o + 5*q + 8 = 2*q. Which is smaller: -3/5 or o?
o
Let z be ((-1)/1)/((-5)/2). Is z >= -1?
True
Let a be (-2)/(((-16)/(-10))/4). Let p = 4 + a. Let j = 59/168 + -1/56. Is j less than p?
False
Let x(i) = -i**2 + 9*i + 7. Let o be x(10). Let j be (-2)/o + 5/(-15). Which is smaller: 1 or j?
j
Let s(o) = -o**2 - 5*o + 5. Let n be s(-6). Let t = 186 - 1675/9. Are t and n equal?
False
Let i = -5/51 + 14/51. Which is smaller: i or -1?
-1
Let p(u) = -u**3 + 4*u**2 + 6*u + 1. Let i be p(5). Suppose c - i + 5 = 0. Is c less than or equal to 1?
True
Let k = 1/198 + 1087/396. Which is smaller: k or 3?
k
Let c = 0 + 0. Let l be (-38)/(-68) - 9/18. Which is greater: c or l?
l
Let p(c) = c**2 + 2*c - 3. Suppose 2*a - 2*q + 4 = -0*a, 5*a - 4*q = -11. Let j be p(a). Let y = 571/1365 - -2/195. Which is smaller: j or y?
j
Let h = 0.56 - -2.94. Is h greater than or equal to -0.1?
True
Let n be (-3)/(-15) - (-72)/(-10). Let g = -15 + 5. Let p(r) = r + 4. Let d be p(g). Which is smaller: n or d?
n
Let i = -3.95 + 4. Let h = -0.05 - i.