/102. Is 1 > d?
True
Let m(w) = 2*w + 1. Let q be m(0). Let x = -2455/4408 + 1/232. Let n = x - -1/19. Is q at least n?
True
Suppose -6*p = -7*p. Let l = 17/15 - 1. Do p and l have different values?
True
Let g = -11 + 45/4. Let j(s) = s**3 + 3*s**2 - 5*s - 5. Let k be j(-4). Is k at least g?
False
Let q = 0.13 + -1.13. Which is bigger: -9 or q?
q
Let s(j) be the second derivative of j**5/20 - j**4/12 - j**3/6 + j**2/2 - 3*j. Let y be s(0). Is y at most as big as 1?
True
Let h(r) = 2*r + 11. Let j be h(5). Is j at least 21?
True
Let n(m) = -3*m**2 - 4*m - m**3 - m**2 + 3*m**2 - 4*m**2 + 2. Let h be n(-4). Which is bigger: 0 or h?
h
Let c be 170/4*(216/40 + -5). Which is smaller: 16 or c?
16
Let f be 44/(0 - 4473/(-60)). Let m = f + -4/213. Let g = -22/63 + m. Is g less than 1?
True
Suppose -5 = -2*x - 3. Let f be 8/(-24) + (-178)/6. Let c be (-10)/(-25) + 2/f. Is c >= x?
False
Let y = 1 - 2. Let a(d) = -d**3 - 5*d**2 + 14*d - 1. Let k be a(-7). Are k and y equal?
True
Let q = 0.99 + 0.01. Is q smaller than 4?
True
Suppose 16 = 5*j - j + 3*q, -4*j + 16 = -5*q. Let g be 2*2/j*1. Is g >= 1?
True
Let n = 13 + -8. Let l = 18 - 20. Let m be (16/20)/(l/n). Is -3 not equal to m?
True
Let s(b) = b**2 - 12*b + 1. Let c be s(12). Suppose 3*m + 4 = c. Which is smaller: m or -2?
-2
Let a = -8 + 9.5. Let o = a - 0.9. Does o = 0.1?
False
Let j = 181 - 908/5. Let c = 0.0994 - 3.0994. Is c < j?
True
Suppose -4*a - r + 46 = 0, -4*r + 26 = 3*a + r. Suppose t - 1 + 9 = m, -2*m = -t - a. Is m at least 6?
False
Let o(i) = i**2 - 3*i - 2. Let m be o(4). Let d = -1 - -3. Is d less than m?
False
Suppose 0 = -2*f + 2*u + 12, -2*u - 5 = -f + 6*f. Let y = -8 - -6. Let a be ((-3)/(51/(-4)))/y. Which is smaller: f or a?
a
Let m be 8*-1 + (-4 - -8). Does m = -4?
True
Let y = -6 - -8. Let k = -16 - -8.8. Let r = k + 7. Is y greater than r?
True
Suppose -2*o + 7*o = 25. Let t = -31 - -125/4. Which is bigger: o or t?
o
Let s = -0.4 - -0.36. Let p = s - -1.04. Is -2/5 at least p?
False
Let l be (2/6)/(2/(-6)). Is -2/41 greater than l?
True
Let d = 4.6 + 6.4. Is 0 at most d?
True
Let d = -349/5 + 70. Is 0 smaller than d?
True
Let o be 2/6 - 3/(-18). Let u = -1 + 0.8. Are o and u equal?
False
Let a(q) = q**3 + 4*q**2 - 4*q + 7. Let z be a(-5). Suppose -h + 1 = -4, -4*f - z*h + 6 = 0. Let x be (2/(-5))/((-3)/(-15)). Which is smaller: f or x?
x
Suppose -2*g - 38 = -4*a, 0 = -a - 5*g - 1 + 5. Suppose -a - 1 = -p. Suppose -3*v - 8 = -f, 5*f - 2*v - p = 3*v. Which is bigger: f or 0?
0
Let a(c) = -c**3 + 6*c**2 - 4*c - 11. Let x be a(5). Suppose -128 = 2*o + 3*h + h, -4*h = -3*o - 222. Let w be x/o + 8/(-28). Which is smaller: 0 or w?
w
Suppose -22 = -o - 4*g, 0*o - 4*g = -3*o + 66. Which is smaller: 19 or o?
19
Let v = -3 - -2. Let p be ((-66)/21 + 3)*1. Which is bigger: v or p?
p
Let c be -6 - -2 - (-6 + 0). Is c greater than or equal to 20/7?
False
Let x be ((-24)/(-9))/(12/252). Which is greater: 57 or x?
57
Let w = -13.7 + 14. Let v = w - 0.8. Which is bigger: v or 0.1?
0.1
Let o = -0.09 + -0.91. Is -7 less than o?
True
Let b be (-18)/(-15)*(-10)/(-3). Let x be -2 - -5 - (1 - b). Do x and 6 have the same value?
True
Let x = -3 + 5. Let q be (-2 - 0) + (1 - x). Let f = -15 - -11. Is f less than q?
True
Let t = 1536/13 - 118. Which is bigger: t or -16?
t
Suppose -2*a - 1 = -r, 3*a + a = 3*r - 1. Suppose -5*g = 0, -2*m - g = -2*g. Which is greater: m or r?
m
Let q = -0.028 + -6.972. Which is smaller: q or -3?
q
Let p = -2.02 + 0.02. Suppose 0 = 3*h - 0*h - 18. Let k = -8 + h. Is p > k?
False
Let o = -7.9 + 12. Let s = -4 + o. Let x = 9.2 - 9. Is x less than s?
False
Let q be (4 - 50/15) + (-101)/(-15). Is 7 greater than or equal to q?
False
Let q be (-8)/(-10) + (-2)/40*-4. Is 14/13 bigger than q?
True
Let s = -192 + 193. Let o = -12/7 - -67/35. Is o at least s?
False
Let d be 12/((36/(-8))/(-3)). Suppose 2*f + d = 0, -4*m + f + 2 = -6. Do 0.07 and m have the same value?
False
Let w = 15 - 14. Is 0.1 at most w?
True
Suppose p - 7 = -2*v - 0*v, -2*v - 3*p - 3 = 0. Is 5 smaller than v?
True
Let g = 0.31 - 0.21. Let r = 5 - 37/7. Is g at most as big as r?
False
Suppose o = -5*z - 4*o, 4*z - o - 15 = 0. Let t be (15/(-15))/(2/30). Let c be (z + 0)*t/(-9). Which is smaller: c or 4?
4
Let b be -5*(-4 + 21/5). Is b greater than or equal to 5?
False
Let r(m) = -m**3 + m - 1. Let p be r(0). Is -2/13 bigger than p?
True
Let g = 17.87 - 18. Let x = g - 10.87. Is -1 less than x?
False
Let k be 9/(-2) - 20/(-5). Is 1 greater than k?
True
Let o = -0.5 + 0.8. Let g = o - 0.1. Let b = 0.29 + -0.09. Is g smaller than b?
False
Let m(i) = 6*i. Let u be m(-1). Let l be (-10)/u + (-6)/9. Suppose l = 4*t - 3. Which is greater: 0 or t?
t
Let w = 8.66 + -0.86. Let z = w - 0.8. Which is bigger: z or -1?
z
Let h be 1/(-4) - 12/16. Which is smaller: h or 1/16?
h
Let t = 299/8 - 38. Is t at least 0?
False
Suppose 2*m - 19 + 1 = 0. Suppose 3*l - 2*g = -8, -4*l + m*l = -g + 4. Is 3 at least l?
True
Suppose 3*l + l = 0. Let u be (-926)/360 - (-2)/(-5). Let k = -11/4 - u. Which is smaller: l or k?
l
Let c be -3 - (-1 - (4 - -1)). Let v be (-4 + 6)/(1/2). Which is greater: v or c?
v
Let s be 2 - 4 - 26/(-14). Let j be 2/(-1) + (27 - 1). Let w be j/12 - (2 - -1). Which is bigger: s or w?
s
Let n(r) = -4*r. Let f be n(-2). Let j = 6 - f. Suppose 4*v - 2*v + 6 = -4*g, -3 = -g - 2*v. Are j and g unequal?
True
Let r(p) = -2*p**2 + 18. Let i be r(0). Do 19 and i have different values?
True
Suppose -20 = -0*b + 4*b. Let m be ((b + 4)/1)/1. Which is smaller: -1/2 or m?
m
Suppose -13 - 3 = -4*b. Let m be 40/b*(-2)/(-4). Suppose y - m = -g + 1, -y = -5. Do 2 and g have the same value?
False
Suppose 11 = -5*c - 5*i + 4*i, 35 = -5*c + 5*i. Is -3 >= c?
True
Let t = 10.7 - 10.6. Let f be (-1)/(-1*(-22)/(-2)). Are t and f non-equal?
True
Let h be (-1)/((-1)/1) - 122. Let q = -237/2 - h. Which is smaller: q or 4?
q
Let r = -14 - -20. Which is greater: r or 2?
r
Let a(y) = -4*y**3 + y. Let c be a(1). Is -0.6 <= c?
False
Let b be (-2)/(-6) - 40/12. Let y = b + 3. Suppose y = -4*u - u. Which is bigger: 1 or u?
1
Suppose 6 = 3*t - 0. Let i be (t*9/6)/(-10). Which is bigger: i or 0?
0
Let q = -0.1 + 0. Let v = 11/464 + -12887/464. Let n = -28 - v. Is q not equal to n?
True
Let f = -1.2 + 3.2. Let q = 1 - f. Which is bigger: 1.2 or q?
1.2
Let b(y) be the second derivative of -y**4/12 + y**3 - 2*y**2 + 2*y. Let r be b(5). Let h be (-2)/(-1) - 10/6. Which is smaller: r or h?
h
Let q = 9.95 - 10. Let i = 4 - 3. Which is bigger: i or q?
i
Let q(b) = -4*b - 24. Let w be q(-6). Are -11/12 and w nonequal?
True
Let m be (-1)/2*375/(-6). Let v = -71 + 102. Let c = v - m. Does c = 0?
False
Let l = 9.4 + -9.2. Suppose 0 = 2*g - 3*g. Which is greater: l or g?
l
Let a = 0.3 - 0.39. Let x = a + 0.19. Is x > -8?
True
Let q = -0.5 - -5.5. Is 4 at least as big as q?
False
Let y = -16 - -15. Is y <= 2?
True
Let s be 20/2 - (0 + 1). Suppose 0 = b + 3*d - 2, 3*b - 2*d = -6*d + 16. Do s and b have the same value?
False
Let l be 1/(((-10)/(-438))/5). Let w be 3 - (654/l - 0). Let p = 153/511 - w. Is p > -1?
True
Suppose 0 = 6*x - x. Let t = x - -1. Which is greater: t or -2?
t
Let i be (-1)/(0 + (-1 - -2)). Let r be 11/(-55) + 4/10. Do i and r have the same value?
False
Let p = 66 - 37. Is 29 >= p?
True
Let b(g) = -4*g + 2*g**2 + 0*g**2 + 0*g**2. Let k be b(3). Let v be ((-3)/k)/((-7)/6). Is -1 at most v?
True
Let b be 3 + ((-96)/5)/6. Is -1 less than b?
True
Let v be (-10)/18*16/(-80). Do v and 0 have different values?
True
Let c = -1176/5 + 236. Let p be (1/1)/(-1)*-1. Do p and c have different values?
True
Let x = -16 - -8. Which is smaller: -9 or x?
-9
Let n = -43/20 + 12/5. Is n at least as big as 2?
False
Let b = 421/4 - 106. Let p = -1 + 5. Suppose -p*i = -i. Is i <= b?
False
Let t(o) = -4*o + 34. Let z be t(11). Let p(l) = l - 9. Let m be p(0). Which is smaller: z or m?
z
Suppose -2*t - 10 = 2*b, -5*b + 0*t + 15 = -3*t. Which is bigger: 1/4 or b?
1/4
Suppose -37 = 11*m - 10*m. Is m >= -36?
False
Let q(s) = 9*s + 1. Let y be q(-1). Is y smaller than -6?
True
Let n be 6 - 1 - (1 - 4). Let c(a) = a**3 - 8*a**2 + 2*a + 4. Let j be c(n). Suppose 0 = -3*h + 4*k - 26, 5*h = -k + 3*k - j. Is h bigger than -3?
True
Let i be (-352)/5 + (-10)/(-25). Let b be