e 0 = -2*q - 2*v - 16, -v - x*v = -4*q - 18. Let l be (2/(-10))/(q/(-5)). Which is smaller: l or 0?
l
Suppose -2*v - 40 = 3*z, -34 = 3*z + v - 2*v. Let j be -1*(-9)/(z/4). Which is smaller: -4 or j?
-4
Let i(d) = -3*d - 6. Let p be i(-5). Let a(l) = 2*l**2 + l - 26. Let r be a(4). Is r greater than or equal to p?
True
Let m be (-1)/10*((-24)/9)/4. Which is greater: -1 or m?
m
Let a be 2 + (14 - 4)/(-5). Which is smaller: -1/17 or a?
-1/17
Let f = 9134/29 - 315. Which is smaller: 0 or f?
f
Suppose 3*l - 3 = 2*j, 3*l + 2*l = -j - 8. Are 0 and l equal?
False
Suppose -18*i + 13*i = 0. Which is smaller: -2/5 or i?
-2/5
Suppose -3*s = -8*s - 25. Let x = 1 + s. Let n = 22 + -28. Which is smaller: x or n?
n
Let r = 0.1 - 0.1. Let h(o) = 4*o**2 + o - 1. Let t be h(1). Is r less than or equal to t?
True
Let w = 0.16 + -17.16. Let q = -16.9 - w. Let m = 0 - -3. Which is bigger: q or m?
m
Suppose r = 2*c, c - 3*c + 2*r = 2. Let g be -2 + (c + 1)*1. Is g at least 2/3?
False
Let d = 0 - 1. Let m = 126 - 135. Which is smaller: m or d?
m
Let z = -77 - -69. Suppose 0 = 2*k - 4, -4*k = -7*w + 2*w - 53. Which is greater: z or w?
z
Let z(m) = -m**2 + 5*m. Let a be z(5). Suppose -3*c = -a*c - 9. Let y be (-12)/9*c/26. Which is greater: y or 1?
1
Let r = -609382/15 - -40640. Let o = r + -6/5. Let z = -14 + o. Which is smaller: z or -1?
-1
Let a be -2 + (-60)/32*4/(-10). Which is greater: a or -2?
a
Suppose -5*o + 4*t - 2 = t, -4 = -o + 5*t. Which is smaller: 26 or o?
o
Suppose -5*s - 9 = -14. Which is smaller: 8 or s?
s
Let w be 9/10 + 1/(-2). Let s = -0.138 + 0.438. Is s equal to w?
False
Let v = -33 + 33. Which is greater: v or -3?
v
Suppose 5*z - 18 = 2*i + i, i - 4*z = 1. Let u = -9 - i. Let w = -2 + u. Which is greater: 1 or w?
1
Suppose 4*f - 6*f = 0. Let r be 1*(f + 2) - 0. Suppose 4*b = r*y + 12, 0*b - 3*b + 35 = 5*y. Which is bigger: 4 or b?
b
Let p = -11/6 + 4/3. Is 0 >= p?
True
Let w(k) = -k**2 - 4*k + 8. Let u be w(-6). Let c be (-20)/(-12) + u/6. Let t be (0 - 2)*c + 0. Which is bigger: -1 or t?
-1
Let j = -744 + 60260/81. Which is greater: j or 1?
1
Let a = -87 - -76. Is -9 less than or equal to a?
False
Let o be -4 + 19 - (-2 + 2). Suppose 2*t - o = -3*t. Which is smaller: 2 or t?
2
Let d(x) = x**2 + 4*x - 4. Let n be d(-5). Suppose 7 = 4*h - 5. Suppose 8 = 4*z - 0*t - t, 5*z - h*t = 10. Is z at least as big as n?
True
Suppose 4*z - c + 3 = 0, 0 = 5*z + c - 3. Suppose 4*t + z*t = 4. Is t at least 1?
True
Let b(h) = h**2 + 4*h. Let d be b(-3). Let i be (-4)/14 + (-38)/14. Let t be 2/i*45/10. Is t at most d?
True
Let t be 0 - ((-2 - -2) + 6). Let b(k) = -k**3 - 5*k**2 + 6*k. Let z be b(t). Suppose 9*h - 4*h - 5 = z. Is h >= 2/13?
True
Suppose 3*j = -3*v + 12, 3*v + 2*j - 17 = -2*j. Let f be ((-1)/2 + v)*2. Which is greater: -2 or f?
-2
Suppose -2*o + 16 = -4*x, -2*x + 2 = 3*x + 3*o. Is x bigger than -2/9?
False
Let z(d) = -d**3 + 2*d**2 + 2*d + 2. Let f be z(3). Let t be (-9)/12 + f/4. Which is greater: t or -0.6?
-0.6
Let h = -0.5 + 0. Is 0.1 equal to h?
False
Let v = -23/2 - -9. Is v greater than or equal to -2?
False
Let m be 3/6*(1 + 1). Let p = 3.9 + 0.1. Let t = 3.9 - p. Is t <= m?
True
Let c = 31 - 26. Is c >= -0.2?
True
Let q be ((-11)/4)/((-1)/(-4)). Does q = -12?
False
Let r = -2753/141 + 9/47. Which is smaller: r or -19?
r
Let x = 8 + -10. Let s = 2 + x. Let n = 1 - 0. Which is smaller: s or n?
s
Suppose n - d - 1 = 0, 5*n = -3*d - d + 14. Suppose -6*j - 4 = -n*j. Is 1/4 at most as big as j?
False
Let f = 5 - 4. Which is smaller: -1 or f?
-1
Let c = -197 - -195. Let w(x) = 2*x. Let j be w(2). Suppose -j*s = -0*s + 4. Which is smaller: s or c?
c
Let u = -0.12 - -0.02. Is -56 at most as big as u?
True
Let u = -23.1 + 22.17. Let m = -3.77 + u. Let k = m - -0.7. Which is smaller: k or 1?
k
Let n = 40.08 - 40. Which is greater: n or 0.1?
0.1
Let d be ((-1)/2)/((-2)/12). Let o = -5 + d. Which is smaller: o or -0.2?
o
Suppose -4*o - 115 = 3*m, -5*m + 2*m = -3*o - 81. Are o and -28 unequal?
False
Suppose 0 = 7*u - 2*u + 20. Are -14/5 and u equal?
False
Let j be 2/4 + 19/(-2). Let x be (3/j)/(1/(-3)). Which is smaller: 2/5 or x?
2/5
Suppose -5*a + 0*a = 310. Let m = -188/3 - a. Is 0 less than m?
False
Suppose -a + 5*a - 104 = 0. Which is smaller: 27 or a?
a
Let s(p) = -p + 1. Let l = 4 - 4. Let y = 3 - l. Let h be s(y). Is h at most as big as -2?
True
Let v = 96 + -96.99. Let x = -0.01 + v. Let n = -1.1 - x. Is n at most -3?
False
Let j(g) = -g**2 - 2*g + 1. Let a be j(1). Let c be (-1716)/10 + 2 + 0. Let r = c - -169. Which is greater: a or r?
r
Let v(k) = k**2 - 11*k - 13. Let j be v(12). Suppose z + 3*z = 24. Suppose -4 = 2*g - z. Is j less than or equal to g?
True
Let c = -13 + 37/3. Do -2 and c have the same value?
False
Let m = 4 + -2.7. Let s = m + -0.3. Which is smaller: 8 or s?
s
Let r(q) = -q**3 + 5*q**2 + 15*q - 6. Let l be r(7). Which is greater: -7 or l?
l
Suppose 4*v - 7 = 5. Suppose v*f = f. Is 2/17 > f?
True
Let f be 4/(3/3) + -3. Let b be -1*((-1)/(-1) - f). Is b at least -6/11?
True
Let r = -4 - -11. Suppose r*l - 5*l = -2. Which is greater: 0 or l?
0
Suppose 5*l + 17 = 3*m - 0*l, -5*m + 11 = -4*l. Is -3/2 < m?
True
Suppose -3*f - 3*f + 402 = 0. Is 67 greater than f?
False
Let v(m) = m**2 + 5*m - 12. Let o be v(-7). Suppose h - 7 = -2. Suppose -2*g + h*d + 15 = -7*g, -2 = -2*g + 2*d. Which is smaller: g or o?
g
Let l = -22 - -30. Which is bigger: l or 3?
l
Let r be (-27)/(-6)*4/3. Let h be 4/(-6)*r/(-148). Which is bigger: h or -1?
h
Let b be (1 - -3) + 2*-3. Which is bigger: b or -0.02?
-0.02
Suppose -z - w - 24 = -2*z, w = -z + 16. Which is smaller: 21 or z?
z
Let k(r) be the first derivative of -r**3/3 + 2*r**2 - r - 2. Let y be k(4). Does -2/9 = y?
False
Let c be (-15)/6*-1*8. Let h = -19 + c. Are -1 and h unequal?
True
Let b = -3031/13 - -233. Which is smaller: 1 or b?
b
Let f be -1*(-2)/1 + (-30 - 0). Which is greater: f or -29?
f
Suppose 25 = -4*q + 5*t, -6*q - 3*t = -2*q - 15. Suppose 2*a + 0*a + 10 = q. Which is greater: -6 or a?
a
Let m = -18 + 17.96. Which is smaller: -1 or m?
-1
Let i = -0.43 - -2.43. Which is smaller: -8 or i?
-8
Let z = -7 + 6. Let c = 4.104 + -0.004. Let y = c - 4. Which is greater: z or y?
y
Suppose q - 1 - 4 = 0. Suppose 4*p + 7 = -5*l, -q*p + 2*l = -2*l + 19. Suppose 7*w - 4*w = -3. Is p >= w?
False
Suppose 5*g - 53 + 3 = 0. Let q = g - 12. Is q not equal to -2?
False
Suppose -4 = 2*f + 2*s, f - 8 = 4*f + 4*s. Is -2/87 < f?
True
Let g = 8 + -8. Let n = -1 - g. Which is greater: n or -1/2?
-1/2
Let j be -5 + 4 + 0 - 23*1. Which is smaller: j or -0.4?
j
Let t(x) = 4 - 3*x - x**3 + 4*x**2 - 6*x**2 + 7*x. Let o be t(-3). Are -2/7 and o nonequal?
True
Let i be -64 - -1*(6 + -3). Which is greater: i or -62?
i
Let d = 19.16 + -19. Let g = -0.06 + d. Are g and -11 equal?
False
Let r = 51 + -31. Suppose 11*f = 6*f + r. Suppose -3*p = -2*p, 5 = t + f*p. Is t at least 4?
True
Let a be ((-30)/7)/(34/(-119)). Which is greater: a or -0.3?
a
Let u = -11 - -10.8. Suppose -7*v = -2*v + 4*m + 20, -v + m = -5. Is u less than v?
True
Let g = -0.09 - -6.09. Let m = -5.97 + g. Is m equal to 0.1?
False
Let x be (-4)/(-165199)*(-1)/(-2). Let r = -22136400/21971467 - x. Let o = r + 11/19. Which is smaller: 0 or o?
o
Let k be 33/5 + 4/10. Suppose 3*i = 3*v + i + k, 0 = 4*v + 3*i - 19. Which is smaller: v or -2/5?
-2/5
Suppose 4*h = c - 6, 0 = 3*c + c - 4*h + 12. Let a be 8/c - (-2 - 0). Suppose -3*g + 1 + 5 = 0. Does a = g?
False
Let x(g) = g + 4. Let q be x(0). Suppose -1 = -2*p + q*k + 3, -5*k = -5*p + 5. Which is smaller: -1/14 or p?
-1/14
Let f = -50 + 58. Suppose -5*z - k + 36 = 0, 3*z - 2 = 2*k + 17. Are z and f non-equal?
True
Let z = -2 - -5. Let v = 5 + 5. Suppose -5*o + 0*m + v = -5*m, 7 = 4*o - 3*m. Is o at least z?
False
Suppose -3*b + 2 + 1 = 0. Is 7/11 > b?
False
Let r(t) = -4*t - 7. Let p be r(-5). Suppose y - p = -4*v + 6*v, -3 = -y. Which is bigger: v or -4?
-4
Let m = -16.2 + 16. Which is bigger: -2 or m?
m
Let f = -26.8 - -27. Let t(y) = y + 3. Let i be t(-6). Is f at least i?
True
Let j(p) = p + 6. Let u be j(-5). Let d(t) = 7*t - 9. Let s(r) = -6*r + 8. Let i(l) = 5*d(l) + 6*s(l). Let c be i(2). Is u at most c?
True
Let g = 12 + -10. Suppose 4*m + r + 4 = -0*r, -g*m - r = 4. Which is smaller: m or 