et c = -2 + 4. Suppose -16 = 6*p - c*p. Let o = p + 12. Is o at least as big as 0?
True
Let w = -126.4 - -139. Which is smaller: -1/2 or w?
-1/2
Let x(f) = f**3 + 8*f**2 - 2*f + 1. Let d be x(-8). Suppose -t - 2*z = -d, -t + 2*z = 4*t - 25. Is t greater than 7?
False
Let x = 0.0744 + 2.5356. Is x >= 1?
True
Let p(x) = x**3 - 10*x**2 + 10*x - 11. Let o be p(9). Let z be (-72)/(-14)*32/(-48). Is z smaller than o?
True
Suppose 3*s - 5*p = -301, -3*p = -s - 5*p - 115. Let a = -62 - s. Which is smaller: a or 44?
44
Let x = -11.14 + 11. Let r = 68.2 + -68. Which is smaller: r or x?
x
Let j = 71 - 73. Let p be -12*(8/84)/(j/8). Which is smaller: p or 6?
p
Let l = 23.28 + -23. Let z = l - 0.08. Which is greater: -0.02 or z?
z
Let k(g) = 6*g + 207. Let t be k(-45). Is t greater than or equal to -373/6?
False
Let n be ((-64)/(-33))/8*3/4. Which is bigger: n or 1.1?
1.1
Let i = 4 + -2. Let c = 2.1 - i. Let a = -193 + 193. Which is smaller: c or a?
a
Let t be 5 - (-3)/(-2082)*(-62484)/(-18). Is 1 bigger than t?
True
Let g be 1 + 1 + 3*-1. Suppose 4*o + m + 0*m = -341, -92 = o - 2*m. Let x = o - -1116/13. Is x greater than or equal to g?
True
Let p = 31 + -11. Let z = 6 - p. Let c = 14 + z. Is c greater than 0.5?
False
Let g be (-7)/(126/(-55)) - 3. Let d(m) = m - 3. Let t be d(3). Which is smaller: g or t?
t
Let m = 3 - 2. Suppose -b - 4 = g - 2*b, -4*g = -b + 4. Which is bigger: m or g?
m
Let h = -93 - -93.039. Which is smaller: h or -0.3?
-0.3
Let i = -39 + 41. Suppose -33 = 4*h + 5*k, h = -4*h - 5*k - 35. Let d be -1*(h - -4) + i. Is 1/5 at least as big as d?
True
Let u = -959 - -959. Let b be (-24)/(-10) + (-2)/5. Suppose -3*v - b = -5. Are v and u equal?
False
Let b(o) = -27*o + 269. Let t be b(18). Which is smaller: t or -220?
-220
Suppose i - 1024 = -1023. Is i at most 5/6?
False
Let l = 1896 - 3195. Let j = 6464/5 + l. Which is bigger: -7 or j?
j
Let m(f) = -f**3 - 14*f**2 - 53*f - 23. Let n be m(-12). Is 322 less than or equal to n?
True
Suppose -3*d + 623 = -4*d. Let m = d - -3103/5. Is m equal to -1?
False
Let q = -122 + 253. Suppose -22*d + 728 = -168 - 1964. Are d and q equal?
False
Let q = 0.0105 + -0.1105. Is q greater than or equal to -115?
True
Let y = 24 + -24. Which is bigger: y or -5/6?
y
Let u = -346.9 + 347. Let x = -3 - -2. Let z = x - -3. Is u less than z?
True
Let s(l) = -47*l + 329. Let w be s(7). Which is smaller: w or 1/3005?
w
Let l = 353/5 + -15189/215. Let h be 3*(-5)/(-15)*-1. Let p be h - (8/(-5) - (-1)/5). Which is smaller: p or l?
l
Let m = 1/279 + 1109/1953. Suppose -3*c = -0*c - 6. Suppose -2*k = c*k - 4. Which is bigger: k or m?
k
Suppose 10*z - 83 = 37. Is 0.4 bigger than z?
False
Let x be (3 - 0)/((-2)/(-2)). Let n be (x/(-246))/(5/10). Suppose 7 = 3*j - 2*b, -5*j - b + 3*b = -9. Is n at least j?
False
Let t be (-4)/(5 - 4 - -9). Which is smaller: 424 or t?
t
Let g be 5/(-15) - (-7)/3. Let f be (3/(-9))/(g/(-6)). Let v = -1/36 + -1/12. Is f at most as big as v?
False
Let p = 3374 + -3374. Let k be 0/(-2) + 0 + -2. Is p equal to k?
False
Let q be (-5)/4 - 2/(-8). Let m be ((2 - 0) + 1)*q. Let f = 29242/9 - 3249. Is f >= m?
True
Suppose -33 = 3*v - 0*v. Let j = -6 - v. Let x be (-15)/14 - j/(-10). Which is bigger: x or -1?
x
Let a = 271165/4653 + -641/11. Let s = -868/4653 + a. Which is bigger: 1/6 or s?
1/6
Let h = 0.21 + -0.2. Let k = -1.99 - h. Let l be (3*(0 + 1))/(10 + (-259)/28). Which is greater: l or k?
l
Let a be 117/(-80)*(-1198)/3. Let f = -584 + a. Which is bigger: f or 0?
f
Let r = 6 + -5.9. Let o be 70 + -74 + 7/2. Is r not equal to o?
True
Suppose -j = 2*j + 39. Suppose -6*d + 11*d = -2*i - 55, 0 = -d + i - 11. Which is smaller: d or j?
j
Let p(c) = 3*c - 32. Let l = 40 - 29. Let b be p(l). Which is greater: b or -3/13?
b
Let n = 1 - 0. Let h be 2/(-12)*(-36)/20. Which is smaller: n or h?
h
Let h = -38891/35 - -1111. Which is smaller: h or 0?
h
Suppose 217 = -10*r - 283. Is r at most as big as -50?
True
Let h(o) = -o**2 + 7*o + 12. Let i be h(8). Let b be ((-3)/54)/(i/12). Suppose 0*p + 3*p = -4*z + 5, 15 = 5*p. Which is smaller: z or b?
z
Let l = 2 + -2. Suppose 0 = -3*w - 5*z + 20, l = -2*w - 3*w + z - 4. Suppose 6*o - o = w. Which is greater: o or -2?
o
Let s = 16 + -12. Let v = -38 - -41. Is s at least v?
True
Let c be 2/(-5) + (-56)/10. Let f be 1/(-2) + c/12. Let y be 0/5 + -12 + f. Is -12 >= y?
True
Let u = -0.374 - -193.374. Which is smaller: u or 1?
1
Let s be ((-4)/2)/((-32)/162). Which is bigger: 10 or s?
s
Let m(x) be the first derivative of x**3/3 - 4*x**2 + 13*x - 1. Let t(a) = -a**2 - 9*a - 2. Let f be t(-8). Let n be m(f). Which is bigger: -2/17 or n?
n
Let y = -327 - -313. Which is bigger: y or -3?
-3
Let y = -7 + 6.7. Let l = -4053283/1281945 + -1/12209. Let o = l + 56/15. Is y less than or equal to o?
True
Let h(v) = v**2 - 4*v + 1. Let u be h(0). Suppose 3*p + 20 = -5*f, 2*f + u = 2*p - 7. Does 3/10 = p?
False
Let y(d) = 3*d - 4. Let p be y(1). Are p and 2/111 nonequal?
True
Suppose 0 = -8*z + 41 - 9. Suppose 0 = n - z*n + 351. Is 116 less than or equal to n?
True
Let f = 25 - 31. Let k = f + 6. Let s = 3 + -3. Is k <= s?
True
Suppose -4*n + 12 = i + 2, -i + 2 = 0. Let u be 521 + (1 - 2) + n. Let o = u - 3145/6. Which is smaller: o or -2?
o
Let a be (770/4 - -4)*(-4)/15. Which is bigger: -51 or a?
-51
Let f = 14 - 7. Suppose f = d + 3. Suppose d*l + 16 + 4 = 0. Which is smaller: -6 or l?
-6
Let f be (-6)/(-4)*(-3496)/(-57). Which is smaller: 91 or f?
91
Let p = 1.6 + -5.6. Let j be 3*(2 - (-51)/(-9)). Let z be 0 - 2 - 20/j. Is p at most as big as z?
True
Suppose 22 = -13*q - 9*q. Do 1/1410 and q have the same value?
False
Let a = -10 - -9.9. Let s = a + 1.1. Suppose 5*b = -x + 11, -5*x + 3*b - 3 = -b. Is x > s?
False
Let w(d) = 27*d - 11*d - 3*d**2 + 2*d**2 - 9. Let r be w(15). Is r >= 6?
True
Let m be (-3)/(2 - 4596/2304). Which is greater: 2/5 or m?
2/5
Let d be 2/(-4) + (-11)/(-2). Let a be 1*-1 - (-12)/2. Suppose -d*b + 2 - 24 = 3*j, -3*j + a*b - 2 = 0. Is j greater than -2?
False
Let k = -0.11 - -0.084. Let o = 0.044 - k. Is 0 less than o?
True
Let d = -893/102 + 13/51. Are -0.3 and d equal?
False
Let h = -753/2 - -321. Let n be 14506/252 + -3 + 2/9. Let k = h + n. Which is greater: 1 or k?
1
Let c(z) = -z**2 - 3*z + 4. Let p be c(-5). Let y be (-32)/12*9/p. Which is bigger: y or 3?
y
Suppose 1 = 2*z + h, 0*z + 4 = 2*z - 2*h. Is 1/253 bigger than z?
False
Let l = -0.1 + 0.6. Let y = l + 1. Let k = -0.5 + y. Which is smaller: k or -4?
-4
Let s(u) = 2*u + 6 - u - 10. Let j be s(5). Let o = 29 + -436/15. Which is smaller: j or o?
o
Let n be -1 + (84/(-16) - -2). Let b = n + 73/20. Let d be 9/3 + -3 - 2. Which is smaller: b or d?
d
Let w be (4 + 30/(-9))/((-4)/(-18)). Let q = -2 + w. Is q bigger than -1/18?
True
Let g = -0.76 + 38.76. Let n = -76 + g. Is 1 < n?
False
Suppose -72 = 24*r - 20*r. Let a be (-1 - -3) + (-1 - 0). Let g be (-42)/r + (a - 4). Does g = 16?
False
Let v be 6 - 2 - (-15 + -117). Suppose 7*d + v = -193. Do -47 and d have different values?
False
Let k be (-359696)/(-576) - 1/4. Let n = 625 - k. Are n and 2 equal?
False
Let w = -608 + 602. Let u = 0 - 0. Are u and w nonequal?
True
Suppose -3*t + 34 = -68. Let d be (-1)/44*t/3. Let h = 1/11 + d. Which is bigger: -1 or h?
h
Let x(w) = -w**2 + 6*w + 7. Let m be 495/75 - 4/(-10). Let q be x(m). Which is bigger: q or -1?
q
Let l be 11/5 - (-60)/75. Let k be 1 - (50/l)/(40/30). Is k > -13?
True
Let h be 7/(-14) - (-2)/4. Suppose 5*p = -d - 1, h = 5*p + 10. Let y be d/(-21)*20/(-6). Which is bigger: 0 or y?
y
Let p = 12/5387 - 270562/544087. Which is smaller: 0 or p?
p
Let z = -1.32 + 109.32. Let q = z + -86. Are q and 0.2 nonequal?
True
Let z = 15 + -14. Let t be 2/8*0 + z. Let i = -89 + 799/9. Which is smaller: i or t?
i
Let s(t) = -t**2 - 7*t + 8. Let o be s(-8). Let q be (o/4 - 1) + -4. Is q <= -16/3?
False
Let j be (0 - 0) + 1 + -1. Let g = 33 + -30. Suppose -g*n - 28 = 11*n. Is j greater than n?
True
Let v(o) = o**2 + 2*o + 18. Let f be v(0). Let r(c) = c**2 - 16*c + 31. Let u be r(13). Let a be (f/(-105))/(u/(-10)). Which is bigger: -0.1 or a?
-0.1
Let g be (0 + (-6)/(-8))*(-124)/17081. Is -1 bigger than g?
False
Let y = 798 - 20753/26. Is y greater than 1?
False
Suppose j = 2*k - 7 - 5, -4*k = -4*j - 48. Whi