 -5*a - 25. Suppose k = -4*w + g - 1, -4*w = w + 2*g + 11. Which is greater: -1/19 or w?
-1/19
Suppose 0 = -0*z + 4*z + 96. Is -23 less than or equal to z?
False
Let v(o) = o**2 + 5*o + 5. Let g be v(-4). Suppose 0 = -k + 5 - g. Suppose -b = k*b. Which is smaller: b or 2/5?
b
Let l be (-2)/(-4) + (-6)/(-4). Suppose 0 = -n - l + 4. Which is smaller: 0 or n?
0
Let v = 15 - 22. Let g = v + -1. Which is smaller: g or -7?
g
Suppose 0 = r + 4*r. Let x = 0.4 + -1.4. Is x <= r?
True
Let t be (-820)/(-2016) - 12/32. Which is greater: 0 or t?
t
Suppose -234*p + 230*p = -16. Let d = 14 - 10. Suppose 0 = 3*t + d*n + 14, 4*t + 1 + 1 = -2*n. Is t bigger than p?
False
Suppose 5*o - 620 = -115. Is 2/7 > o?
False
Let g = -2 - -0.7. Let x = -1.2 - g. Which is greater: -1.9 or x?
x
Let s = -2 - -2. Let l(z) = -2*z - 7. Let d be l(-5). Let n = 4 - d. Which is bigger: s or n?
n
Suppose -21*f + 25*f - 12 = 0. Suppose 0 = -5*r - 4 + 19. Are r and f non-equal?
False
Let m = -14.6 + 13. Let y = m - 8.4. Let a = 10 + y. Is a greater than or equal to 2/15?
False
Let z be 1 - (4/2 + 2/(-11)). Which is smaller: z or -2?
-2
Let y be (-11)/(-20)*(-12612)/(-9). Let a = y - 771. Are a and 0 unequal?
True
Let g(a) = 5*a**2 - 2*a - 1. Let j be g(-2). Let d = j + -18. Is d <= 6?
True
Let i = 0 + -1. Suppose 0 = -v + 2*v. Let h = v - 3. Is h less than i?
True
Let v = -0.3 + 0.6. Let f = v + -0.8. Let n = f - -0.5. Which is smaller: -1 or n?
-1
Let z be 15/(-6)*2*-1. Suppose -20 = -z*i - 0*i. Is i >= 4?
True
Let x be (-105)/39 + (-5 - -8). Which is greater: -0.3 or x?
x
Let k be (2/(-5))/(2/(-10)). Let o be -2 - (-4 + k - 2). Let s = o + -3. Do s and -1 have the same value?
True
Let n(u) = -3*u + 4. Let g be n(1). Which is bigger: 2/29 or g?
g
Let j be -2 - 16/10 - -4. Which is greater: j or 0?
j
Suppose -m = 4*r + 20, m - 3*r - 20 + 5 = 0. Suppose -4*g = 2*u + 3*u - 18, 5*u - 5*g = m. Let v be u/10 + 57/15. Are v and 4 unequal?
False
Let n be 0/3*-1 - 0. Let j = -6928/35 + 198. Which is bigger: n or j?
j
Let f be 0 + 0 + -1 + 1. Let i be (-4 + 6 - (1 + 1))/(-1). Is f less than or equal to i?
True
Let k = -153 + 1375/9. Let d = 0.58 - 0.38. Is d bigger than k?
True
Let t be ((-2)/5)/((-4)/10). Let c be 412/(-16) - 2/8. Let h be c/(-40) - 4/10. Which is greater: t or h?
t
Let j(v) = -2*v - 4 - 6*v + 5 - 2*v. Let t be j(-6). Let h = -426/7 + t. Which is smaller: -1 or h?
-1
Suppose -v + 4 = -0*v. Let c(i) = 4*i + 4. Let l be c(v). Suppose -10 = -2*y + 5*m + 10, -5*m = -5*y + l. Is y != 0?
False
Let i = -72 + 502/7. Is i > 1/5?
False
Suppose 5*h = 18*h + 13. Which is smaller: -9/7 or h?
-9/7
Let j(c) = 6*c + 51. Let q be j(-10). Which is greater: -8 or q?
-8
Let i(x) = -3*x**2 + x - 1. Suppose 3*n - 7 + 4 = 0. Let b be i(n). Is -3/2 <= b?
False
Let d be -2 - (27/(-3))/3. Is d greater than 3/10?
True
Suppose 6*s = -5*s - 110. Which is smaller: 1 or s?
s
Let r = -1.02 - 0.08. Let v = r - -1.19. Let b = v + 0.41. Are 1 and b non-equal?
True
Let k = -28 - -34. Let d be 24/k + (-46)/11. Is 0 <= d?
False
Let m = 21 + -21.4. Is m at least as big as 1?
False
Let b(j) = j**3 + 10*j**2 + 12*j + 17. Let d be b(-9). Does d = -9?
False
Let p be -2 + 1 - (-9)/(-3). Let h be (-4 - -1)/((-18)/p). Which is bigger: h or -2?
h
Suppose -4*s = -16 - 4. Which is smaller: s or 6?
s
Let y(b) = b + 6. Let c be y(-5). Let v = -1346801 + 30964553/23. Let u = 516 + v. Which is greater: u or c?
c
Let g = 16 + -16. Is g at least -6/19?
True
Let q = 0.12 - 0.12. Which is smaller: q or 7?
q
Let c(h) be the third derivative of -h**5/60 - 17*h**4/24 - 7*h**3/3 - 4*h**2. Let s be c(-16). Let a = -32 - -67/2. Which is smaller: s or a?
a
Suppose -4*h + 22 = -2*i, 7*i = 2*i - 4*h - 13. Let z be 4/10 - 3/i. Let x be (-1)/(-1*39/(-6)). Which is bigger: x or z?
z
Suppose 3*u = -3*t + u + 3, 4*t = -5*u + 4. Let x(o) = 2*o**2 + o. Let c be x(t). Let f be c/(-2)*5/15. Which is smaller: f or -1?
-1
Let n = -16/165 - -401/9240. Which is bigger: n or -1?
n
Suppose 6 = 5*v - 4. Suppose -3 = v*n - 1. Let s be (-6)/(-4) - n/2. Do 4/7 and s have the same value?
False
Suppose -n = -10*n - 9. Let r = 0.2 - 0.24. Which is bigger: n or r?
r
Let i be (-24)/(-10) + (-18)/(-30). Which is smaller: 3/2 or i?
3/2
Let s = -0.4 - -3.4. Let q = -2.99 - 0.31. Let b = q + s. Which is bigger: 0.2 or b?
0.2
Suppose -4*d = 2*n + n + 103, -133 = 5*n - 3*d. Let i = n + 59/2. Which is greater: i or 1?
1
Let m be 2/6 + (-238)/(-6). Let d = -66 + m. Let t be (2/d)/((-1)/(-2)). Is 1 greater than or equal to t?
True
Let f(w) = -w**2 - 4*w - 1. Let q be 8/28 - (-23)/(-7). Let v be f(q). Is v bigger than 1?
True
Let z(d) = d - 7. Let h be z(6). Suppose 0 = -2*v + 3*v - 2. Let c(l) = -l**3 + 2*l**2 - l + 2. Let t be c(v). Which is smaller: h or t?
h
Let v be 1*(-2 + 4) + 46. Suppose 3*x - 9 + v = 0. Let a be (1*4/(-2))/x. Which is smaller: a or -1?
-1
Suppose 4*k + 3*h - 18 = 8, 2*k - 2 = 4*h. Suppose 2*j = -5*g + 4*j - 25, 0 = -j - k. Are g and -7 equal?
True
Suppose 3*s - 24 = -9. Which is smaller: 7/2 or s?
7/2
Let t = -1/452 - 78161/15820. Let p be (2/14)/(2/(-72)). Let j = p - t. Do j and 1 have the same value?
False
Let r = -20 + 18. Which is smaller: r or 8?
r
Let x be 4 + (-1 - 0)*2. Let k(h) = 5 - 5 - x*h. Let p be k(1). Is p greater than -3?
True
Let t = 39 + -35. Does 2 = t?
False
Let g = 6 + -5. Is g < -2?
False
Let d be (-3)/(3 - (-1 + 3)). Let f = 1 - d. Suppose w - f*w + 12 = 0. Is w less than 3?
False
Let i = 5.07 - 0.07. Let t = i - 3.1. Let h = t - 2. Is 2 equal to h?
False
Let d be 10/30 - 17/(-3). Suppose 2*q - 2 = d. Let p = -153 + 469/3. Is p at most q?
True
Let q = -0.394 + -1.196. Let h = q + -0.21. Let v = h - -2. Which is smaller: -2/5 or v?
-2/5
Let v(y) = 12*y + 5. Let p be v(-8). Let w = p + 729/8. Which is smaller: w or 0?
0
Suppose 2*f - 14 = -5*x, 0 = -f - 0*f + 5*x - 23. Let r = -3/4 + -3/4. Do f and r have the same value?
False
Let x = 168 + -1178/7. Is x equal to 22?
False
Let x = -6 - -33. Do x and 26 have the same value?
False
Let d(h) = -h**3 + h - 14. Let k be d(0). Are -29/2 and k nonequal?
True
Let y be 25/35 - 2/(-7). Which is smaller: y or 1/20?
1/20
Let c be (-2)/5 - 22/(-30). Let l = 2.5 - 3.5. Do c and l have the same value?
False
Suppose 3*t - 4 - 3 = -4*q, 0 = -4*t - 3*q. Let m(s) = s - 2. Let i be m(5). Let r = 0 - i. Is r <= t?
True
Let g(j) = j + 7. Let l be g(-5). Let p be (-10)/(-35)*(l + -3). Suppose -i = 4*d - 3*i + 28, 5*d = 5*i - 35. Is p bigger than d?
True
Let l be 5/(-10) + 6/4. Which is bigger: -4 or l?
l
Let u be (3 + 20/(-6))/(3/(-207)). Which is smaller: u or 24?
u
Let b = -0.1 - -0.1. Let s be (-2)/(-6) - 22/3. Let j = 10 + s. Which is bigger: b or j?
j
Let j be 3 + 0 - 2/(-2). Suppose -j*z = 11 - 3. Is z > -3/4?
False
Let z = 473 - 29798/63. Which is smaller: 0 or z?
0
Suppose -t + 1 = -0*t. Is 4 <= t?
False
Let t be 1*-5*12/(-20). Let x = t - 0. Let f be -1*((-2)/2 + -2). Are x and f equal?
True
Let k(p) = -2*p - 6. Let b be k(-4). Suppose o - 2*o = 12. Let c be ((-6)/(-7))/(o/(-21)). Is b >= c?
True
Suppose -2*u = -u - 8. Let f = -3 - u. Is -11 less than or equal to f?
True
Let b = 0.4 + -0.2. Let i = b + -0.3. Let p = i - -2.1. Is -1/2 equal to p?
False
Let p be 3/(-4) + (-25)/4. Let a be p/(-20) - 2/(-5). Is 2 less than a?
False
Let k be -34*(-1)/8*-4. Which is smaller: -16 or k?
k
Let v be 3/(-12)*-2*10. Suppose v*p - 3*t = 21, 0*p - 4*t - 23 = -5*p. Suppose 0 = -p*m + 2*m. Which is greater: 1 or m?
1
Let o = -4 - -4. Let q = -2.9 - 0. Let p = 3 + q. Which is smaller: o or p?
o
Let y(q) = 3*q**3 + q**2 + q + 12. Let f(u) = -2*u**3 - 2*u**2 - 2*u - 11. Let p = 10 - 7. Let o(j) = p*y(j) + 4*f(j). Let r be o(6). Is -1 <= r?
False
Suppose 7*a - 2*a = 40. Which is smaller: 1 or a?
1
Let r be ((-10)/15)/(-2*1). Which is smaller: -2/5 or r?
-2/5
Let p = 7.01 + -0.01. Let s = p + -6. Let a = -0.4 + 2.4. Which is smaller: s or a?
s
Let t = -0.62 + 0.52. Let q = 0.25 + -0.3. Which is smaller: t or q?
t
Let m = 55 + -55. Which is bigger: 6 or m?
6
Let u(v) = -2*v + 2 + 0*v + 3*v. Let a be u(2). Suppose 0 = -3*z - 6, -5*f = -f - 2*z + a. Is -4 bigger than f?
False
Let j(y) = -y**3 + 8*y**2 + 10*y - 9. Let z be j(9). Which is greater: z or -0.3?
z
Let p be -2 - (-2 - 1) - -1. Is p >= 3?
False
Let r(