4/41. Is h greater than -2?
True
Let x(p) = -p**2 - 6*p - 4. Let f be x(-7). Is -11 smaller than f?
False
Let c = 125/4 - 32. Suppose 2*y - r = -y - 13, 0 = 2*r - 8. Let x = y + 2. Is x > c?
False
Let d(n) = n**3 - 2*n + 20. Let k be d(0). Is k >= 23?
False
Suppose -49*h - 8 = -45*h. Let v = 5/817 - -80051/2451. Let r = -32 + v. Which is greater: r or h?
r
Let o be (-2)/18 + 2/6. Suppose -3*p = 2*d, d - 3*p = -d + 12. Let b be -2*((-9)/d)/(-6). Which is greater: b or o?
o
Let u = 0.2 - 0.3. Let p = -2.9 + u. Let d = 340 - 342. Is d less than p?
False
Suppose 0*f - 2 = -f. Let u be ((-6)/f)/((-3)/(-2)). Do u and 0 have different values?
True
Let g = 16/7 + -57/28. Is g <= -1?
False
Suppose 5*d - 4*v - 9 = 0, -5*d + v + 17 = -v. Suppose -c + 20 = 4*x, 2*x = -3*x - 3*c + 18. Is x greater than d?
True
Let f(u) = -u**2 - 6*u + 2. Let h be f(-7). Let o(i) = -i - 11. Let y be o(-7). Which is bigger: h or y?
y
Let t(o) = o**3 + 4*o**2 + 4 + o - o**2 - 3*o. Let w be t(-4). Is -4 at most as big as w?
True
Let t be 2/(-4) + 10/4. Let a be (-2 - (-1)/t) + 1. Do a and -0.1 have the same value?
False
Suppose 5*j - 7 = 2*c, -3*c - 2 = -5*j + 1. Suppose -15 = 5*h - 5, -j*o + 3*h = -6. Suppose -3*n + 5 + 7 = o. Which is bigger: n or 5?
5
Let o = -85/308 + 2/77. Let k = -7.3 - -7. Is o < k?
False
Let t be 1/2*(-84)/(-6). Let h be -3 + 2 + t + -2. Are 3 and h unequal?
True
Let s(x) = x**3 - 3*x**2 - 3*x + 1. Let w be s(4). Suppose w*r - 2*p - 5 = 0, 4*r = -3*p + 7 - 3. Is 3/10 < r?
True
Let g = 0.05 - -0.25. Let d = -28 - -27. Is g not equal to d?
True
Let i = -11099/3 + 3755. Let z = i + -54. Which is smaller: -1 or z?
-1
Let h = -38 - -37.92. Are h and 0 equal?
False
Suppose 3*m - 6 + 0 = 0. Suppose 0 + 2 = -m*u - 2*i, 0 = 5*u - 4*i - 4. Let h = -1003/7 - -143. Are h and u nonequal?
True
Let p(u) = -u**2 - u + 2. Let r be p(0). Let z = 3 - r. Let d be (3/9 + 0)/z. Is 1 at most d?
False
Let a = -3 - 12. Is -13 at most as big as a?
False
Let g = 0.024 - -2.276. Let n = 0.09 - -0.21. Let v = n - g. Is -1/4 at most as big as v?
False
Let o be 47 - 5*(-2 + (-42)/(-15)). Which is bigger: o or 44?
44
Let b(d) = -d**3 + 3*d**2 - 4*d + 3. Let t be b(2). Let u = 1 + t. Is -2/7 bigger than u?
False
Let u be ((-15)/(-6)*-4)/2. Let c be (-5)/(-10)*(-1)/u. Is c > -1?
True
Suppose -u = u. Let k be (3 - u)/(-2 + 5). Is k at most 2?
True
Let v = 0.07 - 0.07. Let x = 0.7 - -2.3. Let r = -1 - x. Which is greater: v or r?
v
Let i = -16 - -10. Let c be 56/i*(-9)/(-6). Let r = 41/3 + c. Is r greater than or equal to 5?
False
Let g = -4 - -3. Let r be (-2)/(0 + 6)*-3. Let m be -1*(-1 + 2/r). Is g greater than or equal to m?
True
Suppose 2*s + 2 = -0. Suppose -4*h = 3*k - 146, -4*h = 4*k - 131 - 57. Let z = k + -211/5. Which is smaller: s or z?
s
Let d = 30 + -29.9. Let p = 0.6 + -0.2. Is p >= d?
True
Let z = -106 - -104.5. Are -1 and z equal?
False
Suppose 4*z - z = 18. Suppose 8*d - z = 2*d. Which is bigger: 0 or d?
d
Let g = -0.84 + 1.14. Which is smaller: g or 7?
g
Let h = -0.13 - -0.03. Is -27 at most as big as h?
True
Suppose -20 = 2*w - 4*j, -w + 3*j = 2*w + 15. Suppose 2*n - 3 + 5 = w. Which is smaller: n or 2/29?
n
Let a = 8 - -12. Is a > 1/3?
True
Let b = 2003/24 - 84. Let p be (1/16)/((-6)/(-36)). Let i = b + p. Which is smaller: i or 0?
i
Let n = -4 + 7. Let u be (-2)/n + 22/6. Suppose u*z = -z + 4. Which is smaller: z or 0?
0
Let a(z) = -7*z - 8 - z**3 - 7*z**2 + 8 - 1. Let t be a(-6). Suppose 0 = -2*c - 4, 0*x + t*c + 18 = x. Which is smaller: 9 or x?
x
Let n be (-3)/(-12) - (-12)/16. Is n < 16?
True
Let v be (-2)/9 + (-20)/(-9). Let o be (4/v)/(8/(-6)). Let d be (-2)/12 - -44*(-2)/48. Is o less than d?
False
Let h = -1 - -5. Let p = 7 - h. Let a = -35/78 - 2/39. Which is greater: p or a?
p
Let s(y) = 2*y + 9. Let g be s(-6). Suppose -49 = -4*k + b, -b - 2 + 30 = 3*k. Let d = -23/2 + k. Which is smaller: g or d?
g
Let x = -52.92 - -53. Are 2 and x equal?
False
Let k = 59 - 237/4. Which is bigger: -0.3 or k?
k
Suppose -10 = 6*w - 8*w. Suppose -3*m = -3*k - 0*k - 6, 5 = w*m. Is 3/7 smaller than k?
False
Let m(w) = -w**3 - w. Let n be m(0). Is 1/2 less than or equal to n?
False
Let v = 4 - 0. Suppose -2*l = -l - 5*n - 17, v*n + 14 = l. Suppose -4*a - 2 = l. Which is bigger: a or -2/3?
-2/3
Let n(o) = o**3 - 10*o**2 - 9*o - 20. Let k be n(11). Which is smaller: 1 or k?
1
Let y(o) = o**3 - 5*o**2 - 2*o + 5. Let b be y(5). Suppose -z - 2*z - 12 = 0. Which is bigger: b or z?
z
Suppose -7*y + 5 = -2*y. Is -4/27 greater than y?
False
Suppose q - 5 + 2 = 0. Let g be 1 + -5*q/9. Which is greater: g or 1/2?
1/2
Let y = 6 + -5. Which is greater: y or 2/35?
y
Suppose -3*x = 5*t + 234, -3*x - 2*t - 191 - 43 = 0. Let c be x/24 - 2/(-8). Is -3 at least c?
True
Let u(t) = 3*t**3 - 1. Let w be u(1). Suppose 4 - 8 = w*s. Let j be 2/(-10) - s/6. Which is greater: j or 0?
j
Let h be 18/(-12)*(-15976)/51. Let g = h - 470. Which is greater: -1 or g?
g
Let r = 3.03 + -5.8. Let u = -2.7 - r. Which is greater: u or 0?
u
Let w be 4 - (-2)/1*1. Suppose -f + w*f - 10 = 0. Suppose 0 = -4*n + b - 14 + 4, 0 = -2*n + f*b - 8. Is -1 at least n?
True
Let m(r) = r**2 - 6*r + 1. Let h be m(6). Which is smaller: h or 2?
h
Let g = 1 + 3. Suppose 5*p = -4*h + 36, -3*h + g*p + 0 - 4 = 0. Suppose h = v + 3, -v + 7 = 3*z. Is 0 < z?
True
Let d be -3 - (1870/26 - 3). Let t = 72 + d. Which is smaller: t or -1?
-1
Let j = 19 + -19.1. Which is smaller: j or 0.02?
j
Let l = -3.7 + -11.3. Let v = 13 + l. Let u = -0.1 - 0. Is v bigger than u?
False
Let v be ((-16)/40)/(1/(-30)). Which is smaller: v or 11?
11
Suppose -3 = -q + 4*q. Let r = q - 3. Let d = -0.03 + -0.97. Which is greater: d or r?
d
Suppose 157 = 3*f + 5*b - 0*b, 5*b + 107 = 3*f. Suppose 5*k - f = 41. Is k less than 17?
False
Let y be -4 + (3 - (2 - -1)). Let b be 1/(-16 + y + 4). Is -1 <= b?
True
Let l be 1/(-1) - (-29)/27. Let j(w) = -w**2 + 3*w - 2. Let z be j(2). Is l at most as big as z?
False
Suppose -x + 2*x = -5*k + 101, -36 = -2*k + 4*x. Let i be 52/k + (-4)/(-10). Suppose -2*z + i*a - 1 = 2*a, 5 = -5*z + 3*a. Which is bigger: -1/3 or z?
z
Suppose p + 36 = 5*p. Let t be -2 + 24/p + -1. Does 1 = t?
False
Suppose -5*g + q - 401 = 0, -3*g - 2*q = -7*q + 223. Let l = 245/3 + g. Is l not equal to -1/4?
True
Let v be 1/((-3 + 2)/(-10)). Let x be v/(-15)*6/22. Is 1 at least as big as x?
True
Suppose 45*u - 42*u = 192. Is u not equal to 63?
True
Suppose y = 3*y - 4, 3*i - 16 = 4*y. Let c be (-18)/i*16/6. Is -5 != c?
True
Let s = -12 + 11. Which is smaller: 1/41 or s?
s
Let n(f) = -3*f + 35. Let a be n(6). Is 18 at most a?
False
Let k = -11 - -23. Let y be (32/7 - 5) + 94/7. Which is smaller: k or y?
k
Let t be (3 - (1 - -3))*-1. Is t at least as big as 1?
True
Let h be (-4)/18 - 2/9. Let l = 20 + -20. Which is smaller: l or h?
h
Suppose 5*l + 90 = 5*t, -l - 4*t - 38 = -9*t. Do -14 and l have the same value?
False
Let d be (-5 - 1)/((-12)/56). Suppose -3*h - h = -d. Does h = 7?
True
Let s = 0.2 - -1.8. Let q = -2 + 1. Do s and q have the same value?
False
Let t = 0.6 + 0.4. Let c = t - 5. Which is greater: 0.1 or c?
0.1
Suppose 5*j - b + 3 = 0, -2*j - 3*b - 4 = -2*b. Let f = j + 5. Are -1/2 and f nonequal?
True
Suppose 0 = -c - c. Suppose c*y + 4*y + 4 = 0, 11 = 5*a - y. Let k be -2 + -1 + (3 - a). Is k not equal to -3/2?
True
Let q(i) = i**3 - 18*i**2 + 16*i + 20. Let y be q(17). Let s be (-3)/4*4*-1. Suppose y*t + s = 2*t. Which is smaller: t or -1?
t
Let s(k) = -4*k**2 + 0*k**2 + 0*k - k. Let v be s(-1). Let h(m) = -m - 2. Let w be h(1). Is w greater than or equal to v?
True
Let y be (-9)/(-63)*4/(-2). Let r = -470/9 - -52. Is y bigger than r?
False
Let v(x) = x**3 + 4*x**2 + x - 2. Let u be v(-3). Let y be (-1 - -5)/(-2) + u. Suppose 0*r = -y*r. Is r < -2/9?
False
Let t = -4 + 4. Does t = 0.03?
False
Let h = 0.4 + -0.35. Let r = 5.95 + h. Let u = -4 + r. Which is smaller: -1 or u?
-1
Suppose 0 = 10*p - 7*p. Are p and -1/6 non-equal?
True
Let t be (-1)/3*6/(-2). Suppose 2*q = -q. Suppose -4*r - 4*w - 16 = q, -7*w = -4*r - 3*w + 24. Is t greater than r?
False
Let z = 0 + -6. Let j(n) = n - 10. Let x be j(3). Which is greater: x or z?
z
Let b = 2.4 - 0.2. Let i = b - 2. Is 3 equal to i?
False
Suppose -2*l - 3*y - 80 = 2*l, 3*y = 4*l + 80. Is l != -20?
