 + 227/4. Which is bigger: u or -6/11?
u
Let h be 3*1 + 8/(-5). Which is greater: 1 or h?
h
Suppose y = 1 + 1. Let r(b) = -b**3 + 12*b**2 - 14*b + 5. Let h be r(11). Let d be 20/h*(-2)/5. Which is smaller: y or d?
d
Let c = -2 + 13. Let a = -17 + c. Is -5 at least as big as a?
True
Let t be ((-3)/4)/((-2)/8). Suppose -6 = 3*z + t. Let f = -3 - z. Which is smaller: f or 1/4?
f
Let l = -3.1 - -1.1. Are 0.2 and l equal?
False
Suppose 0 = 5*q - 4*g + 1, q + g - 10 = -q. Suppose -q*p + 2*p + 2 = 0. Let l be (-35)/(-25) - (p - 0). Is -1 less than or equal to l?
True
Let g = 1 + -3. Let c be (-5)/(-10) + (-6)/(-4). Suppose -c*j + 4*q + 10 = -5*j, 5*j + 2*q + 12 = 0. Is g equal to j?
True
Suppose -4 = 2*g - 2. Are -6/13 and g unequal?
True
Suppose 5*i + 3*s = 51, 22 = -4*i - 2*s + 64. Suppose 0*g + i = 2*g. Let u be (g - 6)*(2 - 1). Which is smaller: u or -1/3?
-1/3
Let g be (-3)/(-3*10/25). Let t be ((-6)/4)/((-6)/8). Which is smaller: t or g?
t
Let n = 175 - 124. Is n greater than 50?
True
Let p = -7159 + 28475/4. Suppose 0*c - 2*c + 80 = 0. Let k = c + p. Which is greater: k or 1?
1
Let m be ((-56)/2694)/((-165)/324). Let q = -2/449 + m. Let s = 287/330 - q. Is s less than or equal to 1?
True
Let i(u) be the first derivative of u**2/2 - 2*u - 1. Let c be i(4). Let a = 1.6 - -0.4. Are a and c unequal?
False
Let m be 75/99 + (-10)/15. Which is smaller: m or 0?
0
Let a(c) = 2*c**2 - 5*c. Let r(t) = 4*t**2 - 10*t. Let l(i) = 5*a(i) - 2*r(i). Let w be l(4). Let s be w/(-9) - 3/(-9). Is 2/9 at least s?
True
Let s(j) = 2*j - 6. Let l be s(5). Let w be (-1)/l + (-8)/(-32). Is w less than or equal to 1/2?
True
Suppose 7*u = -0*u - 63. Is -8 greater than or equal to u?
True
Suppose 2*s = -7 + 17. Suppose 0 = 3*u + 2 - s. Which is bigger: u or -2/5?
u
Let x(m) = m - 15. Let j be x(9). Let i be (-3)/(-1) + 54/j. Is -3 at least i?
True
Let r be 1/(-4) - 2/(-4). Suppose -2 = 2*m - 0. Which is smaller: r or m?
m
Let f = 1.06 - 0.06. Which is smaller: f or -11?
-11
Let c be 329/63 + (-2)/9. Suppose -2*t + 14 = c*j, -4*j - 3*t + 7 = -0*t. Which is bigger: j or 3?
j
Suppose 2*d = 3*q + 2 + 2, 4*d + 3*q = -10. Let h be (0 + (1 - 2))*3. Do h and d have the same value?
False
Let x = -0.2 - -0.3. Let k = -1.9 - x. Let b = 2.2 + k. Which is smaller: -1 or b?
-1
Let q(f) be the second derivative of -f**4/12 - 2*f**3/3 + f**2/2 + 2*f. Let a be q(-2). Suppose -a*j = -j. Is -2/5 at least j?
False
Let v(h) = h**3 - 6*h**2 - 5. Let o be (4 + -2 - -6) + -2. Let j be v(o). Which is greater: -16/3 or j?
j
Let r = -2923/15 + 195. Let d(h) = 5*h**2 - h - 1. Let l be d(2). Suppose 2*b + 2*b + 11 = 5*k, 3*b + l = -5*k. Does r = k?
False
Suppose -5*d = -3*f + 27, 4*f - 6*f - 2*d + 2 = 0. Suppose 4*s + 2*k = -2*k - 20, k + 8 = -f*s. Does 0 = s?
False
Let y(i) = i**3 + 2*i - 4*i**2 + 2*i - 6 - 8*i. Let m(x) = -x**2 + 5*x - 1. Let g be m(3). Let l be y(g). Is -1 at least as big as l?
True
Let q = -4/7 - -15/14. Let d be 210/9*12/10. Let f be -1*3 - (-80)/d. Which is bigger: q or f?
q
Let z(d) = d**3 - 3*d**2 + 5*d - 3. Let m be z(3). Let r be m/297 - (-10)/55. Suppose 3 = -6*b + 3*b - t, -15 = 5*b + 5*t. Is r smaller than b?
False
Let v = -0.052 + 3.152. Let t = -3 + v. Let f = 0.1 + 0.1. Which is greater: f or t?
f
Let t(u) = -u - 1. Let h be t(-3). Suppose 3*m = h*m. Suppose -d + 0*d = m. Is d equal to 0?
True
Let x = 0.049 - 20.049. Let u = x - -18. Let s = 0.2 - 0.3. Is u not equal to s?
True
Let x = -2028089 - -170355935/84. Let f = x - -169/4. Are f and 1 non-equal?
True
Suppose x - 2 + 22 = 3*s, -2*s = -5*x - 35. Is x <= -5?
True
Let b = 0.07 + -0.13. Let q = b - 0.19. Let f = q + 0.05. Is f equal to 1/2?
False
Suppose 2*r + 3*r = 0. Suppose 2*b + 9 - 21 = r. Which is bigger: b or 5?
b
Suppose 3*o = 2*o + 2. Suppose -o*k - 5*t = -7*k - 10, 2*k = -2*t - 4. Do -2 and k have different values?
False
Suppose 6*t - t = 20. Suppose -4 = 2*l + 3*x, 20 = 4*l - l - 2*x. Is l less than t?
False
Let q(g) be the third derivative of g**5/120 - g**4/24 + g**3/2 + 2*g**2. Let w(p) be the first derivative of q(p). Let d be w(0). Is -2/9 at most as big as d?
False
Let d(u) = -u**3 - 6*u**2 + 7*u - 4. Let y be d(-7). Let b = 9 - 14. Is b less than y?
True
Suppose -69 = -4*a - 5. Let o be 1/(10/a) - 2. Is o at least as big as 3?
False
Let t = 3.969 + -0.069. Let a = 4 - t. Is a equal to 2?
False
Let m = -3.1 + 2. Which is bigger: -1 or m?
-1
Let v(n) = n**3 + 6*n**2 + 3*n + 7. Let b be v(-6). Let y be b/(-2) + 2/(-4). Suppose 0 = 2*q - 5*x - 4, -2*q - 5*x - y - 11 = 0. Which is bigger: -4 or q?
q
Let m = 13 - 16. Suppose 4*y + 0*o + 3*o = -28, -16 = 4*o. Let b = y - m. Is -2 at most as big as b?
True
Suppose 0 = f - 0 - 1. Let b(u) = -u**3 + u**2 + u. Let o be b(2). Is f at most as big as o?
False
Let o(d) = d**2 - 3*d + 4*d**2 - 4*d**2. Suppose 0*s - 7 = -u - 5*s, -5*s = -4*u + 3. Let q be o(u). Is -1 at least as big as q?
True
Let b(l) = l**3 - 7*l**2 + 6*l - 14. Let q be b(6). Which is bigger: q or -12?
-12
Let i = 38 + -38. Let z be (-10)/(-4)*4/10. Which is bigger: i or z?
z
Let r = 43.2 - 44. Which is smaller: r or 1/8?
r
Let g = -5.04 + 0.04. Is g <= -1?
True
Let q = -1440/143 + 138/13. Which is greater: 0 or q?
q
Let b = -20 - -14. Suppose 0 = 5*v + 2*l + 3*l + 170, -3*l = -3*v - 108. Let n be (-4)/v*(-15)/b. Which is smaller: n or 0?
0
Let n(b) = b - b**3 + b**2 - 1 + 0*b + 0. Let w be n(1). Let z = -10 + 12. Is z not equal to w?
True
Let l(p) = -3*p - 7. Let z be l(0). Let i(s) = s**3 - s**2 - s - 7. Let w be i(0). Is w > z?
False
Let v = 5 - 5. Let n be (24/(-75))/(4/(-10)). Let r = n - 18/35. Are r and v unequal?
True
Suppose -2*p = 4*i, -3*p - 8 = -6*i + 4*i. Let v be 1/(11/p + -1). Is 0 smaller than v?
False
Let l = -23.18 - -23. Is l less than -0.1?
True
Let z = -1 - 3. Is -18/7 at most as big as z?
False
Let r = 4309329/15722 + -3837/14. Let p = -1299500/7861 + r. Let k = p + 165. Do 0 and k have different values?
True
Suppose -2*i - 12 = 3*h - 0*h, -2*h - 8 = i. Let j be 0/(-2) + (-3 - h). Let t be -1*((-8)/44)/1. Is t smaller than j?
True
Let q = -16 - -50. Suppose -i = i - q. Let n = 69/4 - i. Which is smaller: 1/3 or n?
n
Let k = 70 + -60.9. Let h = k + -9. Let c = 6 - 4. Is c bigger than h?
True
Let h = -2 + -2. Let l = -4.7 - h. Is l >= 1/3?
False
Let o be (-4)/14 - 132/(-21). Does o = 27/4?
False
Let h be 3 - 2 - (0 + -43). Suppose -3*i - i = -h. Which is greater: i or 12?
12
Let f be 3 - -18*(-5)/(-10). Is -2 bigger than f?
False
Let h be 2/(-3) - 11/24. Let z = -2084 + 116751/56. Let j = z + h. Is j at least as big as -0.4?
True
Let n be 10/(-1) + -2 + 1. Let d = n - -14. Let a be 3/(14/4 - 2). Which is smaller: a or d?
a
Let l = 77 - 51. Let k be (-6)/(-27) + l/(-36). Let q(i) = -i**3 - 6*i**2 + 7*i - 2. Let r be q(-7). Which is greater: r or k?
k
Let f(y) = y**3 + 9*y**2 + 6*y - 8. Let s be f(-8). Let w be (-8)/s*6/2. Is -3 smaller than w?
False
Let f be 30/8 - (1 + 3). Is f != 13?
True
Let k = -1.8 + -0.2. Which is greater: k or 2/5?
2/5
Let c(u) be the third derivative of -u**5/60 - u**4/4 - 7*u**3/6 + 2*u**2. Let x be c(-5). Are x and -5/6 equal?
False
Let n(h) = -2*h - 3. Let k be n(-1). Is k less than or equal to 2/27?
True
Suppose -2*u = 2*u + 8. Let q be ((-1)/3)/((-21)/1). Let p = -121/315 - q. Are p and u equal?
False
Let i = 2125/12 + -177. Which is smaller: i or 0?
0
Let h = 53 - 585/11. Let t = 1.1 - 0.1. Which is bigger: h or t?
t
Suppose 4*z = -2*l + 50, 4*l + 4*z - 27 - 73 = 0. Suppose 3*t + 2 = 4*i - 17, 5*t = -l. Let n be 1/i + -5 + 1. Is -2 greater than n?
True
Suppose 5*w - 6 - 12 = -2*d, -5*d + 2*w - 13 = 0. Suppose 0 = 5*z + 4*r - 1, 3*z - z = -r + 1. Let u be z/(-6)*3/2. Which is bigger: u or d?
u
Let z = -0.3 - -0.4. Let h = -12 - -11.1. Let x = h - z. Which is smaller: 2 or x?
x
Let o = -16 + 15. Which is bigger: o or 17?
17
Let q = -3.04 - -3. Let j = -1.55 - 0.49. Let h = j - q. Which is smaller: 2/7 or h?
h
Let g be 8/(160/(-532)) - (-2)/(-5). Is g >= -27?
True
Let q(a) = -3*a**2 + 27*a - 8. Let f be q(9). Which is bigger: -10 or f?
f
Let x = 58 + -57. Let f = 1.27 + -8.57. Let l = f + 7. Which is greater: l or x?
x
Let d = 2197 + -191141/87. Is d greater than or equal to -1?
True
Let z = 13503/4 - 3392. Let a = z + 16. Let o = -4 - -6. Is a 