 = h?
False
Let r = 20 - 45. Is r less than -26?
False
Let h(b) = -b**3 - 8*b**2 - 7*b. Let p be h(-7). Suppose p = -w + 5 - 9. Which is bigger: w or -5/2?
-5/2
Let p = 23 - 209/9. Which is bigger: -2/7 or p?
p
Let n be 278/(-14) + 3/(-21). Which is smaller: n or -21?
-21
Let z = -12 + 145/12. Is 1 > z?
True
Let q = 28 + -27.6. Which is bigger: 19 or q?
19
Let q = -5.8 + 6. Let a = 7 - 7. Is q at least a?
True
Let x = -18.1 + 18. Which is smaller: -0.3 or x?
-0.3
Let y(u) = -u**3 + u. Let j(g) = 4*g**3 - 8*g**2 - 5*g - 10. Let t(c) = j(c) + 5*y(c). Let v be t(-8). Let z be (-8)/10 + 2/v. Is z less than or equal to -2?
False
Let f = 2222/21 - 308/3. Which is smaller: f or 4?
f
Let b(a) = a**3 + 16*a**2 - 18*a - 16. Let i be b(-17). Which is smaller: 6 or i?
i
Let r(n) = n - 8. Let p be r(9). Let y = -22 - -21. Is y less than p?
True
Let h = -2 + 4. Suppose -d = -4, 6 + h = 4*o + 3*d. Let l = 33/4 + -8. Which is greater: l or o?
l
Let y(z) be the second derivative of 2*z + 3/2*z**2 + 0 + 5/6*z**3. Let q be y(-2). Which is greater: -8 or q?
q
Let n be (-8)/(-10) - 2 - (-15)/75. Let s = -10 + 6. Let j = s + 2. Are n and j nonequal?
True
Let c = -7.9 + 8. Let l = 3.4 + -3. Is c != l?
True
Suppose 0 = 5*l + 5*a - 135, 4*a = -0*a - 12. Let c be (-30)/(-36)*8/l. Which is greater: 0 or c?
c
Suppose 5*i - 14 = -2*n, -3*n - 4*i + 18 = 2*n. Suppose n*x - 3*x = -2. Which is greater: 4 or x?
4
Let z = -1227/7 + 175. Is z at most as big as -19?
False
Let t = -55/2 + 27. Suppose -5*j + b + 11 = 0, -3*j + 14 = 2*j - 4*b. Suppose -3*l = q - 4 - 7, -24 = -j*l - 4*q. Is l not equal to t?
True
Suppose -2*g = -4*y - 32 + 150, 4*y = 5*g + 295. Is 0 <= g?
False
Let v(a) be the second derivative of -a**5/20 + 5*a**4/12 - a**3 + a**2/2 + a. Let d be v(4). Let q be (-1)/(-4) - d/4. Which is smaller: 4/7 or q?
4/7
Suppose -1 + 34 = -3*m. Let l = m + 5. Let t(v) = v**2 + 6*v - 1. Let q be t(l). Is q bigger than 0?
False
Let c be 4/(-18)*-3*-3. Suppose -2*o = -5*o - 6. Are c and o nonequal?
False
Let q be 1/2 + 6/(-12). Suppose q = 3*z + 2*z. Which is smaller: 2/31 or z?
z
Let q(h) = h + 6. Let c be q(-5). Suppose c = f - 0*f. Let z = 11/4 - 3. Are f and z unequal?
True
Let b = -0.5 - -6.5. Let l = -29 - -29.1. Is l > b?
False
Suppose 2*m = 3 - 9. Suppose 1 = -3*p - 8. Are m and p unequal?
False
Let t = -12 - -18. Suppose 52 - 57 = -5*o. Which is bigger: t or o?
t
Let p(m) = -1 - 3*m**2 + 8 - 6. Let i be p(-1). Are i and -1 equal?
False
Suppose 21 = 2*k + k - 4*t, -k + 4*t = -15. Is k <= 4?
True
Suppose -46 = -4*n + 6. Let u = -14 + n. Is u less than 2/27?
True
Let j be 4/(-6) - (-8)/(-33). Let z be -1*(1 - -1) - 0. Do z and j have the same value?
False
Let j be (-3)/(-12) - (-170)/(-8). Let x be (1 + 0)*j/(-49). Which is smaller: -1 or x?
-1
Let p(s) = s. Let u be p(6). Let y be 10*(3/u)/1. Let k = 6 - y. Is k at most as big as 0?
False
Let l(s) = -1 - 5 + 0 - s**2 - 7*s. Let w be l(-7). Do w and -4 have the same value?
False
Let p be ((195/(-50))/(-13))/(1/2). Do p and 1 have the same value?
False
Let i = 1/1319 + -5311/46165. Let q = i + 113/70. Is 3 greater than q?
True
Let s = 21 + -39. Let a = s + 125/7. Are 0 and a nonequal?
True
Let n = 4 + -5. Let w be -1*(0/(-2) + 1). Let q be w/(-1)*3/(-9). Which is bigger: n or q?
q
Suppose 4*i - 2*i - 5*f + 34 = 0, 4*i + 4*f + 124 = 0. Is 0.1 > i?
True
Let k(l) = 24*l - 2. Let y be k(3). Let v be 48/y - (-8)/(-28). Which is greater: v or -1?
v
Let c be 6*2*6/(-9). Let l be 32/c*(-7)/4. Is 7 <= l?
True
Suppose 0 = 5*f - 11*f + 6. Let z = -79/234 - -3/26. Which is smaller: z or f?
z
Suppose -4*i - a = -9*i - 28, 3*i - 3*a = -24. Let b = 9 + i. Suppose h - 17 = -0*n + 4*n, n = -b*h. Does h = -2/15?
False
Let r = -1.5 + 1.58. Is 0 greater than r?
False
Let g be 762/21 - 8/28. Let w be g/80 + 1/(-5). Is 2/25 >= w?
False
Suppose 0 = 3*u + 5*l + 26, 2*u + 4*l + 0 = -16. Let o = 6 + u. Is o bigger than -7?
True
Let w = -5.6 + 5.7. Let a be 4/14 - 18/(-35). Is w < a?
True
Let a = -64 + 63. Is 3/5 > a?
True
Let x(f) = -f**2 + 10*f - 5. Let s be 10 + (3 - 2 - 2). Let v be x(s). Suppose v*b = b, -j - b = 0. Is j >= -1?
True
Let a(x) = 2*x**3 - 2*x**2 + x - 2. Let u be a(2). Let b(w) be the first derivative of -w**3/3 + 7*w**2/2 + 8*w + 3. Let l be b(u). Does -1/5 = l?
False
Let o = 27 + -15. Let y be 2*(1 - 16/o). Which is greater: y or -12?
y
Let r(t) = t**2 + 7*t - 27. Let a be r(-11). Is a != 18?
True
Let m = -38 - -49. Suppose -1 = -v + 9. Does v = m?
False
Let o(f) be the first derivative of f**4/4 + f**3/3 + f**2/2 + 1. Let p be o(-1). Is p less than or equal to -2/13?
True
Let y = 48 + -48.2. Is 0.32 less than y?
False
Let t(k) be the first derivative of k**2/2 + 11*k + 2. Let p be t(-8). Let a be p - (86/30 + 0). Which is smaller: -1 or a?
-1
Suppose -11*i = -4*i + 28. Which is smaller: 0 or i?
i
Let b be 0/(-2 - 2) + 1. Which is bigger: 2/15 or b?
b
Let q be (0/11)/((-4)/2). Let p = -919 - -56977/62. Let u = p + 145/1302. Is q at least u?
False
Suppose r = -r. Let i = 21 - 29. Let v be r/2 - (-2)/i. Which is bigger: v or 0?
0
Suppose 3*f + 2*f = 2*j + 20, 3*f + 2*j = 28. Let i = f - 7. Is i bigger than 1/6?
False
Suppose 2 - 3 = u. Let b = 26 + -29. Is b not equal to u?
True
Let o be (-682)/5 + 4/10. Let c = -678/5 - o. Let m = -2.2 + 2. Is m greater than or equal to c?
False
Let d(h) = -h**3 - 8*h**2 - 8*h - 5. Let w be d(-7). Suppose 2*a = -0*a + 4. Let p = w - a. Are p and -2 unequal?
True
Let b(g) = -g**2 + 6*g + 2. Let x be b(6). Let j be x - (-136)/(-10) - -2. Let r = j + 46/5. Which is greater: r or 1/3?
1/3
Let v = -1/91 - 635/182. Let h = v + 37/10. Which is smaller: h or 1?
h
Let s = 4 - 2. Suppose s*t + t = 6. Suppose -q = t*q - 9. Which is smaller: 2 or q?
2
Let i be 2/5 + 154/(-35). Is 0 less than i?
False
Let r be (-4 - -1)*(-137)/(-15). Let b = 27 + r. Is b at most as big as 0?
True
Let h be (2/(-24))/(1/(-10)). Let b = h + -16/3. Is b at least -5?
True
Let p be ((-11)/44 - (-3)/(-4))*7. Is -8 greater than or equal to p?
False
Let c be (-6)/(-4)*((-186)/(-90) - 2). Is c smaller than 0?
False
Let k = 10 - 14. Let l = k + 4.2. Is l < 0.1?
False
Suppose 6*w - 3*w = -3. Let o be 0/(-6) + w/2. Suppose 2*h + 20 = 4*z, -2*h - 2*z = -5*h - 18. Is o at most h?
False
Let i = -14 - -23. Let o = i + -9. Is 0.06 at least o?
True
Let m(w) = w**3 + w**2 - 3*w + 3. Let b be m(2). Let f = b - 10. Is -1 < f?
False
Suppose 6*a - 3*a = -18. Let m be (2/a)/(2/12). Which is smaller: -1 or m?
m
Let c = -3096/7 - -442. Let x = 1 + -0.8. Which is smaller: x or c?
c
Let u = -0.1 - 0.09. Let y = -0.06 - u. Are -0.1 and y non-equal?
True
Let r = 5.4 - 9.4. Which is smaller: r or 2/17?
r
Let b(d) = -d**3 + 10*d**2 - d + 9. Let z be b(10). Which is smaller: 6 or z?
z
Suppose 0 = 2*j + 5*v + 7, -4*j - 8 = 2*v - 2. Suppose 5*d = 4*d - 2. Let u be (-3 - -3)*j/d. Is u at most as big as -2?
False
Let q = -8.5 - -7. Let f = 0.17 + -0.67. Let s = q - f. Which is smaller: 0.2 or s?
s
Let d = 2 + 2. Let v = 110 + -107. Which is bigger: d or v?
d
Suppose 8*k - 9*k = -28. Which is greater: 29 or k?
29
Suppose -4*q = -q. Suppose -2*p + q*p = 2. Let j be 1 - 5/((-35)/(-6)). Which is smaller: j or p?
p
Let c = -37 + 631/17. Are c and -1 equal?
False
Let p = -7 + 7. Let j = p + 1. Which is bigger: j or -7?
j
Let m = -277 + 13017/47. Is 1 at most as big as m?
False
Let a(f) = 17*f + 23. Let s(l) = -11*l - 15. Let r(v) = -5*a(v) - 8*s(v). Let d be r(-5). Let p be ((-1)/10)/((-4)/d). Which is bigger: 3 or p?
3
Let c(a) = a**2 - a - 6. Let x be c(0). Let y be (-2)/x + (-33)/45. Let i = 22 + -22. Is i at least y?
True
Let d = 7 + -8. Let w be d/(-2*2/12). Is 4 at least w?
True
Let a(c) = 11*c + 1. Let w be a(-1). Let g = -7 - w. Let m be 38/14 - (-2)/7. Do g and m have the same value?
True
Let i(c) = -c + 10. Let s be i(5). Let j be (-40)/s + 1/1. Is -7 at most as big as j?
True
Let u = -14/9 + 8/9. Suppose 2*z + 8 = y - 3*z, -y = 4*z + 10. Let j be (y + 4 - 0)/(-2). Is u at least as big as j?
True
Let b be 3/2*8/3. Let a be (-2)/(-4) - 18/b. Let t = -4 - a. Which is smaller: t or 1?
t
Let o be 0 + 2*(-10)/8 + 2. Which is greater: -18 or o?
o
Let j be 56/28*61/(-2). Is -60 at most j?
False
Suppose -5*r - 3 = 12, 5*l + 5*r + 85 = 0. Let f be (-4)/l - (-36)/21.