-5.04 - h. Is -0.1 bigger than d?
True
Let m(l) be the first derivative of l**2/2 - 10*l + 1. Let h be m(7). Let f = 9/2 - 6. Are f and h non-equal?
True
Let o(z) = -z**3 - 8*z**2 - 9*z - 13. Let s be o(-7). Which is smaller: s or -6?
-6
Let t = -6 + 16. Let o be 1 + 2/(t/(-9)). Are o and -2 non-equal?
True
Let z be ((-6)/12)/((-1)/6). Let b be ((-30)/9)/((-2)/(-6)). Let o be (-7)/b*(-30)/(-12). Which is smaller: z or o?
o
Let z be (-7 - -4)*2/(-3). Suppose 0*g + g + y = z, g - 5*y = -16. Is -6/7 at least as big as g?
True
Let c(i) = i - 4. Let p = 0 + 1. Let a be 0/(4 - p - 2). Let u be c(a). Which is greater: -3 or u?
-3
Suppose -2*f = -16 - 0. Let l be f/((2 - 3)*-2). Suppose 10 = l*a + 2. Is 3 <= a?
False
Let k = 3539/485 + 10/97. Is 7 less than or equal to k?
True
Suppose -2*v = 183 + 101. Let g = v - -421/3. Is -2 smaller than g?
True
Let z = -1 - 0. Let n = z + 0. Let i be (-1*(-2)/(-10))/(-1). Which is greater: i or n?
i
Let m(o) = o**3 - 4*o**2 + 3*o - 1. Let s be m(3). Let c = -399 - -398. Are c and s non-equal?
False
Let p be 4/14 + 2/(-7). Suppose p*w + 4*w = -4*y - 12, 2*w - 4*y - 6 = 0. Is w <= 1/2?
True
Let l = -0.61 + 8.51. Let k = l + -9. Let h = -1 - k. Is 2 > h?
True
Let s = -125 + 5749/46. Let g = s - -25/92. Is -0.4 greater than or equal to g?
False
Let r be 0 + -2582 - (-3 - -1). Let i be 407/r - 3/12. Let u = i + 1/129. Is u equal to 1?
False
Let o = 0.072 + 0.428. Is -11 < o?
True
Let i be ((-12)/18)/(1/(-6)). Let l be 100/90*3/i. Which is smaller: l or 2?
l
Let m be (-4)/(-18) + 14/18. Suppose 2*l - 4*t = -3*l + 45, -3*t = l + 10. Suppose -l*d + 2*a = -3, 2*d + a - 1 = 2*a. Is m bigger than d?
False
Suppose 0 = -3*v + 3*w + 3, 0*v + 2*w = -4*v - 14. Let i be v/(-5)*330/(-9). Let u = i + 15. Which is smaller: u or -1?
-1
Suppose -10 = -16*n + 6*n. Which is bigger: n or 2/79?
n
Let g(c) be the second derivative of 0 + c - 1/6*c**3 + 1/2*c**2. Let b be g(1). Which is greater: 1 or b?
1
Let g = 2 + 1. Let m be (-4)/(-12)*(-2)/g. Which is smaller: m or 1?
m
Suppose -4*s + 18 = -46. Let j = s + -10. Let y = j + -11. Which is smaller: -4 or y?
y
Let k = -17 + 16. Is -1/3 <= k?
False
Suppose 2*f - 8 = 2*q, -f = -0*f - 4*q - 16. Which is bigger: -1 or f?
f
Suppose 3*n + 2*w - 2 = n, -4*n - 2*w = -10. Is n <= 4?
True
Let s = -158/85 + 18/17. Let m be -2*(4 - -1 - 4). Is s at most as big as m?
False
Suppose 2*z = -5*d + 5, -3*d - 2 + 5 = 5*z. Let y = -2 + z. Is y at least -2?
True
Let r = 1/21 + 2/7. Is r greater than 4/9?
False
Suppose 0 = -4*c + 5*s - 6 - 6, -c - s + 6 = 0. Suppose c*j = 3*j. Suppose -3*w - 20 = 5*m, -4*m - 13 = 4*w + 11. Is m at least as big as j?
False
Let q = 2338/13 + -180. Which is greater: q or -1?
q
Let p(i) = -i**2 - 11*i + 7. Let o = -13 + 2. Let d be p(o). Is 8 greater than or equal to d?
True
Let b = 0.95 + -0.85. Let l = -33358/447 + -6/149. Let a = 74 + l. Does b = a?
False
Let d(u) = -2*u**2 - 2 - u + 3*u**2 - u - 2*u**2. Let w be d(-2). Let s be w*2/(4/2). Is s equal to -1?
False
Suppose 4*u + 3*g = -25, 4*u + g + 15 = -4. Let s = -7 - u. Which is smaller: s or -1?
s
Let g be 2 + (1 - 96/28). Let l = 3.9 + -1.9. Which is smaller: g or l?
g
Let c = -0.7 - -0.4. Let z = 0.59 - 0.7. Let t = 2.11 + z. Is c at least as big as t?
False
Let i(n) = n**2 - 3*n + 9. Let h(j) = 5*j**2 - 11*j + 37. Let d(c) = 2*h(c) - 9*i(c). Let y be d(-6). Is 0 at most y?
False
Let d = -1.3 + -6.8. Let a = -8 - d. Let m = 22 + -16. Are m and a unequal?
True
Let l = -16 + 20. Suppose 2*j = -6 + 2. Let f = j + l. Do f and 2 have the same value?
True
Let n = -3 + 7. Suppose -w + 1 = n*x + 2, -5*w - 20 = 5*x. Let a be 1 + 0 - (3 - x). Do 1/6 and a have the same value?
False
Suppose a + 38 = 2*g, -a - a = 3*g - 64. Suppose 4*w = 16 + g. Which is smaller: 1 or w?
1
Let l = 0 + -1. Let g(q) = q**3 - 3*q - 4. Let b be g(3). Let t = b - 13. Is t < l?
False
Let w = -41/2 - -20. Which is smaller: w or -2?
-2
Let m = 0.56 + 0.44. Which is greater: 0.7 or m?
m
Let r be (-2)/(-4) + 184/(-352). Which is smaller: 0 or r?
r
Let t(b) = -b**3 - 13*b**2 + 31*b + 14. Let p be t(-15). Let h be (177/15)/(22 + 0). Let j = 7/11 - h. Which is smaller: p or j?
p
Let p = 19 + -13. Is p at least as big as 1?
True
Let i be -17 + 2*(-3)/(-3). Let q be (-3 - 27/i)*-10. Suppose -5*m = 2 - q. Is 1 at most as big as m?
True
Suppose 0 = -0*q + q - 2*y + 4, -11 = -q - 3*y. Suppose 4*p = q*z - 0*p + 12, -3*z = 3*p - 9. Let t = -253/5 - -51. Which is smaller: t or z?
z
Let z = 1049/5 - 209. Suppose 3*h - 51 = 5*m + 2*h, -4*h = 3*m + 26. Let j be (4/m)/((-4)/10). Is z equal to j?
False
Suppose -3*v - 6 = -3*d - d, -3*v = -d + 15. Let g = -5 - v. Is 3 bigger than g?
True
Let r = 1 - 1.6. Let w = r + 0.5. Which is greater: w or 2/5?
2/5
Suppose 0 = 4*v + 2*m + 2, 3*v = 2*m - 12. Let q = 3 + v. Suppose 2*c - 5*a + 18 = 0, -6 - 1 = c - 2*a. Is q at most as big as c?
True
Let j be 1/(-1) + 3 + 3. Let y = j - 2. Is y >= 1/2?
True
Let q = 1.08 - 0.08. Which is greater: q or 4?
4
Suppose -2*s + 5*f - 20 = -7*s, 0 = -s + 5*f - 14. Suppose 2*v + 3*v - 10 = 0. Suppose 0 = v*h - 3*h. Is s bigger than h?
True
Let t(j) = j**3 + 7*j**2 + 9*j - 4. Let k be t(-5). Let s = 6 + -5. Is k equal to s?
True
Let j = -8.12 + 8. Let r = -5.88 + j. Let b = -6.1 - r. Is b greater than -2?
True
Let h = -4 + 3. Let a = 1.1 + h. Let q be 8*3/(-18)*(-6)/(-44). Which is greater: q or a?
a
Let x = -3 + 3.1. Is x bigger than 0.05?
True
Suppose -15 = -7*o + 4*o. Suppose 0*h = o*h. Suppose -3*p + 5*p = h. Which is smaller: 3/7 or p?
p
Let f be (-196)/(-748) - (-10)/110. Which is bigger: f or 3/5?
3/5
Let x be (22/(-275))/(4/5). Let v = 0 + 0. Do x and v have different values?
True
Let s = -65 + 46. Which is greater: s or -0.1?
-0.1
Let t = -0.6 + 1.5. Let y = t - -2.1. Let a be (-4)/(-8)*(1 + 1). Which is bigger: a or y?
y
Let h(u) = u + 2. Let l be h(-5). Let s = 0 + -6. Is l equal to s?
False
Let a = 4/233 - -7211/699. Let p be (-3)/(27/30)*-3. Let c = a - p. Are c and -0.1 nonequal?
True
Suppose -2*l - 3 = k - 9, -k - 3*l = -9. Is k >= 1/2?
False
Let m be (-1*(-1 + 1))/2. Suppose -5*l = 4*y + 22, 3*y - 5*l - 12 = -46. Let h be y*(-3)/(-15) + 2. Which is smaller: m or h?
m
Let w = -18.9 + 19. Which is bigger: -4/23 or w?
w
Suppose 0 = -o - 3, -2*o = q - 0*o + 5. Let j be (-4 - -1) + q*3. Let r = 141 + -1267/9. Does j = r?
False
Let s be (-1)/2*(-8)/2. Suppose 2*g + 2 = -3*n - 0*n, g = s*n - 8. Does 5 = n?
False
Let j be (-4)/2 - 8/(-4). Let g be (-1 - 12/(-9))*j. Let o(r) = -r**2 + 6*r + 7. Let c be o(7). Is c greater than or equal to g?
True
Let k = -4 + 0. Let n = 6 + k. Is 17/5 <= n?
False
Let s = 26 - 28. Let y be ((-5)/80)/(1/s). Let j = -0.04 - 1.96. Which is smaller: y or j?
j
Let z = 6 + -4. Let v = z + -1.7. Suppose 4*p + 14 = 2*k, -4*k - k - 2*p - 13 = 0. Which is smaller: v or k?
k
Let j = -1030/99 + 92/9. Let b be ((-1)/(-1))/(-5 + 4). Which is greater: b or j?
j
Let w(c) = -2*c - 4. Let k be w(-4). Let p be ((-21)/28)/((-1)/k). Suppose 1 = 2*z - v, -3*z + p*v = -8*z - 25. Which is smaller: z or -1?
z
Suppose -5*j = 2*w - 4 - 3, j = 5*w - 4. Is -2/27 bigger than j?
False
Let m be (3/(-2))/(3/(-16)). Let b(x) = x**3 - 7*x**2 + 4*x - 3. Let j be b(6). Let c = -7 - j. Is c greater than m?
False
Let x be (1 + -2)/((-3)/6). Let q be ((-12)/(-35))/(14/35). Are x and q equal?
False
Let p = 0.85 - 1.05. Is p at least as big as 1?
False
Let y = 38/5 + -499/65. Which is bigger: y or 1?
1
Suppose -1 = 3*y + h + h, -4 = -2*y + h. Are 1/6 and y unequal?
True
Let i = 40 - 53. Is i != -12?
True
Let q be 39/(-2)*2/6. Which is smaller: q or -7?
-7
Let w = -0.5 + 1. Let o = w + -0.2. Let t = -0.2 + 0.1. Which is smaller: o or t?
t
Let w be (-154)/(-15) - (0 + 3). Let x = -20/3 + w. Is 2 < x?
False
Let v be 2 + (-24)/(-3) - 4. Which is greater: v or 7?
7
Suppose 2*a + 3*h + 3 - 6 = 0, 0 = -5*a + 5*h + 20. Suppose -a*x + q = -10, x + 0*q = q + 2. Let r = -4 + x. Which is bigger: -1 or r?
r
Let c be 4/(-21)*(-225)/6. Let u = 306/35 - c. Is u at least 2?
False
Let d(a) = a. Let x be d(0). Let u = -468817/8 + 58697. Let c = u + -95. Is x equal to c?
False
Suppose -2*i + 9 = -9. Suppose i = 2*p + p. Suppose -p*q - q + 12 = 0. Which is smaller: 1 or q?
1
Let h = -11/4 + 43/20. Suppose 3*q + 7 = -5*m + 25