 be ((-6)/(-15))/(174/10). Let n = 11/58 - b. Which is smaller: m or n?
m
Let z be (-2)/(-14) - 4078/420. Let x = 67/6 + z. Is 2 >= x?
True
Let r(c) = c - 8. Let n be r(9). Let a be (-7)/7*(1 + 0). Is a less than n?
True
Let s = 1261/5 + -250. Is 1 smaller than s?
True
Let o(g) = g**3 + 6*g**2 + 4*g - 7. Let f be o(-6). Is f > -31?
False
Suppose 4*l = -l - 25. Does l = -5?
True
Suppose 24 = 3*x + v, 5*x - 63 = -3*v - 23. Which is bigger: 10 or x?
10
Let y be ((-438)/(-60) - 2/(-10)) + -4. Which is greater: -4 or y?
y
Let i = -228 + 2960/13. Is i at most -1?
False
Let z(v) = -2*v**3 - 5*v**2 - 4*v - 3. Let l be z(-3). Let d(w) = -5*w + 3. Let c be d(3). Let q be (l/c)/(3/(-4)). Is q > 2?
False
Let k be 0/(0 + -4) + -3. Let o(w) = 2*w**3 - 7*w**2 - 3*w - 3. Let g(v) = -v**3 + v**2. Let r(h) = -3*g(h) - o(h). Let f be r(k). Is f greater than 2?
True
Let v = -3.6 - -5. Let k = 0.4 - v. Let o = k + 2. Is 1/4 smaller than o?
True
Let a(w) = -w**2 - 9*w + 27. Let k be a(-11). Suppose 5*t + p - 22 = 0, 1 = -2*t - 3*p + 2. Do k and t have different values?
False
Let w = -2 + -2. Let z = w - -3. Which is smaller: 1 or z?
z
Let b(s) = s**3 + 16*s**2 + 13*s - 29. Let r be b(-15). Does -6/19 = r?
False
Let d = -6 + 11. Let q = -42 - -20. Let k = q - -21. Is d not equal to k?
True
Suppose 2*b = 2*r + 4*b + 18, 2*r - 4*b = -18. Let g be (-6)/(-27) - (-11)/r. Let t = -3 + 1. Which is bigger: g or t?
g
Suppose 0 = -2*i - 3*d + 346, 4*i - 5*d - 652 = -d. Let h = -341/2 + i. Which is smaller: -4 or h?
-4
Let i = -62 + 188/3. Are 0.08 and i equal?
False
Let f be (-4)/3 + 52/6. Which is greater: f or 7?
f
Let o = -0.05 - -0.05. Let p = o + 0. Which is smaller: p or -3?
-3
Suppose 14 = 3*s - r, 0 = -4*s + 3*r + 14 + 3. Do s and 3 have different values?
True
Suppose -o - 2*o + 3 = 0. Let v be (-5)/15 + 4/3. Do v and o have different values?
False
Let m = -293/47064 - 5/424. Which is greater: m or -1?
m
Let x(n) = n**2 - 2*n - 1. Let o be x(3). Let g = -41 + 45. Suppose 0 = 4*c - 2*q + g, o*c + 2*q - 4 = 0. Is c not equal to -7/5?
True
Let t = -0.04 + -0.07. Which is greater: 1 or t?
1
Let g(v) = v + 5. Let c be g(-3). Let o = -5 + c. Which is smaller: o or -3/2?
o
Let s(w) = -23*w + 4. Let a be s(-1). Which is smaller: a or -0.4?
-0.4
Let c be (1/(-2))/(3/(-30)). Let b = c - 5. Let j be 2/(-8) + 6/(-8). Which is greater: b or j?
b
Let a = 10157/4 - 2567. Let w = 28 + a. Is w at least as big as 0?
True
Suppose 6 = t - 3. Let p = t + -8. Do 5/4 and p have the same value?
False
Let n(o) = -2*o**2 - 1. Let p be n(-1). Let y = -87 - -169/2. Which is bigger: y or p?
y
Suppose 2*y - 2*a = -6, -y + 5*a - 6 = -5*y. Let w = -13 - -140/11. Which is smaller: w or y?
y
Let z be 30/190*4/(-6). Let o = 27422 + -11983422/437. Let j = z - o. Which is smaller: j or 0?
j
Let c = 160 + -160. Which is greater: -4/31 or c?
c
Let k(h) = -4*h**3 + 8*h**2 + 6*h - 3. Let x(z) = -9*z**3 + 17*z**2 + 12*z - 7. Let n(u) = 7*k(u) - 3*x(u). Let f be n(6). Which is smaller: f or -1/2?
-1/2
Let j(o) be the first derivative of -o**4/4 - 2*o**3 + 7*o**2/2 - 2*o - 2. Let r be j(-7). Is -2 not equal to r?
False
Let u = 3.2 + -3. Let f = u - 0.2. Which is smaller: -8 or f?
-8
Let s(c) = 3*c + 3. Let a be s(-2). Let v = -4 + 10. Suppose 4*p + 20 = -4*f + v*p, 0 = 4*p - 8. Are f and a equal?
False
Let d = 6 + -3. Is d >= 6?
False
Suppose 6*z = 5*z + 3. Let g be z + -82*1/22. Which is greater: g or 0?
0
Suppose -3*f + 2*f + 8 = 0. Let x be ((-10)/f)/(4/32). Let i be 2/(-9) - x/(-9). Which is bigger: -1 or i?
-1
Let d be 5/(20/(-16)) - -5. Which is bigger: d or -1/53?
d
Let f = 9 + -11. Let i = 0 + -1. Which is smaller: i or f?
f
Suppose -5*u + 61 = 3*o, 3*u + 3*o + 22 = 55. Which is greater: u or 12?
u
Suppose -95*q + 96*q + 4 = 0. Which is smaller: -40/13 or q?
q
Let v(m) = -m**3 - 9*m**2 + 9*m - 1. Let s be v(-10). Suppose g = 4*a + s, -4*a + 1 - 9 = 0. Is g >= -3?
True
Suppose 3*c - 15 = 2*c - 4*z, -3*c = -z + 7. Which is smaller: 0 or c?
c
Let v(w) = -6*w**2 + w. Let r be v(1). Let z be r/(-15) + (-1)/3. Suppose 2*g = -z*g. Which is smaller: -1 or g?
-1
Let p = -18 + 19. Let g = 39 + -69. Let s be ((-4)/g)/(6/(-10)). Which is greater: s or p?
p
Let x = 193 - 133. Let h be -4*((-111)/x - -2). Let p = -10.1 + 10. Which is smaller: p or h?
h
Let f be -3 + 2 + (-1 - -1). Suppose -4*v + 7*v = 33. Suppose u + 5*l - v = 0, -u + l = -l + 3. Which is smaller: u or f?
f
Let a = 0.5 + 4.5. Are a and 0.3 nonequal?
True
Let f(p) = p**3 + 6*p**2 - p - 6. Let i be f(-6). Let b = -10315/27 - -382. Let j = 8/27 - b. Which is bigger: j or i?
j
Let m be 3/(-15) - 1/20. Is 0.07 greater than or equal to m?
True
Suppose -3*c - 2*u - 636 = -1843, 0 = -5*c + 2*u + 1985. Let r be (-4)/14*c/36. Let f = 10/3 + r. Which is smaller: f or 0?
0
Let b = -2 - -3. Suppose 9 = 4*t - 3*t. Suppose 2*s - t = -s. Is s greater than or equal to b?
True
Let v(y) = -3*y**2 + 1. Let t be v(1). Let o be -4*t/4*-2. Is o greater than or equal to -4?
True
Let g = -8 + 11. Is 1 <= g?
True
Let p be (-154)/(-12) - 3/(-18). Suppose -p*m + 10*m - 54 = 0. Is -19 != m?
True
Suppose 4*o - 4 = -0, 0 = -3*q - 3*o + 6. Is 2/27 at most q?
True
Let z = 40338 - 3894754912/96553. Let i = 168002198/1062083 + z. Let t = i - 158. Is 1 greater than t?
True
Let s be 6*(-6)/(-18) - 3. Let j = 171 - 852/5. Which is greater: s or j?
j
Let l = -0.38 + -13.62. Which is smaller: 0 or l?
l
Let i(z) = z - 6. Let f(s) = -1. Let d(k) = f(k) + i(k). Let v be d(4). Which is smaller: v or -2?
v
Let m = -0.1 - -0.1. Let o = 0 - m. Let j = -8.9 - -9. Are o and j equal?
False
Let x be ((-2)/15)/(1/12). Suppose 3 - 2 = -s. Do s and x have different values?
True
Suppose 2 = 6*y - 4*y. Is y <= 8/9?
False
Let i = -3 - -94/31. Which is smaller: 0 or i?
0
Let v = -765/7 - -109. Suppose -s = 2*s - 9. Suppose 0 = -r + s*g, -3*g - 2*g = -2*r. Which is smaller: v or r?
v
Let m = 6 + -2. Let s = m + -4.2. Let f = s - -1.2. Which is bigger: f or -3/5?
f
Let l be 13/(-11) + (0 - -1). Let m(y) be the second derivative of y**4/12 + 2*y**3 - y**2/2 - 5*y. Let q be m(-12). Is l bigger than q?
True
Let h = -9/5320 + -1831667/5320. Let y = h - -344. Which is greater: 0 or y?
0
Let t be (1 + 69/(-63))*-12. Let a = 33/35 - t. Is 1 > a?
True
Let t = -0.65 - 0.05. Let s = t + -2.3. Is s > 0.1?
False
Let o = -84 - -42. Let l = o + 127/3. Let n = 9 - 9. Is l bigger than n?
True
Let t = -2 - -8. Suppose 36 = -3*y + 54. Is t > y?
False
Let b(x) = -x**2 - 3. Let n be b(-5). Let q be (-12)/(-7) - 8/n. Let s be q - 2/(-12) - 2. Which is smaller: s or 2?
s
Let w(r) = -r**3 + 5*r**2 + 2. Let v be w(5). Suppose -2*b = v*y + b + 13, -3*y = 3*b + 15. Suppose z - 2*p + 13 = p, -z = p - 3. Is z smaller than y?
False
Let a be (-10)/(-3) - 1/3. Suppose 4*p - a - 5 = 0. Is p at most 3?
True
Let q = -73 + 366/5. Let t = -23/35 - q. Is t greater than -2?
True
Let k be (-10)/135*(-66)/32. Let s = -3/8 + k. Let w = -2 + 2. Which is greater: w or s?
w
Suppose 4*u - 13 = m, 18 - 53 = -5*u - 5*m. Which is bigger: u or 2?
u
Suppose 5*r = 3 + 2. Suppose -5*l + 0 = 10. Let y be 4/(12/9) + l. Is r at least as big as y?
True
Let t be (-1488)/(-220)*(-45)/(-2). Let q = t + -152. Suppose -5*w = -0*w + 4*v - 16, -3*v + 12 = 0. Which is greater: q or w?
q
Suppose -2*j - 5*k - 7 = 4, -6 = 3*j + 4*k. Is j greater than 4/5?
True
Let s(t) = -t + 5. Let r be s(5). Let v be -2 + r + 4 + -1. Let f = 1 + v. Are f and -1 nonequal?
True
Let o = -15.653 - 0.047. Let a = -16 - o. Suppose -3*m - m = 0. Which is bigger: a or m?
m
Let s = 9 + -12. Let a be 0 + (-4)/(-3) + -2. Which is greater: a or s?
a
Let f(m) = -m - 4. Let j be f(12). Is -2/9 not equal to j?
True
Let w = 1.1 - 0.1. Let i = 2 - w. Let p = 1 + -1. Which is bigger: i or p?
i
Let l = 41 - 125/3. Is 40 equal to l?
False
Suppose -5*k + 2*l = 3, -7 = 3*k + k + 3*l. Let c be (-1)/2 - 7/(-10). Which is smaller: c or k?
k
Let o be (-18)/(-40) + (-3)/12. Let d = 1 + 0. Which is smaller: o or d?
o
Let f = -21 + 33. Let u = f - 10. Is u at least as big as 1?
True
Let p = 0.6 - 0. Let k = -3.5 - -3. Let j = k + p. Which is smaller: j or 1?
j
Let x = -100.02 + 98. Let c = x - -0.02. Is -1 greater than c?
True
Let w(y) = y**3 + 9*y**2 - 11*y - 15. Let u be w(-10). Let a be (u/(-15))/((-2)/2). Sup