 h = -3 - -2. Let o = -3 + h. Do c and o have different values?
True
Let s be 54/(-168)*(-8)/51. Is 3 at least s?
True
Let s = -495 - -523. Is s >= 27?
True
Suppose -175*r + 199*r + 24 = 0. Suppose -5*p - 2*b = -9, -3*p - b = p - 9. Let f = p + -5. Is f greater than or equal to r?
False
Let b = -16607/41 - -405. Let t = -88/123 - b. Let n(u) = u - 5. Let r be n(5). Which is smaller: r or t?
t
Let k = 192 + -149. Is k < 40?
False
Suppose t = -x + 9, -21 = -3*t - 0*x - x. Suppose b = -q - 3, -5*b + 2*q - t = 44. Is b <= -9?
False
Let a = 5.9629 + 0.0371. Which is smaller: -19 or a?
-19
Let z be (-225)/(-5)*(-2)/3*-1. Let d be (-8)/(-5)*z/4. Which is smaller: 53/4 or d?
d
Let o(n) = 12*n + 22. Let c be o(-11). Let a = c - -91. Which is smaller: a or -22?
-22
Let h = -239 + 237.36. Is 5 at least as big as h?
True
Let w(r) = -r + 11. Let o be w(6). Let z(f) = f**2 - 4*f - 7. Let g be z(o). Let c be (-1)/g + 88/(-112). Which is smaller: 1 or c?
c
Suppose -2*b - 3*b = -b. Let a be 1/(-3) - (-7)/3. Let v be -6*a/(-16)*1. Which is greater: v or b?
v
Let p(z) = z**2 - 6*z + 4. Let i be p(1). Is 2/223 < i?
False
Suppose 10*t - 12*t = 42. Let b be (17/(-14) + 1)/(t/(-28)). Which is smaller: -1/16 or b?
b
Let x = 5021/133 + -265/7. Is -104 at most as big as x?
True
Let t be 6/(-42) - 44/(-14). Suppose -t*b - 2*b = 25. Suppose 0 = -4*s - 0 - 16. Is b >= s?
False
Let b = -306610/20531 + 732/49. Are 0 and b unequal?
True
Let k(d) = 5*d - 41. Let w be k(8). Let c be (w/(0 - -1))/(-16 - -15). Is c less than or equal to 1?
True
Suppose 0 = 4*q - 3*q + 9. Let l be 5/q + 3 + -2. Suppose -v + 0*v - 1 = 3*z, -z = 4*v + 15. Is z at least as big as l?
True
Let x = 487.94 + -492. Let a = 0.06 + x. Let v = a + 3. Is -1/2 < v?
False
Let k = -254 - -314. Is k < 60?
False
Let u be 5/((-10990)/(-10994)) + 25/(-5). Which is smaller: u or 0?
0
Let p be (-2)/6 - (-2737)/(-69). Which is smaller: p or -38?
p
Let u be -5*14/(-35)*79/2. Which is bigger: 0 or u?
u
Suppose g + 85 = -3*c + 20, 2*g + 100 = 4*c. Let j = -55 - g. Which is greater: -2/145 or j?
j
Let t be (-5 - (-3 - 0)) + -86. Let m be (-414)/t + (-6)/(-8). Which is smaller: m or 6?
m
Suppose 6*o - 85*o = -84214. Is o >= 1065?
True
Let s = -1.1702 + 0.1702. Is 13 at most as big as s?
False
Suppose 13*n - 20 = 18*n. Let y = n + -5. Let m be ((-12)/y)/((-4)/(-12)). Which is greater: 0.4 or m?
m
Let z = -1149/5 + 229. Suppose 2*v - 5*c + 1 = 0, -4*v + 2*c + 5 = -1. Suppose k - 2 = v*k. Which is smaller: z or k?
k
Suppose 2*s + 6 = 0, 0 = 4*w + 6*s - 3*s + 49. Let a be 9 - 6/4*2. Let b = a + -6. Is w bigger than b?
False
Let a(w) be the second derivative of -w**3/6 - 5*w**2 + 10*w. Let z be a(-10). Let h be (-74)/120 - 6/(-8). Which is bigger: z or h?
h
Let q = 0.04 - -0.06. Let y = -18.5 + 31.5. Is q less than y?
True
Let o be 628/(-1050) - 11/((-154)/8). Is o greater than or equal to -1?
True
Let z be (-2)/9 + 2568/12042. Which is greater: z or -1?
z
Suppose d = 4*d. Let f(n) = n**3 - 6*n**2 + 7*n - 10. Let z be f(5). Does z = d?
True
Suppose -3*f + 5 = -4. Let j(q) = f + 5 - 3*q + 4*q + 0*q. Let i be j(-7). Is 1/15 at least i?
False
Let y be (-1 - (-137)/7)*(17 - 10). Let d = y - 131. Which is smaller: d or 5/29?
d
Let y = -179 - -186. Is y greater than 7?
False
Let u(c) = -c**3 + 12*c**2 - 15*c + 14. Let t be u(11). Let x be (-15)/(-60) + t/(-8). Is x at most 4?
True
Let t be 120 + -20 + (-1 + -2 - 1). Let g be ((-9)/t)/(1/(-12)). Let d be (-3)/(-2)*(-8)/(-6). Which is smaller: g or d?
g
Suppose -3*k - 4*x = -1089, 10*k - 1838 = 5*k + x. Is 368 at most k?
False
Let v = -278.5 - -278. Do v and 1/21 have different values?
True
Let k be 36/6*2/4*-9. Is -24 < k?
False
Let j be 16/10*(165/(-156) - -1). Which is bigger: -1 or j?
j
Let o = 0.26 + -6.26. Which is smaller: -11 or o?
-11
Let d(i) = 97*i**2 - 2. Let m be d(1). Which is smaller: 97 or m?
m
Let c = -83.0739 - -0.1739. Is 0 smaller than c?
False
Let l be (650/(-35))/(-5) - 6/(-21). Suppose -3*v - l = -f - 10, -3*v - 18 = 3*f. Is -8 <= f?
True
Let f = -674 + 4716/7. Is -11 less than f?
True
Suppose 3 = -9*d + 6*d. Let i = 2 - d. Is i at most 4?
True
Let n be 0/(1*(0 + 2)). Suppose n = -2*u - b + 8, 0 = -u + 3*b - 2*b + 1. Suppose j + 2 = -3*k - 2, u = -4*k + j. Which is smaller: k or 2/17?
k
Let o = -19 + 8. Let l be (34 - (-12810)/(-375))/(-1*(-2)/(-5)). Which is smaller: o or l?
o
Suppose 0 = 4*r + 4*b - 12, 0*b - 65 = -5*r + 5*b. Is 7 at most as big as r?
True
Let y(m) = 2*m**2 - 96*m + 180. Let r be y(46). Let z(i) = i**2 + 6*i - 10. Let l be z(-7). Which is greater: r or l?
l
Let l = -3471/32 + 217/2. Which is smaller: l or 1?
l
Let i be -1 + 5/(-30) + 38/12. Let h(y) = -y**2 + 6*y - 6. Let d be h(4). Suppose 0*w - 6 = -d*w. Is w < i?
False
Let n be -1*(-3 + (2 - 1)). Suppose a - 7 = -4*o, n*a = -2*a + 3*o + 104. Let j = 22 - a. Is j < 0.17?
True
Let q(c) = 2*c**3 - 43*c**2 - 22*c. Let o be q(22). Let v(i) = i**3 - 8*i**2 + 8*i + 7. Let l be v(7). Let y be 2/4*2/l. Do o and y have the same value?
False
Let x = -443 - -406. Which is greater: -115/3 or x?
x
Let r be (-78)/(-4) - (-3)/(-2). Suppose -3*f - 3*u = r, -4*f - 4 + 16 = -5*u. Let h be (-3 - 1/(2/(-6)))/2. Which is smaller: h or f?
f
Let y = 67 + -45. Let u = y + -34. Is u > -11?
False
Let m(h) = -11*h + 109. Let s be m(13). Which is greater: -43 or s?
s
Let x = 125 - 235. Is x less than or equal to -111?
False
Let d be (-72)/(-135)*((-30)/8)/5. Is -126 bigger than d?
False
Let a be -7 + 6 - (2 + 189). Let y be (-48)/a - (106/8 + -1). Which is smaller: y or -1?
y
Let y = 3.7 + -1. Let o = y + -0.7. Let z = 4 - o. Which is bigger: 0 or z?
z
Suppose 7 = -2*t + 9*v - 4*v, 4*t + 84 = -4*v. Let g = -41 + 27. Is g equal to t?
False
Let m be (5/20)/((-35)/112). Suppose 4*j + 6 + 2 = 0. Is m at least as big as j?
True
Suppose 4*z = -3*l + 1, 5 - 8 = 4*l + z. Let u be (2/8)/((-7)/(-12)). Is u bigger than l?
True
Let y(z) = -142*z + 159. Let i be y(1). Let t = 25 + -7. Is t > i?
True
Suppose -4*d - 746 = 3*u, -2*d = 12 - 2. Let v = -11615/48 - u. Which is greater: 1 or v?
1
Let i = 433 - 434. Which is smaller: 1/33 or i?
i
Let n(g) = -28300*g + 2. Let j be n(-1). Let r = 5349121/189 - j. Let d = r + -1/189. Is -0.2 <= d?
True
Suppose 0*q - 6 = -2*q, 4*s + 3*q - 9 = 0. Does s = 1/55?
False
Let n(p) = -p**3 - 6*p**2 + 7*p - 7. Let h be n(-8). Let c = h - 34. Is c greater than 31?
False
Let s(n) = n**3 - 6*n**2 - 10*n + 7. Let v be s(7). Let f be (-1)/(-2)*v/49. Suppose 5*j = 2*j + 3. Are f and j equal?
False
Suppose x + 6*f - 3*f = -18, 4*f + 11 = 3*x. Let p(z) = -9*z - 106. Let s be p(-12). Is s > x?
True
Suppose -3*c + 8*c - 557 = -2*i, -i - 2*c = -276. Let y = i - 773/3. Does y = 7?
False
Let i = 210 + -209. Is -3/97 smaller than i?
True
Let z be ((-4)/(-8))/((-39)/(-114)) - -4. Which is bigger: z or 4?
z
Let i = -1509.6 + 1501. Which is greater: i or -2/3?
-2/3
Let r = -1559 + 1505. Suppose -2*n - 113 = b, -4*n + 3*b - 85 - 136 = 0. Which is smaller: r or n?
n
Let i be 4924/1232 - 7 - -3. Which is smaller: 0 or i?
i
Let l = 1209 - 1207. Let a = 5.88 - 6. Is l not equal to a?
True
Let h = 9 - 7. Suppose -4*p + h*p - 23 = 3*j, 15 = -5*p + j. Let z be (p - -1) + 4 + -2. Which is smaller: z or 2/15?
z
Let f be ((-12)/(-8))/(5/10). Suppose -f*o = 12, -40 = 3*g - 7*g - 5*o. Which is bigger: 0.2 or g?
g
Let w = -503 - -503.2. Which is smaller: -53 or w?
-53
Let q(w) = -w**3 + 20 - 21 - 2*w**2 + 0*w - 2*w. Let c be q(-1). Which is greater: -4/11 or c?
c
Let h be 2/(-2)*(-50)/(-2). Let f be (0 - -1)/((-5)/h). Suppose 0 = f*n + 10. Which is bigger: n or -3?
n
Let v = -3 - -3.1. Let s = v + -0.08. Let r = 0.214 - 1.214. Which is smaller: r or s?
r
Let q = -139 + 234. Which is bigger: q or 468/5?
q
Let u = 2 - 5. Let j be (-3 + (-175)/(-60))/(9/24). Which is bigger: j or u?
j
Let f be 66/9 - (-2)/(-6). Suppose -4 = -2*x - o, o = x - o - 7. Suppose 0 = n + 3*h - 15, 5*n - 18 = x*h + 3. Which is smaller: f or n?
n
Suppose -37*c = 395 + 382. Is -4 smaller than c?
False
Let b(i) = -7*i**2 - i. Let t be b(-2). Let g be t/(-91)*(-2 - -1)/2. Which is bigger: 0 or g?
0
Let h = 34 + -35.9. Let l = h - -0.9. Is -2 at most as big as l?
True
Let h(r) = -r**3 + r**2. Let y be h(0). Let v = -47016 + 11189865/238. Let p = v + -5/14. Is 