548776 + 10432062/19. Let d = y + -280. Which is smaller: -1 or d?
-1
Let n(c) = -c**2 + 4*c - 4. Let o be n(3). Do -10/9 and o have the same value?
False
Let c = -3/52 - -125/364. Suppose 0 = 30*t - 24*t. Which is greater: t or c?
c
Let y(c) = c**3 + 9*c**2 - 11*c - 11. Let h be y(-10). Let k be ((-3)/6)/h*6. Is 2 at most as big as k?
True
Let a be 3/(-9) - 57/(-9). Suppose 6*c = -z + c + a, 3*c = -z. Do z and -9 have different values?
False
Let w = -2.81 - -2.7. Which is bigger: w or 0.2?
0.2
Suppose 7 = 2*x - 3*j, -2*j + 2 = x + x. Is -2 at most x?
True
Let v = 2.83 + -2.7. Let m = v + -0.03. Which is smaller: m or -1/3?
-1/3
Let h be 1 - 4*12/112. Which is smaller: -1/2 or h?
-1/2
Let o = 1.3 + -11.3. Let l = 10.02 + o. Which is greater: l or 1/2?
1/2
Let r = -18 + 11. Which is bigger: r or -1/2?
-1/2
Let w = -0.3 + 0.4. Suppose -23 - 37 = -20*p. Which is greater: w or p?
p
Let d = 0.06 - -0.01. Which is smaller: -0.08 or d?
-0.08
Suppose 7*o + 11*o = 1854. Which is greater: 102 or o?
o
Let a = -4/1386893 + -1246803299/4683537661. Let q = 2/307 - a. Which is smaller: -1 or q?
-1
Let q be 48/(-51)*2/(-8). Is q bigger than 1?
False
Let a(i) = -2*i + 3. Let x = -3 - -7. Let d be a(x). Let f = 8 + d. Which is smaller: 4 or f?
f
Let v = -0.02 + 0.09. Let p = 113 - 115.07. Let i = p + v. Is i at most as big as -2?
True
Let r = -12 - -22. Let m = 6 - r. Let b be 2/11 - (-285)/(-55). Do b and m have the same value?
False
Let x(d) = 26*d + 2. Let v be x(3). Let h be v/(-198) + 2/11. Are h and -1 equal?
False
Let q = 35 + -36.95. Let b = q + 2. Let k = 1.95 + b. Are -0.2 and k nonequal?
True
Let g = 6 + -10. Let m(r) = r**2 - r + 14. Let y be m(0). Let o be y/(-4) - 5/(-10). Which is bigger: g or o?
o
Let m be 3/(-48) - (-2)/(-8). Let a = m + 1/16. Let j be (4 - 8)/36*-3. Is j greater than a?
True
Let s = 81 + -82. Suppose 0 = 3*t, y + 3*t - 7 = 65. Let m = -220/3 + y. Which is smaller: m or s?
m
Let p be (-1)/4 + 22/24. Let b = 0.11 + 0.19. Are b and p equal?
False
Let c = 2083/15 + -139. Which is smaller: -1/4 or c?
-1/4
Let u be 3 - (-1 + 3 + (3 - 2)). Let c be (-2)/((-4)/((-16)/10)). Which is greater: u or c?
u
Let m = -0.55 + -0.15. Let o = m - -0.6. Is -3 > o?
False
Suppose -n = 2*n + 3*a, 0 = -4*n + 5*a. Suppose n = d + r, 0 = -2*d - 3*r - 2*r + 6. Let w = d + -1. Is w equal to -2?
False
Suppose 0 = 4*g - 4, 2*d + 3 = 2*g - 1. Let r = -30 + 14. Let i be (d/14)/((-4)/r). Is i >= 0?
False
Let j(g) = g**2 + 2*g. Let w be j(0). Let v(f) = f**2 - 6*f + 6. Let d be v(4). Let y be 1 + ((-36)/14 - d). Is y at least w?
True
Let s(w) = 3*w + 13. Suppose 4*z = 3*z - 6. Let g be s(z). Is g bigger than -5?
False
Suppose -3*u - 12 - 3 = 0. Let i = 5 + -2. Suppose 31 = -i*h + 5*p, -3*p - 25 = 3*h - 10. Is u not equal to h?
True
Suppose -2*m + 3*m + 7 = 0. Are -7 and m unequal?
False
Let n = -12 - -18.1. Let o = 6 - n. Which is bigger: -3/5 or o?
o
Let g = 5 - 3. Let r = -377 + 224. Let p = r - -768/5. Is p greater than or equal to g?
False
Let d be ((-2)/32)/((-12)/560). Let m = d - 9/4. Which is smaller: m or 1/2?
1/2
Let k be 3/1 + (-8 - 5). Let s = k - -18. Is 8 smaller than s?
False
Suppose 1 = -5*n - 5*q - 14, -5*n - 12 = 4*q. Is n > -2/15?
True
Let t be (-1)/3*(-5 - 1). Let c be 0*(3/t + -1). Is c greater than 2?
False
Let u be (-24)/(-12) - (-321)/12. Is 29 greater than u?
True
Let c = 1 + 1. Let t = -17 + 19. Is c > t?
False
Suppose -3*w = -97 - 2. Let s be 6/8 - w/28. Which is smaller: s or 0?
s
Suppose 3*d - 14 + 0 = -k, 4*d - 16 = 0. Suppose 3*b = s - k, b + 0*b - 6 = -3*s. Which is smaller: s or 0?
0
Let q(i) = -i**3 - i**2 + 2*i. Let c be q(-2). Let v = -1 - c. Let a = 2 + v. Is a less than or equal to 2?
True
Let g(t) = -t**3 + 4*t**2 + 3*t - 1. Let b be g(4). Let r = -19 + b. Let l be (1 - -6)*(2 - 3). Which is smaller: r or l?
r
Suppose 0 = 2*h - h - 3. Let u be 5 + (2 - (-2 - -2)). Suppose 4 = -q + u. Is q not equal to h?
False
Let l be (28/70)/((-1)/140*-1). Does l = 57?
False
Let q = -91 - -83.6. Are 0 and q equal?
False
Let y = 0.997 + 0.003. Let t = -0.1 + -0.3. Let a = t - 6.6. Which is bigger: y or a?
y
Let t = 65 - 68. Which is bigger: -26 or t?
t
Let p = -141 - 56. Let v = 1188/31 + 34371/217. Let a = v + p. Which is greater: a or 4?
4
Let p = -4 - -8. Suppose 5 = p*c + l - 11, 16 = 4*l. Suppose 0 = m - z, c*m + 4*z = 2 + 5. Is -4/9 less than or equal to m?
True
Let d be (-8)/6 - (-12)/36. Do -2/13 and d have the same value?
False
Let r = -1 + -2. Let i = 7 + r. Let g = i + -4.1. Is g less than -2/3?
False
Suppose -4*w = -w + 9, -3*m - 2*w + 21 = 0. Is m less than or equal to 8?
False
Let o = 3 - 2. Let s = 2/83 + 148/747. Which is bigger: o or s?
o
Let l be 2/((3 + 1)/(-4)). Which is bigger: -4/3 or l?
-4/3
Suppose -20 = 4*q + q. Suppose 5*s + 10 = 5*m, -m - 3*s + 15 = 3*m. Suppose k + 16 = -m*k. Is k < q?
False
Suppose 5*p - 2*p - 12 = 0. Suppose -4 = 4*q + 5*h, 4*q - 4*h - 32 = -0*q. Suppose 2*v + 8 = j, -v - 7 = -q*j + p. Is j less than 1?
False
Let i(d) = d + 1. Let u be i(0). Let y = u - -2. Suppose -m = -h + 6, -2*m - 4 = -4*h - y*m. Is h > 2?
False
Let p(y) = -2*y**2 + 16*y + 18. Let a be p(9). Let u = -18/13 + 352/273. Is u < a?
True
Suppose -3*i - 2*i = 0. Suppose 2*m - 8 + 2 = i, 0 = -5*k + 3*m - 24. Which is smaller: -2/7 or k?
k
Suppose 4*n - 9*n - 5 = 0. Is n != -7/12?
True
Let a be ((-5)/75*-2)/(1/5). Which is greater: 0 or a?
a
Let i(o) = -o**2 - 3*o + 3. Let t be i(-4). Let z = 1505/9 - 167. Which is bigger: z or t?
z
Let w = 37 + -38.7. Let z = w + 0.7. Is z greater than or equal to -1?
True
Let v = -5 - 7. Let k = -8 - v. Suppose 0 = -2*i + 2*w + 9 + 1, -4 = k*i + 2*w. Is 8 greater than or equal to i?
True
Suppose -3*f - a + 10 = 0, f + 3*a + 3 = 17. Let i be 0/((-6)/(5 - f)). Let n(k) = -2*k + 9. Let o be n(5). Which is smaller: i or o?
o
Let t(h) = 4*h - 3. Let o be t(3). Suppose 3*x - 12 = 18. Which is smaller: o or x?
o
Let r = 2 - 10. Let g be ((-14)/(-5))/(5/25). Let c = g + r. Which is greater: 5 or c?
c
Suppose z - n - 4 = -0*z, 10 = -2*n. Is 2/33 bigger than z?
True
Let c(i) = -5*i + 1. Let z be c(2). Which is greater: -72/7 or z?
z
Suppose -5 + 35 = -5*n. Let a = -7 - n. Which is greater: a or 2/11?
2/11
Let p(a) = a**2 + 13*a + 4. Let s be p(-12). Is -8 > s?
False
Let w = -1070/11501 - -12/217. Let d be (-1 + 1)*(-14)/28. Which is smaller: d or w?
w
Let o be 4/12*9/5. Which is bigger: o or -3/7?
o
Let j be (6/28)/((-18)/(-24)). Suppose -16 = -2*t + 4*t. Let c be -2*(t/10 + 1). Which is greater: j or c?
j
Let l = -0.01 + 0. Let s = l - 1.99. Let u = s + 3. Are -0.3 and u non-equal?
True
Let g = -1717/210 + 57/7. Let r = g - 7/6. Which is smaller: r or -1?
r
Suppose 4*j + 0*a = -2*a + 6, 0 = -5*j + 4*a + 1. Let p be (-2 - -1)*2 - 2. Is j at most p?
False
Suppose 0*t + 12 = 2*t. Let u(k) = -3*k**2 + 21*k - 18. Let o(i) = -i**2 + 7*i - 6. Let j(z) = 8*o(z) - 3*u(z). Let h be j(t). Which is smaller: -1/3 or h?
-1/3
Let s(c) = -3*c - 18. Let h be s(-7). Let y = 2 + -2. Let m = 1 - y. Which is bigger: h or m?
h
Let r be 3 - (230/234 - -2). Is 0 at least r?
False
Let i(l) = -l + 11. Let u(r) = -5*r + 56. Let n(b) = -11*i(b) + 2*u(b). Let d be n(11). Is d greater than or equal to 2?
True
Let t be ((-1)/4)/(1/1). Suppose 2*h = -3*h. Let b be (h + 0)/(-1 + 3). Is b greater than or equal to t?
True
Let s be (27/12)/((-3)/8). Let r(h) be the first derivative of -h**3/3 + 3*h**2 - 6*h - 4. Let z be r(6). Are z and s nonequal?
False
Let a = -50 - -62. Which is smaller: 15 or a?
a
Let j(z) = -4*z - 18. Let q be j(-8). Do 14 and q have the same value?
True
Let b(h) = h**2 - 12*h + 14. Let i be b(11). Let k(a) = -a**2 - 8*a + 13. Let t be k(-9). Suppose -f = i*f + t. Is f equal to -1?
True
Suppose 4*u = 12 + 4. Let n(j) be the first derivative of j**3/3 - 5*j**2/2 + 6*j - 2. Let w be n(u). Are w and 3 unequal?
True
Suppose -5*c + 4*c + 5*b = 17, -2*c - 5*b = 49. Which is greater: -23 or c?
c
Let d be (-114)/7 + (-2)/(-7). Let k be 5/(-2)*d/10. Let v be (87/(-58))/(2/(-4)). Is k at least as big as v?
True
Suppose 2*w + 8 = -3*n, 4*n + 0 + 8 = 0. Which is smaller: w or -8/7?
-8/7
Let p = 78 + -79. Is 2/43 >= p?
True
Let c = -8 - -11. Suppose c*i = 4*i. Which is smaller: i or 1/4?
i
Let l(p) be the second derivative of