(-1)/(-4)). Suppose -4*h = -5*k - 20, 0*k - k + 3*h - x = 0. Let s be (12/(-30))/(14/10). Is k equal to s?
False
Let g = 0.13 + -0.23. Do g and 0.09 have different values?
True
Suppose -3*y - 5*s - 12 + 5 = 0, -5*y + 2*s + 9 = 0. Which is smaller: -3 or y?
-3
Let i = -3.15 - -0.15. Is -1/4 smaller than i?
False
Let n = -46528/19 + 2448. Which is smaller: -1 or n?
-1
Let q = -0.04 + 0.34. Is q less than or equal to 2?
True
Let v be 1 - (-2 - 92/(-36)). Is v > 1?
False
Let x = 27.33 + -28. Let v = -0.6 - x. Which is bigger: 0 or v?
v
Let x = 0 - 0. Suppose -5*g - 4*o + 7*o = -18, x = -5*g - 5*o + 10. Suppose -2*d = q + d, g*d - 3 = -2*q. Which is greater: q or 7/4?
q
Suppose -6*u + 28 = -3*u - 4*n, 0 = 4*u - 4*n - 40. Let o = 10 - u. Is -16/5 smaller than o?
True
Let x be 1/1 + (5 - 4). Let a(i) = 1 - 7 - 5*i - i**2 - x*i. Let o be a(-6). Is 2 != o?
True
Let y be ((-1)/2)/(1/(-2)). Let j be (y - -3)*1/4. Let n = 2 - 2. Do j and n have the same value?
False
Let v = 7 + -8. Which is smaller: v or -10/7?
-10/7
Let c = -1 - -2. Suppose g - c = -0*g. Which is greater: g or -2/3?
g
Let i = 5 + -6. Let p be (-1 - (82 + 1))/(-1). Let r = 590/7 - p. Is r at least i?
True
Let q be (-18)/(-42) + 34/(-14). Let r be (-2)/(q/(-3)) - -1. Which is smaller: 1 or r?
r
Let q be (-19)/(-1)*2/(-2). Is -18 smaller than q?
False
Let w = -30 + 44. Let h = -6 + w. Which is smaller: h or 6?
6
Suppose 11*u = 6*u - 5. Let c = u + -1. Which is greater: c or -0.3?
-0.3
Let a = -0.09 - 11.91. Let g = -11 - a. Which is greater: 0.01 or g?
g
Let p(r) = -r**3 + 5*r**2 - 4*r. Let v = 7 - 3. Let f be p(v). Is 6/5 at most as big as f?
False
Let g(h) = 10*h + 1. Let f be g(-1). Let z be (0 - 2)*f/(-6). Suppose i = -0*i - 3. Is z <= i?
True
Let q(u) = -31*u + 9. Let w be q(1). Which is smaller: -21 or w?
w
Suppose 4*r + 5 = -r. Let h = 7169/96 + 21/32. Let k = h + -76. Is k != r?
True
Let w(y) = y**2 + 3*y + 2. Let k be w(-4). Is 0 > k?
False
Let w(b) = b**3 - b**2 - 2. Let i be w(2). Suppose i = 2*m - 0*m. Does 1 = m?
True
Let s = 1 - 5/3. Which is greater: s or 0.01?
0.01
Let y be -2*(3/(-6) + -1). Suppose v = -g - y - 0, -2*v + 4*g = -12. Let r be 1/(-5)*(5 - 1). Are v and r equal?
False
Let l = -1.89 - 0.11. Let h = 18 - 18.2. Are h and l equal?
False
Let j = 100163/67 + -1495. Is -1 >= j?
False
Suppose 0 = 2*o + o. Let z = o + -2. Let c be 2 - (-2 + z)/(-2). Which is bigger: 2/3 or c?
2/3
Let n = -1.86 - -2. Let l = -0.06 - n. Is l smaller than 0.2?
True
Suppose -a - 3 = 4. Let f = a - -6. Let h = -1/81 + -151/891. Is h at most f?
False
Let j(q) = q**2 - 8*q - 34. Let f be j(11). Let n be 36/15 + -2*1. Which is smaller: n or f?
f
Let k be 2*4/(-8) + 0 + 0. Which is greater: k or 0?
0
Suppose 0 = 2*t - 7*t + 15. Which is smaller: t or 17/5?
t
Let p be (-9)/3*244/(-6). Suppose -4*f = p + 398. Let u = f + 912/7. Which is greater: u or 0.1?
u
Suppose -14*o + 12*o = 0. Let r(w) = w**2 - 4*w. Let z be r(3). Which is smaller: o or z?
z
Suppose -31 = 3*w + 3*x - 10, -5*w = -4*x - 1. Let r(c) = -c**3 - c**2 - c. Let z(j) = 2*j**2 - 3. Let f(y) = r(y) - z(y). Let u be f(w). Is 5 <= u?
True
Let x(j) = j**3 - 4*j**2 - 5*j - 2. Let d be x(5). Suppose -3*c = -h - 9, 5*c = -h + 16 - 1. Suppose -2*o + h = 5*m + 4, 2 = 2*m - o. Which is smaller: m or d?
d
Let a = 7 - 8. Let k be (-1)/(-4) + (-443)/60. Let s = k - -22/3. Which is smaller: a or s?
a
Let f = 7 + -5. Which is smaller: f or 5/7?
5/7
Let v = -21 - -21.18. Let w = v - 0.88. Let f = w - -0.7. Which is smaller: 4 or f?
f
Suppose 4*y + 2*w + 126 = -w, -5*w = y + 40. Which is smaller: -29 or y?
y
Let u be -8 + (-55)/(-44)*8. Let y be 2/(-4) - 177/(-66). Is y > u?
True
Suppose 4*h = -0 - 4. Let u be 22/33 + (-5)/6. Which is smaller: h or u?
h
Suppose 0*g - 15 = -5*v - 5*g, 4*g = 3*v - 2. Let a be (-4)/6*(v + 1). Let i = 0 + a. Is i at least as big as -2?
True
Let v be (22/(-55))/(1/20*2). Suppose -3*b - b = 28. Do b and v have the same value?
False
Let g be 1/(-5) + 64/120. Which is bigger: g or 0?
g
Let n = -2.95 - -3. Let h = 0.05 + n. Is h equal to 0?
False
Let i = -19 + 18. Let d(u) = 228*u**2. Let n be d(-1). Let y = -2506/11 + n. Which is smaller: i or y?
i
Let s = 4.8 + -3. Let i = s - -0.2. Is i bigger than 2?
False
Let i be (-3)/12 + 2/8. Suppose -2*a - a + m = -9, i = 5*a + 5*m - 15. Let u = -1 + 4. Do a and u have the same value?
True
Let z = 23 + -41. Suppose 4*y - 5*o + 125 = 28, 4*y = -o - 67. Is y at most as big as z?
True
Let i be 1 - (0 + -1)/(-1). Which is smaller: i or 1/5?
i
Let z be 75/6 + 3/(-2). Let l = z + -12. Is -4 greater than l?
False
Let t(v) = -v**2 + 3*v - 3. Let g be t(2). Let n(s) = 0 + s**2 - 5 - 6*s - 5 + 1. Let r be n(7). Is g <= r?
False
Let r = 10 - 0. Suppose -r = -8*y + 3*y. Which is smaller: 1/2 or y?
1/2
Suppose 3*y = y. Let b = -3 + y. Let l be (3/(-18))/((-2)/b). Are -1 and l non-equal?
True
Let r = -10 + 2. Let h = r + 11. Suppose 2*w - h = w. Which is smaller: 2 or w?
2
Let u be (-69)/21 + (-2)/(-7). Let h be 0 - 2/21*u. Let s = 2.6 + -0.6. Is h less than or equal to s?
True
Let r = -2 + 12. Let c be 19/5 - (-2)/r. Which is bigger: c or -1?
c
Let d(c) = c**2 + 3*c + 3. Let r be d(-4). Suppose -y + h = -8, -2*y - 1 = -h - 14. Is r greater than y?
True
Let u = 11 - 7. Suppose -14 - 2 = -u*a. Suppose f - 1 - a = 0. Are 5 and f nonequal?
False
Suppose 3*t + 2*p + 8 = 0, 2*t + 5*p - 8 = 5. Let b be 1/(-2*(-1)/12). Let n = t + b. Is 1/6 not equal to n?
True
Suppose 0*l = 2*l - 6. Let f be l - 1 - 44/20. Let g = 1 + -2. Is g < f?
True
Let p(i) = 4*i**2 + 9*i + 9. Let k(w) = -7*w**2 - 17*w - 17. Let a(g) = -3*k(g) - 5*p(g). Let b be a(-4). Let r = b - -4. Which is smaller: 2/3 or r?
2/3
Let s be (-39)/(-120) - 1/5. Let w = s + 13/24. Do 1 and w have different values?
True
Suppose 0 = -5*v + 28 + 32. Which is smaller: v or 23/2?
23/2
Let q be 4/10*(1 - 2). Is q less than -1?
False
Let u = 1 - 1.2. Let k = 2.3 - 11.3. Let s = k + 8. Which is smaller: s or u?
s
Suppose 16 = 5*y - 2*d, 2*d + 4 + 2 = 0. Suppose 0 = 4*j, -2*o - y*j - 9 = -5*o. Suppose 2*l = -2*g - 16, 0 = -o*l + 2*g + g + 6. Is l at least as big as -1?
False
Let d be (-3)/(-2)*8/(-10). Which is bigger: d or -2?
d
Let u = -1579 + 315799/200. Which is smaller: 1 or u?
u
Let w(p) = p**3 + 4*p**2 - 4*p + 6. Let r be w(-5). Which is bigger: 2/13 or r?
r
Let d = -17 - -25. Let j be 2/5 + d/10. Are j and -1 non-equal?
True
Let h = 1.5 - 1. Let n = h - 0.3. Is 1 < n?
False
Let p(j) = -j. Let f be p(3). Suppose t = 5*y + 87, 2*t + 0*t + 96 = -5*y. Let d = y - -14. Is f not equal to d?
True
Let q be ((-2)/(-6))/(3/45). Suppose -i = d - q*d + 13, d - 3*i + 5 = 0. Is 4 != d?
False
Let i be 3/(-9) - (-48)/9. Let o(w) = -w + 5. Let q be o(i). Let n be 1 - (3/6 - q). Is n greater than 0?
True
Let y = 1 + 2. Suppose -3*c + y = -0. Are c and 2 unequal?
True
Let x(m) = m**3 - 6*m**2 + 7*m - 6. Let r be x(5). Let y = r - -6. Let p be (32/y + -3)/(-1). Which is smaller: p or 0?
p
Suppose 3*p = q + 2, -2*p = 2*q - 1 + 5. Suppose -5*x = m + 3, 4*m - 5*x - 7 = 3*m. Is p bigger than m?
False
Let g = 13.11 + -0.11. Let i = g + -15. Which is bigger: -0.1 or i?
-0.1
Let d be 0 - -1 - (-42)/(-48). Is -1 at most as big as d?
True
Let f(b) = b + 4. Let t be f(0). Let j = 7 - t. Is j at least as big as 0?
True
Let g be (-17)/(-50) + 2/(-4). Let a = g - 59/100. Which is bigger: a or -0.2?
-0.2
Suppose -155 = -5*j + 5*l, 0 = -j - 2*l - 1 + 38. Suppose 3*p - j = -0*p. Let y = -9 + p. Which is smaller: 4/3 or y?
4/3
Let g(o) = -o**2 + 9*o + 9. Let b be g(10). Which is greater: b or -1/28?
-1/28
Let j(q) = -q**3 - 11*q**2 - 5*q + 16. Let f be j(-10). Is -35 at most as big as f?
True
Let n = -7 - -11. Let h = n - 1. Are h and -1 nonequal?
True
Let w = 0.39 - -5.71. Let m = 6 - w. Are m and -0.4 non-equal?
True
Suppose -3 = -0*p - p. Suppose 4*l - 4 = -4*h, -p*l + 6*l = 5*h + 11. Do h and 1/3 have the same value?
False
Let s = 78 + -116. Is 0.3 bigger than s?
True
Suppose 3*u = 2*u + 1. Does u = 5/3?
False
Let d = 8/3377 - 54792/320815. Let j = 12/19 - d. Is 2/5 not equal to j?
True
Let u = -12232/13 - -940. Let h = u - -82/117. Is h greater than or equal to 0?
False
Suppose -32 = -5*j - 4*u, j + 3*j - 26 = -3*u. Let z = j + -7. Does 3 = z?
False
Let s(c) = -7*c**3 + 2*c**2 