 p be w(-4). Let n be ((-3)/p)/(1/(-2)). Is -2/13 < n?
True
Let i be (-8)/4*2*(-3)/(-12). Let n be (1/13)/(10/(-4)). Is i at most as big as n?
True
Suppose -13*q + 11*q + 2 = 0. Are 20 and q unequal?
True
Suppose -4*d - 6 = -10. Suppose 2*w - 63 = -w. Let g be 2/w*(2 - -1). Is g smaller than d?
True
Let i be 2 + -3 + 5/5. Is -1/5 at least as big as i?
False
Let j be (-88)/(-9) - (-6)/27. Let i = -8 + j. Which is greater: i or 4?
4
Suppose 0 = o - 4. Suppose 0*j - 30 = -5*j. Let f = o - j. Which is smaller: -1 or f?
f
Let j be ((-20)/(-1 - 3))/(-1). Let h(q) be the second derivative of -q**4/12 + q**3 + 2*q**2 - q. Let v be h(7). Is v smaller than j?
False
Let f(j) be the third derivative of -j**6/30 - j**3/6 + 2*j**2. Let o be f(-1). Suppose -4*q + 12 = o*d, 3*d + 3*q - 15 = -6. Which is smaller: d or 3/7?
d
Let v = 23 + -34. Which is smaller: v or -10?
v
Let g = -2.76 - 0.24. Which is greater: 5 or g?
5
Let l be (-6)/8 + (-10)/40. Let h be 3/3 + 12/(-8). Which is smaller: h or l?
l
Let h = -2 - -10. Suppose 4*l + 50 = -5*r, 0 = -r + 3*l - h*l - 31. Is r not equal to -6?
False
Let j = 325 - 1939/6. Let d = j + -3/2. Is d equal to -1?
False
Let f = 4 - 6. Let p be f*1*(3 - -2). Let x be (3/p)/((-12)/16). Which is greater: -0.1 or x?
x
Let a = 130 - 129.4. Which is smaller: -0.3 or a?
-0.3
Let a = 1262/9 + -140. Let i = -8 - -6.8. Let b = i - -1. Is a bigger than b?
True
Let z = 0 - 6. Let l be (z/(-5))/(8/20). Which is bigger: 2 or l?
l
Let m = 17.94 + 0.06. Let s = m - 25. Let l = 12 + s. Is l != -0.1?
True
Suppose -n - 1 = -2*w, -w + 2 = 3*n - 2. Is n less than or equal to -1/57?
False
Suppose 5*i - 32 = 8. Suppose -2*f - 2*f + i = 0. Let m = 6 + -4. Is m not equal to f?
False
Let k(s) = -s**2 + 4*s - 4. Let u be k(3). Let d be (-4)/(-6) - (-6)/18. Let c be (-2)/(-6)*-5 + d. Are c and u nonequal?
True
Suppose -2*l + g + 24 = -4*g, 4*l = 3*g + 48. Suppose -7*d + 3*d = l. Let f = d + 4. Which is smaller: f or 0?
0
Let j = 4302 + -30209/7. Let w = j - -229/21. Which is smaller: w or -3?
-3
Suppose 0 = 5*h - 3*h. Which is smaller: h or -6/19?
-6/19
Let y be ((-2)/64)/((-8)/48). Is -1 > y?
False
Let k(w) = w**3 - 10*w**2 + 9*w - 1. Let o be k(9). Suppose 2*z + 0*c - 4*c = 0, 5*c + 3 = z. Which is smaller: o or z?
z
Let j = -0.07 + -0.63. Let n = j - -1. Is n >= 0?
True
Suppose -3*f - 12 + 3 = 0. Let q(m) = -m**2 - 4*m - 3. Let b be q(f). Is 0 at least as big as b?
True
Suppose -2*x - 3*f + 11 = 0, -x - 14 = -6*x - 3*f. Which is greater: 3/49 or x?
x
Let m = 33 + -20. Let k = 4 - m. Let s = k + 10. Which is bigger: 2/7 or s?
s
Suppose 2*d = 4*d + 4. Let j = 0 + d. Let w = 101/240 + -1/48. Is j <= w?
True
Let x = 0.204 + -0.004. Is -0.1 less than or equal to x?
True
Let o be (-95)/165 + 6/9. Which is bigger: o or 1?
1
Let q(d) = d**2 + 3. Let k be q(0). Suppose -6 = -4*b + 2*o, -k*b + 3*o + 7 = o. Let s = 99/4 - 25. Which is greater: b or s?
s
Let s = 139/3 - 2789/60. Are s and 1 non-equal?
True
Suppose -4*v = -0*v + 3*u + 14, 4*u = -5*v - 17. Let k = v - -8. Let i be ((-2)/2)/(k - 2). Is -2/7 < i?
False
Let c = -37 + 36. Is 0.24 <= c?
False
Let l = 3.2 - 8.4. Let r = 3.8 + 1.2. Let g = l + r. Is 0 smaller than g?
False
Suppose 0 = 5*q - 7 - 18. Suppose -4*f = -q*a - 285, -5*f + 3*a + 193 = -173. Let i = f - 526/7. Is 0 equal to i?
False
Suppose 2*f + 3*a = -16, 4*f - 3*a = -11 - 3. Let v be (f/(-25))/((-2)/4). Is v equal to 1?
False
Suppose 0 = 3*g - 0*r - 3*r + 123, -3*r - 143 = 4*g. Is g at least as big as -39?
True
Let h(u) = u - 5. Let b be h(8). Let c = b + 0. Let p(s) = s**3 + 4*s**2 - 2*s - 5. Let x be p(-4). Is c >= x?
True
Let y(z) = z - 4*z - 1 + 2*z - 2. Let j(l) = 2*l + 2. Let m(d) = -2*j(d) - 3*y(d). Let n be m(4). Is -2/9 less than n?
True
Let z = 34 - 19. Let r be z/3*(-2)/(-55). Is 0 smaller than r?
True
Let l = -71 + 130. Let b = l + -294/5. Is -1 greater than or equal to b?
False
Suppose 0 = -2*v + v - 55. Let i be (-44)/v*11/(-4). Are -1 and i non-equal?
True
Let i(z) = -z**2 - 7*z - 8. Let s be i(-6). Suppose j + 17 = 5*y + 42, 3*y = -2*j - 15. Is y not equal to s?
True
Let w(t) = -t**2 - 4*t - 2. Let z be w(-4). Is -18/7 less than or equal to z?
True
Let y be (-105)/(-28) + 2/8. Let r = -2 - -5. Is y >= r?
True
Let o = 1 - 0. Let m = -1449/20 + 326/5. Let b = 7 + m. Is o less than or equal to b?
False
Let f = 142 + -143. Let w be 3*1*(-4)/138. Which is smaller: f or w?
f
Suppose 3*i = -5*s - 10, 4*s - i = -s - 10. Let d be (2/(-14))/((-18)/7). Let f = -4/9 - d. Is s < f?
True
Let b be 10/(-4)*(-40)/25. Let y be (b/(-48))/(6/(-16)). Let o be 6/4 + 1/(-2). Are o and y unequal?
True
Let r(q) = q**2 + 6*q + 8. Let d be r(-3). Let k = 1.35 + -6.36. Let z = k + 0.01. Which is bigger: z or d?
d
Let r be 20/14 + (-52)/7 + 8. Which is bigger: 3 or r?
3
Let c be 8/32*3*2. Suppose -2*q + 10 = -7*q. Let p = 4 + q. Is p greater than c?
True
Suppose 4*t - 10 = -5*f, -f - 2*f + 3*t + 6 = 0. Suppose f*m = -3*o - 8, -3*o - o - 7 = -m. Which is greater: o or -3?
o
Suppose -2*c - 14 = -3*d, -3*c = -4*d + 1 + 19. Is 0.01 smaller than c?
False
Suppose -l = -0*l. Suppose 25 = 5*k, 0*j = 3*j + 3*k - 18. Is j equal to l?
False
Suppose -3*j = -7 + 1. Are j and -3 nonequal?
True
Let g = 22 + -23. Is 2/67 greater than g?
True
Let v = 15 + -17. Is 3 greater than v?
True
Let b be (0/1)/((-2)/1). Let h = -1 - b. Is -2/5 at most as big as h?
False
Let w = 1 - 0. Let m be 0*(w/2 - 0). Suppose m = 3*z - 2*z + 1. Is z > 2/9?
False
Let f = -1 - -2. Let w be (3/(-3))/((-1)/4). Suppose i = -w*i + 10. Is f smaller than i?
True
Let m = 1.84 + -1.84. Is m at least as big as 105?
False
Let p(m) = 0*m - 3*m + 2*m - 2. Let c be p(-1). Is 1/11 greater than c?
True
Suppose 4*q + 4 = -3*x + 15, -3*q = -x - 5. Let y = x + -1. Which is smaller: y or 1?
y
Let i be (238/1392 - 0) + 1/(-8). Which is bigger: -1 or i?
i
Let z = -4 - -21. Is z bigger than 2?
True
Let v = -2 - -2. Let a = -7 + 6.8. Is v <= a?
False
Suppose 3*q - 8 = q. Suppose z = 5*y + q*z - 6, -3*y = 2*z - 3. Suppose -3*b + 7 = -2*k, 0*k = -b - y*k - 5. Do b and 1 have the same value?
True
Let u(h) = 4*h - 29. Let v be u(7). Let k = -225143/26 + 8658. Let c = -2/13 + k. Is v <= c?
False
Let g = -48 - -36. Which is smaller: g or -9?
g
Let u = 1 - 3. Let d be u + 21*(-2)/(-20). Is d at most as big as -1?
False
Let q(o) = o - 16. Let k be q(16). Is 2/89 smaller than k?
False
Suppose -4*t - g = -13 - 31, 5*t = -4*g + 66. Let h be (3/5)/(1/t). Is h smaller than 7?
True
Let x(v) = -2*v**3 + v - 1. Let c be x(1). Let u be (c + 3 + -2)*-2. Let z be -2 + u/(-1 - -2). Is z < 1?
True
Let b be 11/(-8) - (0 - 2). Let u = 274 + -2201/8. Let z = b + u. Which is smaller: z or -1?
-1
Suppose -4*y = -3*y - 1. Is y != 3/19?
True
Let u = -56 - -166/3. Let h be 4 + 0 - (1 - 0). Suppose 2*p - h*p = 1. Which is smaller: u or p?
p
Let d be (-8)/(-2) - (-4)/(-2). Suppose -d*p - 15 = -7*p. Which is greater: 4 or p?
4
Let x be 1/(-1 + (1 - 1)). Let g = -110/17 - -2149/340. Let o = -1/20 + g. Which is smaller: o or x?
x
Suppose -5*f - 10 = 15. Let v = f - -7. Is 2 != v?
False
Let r(a) = 3*a + 37. Let f be r(-12). Which is bigger: 3/11 or f?
f
Suppose -36 = -3*b - 0*b. Suppose 4*y = -32 + b. Let t be ((-4)/y)/(6/15). Which is smaller: t or 3?
t
Suppose 4*s - w + 36 = -17, -5*w - 35 = 5*s. Which is bigger: s or -17?
s
Suppose x = p + 21, -2 = 2*p + 4. Let d be (-6)/x - (-3)/9. Which is smaller: 1/5 or d?
d
Suppose 1 = 2*f + 25. Does -12 = f?
True
Let a = 141 - 139. Are 10/11 and a nonequal?
True
Let d = 21/4 + -4. Let r = -134 - -136. Which is smaller: d or r?
d
Let b(n) = -n**2 + 4*n + 4. Suppose 0 = 4*j + y + y - 20, -10 = -2*j + 3*y. Let c be b(j). Which is smaller: c or -3/2?
-3/2
Suppose -k = 4*n + 7, -2*k = -2*n - 0 - 6. Which is greater: 7/3 or k?
7/3
Suppose 0*z - 15 = 5*z. Let o be 0/(3/z) + 0. Let d = 128/3 - 43. Which is smaller: d or o?
d
Let t be (9/6 + -1)*0. Let d be 2/7 + (-24)/(-14). Suppose d*g + 8 = -2*g. Do g and t have the same value?
False
Suppose 3*a + 5 = 4*a. Let w = 0 + a. Suppose -2*u - 10 = -4*u. Is u equal to w?
True
Let t(w) = w**2 + 2*w + 1. Let p be t(-1). Suppose 0*x - 2*x = p. Let j = -6 + 5.8. Which is greater: j or x?
x
Suppose -w = 4*w. Suppose w = -0*s - 4*s. Is s at most 2?
True
Let z = 1322/11 + -1