2 less than i?
False
Let t = -30 - -18. Let m = t + 14. Is 2 > m?
False
Suppose -185*z + 187*z = -2. Which is bigger: z or -1/117?
-1/117
Let h be (2 - (-152)/(-35)) + (-5)/(-35). Is h >= -2?
False
Let z(q) = q**3 - 6*q**2 + 5*q - 3. Let r be z(5). Let a(w) = -2*w - 4. Let b be a(-5). Suppose -3*u = -5*c + 20 + 1, 2*c = b. Which is smaller: u or r?
r
Suppose -4*i + 3 = -5. Is i >= -1.1?
True
Let o = 3.6 + -0.6. Let a = o - 1. Let i = -0.5 + 1.5. Which is greater: a or i?
a
Suppose -3*p + 12 = 2*a, -4*p - 3*a + 12 = a. Let s(j) = j - 5. Let u be s(p). Let r be (-6)/8 - u/(-4). Which is smaller: 0 or r?
r
Suppose -6 = -4*j + 2. Let k be (1 - 0)*j/3. Is k != 0?
True
Suppose -18*u + 21*u = 102. Is 33 < u?
True
Suppose -4*u + 2 = -2*t, -5*u = -9*u - t - 13. Let m be 384/(-39) - u/(-13). Is -10 at least as big as m?
True
Suppose -15 = -3*s + 3*a, 3*s + 0*a - a - 13 = 0. Suppose s*o = 9*o. Let u be 17/36 - 4/18. Is o equal to u?
False
Suppose -2*p + 0*p + 16 = 0. Let w be p/(-44) - (-27)/(-33). Suppose -g - 2*g + 9 = 0, -5*x + 4*g - 22 = 0. Is x smaller than w?
True
Let h(s) = s**2 + s. Let a be h(4). Suppose u = -4*u - a, -2*i = -4*u - 16. Let z = 39 + -39. Do i and z have the same value?
True
Suppose 3*b + 3*u + 1 = -2, 0 = -2*b + 5*u + 19. Suppose 4 = 2*z + 4*o - b*o, 0 = -5*o + 20. Let f = -0.02 - 1.98. Is z smaller than f?
False
Let i = -84.1 - -84. Is 0.02 <= i?
False
Suppose 7 = f + b, 18 = 5*f - 2*f + 4*b. Let p = f + -10. Are p and -0.4 equal?
False
Suppose 5*w - 3*t + 18 = 2*w, w + 22 = 5*t. Let q(p) = 2*p + 4. Let u be q(-3). Is w not equal to u?
False
Suppose -v - 4 = 0, 5*v - 24 + 8 = 2*z. Is z equal to -15?
False
Let s = 0.59 + -0.49. Let d be (-4)/18*(-9)/3. Is d not equal to s?
True
Suppose 0 = -2*i - 0*i + 32. Suppose 6*x = 4*x - i. Is x bigger than -5?
False
Let u(q) = -q**2 + 5*q. Let p be u(5). Which is greater: 3/7 or p?
3/7
Suppose 1 = -o + 2. Let k be 2*(-2 - (2 + -3)). Let r = k - -2. Is r bigger than o?
False
Let n = 29 + -29. Which is bigger: n or 0.057?
0.057
Suppose 2*o - 3*o = -2. Let q be (12/o)/3 + -2. Let u be q - 1/((-9)/(-2)). Do -1 and u have the same value?
False
Let b(y) = -2*y + 26. Let m be b(0). Which is bigger: m or 25?
m
Let b be -4 - ((-52)/(-4) - 0). Which is greater: b or -16?
-16
Let z(n) = 7*n**3 + n**2 - n. Let a be z(1). Suppose -3*p - 8 = a*t - 2*t, -p = -4*t - 3. Which is greater: -7/4 or t?
t
Let w(l) = l - 7. Let n be w(8). Let a be -6 + 9 - 0/1. Which is smaller: n or a?
n
Suppose 3*z - 3*o = -0*o - 24, -o + 23 = -4*z. Is 0 != z?
True
Suppose 3 = -5*s - 2*v, 2*s - 3 = 4*s - v. Let a be s/4 + 17/4. Suppose -3*t - t + 13 = -w, 4*w = -2*t + 20. Which is greater: w or a?
a
Suppose -2*k = 162 - 42. Which is greater: -61 or k?
k
Let o = 24 + -14. Suppose -1 + o = q. Let i be (-4)/10 + q/(-15). Is -2 at least as big as i?
False
Let i(v) be the second derivative of -v**3/6 - 7*v**2/2 - 5*v. Let w(q) = 3*q + 6. Let f be w(-4). Let p be i(f). Which is greater: -3/5 or p?
-3/5
Suppose 0 = -2*q - 5 + 1. Let n = 5 - 8. Let h be ((-48)/27 - -2)*n. Is q less than h?
True
Let c(l) = l**3 + 7*l**2 + 4*l - 8. Let a be c(-6). Suppose 6 = b - a. Let s be (-2)/b + (-4)/5. Which is smaller: -5/4 or s?
-5/4
Suppose -2*j + 0*j - 6 = 0. Suppose 1 - 9 = 4*w. Is j <= w?
True
Suppose -3*h = -5*p, -3 = 2*p - h - 4. Suppose -3*a - i + 0 - 14 = 0, p*i = 4*a - 3. Suppose 0 = 9*r - 7*r + 4. Which is smaller: r or a?
a
Let m = -4/23 + 33/322. Let g = m - -37/126. Let a(z) = z**2 + 8*z + 8. Let x be a(-7). Is g less than x?
True
Let f(c) = -11*c + 55. Let m be f(5). Let g = 32 - 159/5. Is g >= m?
True
Let a(b) be the third derivative of b**6/120 + b**5/10 - 5*b**4/24 + 7*b**3/6 - b**2. Let o be a(-7). Let x = 12 + o. Is x at least as big as 5?
True
Suppose -2*u = 6, -f - 2*u - 3 = -0*f. Let j = 8 - 5. Is f greater than j?
False
Let k = 19 - 21. Which is bigger: 5 or k?
5
Let d(b) = b - 1. Let o be d(-3). Let z = 0.2 - 0.7. Let x = 0.6 + z. Which is greater: x or o?
x
Let j = 0 + 2. Suppose 0 = 2*w + j*w. Let x = 7596/11 + -690. Which is smaller: w or x?
w
Let u = -71 - -70. Are 2/473 and u unequal?
True
Suppose 3*r + 2*f = -2, 0 = -0*f + 3*f - 6. Let j be (-1)/r - (-3)/2. Which is smaller: j or 3?
j
Let x = -1.1 - -1.1. Which is smaller: x or 3?
x
Let w = -0.24 + 0.44. Which is greater: w or 3?
3
Let i = -3551/13 - -273. Suppose 1 = 6*u - 5. Do u and i have different values?
True
Suppose 16 = 4*c + 5*d - 13, 5*c - 2*d - 61 = 0. Suppose 3*r - c = 10. Which is smaller: 8 or r?
r
Let m be 1*(-9)/2*2. Let d be 3/(m/(-6))*1. Let x be (1/8)/(d/(-4)). Is x greater than 1?
False
Let n(m) be the first derivative of m**3/3 + m**2/2 + 3*m + 8. Let s be n(-4). Is 14 > s?
False
Let h = 660/2261 - 2/323. Which is smaller: h or 0.2?
0.2
Let n = -0.4 + -8.6. Let g = n + 8.8. Is -1 >= g?
False
Let u = -0.03 + -0.05. Is -1/3 bigger than u?
False
Let j be -3 - 8/(-12)*-12. Is j < -10?
True
Suppose -2*i - 4 = 4*r + 2*i, -r = -3*i + 9. Which is greater: -1 or r?
-1
Let p be (-1)/1 - 3/(-3). Suppose -2*k + 4*k = p. Is -2/13 > k?
False
Let x = 6317/3 - 2088. Let k = 47/2 - x. Let f = 6 - k. Which is smaller: f or 0?
0
Let m be ((-5)/(-10))/(2/(-256)). Is m < -65?
False
Let k = -70 - -88. Is k not equal to -1/5?
True
Let k(g) be the second derivative of -g**3/3 + 5*g**2/2 - 9*g. Let y be k(0). Is y greater than 4?
True
Suppose -2*v + 3*c = 8*c + 19, -v + 5*c = -28. Suppose v*o - 5*o = 0. Which is bigger: o or 0.15?
0.15
Let h be (6/(-9))/(10/(-6)). Let t be (3 + (-6)/2)/1. Suppose t*x + 5*x = 0. Do h and x have the same value?
False
Let d = -7 + 3. Let w = d - -1.9. Let a = -2 - w. Is 1 at most a?
False
Let u(r) = 4*r**2 - 1. Let p be -3*(0 + (-2)/6). Let x be u(p). Is 3 at most as big as x?
True
Let j be -2 + (0 + 2)/(-2). Let i(p) = -p + 2. Suppose 0 = 4*a - 9 - 15. Let d be i(a). Is d greater than j?
False
Suppose -m = 4*n + 98, -5*m - 3 = -2*n - 63. Is -23 less than n?
False
Let j = -2987378/65 - -45962. Let d = -46/13 + j. Are d and 0 non-equal?
True
Let l = 2.6 + 0.8. Let i = 3 - l. Let y = i + -1.6. Which is smaller: y or -0.2?
y
Let r be 1/(1*(-2)/(-8)). Let z be (2/r)/((-2)/12). Which is smaller: -3/2 or z?
z
Let v be ((-3312)/(-274))/6 - (2 - 0). Which is smaller: 1 or v?
v
Suppose -2*h + 30 = 4*x - 2, 2*x = 2*h - 44. Is 22 smaller than h?
False
Let f(p) = p**3 + 4*p**2 - 5*p - 1. Let r be f(-5). Let m = r + 1. Is m at most as big as -1/5?
False
Suppose 2*c + 5*u + 16 = 83, 4*u = -4*c + 104. Suppose -2*r - 5*z + c = -2*z, -z = -4*r + 7. Suppose 0 = p - r*p. Are 1 and p equal?
False
Let f = 0.6 + -7.6. Let d = -29 - -28. Is f > d?
False
Let q be (8/6)/(8/12). Suppose -2*g - q = -10. Are 4 and g non-equal?
False
Let w be ((-4)/10)/(10/(-25)). Let r be -1 + 8/(4/2). Let d = -1 + r. Which is greater: w or d?
d
Suppose 0 = -4*r + 5*h - 87, 2*h + 117 = -3*r - 2*r. Let a = r + 22. Which is bigger: a or -1/32?
-1/32
Let a(h) = -h**2 + 9*h + 25. Let w be a(12). Is w greater than -11?
False
Suppose -2*f - 3*d - 9 = -3*f, 3*f - 15 = -3*d. Suppose -y - 4*t + 9 = 0, 4*y + t + f = -3. Is y equal to -3?
True
Let d(u) = u**3 - 6*u**2 - 3. Let r be d(6). Which is bigger: r or -9/5?
-9/5
Let f(n) = -2*n. Let c be f(-1). Let x(b) = -8*b + 1. Let j be x(c). Let m be (-6)/(-10) + j/25. Which is smaller: m or 1?
m
Let g(s) = -s**2 + 4*s. Let j be g(4). Let p = 298 + -301. Which is bigger: j or p?
j
Let z = 45 - 44.973. Is -0.1 > z?
False
Let d = 7 + -3. Suppose 2*w = -5*n + n - 4, 0 = 4*w + 3*n - 2. Which is greater: w or d?
d
Suppose 383 = 4*w - o, 6*o - 3*o = -w + 86. Is 95 not equal to w?
False
Let c be 4/16 + (-5)/28. Is c greater than or equal to -0.1?
True
Let f be (-2)/(-9) - 60/27. Let t(v) = v + 2. Let q be t(f). Is q < 0?
False
Suppose 6 + 54 = -4*h. Which is bigger: -14 or h?
-14
Let o be (2 - -2)/((-6)/4). Is -3 smaller than o?
True
Let x(b) = -b**2 + 6*b + 7. Let k be x(6). Let d = -14 + k. Does -6 = d?
False
Let q = 451/4465 + 1/235. Let i(z) be the third derivative of -z**4/8 + z**3/3 + 8*z**2. Let u be i(1). Which is bigger: u or q?
q
Suppose y + 0 + 2 = 0. Let h be y/(-10) - 27/(-15). Are 7/3 and h equal?
False
Suppose -j = 4*d + 17, -j - 2*d = 6 + 1. Suppose 0 = -j*g - 1 - 2. Let l be -2 - g/((-1)/2). Which is smaller: -3 or l?
l
Let n be 2/(-7