4 + -1.16. Let w = b - v. Which is smaller: 2/7 or w?
w
Suppose 0 = 5*w - w. Let t = w + 5. Suppose 5*j + 0*n + n - t = 0, 0 = -5*j + 4*n + 5. Which is greater: 1/7 or j?
j
Let i(s) = 2*s**3 - 3*s**2. Let d be i(2). Let f = -2 - -3. Suppose -5*j + d*w - 5 = -w, -j - 5*w = f. Is j greater than or equal to -1?
True
Let o = 1.3 + 2.7. Is o greater than or equal to 2?
True
Suppose -5*u + 3*h + h = -15, 0 = -2*u - 3*h + 6. Suppose 4*l - 3*l - u = 0. Suppose -l*k - 5*d = -20, 2*k + 13 + 3 = 4*d. Is k >= 1/5?
False
Let o(m) = -m + 11. Let v(w) = w - 10. Let y(u) = 5*o(u) + 6*v(u). Let j be y(-5). Are j and -10 unequal?
False
Let y(n) = -5*n**2 + n + 4. Let z be y(-3). Let u be z/40 + 1 + 0. Let i be -2 + 45/20 - (-6)/8. Which is smaller: u or i?
u
Let v = 3 - -5. Suppose -5 - 11 = v*q. Let c be (-4)/(-10) + (-22)/5. Are c and q non-equal?
True
Let u = -433421/34 - -12749. Let t = 3/17 + u. Let m = -1 + 2. Is t at most m?
False
Let a = -23 - -24. Which is bigger: 1/8 or a?
a
Let z(h) = 5*h - 5. Let r(p) = -2 + 4*p - 3 + 2*p. Let c(o) = -6*r(o) + 7*z(o). Let k be c(-5). Is -0.1 <= k?
True
Let w be 2*(-4)/(-984)*9. Which is smaller: w or 1?
w
Let z = 0.08 + -0.13. Which is smaller: z or 1?
z
Let y = 11/120 - 1/120. Which is smaller: y or 0?
0
Let n = -6 - -1. Let j = n + 12. Suppose -k = w - j, 9 = -2*k + 3*w - 2. Is 1 < k?
True
Suppose 6 = s + 4, 2*s + 1 = -5*t. Let d = t - 0. Which is bigger: 2/3 or d?
2/3
Let f(p) = -2*p - 1. Let r be f(1). Let u be ((-14)/(-42))/((-7)/6 + 1). Which is smaller: r or u?
r
Let j = 1 + 0. Let a(i) = 10*i**3 + i**2. Let v be a(-1). Let d be -4*(v/4 - -2). Is d > j?
False
Let z(h) = 2*h**3 - 5*h**2 + h + 2. Let n be z(3). Let b = -9 + n. Suppose -5*u = -0*u - b. Which is greater: u or -1/3?
u
Let n = -5/2 - -15/4. Is n at least 4?
False
Let b be ((-18)/45)/((-59)/5). Does b = -1?
False
Suppose -4*c - 5 = 3. Let b = 87 + -89. Is b at most c?
True
Let h be 1 - (-1 + (2 - 2)). Suppose -h*q + 5*q = 3. Let o be 2 + 1 + 0 + -1. Is q at most o?
True
Suppose 3*h = -3*r - 3, -4*r + r + h + 1 = 0. Which is smaller: r or 12/29?
r
Let m be (-161)/(-147) - 2/3. Which is smaller: m or -1?
-1
Let f(x) = x**2 - 3*x - 5. Let n be f(4). Let r = n + 13/12. Which is greater: r or 0?
r
Suppose -4*d - d + 20 = 0. Let z be (-10)/d - 11/(-22). Is 0.1 >= z?
True
Let r = -1486 - -93620/63. Are r and 0 unequal?
True
Let t(y) = y + 6. Let r be t(-6). Suppose r*c = c. Which is smaller: 2/9 or c?
c
Let o(n) = -2*n**2 + n + 4. Let r be o(0). Suppose 0 = 2*w - 10 - 0. Let u = r - w. Is u at least as big as -1?
True
Let a be (-3)/315*-3 - 12/28. Which is greater: 0.24 or a?
0.24
Suppose y = -0*y + 4. Suppose -y*i + 5 = i. Let r be -3 - -1 - -1*i. Do 3/7 and r have the same value?
False
Let s(n) = n**3 - 6*n**2 - n + 7. Let m be s(6). Which is bigger: m or -7?
m
Let q = -247.01 + 246. Let c = -1 - q. Let r = c - -1.99. Which is greater: r or 1?
r
Let g(o) = 5*o**3 - 3*o - 2. Let t be g(-2). Suppose 9*k + 4*r = 4*k - 12, k + r + 2 = 0. Let f be (-2)/k + 26/t. Do -1 and f have the same value?
False
Let w = -4 - -4.1. Which is smaller: w or 0?
0
Let p be (-38044)/(-8) - 1/(-2). Let k = 214004/45 - p. Let y = 2/45 - k. Which is smaller: y or 2/13?
2/13
Let t = 5 + -4. Suppose 0 = -4*d + 2*y - 0*y - 12, 2*y = -4*d - 4. Let u be (3/(-30))/(d/(-2)). Which is bigger: t or u?
t
Suppose 0 = -4*v + 6*v - 10. Let q(y) = v*y - 4*y - 3*y + y. Let n be q(1). Are -3 and n nonequal?
True
Let m = -17 - -14.9. Let a = m - -2. Which is smaller: -1 or a?
-1
Let z = -277 + 3049/11. Suppose -5*g + 63 - 8 = 0. Let v = g + -11. Is z less than or equal to v?
False
Let r(m) be the second derivative of m**5/20 - 5*m**4/12 + m**3 - m**2/2 + 2*m. Let a be r(3). Is 1 greater than or equal to a?
True
Let h be (-134)/(-80) + 8/40. Is 0 less than h?
True
Let v = -9 + 169/19. Suppose -8 = 5*q - 3. Is v > q?
True
Let h(y) = y**3 - 11*y**2 - 14*y + 10. Let b be h(12). Let t = 7 - 20. Is t <= b?
False
Let r = -8 - -12. Suppose 5*u = 10, -r*d - 2 + 4 = -u. Let n = -2 + d. Is -1 at least n?
True
Let i = 54 + -44. Is 12 less than i?
False
Let x(n) = -3*n - 19. Let f be x(-5). Which is greater: -7 or f?
f
Let z(r) = r - 2. Let s be z(3). Let b be 2/24*-2*s. Which is greater: b or -1?
b
Let n be (-28)/(-21)*6*1. Suppose -4*r + n = 2*h, 3*h - 16 = -3*r - 4. Let z = 145/3 - 48. Which is greater: r or z?
z
Let r be (-116)/(-247) + (-12)/78. Which is smaller: r or 0?
0
Suppose -3*a = c - 35, -c - 5 = -0*a - 5*a. Is 20 greater than c?
False
Let m(o) = -o**2 - 11*o - 11. Let w be m(-10). Is 6/23 less than w?
False
Let f be (-1)/2 + -1 + 1. Let n be 1/2*0/(-1). Suppose 2*w - 13 = -3*k, -3*k + n*k = -w - 16. Is w smaller than f?
True
Let c = -2.4 + 2.3. Let k = -23 - -14. Are k and c non-equal?
True
Let f be 2/(-8) - (-36)/16. Let c be f/3 - (-4)/(-6). Let u be -3*(1/3 - 1). Is u less than or equal to c?
False
Let l = -39 + 87. Suppose l = -0*f - f. Let d be 4/(-6) + (-38)/f. Which is smaller: 1 or d?
d
Suppose -3*t + 0*u + 283 = -u, 4*t = -4*u + 404. Let f be t/34 + (-9)/3. Which is smaller: f or 0?
f
Let m be 14/(-6) - (-20)/(-30). Let x be (-4 - m)*(-1)/(-2). Let p = 0.3 + -0.4. Which is smaller: p or x?
x
Let t be (-1)/(-2)*(138/9 + -4). Which is greater: 5 or t?
t
Let p = -1330 - -196839/148. Let y = p + -39/5180. Let v = 31/70 + y. Which is smaller: -1 or v?
-1
Suppose 2*i = -4, 8*j - 3*j + 4*i = -43. Is 2 > j?
True
Let r = 0.8 + -0.71. Let z = 7 - 6. Which is smaller: r or z?
r
Let f be -1*5 + 2 + -2. Let t = -10 - f. Let m = t + 7. Are m and 4 equal?
False
Let l(w) = w**2 - 4*w + 2. Let a be l(4). Suppose 0 = 2*r - 7*j + 3*j - 12, 2*r + 3 = -j. Let n be (r/1)/(-1 + a). Do -2/3 and n have different values?
True
Suppose -2*g - 102 = 10. Is g at most -58?
False
Let t(k) = k + 11. Let p be t(-10). Which is bigger: 0 or p?
p
Let b = 7.051 - 0.051. Are 7 and b non-equal?
False
Suppose -2*j - 2*n - 3*n + 35 = 0, -n - 44 = -3*j. Let m be ((-16)/(-20))/(6/j). Let a = 1 - 0. Which is smaller: a or m?
a
Let l(i) = 3*i**3 + i**2 + 2*i - 2. Let u(q) = q**3 + q - 1. Let x(n) = 2*l(n) - 5*u(n). Let m be x(-2). Is 3 at least as big as m?
True
Suppose -o - 3*s = 62, -3*o + 0*o = 3*s + 156. Is o at most -48?
False
Suppose 0 = 3*s + 2*s + 5. Let j = s + 8. Suppose -r - 11 + 3 = -5*g, -4*g = -r - j. Is g < 1?
False
Let f(x) = -x - 6. Let s be f(-4). Is s > -17/6?
True
Let u = -3.2 + 3.3. Is u equal to 19?
False
Suppose 2*r - 3*r = 3528. Let l be (r/10)/(-3) + 2. Let g = 120 - l. Are 0 and g non-equal?
True
Let h = 17 + -11. Let g be (-7 - -4 - -4)*15. Suppose -h = 3*o - g. Are o and 3 equal?
True
Suppose 180 = 11*p - 8*p. Let u be -2 - (p/27)/(-1). Is u > -3?
True
Let v = -0.7 + -0.2. Let u = -1.9 - v. Let o = 0.1 - 0.1. Which is bigger: u or o?
o
Let i = 113 + -114. Which is bigger: i or -6/11?
-6/11
Let b be 206/(-6) - 5/(-15). Let v = -135/4 - b. Is -8 smaller than v?
True
Suppose -5*b + 3*q - 8 = -0*q, 8 = 3*b - 5*q. Let a be (-12)/b - (-1 + 2). Is 14/5 at least as big as a?
True
Let a = 143 - 144. Which is bigger: a or 1/15?
1/15
Suppose -4 = -3*t - 1. Let g be (t/3)/((-7)/(-21)). Which is bigger: g or 0?
g
Let s be 2/7 - 291/(-84). Let u = s + -83/20. Let w = 0 + 0. Which is smaller: w or u?
u
Let y = -8 - -2. Let f be (-10)/y + (-11)/(-33). Which is bigger: f or 8?
8
Let i be (-200)/(-16)*1/(-2). Is -7 greater than or equal to i?
False
Let s(t) = t + 1. Let x be s(0). Let r be x + (-1 - 1) - -7. Let n be r/8 - 1/(-4). Is 2 at least n?
True
Let j(i) = -10*i + 4. Let u(q) = 3*q - 1. Let l(c) = -2*j(c) - 7*u(c). Let z be l(-2). Which is bigger: 2 or z?
2
Let c(t) = -2*t**3 + t**2 + 2*t + 4. Let w be c(2). Let m = 15 - 7. Let k be (-2)/m - (-30)/(-8). Is k greater than w?
False
Suppose 3*t + 2*w - 1 = 0, 5*w = 5*t - 13 - 22. Let f be t + ((-38)/10 - -1). Which is smaller: f or 0?
0
Suppose -2*d - 28 = 2*d. Let x(a) = -a**2 - 7*a. Let n be x(d). Suppose n = -2*r + 2*f + 6, 0*r = 2*r + 5*f + 8. Is r at most as big as 2/11?
False
Suppose -2*l - 1 = -13. Suppose -k - 2*k = -12. Suppose -4*w + 20 = 0, -w - w + l = k*p. Are p and -2/5 equal?
False
Let b be 11/14 + 4/(-14). Let f = 2.4 + -0.4. Which is smaller: f or b?
b
Let h be 6*(-1 - -3 - 1). Let n = -4 + h. Let m = -40 - -39. Which is greater: n or m?
n
Let r =