+ 6 = -5*z - 2*t, -z + 2 = 4*t. Let l = z + 0. Is -3 >= l?
False
Let i(l) = 4*l - 5. Let t be i(-6). Let j = -7 - t. Is 22 not equal to j?
False
Let t = -1.3 - 11.8. Let n = -13 - t. Is n less than or equal to -5?
False
Let s(l) = l**3 + 15*l**2 + 36*l - 1. Let r be s(-12). Which is smaller: -1/219 or r?
r
Let i = 13 + -13. Suppose -9 = 3*o - i. Is o greater than -2?
False
Suppose 1 = -5*b - 4*t + 4, -3*b + 2*t = -15. Let q be ((-15)/(-9) + -1)*b. Let h be q/(-7) + 5/140. Which is greater: -2/5 or h?
h
Suppose 1 = m + 2*k, -2*m - 43 = k - 6*k. Which is smaller: 2 or m?
m
Let u = -2 - -13. Let h = -16 + u. Let q be h/2*(-12)/(-15). Which is smaller: q or -3?
-3
Suppose 16*w - 35*w + 19 = 0. Suppose 3*k - 1 - 302 = 0. Let x = k - 1013/10. Is x at least w?
False
Suppose 12 = -5*o + 2*o. Suppose 5*w = 1 + 29. Let k = 4 - w. Is k less than or equal to o?
False
Suppose 4*a = 22 - 18. Is -3/10 at most as big as a?
True
Let k = -11 + 15. Suppose k = l + 3*l. Is l > 0?
True
Let i(w) = 4*w + 1. Let q be i(1). Let p = q - 6. Which is bigger: p or -2?
p
Let s be -1 - (3 - (1 + -3)). Let p(w) = -w - 3. Let x be p(s). Suppose 3*r - 2*n = -3*n + 13, n = 3*r - 5. Is x bigger than r?
False
Let n be (-8)/24 + (-1)/(-3). Is n at most as big as 1/29?
True
Let c be 3*(4/3 - 0). Suppose -s = c + 1. Which is greater: s or 0?
0
Let r(s) be the second derivative of -1/3*s**3 + 1/20*s**5 + 1/4*s**4 + s - 2*s**2 + 0. Let d be r(-3). Is d >= 1?
True
Suppose -5*n = s - 12, 4 = -s - n + 4*n. Let o be (-3)/(-1) - 1/(-1). Let k = s - o. Which is smaller: k or -1/2?
k
Let t = -15.94 - -6. Let i = t - -10. Let j = 1.94 + i. Is j less than or equal to 0?
False
Let m = -47 + 52. Which is greater: 19/4 or m?
m
Let r = 93 - -22. Suppose r = -0*i - 3*i - j, -5*j = -i - 65. Let o = -77/2 - i. Which is smaller: 3 or o?
o
Let k(s) = -2*s - 5. Let r be k(-5). Let g = -4 + r. Which is smaller: g or 2/27?
2/27
Let y = -0.006 + 0.206. Which is smaller: y or 3/20?
3/20
Suppose x - 5*g = 0, -2*g = 2*x - x - 7. Suppose x*t + b = -2 - 1, 5*t = 3*b + 9. Which is smaller: t or -2/3?
-2/3
Let z = -57 - 37. Is z > -93?
False
Let g be (10 - 8)*(0 - -1). Suppose -v + 1 = -4*d, -3*d - g*d - 15 = -4*v. Suppose -4*k + 5*k + d = 0. Is k not equal to 3/8?
True
Let t = 54 - 55. Let i = -7 + 3. Are t and i nonequal?
True
Let c be ((-6)/9)/(1/(-9)). Suppose -4*v = v + 4*l - 17, c = 3*v + l. Is v less than -2/9?
False
Let k be (-8)/(-6)*3 + -4. Is k at least as big as 3/4?
False
Let h = 0.19 - 6.19. Is -3 greater than or equal to h?
True
Suppose 0 = -5*j + 199 + 121. Is 63 greater than or equal to j?
False
Suppose 4*s + 15 - 127 = 0. Suppose -32 = -5*d - 4*a, s = 4*d - 0*d + 2*a. Let z be -1 - (10/d)/(-1). Is z < 1?
True
Suppose 0 = -n - 0*n + 44. Suppose 2*l = k + 3*k - n, -2*k = -3*l - 30. Suppose 0 = 2*s + s + k. Are -4 and s nonequal?
True
Let x(a) = a**3 - 7*a**2 + 8*a + 10. Let b be x(5). Which is smaller: b or 1/2?
b
Let j be 7980/(-1990) - (-1 + 3/(-1)). Do j and 1 have the same value?
False
Let q(x) = -2*x - 11. Let h be q(-12). Let r = h - 10. Which is smaller: 5/3 or r?
5/3
Let k be 2/5 + 1392/(-80). Which is smaller: k or -16?
k
Let r(z) be the second derivative of -41*z**3/6 + z**2/2 + 3*z. Let n be r(-7). Let w = -3170/11 + n. Is 1 at least w?
True
Let t(k) = -k**3 + 4*k**2 - 5*k + 4. Suppose g + 12 = 5*g. Let u be t(g). Suppose 7 = -3*v - 0*w - w, 9 = -5*v - 3*w. Which is bigger: u or v?
u
Let b = -0.2 - -0.15. Is b at most -0.1?
False
Let u(s) = 2*s**3 + 3*s + 2. Let m be u(-1). Is -1 < m?
False
Let n be (-2 - 14/(-10))/((-1)/5). Which is bigger: n or 5?
5
Suppose -2*g = -2 - 10. Let d be 4/(-10)*g/(-17). Let y = -1/17 - d. Which is smaller: 0 or y?
y
Let j = 8 + -9. Let c = 191/4 - 5913/124. Is j > c?
False
Let u be 4/(-6) + 76/6. Suppose -u = -2*a - 2. Let s = -51 - -56. Are s and a non-equal?
False
Suppose -1 = -x + i, -16 = -3*x - x - 2*i. Let g = 3 - x. Let v be (-3)/9*2 - g. Is 1 <= v?
False
Suppose 3 = 4*y - y. Let n be (-3)/18 - y/12. Is 4 at least as big as n?
True
Let s = -5 + 6. Let g = 7 - s. Let n be 2/((-3)/g*6). Do -1 and n have the same value?
False
Let q(w) = w**2 + 9*w + 8. Let y be q(-8). Suppose 3*r = y, 2*v - 62 = -4*r - 0*r. Suppose 3*p = -4*b + v, -3*b + 12 + 12 = 3*p. Do b and 7 have the same value?
True
Let o be (18/42)/((-3)/2). Which is bigger: o or -4.1?
o
Let s be 2/(-4)*-2*-1. Suppose 4*v + 8 = 0, 4*h = 4*v - 14 + 38. Suppose 2*b = -2 + h. Which is smaller: s or b?
s
Let g = -0.1 - 13.9. Let w = 14.3 + g. Which is smaller: -3 or w?
-3
Let m be ((-3)/(-6))/(2/(-4)). Do m and 0 have different values?
True
Let n be 10/25 + (-439)/(-115) + -4. Do n and 0 have different values?
True
Let k = 0.384 + -20.484. Let d = k - -17. Let v = -3 - d. Which is smaller: 0 or v?
0
Let c = 15 - 14. Are -0.05 and c equal?
False
Let r = -2/89 - 85/178. Which is greater: 11 or r?
11
Let s = -5 + 5. Is 12 <= s?
False
Let c = -7 - -12. Suppose d - 2 = 4*z, d + c*z = -2*d - 11. Let m = -1 + 0. Which is smaller: m or d?
d
Let n be 2 + -2 - 4/(-18). Let l be (1/3*3)/(-1). Is n less than l?
False
Let m = -8 - -3. Let k = 8 + m. Is 0.1 smaller than k?
True
Let d(i) = -i**2 - 6*i. Let s be d(-6). Let z be (s - 1/(-1)) + 1. Let m = z - 5. Is m != -1?
True
Suppose -4*r + 28 = -2*h, -4*h - 34 = -4*r + 2. Let a(v) = 4*v**3 + 2*v**2 + v. Let w be a(-1). Which is greater: h or w?
w
Let b = 7 + -3. Let y = -3.7 + b. Let d = y + -0.3. Are 2 and d equal?
False
Let j(y) = y**2 - 6*y - 9. Let r be j(7). Let z be (9/(-6))/(r/4). Let a = z + -5. Which is bigger: a or -1?
-1
Let l be 4/(-8) - 18/(-20). Is l != 4/5?
True
Let h = 2 - 0. Which is smaller: h or 0?
0
Suppose w + w + 2*n = 14, 2*n = -5*w + 32. Which is smaller: -1 or w?
-1
Let d(b) = -3*b - 35. Let s be d(-10). Which is smaller: s or -12?
-12
Let y = -0.07 + -2.93. Let f = 0 + 2. Suppose 0 = -3*c + 2*c + f. Is c != y?
True
Let c = -37/21 + 785/231. Are 3 and c equal?
False
Let d(z) = -2*z + 4. Let p be d(-7). Let f = 26 - p. Let x = 9 - f. Which is greater: 2 or x?
2
Suppose 0*g = 2*g - 40. Suppose 2*w + 25 = -5*x, 3*w - 2*w - 4*x = g. Suppose -2*y + 3*c = 2*c - 3, -y + 5*c + 24 = 0. Is w greater than or equal to y?
True
Let c = 2.026 + -0.026. Let x = 3.3 - 3. Let k = -0.5 + x. Is c less than or equal to k?
False
Let w = 37 - 38. Which is smaller: w or -2/269?
w
Let v be 2*(0 + 0 + 9/2). Which is bigger: 7 or v?
v
Suppose -21*u + 8 = -25*u. Is u at most as big as -1?
True
Let k be (-2)/((1 + -4)/6). Suppose 14 = -3*s - 5*x, 0*s - 5*x - 28 = -k*s. Suppose 2*t - 1 = t. Which is smaller: s or t?
t
Let y = -19 + 8. Let u = -88 + 76. Is y >= u?
True
Let l be ((-9)/(-80))/(3/5). Which is smaller: l or -1?
-1
Let a = -7/12 - -143/204. Let y be (0/((-8)/(-4)))/(-2). Are a and y nonequal?
True
Let t = -127 - -6601/52. Is 1 greater than or equal to t?
True
Let r = 4 - 6. Let p be (3/r)/(6/8). Is 0.2 greater than p?
True
Suppose -5*m + 0*m = 10. Let c = -5.4 + 0.4. Let h = -3 - c. Is m smaller than h?
True
Let j be (-41)/(-63) + (-15)/35. Are -1 and j nonequal?
True
Let c be 11 + -14 - (-13 - 0). Let g(d) = -d**3 + 9*d**2 + 9*d + 6. Let z be g(c). Which is bigger: z or -5?
z
Let c = 12 - 10. Suppose -24 = c*v - 6*v. Is 6 greater than v?
False
Let x be 5/(-1) - 6/2. Let i = -5 - x. Let q be 2/8 - 0/(-1). Are i and q non-equal?
True
Let l(j) = 2*j. Let x be l(1). Let o(b) = b**x + 2*b + 2*b + b - 4. Let i be o(-5). Is -3 bigger than i?
True
Let h be 1/6*136/(-51). Let r(k) = -k. Let v be r(0). Which is smaller: v or h?
h
Let s be (-1 - -3)*(12 + -10). Suppose -3*p - x = -s*x - 12, -2*p + 5*x = -17. Let y = 1 - p. Which is greater: -1 or y?
y
Let j = 0.4 - 0.7. Let o = 5 + -5.2. Which is greater: o or j?
o
Let u = -214/5 - -43. Let n = -6 + 9. Let m be n/6*2/3. Which is smaller: m or u?
u
Let n(d) = -2*d + 11. Suppose t = 3*t + 5*c - 41, t - 23 = -3*c. Let x be n(t). Let f = x - -5. Is f not equal to 2?
True
Let j = 22 + -37. Which is bigger: -16 or j?
j
Let h be (3/6)/((-1)/(-6)). Suppose -10*g + 4*g + 12 = 0. Is g greater than or equal to h?
False
Let p be (-2)/7 + (3 - 2/(-7)). Let l be 2/(10/4 - 2). Is p less than or equal to l?
True
Let k be (162/(-8))/((-6)/(-16)). Let d = k + 376/7. Are d and -1 non-equal?
True
Let p be 8/8 + 0/2. Which is bigger