 6*f. Suppose 0*j + f*j = 9. Is 4 at most as big as j?
False
Let v = 13.47 - 2.5. Let n = v + -11. Is n > 0.1?
False
Let h = -0.99 + 0.89. Are -6/11 and h unequal?
True
Let y(b) = b**3 - 2*b**2 - b - 18. Let d be y(0). Is d < -18?
False
Let v = 168/5 - 101/3. Let y be 2 + (1*-2 - -1). Is v not equal to y?
True
Let w(r) = -r**2 - 8*r - 14. Let v be 9/(1 + (-5)/2). Let t be w(v). Which is smaller: -4 or t?
-4
Let p be 3 + (1280/(-86))/5. Is p greater than 1?
False
Let g be 1*-1 + 33/44. Is g bigger than 1?
False
Let g be (-2)/2*(1 - 1). Let o = -204 + 1431/7. Which is greater: o or g?
o
Let p = -2.04 - -0.04. Which is smaller: 2/5 or p?
p
Let s(x) = -2*x + 21. Let d be s(13). Which is bigger: d or -4?
-4
Let b(x) = -x - 5 + 11 + 2*x. Let n be b(-8). Which is bigger: n or -3/5?
-3/5
Let h be (-2)/(-5) - 56/90. Let c be 0/((-2)/((-2)/1)). Suppose 4*n + 2*v + 1 - 3 = c, 0 = -2*n + 4*v + 6. Which is smaller: n or h?
h
Suppose -25 = 5*y + 20. Is y equal to -10?
False
Suppose -2*d + 12 = 2*d + 2*v, 3*d - 3*v = 0. Is d at least as big as -3?
True
Let x = -17 - -45. Which is greater: x or 29?
29
Let t be (-4 - -7)*(-40)/6. Which is smaller: -21 or t?
-21
Suppose 0 = -3*d - 3*u - 27, 0*d + u + 45 = -5*d. Is d bigger than -9?
False
Let l = -22/75 - 1/25. Let h = 0.3 + 0.7. Is h != l?
True
Let c = 1 + -9. Which is smaller: c or 0.2?
c
Let u(x) = x**2 - 6*x + 5. Let w be u(5). Is w greater than or equal to -2/31?
True
Let h = -443911/8 + 56336. Let n = h + -846. Let t = n + -29/40. Which is bigger: t or 1?
1
Let t(s) = s - 8. Let o be t(9). Suppose -4*k = -13 + o. Suppose k*z + 6 + 20 = -5*p, -z - 5*p - 22 = 0. Which is greater: z or -4?
z
Suppose p = 2*k - 7, 3*p + 3 = 2*k - 2. Let z be (4/(-6))/((-4)/(-6)). Let n be (-9)/(-12) - (0 - z). Do p and n have the same value?
False
Let r(z) = -2*z - 5. Let c(f) = f + 3. Let x(n) = 5*c(n) + 3*r(n). Let k be x(3). Let j be (-13)/(-65) + (-11)/5. Is k not equal to j?
True
Let y = 44 + -79. Let r = 20 + y. Do r and -15 have the same value?
True
Suppose 10 = 5*i - 3*k, 31 = 3*i + 5*k - 9. Suppose -i*t - 8 = 7. Is -2 at least t?
True
Suppose -36*x = -31*x + 5. Is -11/9 greater than or equal to x?
False
Let q = -6.9 + 7. Which is bigger: q or -3?
q
Let q = -26 - -28. Suppose 0 = -n + 2 + 1. Suppose -q*x + 2 = -z, -n*z - 4 - 2 = 4*x. Which is greater: 1 or z?
1
Suppose -4*b + 57 = -3*y, 5*b - y = -50 + 135. Suppose 5*m - b = 7. Is 6 greater than m?
True
Let n be 2 - 1 - 195/169. Suppose -3*b = k - 3, -b - 6*k = -4*k - 6. Which is bigger: n or b?
b
Let t be (4 + 14/(-4))*30. Which is smaller: 0 or t?
0
Suppose -2 + 0 = -2*x. Suppose 0*z + 14 = z. Let i be ((-2)/z)/(7 + -6). Which is smaller: i or x?
i
Let v = 82 - 74. Is -1 greater than or equal to v?
False
Let w(m) be the third derivative of 7*m**6/120 + m**5/30 + m**4/12 + m**3/6 + 5*m**2. Let z be w(-1). Which is smaller: -5 or z?
z
Suppose 5*h + 5*o = 0, 1 = 5*h + 3*o + 3. Let y(m) = -4*m + 4. Let v be y(2). Which is greater: h or v?
h
Let s(h) be the second derivative of h**5/20 + h**4/6 - 6*h. Let d be s(-1). Let l be -2 - (-16)/17 - -1. Which is smaller: d or l?
l
Suppose -2*w = -4*w + 42. Suppose 5*q + 3*g = 2*q + w, 31 = 4*q + 5*g. Let d(j) = 2*j - 6. Let b be d(q). Which is smaller: 4 or b?
b
Suppose 5*w + 13 = 2*v, 2*v + w + 6 = -v. Is 1/15 greater than v?
True
Let p = 149/5 - 3412/115. Which is smaller: p or 0?
0
Suppose r = 5*y - 18, -4*r + 0 = 3*y + 3. Suppose -4*v + 10 = 2*n, v - 11 = -2*v + 2*n. Is y < v?
False
Let y = -7249 + 2109457/291. Let f = y + 163/194. Suppose -h = 3*b - 17, -3*b = -3*h + h - 11. Which is smaller: f or h?
f
Suppose -31*o = -25*o - 42. Let c = 7 - 1. Which is smaller: o or c?
c
Let s = -19.93 + 20. Which is greater: 0 or s?
s
Suppose -2*o + 2*x = -4, 4*x = -x + 5. Let b be -2 - ((2 - -1) + -6). Suppose -b + 7 = o*s. Which is bigger: 1 or s?
s
Let o be (16/(-4) + 0)/(2/1). Which is greater: -5/2 or o?
o
Let j be 2/(-5)*(-35)/(-21). Which is greater: j or 3?
3
Let b(t) = -t**3 + 10*t**2 - 9*t + 5. Let p be b(9). Which is greater: 7 or p?
7
Let v = 1.03 - 1. Let j = v - -0.57. Which is greater: j or -0.1?
j
Suppose t = -2*z, 3*z + 10 = -5*t - 4. Suppose 0 = -3*r + z*r. Is r < 0?
False
Let a be (-6)/2 - (0 - 0). Suppose 3*f = -0 + 21. Let z = f + -7. Which is greater: z or a?
z
Suppose 3*h = 2*f - 6*f + 31, -4*f = -4. Suppose 10*j - 4 = h*j. Which is smaller: j or 5?
j
Let u(k) = -k - 7*k**3 + k - 2*k**3. Let q be u(1). Is q <= -8?
True
Let o = 5 + -7. Let h = 3 + 3. Let z be (2/h)/(14/(-24)). Is o greater than or equal to z?
False
Let h = 7 - -2. Let v = -267 + 267. Which is smaller: v or h?
v
Suppose 6*y = y + 25. Suppose -2*g = 5*v - 10, -v + 1 + 1 = y*g. Let f(k) = -k**3 + 9*k**2 - 8*k. Let h be f(8). Is h > g?
False
Suppose 0 = 7*f - 4*f + 12. Let x be (8/(-6))/(2/(-3)). Let z be (-1 - 2/2)*x. Is f at most as big as z?
True
Let c = -12 - -17. Suppose -2 = -c*m + 4*m. Suppose -15 = 5*z - 20. Is m greater than z?
True
Let t = -4 + 3.9. Let b = 2/75 + -83/300. Which is smaller: t or b?
b
Let i = -18 - -11. Is i > 2/9?
False
Suppose 7*v - 2*v - 13 = -2*y, 7 = y + 3*v. Let a be (-15)/(-20)*y/(-42). Which is bigger: a or -1?
a
Let p = 4 - 0.2. Let c = p + -4. Let s = 1 - -2. Is s >= c?
True
Let j(z) = z**2 + 9*z + 11. Let f = -2 - -3. Let b be 0/2 + (-8)/f. Let k be j(b). Which is greater: 4 or k?
4
Suppose -5*v + 3*u - 64 = -0, 4*u - 34 = 3*v. Which is bigger: -16 or v?
v
Let u = 0.13 + -10.13. Let r = u + 7. Let v be 14/(-24) - 2/(-8). Which is smaller: r or v?
r
Suppose h - 4*h - 3 = 0. Let j be 6/(-5) + (-1 - (-28)/20). Is h greater than or equal to j?
False
Let r(h) = -18 + 4*h - 14*h - h**2 + 6. Let l be r(-8). Which is smaller: 2 or l?
2
Suppose 0 = p + 5*i - 18, -5*p - i = i + 2. Which is greater: p or -12/19?
-12/19
Suppose 0*j = -j - 4. Suppose 2*u - 8 = 4*u + 2*m, 3*u - 2*m = -2. Which is greater: j or u?
u
Let z(k) = -k**2 + 15*k + 14. Let n be z(12). Let c = -249/5 + n. Which is smaller: c or -2/7?
-2/7
Let o = 4 - 4. Suppose -2*t + 1 - 9 = o. Let f be (t/(-6))/((-2)/(-3)). Which is greater: 3 or f?
3
Let r = -18 - -46. Let q be 2 - (-8)/r*-5. Which is bigger: 1 or q?
1
Let i(f) = 26*f**2 + 7*f - 8. Let h be i(1). Which is smaller: 24 or h?
24
Let z(c) = 7*c**2 - 2*c + 1. Let p be z(1). Let d be ((-2)/p)/(1/(-9)). Which is greater: 1 or d?
d
Let v(b) = b**2 + 10*b - 13. Let p be v(-10). Let s be p + -1 + 0 + 2. Let c be s/21*5 + 3. Do 1 and c have the same value?
False
Let m be ((-1)/2)/((-1)/(-2)). Let c(f) = -f**3 + f**2 + 2*f - 2. Let k be c(-3). Let q be (-2)/(-7) + (-43)/k. Is q >= m?
False
Let o = -0.8 + -0.1. Let c = o - -0.5. Let m = 0.2 + c. Which is greater: m or -1?
m
Let v(n) = n**2 + 8*n + 6. Let y be v(-6). Let o(w) = w**3 - 3*w**2 - 2*w - 5. Let x be o(4). Let u be -2 + -4 + x/3. Is u at least y?
True
Let p be 4 - (4 + 1) - 2/(-8). Is 1.3 at most p?
False
Let u(c) = -c**3 - 4*c**2 + 2*c + 2. Let m be u(-4). Is m equal to -6?
True
Let y be 29/4 - 2/(-8). Let w be 0*2*(-2)/(6 + 2). Which is smaller: w or y?
w
Let r be (2/30)/((-10)/30). Is r equal to 1?
False
Suppose -4*u = -5*q + 14 - 3, -3*u - 5*q = 17. Let i(l) = -l**2 - 5*l - 5. Let v be i(u). Does v = -2/7?
False
Let w = 2391/7 + -341. Let v be (-9)/(-3)*4/6. Let b be (1/(-2))/(v/(-8)). Which is greater: w or b?
b
Let v = 0.29 + -1.69. Let w = -0.06 - -0.46. Let f = v + w. Is f bigger than -0.4?
False
Let f be (-2 + (-20)/8)*2. Which is smaller: -31/4 or f?
f
Let z(u) = u + 15. Let y be z(-12). Suppose -s + 0*s + 1 = 0. Which is smaller: s or y?
s
Let p(y) = y**3 - y**2 - y - 17. Let f be p(0). Which is greater: f or -16?
-16
Let y = -7 + 7. Is 3/16 equal to y?
False
Let g(b) be the third derivative of -b**4/24 - 7*b**3/6 + 2*b**2. Let p be g(-8). Let j be 1*p*6/39. Which is smaller: 1 or j?
j
Suppose 1 - 4 = -3*r. Let s be (-496)/(-6) - (-1)/(-3). Let o = s - 83. Does o = r?
False
Let o = -2 + 1.6. Let p be (-7)/((-223)/(-8) + -1). Let f = -6/43 + p. Do f and o have different values?
False
Let a = 0 + -5. Suppose 0 = -10*c + 11*c + 4. Which is bigger: a or c?
c
Let f = -2 - -2. Let x be (-6)/9 + (-10)/(-6). Let o be x/(2/12*-2). Is o >= f?
False
Suppose 0*g - 3*s = g + 16, 4*g - s + 103 = 0. Which is smaller: -24 or g?
g
Suppose s = -l + 5*s + 35, s 