eater: k or g?
g
Let t be 8 - -1*(0 + 1). Suppose -1 = -5*b + t. Which is bigger: 3 or b?
3
Let t = -0.06 - 6.94. Let c = -6.8 - t. Is 2 greater than or equal to c?
True
Let k = -0.3 + -0.2. Let a = -5.4 + 5.5. Is a >= k?
True
Suppose 2*j + 6 = -3*w, 4*w = j + 4 - 1. Is j at least as big as 0?
False
Let q = 44 + -43. Which is smaller: q or -1/3?
-1/3
Let h = 8 + -6. Suppose 5*j - h = 4*j. Suppose 4*z - 2*m - 4 - 8 = 0, -2*z = -j*m - 8. Which is smaller: z or 2/3?
2/3
Suppose -16 = -4*f, -4*k + 8*f - 32 = 3*f. Let z = -1 + 5. Suppose -2*m + 2*w = -0*m + 4, -z = 2*m - 4*w. Is m bigger than k?
True
Suppose y = 6*y. Which is smaller: -2/15 or y?
-2/15
Suppose 0 = -7*v + 5*v + 38. Let s = v - 23. Is -18/5 greater than or equal to s?
True
Let k = -75 - -74.979. Which is bigger: 0.1 or k?
0.1
Let x(r) = 6*r - 1. Let s be x(2). Let z be ((-2)/4)/((-1)/10). Suppose 0 = -2*k - w + z, 0 = 2*k + w - 6*w - s. Is 4 at most k?
False
Let p be (-3)/(4 + 65/10). Is p equal to 0.01?
False
Let n = -0.98 - 0.02. Let u = n + 0. Is u smaller than -1/4?
True
Suppose -g + 2*m + 3*m = 25, -5*g = 4*m - 20. Let h = -0.6 - 0.2. Let a = h + 0.4. Which is bigger: g or a?
g
Suppose 4*m + 5*t = t - 24, -3*t = -4*m - 31. Let l be 10*4/10 + -9. Is m != l?
True
Let u be ((-21)/(-14))/((-36)/16). Which is smaller: -80 or u?
-80
Let v be (-2)/6*-3 - -83. Let b be ((-3)/v)/(2/4). Is b >= 0?
False
Let r(m) = -m + 2. Let c be r(0). Suppose p + 0*p - 3*s = 1, p + c*s - 1 = 0. Let q be (11/33)/((-1)/(-3)). Is p not equal to q?
False
Let h = 16 - 14. Which is smaller: h or 1?
1
Suppose -2*f - 6*o + 12 = -o, 0 = f + 2*o - 6. Suppose 0 = -q + 2*w + 6, w + w + f = 4*q. Is 2 at least as big as q?
True
Suppose -l = 4*l. Suppose -3*o - 6 = -9. Let i be 0 + (-1 + l)*o. Is i bigger than -1?
False
Suppose 0*a + 2*a = 0. Is a at least as big as 0.02?
False
Suppose 2*m - 5*o = 5*m + 28, 4*m - 5*o - 21 = 0. Suppose -2*h + 3*h - 1 = 0. Let v(j) = -j. Let l be v(h). Is l not equal to m?
False
Suppose -7*g + 9*g = -2. Which is smaller: -4/23 or g?
g
Let m(h) = -3*h + 3*h - h + 1. Let c be m(-3). Suppose -5*v = -v - c. Which is smaller: 0 or v?
0
Suppose -d + 3*d = -6. Let r be -2 + -9*2/d. Suppose -2*s + 10 + 2 = 2*b, 2*s - 18 = -r*b. Is 3 at least as big as b?
True
Suppose -5*z - 2*u + 66 = 0, 0 = -z - 2*u + 12 + 6. Suppose 0 = 4*w + z, 0*w - 3*w = -3*i. Is i at most as big as -3?
True
Suppose -5*c - 15 = 0, 0 = -0*p + 5*p - 3*c + 6. Let b be p*(-2 - 32/(-18)). Which is greater: b or 1?
1
Let a = -181/3 + 59. Suppose -5*j + 3*n + 0*n - 3 = 0, 3*n - 3 = j. Is j smaller than a?
False
Suppose -n + 22 = -50. Let d be (n/(-5))/4 - -2. Which is smaller: d or -3?
-3
Suppose 4 = w - 5*w. Let z = -2 - w. Let h = -212 - -3178/15. Which is smaller: z or h?
z
Let j = -3 + -2. Suppose 2*x + 2 = y, -5*y + 4*x - 4 - 4 = 0. Which is smaller: y or j?
j
Let q = 3.54 - -0.2. Let k = q + 0.26. Is -0.1 at least as big as k?
False
Let p = -33 - -48. Let z be (-48)/p + 2 - -2. Is z < 0?
False
Let p = -7767/17 - -457. Let b be -1*1 + 4/2. Does b = p?
False
Suppose 4*q + b - 13 - 38 = 0, -2*q + 36 = 4*b. Which is bigger: q or 11?
q
Let j = -41 + 5. Let h be -8 - -5 - j/10. Suppose 3*w = w. Which is bigger: h or w?
h
Suppose 0*r - 35 = 5*r. Let j(c) = -c**2 - 5*c + 8. Let g be j(r). Let d be g/4*(-64)/12. Is d greater than 8?
False
Let g(n) = -2*n + 4 + n + 1. Let f be g(5). Is f less than -1?
False
Let v be (-1 - -13)/((-3)/(60/56)). Is v equal to -5?
False
Let x = 38 - 3. Let h be 84/10 - 14/x. Is h at least -1/4?
True
Let f be 2/(-4)*24/21. Is f less than -2?
False
Let t be (-22)/(-8) + (-6)/8. Suppose -t = -4*c - 14. Suppose 0 = 3*n + 6 + 3. Is c at least n?
True
Suppose 3*d = 5*o - 13, -d + 14 + 5 = 3*o. Which is smaller: d or 24/7?
24/7
Let h(n) = -n**3 - 6*n**2 + n + 6. Let b be h(-6). Suppose b = i - 6 + 4. Suppose -2 + 6 = q + i*a, 10 = 5*q + 5*a. Which is bigger: -1/4 or q?
q
Suppose 2 - 2 = -9*x. Is -4 > x?
False
Let x be 0 + -8 + 0/4. Let t = x - -9. Which is smaller: -1 or t?
-1
Let l be 42/5 - (-10)/(-25). Is 8 > l?
False
Let b be (-6)/(-3) - (-9)/(-3). Which is smaller: 4/9 or b?
b
Suppose 3*k - 4*k - 6 = -3*v, 5*v = -5*k + 30. Suppose -3*t + v*o - 26 = -4*t, -3*t + 18 = -3*o. Which is greater: 12 or t?
12
Let u = 1.2 + -0.13. Let q = -66 - -66.07. Let b = u - q. Which is bigger: b or 4?
4
Let t = 13 - 12.3. Let a = 0.3 + t. Let u be (2/4)/((-3)/(-2)). Are u and a equal?
False
Let n = -3 - -11. Suppose -4*f + n = -2*h, -h - 3*h = f + 7. Let m be h/4 + (-3)/(-14). Is 0 >= m?
True
Suppose -3*y - t = -0*y + 3, -3*t = -3*y + 9. Let p be (-2 - (-29)/14)*-10. Which is smaller: p or y?
p
Suppose 0*n = 5*n. Which is smaller: n or 1/15?
n
Let s(z) = -z - 11. Let d be s(-9). Suppose 0 = -5*a - 20, -3*a - 10 = -h - h. Let t(x) = x**3 - x**2 - x. Let w be t(h). Is d not equal to w?
True
Let b = -9/8 + 35/24. Let h = 4.02 + -4. Let m = -1.98 - h. Which is smaller: m or b?
m
Let q = 18 - 14. Is 4 < q?
False
Let h = -39 + 12. Is h greater than 1/3?
False
Let r be 4 + 8/(-1 - 3). Let f be ((-3)/(3/2))/(-7). Is r less than f?
False
Let y be (-6)/(-4)*(-50)/(-15). Are 5 and y non-equal?
False
Let x be 2/(-3) - 2/6. Let l = -7069 - -70797/10. Let d = -21/2 + l. Which is smaller: d or x?
x
Let g = -2 - -1. Let w = -26 + 24. Which is greater: g or w?
g
Let i = 3 + 0. Suppose -s + i = 1. Is s bigger than 2?
False
Let a = -7 - -17. Let h = a - 12. Which is smaller: h or -5/2?
-5/2
Let x = -5789/16 - -362. Let t = x + -11/16. Suppose b + 4*f - 17 = -5, 2*b = 2*f - 6. Do t and b have different values?
True
Let g be 3/(-6) + (-9)/(-2) + -4. Which is smaller: g or 2/107?
g
Let m = 43 + -69. Is -26 equal to m?
True
Let k(m) = -m**3 + m**2 - m + 1. Let z be k(0). Let y = 2 - z. Which is smaller: y or -1/3?
-1/3
Suppose 0*n = -3*n + 27. Is 9 at least as big as n?
True
Let i be 1/1 + -1 - 4. Let v(m) = 2*m - 3. Let p be v(-4). Let x = 8 + p. Are i and x non-equal?
True
Let l = 6/185 + -597/1295. Is -1 >= l?
False
Let r = 363/4 + -91. Which is greater: r or 0?
0
Let a be (2/6)/(2/36). Suppose 2*x - a = -2*q + x, 2*q - x = 10. Is q less than or equal to 5?
True
Let t be 3/3*-1*9. Let z = t - -4. Is -5 at least as big as z?
True
Suppose 3*g + 3*a - 2*a = 25, -35 = -5*g + 5*a. Is g at most as big as 7?
False
Let q be (2/6)/(25/(-30)). Is q less than or equal to 2?
True
Let d(i) = i + 4. Let q be d(-6). Let w be (-6)/(-4) + (-1)/q. Is 2 <= w?
True
Let j = -412 + 1247/3. Is 4 greater than j?
True
Let h = 12 + -10. Let f be (h/(-26))/(6/(-12)). Are -1 and f equal?
False
Let c(j) = -2*j + 2. Let r be c(-3). Suppose 25 = -p + 9. Let z = -9 - p. Which is greater: z or r?
r
Let u = -103451/11 - -9411. Which is bigger: u or 6?
u
Let z(d) = 2*d - 11. Let f be z(5). Let j be ((-48)/(-20))/((-4)/30). Let i be (-8)/j*(-9)/30. Which is bigger: f or i?
i
Let m be (-1)/2 - 11/(-26). Let u(r) = r**3 + 22*r**2 - 22*r + 24. Let t be u(-23). Which is smaller: m or t?
m
Let m = -141 - -142. Is 3/13 less than or equal to m?
True
Let k(t) = t**3 - 15*t**2 + t - 13. Let v be k(15). Let y be (21/(-77))/(3/v). Is y <= 1?
True
Let y = 92 - 4506/49. Let v(u) = -u + 1. Let q be v(0). Is y at most as big as q?
True
Let t(u) = u**2 + 8*u + 2. Let a be t(-6). Let k be ((-6)/(-1))/(a/5). Which is bigger: k or -2?
-2
Let g(v) = v**3 + 46. Let r be g(0). Let b = -367/8 + r. Let o(n) = n**2 + 3*n. Let i be o(-3). Are b and i unequal?
True
Let a(u) = 5 + 8 - 2*u + 4*u - u. Let n be a(-10). Is n > -3?
True
Let g(z) = -z**3 + 5*z**2 + 7*z - 8. Let v = 21 - 15. Let q be g(v). Is q equal to -1?
False
Suppose -5*n + 15 = x + x, -5*x - 5 = 4*n. Let m be (-6)/n - (-4)/20. Let d be (2 - (-6)/(-2))/m. Is d greater than 1/5?
True
Let a = 0.011 + 0.089. Let j be ((-2)/2 - 0)*-6. Which is smaller: j or a?
a
Let o = -13108 + 38867/3. Let u = o + 150. Which is smaller: -3 or u?
-3
Let k be 2 - (-3)/((-9)/(-6)). Suppose 2*o + k*f = -0*o - 56, -3*f - 147 = 5*o. Let l be ((-57)/o + -2)*4. Which is greater: l or -1/5?
-1/5
Let j = 0.24 - 0.14. Which is smaller: -17 or j?
-17
Let r = -1 - 0. Let s = -88/301 - -2/301. Does s = r?
False
Let m = -697277/225 + 3099. Which is greater: -1 or m?
m
Suppose -7 - 2 = -3*f. Suppose 4*t - t = -f. Let r be (-1 - (-8)/(-22)) + 1. Is r bigger than t?
True
Let