pose -21 = 2*k - 3*k + 3*m, 0 = -5*k + 3*m + 69. Suppose 2*j = -d*j + k. Is 2 at most as big as j?
True
Suppose 4*q + 9 = 5*v, q + q + 1 = -v. Which is bigger: -3/5 or q?
-3/5
Let s(a) = a**3 + 9*a**2 + 2*a + 3. Let w be s(-10). Let m = 587/5 + w. Which is greater: m or 2/9?
m
Let i(y) = -y**2 - 8*y. Let s be (1 + -2)*1 + -7. Let v be i(s). Suppose -2*b + v + 2 = 0. Is 3/5 bigger than b?
False
Let v = -0.33 + -0.05. Let l = -0.08 - v. Suppose -y + 5 = -6*y. Which is smaller: y or l?
y
Suppose -6 = -2*w - w. Let k = -8 + w. Let y(x) = x**3 + 6*x**2 + x + 7. Let n be y(k). Which is bigger: n or 0?
n
Let b = 4 - -4. Suppose 0*l + b = 2*l. Is 4 greater than l?
False
Let t(b) = -b**3 - 5*b**2 + 8*b + 1. Let k be t(-7). Suppose 4*r = 5*x - k, 5*x - 20 = -3*r + 44. Let w(n) = n**2 - 11*n + 3. Let g be w(x). Is 2 < g?
True
Let q = -3623/10 + 362. Which is smaller: -1 or q?
-1
Let c be (-2)/1*(-2)/(-8). Let g = 76 + -77. Is c greater than or equal to g?
True
Suppose 7*y = -19 - 9. Is y > 4?
False
Let q = -0.26 - 14.74. Let f = -17 - q. Which is greater: f or -5?
f
Let h be (-4 + 2 - -1)*(22 - 4). Is h not equal to 1?
True
Let r = 11 + -10. Which is bigger: 2/27 or r?
r
Let b(d) = 16*d**2 - d. Let a be b(1). Suppose -5*j + 2*j = -a. Let m = j + -11. Which is bigger: m or -7?
m
Let w = 12/53 - 214/477. Suppose -9 = -2*r + 3*f, -1 + 4 = -r - f. Is w equal to r?
False
Let g = -2.92 + -0.08. Let j = -3 - g. Let w = j - 1. Is w bigger than -0.5?
False
Let i = -0.2 + -0.2. Let k = 0.2 + i. Let c = 0 + k. Which is greater: c or -0.1?
-0.1
Let m = -9 + 8.72. Let j = m - 0.02. Is j at most -1?
False
Suppose 4*m - 2*m = -2*m. Is m less than or equal to 5/18?
True
Let x = -3395 - -1110. Let t = x + 6937/3. Let w = 27 - t. Which is greater: -2/7 or w?
-2/7
Let h = -1 + -2. Let f = h - -4. Let c = -1 + f. Is -0.2 bigger than c?
False
Suppose 0 = 5*a + 4*r + 2334, 4*a + 5*r + 1866 = 3*r. Let k = a - -6062/13. Is k less than or equal to 0?
False
Let p be ((-3)/12)/((-2)/8). Which is smaller: p or -3?
-3
Suppose 6*i = 5*i + 15. Let k = i + -14. Which is greater: 2 or k?
2
Suppose -s = -0*s + 3. Let i be (-4)/16 - 45/(-4). Suppose 5*n + i - 1 = 0. Which is bigger: n or s?
n
Let n = -2 + 1. Suppose 4*f - 32 = -5*z, 3*f = -2*z + 13 + 4. Let x(l) = -l + 4. Let h be x(z). Which is smaller: n or h?
n
Suppose -3*p = -2*p - 6. Let y be 1 - 227*2/p. Let v = 74 + y. Which is bigger: v or 0?
0
Suppose 1 = -3*x - 3*z + z, 0 = 4*x - 3*z - 10. Let p = 276/11 + -25. Does x = p?
False
Let r be ((-2)/(-18))/(9/12*-2). Which is greater: -1 or r?
r
Let g be (0 + 0)/1 - -1. Is g != 5/6?
True
Suppose 2*c + 3 - 35 = 0. Suppose 2*r + 3*i + c = 0, -i + 37 + 3 = -5*r. Is -7 at least as big as r?
True
Let p be ((-129)/3)/(-2 - -3). Let x be 4*(-2)/(-4) - p. Let u be (-18)/x + 2/5. Is 5 less than or equal to u?
False
Let b be (-9)/(-27) + (-339)/(-9). Are b and -2 equal?
False
Suppose -3*d = 2*d. Let m = -3 + 5. Let p be m/(-10)*(-2 + 1). Which is smaller: d or p?
d
Suppose -3*p - 8 = -2. Suppose -4*m + 2*v = 8, -3*v = 5*m - 3*m + 4. Does p = m?
True
Suppose 6*l - 7 = l + 3*a, 0 = -5*a + 5. Let i = -7/4 + l. Which is bigger: i or -1?
i
Let p be -2 + ((-2352)/(-292))/2 - 2. Is 1 bigger than p?
True
Let g = 8 - -3. Let t be g/4 + (-5)/10. Does 1 = t?
False
Suppose 56 = -5*s + 11. Let g be ((-40)/25)/2*(5 + 5). Is g >= s?
True
Suppose 24 = -g - 2*x - 3*x, 2*x = 3*g - 13. Is 3/10 greater than g?
False
Let l = -2.5 - -2.38. Which is smaller: l or -1?
-1
Let g be (-12)/18*6/4. Let s be -2 - -2 - g - -7. Is 8 less than or equal to s?
True
Suppose 3 - 8 = 5*b. Let j = -4 - -3. Is j not equal to b?
False
Let t be 0 - (2 + -2*1). Let s = 6 - 14. Let o be (-4)/16 + 6/s. Are t and o unequal?
True
Let a = 64 - 119. Which is bigger: -2/7 or a?
-2/7
Let c be 2845/2800 + 3/(-5). Let s = c + 1/80. Is 1 < s?
False
Let b = 108 - 107. Is b bigger than -2?
True
Let c = -45 - 18. Let o be (3/c)/((-2)/6). Is o < -2?
False
Let j = 9 + -7. Let n = j + -1.8. Which is greater: -0.1 or n?
n
Let i be 2 - (-2 + 2 + -2). Let t(q) = -q**3 + 4*q**2 - 2. Let z be t(i). Are -2 and z nonequal?
False
Suppose -l = n + 1, 1 = 4*n - 3*l + 2*l. Which is bigger: -11 or n?
n
Let t = -3.23 - -0.23. Is 4 >= t?
True
Let l(t) = -7*t**3 + 2*t**2 - 2*t + 1. Let m be l(1). Let o = -8 - m. Which is smaller: -1 or o?
o
Let n(z) = z**2 - 18*z + 17. Let l be n(17). Is -1/54 greater than l?
False
Suppose -2*u = -0*u. Suppose u*m - 5*m = -35. Suppose -2*p - 15 = -m*p, -3*p - 6 = -3*a. Do a and 6 have the same value?
False
Let p = 8 - 17. Is -11 at most as big as p?
True
Suppose -2*t - 2 = -t. Let l be (1/2)/(t/20). Let y(m) = m**2 + 6*m + 6. Let p be y(l). Which is bigger: 2 or p?
2
Let t(d) = d**3 + 7*d**2 - 2*d - 5. Let r be t(-7). Let s be r/(-2)*(-16)/(-24). Is s less than or equal to -6?
False
Suppose 2*c + c = 3. Are c and -0.02 non-equal?
True
Let v = 174724/139 - 1257. Is -1 greater than v?
False
Let w(d) = d**2 + 2*d - 4. Let j be w(-3). Let v(m) = -3*m**3 - m**2 - m. Let h be v(j). Which is bigger: h or 11/6?
h
Let t = 25 - 24.81. Let g = t - -0.01. Suppose 0 + 2 = 2*o. Do g and o have different values?
True
Suppose -4*k = 4 - 0. Let j(i) = -i + 7. Let r be j(6). Which is greater: k or r?
r
Let s = 12 + -18. Let z = -8 + s. Let c = 5 + z. Is -8 smaller than c?
False
Let g = 0.2 - 1.2. Let s = -0.02 - 0.18. Which is smaller: s or g?
g
Let l(g) = 2*g - 1. Let w be l(3). Suppose -2*m - 4 + 12 = 0. Is m less than w?
True
Let z = -2/19 - 9/95. Let k be (-2 + -1)*(-2)/3. Let q = -1 + k. Which is bigger: z or q?
q
Let q be 2/(0 + 6/(-3)). Let t be (-3*q/7)/3. Is t bigger than 0?
True
Let f = 1 + 4. Suppose -8 = f*c - 2*g, g + 4 = -c - g. Let x be (0 - -1)/(12/(-8)). Which is greater: x or c?
x
Suppose 6*c + g = 3*c - 46, 27 = -2*c + 3*g. Are -17 and c equal?
False
Let t be -1*3 - 2633/11. Let z = t + 242. Let i = 7 + -6. Is i at least as big as z?
True
Let w = 47 - 34.5. Let l = -12 + w. Which is greater: l or 0?
l
Let j be (2 - (-3)/(-2))*8. Suppose 5*y - 10 = 15. Suppose 0*u = -u + y. Which is bigger: u or j?
u
Let x(n) = -n + 5. Let h(f) = -6 - f**3 - 10*f**2 + 1 + 2 - 10*f. Let g be h(-9). Let m be x(g). Which is smaller: 0 or m?
m
Let n be 4/(3*(-1)/(-15)). Suppose 3*m - n = -m. Is m at least as big as 5?
True
Let p = -15 - -18. Is p at least as big as 2?
True
Suppose -3*o + 5*z = 97, -o = 3*z - 1 + 10. Let n be 6/(-44)*o/9. Are n and -1 nonequal?
True
Suppose 0*p - 3*p = -9. Suppose s + v + 19 = 5*v, -3*s - p*v + 18 = 0. Let o be ((-4)/(-4))/((-1)/(-2)). Does o = s?
False
Let r = -7.4 - -7. Let u = -0.6 + r. Is -2 equal to u?
False
Let s = 2/49 - 410/441. Let h = -2 - -2. Which is bigger: h or s?
h
Let m = 33 + -32. Is m smaller than -4?
False
Let t(w) = w - 7. Suppose 5*k - 29 = -a, 0 = -6*a + a - 5. Let o be t(k). Let l be 1 + (0 + -2 - -5). Is l at least o?
True
Suppose -153 = -7*p - 412. Is p equal to -37?
True
Let t = -125 - -112. Is -12 less than t?
False
Let a be (-384)/(-468) - 4/26. Is a at most as big as 2?
True
Let r = -43/115 - -4/23. Is -1 greater than or equal to r?
False
Suppose 0 + 18 = -2*a. Let c(h) be the first derivative of h**4/4 + 3*h**3 - h**2/2 - 10*h + 12. Let z be c(a). Do z and 0.3 have the same value?
False
Let z = 52 - 52. Do 0.05 and z have the same value?
False
Let u be (-1)/7*(-2)/(-1). Let l = 1 + -1.04. Is l less than or equal to u?
False
Let f = 364/9 - 1088/27. Which is smaller: -1/3 or f?
-1/3
Suppose -22 = 5*g - 12. Which is greater: g or -4/5?
-4/5
Let a = -35/78 - 2/39. Let l = 3 - -2. Which is bigger: l or a?
l
Let v(u) = u**3 + 4*u**2 - 7*u - 7. Let l be v(-5). Let r be l/(-12) - 69/(-36). Is 2 != r?
True
Let y(l) = 6*l - 4. Let v be 1/((-9)/(-6))*9. Let p be y(v). Let s be p/14 + (-6)/21. Are 1 and s equal?
False
Let z(x) = -x**3 - 10*x**2 + 6. Let h be z(-10). Suppose -h*m = -8*m + 4. Which is bigger: m or 1?
m
Let g(d) = d**3 - 6*d**2 + d - 7. Let c be g(6). Let p = c + 0. Suppose -5*n + 2*n = 3. Does p = n?
True
Let p be 15/(-28) + (-2)/(-7). Let n = -1 + 4. Let l be -2 - (0/n + -3). Which is bigger: l or p?
l
Let s = 4.5 - -0.5. Let o = 6 - s. Is o < -2?
False
Let q be ((-12)/(-5))/((-6)/(-20)). Suppose q*i - 3*i - 20 = -5*w, 4*i = -w + 19. Which is greater: -0.1 or w?
-0.1
Let g be (1 + 9)