 -3*i + 4*v + 13 = 0, 0*v - 1 = i + 4*v. Let l be i*(0 - 8/6). Let f = l - -3. Which is smaller: 0 or f?
f
Let h(b) = b - 12. Let i be h(5). Is -6 greater than i?
True
Suppose 0*h + h = 5. Let w be (-5 + h)*(-1)/(-2). Let i be (-376)/280 + (-1)/(-5). Which is smaller: w or i?
i
Let g be (-2 - 4) + 2 - -1. Let a(m) = -m**2 - 10*m - 12. Let q be a(-8). Let o be (g/6)/((-3)/q). Which is smaller: o or 2/5?
2/5
Let b be 0 - -1 - (49 + 0). Let w = -193/4 - b. Is 0 > w?
True
Let u = 6/19 - -7/38. Is u at most as big as 3/4?
True
Let n(s) = -s**2 - 7*s - 8. Let m be n(-6). Suppose -w - 15 = 4*w. Which is smaller: m or w?
w
Suppose -6*x = -3*x + 18. Let k(t) = -4*t - 8. Let i be k(x). Let v be (3 - i/6)*-1. Is v less than 1?
True
Let x = -11 - -11. Let t be (x + 3)*60/36. Is 5 greater than t?
False
Let n be (-9)/6*6/9. Let c = 7 + -15/2. Which is smaller: c or n?
n
Let y be (8/(-10) - (-6 - -3)) + -3. Let f be 8/(-10) + 2/(-10). Is y at most f?
False
Let d be 3 + -1*(2 - 0). Suppose a - 1 = d. Let y be a/(-3)*(-12)/32. Which is greater: 0 or y?
y
Suppose -52*i + 54*i + 2 = 0. Which is smaller: -1/121 or i?
i
Let b(m) = m + m**3 + 8*m + 9*m**2 + m**2. Let y be 29/(-3) + (-10)/(-6) + -1. Let f be b(y). Is -1 greater than f?
False
Let t = 323/4 - 80. Which is greater: t or 2?
2
Let x = -67 + 56. Do -12 and x have the same value?
False
Suppose 3*d = -3, 2 = -2*r + 3*d + 7. Which is greater: r or -1/163?
r
Let s be (30/9)/(6/27). Suppose 2*u = -u - 3*m + s, -4*u = -4*m - 60. Do u and 10 have different values?
False
Let w be (6/(-4))/(6/8). Are -1 and w unequal?
True
Let u = 53 - 34. Is 19 at most u?
True
Let v = 12 + -2. Suppose -4*p - v = 14. Is -4 less than p?
False
Let p be (24/(-28))/(8/(-70)). Is p at least 8?
False
Suppose -107 = -3*j - 5. Let n = j + -13. Let o be 8/n + (-6)/9. Which is bigger: -2 or o?
o
Suppose -y + 5*u - 23 = 0, -5*u + 11 = 3*y - 0. Let w(j) = j + 6 - 9 + 0*j**2 + j**2. Let t be w(y). Is t at least 0?
True
Let t be (-2)/5 + (-14)/(-10). Let b = 99 - 1685/17. Which is bigger: t or b?
t
Suppose -2*s = -4*s. Let k = 6679/15 - 445. Which is smaller: k or s?
s
Let h = -3/245 + 149/735. Which is smaller: h or -2?
-2
Let d be 2/9 - 700/(-90). Let w = d + -10. Is -10 at most w?
True
Let p = -116 + 76. Is -39 at most p?
False
Suppose 2*a = y - 4, -2*y + 4 = -3*a - 2. Is -0.3 not equal to a?
True
Let l be 8/((-112)/(-10)) - 1. Which is greater: -1 or l?
l
Let g be (3 - -2)*(-2)/5. Let o(y) = y**2 - 4*y - 8. Let c be o(6). Let j = g + c. Is j at most 2?
True
Suppose 6 = -4*f + 6*f. Let h be 0 + 2 + (2 - f). Is 1/2 smaller than h?
True
Let i be (-50)/(-126) - 18/63. Which is smaller: 0.4 or i?
i
Let a = 44/9 + -502/99. Which is smaller: 0.2 or a?
a
Let f be 6/(1*3/(-4)). Is -8 > f?
False
Let k(c) = -c. Let l be k(-2). Let f(x) = -19 + 19 - 3*x**3 - 2*x**l + x**2. Let m be f(1). Which is smaller: -1 or m?
m
Suppose 0 = -5*r + 4*t + 25, -r + 4*r - t - 8 = 0. Which is smaller: 6/11 or r?
6/11
Let c be (17/34)/(-1 - 72/(-3)). Is c less than or equal to -1?
False
Let v(s) = 5*s + 2 - 2*s - 2*s. Let x be v(-1). Let c = 2.7 - -0.3. Is c > x?
True
Let r = 1.9 - 4. Let j = 2 + r. Which is greater: j or 1/3?
1/3
Let w be (-48)/(-30) + (-4)/(-10). Suppose 0 = 2*z + d - 5, 0 + 9 = 3*d. Suppose -2*u - 3*c = -15, -z + 10 = 3*c. Is w >= u?
False
Let h = -3.01 - -3. Let t = 167/246 - 1/82. Which is greater: h or t?
t
Let g = -7/13 - -10/13. Which is bigger: 1 or g?
1
Suppose 8 = 2*u + 5*y - 3*y, -4*y + 16 = 0. Let r(g) = g**2. Let f be r(u). Is f <= -2/11?
False
Let u = 3/10 + -9/10. Let j be (5/(-3))/(8/(-24)). Suppose -j*p = -2*p + 3. Which is smaller: p or u?
p
Suppose -2*l + 4*n + 44 = -26, -2*l - 4*n = -30. Suppose 0 = 2*f + 3*y - l, 11 = 5*f + 2*y - 24. Which is greater: 4 or f?
f
Suppose 4*u = -5*g - 20 + 58, 0 = 5*u - 10. Is g > 40/7?
True
Let l = -0.044 - -0.012. Which is smaller: l or 1/2?
l
Let j be (2 - 2 - 0)/(-1). Let s = -3/85 + -31/85. Is s bigger than j?
False
Let w = 546 - 552.06. Let g = w - -0.06. Which is smaller: g or 2/3?
g
Let f = -28 + 42. Let z(g) be the third derivative of -g**6/120 + 13*g**5/60 + 13*g**4/24 + 13*g**3/6 + 21*g**2. Let t be z(f). Is t less than -4/5?
True
Let t = 1361/6 - 228. Which is smaller: t or 0?
t
Let m be (1 + (-2)/3)*6. Let r(h) = h**2 + 3*h - 3. Let i be r(-4). Let v be (-5)/(-3) - (1 + i). Is v at least m?
False
Let f = 0.05 - -22.95. Is -1 greater than f?
False
Suppose -5*m = -0*a + 4*a + 18, -2*m + a - 2 = 0. Let f = 38 - 26. Suppose 4*g = -f - 4. Which is smaller: m or g?
g
Let j = 2 + -5. Let o = 3 + j. Let d = o - 0. Do d and 0 have the same value?
True
Let h(t) be the first derivative of t**2/2 + t + 3. Let a be h(0). Which is smaller: a or 4/7?
4/7
Let a = 113 + -112. Suppose 4 = -2*k - 0. Let y(j) = -j**3 - j**2 + 2*j. Let s be y(k). Is a at least s?
True
Let r = 7 - 8.5. Let w = -4.5 + r. Let a = 5.7 + w. Is 0 equal to a?
False
Let o = 8 - 5. Let f be (-2)/(-6) - 85/(-60). Is f <= o?
True
Let u = 3 + -4. Let q(r) = 2*r**2 - 2*r + 1. Let p be q(1). Let k = u + p. Is 1 <= k?
False
Let x be 9/(36/(-8)) + (-14)/(-6). Is 2/73 at most x?
True
Let g = -2185/9 + 243. Let l be 1/2*(3 - 5). Let k be -2 + 0 + l/(-1). Which is bigger: g or k?
g
Let d(z) = -z**3 - 13*z**2 - 12*z + 1. Suppose 2*u = -3*r + 6 - 40, 5*r = u - 61. Let k be d(r). Is 1/3 smaller than k?
True
Suppose 0 = -y - 2*w - 3*w + 23, -2*y = 3*w - 18. Suppose -3*p - 171 = 5*j - 2*j, y*p = -15. Let v = -258/5 - j. Which is greater: 1 or v?
1
Suppose 320 = 8*c - 136. Is c >= 57?
True
Let w be (-267)/450 + (-2)/(-4). Let f = -4/25 - w. Which is smaller: 0 or f?
f
Let i = 18 + -18.6. Which is smaller: 2/11 or i?
i
Suppose d - 737 = 43. Let a be 481/d + 2/(-3). Which is smaller: a or 0?
a
Let q be 1*(-1)/3*-42 + -1. Which is bigger: q or 15?
15
Let z be -1*2 - (-192)/5. Let a = z - 186/5. Is a < 1/3?
True
Let i be (6 - 1)*(-10)/(-925). Which is smaller: i or -1?
-1
Suppose -3*v + 8*v + 21 = -4*u, 0 = 3*u - 3. Let b = v - 19. Let t be 8/(-2)*4/b. Is t less than -1/4?
False
Let p be -3 - 1/((-2)/14). Suppose 0 = p*i - x - 6, 3*i - 2 = -2*i + 4*x. Is i less than or equal to 2?
True
Let i = -32 - -12. Let w be (-1)/(i/(-2) + 3). Is w > 1?
False
Let a = 149 - 149. Is a equal to 1/98?
False
Suppose 5 = b - 6*b. Let o be (2/6)/(34/(-306)). Which is smaller: b or o?
o
Let f = 2.01 - 0.01. Is -2/35 less than f?
True
Suppose -4*m = -4, 4*m = 3*r - 0*r + 40. Which is bigger: r or 1?
1
Let n = -85/4 + 63/4. Let z be (-6)/(-15) - (1 + -1). Which is smaller: z or n?
n
Suppose -10 = -0*n - 5*n. Let f = -9 + 8. Is n greater than or equal to f?
True
Suppose 6 = -4*j + 5*p, -j - 4*p = 4*j + 28. Let m(s) = -s**2 - 6*s - 6. Let q be m(j). Which is greater: -0.1 or q?
q
Let m(y) = -2*y - 5. Let q be m(-2). Is 8/23 bigger than q?
True
Let x(w) = -3*w**3 - 2*w**2 + 4*w - 1. Let m(l) = l**3 - l - 1. Let d(h) = -2*m(h) - x(h). Let u be d(-3). Let k = -9 - -8. Is u less than k?
False
Let k = 0 + 27. Suppose 6*c - k = 2*c - 3*p, 2*p + 16 = 3*c. Let i be 1/(16/c - 3). Is i > -4?
True
Let v(d) = d**2 + 6*d + 5. Let b be v(-5). Let g = -8 - -21. Let k be g/(-5) + 1 + 2. Which is bigger: b or k?
k
Let g = -4 + 6. Let u be -3 + 308/60 - g. Is u smaller than 0?
False
Let u be (-2)/6 - 33/(-45). Let b = -122.5 + 122. Which is bigger: b or u?
u
Let z = -0.9 - -0.97. Let x = 0.93 + z. Is x at least as big as 1/3?
True
Let z(o) = 6*o**2 + 6*o - 5. Let j(g) = 5*g**2 + 5*g - 4. Let l(u) = 3*j(u) - 2*z(u). Let d(s) = -s**2 + 1. Let k(h) = 4*d(h) + l(h). Let b be k(3). Is b < 2?
False
Let z = 3894430760624/32169917 - -60/2474609. Let o = z - 120756. Let p = -302 + o. Which is bigger: 1 or p?
1
Let x = -9 - -8. Suppose 4*k = 2*k. Let z = k - x. Which is smaller: z or 2?
z
Suppose -2*r - 14 = -3*v, -2*r - v + 14 = -5*r. Let q = 3 + r. Let d = -2 - q. Are -1 and d unequal?
False
Let z = -381/230 + 17/10. Which is smaller: 0 or z?
0
Let s be 3 + (-48)/10 + -1. Which is smaller: s or -2?
s
Let i = 67 - 70. Let d = -3.2 - -3. Is i < d?
True
Let w = -1.8 + -7.2. Let x = 9.2 + w. Is x != -2?
True
Suppose 14 - 29 = -5*f. Is 22/5 not equal to f?
True
Let u = -0.6 - -0.5. Let r = u - 0.9. Is r smaller than -1?
False
Let p = -1.39 + 0.59. Let t(q) = q**2 + 6*q. Let f be t(-6). Is f bigger than p