 smaller than 1?
True
Let i = 9 + -14. Let j be (-12)/i + (-4)/10. Suppose 0 = 4*v - v - 3. Which is greater: j or v?
j
Let b be (12/(-10))/((-3)/10). Let h = b - 3. Let n be -5*((-1)/(-2))/(8/16). Are h and n non-equal?
True
Suppose 33 = -2*a - 3*t - 27, -4*a - 104 = 2*t. Is -23 greater than a?
True
Suppose o + 9 = 3*f, 3*o - o - 17 = -f. Suppose 5*t - o - 4 = 0. Let s be 6/4*t/12. Which is smaller: s or 1?
s
Suppose 0 = -3*w + 2*o + 36, 0*w + 3*w - o = 36. Let g be (w/9)/((-2)/3). Let v(x) = -x**2 - x + 1. Let t be v(g). Is -2 <= t?
True
Let g = -169 + 347/2. Let i be (-3 - (-20)/6)*4/2. Is i greater than or equal to g?
False
Let t = -0.14 + 0.04. Do t and 0.05 have the same value?
False
Let p(z) = z - 4. Let j be p(6). Let v be 3 + 0 + -6 + j. Is v >= -1/4?
False
Let v be -2 + (-5)/(-5) + (4 - 2). Which is smaller: 7/5 or v?
v
Suppose j + 2*g + 10 = 0, -j = -6*j - 2*g - 18. Let x be 1 - -1*(-1 - j). Is x at least 4?
False
Let h = -13 + 12.9. Suppose 0 = -4*w + 4*k + 8 - 36, w + 7 = 2*k. Which is bigger: w or h?
h
Let t be (-39)/12 - 2/(-8). Let b = 17 + -27. Let k = b - -7. Are k and t equal?
True
Suppose -2*p = -14 - 14. Is 18 > p?
True
Let s(q) = 3*q**2 + 2*q**2 - q - 4*q**2 + 0*q. Let d be s(1). Which is bigger: d or -2/45?
d
Let w(b) be the third derivative of b**6/120 + b**5/10 + b**4/24 + 5*b**3/6 - 2*b**2. Let s be w(-6). Let v be (4/(-12))/(2/6). Is s at most as big as v?
True
Let p be (-2)/(-1)*3/(-6). Let o(c) be the second derivative of c**3/6 + 5*c**2 + 3*c. Let i be o(-10). Which is bigger: p or i?
i
Let l = 2.3 + -2. Let m = 0.7 - l. Let z = m - 0.2. Which is smaller: -0.1 or z?
-0.1
Let n = -32 - -62. Suppose 8*c - 3*c = -n. Is c at most as big as -6?
True
Suppose -p = 2*p. Let f(t) = t**2 - 2*t + 1. Let l be f(2). Suppose -r = -p*r + l. Which is greater: 0 or r?
0
Let d(j) = -4*j - 2*j + 6 + j**2 + j. Let s be d(4). Is s greater than or equal to 5/4?
True
Let g be (-18)/15*1/(-2). Let p = g - 14/15. Is -3/2 equal to p?
False
Suppose 20 = 2*d - 4*d. Suppose 0 = 2*u + 3*u + b + 9, u + 21 = -5*b. Let q be u/d - (-6)/15. Is q != 1?
True
Let k(f) = -3*f + 8. Let s be k(4). Which is smaller: 0 or s?
s
Suppose 0 = 4*s + 4*g - 20, -3*g - 6 = s - 19. Suppose 2*l + 1 = i, -3*i + s + 2 = 4*l. Is i greater than or equal to -1/3?
True
Let w(n) = -2*n - 4. Let p be (5/(-10))/(2/12). Let k be w(p). Let s(d) = -d. Let i be s(-1). Is k at least i?
True
Let l be 7/(35/(-30))*3/(-6). Suppose -6 = -0*f - 2*f + k, k = 5*f - 15. Is l smaller than f?
False
Let x be 1/(-3) + 12/198. Which is smaller: 0 or x?
x
Let n = 0.049 - 1.699. Let k = -0.05 + n. Is 0 at least as big as k?
True
Let o = 5317662/114605 + 2/22921. Suppose 0 = 3*w - 3*u + 150, 185 = -4*w - 0*u - u. Let r = w + o. Is -1 >= r?
False
Let y be 2*-2*(-2)/(-2). Let c(t) = t**2 - 4*t - 1. Let l be c(3). Do l and y have different values?
False
Let s be (-1)/(-6) + 10/((-300)/(-35)). Let l be 1 - 1/(-1) - 1. Which is smaller: l or s?
l
Suppose 0*i - 25 = -5*i. Let b(s) = -3*s**2 - s + 4. Let n(t) = 5*t**2 + 3*t - 7. Let d(q) = 7*b(q) + 4*n(q). Let j be d(i). Which is smaller: 2/7 or j?
j
Suppose 2*f - 3*i = 3, -i = f - 2*i - 1. Is -10/7 < f?
True
Let h = 11 - 10. Which is smaller: h or 1/8?
1/8
Let m = 10 - 5. Let h = m + -5.2. Let s = -0.2 - -0.3. Are s and h unequal?
True
Let q be 4/(-16) - 30/8. Suppose -5*m = 25, -z + 10 = -4*m + m. Let d = q - z. Which is bigger: -2/5 or d?
d
Let v be (-55)/6 - 3/(-18). Let b be (-30)/v*(-3)/(-2). Let i be 4/(-14)*(-4 + b). Which is greater: i or 0.1?
0.1
Suppose 6*y - 2 = -14. Let d be 89/7 - y/7. Is d at most 12?
False
Suppose 0 = -5*q - 25, 25 = -5*d - q - 0*q. Is -21/5 greater than or equal to d?
False
Let u = 2 - -3. Suppose -u*p + 13 - 43 = 0. Let t be 16/(-54)*p/8. Is -1 equal to t?
False
Let k(x) = x**3 + 7*x**2 - 2*x - 14. Let q be k(-7). Suppose 0*u - 28 = 5*u + 4*p, 4*p - 8 = 4*u. Let j be 2/u*(0 + q). Which is greater: -2/5 or j?
j
Let u(g) = g**3 + 5*g**2 - 11*g - 9. Let z be u(-7). Let v be ((-8)/z)/(6/9). Which is smaller: v or -1?
-1
Let k = -167/7 + 24. Which is smaller: k or 1?
k
Let r = -12 + 20. Let u be 6/r*(-2)/6. Are 2 and u equal?
False
Let v = 0.2 + -3.2. Let a = -1 + v. Let q = -3 - -3.1. Do q and a have different values?
True
Let x = 97/14 + -7. Which is greater: -1 or x?
x
Let v be ((-5)/15)/((-2)/12). Suppose -5*n = -4*m + 2, -2*m + 4*n = -4*m + 14. Is m at least v?
True
Let k be (-15)/(-2)*7/35. Is 2 equal to k?
False
Let b = 0.013 + -2.113. Let k = -1 + 3. Let q = b + k. Which is greater: q or -3?
q
Let x(d) = d**2 - 5*d + 6. Let u be x(3). Let z be (-1 + 2)*(0 - -2). Let f = 2 - z. Are f and u nonequal?
False
Let y be 2/(-1)*(-9)/(-18). Let z be (1 - 0)/2 - -1. Do y and z have the same value?
False
Suppose 0*v = -v - 6. Let q be (-6)/(-9)*v/4. Which is greater: q or 0.11?
0.11
Let w(z) = 5*z**2 + 3*z - 6. Let j(l) = l**2 - 1. Let c(p) = 4*j(p) - w(p). Let b be c(-3). Suppose -5 = -4*f + 3, -3*f = 2*n - 8. Is b at least n?
True
Suppose 9 = 4*o - o. Let j = -2 + o. Is j bigger than 2?
False
Suppose 2*f = -5 - 1. Suppose 0 = -3*b + 4*a - 16, 5*b - 3*a = -0*b - 34. Let t = 4 + b. Which is bigger: t or f?
f
Let h be -3 - -127*1/45. Let w = h - 2/9. Which is smaller: 1/3 or w?
w
Suppose -4*m + 8 - 32 = 0. Let s be (-3)/(-7)*(m - -7). Is s at least as big as 1?
False
Let j = -17 + 17. Which is bigger: j or 2/11?
2/11
Let v = 458 + -6866/15. Is -0.1 greater than or equal to v?
False
Let v be 1/(-4)*(-8)/10. Is v less than or equal to -1?
False
Let y be 5/(-1) - (-2 + 0). Let q be (-2)/y + 12/(-99). Which is bigger: 1 or q?
1
Let m = -0.1 - -0.3. Let c = m + -0.1. Suppose 0 = -u + 5*u. Are u and c unequal?
True
Let a be -1 + 4 + -5 - 48/(-23). Is 1 at least a?
True
Suppose 5*f + 41 = -s, 2*f + 3 = 5*s - 8. Let y = f + 20. Is y >= -2/5?
True
Suppose 0 = 5*b - 2*s - 8, 3*b - 6*s - 20 = -s. Which is bigger: -12 or b?
b
Let d = -10 + 9.6. Let k = 0.6 - d. Let c = -3 + 4. Is c less than or equal to k?
True
Let s(x) = 4*x + 20. Let z be s(-5). Let y = -6078/19 + 320. Which is greater: y or z?
y
Let v be 48/(-20) + 2/5. Let j be 2/(2/1)*v. Are -2/3 and j unequal?
True
Let m(v) = -v + 14. Let c be m(12). Let l = 1 + c. Is l less than 4?
True
Let b be 9/3 + 3*-1. Suppose b = m - 1 - 1. Let i be (1/m)/((-18)/(-8)). Is 0 <= i?
True
Suppose 7 = y - 5*d - 7, 3*d + 8 = y. Let b be -1 + (-3 - (y + -2)). Let k be 2*5/18 - 1. Is k > b?
True
Let x = 116 - 110. Which is smaller: x or 0?
0
Let n be -4 - (-1 + 1) - 550/(-132). Suppose -4*s + 9 = -s - 3*i, 2*s = -3*i - 4. Is s bigger than n?
True
Let m = -40 + 40.2. Which is smaller: -45 or m?
-45
Let s be (-1992)/(-130)*(-7)/(-147). Let d = 1/65 - s. Let o = 4/35 + d. Which is smaller: -2 or o?
-2
Let b = 1856/3 - 612. Let k = 15 + -9. Which is bigger: k or b?
b
Let x = -725/956 + 2/239. Let y(f) = -f + 3. Let g be y(4). Is x <= g?
False
Suppose 18 = 5*i - 2. Which is bigger: i or 0?
i
Suppose -2*o + 7*o = -2*g + 6, 0 = 3*g - 2*o - 28. Let j be 6/24 + 22/g. Is 2 less than or equal to j?
True
Let m(x) = -x**2 - 4*x. Let t be m(-5). Let v = -14/121 + -2108/605. Which is bigger: t or v?
v
Let m = 5 + 0. Suppose 0*q - 15 = -m*q. Suppose 5*u - w + 7 = -0*u, 9 = -q*w. Which is smaller: -2/3 or u?
u
Suppose -6*d + 2 = 8. Which is smaller: d or 2/21?
d
Suppose -2*j = -3*h, 4*j - 50 = -j - 5*h. Suppose 6 + j = -4*a. Is -2 less than a?
False
Let j(l) be the second derivative of l**5/20 + 7*l**4/12 - 7*l**3/6 + 9*l**2/2 + 2*l. Let m be j(-8). Which is smaller: m or -1?
-1
Let o be (4*-1)/2 + 5. Suppose -o*r = -0*r. Let m = 269/5 - 54. Which is smaller: m or r?
m
Let s = -22 + 24. Let q = -59 - -175/3. Is s less than or equal to q?
False
Let s be (5/10)/((-8)/6). Are -1 and s non-equal?
True
Suppose -228 + 68 = -4*t. Let m = t - 161/4. Is m > 2?
False
Let l = 0.21 - 0.81. Let s = -1.4 + l. Which is greater: s or -3?
s
Let z = 53 - 33. Are 20 and z equal?
True
Let o = -70 + 348/5. Let c = -279/685 + 1/137. Is o at most c?
True
Let k be (-33)/6 + 3/(-6). Let g = k + 4. Let p = 3 + g. Which is bigger: 2 or p?
2
Let r = 92 - 121. Is -28 less than r?
False
Let y = 2115/7 - 304. Let b = 88/21 + y. Is -2 < b?
True
Suppose -4*z + z - 30 = 0. Let n = z + 6. Which is smaller: n or -1?
n
Suppose 16 = 2*o - 3*y, -5 = 