Suppose -z*y - 21 = -5*y + 2*b, -3*y = -3*b - 24. Is y greater than or equal to 5?
True
Suppose -3*f + 33 = 3*h, -2*h + 66 - 17 = 5*f. Let v be ((-2)/(-3))/((-6)/f). Do v and -1/9 have different values?
True
Suppose 2*c = -2*u - 14, u = 5*c - 0*u + 41. Which is bigger: c or 1?
1
Let j be (-2 + 8)/3 + 2. Suppose -3*x = -2*x - j. Is 4 >= x?
True
Suppose 4*p - 4 - 4 = 0, 0 = -4*j + 2*p + 12. Suppose -j*h - 2 = 2. Which is greater: h or 2/19?
2/19
Suppose 3*q - 2*y - 61 = 2*y, -2 = -y. Suppose l = -4*x + q, 5 = l - 3*x + x. Do 11 and l have the same value?
True
Let u be 3*(-28)/(-3)*-1*1. Is u not equal to -25?
True
Let f = 23 + -14. Is f equal to -0.1?
False
Let f be (12/(-10))/(3/(-15)). Suppose 2*m + p + 23 = -m, 5*m + 4*p + 50 = 0. Let d be (-28)/m + 6/18. Which is bigger: f or d?
f
Suppose n = -2*n - 3. Let x be (21/(-9) - n)/2. Which is smaller: x or 0?
x
Suppose -7*z - 31 + 374 = 0. Is z less than or equal to 49?
True
Suppose 0 = 4*l + 4 - 0. Suppose 18 = -5*a + 93. Suppose 0 = -t - 3*k + a, -25 = -t + 2*t - 5*k. Do l and t have the same value?
False
Suppose 6*w = -0*w + 6. Is w > -2?
True
Let s = -2.5 + 0.5. Let t = -2.046 - 0.054. Let k = s - t. Which is bigger: k or -0.1?
k
Let d be 30/70 + (-4)/(-14). Is 2 less than d?
False
Let r(g) = -g**2 - 7*g - 5. Let n be r(-6). Suppose 0*i - i - 5 = 0. Let f = i + 5. Which is smaller: n or f?
f
Let i = -45 + 27. Which is smaller: -50/3 or i?
i
Suppose 5*l + 6 = 3*l. Let v be l/(0/(-1) + -1). Suppose -2*o - v*a - 17 = 0, -2*o + 4*a + 8 = -o. Is -5 less than or equal to o?
True
Let v be ((-48)/(-18))/(25/(-12)). Let i = v - -366/325. Which is smaller: i or 2?
i
Suppose -4*f + 70 = 2*s, -f + 5*s = -28 + 5. Suppose -7*a + 115 + 11 = 0. Is f at most as big as a?
True
Let z = -23 - -12. Which is bigger: -12 or z?
z
Let r be (-2)/(-3) - (-5)/15. Suppose -3*y + 4*y = -r. Is y at least as big as 5?
False
Suppose -2*s = 5*m + 368887, s + 368922 = -s + 2*m. Let v = 18260942/99 + s. Let i = -20/11 - v. Are 1 and i nonequal?
True
Suppose d + 2*d - 27 = 0. Let t = 8 - d. Let z = t + 2. Which is smaller: -2/9 or z?
-2/9
Suppose 0 = -3*k + 2 + 19. Suppose -3*j + k*j = -3*d - 48, -4*j = 5*d + 40. Let q be (10/j)/((-16)/6). Which is smaller: 0 or q?
0
Let o be 2 - 1*(-3 - -4). Which is bigger: -1 or o?
o
Let v = -1 + 1.09. Let u = v + -0.03. Let g = u + -0.06. Are g and 2 nonequal?
True
Let p = 18 + -18.1. Let d = -0.24 - p. Do d and 0.1 have the same value?
False
Let t(m) = -m + 0*m - 3*m**2 + 2*m**2 + 2 - 1. Let a be t(0). Is 2/25 at least a?
False
Let h be 3/34*16/36. Let o = h - 19/51. Let y = 89 + -447/5. Is y at most o?
True
Let y(h) = h**3 - 31*h**2 + 30*h - 7. Let c be y(30). Is -6 greater than c?
True
Let r(k) = -k**3 - k + 2. Let i be r(0). Suppose -15 = -n - 3*x - 1, -4*n + 26 = 2*x. Suppose 3*v + 4*d = -d - 4, n*v + i*d = 6. Is -1 smaller than v?
True
Let q = -6 + 6.1. Let l = 0 + q. Does l = 3/5?
False
Let v = -4 - -4. Suppose v*x + 4*x - 4 = 0. Which is bigger: -2 or x?
x
Let l = -701.89 - -694. Let k = l + -0.11. Let j = k + 5. Which is bigger: j or 0.1?
0.1
Suppose 5*p = 4*k - 5, -4*k + 5*p = -7*k - 5. Suppose -2*t = 2*w + 2 + 4, k = -4*w + 4*t + 20. Is w at most as big as 0?
False
Let z = -247/605 - -1/121. Is 0 less than z?
False
Let x = 2 + -2.1. Let u = -30/131 - 9151/655. Let r = 14 + u. Which is smaller: r or x?
r
Suppose -v + 4 - 2 = 0. Let t(f) = f**3 + 2*f**2 - 4*f - 3. Let n be t(-3). Let x = n - v. Which is smaller: -1 or x?
x
Let z be (-1 + 2)/(4/8). Let d be -5 - (-1)/2*6. Is z smaller than d?
False
Let m be (-1)/(-3) + (-19)/3. Let s be m/9 + 1/(-3). Which is bigger: s or -3?
s
Let r be ((-6)/(-4))/(1/2). Suppose -3*v + a = r, -3*a = 4*v + 4 - 0. Let s be 0*(v - 4/(-2)). Is 1 bigger than s?
True
Let i(z) = -3*z + 6. Let y be i(2). Is y less than or equal to 11?
True
Let p = 220 + -1978/9. Which is smaller: 0 or p?
0
Let w be (27/(-6))/(2/(-4)). Let k = 89 - 81. Which is smaller: w or k?
k
Suppose -4*p + 9*p - 100 = 0. Suppose -4*a + p = -8*a. Is -3 at most a?
False
Suppose 0 = 3*x - 2*x + 12. Let s be ((-4)/x - 1)*-3. Suppose 7*c - 3*c - 3*p = 9, 3*c + 5*p = 14. Which is smaller: s or c?
s
Let x be (-2)/8 - 221/(-52). Suppose 4*r - 12 = -x*o, -2*o + 1 = 3. Is r equal to 4?
True
Let n(o) = o - 4. Let j be n(5). Let z be (-3)/(-1) - (j - -5). Are z and -3 equal?
True
Let g = 7 + -1. Let r be -4 + 2/2 + -2 + 11. Is g equal to r?
True
Let s = -1033/60 + 101/12. Do s and -9 have the same value?
False
Suppose 26 + 16 = -n. Which is smaller: -43 or n?
-43
Let i(u) = -2*u - 5. Let t be i(-4). Let l be t*((-34)/(-12) + -3). Which is smaller: l or 3?
l
Let v be (-2)/8 + (-5925)/(-24). Let x = -247 + v. Are x and 0 equal?
False
Suppose 2*i = -0 + 8. Is i bigger than 3?
True
Suppose -4*k + 12 + 0 = 0. Suppose 2*s = -0*s - i + 8, -5*i = 5*s - 20. Suppose 6 = -u + s*u. Is u less than or equal to k?
True
Let z be (-26)/14 - (-5)/(-35). Let t(y) = -y**3 - 7*y**2 - y - 7. Let i be t(-7). Is z greater than i?
False
Let g be -6*(4 - 7/(-3)). Is g not equal to -37?
True
Let o = 11 - 11. Is o <= -5/6?
False
Suppose -2*u = -2*c - u + 53, -2*c - u + 59 = 0. Is c greater than or equal to 111/4?
True
Let y be -5*(24/(-10) - -2). Is y smaller than 2?
False
Let x be (-1)/3*4/22. Let i = x - 1/44. Is 1 smaller than i?
False
Let k = -0.09 - -5.09. Let o = k + -2. Let u = -2 + 2.1. Is u less than or equal to o?
True
Suppose 5*x = 5*y - 190, 5*x - 1 = -5*y - 161. Let r = 139/4 + x. Suppose -3*k + 0*k = 0. Is k bigger than r?
True
Let l = -0.14 + 11.14. Let n = -7 + l. Is n less than or equal to -0.1?
False
Let o = 2/117 - 166/585. Which is smaller: o or 2/3?
o
Let d(f) = -22*f**3 - 1. Let q be 4/(-8)*(0 - -2). Let k be d(q). Let n = k + -107/5. Are n and -0.1 equal?
False
Suppose 4*z = -2*p - 3*p + 8, 5*z + 23 = 2*p. Suppose 5*f = 3*m - 12, -1 - 15 = f - p*m. Are -4 and f equal?
False
Let s(l) = -l**3 + 5*l**2 + 5*l + 7. Let v be s(6). Let u = 5.8 + -7. Let r = u - -2.2. Is v at most r?
True
Let j = -15 + 33. Suppose -j = 3*t - 6*t. Suppose t = 2*x + x. Is x at most as big as 1?
False
Let y = -15.8 - -1.8. Let o = -16 - y. Is 3/2 at least as big as o?
True
Let u = -84 - 16. Let a = u - 44. Let b = a - -1298/9. Which is smaller: 0 or b?
0
Suppose -y = -2*g - 0*g + 4, 3*g - y = 5. Let o be 4*((-20)/8 - -1). Let x = 4 + o. Is g at most x?
False
Let k = 20 + -16. Let p = -5 + k. Let d be 9/(-12) + (-1)/4. Is p less than or equal to d?
True
Suppose f - 9 = 3*m, -3 = 3*f - 2*m - 2. Which is bigger: -1 or f?
-1
Suppose 6*j - 4*q = j - 64, 0 = 2*j + 2*q + 22. Let o be (-3)/j - (-50)/(-8). Let f be (-26)/8 + o/(-2). Is f equal to 0?
False
Suppose 0 = -3*n - 15, -j = -0*n - n - 13. Suppose -11*t - 16*t = -162. Which is smaller: t or j?
t
Let z(h) = -h**3 - 5*h**2 - 2*h - 1. Let c be z(-2). Is c >= -8?
False
Let d = 0.1 + 0. Let j = d + -0.2. Let u = 5 + -3. Which is smaller: u or j?
j
Let c be 5/30 - 11/(-6). Suppose 5 = -3*f + c*n + 3*n, 3*f - 2*n = -2. Suppose -1 = -t + 1. Is f equal to t?
False
Suppose 0 = t - 2*t - 1. Let c(a) = -a**3 - 5*a**2 - 4*a + 2. Let h be c(-4). Suppose -g - h = -0*g. Is g smaller than t?
True
Suppose -3*s + 7 + 5 = 0. Let a = s - 2. Let o = -3/14 - -5/7. Which is bigger: o or a?
a
Let q be (2/186)/(2/6). Let v = -5215598/93 + 56081. Let p = q + v. Is -1 less than or equal to p?
True
Suppose 0 = -0*q - 5*q + 82270. Let h = 116041/7 - q. Let m = 123 - h. Which is smaller: 0 or m?
m
Let p = -9 - -9. Let v = p + 0.6. Let z = -0.8 + v. Which is smaller: z or 1?
z
Let o = -2 - -2.3. Is o >= 8?
False
Let t = -115/3 + 38. Suppose 0 = -5*l + 13 + 7, 3*s - l - 11 = 0. Let d(z) = -z**2 + 6*z - 5. Let j be d(s). Is t equal to j?
False
Let w be 1/(1/(-3) - 0). Suppose 5*j + 10 = 0, 4*h + 5*j = 4 + 6. Suppose -y - 28 = -h*a, y + 3*a - 14 = -2. Are y and w non-equal?
False
Let v = 0.065 - -0.065. Which is smaller: -0.6 or v?
-0.6
Let z = 96/7 + -14. Is -6 at least z?
False
Let t(u) = -u - 3. Let b be t(-5). Is b smaller than 5?
True
Let s = 2 - -4. Is 6 less than or equal to s?
True
Let z = -7 + 6.98. Let v = z + 0.12. Which is bigger: 0 or v?
v
Let u = 0.2 + -0.3. Let o = 2.14 - 2.54. Which is greater: o or u?
u
Suppose 0 = 4*v + 5*i - 75, 0 = 5*i - 4*i - 3. Let w be (v/(-3))/((-7)/(-169)). Let d = w - -