-3. Let r be (-3)/(-9) + k/6. Which is smaller: -3/4 or r?
-3/4
Let m(h) = -h - 7. Let x be m(-5). Let w = -2.7 - -2.5. Do x and w have different values?
True
Let h = 63 + -63.4. Is 1/7 < h?
False
Suppose -70*d = -66*d - 28. Which is greater: d or 8?
8
Let o(w) be the second derivative of w**5/20 - 5*w**4/12 - w**3/6 + 3*w**2/2 + 3*w. Let h be o(5). Which is smaller: h or 0?
h
Let x = 6 - 7. Let t be (-9)/(-13)*(-6)/(-9). Is x less than or equal to t?
True
Let g be (0 + 0 - 9)*2. Is g at most -17?
True
Suppose 0 = 3*g - 4*g - 3*x + 10, -3*g - 3*x = -30. Let o be 2/4 + g/(-36). Suppose 1 = 2*y - i, -y - 1 = -i - 3. Which is smaller: y or o?
y
Let x = 0.04 + -0.07. Which is smaller: x or -1?
-1
Let b be (-154)/(-147) - 2/(-7). Let p = -2/15 + b. Do 1 and p have the same value?
False
Let y(b) be the first derivative of -b**2/2 + 4*b + 4. Let u be y(7). Is u > -1?
False
Let h be (-22)/(-6)*6/8. Is h <= 1?
False
Let d = -17 - -16. Let h = 7 - 10. Is d greater than h?
True
Let k = 48 + -49. Suppose -3*f + 3 = -0*f. Which is smaller: k or f?
k
Suppose -3*i + 2*z + 39 - 5 = 0, 46 = 5*i + 2*z. Suppose -i = -3*j - n, -j + n = 5*n - 18. Suppose j*f = g - 0*f + 4, -3*f = -g - 6. Which is smaller: 1/3 or g?
g
Suppose -3*n = -0*n + 3. Are n and -1 equal?
True
Suppose 5*u + 89 = 24. Which is greater: u or -12?
-12
Let h be 3*-2*(-20)/(-24). Which is smaller: -4 or h?
h
Let o = -33 - -36. Suppose -q + 3 = 1. Which is smaller: o or q?
q
Let v = -0.19 - -0.09. Which is bigger: v or 12?
12
Let m(i) = -i**3 + 4*i**2 + 4*i + 7. Let t be m(5). Let o be (-6)/(-2) + (1 - t). Let r be 3 + o*22/(-4). Which is smaller: -9 or r?
-9
Let n = -209/4 - -52. Let m = -5 + 4. Let p = m + 2. Which is smaller: n or p?
n
Suppose -5*t = -5*r - 25, -2*t = -2*r + 5*r - 5. Suppose t*g = -g. Which is smaller: 2/3 or g?
g
Suppose g = -4*g - 200. Let o be 3/5 - (-44)/g. Which is smaller: -1 or o?
-1
Let k = -22 - -22. Is 2/41 at least k?
True
Let d be (-4)/(-18) + 64/36. Let u be -1*-1*(d + 0). Suppose 4*j + 18 = -l, -26 = l - 4*l + 4*j. Is l at least u?
True
Let b = -631/28 + 89/4. Let j be (-4)/14 - 6/(-70). Is b bigger than j?
False
Let m = 0.02 + -0.42. Let z = -8.6 + 11. Let a = z + m. Is 0 less than a?
True
Let p = -114 - -568/5. Let d = -1 - 0. Let t be (-1)/(-1)*(0 - d). Which is bigger: t or p?
t
Let h(f) = -f**3 - 4*f**2 - f + 4. Let u be h(-3). Let w(s) = s + 2. Let q be w(u). Let a = q + 1. Is 1/6 at least a?
False
Let t be (-7 + 0)*(2 + -3). Suppose 0*o + d = 3*o - 20, 20 = -4*d. Suppose 4*a + 13 = -o*k, k = 2*a - 4 - t. Which is smaller: 1 or a?
1
Let k = 112 - 76. Let j be (-3)/(-18) - (-30)/k. Let m = -6/145 - 8/87. Is m at least as big as j?
False
Let m(d) = 2*d - 1. Let r be m(2). Let z = r + -2. Which is bigger: 4/7 or z?
z
Suppose 18 = 4*h + 2*g + 6, -2*h + 6 = 2*g. Suppose -2*q + h = -5*q. Is -1/2 greater than q?
True
Let n be -7*(-2)/42 - (-1)/(-48). Which is smaller: n or 1?
n
Let t = -0.11 + -0.19. Let v = t + -0.7. Let h be 1/(0 - 5/(-1)). Is h at most v?
False
Let k(g) = g**3 + 3*g**2 - 5*g. Let o be k(-4). Suppose -3*x + 6 = 0, -1 + 3 = -o*n - 5*x. Let d be (-5)/15 - (-5)/n. Is 1 >= d?
True
Let s = 0 + -4. Let y = 3 + s. Is y > -1?
False
Let h = 64 + -79. Is h smaller than 2/5?
True
Let g = -0.06 - 0.2. Let h = g - 0.04. Are -2 and h equal?
False
Suppose -8 = -4*x - 4, x - 46 = 5*b. Let a(h) = -h**2 - 9*h. Let f be a(b). Let r = 6 + -2. Is f less than or equal to r?
True
Let y = -4 - -6. Let j be 2 + 0 - (y + -6). Let f be 22/(-30) + 2/j. Are f and -1 unequal?
True
Let n = -88 - -7660/87. Which is bigger: n or 0?
n
Let g be ((-10)/(-6))/((-2)/(-6)) + -4. Which is greater: -2/111 or g?
g
Let c = 0.02 - 0.42. Let i = c - -1.1. Let s = 0.3 + i. Which is bigger: s or 2?
2
Let p(l) = -2 - 4 - l + 2. Let d be p(-10). Which is smaller: d or 5?
5
Let z = -0.046 + -1.004. Let w = z - -0.05. Let f = w - -0.7. Is -1 <= f?
True
Let x(m) = m + 3. Let j be x(-4). Let v(y) = 3 - y - 2 + 0. Let b be v(j). Is b less than or equal to 3?
True
Let q(w) be the third derivative of w**6/120 - w**4/8 - w**3/3 - w**2. Let a be q(-2). Let t be (a/(-24))/(2/8). Are -1 and t non-equal?
True
Let i = 216 - 869/4. Which is smaller: i or 3?
i
Let h(y) = -3*y**2 - 12*y - 2. Let g be h(-5). Which is bigger: g or -16?
-16
Let u be 1/(-1 + 192/194). Let s be ((5 - -13) + -4)*(-278)/40. Let w = s - u. Is w >= 1?
False
Let i be (-8)/(-14) - 1380/2170. Does i = 1?
False
Suppose -6*w + 10*w = 0. Let s = 6 - 2. Suppose w*g - s*g + h = -17, -4*h + 4 = 2*g. Which is smaller: g or 3?
3
Let w(k) = -k**2 - 11*k - 1. Let b be w(-11). Let r be (-4)/5*10/(-4). Let a be r/(2*2) + -1. Which is greater: b or a?
a
Let x = 259/8 - 953/24. Is -8 not equal to x?
True
Let c = -2 - 0. Let o = c + 2.5. Let j = o - -0.5. Is j >= -0.3?
True
Let g = 112/3 + -36. Let s = -410/3 - -135. Let w = g + s. Which is greater: -1 or w?
w
Let w = -4.3 + 0.3. Let p = 6 + w. Is p < -3?
False
Let l = 0.1 + 0. Which is bigger: -25 or l?
l
Let n(r) = -r**3 - 3*r**2 - 2*r - 5. Let w = -22 - -19. Let c be n(w). Is -1/6 >= c?
False
Suppose -4*t = 1 + 3. Let c = t - -1. Is 2 smaller than c?
False
Let u = -37 - -36. Which is greater: 0.1 or u?
0.1
Let n = 25 + 8. Suppose w + 2*q = -4*w + n, -3*q = -12. Which is smaller: w or 3?
3
Let i = 2.3 - 2.4. Which is smaller: i or 6?
i
Let x be (-2)/(-6)*27/(-57). Are x and 1 equal?
False
Let p be 220/115 + 0 + -2. Are -1 and p nonequal?
True
Let w be 0 - ((-18)/(-12))/((-6)/(-136)). Is -31 <= w?
False
Suppose -6 + 1 = -v. Which is smaller: v or -1?
-1
Let f = -24 - -10. Is f at most as big as -14?
True
Let s = 90/7 + -183/14. Let u = 3 - 2. Which is greater: u or s?
u
Let c = -3.64 + -2.41. Let h = c - -6. Let v = -0.15 + h. Is 0 less than v?
False
Let x be 11060/49 + (-4)/(-14). Let z be x/56 + 12/(-3). Which is bigger: 1 or z?
1
Let s be 21/14*(-64)/6. Which is greater: -17 or s?
s
Let w = 0.21 - -2.09. Let m = w - 0.3. Is 0 less than m?
True
Let o = 4.2 - 3.2. Let y = -5 - -3. Let p = y + o. Which is greater: p or 2/13?
2/13
Suppose 0*u - 3*u + 12 = 0. Suppose u*h = 5*h - 160. Let b = h - 475/3. Which is smaller: b or 1?
1
Let p be (1 - 2)/(1/(-58)). Suppose 0*s = 4*s - 2*v + p, -4*v + 52 = -4*s. Is s at most as big as 0?
True
Let t(u) = -3*u + 19. Let p be t(6). Which is bigger: p or -4/21?
p
Suppose 3*v = 2*v - 2. Let n be 8/12*3/v. Is -2 < n?
True
Let c be (137*(-2)/(-8))/(-1). Let i = 34 + c. Let n = 2 + -2.1. Which is greater: n or i?
n
Let n = -5 + 5. Let d = -9 - -16. Let r = d - 5. Is n > r?
False
Let s be 2/(-6) + 10/(-6). Let z = 2 + s. Suppose -33*v = -30*v - 3. Which is greater: z or v?
v
Suppose 3*r = -0*r + 6. Suppose -r*b = 4*b. Is b equal to 4?
False
Suppose -12*x + 7*x + 5 = 0. Let c(w) be the third derivative of w**6/120 - w**5/30 - 2*w**2. Let y be c(2). Is x <= y?
False
Let q = -17 + 17. Let r = 1 + 1. Suppose -8 = r*v - 4. Which is smaller: q or v?
v
Let w = -13 + 13. Let o be 2/34*(w + -2). Are o and 0 unequal?
True
Let x = 18.67 - -0.33. Let q = x - 18.8. Is q != 3?
True
Let n = -14 + 33. Let z be ((-18)/n + 1)*-1. Which is greater: z or 0?
0
Let g = 12211/6 + -2057. Let r = -22 - g. Let a = r - 4/3. Is -3 greater than or equal to a?
False
Let i be 3 + (-428)/106 + 1. Which is greater: i or 0?
0
Let x be (-1)/(10/(-6) + 2). Let n = x - -3. Let y = -2 + 1. Are n and y unequal?
True
Let d(c) = -c**3 + 7*c**2 + 1. Let s be d(7). Which is smaller: s or -46?
-46
Let a be (-3)/2*(-10)/3. Suppose r - 2*u = 4*r - 3, -2*r + a*u = -2. Is 2 <= r?
False
Let h = 20 - 21. Is h greater than -1/2?
False
Let i = 2.5 + -1.5. Is i greater than or equal to -2/5?
True
Suppose 4*q + 11 = -5*b, -3*q + 4*q + 6 = 2*b. Let g be 11/13 + 0 + -1. Does g = b?
False
Let y be -10*((-78)/(-15) + -4). Does y = -12?
True
Let b be 1/(-2) - (-55)/(-10). Let x = b - -6. Which is smaller: x or -2/5?
-2/5
Suppose -6 = -2*b, -9 = 3*l - 8*l + 2*b. Let c be (1/4)/(2 - l). Which is smaller: c or -2/7?
-2/7
Let o be (2/(-8))/(5/(-100)). Suppose 3*v - 5*d - 27 = 4*v, 4*d + 10 = o*v. Let k(h) = -h**3 - 4*h**2 - 3*h - 3. Let b be k(v). Does b = -5?
True
Suppose -3*x + 22 = 58. Which is smaller: -13 or x?
-13
Let n be (-4)/(-6)*3/(-2). Are n and -8/9 unequal?
True
Let w be 2/(-2)*(-3 - -6). Let n be (10/15)/((-2)/w). I