 j = 13 + -9. Suppose -r = -v + 8 - 2, -r = -j*v + 27. Suppose -v*h - 12 = -3*h. Is -4 bigger than h?
False
Let m be (-4)/(-2) - (-3 - -7). Let r be (-1)/((-3)/(-1 + m)). Let k be 2/(-3)*r/(-2). Which is smaller: 0 or k?
k
Let v be 60/27 - 8/36. Which is bigger: 8/3 or v?
8/3
Let r be (-1538)/(-12) + 4/(-24). Let x = r - 894/7. Is x at least 1?
False
Let g = -7 + 5. Is -2 not equal to g?
False
Let y = 25 + -24.9. Is y >= 2.3?
False
Let f be (4/8)/(6/4). Which is smaller: f or 0.3?
0.3
Let g be (-24)/(-234)*(-3)/(-2). Let n(v) = -v**2 + 3*v - 1. Let j be n(1). Let r = j + -1. Is r > g?
False
Let n = -3.6 - -2.6. Let c be (4/6)/((-6)/(-1609)). Let q = c + -179. Which is smaller: n or q?
n
Let s(c) = c**3 + c - 1. Let g(a) = 5*a**3 + 4*a**2 + 6*a - 8. Let p(f) = g(f) - 4*s(f). Let t be p(-3). Which is smaller: t or 1/4?
t
Suppose 3 = -3*v - 2*z, -4*z - 1 = -v + 2*v. Is -4/17 smaller than v?
False
Let v = -30 - -31. Is -1/23 <= v?
True
Let t(x) be the first derivative of -x**4/12 + 4*x**3/3 - 2*x**2 - 2*x + 1. Let m(b) be the first derivative of t(b). Let u be m(8). Are -4 and u equal?
True
Let a be (-2 - 9/5) + (3 - -1). Which is greater: a or -4?
a
Let b be 4 - (1 - (1 + -4)). Which is bigger: b or -0.6?
b
Let c = -323/26 + -14/13. Let m be (1 + -2)/(16/228). Let t = m - c. Are t and 2 equal?
False
Let q = 791/12 + -66. Let m = -19 - -18. Does m = q?
False
Suppose -3*o - 6 = -63. Is 1 greater than or equal to o?
False
Let p(c) = -c**2 - 3*c + 5. Suppose 20 = -q - 4*q. Let x be p(q). Which is greater: -1/7 or x?
x
Let p be 1/3 + (-1)/1. Is 3/4 equal to p?
False
Suppose -29 = 4*m + 11. Let q = m - -5. Let j be (2/(-6))/((-16)/(-192)). Which is bigger: q or j?
j
Let a(n) = -2*n**2 + 2*n + 1. Let p be a(2). Let y be (10/p)/2 - -3. Suppose -s = 2*r - 7, 3*s + 4*r = 4*s + 11. Which is greater: s or y?
y
Let f be 6/(-14) + (-560)/(-294). Let i = f + -15/7. Which is greater: i or -1?
i
Let p = 0 + 2. Suppose 9 = i + p*i. Is i at least as big as 3?
True
Let a(j) = j**3 - 3*j**2 - 5*j + 3. Let v be a(4). Which is bigger: v or -2/7?
-2/7
Let q(m) = m**3 - 6*m**2 - 8*m + 12. Let x(c) = 2*c**3 - 12*c**2 - 16*c + 25. Let k(s) = 7*q(s) - 3*x(s). Let u be k(7). Is -3/5 at most u?
True
Let d be (-171)/33 - 2/(-11). Let g be (-3)/(d + 2)*0. Is 0 greater than g?
False
Let y be (-4)/(-8)*-4 - -1. Let r be ((-337)/(-10))/((-788)/28). Let l = -1/394 + r. Which is bigger: l or y?
y
Let k(o) = 2*o**3 + 2*o**2 - 3*o. Let w be k(-3). Let b = -4 - w. Suppose -5*l - 2*y + b = -6*y, 3*y = -4*l + 6. Is 2 < l?
True
Suppose -5*v = -60 + 10. Which is bigger: v or 8?
v
Let l(n) = -n**3 + 8*n**2 - 18*n + 16. Let i be l(5). Let p = -890/19 - -47. Is p > i?
False
Let h = -8 - -14. Let g be h/((-7)/2 - -2). Is -3 bigger than g?
True
Let q = 130371887/238 - 547783. Let n = -25/14 - q. Which is smaller: n or -0.1?
-0.1
Let p = -2 - -6. Suppose i - 3*s + 15 = 0, -i - 4*s + 10 = i. Let k = i + 7. Do p and k have the same value?
True
Suppose -2*n = -5*f + 9, -3*n - f - 4*f + 24 = 0. Suppose 0 = u - n*u - 2. Do u and -3 have the same value?
False
Suppose -s + 4*o = -0*s - 13, -16 = 4*o. Let a be (s/(-12))/(1/(-3)). Which is bigger: a or -1?
a
Let n = 1 - 1. Let m = -169/63 + 18/7. Do m and n have different values?
True
Suppose 7*t - 24 = 3*t. Is t less than or equal to 20/3?
True
Let n = -325/6 - -54. Let b(w) = -w**3 + 9*w**2 - w + 13. Let h(r) = r**3 + r**2 + r - 1. Let x(a) = b(a) + 2*h(a). Let t be x(-11). Which is greater: t or n?
t
Let j(x) = -2*x + 1. Suppose 0*m = 4*m + 4*c - 4, -2*m - 1 = 5*c. Let l be j(m). Let a = l + 3. Is 0 != a?
False
Suppose 0 = 5*q + 10, 2*q + 34 = -4*f - 3*q. Let k be (-4)/f*(-6)/4. Let a be (-1)/(k + 10/4). Is a bigger than -1?
True
Let c be (-549)/45 + 1/5. Is -12 bigger than c?
False
Let q = 74 + -227/3. Suppose -3*y + 8 = -11*y. Is y > q?
True
Suppose 2*n + 5*j = 7, -4*n + 3*j + 2 = j. Let r = 81/7 + -11. Is n bigger than r?
True
Let g = -10 + 10.2. Let f = 8 + -8.3. Let z = f + g. Which is bigger: z or 0?
0
Suppose -3*k = -3*g + 12, 4*g - 8 = 5*k - 9*k. Suppose 2*l + 0 + 1 = -5*v, 2*v + 7 = -g*l. Which is smaller: 1/5 or v?
1/5
Let s = -3 + 3.1. Let h = -59/2 + 30. Which is smaller: h or s?
s
Let o be 3*1 - (3 - 1). Is -2/19 greater than o?
False
Let m = -16.8 - -15. Let q = m + 0.8. Which is greater: q or -3?
q
Let x(u) = u**3 + 3*u**2 - 4*u. Let h be x(-4). Let t(a) = a**2 + 9*a - 20. Let b be t(-11). Is h smaller than b?
True
Suppose 3*s = -4*m + 16, 3*m = 4*s - 3*s + 12. Let y(k) = -k**2 + 3*k + 1. Let c be y(m). Is c at least as big as -5?
True
Let a = 9 + -19. Let q = a + 8. Let g be 3 - (-42)/(-9) - q. Which is bigger: g or -6?
g
Let t = 20 + -11. Is 2 greater than t?
False
Let i(c) = -c**2 + 10*c + 5. Let m be i(7). Which is smaller: 25 or m?
25
Let m be (2/(-5)*-1)/((-9)/5). Let p(l) = l + 5. Let h be p(-6). Is h at most as big as m?
True
Let j be -3 - -2 - (-3 - 11). Do 2 and j have the same value?
False
Let f be 4/22 - 43/55. Let s be (-4)/(-14) - 12/(-7). Is f greater than s?
False
Suppose 4 = 3*w + 7. Let y be (2/18)/(2/(-3)). Which is bigger: w or y?
y
Let c(h) = -3*h**2 + 4*h - 3. Let k be c(3). Are k and -18 non-equal?
False
Let d = 1.1 + -0.1. Let n = 11 - 7. Suppose -n*w + 0*w = 0. Is d bigger than w?
True
Let w be 908/(-2286) - 12/(-18). Let n be 115/(-254) - (-3)/6. Let g = w - n. Which is bigger: g or 0?
g
Let v be 2*(2 - (-3)/(-3)). Suppose 2*l - 7 = 3*n - 2*n, 3*n + 3*l - 15 = 0. Let y = v + n. Is 2 at least as big as y?
False
Let w = -12 - -15. Let h = 2 - 2. Is w > h?
True
Let n = 3 + -4. Suppose -3*b = 4*b + 7. Let m be (n/(b/1))/(-1). Which is bigger: m or 0?
0
Let y(h) = -h - 3. Let p be y(-5). Let i = 1 + p. Which is greater: i or 0?
i
Let d = -3 + 3.16. Let r = d - 0.06. Let j = -0.1 - r. Do j and 2/7 have the same value?
False
Let k(n) = -n**3 - 6*n**2 - 7*n - 7. Let a be k(-5). Suppose 2*q - 5*q = -2*h + 9, 0 = 5*q - a*h + 14. Let t be (q/2)/(4/(-8)). Is 0 >= t?
False
Let x = -11 + 25. Suppose 4*b - x + 38 = 0. Let o be 5/b + 7/21. Does o = 0?
False
Let n = -10 - -6. Let m be 1/n + 1/(-4). Which is bigger: -3 or m?
m
Let n = -0.01 - 0.09. Let d = -0.2 + 0.23. Which is smaller: n or d?
n
Let v = 10 - 7. Let o be -2 - (-1 + (-9)/v). Let n be 2/o*0/(-7). Is -3 greater than or equal to n?
False
Suppose 0 = -19*i + 8*i + 88. Which is greater: 7 or i?
i
Let i = -10 - -14. Suppose 3*z - i*u = 3, -2*u - 3 + 2 = -z. Which is smaller: z or -1/4?
-1/4
Suppose 3*o = r - 23, 3*r - 10 = 2*o + 45. Suppose r - 2 = f. Let y = 11 - f. Is y greater than -4?
False
Suppose 0 = -2*p - 2*k - 4, 2*p + p - 34 = 5*k. Let m = p + -3. Let l = 4 + -4. Are l and m equal?
True
Let l = 16 + -15.96. Let g be (-2)/(-4)*(-12)/(-15). Which is bigger: l or g?
g
Let y = 9/40 + -199/1240. Is 1/4 at least as big as y?
True
Let u = 0.2 + -0.2. Let d = -4 - -4.4. Let w = d + -0.3. Is w < u?
False
Let s(o) be the first derivative of o**4/4 + o - 3. Let b be s(-1). Which is smaller: b or 1?
b
Suppose -g + 0*g = 3*t - 6, -3*t + 6 = -2*g. Let y = 67 - 69. Is g smaller than y?
False
Let n be 146/(-14) - (-6)/(-24)*-4. Do -8 and n have different values?
True
Suppose -7*p = -6*p + 1. Which is greater: p or -8/21?
-8/21
Let s = 17/22 + -4005/5126. Let f = s + -452/1631. Is f < 0.7?
True
Suppose 3*h = 5*j - 3*j + 12, 3*h = 4*j + 18. Which is greater: 6 or h?
6
Suppose 0*f - 2*f - 3*w - 67 = 0, 4*f + 124 = -4*w. Let r = 18 + f. Does r = -8?
True
Suppose -3*a + 0*a = 5*i + 28, i = -a - 6. Let t(r) = r. Let f be t(a). Which is smaller: f or -5?
-5
Let w = 106531/5 - 21383. Suppose 3*o + 1 = -230. Let d = w - o. Which is bigger: 0 or d?
d
Let z(f) = 5*f + 1. Let x be z(-1). Is x at least -2?
False
Let k(g) = -3 + 2 - g**2 - 7*g - 5. Let v be k(-6). Let o = -0.1 + 0.3. Which is bigger: o or v?
o
Let w = -141 + 1133/8. Let i = w - 7/24. Is i >= 0.1?
True
Let s = 0.09 + -0.19. Is s != 20?
True
Let t = 3508/39 + -90. Is t bigger than 1?
False
Let f = -0.3 - -1.1. Let n = f - 0.7. Which is greater: n or 2?
2
Let t = -726/5 + 16668/115. Which is greater: 0 or t?
0
Let p(i) = i**3 + 24*i**2 + 21*i - 13. Let a be p(-23). Which is greater: a or -0.1?
a
Let d be 5 + 450/(-55) + 3. Which is greater: -4 or d?
d
Let m(i) = i**2 + 5*i + 1. Let o be m(-4). Let g = -31 - -41. Let k b