e k(2). Suppose 2*s - 112 = 4*p, -4*p = 4*s + 37 + 75. Let o be ((-3)/7)/(8/p). Which is bigger: o or h?
h
Suppose 4*c - 5*i + 0*i - 7 = 0, 0 = 2*c + i - 21. Let s = 5 - c. Which is smaller: -1 or s?
s
Let g = 0 + 0. Let a = g + 0. Let s be -1*(3 + -4 - 6/(-3)). Which is smaller: s or a?
s
Let h = -2 - -2. Let z = -662 + 1939/3. Let o = -15 - z. Is h equal to o?
False
Let p = -5.02 - -0.02. Let t = p + 2. Let u = -2.9 - t. Is u less than or equal to -3?
False
Let z = 5.4 + -5. Let j = z - 0.1. Suppose 0 = -10*l + 2*l. Are j and l nonequal?
True
Let q = -1079/15 + 72. Is q greater than or equal to 0?
True
Let x = 5.4 - 5.421. Is -0.1 at most as big as x?
True
Let q = 25 + -24. Let h = 3 + -5. Let k be (h/(-26))/(2/4). Which is greater: q or k?
q
Let x be (-28)/6 + (-4)/(-6). Let y = -18/5 - x. Let g(k) = -k**3 + 10*k**2 + 12*k - 10. Let u be g(11). Which is greater: y or u?
u
Let j(c) = -c - 10. Let u be j(-12). Does u = 5/4?
False
Suppose 5*b = -5*s + 165, 0 = 3*s - 5*b - 74 - 49. Which is smaller: s or 35?
35
Let k = 0.016 - -0.184. Let v be 2/4 - 17/2. Let j be (-1)/2*v/(-10). Which is smaller: j or k?
j
Suppose 4*h + 23 = -3*g, 11 + 14 = -5*h. Let i be (5/(-5))/(g/9). Suppose -5*j - 3*s + 2 - i = 0, -3*j + 5*s + 23 = 0. Is -0.2 at least j?
False
Let i(v) = -2*v + 2*v - 3*v. Let n be i(1). Which is smaller: n or -4?
-4
Let j = 1.68 + 0.25. Let v = 0.07 + j. Let a = 0.2 + -0.1. Which is bigger: a or v?
v
Suppose 0 = -3*z - 2*z - 50. Let p be (-5)/4*(-2)/z. Is p equal to -0.2?
False
Let a(x) = -x**2 - 4*x + 5. Let h be a(-5). Let j = 9 + -6. Suppose j*p + c = 4, -4*c + 12 = 4*p - c. Is p <= h?
True
Let l be (-3)/((-27)/6*-1). Let o be -4*3/(-1 + -5). Let a be o/18*-29 + 3. Which is bigger: a or l?
a
Suppose 2*j = -0*j. Let v = j - 1. Let z be ((-3)/9)/(v/3). Which is greater: 0 or z?
z
Suppose 220 - 36 = -8*n. Is n at least as big as -22?
False
Let r = 42 - -30. Let t = r + -352/5. Is 2 greater than or equal to t?
True
Let z be 2 - 1 - (-7)/1. Is 7 at least z?
False
Suppose -5*q - 2 = -4*p + 9, -5*p + q + 19 = 0. Let x be (-6)/p*24/342. Is x bigger than 0?
False
Let p = 2 + -5. Let c be (-10)/(-25)*(-22)/4. Is c at most p?
False
Suppose -9 = 4*i + 3. Is i smaller than 0?
True
Let i be (-1)/((-3)/(45*-1)). Is i < -15?
False
Suppose 0 = s - 5*s + 8. Suppose 0*x - s*x = 6. Let i be (x/4)/((-6)/(-4)). Which is bigger: i or 0?
0
Suppose m + n = 2*m + 3, -3*n + 6 = 0. Which is greater: 1/28 or m?
1/28
Let i = 0.061 + 0.009. Is i > -2/5?
True
Let v(l) be the third derivative of -l**6/120 + l**5/12 + l**3/3 + l**2. Let c be v(5). Let g be -1*(1 - 4/c). Is g smaller than -1?
False
Suppose 0 = 3*b + 2*b - 10. Suppose -t + 3 = 2*q, 0*q - 5*q - b*t = -8. Which is bigger: 0.1 or q?
q
Let f be (4/(-10))/(3/(-15)). Suppose 0 = 3*y - f*y - 2. Suppose -30 = -y*t - 3*t. Is 2 smaller than t?
True
Let a be (-1)/(-2*(-6)/(-4)). Is a < 0.4?
True
Let k be (-2 - (-18)/10)*2. Is 10 bigger than k?
True
Suppose 2*s + 20 = 18. Which is greater: s or -2/25?
-2/25
Let a = -3 - -9. Let z be (-6)/(-8) - 575/(-92). Are a and z nonequal?
True
Let y = -0.026 - -0.145. Is y < 0.1?
False
Let h = 30 - 20. Suppose h = 5*a, -o - 3*a + 6*a = 7. Are 3/16 and o unequal?
True
Let j = 5 - 12. Let k be (-6 - j) + 7/(-5). Which is smaller: k or 0?
k
Let t = -2 + 9. Suppose -2*s = s + 18. Let a = t + s. Is a greater than 2?
False
Let m = 0.6 + -0.6. Let f = -4 + 3. Let n = f - 0. Which is smaller: n or m?
n
Let k = -4/3 - -5/3. Is -3/8 <= k?
True
Let x(j) = j**3 - 4*j**3 + 15*j + 2*j**2 - 16*j. Let k be x(1). Is -2 equal to k?
True
Let s = -4 + 14. Let x = s + -8. Suppose 3*b - 10 = -u, 2*u + 9 = 3*b + x. Are 2 and u equal?
False
Let b be (-4)/14 - 5/7. Let c(y) = y**2 + 10*y + 10. Let w be c(-8). Let k be (w/(-28))/((-21)/28). Is k at least b?
True
Suppose 0*g + g - 3*j = -9, 4*g + 5*j = -2. Let m(i) = -i**3 + 9*i**2 - 8*i - 2. Let y = 13 - 5. Let n be m(y). Is n != g?
True
Let c = 3.4 + -5.4. Do -2/3 and c have different values?
True
Let j = -3.2 + 3. Let z(o) = o - 10. Let b be z(0). Let w be ((-14)/b - 1) + 0. Which is smaller: w or j?
j
Let v be (116/(-16))/((-5)/20). Is 29 smaller than v?
False
Let d = 0.8 - -0.2. Is -0.02 < d?
True
Suppose 6*k - 3*k - 54 = 0. Which is greater: k or 17?
k
Suppose -3*u = u. Is -3/14 less than or equal to u?
True
Let f = -1334837293/110 + 12134704. Let q = 361/2 + f. Let a = q - -21/55. Do a and -0.1 have different values?
True
Let y = -1 - -3. Suppose -1 + 9 = y*k. Let o be (k - 3) + 2/1. Which is smaller: 4 or o?
o
Let f(m) = -m**3 - 6*m**2 + 7*m + 3. Let s be f(-7). Suppose -s*i = -7*i. Which is bigger: i or -3?
i
Suppose -2*n = 2*y + 6 + 2, y - 5*n = 20. Suppose -2*d + 8 = -4*q, -3*q + y*d - d - 1 = 0. Which is bigger: q or 3?
3
Let t = -23 + 22. Which is smaller: t or 8/19?
t
Let u(c) = -c + 39. Let q be u(15). Is 24 less than or equal to q?
True
Let j be (-288)/(-20) - 2/5. Suppose -4*x - 4*z + 5 = -7, 0 = -2*x - 4*z + j. Which is bigger: x or 2/7?
2/7
Suppose 9 = 3*m, -2*f - 2*m - 39 = 3*f. Suppose 7*p + 4*u + 32 = 3*p, -p - 4 = 3*u. Is p <= f?
True
Let x = -9 + 9. Let w = 2 - 3. Which is smaller: w or x?
w
Suppose -5*u + 50 = -3*x - 0*x, 10 = -2*x. Suppose -4*v + 6*v + u = -n, -4*v = -n - 1. Is -0.05 at most v?
False
Suppose m = 4*p + 2*m + 1, -2*m - 7 = 3*p. Is 4 greater than p?
True
Suppose -2*h = 2*h. Is h less than or equal to -9?
False
Let j = -302 - -297. Let i(p) = -p + 2. Let o be i(5). Which is greater: o or j?
o
Let s = -26 - -19. Which is smaller: s or -3?
s
Let z be 1 - -2*(-15)/6. Let q = z - 0. Which is bigger: -5 or q?
q
Suppose i = 2, 3*m - 3*i + 2 = m. Which is greater: 1/2 or m?
m
Let c be 82/(-56) + 6/(-21). Suppose 26 = -2*a + 4*a. Let s = -14 + a. Are s and c unequal?
True
Let z = -120 + 12. Let j = z - -223/2. Which is smaller: j or 5?
j
Let z = 5.7 - -0.3. Let w = -5 + z. Which is smaller: w or 2?
w
Let w be (3 + -3 - 2)/(-136). Let z = -277/340 + w. Let h(k) = k + 2. Let y be h(-3). Is y less than z?
True
Let n be 12/40 + ((-12)/8 - -2). Does n = 0.1?
False
Let n = -0.12 - -0.05. Let a = 0.17 + n. Let y = 14 + -13.8. Is a less than y?
True
Let s(p) = -1 + 0*p - 3*p + 0*p + 2*p. Let w be s(1). Which is smaller: -1 or w?
w
Let l = 7 - 1. Let f be ((-4)/l)/(22/12). Which is smaller: 1 or f?
f
Let i be (-2)/(-7) + (-120)/21. Let c = i - -204/35. Which is smaller: c or -2/9?
-2/9
Let a be (-2)/(-2) + (-18)/12. Let j = -0.12 - -0.2. Are j and a nonequal?
True
Let p = 0.1 + 0. Let r = -0.16 + p. Let s = 0.14 - r. Which is bigger: -0.1 or s?
s
Let w(a) = a - 4. Let f be w(6). Suppose j + 25 = 6*j. Suppose -j = -f*g - 3. Is -2/21 at least as big as g?
False
Let p(k) = k**2 + 4*k + 1. Let y be p(-4). Let f = y - 1. Suppose 0 + 12 = -4*q, -2*m - q - 3 = 0. Is f bigger than m?
False
Suppose -m - 1 + 10 = -3*w, -12 = 4*w. Let d = 33 - 133/4. Which is greater: d or m?
m
Let c = 0.1 + 0.1. Which is greater: c or 3?
3
Let a(k) = k**2 - 2*k - 6. Let c be a(-2). Suppose -h + 6 = c. Suppose -4*j + 24 = -4*y, -2*j + 2*y = 6*y. Is j not equal to h?
False
Let f(u) = u**3 + 3*u**2 + 2*u. Let x be f(3). Is 60 less than x?
False
Let c = 4 - 4.032. Let p = c - 2.068. Let l = -2 - p. Is l <= 0?
False
Let u(p) = 2*p - 1. Let i be u(2). Let w be (-165)/(-45) - (-2)/6. Is i <= w?
True
Let v = -1 + 3. Let h = 0.22 + 1.38. Let l = h - v. Is l != 0.2?
True
Suppose 2*w - w = 3*f + 3, 0 = 4*w - 12. Suppose -5*y = -2*x - 4 - 2, 3*x + 2*y = 10. Let a be -2 + x + (2 - 3). Which is bigger: a or f?
f
Suppose 5*m - 47 + 5 = 4*w, 0 = 2*m + 4*w - 28. Suppose 5*t - 10 - m = 0. Let r be (-2)/(-10) + t/10. Do r and -2/3 have the same value?
False
Let n = -2 - -3. Let y = 143 + -142. Is n smaller than y?
False
Let z be (11/33)/((-1)/9). Which is smaller: -0.2 or z?
z
Let t be (3*44/12)/1. Suppose 9*d - t*d = 18. Which is smaller: d or -8?
d
Let b be -22 + 8/(-2) + -1. Suppose -4*n = -3*n - z + 25, 3*n = -2*z - 90. Which is bigger: b or n?
b
Let a = -176 + 1234/7. Is 0.7 less than or equal to a?
False
Suppose 6*m - 7*m - 2 = 0. Which is greater: -14/9 or m?
-14/9
Let m be (-2)/(-8) + 55/20. Suppose -m*v + 2*v + 144 = 0. Let d = v - 1294/9. Is -2 greater than d?
False
Let c be 10 - 14 - 20/(-14). Is c at least as big as -1?
False
Let v = 2/53 - -469/212. Do 3 and v