ppose -5*v = -0*p + 2*p - l, 4*v + 2*p = 16. Do v and s have the same value?
False
Let p be 3*(24/30 + 34/(-30)). Let b = 846 + -2594/3. Let h = -19 - b. Which is smaller: p or h?
p
Suppose 1 = -j - 3*q, -2*q = -2*j - q + 5. Suppose -l - 7 = b, 0*b + 2*b + 6 = j*l. Is l <= -2?
True
Let l(j) = j**3 - j**2 + j - 11. Suppose 2*w + 4*o + 4 = 0, -5*w - 3 + 1 = 2*o. Let x be l(w). Is x <= -11?
True
Let f = 321/5738 - 1/302. Which is bigger: 1 or f?
1
Let q = 2 + -2. Let k be (-2)/(4/11)*-1. Let i = 5 - k. Is i at least as big as q?
False
Let h = -4/35 - 2/7. Let i = 1.88 + -1.48. Which is smaller: h or i?
h
Let b(q) = 3*q - 32. Let c be b(11). Is c equal to -2/103?
False
Suppose 6*g - 2*g - u = 2, 3*u + 6 = 3*g. Suppose f + f + 4*h + 16 = g, 0 = -3*f + 3*h + 12. Is f > 0?
False
Let c be (4/10)/(2/10). Suppose -o + 3 - c = 0, -p = 5*o - 3. Suppose -3 + 0 = 3*f. Which is smaller: p or f?
p
Let x = 3 + -3.5. Let n = 0.6 + -0.1. Let v = n + x. Which is smaller: 1 or v?
v
Let k = -2 + 0. Let o be k/7 + (-46)/(-14). Suppose -o*x = -2*x. Is x <= -2/3?
False
Let g = 95 + -102. Let r = 0 + 1. Which is smaller: r or g?
g
Suppose -3*w = -2*k + 61, -w - 9 - 7 = -5*k. Let p = 1 + w. Let a = p - -13. Are a and -6 non-equal?
True
Let a = 107 - 108.01. Let s = -0.01 - a. Suppose -2*l - 2*l = -24. Does s = l?
False
Let a(p) = p. Let l be a(5). Let i = 8 - l. Which is smaller: i or 2?
2
Suppose 3 = -2*u - 5. Is -0.1 equal to u?
False
Let w = 4/17 + 40/119. Suppose -3*s + 8*s = 0. Which is smaller: w or s?
s
Let x(s) = s**2 + 5*s - 1. Let t be x(-4). Let p = 6 + t. Is p != 0?
True
Let j be 430/(-243) + 2 + 26/(-117). Is 0 < j?
True
Suppose 0 = h - 0*h - 5*v + 11, -5*v + 31 = 4*h. Let s be 10/(-25) + h/10. Is s greater than -2/19?
True
Suppose -6*n = -3*n + 6. Let k = n - -1. Which is greater: k or 2/9?
2/9
Let q(n) = -n**2 + 5*n + 7. Let b be q(5). Let f = -5 + 2. Let d = b + f. Is -1 at most d?
True
Let z(q) = -q**3 - 7*q**2 - 7*q - 5. Let v be z(-6). Is v greater than 2/43?
True
Suppose -4*j + 4*a + 24 = 0, a + a - 12 = -4*j. Which is smaller: 13/5 or j?
13/5
Let o = 3 + -2.8. Let k = -3.7 + 0.7. Do k and o have the same value?
False
Suppose 0*z + 2 = -2*z. Is -3/5 != z?
True
Let w be (3 - 0)/((-6)/4). Let s be w*(-15)/12*2. Suppose 0 = -2*r + r + s*f + 15, -r + 4*f = -13. Which is smaller: 4 or r?
4
Let m be 252/66 + (-4)/(-22). Let t be ((-3)/5)/(m/20). Let l be 2/t + (-5)/(-3). Which is bigger: l or 1/2?
l
Suppose -4*q - 15 = v, -2*q - 3*q + 4*v - 3 = 0. Is q < -2?
True
Let g be (-8)/(-6)*12/8. Suppose -g*f + 2 = 5*p, -3*p = p. Is 5/6 >= f?
False
Let b(l) = 2*l + 1. Let v be b(1). Suppose 29 = v*n + 4*i, 0*n + 3*i = 5*n. Is 3 <= n?
True
Let c = 58 + -117. Is -59 smaller than c?
False
Let h = 109 - 70. Suppose h = 5*p - 21. Let l be (0 - 0)/(p/(-6)). Is l at most as big as -4/7?
False
Let j = -73 + 71. Is -5/8 equal to j?
False
Let c = -5 - -4.92. Let i = -1.08 - c. Is -0.1 greater than i?
True
Let t be (4 + -4)*(-1 + 2). Let s(j) = -j**3 - 6*j**2 + j + 5. Let r be s(-6). Which is greater: t or r?
t
Let l(z) = z - 4. Let m be l(3). Let a = m + 2. Let v be a + (-2)/18*11. Is -0.1 >= v?
True
Suppose 0 = -d + 4, 5*f - 10 - 9 = -d. Suppose -h = -i + 3*h - 15, -f*i - 4*h + 19 = 0. Does i = -1?
False
Suppose 4*y - 2*c - 1 + 3 = 0, 12 = 4*c. Let s(t) = -y - 6 + 5 + t. Let p be s(0). Which is greater: -1 or p?
-1
Let j be 9/(-21) - -1 - 3/(-7). Is j greater than 7/5?
False
Let h = -0.15 - -0.25. Which is bigger: h or 2?
2
Suppose 5*j + 2*m - 140 = -2*m, -j + 22 = 2*m. Is 32 equal to j?
True
Let c = -0.6 + -0.4. Let q = 1 - 0. Which is bigger: q or c?
q
Let n = 231240 - 5785572/25. Let i = -183 - n. Is 0 not equal to i?
True
Let n be (4/16*-2)/1. Is -1/23 bigger than n?
True
Suppose 25 = 5*h, 0*l = -5*l + h - 30. Let c = 12 + -16. Which is smaller: l or c?
l
Suppose -2*s - 425 = -5*z + 431, -5*s = -4*z + 695. Let i be (-6)/(-15) - 70258/z. Let m = i - -413. Which is greater: 0 or m?
m
Let t = -106463 - -854339/8. Let f = 329 - t. Let y = 1 - 1. Is y < f?
False
Let p be 0/(1*(0 + -1)). Suppose z - 2 - 1 = -2*n, 5*z - 4*n - 1 = p. Suppose 0 = -c + 5*c. Is c at most as big as z?
True
Let j(y) = -y**3 - 7*y**2 + 3*y + 2. Let g be j(-2). Which is smaller: -25 or g?
-25
Let j = -5 + 13/3. Let r be 4/14 + (-32)/308. Is j > r?
False
Let n be (-2)/3 + 11/3. Let t(o) = 2*o**2 - o. Let u be t(2). Suppose 2*b + 12 = u*b. Is n greater than b?
False
Let k be (-1 + 15)/(-2 + 13). Let m = k - 120/77. Let t = -0.1 + 0.1. Is t bigger than m?
True
Suppose -2*t + 2*w = 0, -4*t = -6*t - 3*w + 10. Let c = 5 - t. Suppose -l + c*s - 1 = 3*l, 0 = 4*l - 4*s. Is l less than -1/5?
True
Let w be 6472/(-3*(-6034)/(-4)). Let i = 2/1293 + w. Let n(m) = -m**3 + 23*m**2 - 3*m + 67. Let k be n(23). Is k less than or equal to i?
True
Suppose 0*p + 3*p = 12. Let i be (-38)/(-26) - p/14. Let o = i - 19/13. Which is greater: o or -1?
o
Suppose 79 = 4*q + 15. Does 18 = q?
False
Suppose 4*h = 2*h. Suppose h*u - 4*u = 8. Let j = 8 + u. Which is smaller: -1/4 or j?
-1/4
Let d(b) = -b**3 - 6*b**2 - 3*b + 7. Let x be d(-5). Let m = -3 + x. Let f = 6 + m. Which is greater: -1/5 or f?
f
Let i = -0.71 + 0.7. Let f = 201/4 - 50. Which is bigger: f or i?
f
Let c = 18 + -6. Which is bigger: -0.1 or c?
c
Let c = -1165/12 - -97. Are c and -1/4 equal?
False
Let b = 0.8 + 2.2. Which is smaller: b or -0.01?
-0.01
Suppose -2 = -p - 6, -3*p = 2*c + 10. Is c < -1/123?
False
Let c(h) = h**2 + 5*h - 8. Let o be c(-7). Let r = o + -6. Is r greater than -2/5?
True
Suppose 7*l = 3*l + 8. Let i be (-2 + 4)*l/6. Suppose 2*o + 1 = 3*o. Is o less than i?
False
Let b = -33 + 33. Which is bigger: b or 3/7?
3/7
Let w = 11 + -17. Which is bigger: -1/3 or w?
-1/3
Suppose 0 = 4*l + 4, -u - 4*u + 133 = 2*l. Is u equal to 27?
True
Let k = -74 + 668/9. Which is bigger: k or 0?
k
Let b be (-50)/12 - (-2)/(-3). Let r be (1/(-10))/((-54)/3015). Let m = b + r. Which is smaller: m or 1?
m
Let v = -40 + 39. Let q = 3 - 6. Which is greater: v or q?
v
Let w = -4210/13 + 324. Suppose v + 3*v - 20 = 5*n, 0 = -4*v - 2*n - 8. Is w != v?
True
Suppose 5 - 32 = -3*w. Let b(f) = f - 22. Let c be b(w). Is c at least -13?
True
Let v = 0.06 - 0.06. Let t = 1 - v. Which is smaller: 2 or t?
t
Let u = -27 + 32. Suppose -3*m + 6 = 2*j, m + 0*m + u*j = 15. Is 1/5 at most as big as m?
False
Let s = -115 + 69. Let n = -8534 + 42901/5. Let i = n + s. Is -1 less than i?
True
Suppose 2*s = -3*s. Suppose 2*h = 3*w + 52, s*w = -h - 3*w + 26. Let d be h/7 - (-4)/14. Which is greater: d or 2?
d
Let k = -2 + 1.95. Let p = 614/7 + -88. Which is smaller: k or p?
p
Let j be (1/1 + 0)*-1. Suppose -5 = -2*g + 1. Let n be 12/(-32)*(-2)/g. Is n <= j?
False
Let v(l) = -l - 2. Let r be v(-2). Let s be 1*(-3 - 23/(-9)). Is r at least s?
True
Let y be (-1)/(0 - (1 - 0)). Is y not equal to -7/6?
True
Let o be -2*2/10 - 713/230. Suppose 0 = -2*b - 2*b - 12. Is o < b?
True
Let v = 2882 + -2900.27. Let q = -18 - v. Let w = -0.07 + q. Which is smaller: -2 or w?
-2
Let c = 0.67 + -1.67. Is 1/47 > c?
True
Let w = 32 - 97/3. Does -2/7 = w?
False
Let n = -0.7 - -0.4. Let u = n - -0.3. Which is bigger: -2 or u?
u
Let t(d) = -d**3 + 4*d**2 + 6*d. Let z be t(5). Is z at most 5?
True
Let y be 0/(-1*(2 + -1)). Let p = -1 + y. Is 4 != p?
True
Let y = 3 + -1. Suppose 4*o = y*g + 24, g + 2*o = 6*o - 22. Let i be (g/(-6))/((-1)/3). Does -2/9 = i?
False
Let b = 36 + -18. Let w be b/4*26/6. Let u = 20 - w. Is 1 smaller than u?
False
Suppose -4 + 0 = -2*f. Suppose -w = -3*w + f. Let k be (-2)/10*(2 + -5). Which is greater: k or w?
w
Let k(b) = -627*b. Let g be k(1). Let v = g + 4381/7. Which is greater: -1 or v?
-1
Let k = 13 - 9. Let b be 4*((-7)/k + 2). Let w be 2/4*(1 - -1). Is w greater than b?
False
Suppose 8 = -3*g - g, -5*x - 2*g = -16. Let d(f) = -f + 5. Let h be d(x). Which is bigger: -2/31 or h?
h
Suppose 2*b = b - 1. Let v be b + -6 + 4 + -3. Let i be (-8)/(-6) + 2/v. Which is bigger: -2/9 or i?
i
Let j = -16 - -36. Let l be j/(-24) - 3/18. Which is smaller: l or -5/7?
l
Let a(y) = -y**3 - 3*y**2 - 4*y - 3. Let q be a(-3). Let p = q + -9. Is p less than -6/7?
False
Let h = -31 - -32. Is 2 at most as big as h?
False
Suppose 0 = 3*t - 15, -q - 6 - 1 = -2*t. Which is greater: -2 or q?
q
Let s = -926/