0, 4*t - 4 = 0. Which is smaller: l or v?
v
Let h be (5/(-10))/(1/2) + 2. Which is smaller: h or 2/115?
2/115
Suppose 0*i = 3*i. Let v(o) = o**3 + 8*o**2 + 7*o + 6. Let c be v(-7). Let q = -6 + c. Is q > i?
False
Let i(h) = -h**3 + 6*h**2 + 7*h. Let m be i(7). Let f = 55 - 40. Which is greater: f or m?
f
Suppose -r - 2 = 0, -l + 3 = r + 4. Are l and -6 nonequal?
True
Let y(k) = -k**3 - 10*k**2 - 10*k - 5. Let t be y(-9). Suppose t*n - r = -8, n + 2*r = -6 - 5. Are -3 and n unequal?
False
Let t = 2/163 + 111/4238. Let h be -3 - 1 - (-3 + 0). Which is smaller: t or h?
h
Suppose 4*n - 6*n + 2 = 0, 0 = -j - 4*n - 2. Let d = 0 + j. Is d greater than or equal to -1?
False
Let q = -19/12 - -5/4. Let r(j) = -j**2 + 5*j. Suppose -25 = -4*x - x. Let h be r(x). Does q = h?
False
Let c = -7/3 - -67/30. Let a = 0 - -1. Which is smaller: a or c?
c
Let j be 2/8 + 6/(-8). Which is smaller: -1/4 or j?
j
Let a = 0.5 - 0.6. Let l = 6.1 - 6. Is a greater than l?
False
Suppose 3*r - 4*z = -0*r + 13, 0 = -2*r - 3*z + 3. Let p be 6/4*24/9. Suppose 7*d + p = 8*d. Is r smaller than d?
True
Let c be 8708/(-48)*4/(-14). Let h = c - 52. Which is smaller: h or 1?
h
Let o = 2 + 4. Suppose m = 3*n - o, -2*m - 3*m = 5*n + 10. Does 2 = n?
False
Suppose 5*p = 2*p. Suppose i + p*i = 0. Which is smaller: i or 4?
i
Let h be 1/((1 + 10/(-15))*3). Suppose -3*n = 4*p - 2, 0*n = -2*n - 4. Does h = p?
False
Let x(i) = -i**2 + 3*i + 2. Let l be x(4). Let w be 1 + (2 - (-3)/(-1)). Let s be (0 - w)*(-6)/6. Is s <= l?
False
Let u = -19.31 + -0.69. Which is greater: -1 or u?
-1
Let j be 2 + -2 + 2 + -1. Which is greater: -3/28 or j?
j
Let m = 15 + -25. Let p be 4/m - 66/(-15). Suppose 0 = -w - p*w. Is -1/8 less than w?
True
Let w = -2 - -1.98. Let f = w - -0.09. Let k = f + 1.93. Is 0.3 at most as big as k?
True
Let v = -1 - -4. Let a(w) = w - 8. Let f be a(9). Which is bigger: v or f?
v
Let u(d) = d**3 + d**2 - 3*d + 3. Let j be u(-3). Is j < -9?
False
Let a = -178 + 182. Let s be (0 + (-6)/4)*-2. Which is smaller: s or a?
s
Let r be 3/(3/(-1))*4. Let p be (-2)/(-4) + (-26)/r. Let h = p + -10. Which is smaller: -2 or h?
h
Suppose 10 = -4*p - 2*g, -5*p + 4*g - 7 = g. Suppose -2*u = -0*u - 2. Let l be -1 + 0/1 - u. Is p < l?
False
Let m be -2*(-1)/(-6)*(2 + 85). Is m at least as big as -29?
True
Let s(n) = -n - 17. Let k be s(-14). Is 0.11 bigger than k?
True
Let w = 0.1 + -0.1. Let i = -1.4 + 1.1. Is w smaller than i?
False
Let z be 22/143 - (-2)/(-13). Is z at most 3/4?
True
Let p be 1/(-4) + (-52)/192. Let j = -1/48 - p. Is 2 <= j?
False
Suppose 15 = 2*f + f, -4*l + 2 = 2*f. Which is bigger: -9/8 or l?
-9/8
Let g(u) = 5*u**3 - u**2 + 2*u - 3. Let f(n) = -6*n**3 + n**2 - 3*n + 4. Let q(k) = 4*f(k) + 5*g(k). Let c be q(2). Let l be -1 + c - (-2)/(-4). Is l > 0?
False
Let p(k) = -k**2 - 8*k + 18. Let q be p(-10). Suppose -5*l + 4*x = -31, -l + 4*x = -0*l - 3. Let t(g) = g**2 - 6*g - 9. Let f be t(l). Are q and f non-equal?
False
Let w(n) = n + 10. Let o be w(-7). Let f be 12/(-2) + o + -2. Is -6 greater than f?
False
Let v be 182*(-36)/3279 + 2. Let y = -15312/5465 + v. Which is greater: -2 or y?
-2
Let v = -0.07 + -0.03. Which is bigger: v or 6?
6
Let k(d) = 19*d**3 + 3*d + 2*d - 6*d. Let n be k(-1). Let x be 38/(-9) - 4/n. Are -4 and x nonequal?
False
Let x be 38/(-84) + (-12)/(-42). Is x > 0?
False
Let i(f) = -f**3 - 3*f**2 - f + 1. Let x be i(-2). Which is smaller: x or -1/3?
x
Let x = 61/7 - 9. Let d = 4 - 2. Let f = -3 + d. Which is smaller: x or f?
f
Suppose 2*t = 3*r + 4 - 5, -2*r + 22 = 4*t. Suppose -t*b - 6 = -2. Which is greater: -2/19 or b?
-2/19
Suppose -3*m = -8*m + 60. Let c be 2/(-3)*(-3)/m. Is -1 greater than or equal to c?
False
Let b(p) = -p**2 + p - 4. Let w be b(2). Let y be (-20)/105*w/(-4). Let h = -0.2 + 2.2. Is y at least as big as h?
False
Let s = 152.4 + -133. Let p = s + -19. Let t be 16/(-10) + (1 - -1). Are p and t non-equal?
False
Let u(g) = -3*g + 29. Let r be u(12). Let j be -1 - (4 + 3 + r). Which is greater: 1.1 or j?
1.1
Let c = -50 - -50. Suppose 3*f - 5 = 4. Which is smaller: f or c?
c
Let m be 0 + -1 + -2 - -7. Suppose m*u = -1 - 3. Which is smaller: 1/13 or u?
u
Suppose 36 = 5*v - 14. Suppose -36 + 26 = -x. Is x at most as big as v?
True
Let b = -17 - -15. Is b greater than or equal to -8?
True
Suppose -3 - 9 = -3*i. Suppose -i*b = b + 25. Let k = b - -7. Is 2 > k?
False
Let m be (-1)/2 - (-9)/(-6). Let c(s) = s**3 - 12*s**2 - 12*s - 8. Let x be c(13). Suppose 2*o - o = -3*l - 12, -x*o + 8 = -2*l. Which is greater: m or l?
m
Let p = -163/4 - -475/12. Let r be (432/756)/((-2)/7). Is p smaller than r?
False
Suppose 3*o + 41 = -4*v, -5*v + 35 = -0*o - 2*o. Let x = o - -26. Is 12 smaller than x?
False
Let j(a) = -a**2 - 25*a + 24. Let y be j(-26). Which is bigger: 10 or y?
10
Let s be 108/(-21)*(-13)/3. Let v = -2666/119 + s. Which is greater: -1 or v?
v
Let w = -10 + 9.9. Let l = -0.22 - 0.68. Let t = w + l. Which is smaller: -1/3 or t?
t
Suppose 3*p + 3 + 0 = 0. Which is smaller: -10 or p?
-10
Let d = -2648 - -524305/198. Which is smaller: 0 or d?
0
Suppose p + 2*p + k = 1, -5*p + 5 = k. Let h be p/(-3) + (-8)/(-6). Let x = 0 - 0. Which is smaller: x or h?
x
Let h(m) = -32*m - 2. Let u be h(2). Let l be 96/u*1234/(-4). Let g = l - 449. Is g less than -1?
False
Let d = 1 - 9. Let q = -13 - d. Let j be (4/10)/1*q. Which is smaller: -3 or j?
-3
Suppose 1 = -d + 2*d. Let t(m) = -m**2 + 7*m + 2. Let r be t(7). Is d less than r?
True
Let d(y) = -2*y**2 - 2*y + 1. Let t be d(-2). Which is smaller: -7/3 or t?
t
Let f(x) = 3*x**3 - 2*x**2 + 2*x - 1. Let i = 1 - 0. Let q be f(i). Which is smaller: q or 5?
q
Let x(o) be the first derivative of -o**4/4 + o**2/2 - 1. Let g be x(0). Suppose -d + 5*d = g. Is d smaller than 1/5?
True
Let t(n) = -6*n**2 + n - 1. Let v be t(1). Let c be v/10*2/3. Is c < 0?
True
Let n = 27.05 - 27. Is 0 equal to n?
False
Let k be (-2)/(-4) + (-130)/69. Let j = -5/23 - k. Which is bigger: j or 0?
j
Let o be 1*-2 - (-28)/13. Let x = -0.09 - 0.11. Let a = x - -0.3. Which is bigger: a or o?
o
Let w(c) = c**3 - 9*c**2 + 7*c - 1. Let p be w(8). Which is greater: p or -11?
p
Let i(n) = 6*n**3 + n. Let d be i(-1). Let z(y) = y + 6. Let q be z(d). Which is greater: -1/3 or q?
-1/3
Let i be -3*(-58)/990*-4. Let w = 2/55 + i. Which is greater: w or -2?
w
Suppose 0 = -5*q + 649 - 2149. Let h be -2 + (-3)/(q/212). Which is greater: h or -1?
h
Let l = -4248/17 + 250. Is l at least as big as -2?
True
Let r = -25 + 21.7. Let h = -0.3 - r. Let l = -3 + h. Is l less than 0?
False
Let c = 26 + -25. Which is smaller: c or 10/9?
c
Let h = 0.4 + -0.3. Let u = 0 - 2. Let d = 2.1 + u. Does d = h?
True
Let b = 0.2 + -0.5. Which is bigger: b or 2?
2
Let s = -17 - -16. Is s > 11?
False
Let m = -55 + 45. Which is smaller: m or 2/13?
m
Let v = -4 - -9. Suppose -v*k = 10, 4*h - 1 - 9 = 5*k. Are h and 0 nonequal?
False
Suppose -u - 2 = -p - 1, -p - u - 5 = 0. Is p > 2?
False
Suppose -l + 105 = 4*l. Let c be 2/7 + 15/l. Is 1 less than or equal to c?
True
Let w be (-2)/3 + (-5)/(-12). Let c be ((-22)/14)/(4 + -8). Let k = w + c. Which is greater: k or 1?
1
Let y be ((-12)/(-14))/1 - 8/(-56). Which is smaller: -2/11 or y?
-2/11
Let v(k) = k**2 - 6*k + 3. Let w be v(6). Suppose w*t + 4 + 14 = 0. Let z be 8/(-5) - t/10. Is -1 > z?
False
Suppose -39 = -3*o + 4*w + 15, -3*o + 54 = -w. Is 18 less than or equal to o?
True
Let k be -10*(1 - 12/8). Suppose -k = 2*p - o, 8*p - 3*p = -o + 5. Suppose 2*l - 4*l + 2 = 0. Is l greater than or equal to p?
True
Let v = -1 - -2. Suppose v + 4 = 5*o. Let x = -165 - -166. Are x and o equal?
True
Let s(j) = j**2 + 5*j - 1. Suppose -2 = 5*n + 23. Let z be s(n). Let g = 7 + -27/4. Is g <= z?
False
Let r = -12 + 8. Let s(o) = -o**2 + 3. Let m be s(-3). Let d = r - m. Is 4/7 at most as big as d?
True
Let h be (250/3928)/((-18)/64). Let k = h + 2/491. Which is greater: k or 0?
0
Let d = 428/3 - 140. Is 4 equal to d?
False
Let w = -0.3 + 0.25. Let c be 60/272 + (-2)/(-8). Let v = 7/51 - c. Is w less than v?
False
Let u(i) = -i**3 - 2*i**2 - i. Suppose 3*m + 8 = -5*n, -5*n + 2*m + 3*m = 0. Let y be u(n). Let p be (4/(-40))/(2/(-5)). Is y not equal to p?
True
Let k be (-105)/(-102) + 5/(-5). Which is bigger: k or 0?
k
Suppose -l - 2*l - 3 = 0. 