et n = 1.7 - 16.7. Let v = 14 + n. Is v equal to t?
False
Let b(h) = h**2 - h + 2. Let y be b(0). Suppose 2*t = -t, p = t + 8. Suppose 0 = -2*u - y*u + p. Is 3 != u?
True
Let q be (-4)/6 + (-604808)/42. Let a = 14372 + q. Let f = 29 + a. Which is bigger: f or -2?
f
Let z(g) = -5*g + 58. Let v be z(4). Which is smaller: v or 40?
v
Suppose 0 = -7*f - 4 - 920. Which is smaller: -131 or f?
f
Let j(o) be the first derivative of 1 + 1/2*o**2 + 7*o. Let a be j(-5). Is a not equal to 2?
False
Suppose 2*u + 2*m + 2*m + 32 = 0, m + 33 = -3*u. Let v be (30/(-50))/(22/u). Let z be 9/(-20) - 3/(-15). Which is smaller: v or z?
z
Let k be (4 + (-8)/(-2))*(-3)/(-18). Let f = -0.17 - -0.12. Which is greater: k or f?
k
Let z = -412 - -704. Are 292 and z non-equal?
False
Let c = -39 + -2. Suppose -4*u + 0*u - 160 = 0. Which is smaller: u or c?
c
Let y be 0 + 1 + (-176)/16. Let u be (51/(-15))/((-4)/y). Is u at least -10?
True
Suppose 2*v = -5*r + 8 + 22, -r + 6 = 5*v. Let o be (r - 2) + 1 + -1. Let m be 51/105 + o/(-20). Which is smaller: -1 or m?
-1
Let m be -1 + (129/255)/((-1)/(-2)). Let r = m - 131/3910. Which is smaller: -1 or r?
-1
Let q(z) = -z**3 - 16*z**2 + 33*z - 53. Let s be q(-18). Which is smaller: s or -1/70?
-1/70
Let b = -0.343 + -37.657. Which is bigger: b or 3?
3
Let y(c) = -2*c**2 + 6*c**2 + c**3 + 7*c**2 - 6 - 6*c**2 + 4*c. Let s be y(-3). Which is bigger: 9/19 or s?
9/19
Let f(u) = u**3 + 14*u**2 - 11*u + 72. Let r be f(-15). Which is smaller: r or 9?
9
Let m = -655 + 637. Which is bigger: -20 or m?
m
Let c = 1724 - 1797. Is c bigger than -0.2?
False
Let p = 2 - 3. Let o be 35/(-28)*-2*(0 + 2). Let z be 5*2/475*o. Is p > z?
False
Suppose -165*k = -161*k - 4. Let m be -4*3/(132/(-5)). Which is smaller: m or k?
m
Let r be 14/35 - (-2034)/15. Let v be -2 + ((-8)/28 - r/(-84)). Let y = 20 - 9. Is y smaller than v?
False
Suppose -884*y = -888*y. Is 1/79 <= y?
False
Let q = 215767/45910 + 1/4591. Is 4 bigger than q?
False
Suppose -2*h = h. Let u be (h - 0)*1/1. Let a(j) = -j**3 - 4*j**2 - j - 4. Let f be a(-4). Is f <= u?
True
Let y = 43 + -256. Is -213 less than y?
False
Let n be (-22)/(-10) - (792/(-110) + 7). Which is greater: n or 2?
n
Suppose -4 = 3*j + 2. Let i = 8002 - 136049/17. Which is bigger: i or j?
i
Let s = 0.93 + -1. Let r = 156.13 - 156. Let o = r - s. Which is bigger: -5/4 or o?
o
Suppose 0 = -0*p - 10*p + 2*p. Which is greater: p or 1/79?
1/79
Suppose 0 = 60*k - 56*k. Suppose 0*u + 11 = -3*u - 2*f, 4*u = 4*f - 28. Let x be (36/(-75))/3*u. Which is greater: k or x?
x
Let k be ((-4)/(-10))/(9/(-15)). Suppose 6*z - 11*z - 5 = 0. Is k less than or equal to z?
False
Suppose 4*k + 67 = -2*n - 241, 3*n + 2*k + 470 = 0. Which is bigger: -159 or n?
n
Let x = -18 + 19. Let w = 22 - 22.04. Is x less than w?
False
Suppose 31*a + 442 - 101 = 0. Is a at most as big as -15?
False
Let h = 145 - 108. Suppose -153 = 5*r + h. Is r <= -39?
False
Let d = -30.231 + 29.6. Does 1 = d?
False
Let d be ((-10)/220)/(78/(-8)). Which is bigger: d or 1?
1
Let a = 1524 - 1526. Which is smaller: -174 or a?
-174
Suppose -4*g + 8 = 24. Let m be -1*36/4 + g. Do m and -14 have the same value?
False
Let s(l) = -4*l**2 + 97*l - 29. Let n be s(24). Which is greater: 0.46 or n?
0.46
Let h = 154 + -240. Let i = h + 149. Is 63 at least as big as i?
True
Let g = 0.034 + 40.966. Let s = -42 + g. Is s <= 0.043?
True
Let o = 0.116 + 81.884. Let c = -81 + o. Which is smaller: c or 5?
c
Let x = -200 + 196. Is x less than 27?
True
Suppose 4*g + 360 = -g. Let c = g + 102. Let y = -21 + c. Is y bigger than 10?
False
Let b = -767 + 1577/2. Is 23 < b?
False
Let p be 6/28 + 3/((-30)/5). Which is smaller: p or 1/4?
p
Let l = 93.2 + -100.2. Which is smaller: 2/107 or l?
l
Let z = -779 - -778. Is -9/103 greater than or equal to z?
True
Let h = 110.1 - 52.4. Is h equal to -2/5?
False
Let s = -99 - -100. Is s at least as big as 4/87?
True
Let u = 1865 + -108173/58. Let h be (-2)/((-2)/(-8)*8). Is u less than h?
False
Let y be 20/(-740)*(-238)/18. Let a = 5/37 - y. Let p = -0.1 - 0.1. Is p >= a?
True
Suppose -30 = 2*g - 32. Suppose -3*j + 4 - g = 0. Which is bigger: j or -1/14?
j
Let f = -52 + 237. Is f < 185?
False
Let a be 1/(9/12)*(-1617)/14. Is -154 at least as big as a?
True
Let n = -2 - -1.8. Let a = -1.38 + -79.12. Let o = a - -81. Is o at most as big as n?
False
Suppose y - 14 = -18, k + 4*y + 10 = 0. Which is smaller: k or 126/17?
k
Let q(p) = -2*p**3 + 4*p**2 + 25*p - 162. Let u be q(5). Which is greater: -190 or u?
u
Let m = 0.1 - 0.9. Let p = -1 - -0.4. Let f = m - p. Is 2/3 less than f?
False
Let b be (-18)/(-15)*40/6. Suppose 17*x = b*x + 252. Is 30 smaller than x?
False
Suppose -4*s - 42 = 3*s. Let t = -11 - -4. Let b be (3 + -1)/(2/t). Which is bigger: s or b?
s
Let i = 435/16 - 4617/176. Is i greater than 1?
False
Let g = -26 + 4. Let i be (g/44)/(-1*5). Is 0 equal to i?
False
Let a(k) = -k**3 + 9*k**2 + 7*k - 19. Let q be a(9). Let g = -41 + q. Is 3 greater than or equal to g?
True
Let u(b) = 2 - 4*b**2 + 5*b**2 + 0 - 2*b**2 - 3*b. Let z be u(-3). Let q be z/((30/(-4))/3). Which is smaller: -2 or q?
-2
Let u be 7506/408 + -1 + 3/12. Which is greater: 18 or u?
18
Let q be (-6)/(-4) + 83549/(-55622). Which is smaller: q or 1?
q
Let k(n) = 26*n - 5. Let v be k(2). Let g = -48 + v. Is -2/25 at most g?
False
Let y = -0.189 - -0.289. Which is greater: -33 or y?
y
Let z = -7.5 + 6. Let v = 10.5 - 14. Let o = v + z. Is 0.2 at least o?
True
Suppose -4*p - 5 = 5*h + 3, 2*p = 5*h + 26. Let t be (h - -2)/(1/2). Let d = 0 + -4. Is d >= t?
True
Let f = -3.8 - -5. Let o = f - 1.9. Let a = 0.66 + o. Which is smaller: a or 0.2?
a
Let a = -0.251 - 0.019. Let h = a - -1.27. Is -0.03 != h?
True
Suppose -4*x + 87 = -2*i - 57, 5*x = 3*i + 212. Let q = 24 + i. Which is smaller: -41 or q?
-41
Let d = 51/5 - 35603/3490. Is d bigger than -1?
True
Let a = 6 + -10. Let u(i) be the first derivative of -i**4/4 - 4*i**3/3 - i**2/2 + 5*i - 222. Let s be u(a). Which is smaller: s or 15/2?
15/2
Let s(y) = y**3 + 5*y**2 - 6*y + 3. Let d be s(-6). Suppose -3*u + 4 = 3*b - 2, -4 = -d*b - 5*u. Which is bigger: b or 17/5?
17/5
Suppose 0*n - 3*q - 10 = -2*n, 2*q + 6 = n. Suppose 0 = g + 2*v + n*v + 20, 0 = -2*g + 2*v. Is g != -4?
False
Let n = -10157/24 + 1691/4. Which is smaller: -1 or n?
-1
Let c = -81 + 81. Is 35 at most as big as c?
False
Let a(s) = s**2 + 21*s + 46. Let i be a(-5). Is 3 equal to i?
False
Let d be (68/(-9010))/(2 - 93/45). Which is bigger: d or 1?
1
Suppose 26*d + 172 = 22*d. Are d and -4 equal?
False
Let p(m) = -7*m - 23. Let r = -58 - -54. Let x be p(r). Is 5 at least x?
True
Let l = -40 - -34. Let g be (105 - -3)/(-4 - l). Are g and 54 nonequal?
False
Let r(a) = 2*a**3 + 16*a**2 + 13*a - 14. Let m be r(-7). Is m <= -63/8?
False
Suppose 10*a - 3*i = 5*a - 3085, 3*a + 4*i = -1851. Which is bigger: -618 or a?
a
Suppose -28 + 21 = 7*p. Is -4/15 greater than p?
True
Let q(h) = h**3 + 10*h**2 + 3*h - 1. Suppose -3*s - 2*s - 25 = 0. Let g be q(s). Suppose -3*j - 2*p = 71 + 32, -3*j = 5*p + g. Which is smaller: -32 or j?
j
Let l be ((-30094)/123)/(2/6). Which is bigger: -733 or l?
-733
Suppose 4*n - 10 = -n. Suppose -n*f - 2 = 2. Suppose -6*b + b - 4*m = -30, 2*b = 5*m + 12. Is b smaller than f?
False
Suppose -y - 2*y + 66 = 0. Suppose -2*d + 4*t = -y, -2*d + 14 = -2*t - 12. Suppose -u + 3*z = -0*u + 16, -d = 5*u - 2*z. Which is bigger: -3/2 or u?
u
Suppose i - 6*i - 20 = 4*n, 5*n - 4 = i. Let z be 2 - (-34)/(-12) - (-4)/(-24). Which is greater: z or n?
n
Let i be ((-3)/(0 - 1))/(-1). Let t be -6 + (-16)/(-6) + 2/(-3). Is t at most as big as i?
True
Suppose -35 = -9*q + 19. Which is smaller: 10 or q?
q
Suppose t - o - 2*o = -16, -5 = -o. Let k = 2271/16 - 142. Which is smaller: t or k?
t
Let j = 0.0216 - -0.0484. Is 3/5 <= j?
False
Suppose -8 - 12 = 2*s. Suppose 3 = -3*i, -4*u + 2*u = 4*i - 22. Let a = u + s. Is 5/3 greater than a?
False
Let a = -11 + 2.5. Let s = 0.5 + a. Let p = s - -10. Is -2 <= p?
True
Let f = 0.22 - 0.5. Let y = 8.28 + f. Let q = -5 + y. Do 3 and q have the same value?
True
Let b be (87 + -70)/(1 + -2). Let g be -16 + (-3 - 1*-2). Is b != g?
False
Suppose -4*h - 16 = 4*d, 4*h + 3*d + 3 + 11 = 0. Suppose 5*f - 20 = -0. Suppose f*a + 4 = -12. Is h greater than a?
True
Le