 = h**2 + 19*h - 24. Let b be x(-14). Is b at least as big as -93?
False
Let x = 7.7 - 8. Let t = 1.6 + -0.3. Let v = t + x. Which is greater: v or 2/5?
v
Let w = -15.2 + 0.2. Let i = w + 14.9. Which is smaller: 4 or i?
i
Let q be ((-4)/(-32))/((-21)/(-1516)). Let c = -62/7 + q. Let h(o) = -o**3 + 6*o**2 - 5*o. Let d be h(5). Is d >= c?
False
Suppose 0*u - 4*u = 12. Let x = -4 - -6. Suppose 3*c + x*d - 1 = -6, 5*d - 22 = 4*c. Is u smaller than c?
False
Let h = -1 - 0. Let v be ((-2)/(-4))/(h/(-2)). Let x = v + -1. Do x and 1/4 have different values?
True
Suppose l = -j + 12, -4*j - 3*l = -5*l - 54. Let g be (11 - j) + (-8)/(-5). Is -2 smaller than g?
True
Let p(j) = j**2 - 6*j - 4. Let f be p(7). Is -2 greater than f?
False
Let a be 2/1 - (-20)/(-11). Suppose i - 5 = 6*i. Which is greater: i or a?
a
Let u = 40/33 - 6/11. Suppose 2*y + 5*i - 20 = 0, y + 28 = 7*i - 0*i. Is y bigger than u?
False
Let f = 5 - 12. Is -9 bigger than f?
False
Let b = -443/19 - -23. Let g = b + 80/133. Is 2/3 >= g?
True
Suppose 0 = 3*g - 4 + 7. Let m be (-2 + 77/35)*5. Which is smaller: g or m?
g
Let i = 34 + -59. Which is bigger: i or -24?
-24
Let d be 2/(-4)*((15 - 1) + -2). Which is smaller: -31/5 or d?
-31/5
Let m = 4 - 1. Which is smaller: -1/7 or m?
-1/7
Let r = 99.43 - 100. Let b = r - 0.03. Which is bigger: 0.1 or b?
0.1
Suppose -4*k = -9 + 29. Let s(a) = -a**2 - 5*a. Let b be s(k). Which is greater: 2/7 or b?
2/7
Let v = -1.3 + 0.3. Let l = -0.09 - -0.09. Is v >= l?
False
Let m = 0.08 - -0.22. Let r(i) = -i**3 + 5*i**2 - 5*i + 3. Let h be r(4). Is m greater than h?
True
Let q(x) = x**3 - 6*x**2 + x - 8. Let k be q(6). Let l = 5 + k. Which is greater: l or 5?
5
Let d(f) = f**3 - 2*f**2 - f + 1. Suppose 3*x - 4 = -1. Let c be d(x). Let z(l) = l**2 - 3*l + 1. Let b be z(3). Which is smaller: b or c?
c
Let g = 0.04 - -0.06. Which is greater: 0.06 or g?
g
Let d be 1 - 4*9/48. Is 1 greater than d?
True
Suppose -5*k = -19 + 4, -2*k + 4 = -s. Let i be ((-4)/(-10))/(s - 4). Let l = -5 - -6. Is i at most l?
True
Let v be 2*((-2)/4)/1. Suppose 0 = -p + k + 1, 2*p + 4*k + k - 9 = 0. Suppose j = -p*j. Is j >= v?
True
Let l(d) = 2*d**3 + d - 2. Let v be l(1). Which is bigger: v or 5?
5
Suppose 4*j - 1341 = 5*l, 2*j - 330 = j + 3*l. Let i = 8414431/24855 - -540/1657. Let k = i - j. Are k and -1 equal?
False
Let o be -3*(-4 - (-185)/45). Which is smaller: -2/9 or o?
o
Let a be (-4)/(-10) + 198/55. Is a > 4?
False
Suppose -12 = -3*f - 0*f. Let d = 6 - 3. Which is smaller: d or f?
d
Suppose 0*s + s - 45 = -i, 4*i - 144 = 5*s. Let m = -122/3 + i. Which is smaller: -0.07 or m?
-0.07
Let i be (-73)/(-14) + 4/14. Let s = 23/4 - i. Is -1 greater than or equal to s?
False
Let r = 4014/91 + -312/7. Which is bigger: 0 or r?
0
Let m = -0.3 - -0.3. Suppose -10 = 3*c + 5*u + 10, -c + u - 4 = 0. Let i be (c/(-15))/((-2)/(-6)). Which is greater: m or i?
i
Suppose -3*c - 3 = -6*c. Is -1 smaller than c?
True
Let t be 453/9 - 4/3. Is 48 less than t?
True
Let j = 21.5 - 21. Is -2 greater than or equal to j?
False
Suppose 0 = -0*a + a - z + 2, z = 3*a. Let y(v) = -v**2 - 5*v + 10. Let g be y(-7). Let x = g + 3. Is x smaller than a?
True
Let i(o) = o**3 + 7*o**2 + 6*o - 8. Let v be i(-6). Suppose -3*l - 9 = -3*z, 15 = -4*z + z. Is v equal to l?
True
Suppose 4*i - 3 = -2*m + 1, 5*i = -4*m + 5. Let f = i + 1/2. Which is smaller: f or 3?
f
Let i(w) = w - 9. Let j be i(5). Let v(f) = -f**3 - 5*f**2 - f. Let h be v(j). Let d be (-7 - -3)*9/h. Is 2 smaller than d?
True
Suppose -5*t - 181 = 89. Are t and -54 nonequal?
False
Let z = 8 - 9.5. Let d = z - -2. Let h be (-9)/12 + 1/(-4). Is h greater than d?
False
Let x be -18*2/20 + 1. Which is greater: 0 or x?
0
Let a = 2 - 4. Suppose 0*y - 3*y = 3*i + 18, -4*i = -3*y + 3. Which is smaller: a or i?
i
Let f = 42 - 42. Which is greater: 2/185 or f?
2/185
Let c be 80/((-8 + 4)/(-4)). Let z = -561/7 + c. Which is greater: z or 0?
0
Let y = 17 - 24. Let m = 6.8 + y. Is -1/2 != m?
True
Suppose f + 10 = -4*o, 3*f - 3*o + 62 - 17 = 0. Let s = -12 - f. Which is greater: s or 4?
4
Suppose -3*s + 7 = -8. Suppose -2 + 1 = 3*r - 2*p, -s*p = 4*r + 32. Let k = 2 + r. Do 2/7 and k have the same value?
False
Let a(l) = l**3 - l**2 - l + 2. Let w be a(2). Suppose -w*b = b - 5. Which is smaller: b or -1/5?
-1/5
Suppose 2*r - 10 = -2*l, 4*r + l = 4 + 1. Is 0 at least r?
True
Let m be (-2 - (-1)/2)*-8. Suppose 4*q = 4*d + q + m, -3*d - 4*q = -16. Let r be 4*((-2)/4 - d). Which is greater: r or 0?
0
Suppose -2*f + 1 = -3. Do 5/7 and f have the same value?
False
Let u be 0 + (-60)/27 + 2. Which is bigger: -1 or u?
u
Let v = -137/2 + 211/3. Is 1 less than v?
True
Let d be 16 + -17 - 11/1. Are -12 and d equal?
True
Suppose -10 = 5*n + 2*z, -2*n = 3*z + 4 - 0. Are n and -7/10 unequal?
True
Let l = 0.3 + -0.2. Let d = 0 + l. Let w be (-5)/(-4) - 6/(-8). Do d and w have the same value?
False
Let o = -19/2 - -10. Which is bigger: o or -0.3?
o
Let v be (0 - 2/(-1)) + 28. Let c be v/(-72) - (-1)/(-3). Is 0 equal to c?
False
Let q = 0 + 0.2. Let a be (1/(-4))/(63/280*5). Which is smaller: q or a?
a
Suppose 6 = 4*q + 86. Let t = 19 + q. Which is greater: t or -3/7?
-3/7
Let i = 4 - 7. Let k = 1 + i. Let t = 9 - 9. Which is smaller: t or k?
k
Let m be (-4)/(-12)*3/(-2). Which is bigger: 0 or m?
0
Let b(s) = -s**2 - 10*s - 7. Let w be b(-10). Let k = 4 - w. Which is smaller: k or 12?
k
Suppose 4*j - 73 = -53. Let v be (-3)/(-9)*(10 + -1). Suppose 0 = 2*l + v*l - j. Is l > 2/13?
True
Let y be -3*-1*(-2)/(-6). Which is smaller: 10 or y?
y
Let x = 8 - -6. Suppose n - 4*n = 5*k + x, -14 = -n + 3*k. Suppose n*m = -8 - 4. Is m >= -7?
True
Let c = -1 + 0.7. Is c smaller than -1/20?
True
Let l(z) = -z**2 + 5*z - 2. Let o be l(3). Suppose -5*s + 0 + 4 = -4*r, -o*s = 0. Is -2/3 at most r?
False
Let v = -8 - -5. Let z(g) = -g. Let b be z(v). Which is bigger: -1 or b?
b
Suppose 3*o = -0*o + 3. Let k = -267924297/920 + 291222. Let h = -1/40 + k. Which is smaller: o or h?
h
Let m be 0 - (1*-2 + 0). Let b = -4 - -1. Let v(h) = -h - 1. Let n be v(b). Is n less than or equal to m?
True
Let j = -0.22 - 0.88. Let n = 1.2 + j. Which is smaller: -0.4 or n?
-0.4
Let t be -4 + 3 - 30/(-26). Let q = -2 + 2. Which is smaller: t or q?
q
Let w be (-4)/3 - 2/3. Let b be 26/(-8) + (-15)/(-60). Which is bigger: b or w?
w
Let l = -239/4 + 60. Let h(y) = 2*y**2 + 8*y + 6. Let f be h(-3). Which is greater: f or l?
l
Let s(h) = 9*h - 4*h + 4 - 5 + 6*h. Let p be s(1). Suppose -2*j + 25 = -5*n + 3*j, 2*j = n + p. Which is greater: 1 or n?
1
Suppose -2*m = -10 + 16. Which is greater: m or -2?
-2
Suppose 5 = 5*p - 0*p, -5*p + 9 = -4*o. Let x be 0 - 249/(-9) - o. Let l = -29 + x. Is -1 equal to l?
False
Suppose -q + 32 = 2*i, -3*i + 3*q + 24 = -24. Let f be (-12)/i - 3/(-4). Which is smaller: 1/5 or f?
f
Let q = -19/45 - -5/9. Which is smaller: q or -1?
-1
Let h be 534/(-18) - (-2)/(-6). Suppose 2*w - 4 = 4. Let k be w/h*20/(-16). Is -1 >= k?
False
Suppose 3*b - 7*b = -392. Let u = b + -44. Let n = 215/4 - u. Is -1 greater than n?
False
Suppose b - 3 = -28. Let a be ((-166)/b)/((-56)/(-10)). Let k = a - 9/10. Which is greater: 0 or k?
k
Let l(r) = -r - 6. Let t(p) = -p**3 - 4*p**2 + 7*p + 7. Let z be t(-5). Let d be l(z). Let s be 2/d - (-4)/(-12). Is s equal to -1/5?
False
Let w be (-30)/90 - (1 - (-5)/(-6)). Is 15 less than w?
False
Let t = -48 - -41.2. Let a = t - -7. Let b(j) = j + 2. Let o be b(-3). Which is bigger: a or o?
a
Let z(h) = 3 - 62*h + 61*h - 3. Let x be z(-1). Is x less than -1/18?
False
Let t = 0 - -1. Let a = 12472/27 + -462. Which is bigger: a or t?
t
Let t = 3 + -1. Suppose t*p = -1 - 1. Let q be -1 + 2 + -1 - 0. Which is bigger: q or p?
q
Let o = 0.7 - 0.2. Let q = o - 0.3. Let n = q + -0.4. Are 1 and n equal?
False
Let u = -12 - -11.73. Let s = u + 0.24. Which is smaller: s or 2/3?
s
Suppose 4 = o + 2, 2*o = -m + 4. Is m not equal to 0.41?
True
Let b(o) = 2*o**2 + 8*o - 2. Let s be b(8). Let r be s/45 + 6/(-27). Which is bigger: r or 5?
5
Let g = -18 + 18. Which is bigger: g or 1/4?
1/4
Let m = -3 - -2. Let t be (-4 - -1)*m/(-3). Let c = 2 + t. Are c and -2/5 unequal?
True
Let i be 30/(-12)*(-18)/(-15). Which is bigger: -8 or i?
i
Suppose 6 = -3*a + d, -4*d = -5*a - 6 + 3. Let o = 0.2 + 0. Let u = 0