1) + (1 - 4). Which is smaller: k or 0?
k
Let y(j) = j + 4*j - 4*j - 6. Suppose 0 = -4*o + 2*v + 24, -2*v - 3*v + 15 = 5*o. Let t be y(o). Which is smaller: t or -1/2?
t
Suppose -14*i = 5*i - 57. Let r(c) = -2*c - 6. Let w be r(-5). Is w bigger than i?
True
Suppose l - 3*s + 17 = 0, -4*l = l - 5*s + 35. Suppose -4*f = 3 + 5. Let j be f/(-4)*0 + l. Which is smaller: -3 or j?
-3
Let j(o) be the second derivative of o**4/12 + 7*o**3/6 + o**2/2 - 3*o. Let x be j(-7). Let v be 3/(-12)*2/(-3). Which is smaller: x or v?
v
Let u be 6/(-5) - (0/3)/(-4). Let r be 0*(-4 + 2 + 1). Which is smaller: u or r?
u
Let m = 3951/5 + -794. Which is smaller: -4 or m?
-4
Let u be (-18)/9 - 2/((-2)/3). Let q = 1 - 2. Let s be q/3 - (-8)/33. Are s and u nonequal?
True
Let z = 47 + -48. Does 0.16 = z?
False
Let n(l) = -6*l + 1. Let f(d) = 5*d - 2. Let t(u) = 7*f(u) + 6*n(u). Let z be t(-8). Let q be 2/24 - (0 + z). Is q bigger than -1?
True
Let t be 1 + 0 - 24/20. Let k be (3 + -2)/(1/5). Suppose -3*z = -k*z. Which is greater: z or t?
z
Let x = -86 + 601/7. Suppose 0 = -2*o + 4*o + 8. Let d = o + 3. Is d >= x?
False
Let s be (1 - (3 + -2))/1. Suppose s = 4*b - 26 + 6. Which is bigger: b or -0.1?
b
Let t = -4255/3 + 1400. Let b = t - -18. Let g = 85/77 + -9/11. Is g smaller than b?
False
Let a be ((-1)/9)/(3/(-9)). Suppose 0*s - 2*s - 10 = 0, 0 = 4*g - 3*s - 23. Let c be (4/(-4))/((-2)/g). Do c and a have different values?
True
Suppose 0*d = 3*u - 2*d + 46, -5*d = 5*u + 35. Is -13 at least u?
False
Let i = 0.1 - 0. Let y = -0.06 - 3.94. Let g = y - -10. Which is smaller: g or i?
i
Let x = 325.02 - 322. Let s = -0.02 + x. Which is greater: 1/3 or s?
s
Let f be (0 - -2)/(-2)*3. Suppose 0 = -5*h - 0*h - 40. Let t be h*3/18*3. Is t >= f?
False
Let v = 26 + -39. Which is smaller: v or -15?
-15
Let t = -1806/5 - -359. Let y be ((-20)/8 - -2)/((-7)/14). Is y greater than or equal to t?
True
Let m be (0 - 1)/(5/(-25)). Suppose -m*i - 56 = -4*v, -25 + 4 = -v + 3*i. Suppose 5*n - 39 = -j, 0 = -3*j - 2 - 1. Which is smaller: n or v?
n
Let s = 2 + -3. Suppose 6 = 2*q + 16. Let j = q + 10. Which is smaller: j or s?
s
Let p = -7 - -9. Which is greater: 7/4 or p?
p
Suppose -4*j + 6 = -2. Suppose 4*a - 3*a = -3. Let n be (-28)/(-10) + a + 1. Which is smaller: j or n?
n
Let t = -21 + 85/4. Let p(r) = r**3 + 5*r**2 + 4. Let x be p(-5). Suppose 4*q - 9 + 1 = -x*i, 0 = -5*q - 2*i + 1. Is q > t?
False
Let v = -11 + 8. Let d be 17 - (4/2 + 0). Suppose 5*j + 5*y = -0*j - 45, -y + d = -5*j. Is j smaller than v?
True
Let p = 109 - 112. Let u = -625/7 - -89. Is p less than u?
True
Let n be -6*(-4 - (-3)/12 - -4). Which is bigger: n or -7?
n
Let b be 5 + (-8)/4 + -4. Let d(m) = m - 1. Let p be d(3). Let h be ((-2)/p)/(15/9). Which is bigger: h or b?
h
Suppose -232 = 3*g + 89. Let h = g - -533/5. Is h equal to 0?
False
Suppose 4*j = -j + 15. Let a be (-1)/(j - (10 + -3)). Is a greater than or equal to -3?
True
Let i = -0.1862 + 806.1862. Let x = i + -809.91. Let q = -0.09 + x. Which is smaller: 1/3 or q?
q
Suppose -4*x = -2*x + 56. Let y be (-8)/x + (-52)/133. Let h = 13/57 - y. Which is smaller: h or -1?
-1
Let y be (-35)/10 + (-3)/2. Let f = y - -1. Do -4 and f have the same value?
True
Suppose -4*x = -m + 5*m, 5*x = 10. Let h be (2 - 3)*(m + 1). Which is smaller: h or -1?
-1
Suppose -22*y = -17*y. Suppose -2*u + 14 = 4*n, 3*n - u - 2*u - 15 = y. Let v = -3 - -6. Is n at most v?
False
Suppose 2*k + k = 3. Suppose -10 = -5*w + 5*x + 20, 12 = -3*x. Which is bigger: w or k?
w
Let k = 0 - -1. Let d be 5 + -5 - (-1 + k). Let o be ((-4)/(-6))/((-6)/(-9)). Which is greater: d or o?
o
Let l(y) = -y + 3. Let u be l(-2). Is u > 7?
False
Let r(a) = a**2 - 8*a + 10. Let c be r(7). Suppose -5 - 4 = c*b. Let n = b + 3. Is 0 > n?
False
Suppose l - 35 = -4*x, 15 = x + 2*x + 3*l. Which is smaller: x or 9?
9
Let s(h) = h**3 - 7*h**2 - 5*h + 4. Let y be s(4). Let n = y - -321/5. Let d = 7 + -6. Is d less than n?
False
Let d = -63 + 379/6. Let j(n) = 4*n**2 - 2*n + 2. Let u be j(2). Let k be (1 - 1) + 4/u. Is k at most d?
False
Let s = -0.02 + 0.15. Let b = 0.03 - s. Which is smaller: -2 or b?
-2
Let j(c) = c**3 + c**2 - c + 2. Let p be j(0). Suppose -4*h = -12, 3*q = 2*h - 26 + p. Let t = 4 + q. Is t < -2/3?
True
Let s = 10 - 7. Suppose 0*j - 2*j = 4*u - 2, s*j = -2*u + 3. Let p be (-1)/2*(0 - u). Are p and 1 equal?
False
Let k = 3 - 5. Let m be -2 - (-3)/((-6)/(-8)). Suppose 0 = 4*l, m*q - 3*l = -2*q - 4. Which is smaller: k or q?
k
Let m = -15 - -16.2. Let w = m - 1.5. Which is bigger: w or 2?
2
Let h = -35 - -23. Are -12 and h unequal?
False
Let y(l) = l**2 + 12*l + 26. Let u be y(-9). Which is bigger: 12/37 or u?
12/37
Let v(i) = i**3 - 3*i**2 - 3*i - 3. Let a be v(4). Suppose 5*d - 30 = -4*m, -20 = -0*m - 4*m. Suppose -2*s = -5*z + 5, 3*s + 2*z - d = 5*s. Is s at least a?
False
Suppose n - 3*h + 21 = 2*h, -3*n + 7 = -h. Do 5/2 and n have the same value?
False
Let b = 28807/7 - 4058. Let p be (-2 - -1)*(56 - -1). Let v = p + b. Which is greater: v or 0?
v
Let z = -1 - -1. Suppose -n = -4*f - 8, z = -4*f - n - 25 + 9. Is f at least -3?
True
Let n be (-6)/(-12) - (2 + -5)/(-3). Suppose -a = 2*a - 9. Let r be (a/2)/(3/(-4)). Is n smaller than r?
False
Let r be (-20)/(-6)*-15*-2. Which is greater: r or 101?
101
Let d = -6 - -7. Are 0 and d nonequal?
True
Let f = -8 - -8. Let n = -1 + f. Is -1 at most as big as n?
True
Let l be (-12)/10 + 4/20. Which is smaller: l or -1/15?
l
Let s(w) = -w - 20. Let c be s(-13). Let i(r) = r**3 + r**2 + 1. Let b(d) = 4*d**3 - 2*d**2 + 5. Let f(m) = -b(m) + 5*i(m). Let p be f(c). Is p less than 3/8?
True
Let z be 0/2 + -1 + 4. Let u = -3 - 2. Let h(b) = b**2 + 5*b + 4. Let l be h(u). Is l equal to z?
False
Let s(p) = p**3 + 8*p**2 + 8*p + 1. Let i be s(-7). Let x be (i/4)/((-45)/785). Let j = x + -26. Which is smaller: j or -2?
-2
Let m = -24 - -25.1. Let n = 1.2 - m. Which is smaller: 4/5 or n?
n
Let j = -0.09 - 3.91. Let p = 3 + j. Is p less than 1/2?
True
Let v be 60/152 - 4/(-38). Is v at least as big as -0.6?
True
Let p(r) = r**3 + 4*r**2 - 7*r - 4. Let f be p(-6). Does -34 = f?
True
Let f = -179 + 178.6. Which is bigger: f or 10?
10
Let t = 0.35 + 1.65. Are t and 1/7 unequal?
True
Let n = 1.2 - 0.2. Suppose 204 = -3*a + 5*u, 3*u - 196 = 2*a - 61. Let h be 2/(-3) - 60/a. Does n = h?
False
Let n = 637/5 - 128. Which is smaller: n or -16?
-16
Let a(g) = g + 7. Let v(q) = 4*q - 2*q + 11 + 0*q. Let n be v(-10). Let b be a(n). Is b greater than -1?
False
Suppose -20*o = -31*o - 33. Which is smaller: -26/15 or o?
o
Let y be 63/220 - ((-20)/(-16))/5. Which is smaller: 1 or y?
y
Let n(p) = -p**3 - 5*p**2 + 5*p. Let y be n(-6). Suppose 2*h + 0*h = -y. Are h and -5 nonequal?
True
Let s = -3.1 + 6.1. Is s greater than -5?
True
Let z be (-15726)/210 - (-2)/7. Let u = z + 75. Which is bigger: 1 or u?
1
Let l be -3 + 0 + 6/3. Are -5/3 and l nonequal?
True
Let v = -18 - -17.9. Let s = -3 - -4.2. Let c = s - 0.2. Which is smaller: v or c?
v
Let b = -143 + 1589/11. Which is bigger: 1 or b?
b
Let j = 104 + -104. Is -56 bigger than j?
False
Let u be -4*(5/(-12) + 2)*-6. Which is greater: u or 186/5?
u
Let u = 25 + -87/4. Which is greater: u or 3?
u
Suppose -3*o - o = -2*w - 34, -o = 5*w + 41. Which is bigger: w or -2?
-2
Let p(f) = 2*f + 6 + 3 - 8. Let x be (-1)/(2/2)*-1. Let d be p(x). Which is greater: 1 or d?
d
Let c(d) = -d + 2. Let l be c(0). Let x be (l/(-4))/(4/8). Let q be x - 0*(-2)/(-2). Are -1 and q equal?
True
Suppose -3*j = -45 + 153. Let n be 33/j + 10/15. Is n at least -2?
True
Let h = -268/5 - -53. Which is smaller: h or 0?
h
Let g = -322 + 323. Let n = -2/17403 + -233967/58010. Let s = n - -21/5. Is s > g?
False
Let q = 16099/273 + 1394/39. Let c = 96 - q. Are 2 and c nonequal?
True
Let u be 2/(-5) - (-4)/10. Let q = u + 0. Is 4/9 at most q?
False
Suppose -8*h + 2 = -7*h. Which is greater: h or -2/7?
h
Let s = 11 + 6. Let n = 13.9 - s. Let l = n + 0.1. Which is greater: 2 or l?
2
Let j = 20 + -12. Let r be (-4)/j + (-3)/(-2). Suppose c - 5*c = -2*d - 6, -2*c = -3*d - 5. Are r and c nonequal?
False
Let c = -2 + 4. Suppose k = -w - 3*k - 14, 22 = -5*w - 4*k. Let u = c + w. Which is bigger: u or -2?
u
Let j be -6 - -4 - (-126)/65. Let f = 577/130 - j. Is f bigger than 4?
True
S