). Is l < -1/7?
True
Let l be 2/11 + 12/(-66). Let d = -18 - -73/4. Are l and d nonequal?
True
Let c be 2 + ((-72)/14)/3. Suppose -12*i - 18 = -6*i. Is c < i?
False
Let r = -42 - -40. Do r and 10 have the same value?
False
Suppose 0*z - 3*z + 9 = 0. Suppose 4*s - 3 = z*s. Suppose -x + s = -2*x. Which is smaller: x or -2?
x
Let x = -19 - -15. Is x at most 2?
True
Let f = -358 + 358. Let q = -13.87 - 0.13. Is f < q?
False
Suppose -3*p = -3*t + 54, 0*t + 4*t + 12 = -2*p. Let m = p + 14. Which is greater: m or 1?
1
Suppose -9 = -3*m + 5*a, -2*a + 16 = -2*m - 6*a. Which is smaller: m or -3?
-3
Let u = 908 - 3651/4. Let g = u + 5. Let j = -2 - -3. Does j = g?
False
Let x = -5865 - -5991.02. Let q = x + -128. Let r = q + -0.02. Is r less than or equal to 4?
True
Let t = -12695/8493 + 126/149. Let z = 6/19 + t. Is z <= 1?
True
Suppose -5*w - 55 = -0*w. Let b = -10 - w. Let t = -677/5 - -135. Which is greater: b or t?
b
Let n = 819 + -8994/11. Is 2 less than or equal to n?
False
Let s(n) = -n - 6. Let q be s(-8). Suppose -h + 4 = q. Suppose l - 2 = -2*x - x, 0 = h*x + 4*l - 8. Is x < 1/4?
True
Let r be (-8)/((-112)/105)*(-2)/3. Which is greater: 9 or r?
9
Let g be (-300)/(-903) - ((-32)/(-14) + -2). Do g and -1 have the same value?
False
Let k = -79 + 80. Suppose 3*m = y - 3, 4*y = -3*m + 5*m + 12. Let z be (-2)/y + 1/(-3). Which is greater: k or z?
k
Let f be -1 + -2 + 13/5. Let n = -27 - -27.3. Which is smaller: n or f?
f
Suppose 2*w + 15 = 3*q, -4*w = -q + 6*q - 3. Suppose 4*o - q*l = 6, 2*o = 7*l - 3*l + 8. Which is smaller: -2/3 or o?
-2/3
Suppose -3*a = -2*h - 4, 5*h + 14 + 17 = -3*a. Let p = h - -7. Suppose s - 2*n + 3 = -7, 10 = 4*s + p*n. Which is smaller: s or 1/5?
s
Let u be 6/(-420) - (-1)/(-5). Which is bigger: u or -1?
u
Let f(z) = z**2 + 5*z. Let m be f(-6). Suppose 5 = -3*p - 2*s - 3*s, -3*s + m = 0. Is p > -4?
False
Suppose 0*r = -3*r - 6. Let y be ((-1)/2)/(1/r). Let i = -130 - -1432/11. Is y at least i?
True
Let m = 2 - 3. Let t = m + 2. Suppose d = 12 - 10. Is t at most as big as d?
True
Let o(q) = q**3 + 3*q**2 + 1. Suppose -5*l - 24 - 4 = v, 0 = v - l - 2. Let u be o(v). Is 1 bigger than u?
False
Let a(p) = 9*p - 1. Let u be a(-1). Let y be (-5)/u - 6/(-4). Let t be 0 - 1*-6 - 3. Which is greater: y or t?
t
Suppose k - 2*k = 0. Which is smaller: k or 1/5?
k
Let p = -75 + 82. Which is greater: p or 3?
p
Suppose 3*p - 240 = 7*p. Let t be (-1)/(-5) + 22/p. Let d(w) = -w**3 - 5*w**2 - 4*w + 2. Let x be d(-4). Which is smaller: t or x?
t
Let w be 4/204*(-18)/15. Which is greater: w or -1?
w
Suppose -36 = -12*z + 16*z. Is z equal to -8?
False
Let o = 0.6 - 1.7. Let f = -1 - -0.9. Let x = f - o. Which is bigger: -2/5 or x?
x
Suppose 0 = -i + 3*i. Suppose i = -9*f + 5*f. Is -3/5 at most as big as f?
True
Let l = -1 + 3. Let b be l*1*(-2)/(-2). Suppose a - b = 3*a. Which is greater: a or -3?
a
Let g be (-1)/5 - 2/(-110). Which is smaller: -0.6 or g?
-0.6
Suppose -3*o = -2*t + 42, 4*o + 7*t - 4*t + 73 = 0. Does o = -16?
True
Let d(y) = y**3 - 4*y**2 - 4*y - 4. Let s be d(5). Let p = -0.05 - 1.95. Which is smaller: p or s?
p
Suppose -25 = -3*v - 7. Suppose 4*s - 4 - 7 = -5*p, -5*p + 14 = s. Suppose 0 = g + c + v, -10 = 4*g - p*c. Which is smaller: g or 0?
g
Let v = -111 + 441/4. Suppose 0 = 6*y + 12 - 6. Is y < v?
True
Let u be -1 - 1 - (9 + -12). Which is smaller: 1/3 or u?
1/3
Suppose 14*g = 4*g - 130. Are -13 and g equal?
True
Let w = -0.3 + 1.8. Which is smaller: w or -3?
-3
Suppose 2167 = -5*j - 4*l, 4*j + 9*l = 4*l - 1730. Let p = 8261/19 + j. Is 1 smaller than p?
False
Let z = -1 + 1. Let s be 282/(-98) + z + 3. Let g = 171/196 - s. Are 2 and g nonequal?
True
Let p = -0.03 + 0.03. Let a = 2 - 2. Let r = p + a. Which is smaller: -0.4 or r?
-0.4
Let p = 1.8 - 2. Let o be (2 - 4)*(-9)/(-24). Is p >= o?
True
Suppose -v = -4*w - 28, -5*w + 2*v - 32 = -w. Suppose -3*f = 2*f + 20. Let d = f - w. Which is smaller: 3 or d?
d
Let o = -50 - -55. Is o <= 4?
False
Let z be 1/(-12) + 3/9. Which is smaller: z or 0?
0
Let y be -5 + (2 - 2/(-14)). Which is smaller: -4 or y?
-4
Let f(h) = 3*h**2 + h. Let w be f(2). Suppose 3*r = -g - w, 3*r + 0*g - g = -10. Is -3 less than r?
False
Let o = 0 + 3. Let z(q) = -q - 2. Let u be z(-5). Are o and u equal?
True
Let h = -5/77 - -241/6083. Which is smaller: 1 or h?
h
Suppose 56 = -18*i + 22*i. Is 19 smaller than i?
False
Let t(h) = h**3 - 20*h**2 - 19*h - 7. Let y be t(21). Is y at most as big as 35?
True
Let w be ((-3)/2)/(3/4). Suppose -5*d + 3*b + 2*b - 40 = 0, -4*b + 20 = -2*d. Let t be 2/d - (-20)/(-12). Is t equal to w?
True
Let k be 0 + 0 + -3 + -1. Let q = -1 - -5. Suppose -22 + 6 = q*m. Is k at most m?
True
Let i(f) be the first derivative of f**2/2 + f + 2. Let s be (1/2)/((-3)/(-6)). Let x be i(s). Are 1/2 and x equal?
False
Let l(v) = v - 3. Let s be l(7). Suppose 2*g - t = 5*g - 5, -s*t = 4*g - 12. Let u = 2 - g. Which is greater: u or 0?
u
Let l = -308/533 + 30/41. Do -1/4 and l have the same value?
False
Let u = -7 - 24. Which is bigger: -30 or u?
-30
Let k = -5 + 0. Let u be 1*(-1 + 0) - -3. Suppose -s - 20 = 3*l, -12 = 4*s - u*l - 2. Is s at most as big as k?
True
Suppose -8 + 9 = -l. Is -12/11 at most as big as l?
True
Let p = -11 - -7. Let y be 4/(-6) + p/(-12). Let v be (21/(-14))/((-6)/4). Which is greater: v or y?
v
Let l be (3 - -3201) + 2/(-6). Let w = 3170 - l. Let a = -33 - w. Is a > 2?
False
Let p(w) = 2*w + 4. Let y be p(-2). Suppose 2*c + 3*o = -1 + 5, y = -3*c - 2*o + 1. Is 2/25 smaller than c?
False
Let h be 2/8 + 13/12. Let m(p) = p**2 - 6*p - 7. Let l be m(7). Suppose -5*v + 3*v + 4*u - 16 = l, u - 9 = -2*v. Which is smaller: v or h?
h
Let g = -36.9 - -37. Which is bigger: g or 4?
4
Let q be (-14)/36*-2 - 1. Let m be (6 - 7) + (-285)/(-189). Let s = q + m. Is s at least as big as 0?
True
Let j be (-13)/20 - (-3)/12. Is j smaller than 1?
True
Let a = 2/55 + -69/385. Let v = a + 9/14. Which is greater: -6/5 or v?
v
Let g(z) = 2 - 5*z + 2 + z. Let p be g(-8). Let k be (-4)/(-18) - 17/p. Which is smaller: k or 1?
k
Let k be (-4 - (-42)/6) + -5. Let c = 151/3 + -51. Is k bigger than c?
False
Let k be -2*(1/2)/1. Which is smaller: -2/39 or k?
k
Let q = -1345/4 - -334. Is -1 equal to q?
False
Let h = 0 + 4. Let a be (-2)/h*(-8)/2. Are a and 3 equal?
False
Let g = 5 + -2. Let i = -1 + g. Let n = -5 + i. Which is smaller: n or -2?
n
Suppose -4*j = 5*a - 225, -80 = -j - j + 4*a. Let z be j/(-15) + (-3)/(-9). Which is bigger: z or -1?
-1
Let w(v) = v**2 + 3*v + 11. Let i be w(-5). Let s = -23 + i. Which is bigger: s or 8?
8
Let b = -0.109 - 9.991. Let d = b + 9. Let n = -1 - d. Do 0.7 and n have the same value?
False
Let x(p) = -8*p - 5. Let m(w) = w. Let s(h) = 3*m(h) + x(h). Let v be s(-2). Which is smaller: -3/2 or v?
-3/2
Let s be ((-4)/(-3))/((-6)/9). Let v be 6/s + 3 - -1. Is -1/10 at least v?
False
Suppose 0 = y + 4*y - 10. Suppose 4*l + 8 = y*l. Is -5 <= l?
True
Let o be (123/11 - 2) + 4/(-22). Do 9 and o have the same value?
True
Let u = 38 + -40. Which is smaller: 4 or u?
u
Let j = 1.8 - 1.7. Let l = -3 - -3.08. Is j < l?
False
Let x be (65/25)/((-1)/(-5)). Is 14 greater than x?
True
Let d = 105 + -737/7. Does 1/4 = d?
False
Let n = 12 + -8. Let t = n + -4. Let w = -0.2 - -0.3. Is t at least w?
False
Let b = 1 + -1. Suppose -u + 3*a - a + 2 = b, -2*u - a = 1. Which is smaller: u or 2/9?
u
Let x be ((-3)/(-12))/(5/4). Let q = x - -3/10. Which is smaller: q or 1?
q
Let x(l) = -l**3 + 7*l**2 - 7*l + 7. Let v = 14 + -10. Let w = 2 + v. Let s be x(w). Is s bigger than 3/7?
True
Let t(m) = 2*m**3 + 4*m**2 + 2*m + 1. Let u(a) = -a**3 - a**2 + a. Let s(v) = -t(v) - u(v). Let r be s(-2). Do -1.5 and r have different values?
True
Suppose 5*o - x = 2*o - 3, 0 = 2*o - 4*x + 2. Is o < 4?
True
Let t = -76 - -79. Which is smaller: 0.1 or t?
0.1
Let h = 14 - 19. Are h and -28/5 unequal?
True
Let u(p) = 13*p - 26. Let i be u(2). Is i smaller than -6?
False
Let p = -2/33 + -25/132. Suppose 2*x = -0*x + 20. Let j be (-2 - -1)*2/x. Which is bigger: j or p?
j
Let c(f) = 2*f**2 - 10*f - 4. Let u be c(5). Is u equal to -1?
False
Let c be ((-5)/7)/((-6)/2443). Let w = c - 290. Which is smaller: 0 or w?
0
Let t be ((-33)/(-9))/((-1)/3). Let u(p) = p + 16. Let b be u(t). Is 5 at least b?
True
Let f =