26)/f + 3). Is -1 at most as big as w?
True
Suppose 0*o = -5*o + 3*d + 39, 4*o = -2*d + 18. Are o and 7 equal?
False
Let g be (5/(-4))/(1/4). Let n(s) = s + 7. Let b be n(g). Suppose b = -p - p. Which is bigger: p or -2/5?
-2/5
Let z = -22 + 23. Which is greater: z or 1/36?
z
Suppose 3*c + 2*c + 370 = 0. Let g be c/(-36) + 6/(-27). Which is smaller: g or 1?
1
Let m(n) = 2*n + 4. Let q be m(2). Which is greater: q or 10?
10
Let g = -48 - -48. Are -1/34 and g unequal?
True
Let t(h) = -h**2 + 2*h. Let r be t(2). Is -3/13 < r?
True
Let p = -221 + 1987/9. Suppose -2*g + 2*b + 5 = -1, -g = b - 1. Let r(y) = y - 1. Let o be r(g). Is o <= p?
False
Suppose -3*m + 17 = -1. Is m at most 27/5?
False
Suppose 0 = 2*a + 4*d - 26, 4*a - 3*d + 3 = -0*a. Suppose -z = -a*b + b - 7, 4*z = -b - 17. Is -4 greater than or equal to b?
True
Suppose 0 = -2*j - j + 6. Let x be j/4*-5 - -2. Is -2 != x?
True
Suppose 16*f = 11*f. Let m = -9 + f. Is m > -2/3?
False
Let u = 8 + -9. Let c be 3 + (2 - 5 - u). Are c and -1 nonequal?
True
Suppose 3*t - 5*o + 9 = 0, 5*o + 7 - 32 = -5*t. Let v = 224 - 224. Which is smaller: t or v?
v
Suppose 3*d - 4*i = 38, 2 = 2*i + 6. Is 0 smaller than d?
True
Let u be 4 - ((-42)/33 - -4). Which is smaller: u or 0?
0
Let a(t) = -10*t**3 + t**2 + t - 1. Let d be a(1). Let g = d + 1. Let z(q) = -q**2 - 7*q + 9. Let s be z(g). Is -1/9 greater than or equal to s?
False
Let v be ((-1)/2)/(2/(-56)). Suppose 4 = 2*d, v + 1 = z + 2*d. Is 11 smaller than z?
False
Suppose -2*k - 2*k = -12. Suppose -5*v + 7 = -k. Suppose -2*q - 4 = -c, 8 = v*q + c + c. Which is smaller: q or 1/2?
q
Let k = -6/5 + 3/2. Is k less than -1?
False
Let h = 76 - 74. Do 0.05 and h have the same value?
False
Let p be 4/10 - (3 + 5/(-2)). Is -1 not equal to p?
True
Let z = 0.15 - 1.05. Suppose 0 = 66*l - 65*l. Is z greater than l?
False
Let a = 247/3 + -81. Let c = 8 + -8. Is a less than or equal to c?
False
Suppose 5*p + 4*s = 38, 5*p - s = -0*s + 28. Let d be (-4)/p - 7/3. Let g = d + 3. Which is greater: g or 1/4?
1/4
Let k be 8/(-6) - (0 - 1). Let p = 8 - 12. Which is bigger: k or p?
k
Let s(g) = g + 18. Let u be s(-16). Is 12/13 > u?
False
Let v be (-3 + (-10)/(-3))/(0 - 1). Is -2/15 bigger than v?
True
Let d be 4 - (-58)/(-24)*2. Which is smaller: d or -1?
-1
Let y = -7 - -4. Let z be y/1 + 1 + 1. Is z at most -12/11?
False
Let d be ((-21)/(-2))/(-3)*(-6 - -4). Suppose 2*v - 24 = -2*k, -2*v - 3 - 3 = -4*k. Do d and v have different values?
False
Let a = 11674 - 8043384/689. Let o = 290387785172/10335 + -28097512. Let c = o - a. Is c bigger than 1?
False
Let s(j) = 13*j - 35. Let q be s(9). Which is greater: 1 or q?
q
Let u be 0 + 1*4/2. Which is greater: 4 or u?
4
Let u = 5 + -5.1. Is -16 >= u?
False
Let w(q) = q - 2. Let y be w(2). Let o = -8 - -8. Suppose o = 3*t + 3*i - 9 - 0, t - 4*i + 12 = 0. Is y <= t?
True
Let d = 11/1470 - 175097/490. Let k = -361 - d. Let n = k - -35/9. Do n and 0 have the same value?
False
Let y = 0.4 + -0.2. Let f = -0.5 + y. Let w = 0.1 + f. Which is bigger: w or 0.1?
0.1
Let d(k) = -59*k**3 - k. Let z be d(1). Let p be 3/z*-4 - 0. Which is smaller: p or 0?
0
Suppose 2 = 5*s - 7*s. Which is greater: -2/17 or s?
-2/17
Suppose 0 = -w - 26 + 30. Is w at most -0.4?
False
Suppose 24 + 16 = 4*g. Let o(u) = u - 4. Let i be o(8). Let h be i/g + 2/(-5). Do 4/9 and h have the same value?
False
Let x(k) = -k**3 - k**2 - 2*k - 1. Let s be x(-1). Let g be (s - 12/10)*-3. Which is smaller: g or 2?
g
Let n(o) = o - 2. Suppose -v - 18 = 2*v. Let f be n(v). Are f and -8 non-equal?
False
Let j be -2 + 0 + 20/10. Let f be 1 + -3 - (-26)/14. Are j and f non-equal?
True
Let u = 518/5 - 104. Let p = 0.08 - -0.12. Which is greater: u or p?
p
Suppose -5 = 2*j - 1. Let d = j + 2. Let h = d - 1. Is 0.1 <= h?
False
Let a be -3*1*(-4 + 3). Let x be 2 - a/(-9)*0. Suppose -3*c + x + 4 = 0. Are 2 and c unequal?
False
Let u(k) = 3*k**3 + 0*k**3 + 5 + 17*k - 2*k**3 - 16*k**2 - 2*k. Let p be u(15). Is p <= 5?
True
Let q be 2/6 - 95/114. Let w = 3 - 3.2. Which is greater: w or q?
w
Let m(f) = 15*f + 39. Let i be m(-4). Which is smaller: -23 or i?
-23
Let d = 8 - 4. Let p = 1 - 1. Let v be p + 1 + (-1)/(-1). Is v less than d?
True
Let f = -9 - 5. Let m = 0.4 - -0.6. Is f at most m?
True
Suppose 0 = s + 5*a - 19, 4*a = -s + 9 + 6. Let l = 3 + -4. Are l and s unequal?
False
Let u = -0.05 - -7.05. Is -1 less than or equal to u?
True
Let w be (-4)/((-16)/(-6))*-8. Let x be w/21*(-1)/(-6). Which is smaller: -1 or x?
-1
Let p be 5*3/3*1. Suppose -2*a = -p*v, 0*v = 5*a - v. Which is smaller: a or -1?
-1
Let o = 52/5 + -10. Let q(h) = h - 5. Let j be q(5). Suppose d - 2*r = 0, -3*d = -j*d - 3*r. Is o equal to d?
False
Suppose b = 4 - 5. Is b equal to -1/51?
False
Let h = -98 - -74. Does h = -24?
True
Suppose 6 = 2*j + j. Let p = j + 0. Suppose -4 - 4 = -3*b + h, -2*b - 23 = 5*h. Which is smaller: b or p?
b
Let h(n) = n**2 - 8*n + 5. Let v be h(5). Let p be (-3)/15 + (-22)/v. Which is bigger: p or 1?
p
Let f(r) = r**2 - 9*r - 9. Let p be f(4). Is p <= -27?
True
Suppose -4 = -4*r - 0, -i + 3*r = 3. Which is smaller: 18/13 or i?
i
Suppose 0 = -v + 2*v - 7. Let l(j) = j**2 + 8*j - 2. Let x be l(-9). Is v bigger than x?
False
Let t = 1.3 + -3.64. Let w = -0.44 - t. Let k = w + -0.9. Is 0 greater than k?
False
Let r(c) = -c**3 + 6*c**2 - 3*c + 3. Let i be r(6). Let m be (39/i + 3)*35. Is 15 at most m?
False
Let y = -0.02 - 0.08. Let l = -0.5 + -3.5. Which is smaller: y or l?
l
Let w(n) = 2*n. Let m be w(3). Let y be m*(-1)/((-3)/(-1)). Is -2 < y?
False
Let d = 244 - 253.9. Let y = 10 + d. Is y less than -1/4?
False
Let v = 4.8 + -4.6. Is v greater than or equal to -10?
True
Suppose -n = -3*n + 4. Suppose -c - 271 = 5*s, n*s + 103 = 3*c + 2*c. Let h = s + 271/5. Which is smaller: h or 2/9?
h
Suppose 4*c + 2 = 14. Let k be 116/120 - 2/c. Let s(q) = -q**3 - 4*q**2 - 1. Let n be s(-4). Is k at least n?
True
Let d be 64/(-10) + 20/50. Let m(v) = v**3 + 7*v**2 + 6*v. Let u be m(d). Suppose 0 = -0*z + z - 1. Which is smaller: z or u?
u
Suppose -5*n + 7 = y - 3, 0 = -2*n - 5*y + 27. Let p = -11 + 16. Suppose 4*h = -h - p. Are h and n nonequal?
True
Suppose 0 = 5*x - 5*z - 35, 4*x + 8*z - 28 = 4*z. Let y = 9 - x. Suppose 2 = y*n - 2. Do -0.1 and n have the same value?
False
Let g = 2944/13 - 226. Which is smaller: g or -1?
-1
Let j be 2/((-1 - (-108)/(-52)) + 3). Which is bigger: -25 or j?
-25
Let c = 1.68 + -2. Let k = c + 0.02. Let d = 0.1 + k. Are -0.4 and d nonequal?
True
Let w(r) = 2*r + 1. Let f be w(3). Which is smaller: f or 37/5?
f
Let d = 1 - 2. Let i be (-1)/(0 - (-1)/(-3)). Let a(w) = w**2 - 3*w - 1. Let g be a(i). Is d < g?
False
Suppose -3*b + b = -6. Is b > 1?
True
Let d = 0.4 - 0.3. Let p be 6/(-30) - 39/(-145). Is d at most as big as p?
False
Let m = 28 + -16. Suppose -2*h - 2 = -6. Let w be m/(-7) + h + 0. Which is smaller: w or -0.2?
-0.2
Suppose 4*o - 3*o = -1. Suppose -c = c - 12. Let z be (-2)/c*6/5. Is z >= o?
True
Let i be (-1)/(-2) - ((-77)/(-14) - -4). Is i greater than -6?
False
Let t be (-6)/9 + 266/(-6). Let n = -26 - t. Let p be (-2)/(n + -1)*2. Which is smaller: p or -1?
-1
Let m = -0.53 + 0.5. Let n = m + 2.03. Let f = n + -1. Is f less than or equal to 6?
True
Let z = 3 - 2.93. Let h = z + 0.03. Which is greater: h or 1?
1
Let b = -2923/3522 - 2/587. Which is bigger: b or -2?
b
Suppose 0 = 4*l - 0*l + 4*f - 12, 5*f = -2*l - 9. Which is smaller: 7 or l?
7
Let o = 828/275 - 34/11. Is 0.1 greater than or equal to o?
True
Let k(q) = 3*q - 4. Let x be k(7). Let s be (1/6*-3)/(1/(-32)). Are x and s nonequal?
True
Suppose 3*o - 18 = 2*n, 3*n - 5*o = -14 - 14. Let c be n/(-4) - (-2)/4. Which is bigger: 4 or c?
4
Let a be 2 + 0 + 6 + (4 - 11). Is -4/23 greater than a?
False
Let h be (-15)/5 + 3/((-6)/(-2)). Is h bigger than 1/4?
False
Let y be (-2)/(-4) + 15/6 - -5. Is 8 greater than or equal to y?
True
Let r = -16 + 6. Let y be (-5)/5 + r/(-14). Let m = -1 - -1. Which is smaller: y or m?
y
Let o = 0 + -1. Which is smaller: o or 2/119?
o
Let l = 1691/10527 + -25/121. Let n = 47/29 - l. Which is greater: n or 1?
n
Let c = -5/27 - -13/216. Which is smaller: c or 1?
c
Let w be ((-2)/4)/(6/9). Suppose 0 = 2*h - 4*h + 16. Let n = h - 8. Is n smaller than w?
False
Let b = 97759718005