t i = h + -0.1. Is i at least 1?
False
Let u be (-66)/(-117) - (-1)/(-3). Let x be (0 + 1 + -1)/(11 - 13). Which is bigger: u or x?
u
Let o(y) = -y**2 - 3*y + 3. Let g be (32/8)/(1 - 2). Let x be o(g). Suppose 2*h - 8 = -5*p, 9 = -4*h + 5*p - 5. Is h smaller than x?
False
Let n be 2 - (84/(-10) - -2). Let t = 6143/795 - -160/159. Let j = n - t. Is 0 equal to j?
False
Let c = -17.8 - -21. Let t = -1 + -2. Let r = t + c. Is -1/5 <= r?
True
Let g be (-78)/(-248) + 1/(-4). Let y = g - -25/93. Is 1 at most y?
False
Suppose -2*w + w - 7 = 0. Which is greater: -2 or w?
-2
Let k = 0.05 - -0.15. Is k < -2/17?
False
Let h(m) = 13*m**2 + 2*m + 1. Let w be h(-1). Let d be 22/w - (-22)/(-11). Let g(n) = n**3 - 4*n**2 - 6*n + 4. Let s be g(5). Which is smaller: s or d?
s
Let l be (-110)/66 - 2/(-3). Which is smaller: l or -3/14?
l
Let g = -29 + 22.5. Let m = -5 - g. Let b = 0.5 - m. Which is greater: b or 0?
0
Let g = 1 - -3. Suppose 4 = g*d - 4. Which is smaller: d or 3?
d
Let n(h) = -h**2 - 7*h - 7. Let c be n(-4). Which is smaller: 7 or c?
c
Let f(p) = -2 + 3*p**3 - 6*p**3 + p**3 + 1. Let g be f(-1). Let q be (-2 - (-3)/2) + 1. Do g and q have the same value?
False
Let h be 3/(10/(-25) + 22/30). Suppose -5*b = -3*b. Which is greater: b or h?
h
Let y = -3.04 - -3. Let k = y - -9.04. Let w = k + -9.05. Which is smaller: 2/5 or w?
w
Suppose 0 = 2*o - 5*o + 9, -q = 4*o - 34. Is q <= 22?
True
Let w = -22 + 22.2. Let v(n) = n + 4. Let m be v(-4). Which is greater: m or w?
w
Let l(x) = -x**3 - 7*x**2 - 9*x + 5. Let v be l(-5). Which is smaller: 6/7 or v?
v
Let n(q) = q**3 + 2*q**2 - 3*q - 3. Let v be n(-2). Suppose -v*t + 4*t - 2 = d, 20 = -5*d. Let c be 1 - 5 - (-20)/6. Is c greater than t?
True
Suppose -u + 3 = 10. Let v = u - -13. Is 6 <= v?
True
Let j = 32 + -36. Is -12 at least as big as j?
False
Let z be (-69)/(-9) - (-2)/6. Is 9 equal to z?
False
Let i be 4/22 + (-15 - -15). Which is bigger: -0.1 or i?
i
Let m be (3/(-30))/((-4)/(-16)). Is 0 smaller than m?
False
Suppose 3*z - 12*z = -414. Are z and 1 equal?
False
Suppose -4*r + 4 + 0 = -5*c, r + 5*c - 1 = 0. Let n = -0.5 - -3.5. Let f = n - 0. Which is greater: f or r?
f
Let i = 0.19 - 0.09. Let r = -0.3 + i. Which is bigger: r or 4?
4
Suppose -l - 3 = -2*l. Let h(f) = l*f + f - 3*f - 3. Let x be h(5). Does x = 1?
False
Let c be 1/(-3) - 1284/36. Let h be c/44 - 6/33. Suppose 5*g + 2 = 3*g, 0 = 4*i + 2*g - 2. Which is bigger: h or i?
i
Let x = -4 - -6. Suppose 0 = -5*r - 4 - 1. Let j = r - x. Do j and -2 have the same value?
False
Let u = -54 - -37. Which is greater: 0.1 or u?
0.1
Let q be -67 - 2*(-2)/(-4). Let i = 474/7 + q. Let h be 4*-2*3/(-36). Which is greater: h or i?
h
Suppose -y = -0 - 2. Let p = 19.1 - 18. Let z = p - 1. Is y bigger than z?
True
Let w = -7 + 15. Suppose 0 = w*j - 5*j. Suppose 0 = -4*s - 5*c - 25, 5*s - 5*c + 24 - 4 = j. Which is smaller: -4 or s?
s
Let n = -24 + 28. Which is smaller: 0 or n?
0
Let t = -7 + 6.7. Let g = 0.2 + 0.8. Let d = g + -1.1. Which is greater: t or d?
d
Let w(z) = z**2 + 16*z + 16. Let f be w(-15). Is 0 not equal to f?
True
Let v = -0.07 - -0.01. Let m = -0.04 + v. Which is bigger: 1/3 or m?
1/3
Let c be (-3)/((-63)/(-5136)) + -3. Let t = c + 247. Are 0 and t nonequal?
True
Suppose -3*b + 12*b = -18. Let a = 2 - -8. Let w be 4/6*a/(-8). Is b equal to w?
False
Let o(f) = 4*f - 4. Let t be o(1). Which is greater: -16/11 or t?
t
Let x = 18542/45 + -412. Which is smaller: x or -1?
-1
Let z(b) = -b + 9. Suppose 0 = j - 2*j. Suppose j*c - 4*c + 28 = 0. Let x be z(c). Which is bigger: 1 or x?
x
Let x = -1 + -7. Let q = 8.1 + x. Which is smaller: q or 7?
q
Suppose 0 - 2 = 2*h. Let p be -4 - 110/(-135)*5. Is p <= h?
False
Let z = -319/65 + 82/13. Suppose -2*x = 5*o - 10 - 0, 0 = 3*x - o + 2. Is z equal to x?
False
Suppose -x + 64 = 2*x + 2*q, -56 = -3*x + 2*q. Suppose 5*h + 0*u + x = -5*u, -4*u - 17 = 5*h. Is -2/11 bigger than h?
True
Let t be 666/(-324) - (-2)/9. Are t and -3 non-equal?
True
Let c = 0.16 - -0.64. Is 2/3 at most as big as c?
True
Let p = 0.05 + -8.05. Let v = -7 - p. Which is smaller: v or 2?
v
Let q = -0.05 - 0.05. Suppose 3*o = -34 - 2. Let s be (-7)/o - 2/6. Which is bigger: q or s?
s
Suppose 328 = 11*j - 3*j. Is 39 at least j?
False
Let k be -23 - -3*(2 - 1). Let w = 21 + k. Do w and 9/7 have different values?
True
Let r = -2 + 1.8. Let s = r + 0.3. Which is bigger: s or 0?
s
Let k = 0 - -2. Which is smaller: 1 or k?
1
Let r = -38 + 51. Is r <= 2?
False
Let j = 16 - 14. Which is smaller: j or 5/4?
5/4
Let t = 76 + -103. Is -28 at most as big as t?
True
Suppose -2*k + 8 = 4*n, -k + 2*n = -5*k + 10. Let f be k/(-8) + 91/28. Suppose -f*r - 3 = -0. Is r greater than 1/4?
False
Let k be 1*((-3)/12 - (-15)/(-20)). Which is greater: -1/255 or k?
-1/255
Let c = 10 - 8. Which is smaller: -2 or c?
-2
Let a = -12 + 47/4. Is 1 at most a?
False
Suppose 0 = 2*g - 6*g. Let l be (g - 2)/(-3 + 1). Let u = -388/5 + 78. Is l at most u?
False
Let s = 0 - 3. Let j(d) = -d**2 + 4*d - 3. Let m be j(5). Let h be (m/(-12))/((-2)/9). Is h smaller than s?
False
Suppose i + 10 = -g - i, 2*g - 4*i = 12. Let s(r) = -2*r - 1. Let u be s(g). Is 1 at most as big as u?
True
Let i = -1 + 3. Let o be (-1)/(-1) - 8/i. Let g be -3*(1 - 3/6). Which is greater: o or g?
g
Let l be 0/(1*(0 + -1)). Suppose 13 = 4*t + 1. Suppose -f - 3*f - 19 = t*a, -15 = -a + 4*f. Is l equal to a?
False
Suppose 19 = p + 3. Suppose 3*r - 7*r = -5*b + p, -r - 4 = -5*b. Suppose 4*t - 7 - 5 = 0. Which is smaller: t or b?
b
Let x(o) be the second derivative of o**5/20 + 5*o**4/12 - 4*o**3/3 - o**2 + 4*o. Let l be x(-6). Let r = l - 7. Is 4 equal to r?
False
Let g(j) = 7*j + 2*j**2 - 5 - 2 - 3*j**2. Let k be g(6). Does -1 = k?
True
Let r be (-18)/(4/((-16)/4)). Let z = 14 - r. Is z at least as big as -5?
True
Suppose 11*p + 69 = 729. Is p > 60?
False
Suppose g + 56 = -4*l, -4*l = -l + 5*g + 25. Suppose 8*c - 3*c = -40. Let k = l - c. Which is greater: -6 or k?
-6
Suppose d = 6*d - 5. Let v = -2 + d. Let s be v*(-3 + (-1 - -2)). Is 2 >= s?
True
Let d = -29.021 - -0.021. Is d at least as big as -1?
False
Let q = 22364/71 - 315. Are -1 and q unequal?
True
Let r(u) be the second derivative of u**3/6 - u**2/2 - u. Let t = -5 + 6. Let b be r(t). Which is smaller: 3/7 or b?
b
Let p(w) = 15*w**3 + 2*w**2 + w. Let n be p(-1). Let r be (-138)/(-42) - (-4)/n. Suppose 0 = r*u - 0*o - 3*o + 6, 2*o = 4. Is 1/5 at most as big as u?
False
Let m = -10 + 13. Suppose 3*k - 4 + 5 = 4*s, -m*k + s + 2 = 0. Is 2/17 not equal to k?
True
Let r = -316/85 - -18/5. Suppose o + 1 = h, o - 12 = -o - 5*h. Which is smaller: r or o?
r
Let u(v) = 5*v**3 - 2*v**2 - 3*v - 3. Let l be u(3). Let w be 102/l + (-2)/5. Are 0 and w unequal?
True
Suppose 5*y + 2 = 3*u - 21, 0 = -4*u + 4*y + 20. Suppose -2*h + 4*h + 4 = 0. Let t be h*(-2 + 2 - 1). Is u > t?
False
Let d = -6854/533 + 164/13. Are d and 0 equal?
False
Let s = -34 - -34. Which is smaller: s or -0.7?
-0.7
Let s(r) = -r**2 + 24*r - 32. Let o be s(21). Is o > -2?
True
Let c be ((-8)/(-11))/1 + -1. Let l = 4 + 0. Suppose 0 = o + s - 3, -l*s - 9 = 5*o - 7*s. Is o greater than c?
True
Let b be 56/65 - (-4)/(-10). Let o = b + -4/65. Are 2/7 and o equal?
False
Let j be (2 - (-2)/(-1)) + 9. Let x = -18 + j. Do x and -8 have the same value?
False
Let t = -4 - -13. Is t <= 23/3?
False
Suppose a = -3*a - 3*w + 4, -4*a - 5*w = -4. Let f(o) = -3*o - 4. Let j(z) = -4*z - 3. Let p(n) = -5*f(n) + 4*j(n). Let l be p(6). Is l >= a?
True
Suppose -7*x + 5*x = -5*z + 22, 0 = -3*x - 3. Suppose -2*w - z = -m + 1, -m + 4*w + 9 = 0. Is m < 0?
False
Suppose 5*s - 3*p + p = 0, 3*p = 0. Suppose 2*z = -s*z. Suppose 2*k = -z*k - 6. Which is bigger: k or -2?
-2
Suppose 5*z + 5*z = 14*z. Which is greater: 17 or z?
17
Let d(k) = 5*k + 8. Let b(u) = -6*u - 9. Let t(v) = -6*b(v) - 7*d(v). Let l be t(3). Which is bigger: 2 or l?
2
Let l(s) = s**2 - 29*s + 71. Let o be l(27). Which is bigger: o or 13?
o
Let v = -26 + 24. Let m be (-2)/3*2/28. Let n = 23/42 + m. Which is bigger: v or n?
n
Let t = -2.9 - -3. Let g = t - 0.2. Let c = 0.04 - 0.04. Are g and c non-equal?
True
Let r be -2 + (-10)/(-2) - -2. Suppose 0 = -3*a + r*a + 2. Let o = -203 - -1829/9. Which is bigger: o or a?
o
Let c(d) = d**2 - 6*d + 5. Let z be c(3). 