et y be t(5). Let x = y + q. Is -2/3 at most as big as x?
False
Let j = 0.12 + -0.42. Which is greater: 0 or j?
0
Suppose -4 = 2*g + 2. Let h be 2 + (-257)/g + -2. Let p = h - 85. Is 2 at most p?
False
Let l be ((-1)/(-4) + 0)/((-28)/(-42)). Which is smaller: 1 or l?
l
Let t be -1 - -2 - 4/6. Let k = 1.4 - 12.4. Let w = k - -11. Which is smaller: w or t?
w
Suppose -1 + 7 = 2*x. Which is smaller: x or 7/3?
7/3
Suppose 0*t - 2*t = -10. Suppose -b - f + 10 = -t*f, -3*b - f = 35. Let a be (-7)/b*2 - 1. Are -2 and a equal?
False
Let z be (-2)/(-3)*(-6)/8. Suppose 293*n - 296*n - 6 = 0. Is z greater than n?
True
Let f = -2.7 - -1.5. Let s = 0.2 + f. Let i = 1 + s. Which is smaller: -2 or i?
-2
Let z be (-1 + -32)/(-5 - -4). Let v be (-3)/2*(-195)/9. Let t = v - z. Is t at most -1?
False
Let k = -3 + 2. Suppose -i = 2*h + 2*h - 13, -i - 3 = -4*h. Let s be k/2 + 5/h. Is s less than 3?
True
Let d(h) = h**2 + 5*h + 7. Let q be d(-7). Let k be 9/(-2) - q/14. Let b be (k/5)/(8/20). Is -3 greater than or equal to b?
True
Let h be 8/(-12)*(-18)/4. Suppose 3*v + 0 = -h. Is v > -1/4?
False
Suppose n - 4 = 2*x - x, -6 = -2*n + x. Suppose -4*i + 0*i = -5*z + 22, -5*i + n*z = 19. Is i less than 3/4?
True
Let n be -2 - -1*(-2)/(-4). Let v = -135 - -9852/73. Let x = -131/365 + v. Is x smaller than n?
False
Suppose 6*u - u - g - 36 = 0, 0 = -5*u - g + 44. Suppose 4*j = 4*c + u, c = 4*c - j + 2. Is c at most 0?
True
Let t be (2/(-15))/(0 - (-1)/(-5)). Let h(y) = -y - 2. Let m be h(-6). Suppose 0 = -g + 2*i + i - 12, i - m = g. Are t and g unequal?
True
Suppose -m + 3*o + 10 = 0, -3*m = m - 5*o - 5. Do -5 and m have different values?
False
Let x = 38 + -38. Is 2/25 at most as big as x?
False
Let d(s) = s**2 - 5*s - 3. Let z be d(5). Let x be (2/6)/(1/(-21)). Let a = x - -6. Is a > z?
True
Let o be (-2)/8*4/3. Let p(l) = l**3 + 4*l**2 - 5*l + 1. Let j be (-15)/20 - 17/4. Let k be p(j). Is k less than o?
False
Suppose -b = -1 - 3. Let s = b - 3. Is s > 1/7?
True
Let m = 14 - 21. Let z = m - -6.4. Let j = 0.5 + z. Which is smaller: 0.4 or j?
j
Let a = -1 + 0.6. Let y = a - -0.6. Is 1/3 at most as big as y?
False
Suppose 23 = 3*d + 20. Which is smaller: d or -10/23?
-10/23
Let a = 1 + -1.8. Which is bigger: a or 2?
2
Let c = -341/18 + 19. Suppose 2*q + 0*u + 12 = 3*u, 4*q = 2*u - 8. Which is smaller: q or c?
q
Let x = 10 + -22. Let v = 12.1 + x. Let z = -0.1 - 0.1. Is v greater than z?
True
Let d = 3 - 3.1. Let o be (-776)/3304 - 4/(-14). Let k = 187/1357 - o. Which is greater: d or k?
k
Let t be (2/3)/(10/45). Let h(f) be the first derivative of -f**2/2 + 2*f - 1. Let m be h(t). Which is smaller: 2/7 or m?
m
Suppose 0 = g - 3 + 2. Suppose -g = -2*o + 7. Let n = -3 + o. Do n and 1/2 have the same value?
False
Let h = -2 + 15. Suppose 2*m = -4*b - h - 9, -2*m - 3*b = 17. Let j be m - -1 - (-2)/3. Is 2 at most j?
False
Let w be (-4)/6 + 60/117. Let x be -5 - (4 + 36/(-4)). Are x and w unequal?
True
Let h = -43 - -43. Let p = -35 - -17. Let o be -1 - (14/p + 0). Which is bigger: h or o?
h
Let c be (-3*3)/3 - -4. Let x be 12 - 4*c/(-2). Let v be (10/x)/(4/14). Is -0.1 at most v?
True
Suppose 0*s = -2*s - 16. Let u be (-2)/(-3)*(-6)/s. Let v = 1/10 - u. Is v less than or equal to 3?
True
Let i(a) = a**3 - 6*a**2 + 1. Let r be i(6). Suppose m = -4*d - 3 + r, 3 = 3*d. Suppose 25 = -7*f + 2*f. Is f smaller than m?
False
Let t = 2 - 2. Which is bigger: -8/9 or t?
t
Let k = -3 - 0. Let q be 10/(-7) - (k - -1). Is 0 less than q?
True
Let o = -15 + 16. Which is smaller: 2/31 or o?
2/31
Let b = -11 - -7. Suppose 5*n - 7 + 27 = 0. Are n and b unequal?
False
Let m be (-32)/48 - (-41)/66. Let q = -4 - -4. Are m and q nonequal?
True
Let d = 0.1 + -0.09. Let c = -1.83 + 0.82. Let s = c + d. Is -1 greater than or equal to s?
True
Suppose -27 - 129 = -4*y. Let p(q) = -q + 10. Let s be p(8). Let f be s/1 - 84/y. Which is smaller: 0 or f?
f
Suppose 4*r = 2*r + 4, 5*r - 15 = -5*t. Suppose -5*a - 11 = -1. Let b be a/(-4) + 0 - -1. Is t >= b?
False
Suppose -11 = 2*r + d, -5*r + d - 27 = 3*d. Let c = 2 + r. Let k(f) = 3*f + 1. Let p be k(-1). Which is bigger: p or c?
p
Let i = 9 - 13. Let o be 2 + i - (-48)/22. Let w(s) = -s**3 + s**2 + 3*s - 1. Let n be w(2). Which is greater: o or n?
n
Let x = 50 - 51. Let w = -2886/19 + 152. Is w greater than or equal to x?
True
Let b(x) = -x**3 - 5*x**2 - 3*x + 9. Let c be b(-4). Suppose -4 = -0*f - f. Suppose -f*h = 1 - c. Is 1 < h?
False
Suppose -12*b = -7*b. Suppose -3*c + 2 = -4. Which is bigger: b or c?
c
Suppose q + h = -1, 15 = -2*q + 3*q + 5*h. Let p(g) = -g**3 - 2*g**2 + 5*g + 3. Let n be p(-3). Let c be -1 - 3*n/(-9). Do c and q have different values?
True
Let p = 13.2 + -12.2. Do -50 and p have the same value?
False
Let v be (-1)/3 + 204/(-9). Let c be v/(-7) + (-8 - -5). Is c bigger than -1?
True
Let u be 3/9 - 2/42. Suppose -3*z - g + 5 = 0, -3*z - 4*g = -2*g - 7. Are u and z equal?
False
Let a = 6 + -7. Let j = -0.9 - a. Which is smaller: 0.04 or j?
0.04
Suppose -5*b + 5*v = 75, 0*b - 2*v = 3*b + 55. Let y = 31 + b. Which is greater: 15 or y?
15
Let x = 24 - 23. Which is smaller: x or -1?
-1
Let n = -6 - -11. Which is greater: 1 or n?
n
Suppose 5 = -n - 0*n. Suppose 2*h = -h - 12. Is n at least as big as h?
False
Let v(b) = 7*b - 1. Let d be v(1). Let j = 4 - d. Suppose -4*c = -3*s - 7 + 2, 5*c - s + 2 = 0. Is j greater than c?
False
Let k = 7 - 14. Is 2/7 <= k?
False
Let u(w) = -w**3 + 11*w**2 + 26*w. Let h be u(13). Is 2 at most as big as h?
False
Let x(z) = -z**3 - 3*z**2 + 2. Let l be x(-2). Let d = 5 + l. Is d smaller than 3?
False
Suppose 2*k + p = -3*p + 2, -4*p = 0. Is k smaller than 4?
True
Suppose 3*p = -f - 3*f - 34, -2*p + 3 = -f. Let a be 3 - -1 - (7 + f). Is 4 bigger than a?
False
Let c = 2.1 - 2.1. Which is smaller: c or -5?
-5
Let i(k) = -k**3 - k**2 + k + 2. Let r be i(0). Let p be r/(-3) - 35/(-147). Which is greater: 1 or p?
1
Let i be (7/(-35) + 18/65)/(-1). Suppose -2*a + 3*g = g - 2, g = -2. Is i at most a?
False
Let o = -9 - -8.2. Let s = 1.2 - o. Which is smaller: -0.3 or s?
-0.3
Let n be ((-12)/8 + -2)*-218. Let a = n - 5356/7. Which is greater: a or -1?
-1
Let y = -3 - -6. Suppose -3*d - d - 445 = -c, -y*c + 215 = -2*d. Let m = -558/5 - d. Is m smaller than -1?
False
Let k = 22 - -29. Which is greater: k or 50?
k
Let f = 0 + 4.8. Let p = 5 - f. Let r be (-1)/(-15) + (-4)/10. Which is greater: p or r?
p
Let r be (-48)/(-30) + (-2)/(-5). Suppose 3*k - r*o = 22, 8*k - 3*k - 34 = 2*o. Let n = k + -4. Is n < 5/2?
True
Let p be (0 - 3) + 6 - 2. Which is smaller: -2 or p?
-2
Let h be (1 + (-3)/2)*4. Let z be -1 - (0 - (h - -5)). Suppose z*a - 9 = -3*o, 6*o - 3*o = a + 9. Is a bigger than 0?
False
Let g = -4/13 - -33/65. Let s = 2 + -2. Is s equal to g?
False
Let a = 2 + -4. Let o be a/(-3)*3/8. Is 2 greater than o?
True
Let s be (-4)/(-18) - (696/702 + -1). Suppose -y - y = 0. Which is smaller: s or y?
y
Let p(a) = -a**3 + 6*a**2 - 6*a + 5. Let h be p(5). Let k(l) = l**2 - 7*l + 6. Let m be k(4). Let n be (1/(-1))/(-2 - m). Is h bigger than n?
True
Let p(s) = s**3 + 2*s**2 - 2*s + 4. Let m(x) = 2*x**3 - 2*x**2 - 2*x - 1. Let y be m(-1). Let f be p(y). Is f >= 2/5?
True
Let q be (-120)/(-28) - 4/14. Suppose 2*p - 3*p + 1 = -w, -2*p = -q*w + 2. Is 3 at most p?
True
Let s be ((-7)/(-15))/((-9)/((-54)/(-4))). Which is greater: 0.1 or s?
0.1
Suppose -4*d + 7*d - 5*a + 2 = 0, 5*d - 50 = -5*a. Which is smaller: d or 4?
4
Suppose 5*v + 0 + 5 = 0. Let a = 574553213/26281980 + 2/730055. Let r = a + -87/4. Which is smaller: v or r?
v
Let g = 97 - 96.9. Is 49 greater than or equal to g?
True
Let o = 730 - 37232/51. Which is smaller: 0 or o?
o
Let k = 4 + -2. Suppose k*l - l = -2*f, -2*f = -3*l - 8. Is 3/8 >= f?
False
Let s = -2 - -5. Let c be (-2 + 4)*1/2. Let o be (c*0/1)/2. Does s = o?
False
Suppose 0 = 3*h - 2*h + 4*g + 17, 4*h - 4*g = 32. Let z be (-1)/(-2)*-1*-3. Which is smaller: z or h?
z
Let t = -52 - -678/13. Suppose -r + 9 = -0*r. Let y = r + -10. Which is bigger: y or t?
t
Let n(i) = -2*i + 1. Let q be n(1). Let r = 7 + -5. Suppose r*t + 3 = -t. Is t >= q?
True
Let l(b) = -2*b - 2*b + 0*b + 3*b - 9. Let c be l(-8). Is c less than or equal to -1?
True
Let j(c) = -c**3 + 15*c**2 + 15*c + 18. Let g be j(16). Let i = -4 + 2. L