*3 - w. Let j be u(1). Let h(s) = -s**2 + 9*s - 10. Let p be h(7). Suppose -4 = z, -p*d + 5*z = d - j. Is d smaller than 0?
False
Let o = -94 + 134. Is o >= 40?
True
Let x(c) = -7*c - 20. Let f be x(-3). Which is smaller: f or 9/19?
9/19
Suppose 0 = p + 3*p - 20. Suppose w - p = 2*x, -4 + 0 = -w + x. Suppose -w*o - 2*s - 6 = -2, 0 = 2*o + 3*s + 6. Is -1/8 >= o?
False
Let d be 2 + 13 + (-2 - -2). Suppose 5*a = 2*z + z - d, 5*z - 25 = 0. Let b be (12/2 - 2)/6. Is b at most as big as a?
False
Suppose 0*s - 3*s + 43 = -2*m, 3*m = 2*s - 27. Let j be (2/(6/s))/(-1). Let r = j + 4. Do r and 2/11 have the same value?
False
Let z be 6 - 1/2*4. Let d = 64 + -123/2. Are z and d unequal?
True
Let h = -12.71 - 3.39. Let m = 16 + h. Which is smaller: -3 or m?
-3
Let q(x) = -x**2 + 15*x + 3. Let l be q(15). Which is greater: l or 4?
4
Let l = 3 - 3.1. Let u = l + 1.1. Which is bigger: u or -0.1?
u
Let y(l) = -l**2 - 12*l - 7. Let h be y(-11). Suppose 3*i - h*i = 0. Let j(u) = u**2 + 2*u - 1. Let p be j(-3). Which is smaller: p or i?
i
Suppose -6*y + b = -y - 9, -3*b = 5*y - 13. Let t be (4/14)/(4/8). Is y less than t?
False
Let j = -0.006 - 0.794. Which is smaller: j or 0.4?
j
Let q(x) = -3 - 3 + 0*x + 8 + 6*x + x**2. Let h be q(-6). Do h and 1 have the same value?
False
Let d = -36 - -38. Let b = 6 + -1. Is d at least as big as b?
False
Let j = -49 - -36.8. Let x = j + 12. Is x < 2/5?
True
Let p(o) be the first derivative of o**4/4 + 5*o**3/3 + 3*o**2 + 7. Let x be p(-4). Which is smaller: x or -7?
x
Let h(d) = -d**2 + d + 2. Let m be h(-3). Let a = m + 19. Is 8 at least a?
False
Suppose -3*r + 4 = -11, 0 = 4*i - 5*r + 5841. Let u = i + 5469/4. Let s = -86 - u. Which is greater: 0 or s?
s
Let k be (0 - (0 - 2)) + 0. Which is greater: -1/14 or k?
k
Suppose 0 = -5*p + 8*p + 9. Is p smaller than -8/3?
True
Let p be (3/(-2))/((-6)/8). Let a(c) = 4*c + 1. Let l be a(-1). Let t be -1 - -4 - (-3)/l. Is t less than or equal to p?
True
Let s be (0 - 1) + (-5)/(-65). Is -1 > s?
False
Suppose 4*m - 5*a = 41, 4*m = a + 15 + 6. Suppose 4*y - 7 = -3*i, -5*y - m*i - i = -10. Is 3/2 less than y?
False
Suppose 0 = 2*n + 9 + 7. Let z = 11 + n. Which is bigger: 4 or z?
4
Let u(l) = -54*l**2 - 2*l - 4. Let n be u(-1). Is n greater than -57?
True
Suppose -14 + 86 = 3*o. Is 2 at least as big as o?
False
Suppose -6 - 38 = 4*n. Which is greater: -12 or n?
n
Suppose 3*i = -2*k - 13, -i + 4 - 14 = -5*k. Let b be (-21 - -23)*1/(-30). Is k not equal to b?
True
Let l be 0 + (-4359)/(-1510) + -3. Let r = 2/151 + l. Which is bigger: 1 or r?
1
Let o be 2 + 1/((-2)/10). Let x = 8 - 7.4. Let h = -1.6 + x. Is h at most o?
False
Let c(n) = -103*n - 1. Let g be c(3). Let l = -5268/17 - g. Is 1 not equal to l?
True
Suppose -5*j + 2*j = 4*h + 7, h - 2*j = 1. Is h equal to -2/205?
False
Let h = 1 + -2. Let m = h + 4. Let o be -3 - (-6)/(-27) - -3. Which is bigger: o or m?
m
Let r(s) = -s**3 - 7*s**2 - s - 7. Let q be r(-7). Let o = 358900296 + -7916263830813/22057. Let j = 1/959 + o. Which is greater: j or q?
q
Suppose -4 = 2*q + 5*t, 2*q + q - 5*t = 19. Let x = 8 - 5. Is x at most q?
True
Let p = 2593 + -134811/52. Let k = p - 3/13. Is -1 <= k?
True
Let z = 1 + -3. Let m = z + 2.1. Let k = -6/91 + -20/91. Is k bigger than m?
False
Let p be ((6 + -5)/2)/((-1)/4). Suppose 7 = -4*o - 5. Are o and p equal?
False
Let o be (-6)/21 + 2/7. Suppose -4*s + 17 = b, b = -o*b + 4*s - 23. Are -3 and b non-equal?
False
Suppose s - 5*s = 0, 8 = -o + 2*s. Is -8 greater than o?
False
Suppose -2*x = -0*x. Let f be (-1*(1 + x))/(-2). Let w(o) = o**3 - 4*o**2 - 6*o + 7. Let a be w(5). Which is bigger: a or f?
a
Suppose 2*p = 4*f + 8, -f - 12 = -3*p - 0*p. Are f and 4/15 equal?
False
Let f be 9 - (-3)/1 - 2. Let w(v) = v**3 - 10*v**2 - 2*v + 6. Let l be w(f). Let x be 3/(-3) - l/4. Is 2 greater than or equal to x?
False
Let j = -1.3 + 1.14. Let k = -0.14 + j. Is k < -2?
False
Let s be (10/(-4))/((-1)/2). Let d be 46/(-40) - (-2)/s. Which is greater: d or -1?
d
Let a = -4.8 - -2.8. Is a <= -1?
True
Let g = 5 - 8. Suppose -2*h + 2 = -2*w, 0 = 3*w + h - 3 + 2. Which is smaller: g or w?
g
Suppose 0*t + t - 5 = 0. Suppose t*v = 2*v + 9. Let o(s) = -s**3 + 2*s**2 + 4*s - 3. Let j be o(v). Which is smaller: -1 or j?
-1
Let s = 21 - 23. Let b be s*(-3)/(12/(-8)). Suppose -4*k + 8*k - g + 13 = 0, 4 = -2*k - 2*g. Which is smaller: k or b?
b
Let p be 1/((-6)/(-4)) - (-22)/(-33). Is p equal to 2/9?
False
Let i(p) = -p**3 + 4*p**2 - 2*p + 1. Let l be i(3). Is l at least as big as 7?
False
Suppose -4*n + 5*t - 28 = 0, 4*n + t + 37 = -15. Let i = -7 - n. Which is greater: 4 or i?
i
Suppose -x - 28 - 21 = 0. Are -49 and x nonequal?
False
Suppose -i - 2 = i. Suppose -23 = -4*h + 1. Let n(l) = -l + 5. Let m be n(h). Is i at most m?
True
Let b = -42392106959/315 - -134578326. Let d = 332/63 - b. Let x = d - -204. Which is bigger: x or 0?
x
Let p = -64 - -67.1. Let i = p - 0.1. Is i equal to -0.3?
False
Let l = -0.3 + -8. Let r = 8 + l. Let c = -630 - -630.1. Which is smaller: c or r?
r
Let w = 92 + -53. Let q(r) = r**2 - r + 2. Let n be q(3). Let h be w/(-18) - n/(-4). Which is smaller: -1 or h?
-1
Let z be 0/(-3)*(-2)/4. Let h = z + 4. Do h and 3 have different values?
True
Let f = -7 - -27. Let a = 19.9 - f. Is a less than 3?
True
Let j be 8/2*2 - 2. Let z = j + -8. Is -3 at most z?
True
Suppose 5*o - 4*m = -108, -4*m + 42 + 18 = -3*o. Let u be o/30 + (-4)/(-10). Which is greater: u or 1?
1
Suppose -l + q + 2 = -q, -3*l - 2*q = -22. Suppose -5*c + 15 = -4*x, x + c + l = 3*c. Let r = 76/3 + -25. Which is bigger: x or r?
r
Let m(g) = -g**3 + 10*g**2 - 15*g - 11. Let n be m(8). Is -21/5 < n?
True
Let j = 0.08 - 3.08. Let i = j - -2.94. Let v = 0.04 - i. Which is smaller: 1 or v?
v
Let l = -34 + 30. Which is bigger: -6 or l?
l
Let h = -0.3 + -0.7. Let j = 0.427 - -0.073. Which is greater: j or h?
j
Let h = -26 - -29. Which is smaller: -8 or h?
-8
Let t be 2*(-74)/(-140) + -1. Let j(q) = -10*q - 29. Let s be j(-3). Does t = s?
False
Suppose 4*j + j + 10 = 0. Let d = j - -3. Which is smaller: -0.1 or d?
-0.1
Let u(a) be the first derivative of a**3/3 - a**2/2 - 2*a + 2. Let m be u(2). Which is smaller: -1/2 or m?
-1/2
Let w = -3.1 - -3. Let p = 1 + -1. Let z = p - w. Is 0.4 at most z?
False
Let w = -0.7 - -2. Let t = w - 1.4. Which is smaller: 0.2 or t?
t
Let v(l) = -3*l**2 - 2*l - 1. Let c be v(-1). Which is bigger: c or 0?
0
Suppose -4*p = -3*v + 12, 3*v + p + 2 = -1. Let y be (1 - (1 + -1))*v. Which is smaller: -4 or y?
-4
Suppose 0 = p - 5*p - 8. Let n be ((-5)/(-6))/(p/(-4)). Do 3 and n have the same value?
False
Let w = 60 + -68. Let i = -8 - 1. Which is smaller: i or w?
i
Let y be -3*1 - 0/(-2). Let u be (1/4*y)/3. Let t be (3 - 1)/(-2 - -4). Is t greater than or equal to u?
True
Let f = 14 + 12. Suppose -4*k = d - 25, -6*k + k + f = -4*d. Is 5 < k?
True
Let s(f) = -f**3 + 4*f**2. Let p be s(4). Let b(m) = -2*m + 4. Let g(v) = -3*v + 4. Let u(r) = -4*b(r) + 3*g(r). Let l be u(-5). Which is smaller: l or p?
p
Let r = 0.5 - 5.5. Let s = r + 6. Is s at most -1?
False
Let t = 130 + -130.1. Which is greater: -19/3 or t?
t
Let v be ((-63)/(-6))/(27/48). Let t = -18 + v. Which is greater: t or 0?
t
Let h be ((-9)/22 - 0) + 1/2. Which is smaller: -1 or h?
-1
Let n(v) = -v**2 - 3*v - 9. Let u be n(-6). Let q = -55/2 - u. Let r = 0 - -2. Which is bigger: r or q?
r
Let w = 14 - 11. Suppose w*m - 6*m = 0. Let d be 1 - 6/8*1. Which is smaller: d or m?
m
Let b be 0/(3 + 4 + -9). Is 2 at most as big as b?
False
Suppose -i = -5 - 55. Let v be (-1 - 0)/(i/8). Which is smaller: v or -0.3?
-0.3
Let u be 5/2*6 - 2. Let q(f) = -f + 15. Let k be q(u). Is k bigger than 0?
True
Let p(v) = v**2 - 6*v - 2. Let d be p(8). Suppose -d = a + a. Which is smaller: -6 or a?
a
Suppose -4 = -5*y - 4*w, -2*y + 2*w + 12 = w. Suppose 0 = -4*z - y*c - 28, 4*c = -z + c - 15. Which is greater: z or -4?
z
Let q(j) = -j**2 + 4*j - 2. Let u be q(4). Let o be 4/(-8) - (0 + u). Let b = -2 + 5. Which is smaller: b or o?
o
Let l = 8 - 4. Let q = -0.49 - -2.49. Which is smaller: q or l?
q
Let v(f) = f**2 + 2*f + 6. Let w be v(-4). Suppose -l + w = -3*x, 2*x = 4*x + l + 1. Is x at least -0.5?
False
Suppose 3*n - 5*u - 64 = 0, 2*u + 49 = 3*n - 0*u. Suppose 0 = -3*k + k + 3*m - 