et h be -2*(-14)/8*a. Suppose 0*b - 32 = 4*b. Which is smaller: h or b?
b
Suppose -36 = -0*d + 4*d. Is d smaller than -7?
True
Let x be -4*((-1)/2)/1. Let w be 184/(-18) + 8/36. Let z = 12 + w. Is x equal to z?
True
Let o be 2/8 - (-15)/36. Is -2 greater than o?
False
Let u = -0.55 + 0.8. Let r = u + 4.75. Which is greater: r or 0.2?
r
Let v = 2/35 + -76/105. Suppose -6*b = -b + 10. Is v less than or equal to b?
False
Suppose 5*y - 12 = 4*y. Is 11 not equal to y?
True
Let n = -7 + 10. Suppose -n*z + 6 = -z. Suppose 4*x = 5*q - 25, -x + 3*q = 12 + z. Which is smaller: 2/9 or x?
x
Let h = -232 - -234. Let i(x) = -x**2 + 3*x + 5. Let p be i(4). Let y be (1/2)/(p/6). Is h > y?
False
Suppose 2*h + 5*h - 28 = 0. Which is bigger: h or 36/7?
36/7
Let z(u) = -3*u + 3. Let p be z(4). Let a be (-2)/8 + p/12. Is a > -5/4?
True
Let c be (-1 - (-3)/(-12))/34. Let a = -21/22 - -195/187. Let z = c - a. Which is bigger: -1 or z?
z
Suppose -2*k + 7*k = 450. Let h be (-16)/k - 4/18. Is -1 < h?
True
Let c = -2.52 - -2.6. Which is smaller: -2 or c?
-2
Let i be (1/2)/(1/(-2)). Let b be (1/14)/(i/4). Is 1 <= b?
False
Let q(k) = k**3 + 5*k**2 - k + 1. Let r be q(-5). Suppose 4 = -r*t + 2*t. Let s = 3 + t. Which is smaller: s or 1?
1
Suppose -2*s + 4*t = 20, 0 = -s + 2*s + 2*t - 10. Does 6/7 = s?
False
Let l = -15 - -14. Let z be -7 + l + 6/2. Which is greater: z or 1?
1
Let u(q) = -q - 20. Let x be u(-13). Let h = x - -6. Let o be 1*(1 + 0) + -1. Which is smaller: o or h?
h
Let m(v) = v**3 + 19*v**2 + 19*v + 18. Let o be m(-18). Is 6/65 smaller than o?
False
Let w be 0*(-2)/(-20)*5. Let x = -0.1 - -0.1. Do w and x have the same value?
True
Let l = 0.0295 + -2.1195. Let q = -0.09 - l. Let u be 4/18 - 1/18. Which is smaller: q or u?
u
Let v = 16524/7 - 2366. Is v not equal to -6?
True
Suppose 14 = 5*j - 6, 4*j + 59 = 5*l. Is l less than 18?
True
Let i(w) = -w**2 + 4*w + 6. Suppose -3*g + 63 = 21. Suppose q - g = -4*c + 5, 4*q = -3*c + 11. Let f be i(c). Is -1 greater than f?
False
Suppose 9 = 3*x - 0*x. Suppose -2*k - 4*q + 12 = -k, 0 = -k + q - x. Suppose -5*z - 5*v + 3*v + 3 = 0, 2*z + 2*v - 6 = k. Is z greater than 0?
False
Let t(s) = -s**2 - 12*s - 6. Let g be t(-11). Let l be (-4)/(-10) + 46/10. Suppose -x = g*z + 17, -z - l*x = -3*z - 23. Which is smaller: -2 or z?
z
Let r = -8 - -13. Suppose 2 = -r*o + u - 9, 3*o + 1 = -5*u. Is -3 > o?
False
Let p = 83 - 99. Which is smaller: 3 or p?
p
Let n(b) = 10*b**2 + 4*b + 3. Let f be n(-2). Is f at most as big as 35?
True
Let w(u) = -u - 1. Let n be (((-6)/(-2))/3)/(-1). Let s be w(n). Let x = -34 - -376/11. Is s smaller than x?
True
Let b(q) = 3*q + 1. Let v be b(3). Is v != 8?
True
Suppose -10 = 4*x + 14. Let c = -1 - x. Let k = -5 + 11. Is k at least as big as c?
True
Suppose 17*x - 35 = 10*x. Which is smaller: 3 or x?
3
Let c be 1/3*(-3)/(-3). Does c = 0?
False
Suppose -o - 10 = o + 3*x, 0 = -3*o - x - 1. Suppose -o = -m + 1. Which is bigger: 4/5 or m?
m
Let y be -10 + 2 + (1 - 1). Is y equal to -7?
False
Let k = -54.93 + 54. Let t = -0.07 + k. Which is smaller: t or 0.1?
t
Let q(a) = -a + 6. Let z be q(18). Let h(d) = d**3 + 3*d**2 - 3*d - 3. Let t be h(-4). Let l = z - t. Which is bigger: l or -4?
-4
Suppose 5*f = d + 11, -2*d - 5*f - 73 = d. Let t be d/9 - 6/9. Is -3 less than t?
False
Let r = -0.074 + 0.144. Which is greater: 1/3 or r?
1/3
Suppose -3*h = -4*u + 34, 2*u - 2*h = 13 + 5. Which is greater: u or 5?
u
Suppose -32 = -4*r - 0*r. Suppose r - 20 = 4*k. Are -6 and k non-equal?
True
Suppose 35*l - 38*l = 222. Is l smaller than -73?
True
Let q = 0.06 + -6.06. Let d = q + 6. Which is smaller: d or 1?
d
Suppose -6*w + 7*w - 13 = 0. Do 11 and w have different values?
True
Let x = 0.91 + -1.01. Which is smaller: 0.03 or x?
x
Let s = -5 + 9. Let n be s/(-14) + (-64)/(-126). Suppose 2*f = 4, -5*q + f = -0*q + 7. Is q at most as big as n?
True
Let s = -76 + 81. Is s at most as big as 27/7?
False
Let o(d) = -d**3 - 21*d**2 - 12. Let t be o(-21). Which is smaller: t or 1/2?
t
Let f(j) = -j**2 + j + 12. Let m be f(5). Let k be 11 - (1*-3)/3. Let y be (8/(-6))/(2/k). Is m at most y?
True
Let a = 6 - 9. Let f = 4 + a. Which is greater: 2/11 or f?
f
Let r = -6.1 + 7. Let z = r + -2. Let l = 0.1 + z. Is -2/11 not equal to l?
True
Let a = -27887/16 + -9877/16. Let w = 2327 + a. Let q = 71/2 + w. Is q <= 3?
True
Let x be (8/(-2))/(11*1). Suppose -10 = -2*l, 20 = 4*h - 2*l + 6*l. Do h and x have the same value?
False
Let x(a) = -a**3 - 4*a**2 + 3*a - 1. Let g be x(-5). Suppose -3*q + 15 = 0, -31 = 3*m - 5*q - g. Let d be (1/(-4))/(6/(-8)). Which is smaller: d or m?
d
Let s = 142 + -132. Is -4 <= s?
True
Let i = 191 + -133. Is i < 0?
False
Let s(j) = j**2 - 8*j - 7. Let n be s(9). Let c(q) = 2 - 3*q + 0*q - 1. Let a be c(-1). Which is greater: n or a?
a
Let u(t) = -t**3 - 4*t**2 + 2*t + 2. Let g be u(-4). Let f be ((-1)/(-4))/(g/16). Let o = 0.2 - 0.3. Is o at most f?
False
Let v = 2 + -20. Is -18 equal to v?
True
Let q = -6004/5 - -1196. Is q at most -4?
True
Let t be 2/(-8) + (-70)/8. Let m be 1 + -1 - (-6)/t. Let i(a) = -a**2 - 7*a - 7. Let r be i(-5). Which is smaller: m or r?
m
Let x = -1.6 + -4.4. Let s = 4.6 + x. Let f = -0.4 - s. Which is smaller: 0 or f?
0
Suppose 5*a = -2*s + 5 - 26, -5*a - 18 = s. Which is bigger: a or 0.3?
0.3
Let z = 25/12 + -733/348. Is z < -1?
False
Suppose 27 = -2*m + 5*m. Which is smaller: 10 or m?
m
Let u be (6/(-2))/(2/(-12)). Suppose 4*b = -5*m + 10, -2*b - u + 8 = -5*m. Is -2 at least b?
False
Let m = -0.59 - 3.41. Is m smaller than -2?
True
Let j be (1 - 0/2) + 1. Suppose -4*q + 5*p + 25 = 0, 2*q + 2*q + 10 = -j*p. Is 0 greater than or equal to q?
True
Let n = -9 - -24. Is 14 greater than n?
False
Let p be (1/(-2) + 0)*(-145)/406. Is -1 bigger than p?
False
Suppose 2*n - 7 = -c, -5*n + 4*c + 1 = 3. Suppose 8 + 14 = -n*s. Is s less than -10?
True
Let n be ((-9)/(-6))/(2/8). Suppose 0 = -2*j + 4 - n. Are j and 2/11 non-equal?
True
Let m = -2/6791 + -1066175/40746. Let d(v) = -v**2 + v - 6. Let c be d(5). Let b = m - c. Which is smaller: 1 or b?
b
Suppose -1 = 5*o - 6. Is -6 >= o?
False
Let n = 68 + -67.18. Let d = 0.08 + n. Let v = -0.8 + d. Is 1 >= v?
True
Let s be 9/(-20) + (-2)/(-10). Let j = 5 + 1. Is j less than s?
False
Let c = 52 + -44. Which is smaller: c or 0?
0
Let o(q) = -q**3 - 3*q**2 + 11*q + 4. Let i be o(-5). Do i and -1/33 have different values?
True
Let g = -5 + 8. Suppose 1 = -2*b + g. Let s(i) = -2*i + 10. Let n be s(4). Which is smaller: b or n?
b
Suppose -3*g - 9 = 0, 5*u - 4*g = -1 + 13. Let n = -20 - -20. Suppose 0 = -4*b - z + 8, z + n = -b + 2. Is b at least u?
True
Let h(x) be the first derivative of x**2/2 - 5*x + 4. Let f be h(5). Let p be -2 + -2 + (1 - f). Is p bigger than -5/2?
False
Let g be (-1*6/(-10))/(6/30). Is g less than 5?
True
Let d = 54.79 - -0.21. Is 1 greater than d?
False
Suppose 0 = -4*n + 8*n - 124. Suppose 4*k = -5*r - n, 0*r + 5*k + 17 = r. Are -1 and r non-equal?
True
Let f be (-10)/(-8) - ((-6)/(-8))/3. Which is greater: 1/40 or f?
f
Let g be 19/36 - (-12)/(-16). Let w = 34 - 33. Is g greater than w?
False
Let y = 1.54 - 0.54. Which is smaller: 6 or y?
y
Let g = -2 + 2.01. Does g = -1/2?
False
Let u(y) = -y**3 - y**2 - y + 5. Let k be u(0). Suppose a + k = 2. Which is bigger: a or 1?
1
Let h = 2600 + -13059/5. Let f = 12 + h. Which is bigger: 0 or f?
f
Let d be (-1 - -1 - 1)*1. Let v be 1/7*(5 + d). Which is smaller: v or 2?
v
Let n(w) = w + 1. Let g be n(-3). Let j = -0.89 + 0.09. Let h = 0.2 - j. Is g != h?
True
Let p = -110 - -106. Which is smaller: 6/7 or p?
p
Let l = -27 + 19. Suppose -c + 7 = 2*q + 20, -q - c - 5 = 0. Are l and q nonequal?
False
Let o(i) = -i + 1. Let r be o(-1). Let c = 9.98 - -0.02. Let v = -10 + c. Is v >= r?
False
Let p = -4.2 - -3.2. Which is smaller: 0.23 or p?
p
Let h = 0.95 + 0.15. Let o = h - 1.11. Let x = 1 + 0. Does x = o?
False
Suppose 2*c + 4 = 3*c - 2*z, z + 3 = 0. Which is smaller: -2/3 or c?
c
Suppose 4*b = -c + 23, 0 = b + b - c - 19. Let y = -3 + b. Let a be y/(-2) + 20/9. Is a less than 1?
True
Let m(r) = r**3 + 11*r**2 - 11*r + 16. Let c be m(-12). Suppose -c*k = -k + 12. Which is bigger: -3 or k?
-3
Let n(i) = -1 - i**2 + 2*i + 3 - 2*i**2 + 8*i**2. Let h be n(-1). Is h at most as big as 5?
True