*c = -4*r - 0*r - 2, -3*c + 4 = -2*r. Which is bigger: 2/9 or r?
r
Suppose -112 = 6*v - 10*v. Let w = 1 - -3. Suppose 3*d = -h + 23 - 10, -w*d + v = -4*h. Which is smaller: h or -4/7?
h
Suppose -5*v + 162 = -3*a, 6*a + 92 = 4*a - 2*v. Is a bigger than -49?
False
Let b be (1 - 1018)*8/56. Let l = b + 145. Which is smaller: -1 or l?
-1
Let w(d) = d. Suppose 0 = h + 2*h. Let a be w(h). Suppose t - 2*t = a. Which is smaller: t or 2/5?
t
Let l(p) = 2*p - 25. Let q be l(11). Which is bigger: -13/4 or q?
q
Let g = -26 + 73. Are g and 47 non-equal?
False
Let f = -4 - -4. Let k be -1*(-3 - (f + 1)). Suppose 3*m + 2 = -k. Is -5/3 < m?
False
Let b = 9 - 9.09. Let r = -0.1 + 0.2. Does b = r?
False
Suppose 5*l + 5*y = 25, -8*y = -4*y. Let u(c) = -c. Let q(o) = 2*o. Let r(p) = -3*q(p) - 7*u(p). Let b be r(l). Which is bigger: b or -2?
b
Let a = 4.93 + -5. Which is bigger: -0.1 or a?
a
Let m be (3 - 3 - 0)/1. Let v = -24 + 267/11. Are v and m equal?
False
Let f = 33/7 - 5. Suppose 0 = -8*l + 15*l - 21. Is l > f?
True
Let j be 35/660 - 4/(-16). Is 1 at least j?
True
Let m = 3/302 - 193/4228. Which is smaller: m or 0.3?
m
Suppose -3*t + 2*k - 16 = 6*k, -3*t - 15 = 3*k. Let g = -6 - t. Let d be g + 7/5 + 1. Which is greater: 0 or d?
d
Let c be (-66)/(-77)*28/10. Is 2 less than or equal to c?
True
Let r(c) = -2*c - 10. Let g be r(-5). Is g greater than 5/6?
False
Let y = 3363 - 427097/127. Are y and 0 equal?
False
Let t be 69/(-6) - 1/(-2). Let j = -9 - t. Which is smaller: 6/7 or j?
6/7
Let m = 0.2 + -0.1. Is 2/11 greater than or equal to m?
True
Let v = 0.39 + -0.19. Let a = 468/5 - 94. Which is greater: v or a?
v
Let v = 0.6 + -0.5. Let u(r) be the first derivative of r**4/4 + 4*r**3/3 + r**2/2 - 2*r - 3. Let d be u(-3). Are d and v non-equal?
True
Let v(t) = -t**3 - 6*t**2 + 5. Let d be v(-6). Let b be (2/d)/(8/5). Which is bigger: 0 or b?
b
Suppose 0*i = -4*i - 4. Suppose -6*k + k + 15 = 0. Suppose k*z = 2*z. Which is bigger: z or i?
z
Let v = 5 + -6. Suppose -x - 5 = -0. Which is smaller: v or x?
x
Suppose -3*u + 3*p - 21 = -0*u, 0 = 2*p - 10. Let l be 2/4 - (-13)/u. Let k = l - -3. Are k and -3 non-equal?
False
Let r(w) = 0*w**2 - 7 - 4*w**3 - 3*w**3 + 5*w + 6*w**3 - 5*w**2. Let x be r(-6). Let d be 1/(-2) - (-1)/2. Is d at least x?
True
Suppose -9*p - 15 = -4*p. Is -3 bigger than p?
False
Let b(h) = h**3 - 7*h**2 + 5*h + 6. Let l be b(5). Is l smaller than -17?
True
Let b be (3 - 5) + -1 + 3. Let d = 0.03 + 7.97. Which is smaller: d or b?
b
Let g = 36 + -35. Is 1/7 less than or equal to g?
True
Let g(c) = -c**2 + 6*c - 3. Let q be g(4). Suppose -z = 1 - q. Is 8/3 < z?
True
Let k = 137/3 + -46. Which is smaller: -36 or k?
-36
Let j = -4 + 4. Let t(q) = -2*q**2 + q + 2. Let o be t(2). Let k = o - -5. Which is greater: k or j?
k
Suppose 0 = 2*q - 5 + 3. Let l = -0.05 - -0.18. Let j = -5.13 + l. Do q and j have different values?
True
Let j = 774 - 24771/32. Does j = 0?
False
Suppose 0*v - 3*v + 15 = 0. Which is smaller: v or 7?
v
Let p be 0*(1 + (-12)/9). Let y(u) = -u**3 - u**2 + u + 3. Let j be y(p). Suppose 0 = 3*q + 2*c + j, 5*q - 4*c + 2 = 3*q. Which is bigger: -1/10 or q?
-1/10
Suppose -3*q - 8 = -4*y - q, 2*q = -4. Suppose 0*c = -2*c + 4. Does c = y?
False
Let b = -80/7 - -12. Suppose 2*m - 3 = 5. Suppose r - m = -3*r. Is b <= r?
True
Let a = 0.38 + 0.02. Let m = -0.35 + a. Let o = m - -1.95. Which is smaller: 0 or o?
0
Let a be ((-10)/15)/((-1)/3). Suppose x + 0 = 4*v - 9, 0 = x + 3*v + a. Is -4 at most as big as x?
False
Suppose o - 2 + 1 = 0. Let x be (-2)/4 + (-85)/(-2). Let z = x + -296/7. Is o <= z?
False
Let b(z) = z - 4. Let d be b(6). Which is smaller: d or 4?
d
Let p(v) be the first derivative of 13*v**3/3 + v**2/2 + 2. Let y be p(-1). Let a be (9/y)/(10/8). Which is bigger: 1 or a?
1
Let m be (-3)/(-18)*15/(-10). Which is greater: 1 or m?
1
Let t(q) = q**3 + 6*q**2 - 8*q - 7. Let b be t(-7). Suppose b = r - 0 - 2. Let i(y) = y**2 - 3*y + 1. Let j be i(r). Which is greater: -1/5 or j?
-1/5
Let z be (-10)/70 + 10/(-28). Let g(s) = -2*s**3 + s + 1. Let n be g(-1). Does z = n?
False
Let q = 142 - 140. Are 5/2 and q nonequal?
True
Let x be 2*(0 + 1)/2. Let b = 7 + -8. Is x greater than or equal to b?
True
Suppose 2*b + w - 2 - 2 = 0, -w = -b + 2. Let l = 2.8 - 4.9. Let t = -2 - l. Which is smaller: t or b?
t
Let g = 488/7 + -70. Let j = -2.9 - -3. Is g greater than j?
False
Suppose -3*z - 3 = 2*k, -3*z + k + 7 = z. Let r be z*-1*(0 - -1). Is -2/15 equal to r?
False
Let f be -3*1 + (-7)/(-2). Let i = -6.7 + -2.3. Which is smaller: f or i?
i
Let g = 3 + -5. Let c = 2 - g. Suppose 2*s = -s - 5*s. Do s and c have the same value?
False
Let q(n) = -n**3 + 9*n**2 - n + 4. Let g be q(9). Let s be (-4)/g + 4/20. Let t = s + -2. Which is bigger: t or 0?
0
Suppose 5*d - d = -504. Let g be 4/(-18) - (-44)/d. Is -1 less than or equal to g?
True
Suppose -3*y + 4*y + 9 = -5*q, 6 = 3*y + 4*q. Suppose 8 = -2*t + y. Let c = -0.1 + 0.1. Is c greater than or equal to t?
True
Let x = 28 - 27.97. Which is greater: x or 1?
1
Let d = -0.07 - 0.01. Which is bigger: d or -0.2?
d
Let w(b) = -b**2 - 11*b + 13. Let y be w(-12). Which is greater: -1 or y?
y
Let f be (2 - 16/(-6))/(18/(-27)). Which is bigger: -4 or f?
-4
Let m = -349 - -1733/5. Is -1 at least m?
True
Let b = 30/13 - 40/13. Let w = 983/2964 + -33/76. Let n = w - b. Which is smaller: 0 or n?
0
Let k(q) = q**3 + 7*q**2 + 7*q + 5. Let h be k(-6). Let n be 12*4/6 - 1. Let t = 5 - n. Which is greater: h or t?
h
Let w(i) = 4*i + 21. Let n be w(-6). Is -5 equal to n?
False
Suppose 4*x = 2*x - 2, -5*r - 3*x = -2. Let h be (r - -2)*4/(-6). Which is greater: h or -1/2?
-1/2
Let o be (-3 + 4)/((-1)/(-31)). Let k be 34/(-85) - o/(-90). Which is bigger: 1 or k?
1
Let s = -75 + 81. Is s <= 26/5?
False
Let s(z) be the first derivative of z**4/4 - z**3/3 - 3*z**2/2 - z - 5. Suppose -2*t - t = -9. Let y be s(t). Which is greater: 7 or y?
y
Suppose -4*n = -2*v - 25 + 1, -12 = 4*v + n. Is -20/7 bigger than v?
True
Suppose -s - s + 2 = 3*x, -5*x = 3*s - 3. Let a be (0 + 1)/(2 - 1). Let m be x - (2 + a) - 0. Is -4 less than m?
True
Let k(r) = 2*r + 4. Let i be k(-2). Which is bigger: i or 2/5?
2/5
Let v be 3/12 - 22/(-8). Suppose -2*t - v = 1. Let g be (-3)/t - (-3)/(-2). Is -1 at most g?
True
Let f(v) = v**3 + 2*v**2 + v + 1. Suppose 0 = -2*t - 0 - 2. Let g be f(t). Let b be 20/(-6)*(-3)/6. Which is smaller: b or g?
g
Let n(i) = 3*i + 1. Let v = -11 - -9. Let b be n(v). Which is greater: -3 or b?
-3
Let a be 0 + -1 + 4/4. Is 2/31 at most a?
False
Let z(f) = -f + 7. Let c be z(5). Let h be 38/c - (-10 + 13). Is h at most as big as 16?
True
Let c be -3*(-1)/(-6)*-2. Let k be c - -4*2/(-4). Let u = 2131/9 - 237. Is u at least as big as k?
True
Let w = 2/759 + 1006/2277. Suppose 130*q = 122*q. Which is bigger: w or q?
w
Let s = -8/21 - -173/399. Which is smaller: 1 or s?
s
Let g = 0.03 - -0.27. Let z = -2.3 + g. Let c = -2 + 3. Is z at least as big as c?
False
Let h = -0.06 - -3.06. Let u = 3.1 - h. Does -2 = u?
False
Let h(o) = -o. Let y be h(2). Let l be (-4 - 0)/(y/12). Let i be (-14)/l - 4/(-12). Which is smaller: -1 or i?
-1
Let z(j) = 4*j**2 + 2*j + 1. Let o be z(-1). Is o != 1?
True
Let s(i) = 4*i. Let j be s(-1). Do j and -17/4 have the same value?
False
Suppose 3*v = 4*v - 3*m, 5*v - m = 0. Is 0 at least as big as v?
True
Let k = 0.6 - 2.1. Let b = k - -0.5. Which is smaller: b or 3?
b
Let r = -2/105 + -68/105. Which is bigger: -5 or r?
r
Suppose -8 = 7*d - 3*d. Which is smaller: 3 or d?
d
Let w = 321 + -319.17. Let t = w + 0.17. Is t equal to 2/3?
False
Let i(r) = -3 - 6*r + 2 + 2*r. Let t be i(-1). Which is bigger: t or 2?
t
Let i be 2/(3 - 1) + -9. Let b be (-14)/i - 9/12. Suppose 0 = 2*m + 2*m - 8. Is m less than b?
False
Let m = -16 + 2. Is m >= -13?
False
Let r(v) = v**2 + v - 1. Let w(z) = z**3 - 5*z**2 - 4*z + 4. Let c(u) = 5*r(u) + w(u). Suppose k = 4*k. Let m be c(k). Is 2 at most as big as m?
False
Let y = -8 + 8. Suppose y = 2*c - 12 + 2. Is 4 equal to c?
False
Let s(b) = b**3 - 10*b**2. Suppose h = -u - 0*h + 14, 0 = 2*u - 2*h - 12. Let w be s(u). Which is smaller: -2/7 or w?
-2/7
Let q(b) = 2*b - 4. Let s be q(3). Suppose t = -s + 3. Is 1 greater than or equal to t?
True
Let n(o) = o - 4. Let r(f) = 2*f - 