
r
Let q = 0.071 + -1.621. Let f = q - -1.5. Is f at most as big as 0.1?
True
Suppose -12 = -5*r + 8. Let j = r - 7. Is j at most -3?
True
Let d = 4 + -7. Let p be d + -3 + 6 + 0. Let g be (-1)/(-6)*1*-8. Is g less than p?
True
Let q = -14.7 - -98.7. Are q and 1 nonequal?
True
Suppose 0 = -u + 2*u. Suppose 4*s + 0*s + 8 = u. Suppose -4*v - 5*m - 4 = 6, 0 = -5*m - 10. Does s = v?
False
Let n = 0.44 - 1.44. Which is smaller: n or 2/23?
n
Let w be (-10)/45 - ((-26)/108 - 0). Is w at least -1?
True
Suppose 4*w - 16 = -180. Is 1 greater than or equal to w?
True
Let b(m) = 2*m**3 + m**2 - m + 2. Let v be b(2). Suppose 2*x + 3*x - v = 5*a, -3*a - 5*x = -20. Let f = a + -1. Is -3/4 less than f?
False
Suppose -2*r + 2 + 2 = 0. Suppose -r*m + 0 - 4 = 0. Let w = 2 + -3. Which is bigger: w or m?
w
Let x = 5 + 52. Is x at most 0.1?
False
Let b be (795/(-125) + 5)*(-10)/8. Which is smaller: 3 or b?
b
Suppose 0 = 3*v, 2*v - 6 + 2 = -4*l. Let k be (-9)/(-66)*4/1. Is k < l?
True
Let l be (-6)/21 + (-44)/(-7). Suppose -2*q + l*q = 8. Let r be (-4 - -4) + q/2. Is r greater than 0?
True
Suppose -o = 4*o + 100. Let a be (-3)/(26/o - -1). Let p be 5/2*8/a. Is 2 not equal to p?
False
Let v be (8 - 12) + (-16 - 1). Which is smaller: -0.1 or v?
v
Suppose -13 = -2*j + 3. Let h = j - 4. Which is smaller: h or -2/5?
-2/5
Let d = 11 - 7. Let h be -2*((-1 - 2) + d). Which is smaller: -5/4 or h?
h
Let z = -8172317/33057 - 12/3673. Let d = z + 247. Does 0 = d?
False
Let d be (-1 + -1)/(18/(-15)). Suppose z + 0*g - 6 = g, 4*g = 2*z - 16. Let l be z/12 + (-10)/(-6). Which is smaller: l or d?
d
Let o = 13.7 - -3.3. Let k = o + -17.2. Which is smaller: k or 0?
k
Let j(m) = -m**2 - 7*m - 5. Let o be j(-6). Let s be 2/(-12) + o/3. Let q = -2.9 - -3. Which is bigger: q or s?
s
Let p(r) = -r**2 + 9*r - 19. Let g be p(4). Which is smaller: g or 7?
g
Let p be 0 - 2/5*5. Are p and -6 nonequal?
True
Let x(u) = u**2 + 2*u - 1. Let b be x(-3). Suppose 0 = -4*d + b + 6. Which is greater: d or 5/4?
d
Suppose -5 = 5*y - 6*y. Suppose 3*g + y*q = 13, -g = -q + 5*q - 9. Suppose -5*w + 6 = g. Is w greater than or equal to 2?
False
Let i be 18/(-5)*(5 + -10). Suppose 4*c + 4 = -3*r, 7*c = 4*c + 3*r + i. Suppose -z = c*u + u, z + 2*u - 2 = 0. Is 5 greater than z?
False
Let m = 3 + -2. Let i = 4 + -3.79. Let t = i + 0.79. Is t < m?
False
Let x be -2 + 2 + 4/10. Let u be (-6)/(-3 + 0) - -6. Suppose 4*a + 13 = v, -5 = -4*v + 3*a + u. Which is smaller: v or x?
x
Let u = -1.7 - -2.1. Let f = 0.4 + -0.7. Let j = f + u. Which is smaller: j or -1/2?
-1/2
Let r be (-1)/(0 + (-4)/(-28)). Is r != -7?
False
Let m be 1*2*(-9)/(-153). Suppose 0 = 2*d - 0*d. Which is bigger: m or d?
m
Let p be (-64)/(-24)*6/8. Which is greater: p or -2?
p
Let s(a) be the first derivative of a**4/4 - 2*a**3/3 + a**2 - 2*a + 2. Let j be s(2). Is 2 less than j?
False
Suppose -3 = -2*v - 11. Let g = -6 - v. Let w = -806/3 - -268. Is g greater than or equal to w?
False
Let p be -1 + 2 + -1*1. Let z = -10 - -5. Let l be z*(16/(-10) + 2). Which is smaller: l or p?
l
Let p = -71 + 70.9. Which is smaller: -7 or p?
-7
Suppose 5*g = 2*n - 12, 2*n = 6*n + 2*g. Suppose -2*s - 5*h - 4 = -15, 5*s - 115 = 5*h. Let z be (-3 + n)*s/(-60). Are 2 and z equal?
False
Let s be 1/((-2)/(-20)) + 0. Which is bigger: s or 9?
s
Suppose -2*c = -0*c - 3*l - 25, 4*c - 3*l = 59. Suppose -4*f = c - 5. Let m be 34/(-6) - -3 - f. Is -2/7 > m?
False
Suppose 0*x - 64 = -8*x. Which is bigger: 9 or x?
9
Let t = -146 + 146. Let l = 0 + -1. Which is bigger: t or l?
t
Suppose 0 = -4*i + 5*i - 2. Let f be i/(-6)*(-30)/(-25). Let p = 1 - 1. Is p at least as big as f?
True
Let h be 28/(-210)*(-9)/(-6). Is h greater than -26?
True
Let t(z) = -z**3 + 4*z**2 + 2*z - 4. Let u be t(4). Suppose -2*j - u = -6. Let a be 0 + -1 + j - 1. Are -1/2 and a non-equal?
True
Let d = 1/33 - -10/33. Which is smaller: d or 1?
d
Let s be (-21)/(-2) - 1/2. Let j = 26 - s. Let x be (18/j)/((-6)/(-8)). Is x < 2?
True
Let s be (-6)/(-4) + (-1325)/870. Let p = s - -613/174. Are p and 5 unequal?
True
Let t be (2/(-5))/(3/(-15)). Suppose -24 = -4*o - 4. Suppose -4*l + 37 = -o*f, -4*f - 17 = 3*l - 2*l. Is t equal to l?
False
Let b be (-4)/(-10) + 425/(-1000). Are b and 0 equal?
False
Let j be 12/42 + (-55)/70. Is 3.6 at least j?
True
Suppose -2*i - 2*i = -8. Suppose -2*b - 3*o - 19 = 0, 2*o = 7*b - i*b. Which is smaller: b or 0?
b
Suppose 3*f - 3*s + 5*s = 10, 2*f - 2*s = 0. Let x be (15 - 3)/f + -3. Suppose -2*v - x*v = 25. Which is smaller: v or -4?
v
Suppose 4*a + 3*v = 23, 13 - 38 = -4*a - 5*v. Let i be (-12)/a - 4/(-2). Let c = 10 + -14. Do i and c have different values?
True
Suppose -3*u = -8*u. Which is smaller: u or -1/92?
-1/92
Let y = -26 + 22. Which is smaller: y or -2/3?
y
Suppose -5*o + 3*k = -4*o + 7, 0 = 3*o - 2*k + 42. Let s be o/(-24)*(-6)/(-4). Which is greater: s or 3/4?
s
Let y(n) = n**2 + 2*n. Let h be y(-2). Suppose d + d - 4 = h. Is d >= 0?
True
Let v be (2 - 1)/((-2)/(-4)). Suppose -f + 2*f = v. Let o be 2 - f - 2 - 0. Is o bigger than -2?
False
Let r = 0.02 + -2.02. Let s = r + 5. Is -1 at most as big as s?
True
Let p = 0.47 - 0.37. Suppose -2*n - 1 = -3*n. Let u be n/(-3) + (-2)/(-42). Do u and p have the same value?
False
Let i = 0.3 + 0.7. Are i and 0.6 unequal?
True
Suppose 4*n - n - 2*s - 26 = 0, n - 5*s - 26 = 0. Suppose -v = -n*v + 5. Is 16 at least as big as v?
True
Let u(g) = g**2 - 4. Let w be u(3). Let h(v) = v**3 - 4*v**2 + 4*v - 6. Let i be h(4). Let r be (-4)/i*1*w. Are -1 and r nonequal?
True
Let s = -0.9 - 0.1. Let v(p) = p**2 - p - 2 - 5*p + 4*p. Let j be v(3). Which is greater: s or j?
j
Let m be 11/4 + 2/8. Suppose -1 + m = 2*c. Which is smaller: -1/2 or c?
-1/2
Let j = 39.47 + -54.4. Let r = -15 - j. Let o = r + 2.07. Which is bigger: -2 or o?
o
Let m be 3/(-18)*-3*-2. Let w be 9/(-3) + (3 - 1). Let x be w + 2 + (m - -1). Is x > 0?
True
Let x = 0.51 - 0.11. Is x less than or equal to 2/3?
True
Let a(w) = -w**3 - 5*w**2 - 5*w - 6. Let i be a(-4). Let z be (i/(-5))/(2/5). Let s be (-18)/(-4)*3/9. Which is smaller: s or z?
z
Suppose 5*t = 15, -4*y + 2*t - 22 = 8. Which is bigger: -5 or y?
-5
Let s = 5.202 - 0.002. Let f = s + -5. Let t = -2 + 3. Are f and t unequal?
True
Let p be (40/30)/((-2)/9). Is 2/3 < p?
False
Let k = 3 + -4. Let f be 4/(-6) - (-30)/18. Let v = k - f. Is v <= -2?
True
Let q = -139 - -1808/13. Do q and 1 have the same value?
False
Let y = -138 - -94. Is -43 > y?
True
Let x = -53 - -50. Suppose 2*u - u = 3. Which is greater: x or u?
u
Suppose 115 - 35 = 5*w. Suppose -w = -4*n - 4. Suppose 2*y = n*y + 4. Do -5 and y have the same value?
False
Let x be (-2 + 3)/(4 - 5). Are x and -1 equal?
True
Let d = 7/6 - 4/3. Which is smaller: 0 or d?
d
Let k = 0.1 + -1.1. Let m = -1/8 + 5/8. Which is bigger: k or m?
m
Let i be (5/(110/12))/(-14 + 18). Which is bigger: 1/4 or i?
1/4
Suppose -l - 30 = 4*l. Let u = 2 + l. Let i be 2 + u + 13/6. Is i not equal to 0?
True
Let j(k) be the third derivative of k**4/24 - 3*k**2. Let g be j(2). Let m = -3 + 5. Are m and g equal?
True
Let z(a) = 3 + 4*a - 9 - 3*a. Let l be z(6). Which is greater: l or -1/3?
l
Let d = 0.04 - 0.44. Let h = -0.5 - d. Which is bigger: -3 or h?
h
Let q(u) = u + 10. Let a be q(-9). Let l be (2 + -21 - 3) + a. Let x be -3 + ((-30)/l - -1). Which is smaller: x or 0?
x
Let d = 19 - 18. Let j = -5 + 8. Let c = j + -3. Are d and c unequal?
True
Let c(x) = x**2 + 4*x + 1. Let u be c(-4). Let o = -64594/5 + 12969. Let n = o - 50. Which is greater: u or n?
u
Suppose 43*h - 46*h = 36. Is 1 bigger than h?
True
Let j(g) = g + 4. Let c = -12 - -8. Let z be j(c). Do z and -1/4 have the same value?
False
Suppose 7*m - 3*m = 8. Suppose -3 - m = -5*z. Is z equal to 2?
False
Let k be -1*65 - (2 - 6). Are k and -60 unequal?
True
Let d be (-2)/7 - (-15)/(-21). Suppose 2*p = -4 - 0. Let c be (p - 0) + (-9)/(-5). Which is greater: d or c?
c
Let d = -45.7 + 46. Let y(x) = -3*x + 1. Let q be y(1). Is q smaller than d?
True
Let h = 4 - 0. Let k = -3 + h. Do 0.1 and k have different values?
True
Let x = 91/4 + -23. Is x greater than or equal to -1?
True
Suppose -d = -2*d. Suppose d*c - 1 = -c, -5*i = 5*c. Which is smaller: -2 or i?
-2
Let p be (-3)/2 - (-2 - -1). Let u = 21 - 43/2. Is u greater than p?
Fals