s smaller: a or -1?
-1
Suppose 5*s = -0*s - 5. Let v be (12/(-345))/((-2)/(-5)). Do s and v have the same value?
False
Let h = -1 - -2. Let m be -1 - 1*-2*h. Suppose 4*k = -k. Do k and m have the same value?
False
Let y(t) = -t**3 - t**2 + t + 3. Let i be y(0). Suppose -i*o + 16 = -4*a, -4*a - 17 + 1 = o. Suppose o = -l - l - 16. Which is smaller: l or -7?
l
Let b be (6/(-207))/((-2)/(-29)). Let y = 2/23 + b. Is y less than -6?
False
Suppose -s - 3 = -0*s. Let f = s - -2. Which is bigger: f or -6?
f
Let z be (-2)/6 - (-4)/30. Let c = 1 - -3. Suppose -i + 5*w = w - 4, 0 = i + 4*w + c. Is z > i?
False
Suppose -4*x - 43 = j, -x - 36 = 2*x - 3*j. Is -10 at most as big as x?
False
Suppose -88 - 2 = -5*s. Suppose n + 2*n = s. Is n not equal to 6?
False
Let t = -420 - -1205/3. Let f = 19 + t. Which is bigger: 0 or f?
f
Let l = 1/11 + -17/66. Let t be 2/1 - 2 - 0. Which is smaller: t or l?
l
Let c = -2918/483 - -128/23. Is c bigger than 0?
False
Let f = -124 - -125. Which is greater: f or -4?
f
Let d be 8/12*(-6)/(-4). Let o(t) = -t**2 - 10*t - 5. Let l be o(-9). Is d < l?
True
Let f be (77/(-2))/(-11)*(-8)/(-14). Is f not equal to 24/11?
True
Suppose -4*d + 6*d - 18 = 0. Suppose 0 = -2*i - 3*m - 3 + d, -3*i + 9 = -m. Is i greater than or equal to 7/4?
True
Let h(o) = -o + 3. Let u be h(1). Suppose 2*s + 6 = u. Is s not equal to -3?
True
Let y = 0.5 + 1. Let m = y - 0.5. Is 0.2 less than or equal to m?
True
Suppose w = 3*q - 35, -w = -3 + 2. Let k = q + -17. Let c = k - -3. Which is smaller: -1 or c?
c
Let h(q) = q**2 - 10*q. Let p be h(10). Let i be 1/4 + (-13)/44. Is i greater than or equal to p?
False
Let x = 3.08 + -0.08. Let p = x + -3.1. Let f = -6.6 + 7. Does f = p?
False
Let y be 17*(-3 - 0)/(-3). Suppose -5*r - 2*s - y = 0, 3*s + 2*s = -4*r. Is -5 at least r?
True
Let t be (15/10)/((-3)/4). Which is bigger: t or -4?
t
Let g(s) = -13*s**2 - 3*s - 7. Let f be g(-3). Is f less than or equal to -115?
True
Let q = 33.72 - 34. Which is bigger: 1 or q?
1
Suppose -4*n - 3 + 11 = 0. Suppose 2*l = 6*l. Is l != n?
True
Let b = -15.8 - -8.2. Let j = b + -2.4. Let m = 9.9 + j. Which is smaller: 5 or m?
m
Let z(j) = -j**2 + 5*j - 3. Let y be z(4). Suppose 0 = p + p - 10. Suppose p*f - l = -5, -4*f + l = -2*l + 15. Is y bigger than f?
True
Let v = 72 + -75. Which is smaller: -5 or v?
-5
Let i = -9 - -13. Suppose i*h = h - 6. Suppose 9 = -2*x + 7. Is h > x?
False
Suppose -2*k = -5*s + 20, 3*k - 5 - 3 = -2*s. Suppose 0 = 2*u - k*u. Which is smaller: -1/13 or u?
-1/13
Let i(w) = w**3 + w**2 - 2*w - 1. Let a be i(-2). Is a at least as big as -3/2?
True
Let r(d) = 3*d**3 - 7*d + 1. Let j(q) = 7*q**3 + q**2 - 15*q + 2. Let x(m) = -4*j(m) + 9*r(m). Let f be x(-3). Let w be (-10)/25 - (21/(-15) - -1). Is w <= f?
True
Let q = 11 - 7. Let u be ((-20)/(-8))/((-1)/(-2)). Which is smaller: q or u?
q
Let i = -12 - -6. Is -0.2 at most as big as i?
False
Let j(b) = -b**3 - 7*b**2 - 1. Let f be -1 - (0 - 6/(-1)). Let t be j(f). Let k = 333/4 - 84. Which is bigger: k or t?
k
Let m = -2.5 - -4.6. Let q = m - 2. Is q greater than 0.09?
True
Let l(i) = 7*i. Let y be l(1). Let n = y - 3. Let s be n/2*(-5)/2. Which is smaller: -6 or s?
-6
Suppose -3*w + 8 = w, 2 = 4*t + 3*w. Let i be 0*(t - (-1 - -1)). Let v(m) = 2*m**3 + 9*m**2 + 2*m - 9. Let a be v(-4). Is a less than i?
True
Let n be (9/1)/((-264)/(-64)). Is 3 != n?
True
Let q be (-22)/(-5) + (-4)/10. Suppose 10 = h - 0*x - 2*x, -q*x - 20 = 5*h. Let m be (-2)/(-8) + 15/(-156). Which is smaller: h or m?
h
Let k(a) = a**2 - a - 3. Let i be k(0). Let w = i + 3. Which is greater: w or -2?
w
Suppose -2*x = -3*t - 13 - 42, x + t = 25. Is x equal to -1/3?
False
Let i be (-3)/4*16/18. Let a be ((-3)/(-6))/((-2)/(-16)). Suppose 5*b = -a - 1. Is b >= i?
False
Let b = -0.0041 - -19.0841. Let q = b + -19. Which is smaller: 0 or q?
0
Suppose 0 = -2*w + w + 5*d - 24, d = -3*w + 8. Is 1/4 less than or equal to w?
True
Let y = -129 - -128. Which is smaller: -22/19 or y?
-22/19
Let g = 1 - -1. Suppose 0 = -3*c + c - g. Let q be 3 - 14/6 - 1. Which is smaller: q or c?
c
Suppose 22*n = 28*n + 228. Which is bigger: -39 or n?
n
Let h = -2 + 2. Suppose 6 = -3*i, 3*u = -0*u - 4*i - 5. Which is smaller: u or h?
h
Let s(d) = d**2 - 6*d. Let j(b) = 5*b - 9. Let c be j(3). Let x be s(c). Which is bigger: -1/3 or x?
x
Let r = -1286/7 - -184. Let z(h) = h - 10. Let y be z(9). Is r > y?
True
Suppose 3*w = 2*w + k + 4, 2*w + 2*k = 28. Let h be 3/2*30/w. Is 4 at least h?
False
Let n be 18 - (-1)/((-2)/2). Let q = -23 + n. Which is bigger: -8 or q?
q
Let g(m) = -m - 3. Let a be g(-6). Suppose -10 = -a*s - 2*s. Which is bigger: s or 5/2?
5/2
Let q = 18 + -18. Which is bigger: q or -7?
q
Let v(k) = -2*k - 22. Let s be v(-12). Suppose 4*b + 5 = 17. Is b < s?
False
Let l be ((-2)/4)/(2/19). Which is bigger: l or -5?
l
Let c be -1 - (-1 + 2 - 3). Let d be 2 - (3 + (-160)/155). Let j = d + -38/217. Is j < c?
True
Let l = 156.33 - 157. Let x = l + 0.6. Which is smaller: x or 1/3?
x
Let x be (-69)/(-180) - (-4)/(-12). Which is greater: 0 or x?
x
Let n(b) = 72*b**2 + 4*b + 1. Let d be n(-3). Let g = 4467/7 - d. Which is smaller: g or 1?
1
Let g = 536/2331 - 2/259. Is g > 0?
True
Suppose 2*x - 3*x = 0. Suppose -10*u = -12*u. Are u and x equal?
True
Suppose -k - 4 = k. Let o be k + 1 + 68/60. Which is bigger: -1 or o?
o
Suppose 0*n + 3*i = -2*n - 10, -i = 4*n. Is 2/169 smaller than n?
True
Let q = 39 - 27. Let h = q + -7. Suppose -3*p + 3*g = -6*p + 6, 0 = p + 2*g + 1. Is h less than or equal to p?
True
Let r be 2/3 - (-46)/(-6). Suppose 0*i - 5 = i - w, i - 3*w + 3 = 0. Is r > i?
False
Let m be (27/(-12))/((-561)/88). Which is bigger: m or 1?
1
Suppose 5*j + 3*r - 47 = 6*j, 4*r = 3*j + 131. Is -41 greater than or equal to j?
True
Let d = -45/7 + 173/28. Suppose -2*u + 1 = 3*t, u - t = -2*u + 18. Suppose 12 = 5*s - 4*m, -u*m + 10 - 25 = -s. Which is bigger: s or d?
s
Let q(x) = 2*x + 6. Let v be q(-3). Let y = 137/208 - 13/16. Are y and v unequal?
True
Let w = -317 - -308. Let q be 87/(-9) - (-1)/(-3). Is w smaller than q?
False
Let t(n) = -2*n**3 + 3*n**2 + 3*n + 2. Let c be t(3). Is c at most -16?
True
Let c = -3.06 + 3. Let f(r) = r - 4. Let w(j) = -4*j**3 - 2*j**2 + 1. Let i be w(-1). Let q be f(i). Which is greater: q or c?
c
Let q = 24 + -30. Which is smaller: q or -8?
-8
Let f = -57/56 - -1/7. Is f <= -1?
False
Let l = 0 - 0.1. Let g = 92 - 95.08. Let v = g + 0.08. Which is smaller: v or l?
v
Let l = -2 + 3. Suppose -14 = -r + 3*p, 3*r - p = 4*r - 6. Let t = -8 + r. Is l greater than t?
True
Let z(i) = -i**3 + 4*i**2. Let k be z(4). Let s = 0 + k. Are s and 1 nonequal?
True
Let w = 0.8 + -0.5. Suppose -3*s - 72 = -0*s. Let f = 118/5 + s. Is w > f?
True
Let a(g) be the third derivative of -g**4/6 - g**3/6 - 3*g**2. Let t(d) = 3*d + 2. Let c(x) = -4*a(x) - 5*t(x). Let j be c(5). Is j at least as big as 0?
False
Let c be ((-10)/475)/(2/10). Is -1 less than c?
True
Let g = -569/7 + 81. Is g bigger than 1/2?
False
Let h(n) = -n + 6. Let y be h(0). Suppose 3*o - o = -y. Let f be (-3 + 1)*(3 + -1). Is f less than o?
True
Let a = 8 - 5. Let i = a + -3. Suppose i*m - m = 3. Is -5 greater than or equal to m?
False
Let b(q) = q**2 + q + 1. Let t(f) = 4*f**2 + 10*f + 10. Let m(d) = -5*b(d) + t(d). Suppose 3*l = -2 + 20. Let w be m(l). Is -3 less than w?
True
Let g be (5 - 2)/((-3)/(-2)). Suppose g*n + n = 90. Suppose 6*u + n = u. Is 2/5 smaller than u?
False
Let x = 10 - 10. Let u(z) = z**2 + 2*z - 1. Let t be u(-4). Suppose 2*y - p - 4*p + t = x, 4*y + 5*p - 31 = 0. Does y = 5?
False
Let g(j) = -6*j - 18. Let k be g(8). Is k smaller than -66?
False
Let i = -5 + 5. Suppose -5*n + 15 = -3*h, i = 4*h - 2*h. Let o = -62 + 127/2. Is o at most as big as n?
True
Let a be ((-4)/(-6))/(1/9). Suppose -2*v + 20 = 2*b, 0*v - 5*b + 43 = 4*v. Which is bigger: v or a?
v
Let k(b) = -b - 2. Let a be k(0). Are -5/2 and a nonequal?
True
Let b be 1 + ((-15)/(-21) - 2). Let z = 2.8 - 3. Is b bigger than z?
False
Let p be -27 + 0 + 3 + -3. Let v = p - -218. Let t = 1339/7 - v. Is t at most 0?
False
Let x = -1 - 2. Let l = 6 + x. Let f = 3 - l. Which is greater: f or -2?
f
Let x = -28 - -28. Let h be (-56)/(-10)*(-6 - -25). Let o = 106 - h. Are o and x nonequal?
True
Let c = 17 + -17. Let x 