e y(-1). Which is smaller: q or h?
h
Let d(m) = m**2 + 2*m - 2. Let x be d(-3). Suppose 0 = f + 13 - 12. Which is smaller: x or f?
f
Let i(f) = 6*f - f - 6*f + 12. Let t be i(8). Is t not equal to 1?
True
Suppose -g - 4 = -5*g, 2*y - 6 = -4*g. Let a(u) = u. Let i(k) = 10*k - 1. Let s(w) = -4*a(w) + i(w). Let q be s(y). Are 2/5 and q nonequal?
True
Let h(r) = 4*r - 4. Let g be h(-5). Let b = 23 + g. Are 2/23 and b nonequal?
True
Let n = -49 + 48.9. Which is smaller: -3 or n?
-3
Let z = -11 - -19. Is z equal to 0.1?
False
Suppose l + 0 = 4. Let n = 22 - 12. Let r be (-1 + 6/4)*n. Does r = l?
False
Let f be 14/3 + 8/(-12). Suppose 0 = -3*n + f*n + 7. Let u be (-12)/56 + 2/n. Is 0 at least u?
True
Let i be (-9)/42 - 2/(-4). Which is smaller: -0.12 or i?
-0.12
Let c = 46 + -49. Is c at most as big as 13?
True
Let f = -1 + 10. Is 9 greater than or equal to f?
True
Suppose 5*a = 0, -2*g - a - a = 78. Let r be ((-2)/(-5))/(g/15). Is r greater than 0?
False
Let h = 10 - 9.91. Let f = -1.09 + h. Is 0.1 <= f?
False
Let w be 7 + -4 + (-40)/6. Let a = w + 4. Is -1 not equal to a?
True
Let c = -21 - -19. Let k(u) = -4*u**2 + 5*u + 6. Let o be k(-4). Let h be o/28 + 4/14. Which is greater: c or h?
c
Let g(h) = 3*h + 11. Let i be g(-4). Which is greater: i or 2/87?
2/87
Let q(n) = -n**2 - 3*n - 1. Let v be q(-3). Let z be (2/3)/(10/15). Which is smaller: z or v?
v
Let z be ((-24)/34 - 6/2) + 3. Which is bigger: -1 or z?
z
Let w = -9 - -26/3. Is w at most 0.2?
True
Let j = 34 + -35. Which is bigger: -1/8 or j?
-1/8
Let g(l) = l**3 - 5. Let t be g(0). Let s = 48 + -54. Which is bigger: t or s?
t
Let z = 7 - 5. Suppose z*s = -5*i + 13, 0 = 4*s - 2*i + 2 + 8. Is -1 <= s?
True
Let x = -12 - -11. Which is smaller: -1/23 or x?
x
Let b(g) = -g**2 + g + 1. Let c(h) = 5*h**2 - h - 2. Let x(r) = -2*b(r) - c(r). Let t be x(1). Is -6 > t?
False
Let f(l) = l + 6. Let c be f(-7). Let d be 1*4/1 + -1. Suppose 0*k + 5*s - 20 = d*k, 3*k = -4*s + 16. Is k at most as big as c?
False
Let n be 2 - -2*(4 - 1). Let k be (-2 - 2)*6/n. Let b = -0.131 + 0.031. Is b < k?
False
Suppose 5*p - 4*b - 15 = 2, -b - 4 = -p. Suppose -3*o = -u + 5, o = u - 4 + p. Which is smaller: 1/4 or o?
o
Let r = -0.7 - -0.85. Let c = 3.15 + -3.2. Let w = r + c. Is w at most as big as 1/4?
True
Suppose 2*m - 6*m + s + 29 = 0, -2*m + 10 = 4*s. Suppose 0 = -m*h + 3*h. Is 0 smaller than h?
False
Let f be 11/3 - 2/(-6). Let x = f - 5. Let j be (x + 0 - -2) + -1. Which is greater: j or -4/7?
j
Let n = 11/9 + -68/63. Let h be 2/(-4) - 3/(-2). Is n not equal to h?
True
Suppose -6 = -6*d - 0. Is 3 smaller than d?
False
Let l be (-1 - (-5)/(-15)) + 3/9. Which is greater: l or -1/15?
-1/15
Suppose 5*v + 12 = -18. Let y = -55 - -50. Is v equal to y?
False
Let p = -37 + 20. Is -0.1 less than p?
False
Let j be 6/24 + (-333)/4. Let r = j + 746/9. Which is smaller: r or -1?
-1
Suppose 5*y + 97 + 3 = 0. Let t be (-16)/24 - y/21. Let x = 88/3 + -30. Which is bigger: x or t?
t
Suppose b = -3*r - 0*r + 2, 0 = 2*r - 2. Let w = 2181/1918 - 9/137. Let d = w - 4/7. Is b greater than d?
False
Let n(a) = -a + 13. Let f(p) = -5*p + 2. Let j be f(-2). Let g be n(j). Is 1/5 greater than or equal to g?
False
Let p(i) = -i**2 - 7*i - 5. Let r be p(-5). Suppose 2*z = 1 + r. Let n = -4 + z. Which is smaller: n or 1/7?
n
Suppose -5 = -0*r + 4*r - 5*h, 0 = 2*r + 5*h - 5. Suppose r*z = -z. Is -3/8 equal to z?
False
Let q = 1 - -1. Suppose -j - q*j - 3 = 0. Which is smaller: -2 or j?
-2
Let y = -5 - -4. Let b = 15 - 10. Do b and y have the same value?
False
Let w = -2.92 + -0.08. Let u = 0.7 - -4.3. Let n = w + u. Is 1/2 > n?
False
Let x = 5.7 - 6. Are -1 and x non-equal?
True
Let j be 5/(20/8) - 0. Is j not equal to -5?
True
Suppose -12*a + 24 = -15*a. Which is greater: -7 or a?
-7
Suppose 2*a = -0*a. Let m = -1010/279 + 64/31. Let p = -17/9 - m. Which is smaller: p or a?
p
Suppose -4*t + 33 = 9. Suppose j + 10 = t*j. Is 14/9 at most as big as j?
True
Let h be ((-30)/9)/((-4)/6). Let r = 0 - h. Is -5 > r?
False
Let q be ((-15)/3 - -3) + 5. Suppose -q = -3*n - 0*n. Is n >= 1/4?
True
Let k(a) = -a**2 + a - 5. Let b be 40/6 - 4/6. Let o be k(b). Let s = 141/4 + o. Is s at most 1?
True
Let l be 2/5 - 28/45. Let w = 5.4 - 5.2. Are l and w non-equal?
True
Let d = -111 + 110.99. Is 2/3 less than d?
False
Let j be (2 - 4/(-18)) + -2. Does 0 = j?
False
Let v = -14/15 - 57/5. Which is smaller: -12 or v?
v
Let p be (-7)/9 - 4/18. Which is smaller: 2/61 or p?
p
Let q(b) = b**2 + 4*b - 13. Let s be q(-6). Is s less than or equal to 2/31?
True
Let w be (1 + -6)*4/30. Is w < 8?
True
Suppose 3*p = -2*w + 13, 4*p - 10 - 9 = -3*w. Let m(a) = 4*a - 9. Let d be m(7). Let l = 75/4 - d. Is l bigger than p?
False
Let n(q) = -q**3 + 7*q**2 - 5*q - 1. Let m be n(6). Suppose -5 = m*t + 2*p, -p = -2*t + p - 2. Which is smaller: 1 or t?
t
Suppose 2*y - 3*y + 3 = 0. Suppose 0 = 6*f - y*f + 24. Which is smaller: f or -7?
f
Let y = -7 - -31. Is y less than or equal to -1?
False
Let i(u) = u**2 + 5*u. Let m be i(-5). Let p be 5/14 + (-2)/4. Which is smaller: m or p?
p
Suppose 0 = -10*o + 5*o - 25. Let g be ((-32)/20)/(1/o). Suppose 5*q = g + 7. Which is smaller: 2 or q?
2
Let b be ((-2)/4)/(1/2). Let k = b + 6. Let i be (-1)/(-1) - k/7. Which is bigger: i or -1?
i
Let n = -66 + 66. Is n greater than or equal to 56?
False
Let m(j) = -j - 5. Let x be m(-4). Which is smaller: -4 or x?
-4
Suppose -5*f - 4 - 11 = 0. Is f less than or equal to -12/5?
True
Suppose 5*u + o = -45962, 35887 + 889 = -4*u - 4*o. Let b = 836488/91 + u. Let a = b + -6/13. Are a and 1/3 nonequal?
True
Let n = 45/2 + -24. Which is greater: n or -3?
n
Let f = -11/20 - 1/4. Is f <= -6/5?
False
Suppose 2*y + 3*b = 14, 3*y - 8 = 5*b - 3*b. Suppose -3 = -y*o + 1. Let p = o - 0. Is p > 1/3?
True
Suppose 0 = -11*g + 5*g + 330. Are 53 and g equal?
False
Let f = 18279/38 + -481. Are -1 and f nonequal?
True
Let l = -30 + 33. Which is smaller: 5 or l?
l
Let i = 0 - -2. Let s be i - (-1 + 2) - -2. Which is bigger: 1 or s?
s
Let c = 132.499 - -0.801. Let s = -128 + c. Let l = -5 + s. Do l and 0.1 have different values?
True
Let h = 33 - 30. Which is bigger: 0.6 or h?
h
Suppose 0 = 3*k + 2*v - 19, -5*k - v = 3*v - 33. Let g = k + -4. Is g at least 1?
True
Suppose 5*z - 7*z = 864. Let n be (z/(-56))/((-1)/(-8)). Let k = 62 - n. Is -4 < k?
True
Suppose 1 + 3 = 2*z. Suppose 5*v - z*v = 9. Suppose -5*u - 8 = v*c, -c = c - 4*u - 2. Is 2/5 >= c?
True
Suppose 2*q + 3 = 3. Which is smaller: q or -2?
-2
Let y = 2.11 + -2.2. Let c = y - -0.05. Let j = c + 0.14. Is j not equal to 0.3?
True
Suppose -2*p + 0*p = -12. Suppose -m - 9 = -5*r, 0 = m - r - 3. Is m < p?
False
Let v be 1 + ((-40)/(-45) - 3). Which is bigger: 1/3 or v?
1/3
Suppose 4*i - 10 = 3*a, -6*i + 4 = -4*i - a. Let f = -3/4 + i. Suppose -3*v - v - 4 = 0. Is f > v?
True
Let u be 3 + (160/(-76) - 1). Do u and -1 have the same value?
False
Let r = -1858/201 + 37/335. Let k = -31/3 - r. Which is greater: -1 or k?
-1
Suppose 3*z = -2*z, 0 = 4*d - 4*z - 20. Suppose -4 - 12 = -4*g. Do g and d have different values?
True
Let w(y) = y + 6. Let a = -1 - 6. Let s be w(a). Which is smaller: s or -2/5?
s
Let z = -75 - -102. Which is greater: -0.1 or z?
z
Let t(k) = -k**2 - 6*k - 6. Let z be t(-5). Which is greater: -2/17 or z?
-2/17
Let k be (-2)/3*162/12. Let l be k/6*(-28)/(-63). Which is bigger: -0.01 or l?
-0.01
Let y = 3 + -2. Let h(j) = -5*j - 1. Let t be h(5). Let s be ((-3)/t)/((-15)/20). Which is greater: s or y?
y
Let u = 6 - 6.1. Let d(m) = -m**2 - 4*m - 3. Let b be 1*-3*8/12. Let v be d(b). Which is smaller: u or v?
u
Let a = -11 - -21. Suppose -4*y + 3 = 2*o - 5, 1 = 5*y - 2*o. Let l be a*y/5*-2. Does l = -4?
True
Let o(k) = 2*k - 13. Let w be o(5). Is -36/11 < w?
True
Let s = 9/5 + -2. Which is smaller: 1/3 or s?
s
Suppose 3*q - 2*g + 2 + 2 = 0, -5*q - 2*g = -20. Let y = 0 - -1. Let d = 0 + y. Is q greater than d?
True
Let m = -6/125 - -28/1625. Which is greater: m or 0?
0
Let c = -1 + 16. Let w = 15 - c. Which is smaller: w or -0.1?
-0.1
Let n = 382/63 + -52/9. Is n not equal to 2/9?
True
Let u be -15 + (-8 - -9 - (-1 - 2)). Is -37/3 <= u?
True
Let a be (-50)/4*(-280)/(-175). Is a less than -14?
True
Suppose 0 = -i + 2*i + 4*q + 10, 2*i + 5*q + 11 = 0. Let t be