 + 3*t + 15 = -3. Is k less than or equal to s?
True
Suppose 4*y + 1 = -3. Let p(d) = 5*d + 1. Let a be p(y). Which is smaller: a or -6?
-6
Suppose v - 3*w - 29 = 0, 2*w + 34 = v + 4*w. Suppose 3*n = v + 25. Let f = n + -13. Which is bigger: 5 or f?
f
Let j be -2 + 0/2 + 2. Suppose 0 = -8*p + 9*p + 1. Which is greater: j or p?
j
Suppose 46 + 29 = 5*c. Which is bigger: c or 16?
16
Let f(s) = s**3 - 6*s**2 + 6*s - 3. Let r be f(5). Let z be (1/r)/((-1)/(-2)). Which is smaller: -2/19 or z?
-2/19
Let p be (3/(30/(-4)))/(40/50). Which is smaller: p or 2/61?
p
Suppose -5*c + 4*c + 3 = 0. Let i(g) = -g**3 + 6*g**2 - 5*g + 4. Let f be i(c). Which is smaller: f or 15?
15
Let z = 28/3 - 314/33. Suppose -6 = 2*a + 3*n - 23, n - 4 = a. Which is bigger: a or z?
a
Suppose l = 2*l - 4. Suppose -4*d + 48 = 4*u, -4*u - 19 = 2*d - 51. Let p be (-3 - (-3 - -3)) + d. Is p equal to l?
False
Let d(h) = h**3 + 7*h**2 - 9*h - 12. Let l be d(-8). Let j be ((-21)/(-14))/((-201)/l). Which is smaller: j or -1?
-1
Let s be 51/(-45) + 1 - (-94)/30. Which is greater: s or 2/15?
s
Let l be (0 - (-2)/(-6))*-6. Suppose -3*s - l*w + 8 = -4*w, 1 = s + w. Let g be (-7 + s)*(2 - 1). Is g greater than or equal to -5?
True
Let p = -51 + -15. Let c = -598/9 - p. Is 1 greater than or equal to c?
True
Let q(t) = t**2 - 2*t + 2. Let h be q(2). Let p = -15 + 16. Is h at least p?
True
Let y(k) = k**3 - 14*k**2 + 13*k + 4. Let l be y(13). Suppose 0 = 2*h + q - 1, -l = -3*h - 4*q. Which is smaller: h or -1/4?
-1/4
Suppose d - 5*d = -16. Let x = 6 - d. Suppose 3*g = -2*y + 13, y = x*g + 3*g - 13. Is 2 less than or equal to y?
True
Let a = 85.7 + -84. Is a less than 3?
True
Suppose -4 = -4*o + 4*n, 2*o - 3*n - 2*n - 11 = 0. Let c be o - (2742/(-39))/2. Let j = -33 + c. Is j less than -1?
False
Suppose -a + 17 = -3*l, 0 = -a + 4*a + 2*l - 18. Suppose 0 = -4*n + a*n - 616. Let c = 1692/11 - n. Which is bigger: c or 0?
0
Let i = -0.38 - -23.38. Let t = i + -21. Is -0.02 > t?
False
Let v(t) = -t**2 - 4*t. Let h be v(-4). Suppose 4*u + h*j = -2*j + 90, -4*u + 99 = -j. Let w be 1/(-3) + 16/u. Is w < 1?
True
Let b = 9 - 15. Let f be 34/8 + b/(-8). Let s = f + -6. Which is smaller: s or 2/15?
s
Let x = 4860/17 - 286. Let s(l) = l - 4. Let f be s(5). Is x <= f?
True
Let k(i) = 5*i - 1. Let n be k(1). Suppose -1 = -g - 3*c + 7, -4*g - n*c = 0. Let o = -4 - g. Is o greater than 0?
False
Let m = -22 - -23. Is 2/13 at least as big as m?
False
Let k = 7 - 4. Suppose g + 5*u = -g + 10, -3*u + 10 = 2*g. Are k and g equal?
False
Let n(l) = 5*l**3 - 2*l**2 + 2*l - 1. Let i be n(1). Let t = 2 - i. Is -5/6 bigger than t?
True
Let k = -114 + 113. Suppose -3*p + 2*l - 23 = 0, 0 = 3*p - 5*l + 7 + 1. Let g = p - -29/3. Is g greater than k?
False
Suppose 2*r = 6*r - 256. Let b = r + -100. Let x be (2/6)/((-15)/b). Is 0 at most as big as x?
True
Let x(y) = y**3 - 4*y**2 + y. Let c be x(2). Which is greater: -7 or c?
c
Suppose -2*c = -3*x - 4*c + 43, 4*x - 39 = c. Suppose -5*k + x = 56. Is -9 less than k?
False
Let g(y) = 2*y**2 + 18*y + 4. Let s be g(-9). Let j = 3.9 - 4. Which is smaller: j or s?
j
Let i = -2.2 - -2. Let z = i - -0.3. Let v = 0.1 - 0. Is z less than or equal to v?
True
Suppose 4*l = -5*c + 13 + 42, c - 75 = -4*l. Suppose 4*v - 2*u = -l, -v = 4*v - u + 31. Let t(h) = h + 7. Let g be t(v). Is -0.2 less than g?
True
Let k = -11.6 + 2.6. Is k bigger than 2?
False
Let h = -2 + 14. Is h less than 1?
False
Let i = -20.83 - 0.17. Which is smaller: 1 or i?
i
Suppose 8 = -5*c - 3*j + 3, -5*j = 4*c + 17. Let k be 2 + -1 - 3 - -8. Let p = k + -3. Are p and c unequal?
True
Suppose 2*t - 16 - 2 = 0. Which is smaller: 10 or t?
t
Let k = -28/135 + -2/135. Is k smaller than -0.3?
False
Let v be 1/(3/(3/(-2))). Which is bigger: v or -1?
v
Let y = 3019/7 - 430. Suppose 3*o = -4*m + 10, 5*o - m = 2*m + 7. Which is smaller: y or o?
y
Let v(m) = m**2 + m + 2. Let h be v(-2). Suppose 2*i - 5*w + 25 = 5, h*w = 4*i + 16. Is -2/21 not equal to i?
True
Let d be -1*(-4)/(-6) - (-275)/(-15). Which is smaller: -13 or d?
d
Let y = -41 - -50. Is 11 not equal to y?
True
Let f be (-19)/11 - 0 - -2. Let n(x) = 14*x**2 + x. Let a be n(-1). Suppose -18*r = -a*r. Is f != r?
True
Let x = -3.2 - 9.8. Let z = x + 13. Let f = 489/1687 + -1/241. Is z equal to f?
False
Suppose -5*r + h = -27, -21 = -2*r - 0*h - 3*h. Does 6 = r?
True
Let h(n) = n**2 + 5*n - 9. Let r be h(-5). Let u(x) = -2*x - 3. Let q be u(r). Is q greater than or equal to 15?
True
Let l = -103 - -103.47. Let r = 0.07 - l. Is r at most -1?
False
Let j = -41 - -41. Which is smaller: -7 or j?
-7
Let r = 7 - 6.94. Let d = 0.19 + -0.03. Let z = r - d. Which is smaller: 1/4 or z?
z
Let k = 0 - -2. Let c be 2/k - (1 + 4). Is -5 greater than c?
False
Let p(f) = f + 7. Let b be p(-6). Let m be (1 - b)*(-2)/(-4). Is m less than -2?
False
Let a(k) = k - k**2 + 2 + 0 + 0. Let b be a(3). Let v be (b/(-6))/(10/6). Which is greater: 0 or v?
v
Let j be 76/(-18) + (-10)/(-45). Which is smaller: j or 0?
j
Let t = 13 + -9. Suppose -z - 66 = -t. Let m = 436/7 + z. Which is smaller: m or 1?
m
Let z(w) = -w**3 + 8*w**2 + 9*w + 4. Let m be z(9). Which is smaller: m or 3?
3
Let r = 36 + -37. Which is bigger: r or -0.7?
-0.7
Let r = -9 + 4. Let v = r + 8. Let d = -1 + v. Is -1/2 greater than d?
False
Let c be (0/(-3))/(-2) + -1 + 0. Which is bigger: c or 2?
2
Let i = -8.9 - -8. Let s = -1 - i. Which is bigger: s or 0.2?
0.2
Let p be -24*(4/(-14) + (-81)/(-63)). Which is smaller: -97/4 or p?
-97/4
Let n be (2 - (-3)/3) + -2. Which is greater: -2/47 or n?
n
Let f be (2 + 20/(-9))*9/(-24). Which is smaller: f or 1/2?
f
Suppose 10 + 5 = 3*h. Suppose h*t - 22 = -2. Is 1 at most t?
True
Let z = -889/3 + 300. Which is bigger: 3 or z?
z
Let j = -10431/11 - -949. Is j greater than 2?
False
Suppose 4*z + 2*k = 114, 0 = -7*z + 4*z - 4*k + 88. Let u be (-8)/z - (-2)/7. Do -6 and u have different values?
True
Let w(k) = -k**2 - 9*k + 2. Let n be w(-9). Let r be (-6)/(1 + (-2 - 1)). Suppose n*u - u = -r. Are -3 and u unequal?
False
Let v = 1.8 - 2. Let j = v - -0.4. Let f = 1 - 1.2. Which is bigger: j or f?
j
Let f = 13 + -10.5. Let z = f - 2. Let d = -3.5 + z. Is d < -2?
True
Let n(j) = -j**2 - 5*j + 4. Let u be n(-6). Suppose 0 = -3*x + 5 - 2. Let k be 2*x/u*1. Does k = -1?
True
Let l be ((40/(-12))/(-5))/21. Which is bigger: l or 0.1?
0.1
Suppose 0 = 3*j - 2*j + 4*x - 9, 5*j - x = 3. Is 2/63 smaller than j?
True
Let t(q) be the third derivative of q**5/60 + 3*q**4/8 - q**3/3 - q**2. Let i be t(-9). Let r be i/(-7) + 16/(-7). Which is bigger: -1 or r?
-1
Let n(y) = y + 1. Let l be n(1). Let z be l/(-3) + (-715)/12. Let k = 60 + z. Which is smaller: 0 or k?
k
Let f(s) = 8*s - 9. Let l be f(8). Suppose 4*i - l = 5*a, a + 0 = 1. Let c = i - 7. Which is smaller: c or 7?
7
Let g(x) = -x**2 - x + 6. Let f be g(-5). Let h be (-16)/(-6)*(-21)/f. Suppose -j + 12 = -h*j. Are -4 and j nonequal?
False
Let a = -15 - -12. Let q be 7/(-5) + (a - -4). Is q bigger than -1?
True
Let j = 0.4 + -0.35. Let f = j + -0.02. Is -2/3 smaller than f?
True
Let r = -28 - -31.2. Are -0.1 and r non-equal?
True
Suppose k = -5*k + 4*k. Is -0.12 < k?
True
Suppose -2*v + 3*v - 8 = 0. Let q = v - 6. Are q and 18/7 equal?
False
Let w = 13.2 + -1.2. Let x = w - 7. Which is greater: x or -1?
x
Let r(q) = q**3 + 9*q**2 + 8*q + 2. Suppose 0 = 5*i + 6 + 19, -3*u - i = 29. Let a be r(u). Do 2/3 and a have different values?
True
Suppose 2*g + 2*g = 0. Suppose 4*q + 8 + 40 = g. Let s be 3 - (-39)/q - -1. Is s greater than 0.1?
True
Let x = -0.11 + -3.19. Let z = x + -0.7. Let d = -2 - z. Is d at most -1/3?
False
Let y = 9.7 - 9.93. Which is smaller: 1 or y?
y
Let y = -38/17 + 284/51. Is y < 2?
False
Let f = -8 + 16. Suppose -5*l - w - f = 0, -l + 2*l + 12 = 5*w. Let z be l/(-1) + (0 - 0). Are z and 1 nonequal?
True
Let x = 14 - 6. Let z be (-32)/(-36)*2/x. Which is bigger: 1 or z?
1
Suppose -3 = 2*y + 5. Which is bigger: 0 or y?
0
Suppose 5*p - n = -2*n - 8, 4*p - 3*n - 5 = 0. Which is bigger: p or -1/74?
-1/74
Let v = 53 - 35. Let c = v + -19. Let y = -0.4 + 0.3. Is y at least c?
True
Let z(g) = 45*g**3 + 11*g**2 + 19*g + 5. Let b be z(13). Let q = -57556199/570 + b. Let u = q - 3/38. Which is bigger: u or 1?
1
Suppose -k - 2*k + p = 6, 2*p - 6 = 3*k