maller than h?
False
Let o(k) = k**3 + 11*k**2 - 1. Let d be o(-11). Is d at least 3/14?
False
Let l(w) = -w**3 + 11*w**2 + 11*w + 15. Let q be l(12). Let p(k) be the third derivative of k**4/24 - k**2. Let v be p(q). Which is smaller: 0.1 or v?
0.1
Suppose 4*n = -9 + 13. Let v = -84 - -758/9. Is n less than or equal to v?
False
Let u be (-2)/(-4) - (-2)/(-8). Let a(q) = q - 8. Let l(r) = -r + 7. Let m(z) = -2*a(z) - 3*l(z). Let w be m(5). Is u less than w?
False
Let c(p) = p**2 + 9*p + 9. Let u be c(-9). Which is smaller: 10 or u?
u
Suppose u - 4*u = -3*m - 15, -4*m = 2*u + 8. Suppose 1 = -2*q - 1. Let w be (1/(-3))/(q/9). Which is bigger: u or w?
w
Let h(m) = 42*m**3 - m + 1. Let d be h(1). Let l be (d + 1)/(4/(-15)). Let k = l + 162. Does 0 = k?
False
Let x = 0 + 0.2. Let o = -0.8 - x. Let y = 6 + -4. Which is smaller: o or y?
o
Let q(n) = -2*n**3 + 3*n**2 - 6*n + 3. Let x be q(-5). Let s = 3583/10 - x. Which is bigger: 0.1 or s?
s
Let m = 14.8 - 15. Which is smaller: m or 1?
m
Let p(c) = c**2 - 6*c + 6. Let z be p(4). Let m be 2 + 90/(-21) - z. Let k = 61/3 + -21. Is m bigger than k?
True
Suppose 2*r = 2 + 2. Is r != 4?
True
Let m = 17/18 + -1481/1530. Let b = m - -101/680. Are b and 1 non-equal?
True
Let d = 184 - 369/2. Let z = -3 - -1. Which is greater: d or z?
d
Suppose -5*w = -2*k - 5, -k - w - 2 = -2*k. Which is bigger: k or 3?
k
Let k be ((-6)/7)/(3/21). Which is bigger: k or -3?
-3
Let j = -6 + 8. Let z be 2/3*(-3)/j. Does 1/8 = z?
False
Let f = 0.5 - 0.1. Let s = f - -0.6. Which is bigger: s or 2?
2
Let g be 5/((-140)/(-64)) - 4/14. Which is smaller: g or 4?
g
Let z(c) = c**2 - c. Let q be z(1). Let m(t) = -t**2 + 4*t - 1. Let p(d) = -2*d**2 + 5*d - 1. Let x(j) = -5*m(j) + 4*p(j). Let w be x(-1). Are w and q nonequal?
True
Let m = -8 - -20. Let q be m/(-9)*(-9)/21. Are 0 and q unequal?
True
Let u = -22.2 - -25. Let w = -3 + u. Which is smaller: 2/5 or w?
w
Let h(c) = -c**2 - 8*c - 4. Let k be h(-7). Let r(j) = -j**3 + 3*j**2 + j - 1. Let z be r(k). Suppose -9 = -z*u - 3. Which is greater: u or 1?
u
Let l be (-2)/(-5) - (-108)/(-245). Let p be 10/((-20)/6) - (2 + -4). Which is smaller: p or l?
p
Let x be (-1)/(-1) + 2 + (-3 - -1). Is x greater than 1/64?
True
Let w = 6 - 3. Let f be 2 - w - 18/(-3). Suppose -h - 4*m + 15 = -0*h, -f*h - 21 = -4*m. Is h at least -1?
True
Let c = -0.34 - -0.3. Let r = c + 0.14. Is 1 <= r?
False
Let z be 11/15 + (-1)/3. Let r(l) = -l + 4 + 5 + 2 - 1. Let p be r(11). Which is smaller: p or z?
p
Let a = -11 + 10.4. Let y = 0.6 + a. Which is greater: 0.1 or y?
0.1
Let i be (-5)/(-4515)*(-4 - -10). Which is greater: 1 or i?
1
Let i = -0.28 + 5.28. Which is bigger: i or 0.3?
i
Suppose 14 = 4*i - 18. Suppose -4*a = -i*a. Suppose -5*n - 10 = -a*n. Which is smaller: n or -1?
n
Let p be 2/(((-3)/1)/(-3)). Let h(m) = 0*m + m**2 + 4*m + p*m. Let f be h(-6). Which is bigger: 0.3 or f?
0.3
Let b = -1396/25701 - -2/659. Suppose -2 = -3*s + 1. Which is bigger: b or s?
s
Let q(n) = n**3 - 2*n**2 - 2*n + 2. Suppose -3*j + 27 = -4*p - p, 0 = -3*j - p + 9. Suppose 5*l = j + 6. Let v be q(l). Is v greater than or equal to 0?
False
Let w = -11.1 + 12. Let n = w - -8.1. Do n and -1 have the same value?
False
Let g be ((-3)/(-9))/((-2)/6). Let b be g/(-22)*(3 + 1). Let n be (-1)/(-3) - (-4)/(-12). Which is bigger: n or b?
b
Let n(j) = -j**3 - 4*j**2 + 7*j + 1. Let h be n(-5). Let z be ((-9)/6)/(3/4). Are h and z equal?
False
Let g be 2*(0 - (-3 - -4)). Let b(k) = k**3 - 5*k**2 - 7*k + 3. Let o be b(6). Let c(w) = -w - 4. Let s be c(o). Are g and s non-equal?
True
Suppose -4*w + h = -h - 18, -2*w = 4*h + 16. Let k = w - 3. Let y be (4/6)/((-2)/6). Which is smaller: y or k?
y
Let d be (0 + -1)*(-8)/40. Let p(y) be the third derivative of y**5/60 - y**4/4 + y**3/6 + 3*y**2. Let u be p(6). Is d at least u?
False
Let j be -6 - -4 - (-3 - 0). Which is greater: j or -2/65?
j
Let t = 12.3 + 2.7. Let r = t + -18. Is r at most as big as -0.4?
True
Let d = 15 - 13. Suppose 0 = -5*p - 4*w + 1, -d*w - 1 = p - 0*p. Are p and 4 unequal?
True
Let d be (14 + 1)/(24/32). Suppose 2*y = -c + 2 + 6, -5*y = 3*c - d. Is -4/11 less than or equal to c?
True
Let y(m) = 3*m**2 - m. Let b be y(-1). Suppose -2*w = -2, 0 = -c + b*c + 4*w - 10. Let z be 5/(-10)*1*c. Which is smaller: 2/9 or z?
z
Let b = -0.19 - -0.1. Let h = -1.09 - b. Is h > 3?
False
Suppose -x = -0 - 8. Let y = -1 - x. Let a be 15/y - (-2)/3. Which is smaller: -2 or a?
-2
Let q(c) = c**2 + 5*c + 2. Let f be ((-40)/(-12))/((-2)/3). Let r be q(f). Is 14/5 less than r?
False
Let u(r) = -r**3 - 8*r**2 + 7*r - 5. Let f be u(-9). Is 14 at most as big as f?
False
Let v be -2 - (-6)/(-1 - 0). Let k(u) = -u - 8. Let b be k(v). Suppose 2*w + 0*w + 4 = b. Which is greater: w or -7/5?
-7/5
Let p = 0.17 + -0.07. Suppose 3*r + 2*f = -2*r - 7, -2*r = -4*f - 2. Let b be (-1)/((-2 - r)*3). Is p greater than b?
False
Let m(k) be the second derivative of -k**3/6 + 4*k**2 + k. Let d be m(8). Suppose -5*i = t - 2*i + 8, 4*t - 2*i = 10. Is d bigger than t?
False
Suppose 3*l = 11*l + 40. Which is smaller: -7/2 or l?
l
Let l = -502/19 - -3593/95. Suppose 10 - 33 = -3*s - 2*t, -5*s = 5*t - 30. Let d = l - s. Are d and 1 equal?
False
Let q = 2.69 + 0.31. Which is greater: -1/3 or q?
q
Let g be ((-12)/(-10))/((-7)/70). Let x be 2/4*(-8)/g. Is x >= -0.3?
True
Let g = -29 + 89/3. Let p(l) = -l**3 - 9*l - 10*l**2 + 3*l + 10 - 2*l. Let c be p(-9). Which is smaller: g or c?
g
Suppose -3*q + 2*q - 3*g = 3, 5*q + 4*g - 7 = 0. Let n be 3/(-15) + 16/5. Is q != n?
False
Let n be (-78)/(-21) - (-4)/14. Suppose -4*j = -v - 12, -n*v + 9*v + 3*j = 32. Suppose 2*w = 3*f + 18 - v, 16 = -4*f. Which is bigger: w or 1/8?
w
Let g = 110 + -121. Is g at most as big as -56/5?
False
Suppose 0 = -5*c + 3*d + 29, 2*c - 1 = c - d. Suppose -2 - c = 3*o. Is -1 >= o?
True
Let a = -10 + 6. Which is greater: 0 or a?
0
Let m = -8 - -19/2. Let q = 1 + -1. Are q and m nonequal?
True
Let x = -6 + 9. Is x equal to 5/3?
False
Let z be (-1 - -4) + -3 + 2. Suppose -3*r = -0*r - 12. Let x = -1 + r. Is z at least as big as x?
False
Let h be -5*(72/15)/4. Let s be 2 - (-3)/h*4. Which is smaller: -1/11 or s?
-1/11
Let x = -474 + 8060/17. Let q = 52.2 - 52. Which is smaller: q or x?
x
Suppose -v + 1 = 8. Are v and -10 nonequal?
True
Suppose 2*b + 1 = 3*t + 20, -4*b = 3*t + 25. Is t at least -7?
True
Suppose 2*l = 4*v - 8, -2*v - 2*v + 20 = -5*l. Suppose -a + 0*a = v. Is -1 > a?
False
Let g be (-2)/(-8) - (-626)/24. Suppose n = -4*h - 22, 2*n + 22 = 5*h - 35. Let k = g + n. Are 0.1 and k unequal?
True
Let k be -15*2/(-21) + -1. Let o = 197/35 + -186/35. Let v = o + -1/35. Which is smaller: v or k?
v
Let j(u) = u - 3. Let v(z) = -z + 3. Let a be v(-3). Let m be j(a). Are m and 3 non-equal?
False
Suppose -22 = -6*d - 34. Which is greater: 15 or d?
15
Suppose 4*n = -3*u - 363, 5*u - 109 + 1 = n. Let l be 8/4 - n/(-51). Is l greater than or equal to 1?
False
Let c = -1.4 - 0. Let z = c - -1.6. Which is bigger: z or 5?
5
Let z be (10/4 - 2)*2. Is 2/11 != z?
True
Suppose 3*f = -s - 13, -f - 5 = -0*f. Let a(u) = -6*u**2 + u + 4. Let v be a(2). Let d be v/14 + -1 + s. Is d smaller than -1?
False
Suppose -h + 6*h = 0. Does h = -3?
False
Let q = 176 + -389/2. Let u = q + 18. Suppose -4*k - 4*k + 3*k = 0. Which is smaller: u or k?
u
Let n = 6.189 + 0.111. Let c = -4.4 + n. Let u = 0.1 + c. Which is smaller: -2/7 or u?
-2/7
Let l = 18 + -38. Let i be (-48)/l - (-2)/(-5). Suppose 3 = -3*d - 2*h, -2*h - 1 = -i*d - 13. Is -4 equal to d?
False
Suppose 0*j - 5*f - 9 = -j, -47 = -3*j - 5*f. Which is smaller: j or 17?
j
Let o(m) = -m**2. Let u be o(0). Let b be 6 + -4 + (5 - u). Is b less than or equal to 6?
False
Let b(j) = -2*j**2 - 1. Let a be b(2). Let p = a + 9. Which is smaller: -1 or p?
-1
Let x = 57 + -57.1. Which is bigger: -1/21 or x?
-1/21
Let g = 12 - -21. Is g less than or equal to 32?
False
Let r = 3.1 + -3. Let u = -0.4 + -2.6. Let m = 3 + u. Is m != r?
True
Let p be (27/(-18))/((-17)/2). Is 0 smaller than p?
True
Let q be 117/91 + (-2)/7. Is q less than -1/7?
False
Let g be (1/(-2))/(2 - 1). Let v = 0.07 + 0.03. Which is greater: g or v?
v
Let v = 0.45 + -0.25. Which is bigger: 1/3 or v?
1/3
Let v = -2.1 + 2. Suppose 2*w - 10 = -2*t, 10 = 2*w + 3*t - 4. Wh