e
Let r = 0 + 7. Let y be r/(-63)*3/(-2). Which is smaller: y or 1?
y
Let q(g) = 5*g + 4. Let h be q(2). Which is bigger: 15 or h?
15
Let f = 0.2964 + -25.2264. Let g = 25 + f. Are -2/7 and g unequal?
True
Let v = 0.21 + -0.2. Let d = 0.17 + 0.02. Let i = d + v. Is i > -0.3?
True
Suppose -2*o = -2*q + 10, 0 = -3*q + 4*o + 2 + 16. Suppose 2 = d - 2*i, -5*i - 7 = -d - q. Do d and 4/3 have different values?
True
Suppose -7*q + 3*q = 4. Is q at least -1/2?
False
Suppose 2*h - 5*t - 34 = 0, h + 0*t = 4*t + 17. Suppose 2*j - h = -3. Which is smaller: j or 6?
6
Let u be (12/(-4) - -1)/29. Is -1 >= u?
False
Let x = 17.8 + -18. Are -53 and x non-equal?
True
Let t = -20.7 + 1.7. Let z = -19.1 - t. Which is smaller: z or 0.5?
z
Let k be -3*(2/(-3) + 0). Let h = 15 + -15. Suppose -k*f = -m - 1, 2*f + 2*m + 1 + 13 = h. Is -2 at most f?
True
Let f = -6 - -8. Let b = 4 - f. Does b = 0.1?
False
Suppose t + x - 2 = 0, -2*x - 9 = -2*t + x. Which is bigger: -2 or t?
t
Let j(g) = -g + 2. Let f be j(5). Suppose 9 = -y - 2*y. Is y > f?
False
Suppose 4 = 4*f - 2*f. Which is bigger: -9 or f?
f
Suppose 0 = -5*i - t + 2*t + 24, 5*i + 3*t = 28. Is 5 > i?
False
Let j = 13.2 + -12. Let g = j + -1. Let i = g + -0.2. Are 0 and i unequal?
False
Let a(g) be the second derivative of g**4/12 - 5*g**3/2 - g**2/2 - 2*g. Let z be a(15). Are z and -4/11 non-equal?
True
Suppose 0*w + 3*w = 15. Suppose a - w = -4. Let d = 0 - -1. Is d greater than or equal to a?
True
Suppose -5*c + c - 3*f = -31, -5*c - 5*f + 45 = 0. Suppose 0 = z + 3*v + 4, 2*z = v - 4 - c. Is z not equal to -4?
False
Suppose -5*n - 63 = -4*o - 0*o, 69 = -4*n - 3*o. Which is smaller: n or -16?
-16
Let i(r) = -r + 9. Let j be i(-4). Let y be (4/6)/(j/(-78)). Which is smaller: -1/4 or y?
y
Let w be (3 + -1)*7/2. Which is smaller: 6 or w?
6
Let q(f) = -f**2 - 2*f. Let a be q(-2). Let o = 12 - a. Which is greater: 1 or o?
o
Let y be 11/4 - 4/(-16). Suppose 16 = y*q + 2*r, -2*q = -0*q + 4*r - 8. Let a be (-2)/q - 33/(-45). Is a greater than or equal to 0?
True
Let w = -8 - -7. Suppose 3*j - 5*j = 4. Let u be j/((-14)/(w + -1)). Is -1 less than u?
True
Let u = -3/16 + 117/112. Does 2 = u?
False
Let s be 2/12 + (-172)/24. Which is smaller: -8 or s?
-8
Let k(o) = o**2 + 3*o + 4. Let y be k(-3). Suppose 4*j - y - 4 = 0. Which is smaller: 4/3 or j?
4/3
Suppose 10 = -5*t - 0*t. Let j = -12 - -12. Is t bigger than j?
False
Let m = 10601/117 - 857/9. Which is bigger: m or -4?
-4
Suppose -3*d = 332 - 68. Is -87 greater than or equal to d?
True
Let j = 0.56 + 0.44. Is j at least as big as 1?
True
Let k(i) = -i**3 + 4*i**2 + 3*i + 4. Let y be k(4). Let o be (5/2)/((-24)/y). Is o at least -2?
True
Suppose -2*q = -3*q + 1. Let u = 2 + 6. Suppose -4*h = u, h + 3 = l - 0*h. Are l and q nonequal?
False
Let v(r) = -r**3 + 10*r**2 - 9*r + 3. Let s = 9 + 0. Let m be v(s). Let j = m + -29/9. Which is bigger: j or 2/5?
2/5
Suppose t + 2*t - 24 = 0. Which is bigger: 7 or t?
t
Let m(b) = -b**2 + b - 6. Let x be m(2). Which is bigger: -1/4 or x?
-1/4
Let f = -7.6 - -7. Let n = -0.7 - f. Which is greater: n or 2/3?
2/3
Let j be (-18)/54*(-1 + (-1)/(-1)). Which is smaller: -3/29 or j?
-3/29
Let v be (22/(-10) + 3)*30. Is v equal to 24?
True
Suppose 5*p - 16 - 89 = 0. Suppose 6 - p = 5*l. Which is smaller: l or -8/3?
l
Suppose -1390 = 2*u + 3*u. Let z = u - -3060/11. Is 0 at least z?
False
Suppose -12 = 4*a, 4*o - 7*a = -2*a + 27. Suppose o*t + 6 = -0. Let x = -3/7 - 1/14. Is x equal to t?
False
Suppose -v - 3*v - 3*z = -19, 4*z + 8 = 3*v. Is v less than or equal to 2?
False
Suppose 3*c = -4*c - 133. Which is bigger: -18 or c?
-18
Suppose -49 = 4*y + 71. Let g be (-4)/(-5)*y/6. Let k be 0/4 - g/10. Is -1 at most k?
True
Let v(j) be the first derivative of j**2 + j + 7/4*j**4 + 1/3*j**3 + 2. Let n be v(-1). Is -6 > n?
True
Let i = 8 - -2. Suppose i = -3*g - 2*g. Suppose 3*l + 0 = -2*a - 4, -l + 4*a - 20 = 0. Which is smaller: l or g?
l
Let h = -0.3 + -0.7. Let i = 0.8 + h. Let n = 21 - 22. Which is bigger: n or i?
i
Suppose 0 = -t + 4*r + 12, 3*t - 5*r = -0*t + 15. Which is greater: t or -3/11?
t
Let v = -202826/16135 - 2/2305. Let l = 136352/11641 + 2/1663. Let c = l + v. Is c less than 0?
True
Let s(a) = -a**2 + 10*a + 4. Let p be s(8). Let h = -14 + p. Suppose -4*g + h = -2, g - 4 = d. Is -4 != d?
True
Suppose 3*i = 5*i - 14. Suppose -4*n + 21 = -i*n. Let m be (-1)/1 - (-1 - -8). Which is smaller: m or n?
m
Let c be 1 + (-3 - -2 - -1). Let w be (-1)/c*(-1)/(-3). Is w <= 0?
True
Suppose -3*q + 1 = -86. Are q and 28 nonequal?
True
Let m = 7 + -4. Suppose 2*l = m*l - 2. Suppose -q = l*q. Which is bigger: 1 or q?
1
Let j = -10 + 6. Let z = j - -4. Let f be 2/2 + 7/(-4). Which is smaller: f or z?
f
Let g = 23 - 13. Let x(u) = -5*u - 1. Let o be x(-1). Suppose 5*r + 13 = -2*j, 2*r = o*j - j + g. Is -1/12 greater than or equal to r?
True
Let c(t) = 4*t - 1. Let r be c(4). Which is greater: r or 16?
16
Let j be 1*-6*(-3)/(-2). Let m be ((-4)/(-6))/(2/(-6)). Let x be ((-6)/j)/m*6. Is -2 smaller than x?
False
Let j(l) = -l**2. Let q be j(2). Let a = 2 + 2. Let o = q + a. Which is smaller: 3 or o?
o
Let r = 8 + -9. Let u = 9 + -4. Which is smaller: r or u?
r
Suppose u - 2 - 6 = 0. Suppose u = g + g. Suppose 0 = -265*k + 262*k + 12. Is k equal to g?
True
Let i = 69 - 56.7. Let m = -13 + i. Let a = m - 0.3. Does a = -1/4?
False
Let a = 4 - 7. Let k = a - -3. Is k <= 5/6?
True
Let d = -45 + 29. Is d not equal to -15?
True
Let p = 2/4171 + 2239813/29197. Let o = p - 77. Suppose 0 = h + h + 4*z - 18, z - 5 = 0. Which is bigger: o or h?
o
Let n = 32229251/267064380 + 1/1277820. Let s = 2/209 - n. Which is smaller: 0.1 or s?
s
Let r be (-147)/(-14)*(-4 - -2). Is r > -20?
False
Let t = -897 + 1751/2. Let l = 22 + t. Which is smaller: 4 or l?
l
Let d = -5 - -3. Let q be (1 - 3)/(1/9). Let v = -37/2 - q. Is d at least as big as v?
False
Suppose 2*l + 6 = 22. Let a = l - 0. Suppose 2*t - q = -4*q + 2, 5*t + a = -q. Does -1 = t?
False
Suppose -4*v = -8 + 8. Suppose -2 = -w - l, 16 = -0*w - 4*w + 4*l. Let d be -4*((-19)/(-18) + w). Which is bigger: v or d?
v
Let c be (-5)/12 + 4/6. Suppose 59 = 9*s + 14. Which is bigger: c or s?
s
Suppose -4*l + 6 = -10. Suppose 2*u - 5*u - 4*v + 40 = 0, -4*u + 52 = 4*v. Suppose m + l = -q, 4*m + 3*q - q + u = 0. Which is smaller: m or -3?
-3
Let r(k) = -k. Let p be r(4). Let b be (-48)/(-21) - p/(-14). Is 3/5 smaller than b?
True
Let q = 1.9 + -1.9. Let w = -10.1 + 0.1. Is w at most q?
True
Let x = 1 + -1. Suppose 3*z - z + 6 = x. Let h be (1/7)/(1/z). Which is greater: h or 0?
0
Let h = 89 + -85. Let s(j) = j + 4. Let o be s(-6). Let a = 0 - o. Which is smaller: a or h?
a
Let u = 6 - 1. Which is greater: u or -0.1?
u
Let m = -13 - -25. Let x = 12.1 - m. Is x greater than -0.2?
True
Suppose -3*u - 8 = -6*y + 2*y, 0 = 4*u + 3*y - 31. Suppose -12 = -u*g - 0*g. Are g and 7/3 nonequal?
True
Let t = 0 + 3. Let n(i) = -2*i + 1 - 3 + t*i. Let s be n(0). Which is smaller: 0.1 or s?
s
Let h be -3 - (-1 - 192/78). Is h less than 1?
True
Let q = 23 + -23.1. Let d be (-1)/((-4)/2*-1). Is d >= q?
False
Let y = -29 - -7. Let f be 10/(-55) + 150/y. Is -7 smaller than f?
False
Suppose 0 = 3*f + f + 16. Let c(l) = -l**3 - 3*l**2 + 2*l - 1. Let o be c(f). Suppose 2*x - 9 = 2*w + o, 2*w - 47 = -5*x. Is 9 > x?
False
Let y = -30 - -30.92. Let d = -0.08 - y. Is d at least as big as -1?
True
Let a = 8.98 + -9. Let o = a - 0.08. Which is smaller: 0.2 or o?
o
Let c(l) = -2*l**2 - 4*l + 8. Let q(w) = -w**2 + w. Let i(u) = c(u) - 3*q(u). Let v be i(6). Let o = 57 + -57. Which is bigger: o or v?
v
Let q = 0.95 + 0.05. Let l = -3.03 - -0.03. Let m = l + q. Is -2/5 bigger than m?
True
Let b = -7 - -6. Let s be -2 - -4 - (-64)/(-34). Is b at least as big as s?
False
Let q(g) = 2*g + 9. Let c be q(-10). Let d(y) = -y - 8. Let p be d(-6). Let r be 92/22 - p/c. Are 4 and r equal?
True
Suppose -2 = -7*m + 5*m. Which is smaller: m or 1/2?
1/2
Let h(a) = 5*a + 31. Let y be h(-11). Is y at most as big as -25?
False
Suppose 0 = 12*q - 13*q - 1. Is -2/5 != q?
True
Suppose 5*n + j - 90 = 0, n = -6*j + 4*j + 18. Let z be -1 - n/(-14)*1. Which is greater: z or 1?
1
Let s be (-5)/(-6)*25568/(-72). Let u = -296 - s. Is u bigger than 1?
False
Suppose -5*g + 105 = 2*d, -g - 2