s g != 1/5?
True
Suppose 3*g + 0 - 114 = 0. Suppose 2*q = -0*q + g. Do 21 and q have the same value?
False
Let l = 5712/13 + -440. Let h = l + 3/26. Let b = 1 - 2. Which is bigger: h or b?
h
Let t = 372 + 173. Is 0.1 less than t?
True
Let d(n) = -41*n**2 - 55*n + 262. Let l be d(7). Is l less than -2131?
True
Suppose 27 = -4*n - 53. Is -20 < n?
False
Let i = 0.356 + -165.256. Let y = 181 + i. Let p = 16 - y. Is 1/4 > p?
True
Let y = -37.08 - 5.02. Let u = y - -42. Which is bigger: u or -12?
u
Let t be ((-16)/(-10))/(236/10). Suppose -6 - 2 = 4*s - 4*n, 0 = -3*s - 2*n - 1. Which is greater: t or s?
t
Let n(o) be the first derivative of o**2/2 + 10*o + 3. Let f be n(-8). Suppose -5*k - 24 = -3*x - 7, -4*x - k = -15. Do x and f have different values?
True
Suppose 3*j = 3*k + k - 13, 0 = 4*j - 4*k + 16. Let i(g) = -g**3 - 2*g**2 + 4*g + 3. Let f be i(j). Let h = 8/17 - -12/119. Is f less than h?
True
Let h be (5 - 3)/(7*1). Suppose -5*v + 8 = -2*l, -4*v - 1 = -4*l + 7. Suppose 0 = 2*u - 0*u - 2*p + 2, l = 3*p. Which is smaller: u or h?
h
Suppose -3*g - 34 = -7. Suppose 26*a - 35*a - 72 = 0. Let c = g - a. Which is smaller: -5 or c?
-5
Let s be (0/(-2))/(-1 - -4 - 2). Which is smaller: s or -9/94?
-9/94
Let g = 313 + -169. Is g > -1/4?
True
Let f = 0.0486 - -0.0514. Is f less than 12/11?
True
Let s = -334 - -333.9. Let b be 1/(((-5)/(-2))/5). Suppose 2 + 8 = -5*q + b*c, 2*q - 4*c = -20. Which is smaller: q or s?
s
Let d = 3766 - 15137/4. Let l = d - -1537/84. Let o = -31/210 + l. Is o != 1?
True
Let y(h) = h**3 + 7*h**2 + 9*h + 5. Let t(p) = -p**2 + 5*p + 10. Let l(k) = 2*k - 3. Let u be l(5). Let z be t(u). Let m be y(z). Which is smaller: 18 or m?
m
Let k = -113.09 - -113. Are 11 and k unequal?
True
Let i(f) = 15*f + 20. Let c be i(-4). Let z be 60/c*(-1)/6. Which is smaller: z or 1/17?
1/17
Suppose -12*g = -2*g + 210. Which is smaller: g or -4?
g
Let h(a) = 2*a**2 + 19*a - 1828. Let u be h(0). Do u and -1828 have the same value?
True
Let u be 20/(-15)*3/(-130). Let b(d) = 5*d + 31. Let m be b(-6). Which is smaller: m or u?
u
Let j = 61.088 + -0.088. Let v = j - 58. Does -0.4 = v?
False
Let b(n) = -4 - 8 + 19 + 5*n - n. Let m be b(-2). Which is greater: -41 or m?
m
Let t = -531/2 + 265. Which is smaller: t or -2?
-2
Let s = 3136 - 3024. Is -3/5 > s?
False
Let v be (-1)/3 + 20/(-75). Let s = 0.1837 - -1.8163. Is v less than or equal to s?
True
Let g be (-3*(-3)/9)/(3/1671). Let j = -13923/25 + g. Which is bigger: j or -0.2?
j
Suppose -11 = 3*m + 4*d + 9, -4*d - 20 = -3*m. Is m at least 2/449?
False
Let v = 2 - 3. Let y = 34119/25 + -1365. Which is bigger: y or v?
y
Let a be 9/6*(-18)/729*-18. Let n = 1 - 3. Is a at least as big as n?
True
Let o be (-5 + 19/5)/((-4)/130). Let z(b) = b**3 - 12*b**2 - 9*b - 14. Let a be z(13). Is a >= o?
False
Let m(h) be the first derivative of -3*h**2/2 + 3*h - 2. Let z be m(4). Let s be (-5)/(20/z) - 3. Do -2 and s have different values?
True
Let c be ((-18)/6 + 0)/(-3). Is c smaller than -0.188?
False
Let s(p) be the first derivative of -p**3/3 + 5*p**2/2 - 1. Let j be s(5). Let l be ((-10)/14*2)/(-2). Which is bigger: j or l?
l
Let l(o) = -2*o + 31. Let j be l(-14). Is j bigger than -2?
True
Let j(w) = -w**3 - 16*w**2 + 37*w + 22. Let d be j(-18). Let l be (15/20 + -1)/((-1)/d). Which is smaller: l or -2/193?
-2/193
Let c be (1/(-5)*2)/(-60 - -61). Is 0.101 at least c?
True
Let l be 48/105 + (-6)/(-15). Let w be (-8)/14*14/(-4). Is w at least as big as l?
True
Suppose 5*q = -t - 27, 2*q + 2*q - 72 = t. Is -2/5 greater than t?
True
Let z(m) = -2*m + 4. Let i be z(1). Suppose -i*n + 283 = 4*f + f, 0 = -4*f + 2*n + 230. Is -1/4 smaller than f?
True
Let f be 7/(-21) - (-43)/3. Let a be ((-2)/f)/(9/(-67)) + -1. Is 0 at least a?
False
Let z be 141837/(-14322) + 4*1. Let s = z + 182/31. Let u = 3/14 + s. Is u >= -1?
True
Suppose 4*j + 3 + 5 = 0. Let q be 0 - (1 - 2)*j. Let v be (-1)/(-3)*30/q. Are -4 and v nonequal?
True
Let a = -128 + 89. Is -41 less than or equal to a?
True
Suppose 6537 - 1097 = -32*m. Which is bigger: -172 or m?
m
Suppose 0 = 14*h - 7 + 7. Is h greater than -11/39?
True
Let c = -185 - -185. Is -4/123 less than c?
True
Let a = 811 + -804. Let o(g) = g + 15. Let x be 0/(-4) - 7*1. Let m be o(x). Is m smaller than a?
False
Let p = -49.2 + 46. Let z = 2.9 + p. Let v be ((-16)/12)/((-2)/(-6)). Is v < z?
True
Let w = 1.963 - 14.963. Which is greater: w or -1/3?
-1/3
Let n = -109 + 108. Suppose -2*p = 4*v - 0*p - 2, 2*v - 4*p = -14. Let h be v*2 - (-6 + 4). Which is bigger: h or n?
h
Suppose 5*q + 4 = -6. Let s be (2/28)/(q/16). Suppose 0 = -2*a + 6, -5*w = 3*a + 2*a - 10. Does s = w?
False
Let r = 0.74 + -1.11. Let z = 5 - 4.93. Let s = z + r. Which is bigger: 4 or s?
4
Let x = 8.02719 + -0.04119. Let m = 0.014 + x. Are 0 and m unequal?
True
Let y(o) = -o**3 - 6*o**2 + 9*o - 1. Let d = 0 + -7. Let b be y(d). Suppose 0 = -3*p - 25 - 23. Which is greater: p or b?
b
Let a be (26/(-10) + -1)*5. Let w be 2/9 + 16/a. Let v = -170 + 168. Is w at most as big as v?
False
Let y be (1 + 1)/(-77 + 6). Let z be 1 - -2 - (10 - 7). Which is smaller: y or z?
y
Let g be 138/(-78) - 4/(-2). Suppose -2*z - 2*n = 8, 13 - 1 = -2*z - 3*n. Which is bigger: g or z?
g
Let n be 2 + -3 - -3 - -2. Suppose -3*w - 234 = 2*a, -w - n*a - 50 = 28. Which is smaller: w or -77?
w
Suppose 18 + 2 = -20*g. Is -11/67 <= g?
False
Suppose z - 2*v = 4*z + 773, -5*z + 3*v = 1282. Which is smaller: z or -258?
-258
Let l(w) = -w**2 - w + 2. Let i be l(0). Let g(m) = m - 3. Let j be g(i). Let u be 128/(-62) - 1*-2. Is j not equal to u?
True
Suppose -5*n + 4*r = -10, 32*r - 2 = -n + 37*r. Is 14 > n?
True
Let c be (6/8)/(18/(-12)). Let r = 4.6 + 46.4. Is r greater than c?
True
Let x(c) = -9*c**3 + 3*c**2 - c + 7. Let k(n) = 4*n**3 - 2*n**2 + n - 3. Let z(i) = 7*k(i) + 3*x(i). Let b be z(4). Suppose 2*o - 3*o = 0. Is b smaller than o?
False
Let c be 49/(-22) + (4 + -2 - 0). Which is smaller: 1 or c?
c
Let x(u) = 2*u**2 + 6*u + 3. Let n be x(-3). Let s(z) = -z. Let d be s(-1). Which is greater: d or n?
n
Let j be 1 - ((-86)/(-60))/(24/16). Which is bigger: 1/4 or j?
1/4
Let s be ((-188)/(-12))/(1 - (-4)/(-6)). Suppose -3*d + 2*d = 5, -2*l - s = -5*d. Is l greater than or equal to -36?
True
Suppose 19 - 7 = -4*d. Let o be (66/246)/(d/3). Let i = o - 21/533. Which is smaller: 1 or i?
i
Let n be ((-5768)/(-720) + -8)*-1. Let u be (-9)/(-6)*(-2)/(-3). Is n bigger than u?
False
Let y = 0 + 3. Let o = -348/11 + 2414/77. Is y at most o?
False
Let o(b) = b**2 + 2*b - 3. Let k be o(6). Let t = k + -9. Let p = 22 - t. Is p at least as big as -14?
True
Let s(c) = -c**3 - 10*c**2 - 9*c - 1. Let x be s(-9). Let f be 22/45 + (32/5 - 7). Is f less than x?
False
Let t(q) = -q + 2. Let n be t(-2). Let v be ((-14)/(10780/30))/(5/(-55)). Is n at most v?
False
Let a(m) = m**3 + 14*m**2 + 14*m + 15. Let w be a(-13). Suppose -33 = 5*j - 0*j + 4*o, 0 = 5*j - w*o + 51. Let d be -7 + 3 + -2 + -2. Which is smaller: j or d?
j
Suppose 0 = -5*w - 3*j + 1, -3*j - 17 = -4*w - 0*j. Let s(z) = -z**3 + 4*z**2 - 4*z + 3. Let g be s(w). Does g = 5?
False
Let z = 1 - -1. Let b be (4/(-4) - -1)/z. Let t be b + -2 + 44/12. Which is greater: 2 or t?
2
Let r = 178.94 + -179. Let i = -9 + 37/4. Is i at least r?
True
Let b be 0 + (-7)/(-35)*(-8)/14. Which is greater: 1 or b?
1
Let h be 12/(-16)*24/(-9). Suppose -2*o - 6 = 0, p - h + 5 = -3*o. Which is smaller: p or 7?
p
Let d be 130/52 - (-1)/(-2). Which is greater: d or 15/23?
d
Let a = -5 + 4.6. Suppose -2*r - 15 - 15 = 4*n, 3*n - 9*r = -12. Is n < a?
True
Suppose 2*c + 3*r - 338 = 0, 3*c + 8*r = 3*r + 505. Let y be ((-4)/10)/(55/c). Which is smaller: -2 or y?
-2
Suppose l + 50 = y + 14, -5*y + l = -180. Is y <= 262/7?
True
Suppose -3*r = 6, 4*k + 212 = 5*k + 4*r. Let s be 34/k + 8/(-40). Do s and 0 have the same value?
False
Suppose 0 = 4*b + 3*q - 2 - 30, -3*b + 24 = 3*q. Is b > -6?
True
Let s be 2 + (-1)/(3/9). Let x be 2*(-9)/(-30) + s. Let i = 12 + -16. Is x bigger than i?
True
Let j = -70 - -145. Let a = 59 - j. Let x(c) = -3*c**2 + 3*c + 2. Let t be x(-2). Does a = t?
True
Suppose -4*m - 5*o = -13, -m + 0*m + 3*o = 1. Suppose -k = 3*u - 11, m*k = 6*k + 2*u - 34. Let g = 8 - k. Which is smaller: g or -4?
-4
Let o = 0 - 0. Let w be (4/