Let p = w - h. Which is smaller: 2 or p?
p
Let a = 43/24 - 1/8. Let x be (-9)/((-3)/1) + 2. Suppose x*n + 17 = 2*p, -5*p - 6*n + 2*n = 7. Which is smaller: p or a?
p
Let d = 60 + -58. Is d at least 11?
False
Suppose d - 37 = -5*w, -4*d + 3 = -5*d. Let z be 6/w + (-42)/(-8). Let i(u) = u - 4. Let f be i(z). Which is smaller: f or 4?
f
Let v be 10/(-8) - 6/8. Let d be v - -1 - (-3 - -2). Is 1 at least d?
True
Let v(m) = m**2 + 7. Let u be v(0). Is u at most as big as 8?
True
Let s be 0*2/(-4) + 1. Let i = 7 - 7. Suppose -4*x + i*l + 5*l + 5 = 0, 2*x + 5*l + 5 = 0. Which is smaller: s or x?
x
Suppose -4*q + 3 = -3*s - 20, s - 2*q = -11. Is 3/5 < s?
False
Let i be ((-1)/2 - 2) + 9/6. Which is smaller: -2/39 or i?
i
Let x be ((-6)/(-18))/(42/(-9)). Which is bigger: -1 or x?
x
Suppose 0 = -4*v - 3*n + 45, 4*n = 9 + 3. Let d be ((-3)/v - 0)*-9. Suppose a = -2*x + 3, 2*a - 7 = -d*x - 2*x. Which is greater: -2/13 or x?
x
Let v(y) = 3*y**2 - 1. Let j be v(1). Suppose -5*u - 16 = -u. Let h = u + j. Are -2 and h equal?
True
Let n = -7/37 - -1679/74. Is 24 greater than or equal to n?
True
Let j = 1.96 + 0.04. Let a = 2.2 - j. Let s = 5 + -3. Which is smaller: s or a?
a
Let g = 32 - 26. Are 19/3 and g nonequal?
True
Suppose 1 - 10 = -3*p. Let x = 13 - 11. Let g be 5 + -4 - (-6)/x. Is p > g?
False
Let k = 2 - -1. Let o = k + -2. Are o and 5 unequal?
True
Let o(k) = -k**3 + 4*k**2 + 4*k + 7. Let v be o(5). Which is smaller: v or 2/3?
2/3
Let g be ((-18)/7)/((-30)/(-140)). Which is smaller: g or -14?
-14
Suppose -4*m - 5 = q, -3*m = -2*q - 7 - 3. Suppose -4*w = 2*i - 10, -4*w = -4*i - 3*w + 2. Suppose -3*n + 4*n - i = m. Which is greater: n or 1/7?
n
Let m = 4.6 + -9.4. Let f = -1.1 + -3.9. Let u = m - f. Which is bigger: u or -1/2?
u
Suppose -3*t + 14 = -1, 30 = -5*h - t. Is h at most 2/3?
True
Let u = -2557 - -242917/95. Which is smaller: 0 or u?
0
Let p be (1/(-18))/((-2)/16). Suppose 2*h + 3 = 1. Which is smaller: p or h?
h
Let d be ((-6)/(-40))/((-2)/(-8)). Suppose -2*t + 2*m = -12, -t - 8*m + 3*m = 6. Let g be (2 - t)*1/(-2). Is g at least as big as d?
True
Let y = 36 + -35. Which is smaller: y or 0.13?
0.13
Let s = -6 - -6. Suppose 5*y - 24 - 6 = s. Let w be y/(-4)*(-1)/12. Which is greater: -1 or w?
w
Let r(c) = 2*c + 4. Let w be r(-4). Suppose 0 = 2*p - 5*z + 33, -z - z + 2 = 0. Let o = p - -11. Which is smaller: o or w?
w
Let y(c) = 2*c**2 + 15*c + 2. Let s be y(-6). Which is smaller: -15 or s?
s
Let q = -1132341 + 279687693/247. Let c = q + 44/19. Is 0.1 at least as big as c?
False
Suppose 6*t + 15 = t, -5*b - t + 22 = 0. Let p = b + -3. Let r be -1*(-3 - -2) + -2. Is p > r?
True
Let s be 14/6*(-9)/12. Suppose -4*k = -9*k + 20. Let n be 7/(-2) + k/8. Is n smaller than s?
True
Let y = -25 + 73. Suppose 0 = -5*z - y - 22. Are z and -13 nonequal?
True
Let p(l) = l**3 - l**2 - 11. Let d be p(0). Suppose 0*o - 4*a + 4 = 2*o, 0 = -2*o - 2*a + 12. Let w = d + o. Which is greater: 0 or w?
0
Let u be (-72)/(-135) - 1/3. Let b = 1 - -2. Suppose -5*n + 7 = 2*p + 22, 0 = -3*n - b*p - 18. Is n > u?
False
Suppose 0 = -3*f - 2*s - 24, -2*s - 30 = 2*f + 2*f. Let g = f - -2. Let p be ((-8)/(-110))/(g/(-10)). Which is greater: p or 0?
p
Let v be ((-1)/2)/(164/(-16)). Which is greater: -0.1 or v?
v
Let c = 89 + -46. Let v = -58 - c. Let m = -705/7 - v. Which is greater: 0 or m?
m
Let f be (0 + -1)/(7 + -9 + 1). Let i = -132/7 + 591/28. Is f at least i?
False
Suppose 0 = -5*u + 7*u. Do u and 3/7 have the same value?
False
Suppose -3*r - 22 = 38. Let k be 1/(-2) - r/8. Suppose 9*n + 5*b = 4*n - 25, -k*n - 5 = b. Is -4/3 smaller than n?
True
Let q = -0.2 + 0.1. Let r be 5/20*-4*6/(-7). Which is smaller: q or r?
q
Suppose 7 - 31 = -2*s - 5*y, -16 = -2*s - 3*y. Suppose -i - 6 = 2*v, 0 = -7*i + 4*i + 4*v + 12. Which is greater: i or s?
s
Let a be (129/27 - 5)/((-1)/(-2)). Is a <= 0?
True
Let k(d) = -d**2 + 6*d. Let j be k(6). Suppose 2*r = v - 3 + 2, j = 5*r. Which is smaller: v or 1/9?
1/9
Suppose -g = 2*j - 75, 108 = 5*g + 4*j - 267. Suppose 6*p + g - 3 = 0. Which is bigger: -11 or p?
-11
Suppose -m - 4 = -1. Let v be (-4)/(-6)*m + -1. Do -3/2 and v have different values?
True
Let s be (-5)/(-2)*(64/(-20) + 2). Suppose -3*h - 3 = z, 0*z - 5*z = 15. Which is smaller: h or s?
s
Let g(x) = x**3 + 14*x**2 + 11*x - 6. Let r be g(-13). Let p = r - 11. Is -1 <= p?
True
Suppose 13 = 5*z - 2, -2*b + 80 = 2*z. Are 37 and b equal?
True
Let m = 3.97 - -0.03. Let g = -3.9 + m. Let x = -0.8 + -0.2. Which is smaller: g or x?
x
Let y = 702/5 + -140. Is y greater than -1/19?
True
Let i = -2.53 - -0.53. Is i at most 8?
True
Let b be (2/(-20))/((-14)/56). Which is smaller: b or -1/4?
-1/4
Let q = 11 + -8. Let s(r) = -r**2 - 6*r + 5. Let t be s(-7). Which is smaller: q or t?
t
Let x(v) = v**2 - 9*v - 1. Let l be x(9). Let i be 4 - 2 - (1 - -1). Is l >= i?
False
Let c = -5 + 8. Let s = c - -9. Let a be (1 - s/9)/(-1). Is 0 at least a?
False
Suppose 0 = -3*l + 8*l + 15. Let a be l + 0 + 6 + -3. Let p = 1479/10 + -148. Which is smaller: p or a?
p
Let p = -7 - -6.9. Suppose -6 + 1 = 3*w - u, 4*w + 3*u = 15. Which is bigger: p or w?
w
Let n = 98 + -109. Is n not equal to -10?
True
Let a = 5 + -5. Let h = -1/2 + a. Which is greater: h or -0.01?
-0.01
Let h = -58 + 58. Which is smaller: h or -2/79?
-2/79
Suppose 0*n - 4*k + 7 = -3*n, k + 5 = 3*n. Let q = -5/2 + n. Let p = -3/13 - -19/26. Is p at least as big as q?
True
Let k(t) = t**2 - 2*t + 2. Let v be k(3). Let u be 26/12 + (2 - v). Suppose -4*o - 4 = -2*x - 2*x, 1 = -o. Which is greater: x or u?
x
Let h = -29 + 28. Is h smaller than -32?
False
Let n(z) be the second derivative of z**3/3 - 7*z**2 + 5*z. Let u be n(7). Is u at least -1?
True
Let z(w) = -w**3 - w**2 + w + 39. Let s be z(0). Let r be s/9 + (-1)/3. Is r not equal to 5?
True
Let b = 0.81 - -0.19. Which is bigger: -0.11 or b?
b
Let t be -1 + 1 + (-730)/(-8). Let z = -92 + t. Let s = -2 - -2. Is z bigger than s?
False
Let l be 4/(-18) - (-1)/3. Suppose c - 1 = q - 0*q, 3*c - 3 = -5*q. Which is smaller: l or q?
q
Let i = 4 - 4. Suppose -2*d + i + 2 = 0. Let z be d/(0 + -1) - -2. Is 1 at least z?
True
Let t be ((-3)/(-4))/(1/(-16)). Let p be (-2)/(-6) + 76/t. Let k be (-3)/9 + (-2)/p. Do 0 and k have the same value?
True
Let b be 4/(-42)*14/30. Let a = 53/180 + b. Which is greater: 0 or a?
a
Let n(i) = -i - 1. Let w(t) = -2*t - 2. Let v(g) = 5*n(g) - 3*w(g). Let s be v(1). Which is smaller: 6/7 or s?
6/7
Suppose 0 = 3*s + p + 4*p - 25, -p = s - 5. Which is smaller: 2 or s?
s
Let y = -1659 - -28193/17. Which is greater: 1 or y?
1
Let n = 3 + 1. Suppose -n*q + 4 = -0. Is q < -2?
False
Let n = 0.63 + -0.53. Let a = 340 + -5778/17. Is a greater than or equal to n?
True
Suppose 0*d + 2*d + 2 = 0. Is -4 > d?
False
Let t(j) = 14*j + 7. Let l(a) = -29*a - 15. Let u(f) = 6*l(f) + 13*t(f). Let v be u(-7). Let x be 2/(-2) + v/(-45). Which is smaller: -1 or x?
-1
Suppose 0 = -4*z - 16, 2*q = 6*z - z + 26. Suppose 12 = 7*m - q*m. Is m at most as big as 3?
True
Suppose -22 - 3 = -5*o, -4*r - 8 = -4*o. Suppose -4*a - 9 = r. Is a greater than or equal to -2?
False
Let i be 2/4*0/2. Suppose 4*r = 3*r - 2. Let h be 1/r - 7/(-14). Are h and i equal?
True
Let r be (-8)/(-20) + 8/30 + -1. Is -110 > r?
False
Let v be ((-9)/3)/(3/4). Let u = 3 + v. Let n(j) = j**3 - j**2 - 3*j - 2. Let h be n(-1). Is h at least as big as u?
True
Suppose 0 = -3*u - 5*h - 22, -5*u + 10*h = 5*h + 10. Suppose -5*f - 10*f - 30 = 0. Which is smaller: f or u?
u
Let l(h) = -h**2 + 3*h - 4. Let q be l(2). Let k be (-3 - -47)/(-4) + q. Which is smaller: -14 or k?
-14
Let t = 49.6 - 48.9. Let b = 0.3 - -0.7. Which is bigger: b or t?
b
Let m be ((6/(-26))/3)/1. Suppose -f = 3*f + 12. Let h be f + (-2 - -6) + -2. Is m equal to h?
False
Let x(r) = 10*r**2 + 6 + 4*r - 2*r + 7*r + r**3. Let u be x(-9). Let k be (5 - u) + (-4)/(-6). Which is smaller: -1/2 or k?
-1/2
Let q = -173.2 + 173. Which is bigger: -5.8 or q?
q
Suppose -r + 3*l - 5 = 2*l, -2*l + 10 = -3*r. Is r at least 1/2?
False
Suppose 3*f - 8 = -5. Are -2/23 and f non-equal?
True
Let f(a) = a + 1. Let s be f(-1). Suppose 3 + 5 = 4*g. Are s and g unequal?
True
Let p = 20 - 1. Suppose -3*y - 5 = -17. Suppose u = -z + 3, -y*u - 9 = -4*z + p. Do u and -2 have the same value?
True
Le