
-1
Suppose 0*y = 3*m + 2*y, 2*m = y. Suppose -10 = -2*s - m*s. Let l = 5 - s. Which is greater: -1/4 or l?
l
Suppose 0 = b - 3*b - 2. Let d be 3/(-4)*136/12. Let n = 8 + d. Does b = n?
False
Suppose 0 = -3*j - 7 + 10. Let b be j/(-7) - 21/196. Which is smaller: b or -2/5?
-2/5
Let j = -1.08 + -0.22. Let x = j - 0.7. Which is bigger: 0.1 or x?
0.1
Suppose -2*n - 48 = -0*n. Let q = -347/11 + 260/33. Let t = n - q. Is 0 equal to t?
False
Suppose -2*u - 3*c = 2*u - 73, -4*c = -4*u + 52. Let i be 16/12*(-2)/u. Which is bigger: i or 1?
1
Let y = -5214/5 - -1046. Suppose 3*r - 2 = 10. Do r and y have different values?
True
Let v = 5 + -4. Are v and -4 equal?
False
Suppose 4*f - 3*b - 18 = 0, 5*b = -2*f + 6*f - 22. Which is smaller: f or 2?
2
Suppose 3*j - 7 = t + 8, -20 = -3*t - 4*j. Let r = -1 + t. Let s = 4 - 4. Is r less than s?
True
Let b be 1*2/(-4)*-2. Let m = -11 + 14. Let g be 5/12 - m/18. Which is greater: g or b?
b
Suppose 2*i - 8 = -6*i. Is i less than 1?
False
Suppose -5*r - 16 = d, 0 = -2*d - r + 2 - 7. Let v be (-7 + 7)*d/(-2). Let m = 1 + -1. Is m < v?
False
Let d(t) = t**2 - 5*t + 2. Let m be d(5). Suppose 0 = 3*k - 6*k + 12. Suppose -k*n = -4*p + 16, -4*n = 2*p + 2 - 4. Which is smaller: m or p?
m
Let s(g) = -2*g - 6. Let p be s(-5). Suppose -p*r = h + 17, -r - h - 3 = 5. Which is smaller: r or -2?
r
Let q be 206/(-21)*(-216)/(-16). Let y = q - -133. Is 1 at most y?
False
Let p be (1 - -1)*1/(-12). Which is greater: p or 1?
1
Suppose -2*u + 3*m = 11, -3*u + 0*m + 2*m = 9. Which is smaller: 5/23 or u?
u
Let x be 27*(0 - 2/(-6)). Let r(i) = -i + 8. Let g be r(x). Is g >= 0?
False
Suppose 0 = x + 3*x + 20. Let m = x - -11. Let c be m/(-8) - (-25)/(-20). Which is smaller: c or 0?
c
Let y be (-4)/(-10) - (-80)/50. Let n be 2*(1 - 1/y). Which is bigger: 3/23 or n?
n
Let q be (3/(-2))/(6/1). Let k = -61.1 + 64. Let v = k - 3. Which is bigger: q or v?
v
Suppose 193 + 231 = 4*h - 4*a, -314 = -3*h - a. Is 105 smaller than h?
False
Let b be (-4)/46*33 - -3. Let z = -219/92 + b. Which is bigger: -1/4 or z?
-1/4
Let i = -45 + 37. Which is smaller: i or 0.1?
i
Let v = 20 + -20. Suppose p - 3*p - 4 = v, 0 = -x + 3*p + 1. Is x at least -5?
True
Let g be (111/57 + -2)/1. Which is greater: 0 or g?
0
Suppose -5*z + 6 = 1. Let s be z*(-3)/(-3) - 7. Let y(r) = r + 7. Let n be y(s). Is 1 less than n?
False
Let x = 0.02 - -1.98. Does x = 0.1?
False
Let c = 140 + -416/3. Which is greater: c or 1?
c
Let l = 90 - 96. Let p(o) = 5 - o**2 - 3*o + o - o. Let g be p(-5). Is l less than g?
True
Let k(f) = f**2 + f + 4. Let c be k(0). Let g = 5 - c. Which is smaller: g or -1/4?
-1/4
Let v be 1*((1 + -9)/4 + 95). Is 93 equal to v?
True
Let z = -8 + 7. Let b = z - -3. Is 0.1 at most as big as b?
True
Suppose 3*s - 3*p = -0*s - 18, -3*s - 4*p = 4. Let t be s/1 + 0/1. Suppose l - 3*f = -6, -3*f + 15 = -5*l - 15. Is t != l?
True
Suppose -7*z = -0*z. Which is greater: 2/9 or z?
2/9
Suppose 0 = -6*r + 521 - 137. Is 64 < r?
False
Let o = 102/11 - 433/55. Which is bigger: o or 2?
2
Let t = -11 - -10.87. Let h = 0.07 - t. Which is smaller: 2/3 or h?
h
Let s(j) = -5*j**2 + 2*j + 1. Let b be s(2). Let w be b/(-6)*-4*-1. Suppose g - 5*t = -9, -2*g + 4*g + w = 2*t. Is g less than -4?
False
Let y be 20/(-70) - 30/(-7). Suppose 0 = -y*k - 20, 4*s + 2*k - k + 293 = 0. Let a be 4/(-18) + 92/s. Is a greater than -2?
True
Let b(l) = -l**2 + l. Let i be b(2). Let z be (2/11)/(i/8). Let s = -68/33 - z. Which is greater: 0 or s?
0
Let a = 18 + -8. Suppose -4*t + 16 = -4*f, 5*f + 2*t = a - 2. Which is smaller: f or -4/17?
-4/17
Let p = -2 - -1.93. Let w = 0.17 + p. Is w < 3/5?
True
Let b = 56 - 55. Is b <= 2/11?
False
Let w = -10 - -7. Let k = -12 - -7. Which is bigger: w or k?
w
Let j = -7 - 2. Let f = j - -7. Which is smaller: 1 or f?
f
Suppose b + 3*h + 5 + 9 = 0, 2*b - 5*h = 27. Let x be 1 - (-1 - (-2 + b)). Is -0.1 at most as big as x?
True
Let c(h) = h - 12. Let k be c(13). Which is bigger: k or 4/3?
4/3
Let p(t) = t. Let f be p(5). Suppose 0*i + 25 = f*i. Suppose -2*q + 21 = i*g + q, -3*g = -q - 7. Is g at least 3?
True
Let g = 1.7 + -2.7. Let n = 0.9 + g. Let f = 0 - 0. Which is smaller: n or f?
n
Let j(l) = -l**3 - 5*l**2 - 3*l - 1. Let t be j(-3). Does 0.1 = t?
False
Let w = 9 + 20. Suppose 2*j = w - 7. Is j less than or equal to 11?
True
Let n = -0.2 - 0.8. Let w = -1.1 - n. Is w less than or equal to 2?
True
Let b(m) = -m + 2. Suppose -4*q + 18 = 4*y + y, -3*y = -2*q - 2. Let n be b(q). Which is smaller: 1/3 or n?
n
Suppose -t + 2*t = 2*t. Is 8/15 at most t?
False
Let x = -7.1 + 0.1. Let w = -75.4 + 68. Let b = w - x. Which is greater: b or 1?
1
Let p be (4/168)/(2/8). Let f = -74/105 - p. Is f less than or equal to -2?
False
Let x be 36/15 - 4/10. Suppose -3*k - x = 1. Let q = k + 0. Is q less than or equal to 1/5?
True
Let i = -1672 + 3279/2. Let h = 33 + i. Which is smaller: 0 or h?
0
Let c = -0.098 + 3.998. Let j = -3.82 - 0.18. Let q = c + j. Is 1 greater than or equal to q?
True
Let b = 32679/25 + -1307. Is 1 at least b?
True
Let y = 101 + -103.2. Are -0.2 and y unequal?
True
Suppose 3*r + 33 = 5*n - r, -4*n + 4*r + 24 = 0. Does n = 9?
True
Suppose 12 = 2*a + 4. Let v(j) = j**2 + 9*j - 9. Let z(i) = 3*i**2 + 17*i - 19. Let s(x) = 5*v(x) - 2*z(x). Let n be s(10). Is n > a?
False
Let l = 2 - 1.7. Let p = 0.1 - 0.1. Let m = l - p. Is m greater than or equal to 0?
True
Suppose -3*j - 3*n + 55 = -44, 2*j - 68 = -4*n. Suppose 2*z + 2*v - 4*v = -32, z - 5*v = -j. Let w be 1*4*z/(-16). Is w <= 3?
True
Suppose -p - 52 = 5*c, -4*c - 9 - 37 = 3*p. Let m = -8 - c. Are 4 and m unequal?
True
Let f be 3 - 4 - 6/(-2). Let i(p) = 4*p**3 - p**2 - p + 1. Let t be i(1). Is t equal to f?
False
Let m be (-3)/(0 - -3) + 3. Suppose -4*p = -3*b + 2, -2*b - m*p = -3*b. Let o = 6 - b. Is o < 0?
False
Let x(q) = -q + 24. Let z be x(12). Let c(d) be the second derivative of -d**5/20 + d**4 + d**3/6 - 3*d**2 + d. Let b be c(z). Are b and 6 equal?
True
Let p be (-2)/6 + (-2440)/(-7176). Let s = 1501/897 - p. Which is smaller: 3 or s?
s
Let b = -212/5 - -45. Is b greater than 2?
True
Let p = 1363/420 + -41/12. Is p less than 1/2?
True
Suppose 20*x = 15*x - 435. Which is smaller: x or -88?
-88
Let q(s) = -4*s**3 + 2*s**2 - 2*s + 1. Let l be q(1). Which is smaller: l or -7/4?
l
Let c = 0 - 1.1. Let f = c + 2.1. Are 0.4 and f equal?
False
Let h = -3 + 13. Suppose 2*p = -3*z + h, 2*p - 2 = -4*z + 10. Let i = -2 + z. Which is smaller: 3/4 or i?
i
Let w be ((-2)/(-4))/(2 + -3). Let g(u) = 2*u**2 + u + 2. Let y be g(-1). Suppose -y*m = -m. Which is smaller: w or m?
w
Let i = -0.66 + 0.6. Let u = 0.04 - i. Are -3 and u unequal?
True
Let p(q) = -8*q**2 + q + 1. Let z = 13 + -14. Let n be p(z). Let m = -3 + -4. Which is smaller: m or n?
n
Let j = 1.8 + -2. Let f = j + 0.1. Let l = 0.2 + -0.1. Which is bigger: l or f?
l
Let y(o) = o**3 + 5*o**2 - 6*o + 2. Let n be y(-6). Which is smaller: 14/9 or n?
14/9
Let t = 44 - 31. Let x = t + -12. Is -2 bigger than x?
False
Let k be 0/((1 - -1) + -4). Let a = k - 1. Let o(f) = f**2 - 2*f + 1. Let y be o(1). Which is smaller: y or a?
a
Let h = -8 - -5. Is 6 bigger than h?
True
Let u = -35 + 34. Is u < -2/27?
True
Let q be (4/8)/(1/10). Suppose 0 = q*j - 3*j + 2. Let g be (-1)/(-3) - (-10)/(-12). Which is greater: g or j?
g
Let i = -23 - -19. Is 2/7 bigger than i?
True
Let u = -9 - -11. Suppose 5*l + 7*v + 5 = u*v, -3*l = 4*v + 1. Is -5/3 >= l?
True
Let n = -55 + 74. Is n less than or equal to 20?
True
Let x = -1625/9401 - 2/553. Is 0 <= x?
False
Let c = 6 - 7. Let k = 4 - c. Suppose 4*n + k*m - 45 = 0, -5*n + 2*m = 3*m - 30. Is n bigger than 4?
True
Let f = -3936 + 547107/139. Are f and -1 nonequal?
True
Let d(i) = i + 1. Let t be d(0). Suppose -t = -2*y - 3. Let g = -0.1 + -0.1. Which is smaller: g or y?
y
Suppose -2*p - 13 = 3. Is p <= -8?
True
Let z be (4/306)/((-24)/(-72)). Which is greater: 0.3 or z?
0.3
Let f = 0.2 + -0.1. Let h = -330 + 332.94. Let t = h - -0.06. Which is smaller: t or f?
f
Let k = 3 + 1. Suppose k*p + p = 0. Is 0 > p?
False
Let k be 1*(-2 - (-2 - 1)). Let u be (-3)/2*k/3. Let c = 0.2 + -0.3. Which is greater: c or u?
c
Let w = -7 - 0. Let f = w - -4. Which is bigger: f or -4?
f
Let b = -1.01 - -1. Let u = b + -0.29. Let q = 2.3 + u. Which is g