= -1, 5*h - q = -2*f. Let o be ((-3)/(-5))/(h/(-8)). Are o and -2 unequal?
True
Suppose -2 = -3*v + 1. Let g be (-134)/(-335) + (-2 - (-133)/80). Does v = g?
False
Let i(w) = w**2 - 6*w - 3. Let m be i(7). Suppose -m*f + 10 = 6. Let r be (4/(-20))/((-2)/4). Which is greater: r or f?
f
Let a = 4 - 19. Let i = -14 - a. Is 2/3 less than or equal to i?
True
Let s be (-170)/(-40) + (-2)/8. Suppose s*y - 2 - 11 = -3*x, -5*y - 4 = -3*x. Is x equal to 7/3?
False
Let c be (-15 - -32)*(-3 - (-32)/(-4)). Which is bigger: -189 or c?
c
Let i be 193/(-13) - 2/13. Let d = i - -35/2. Which is greater: d or 4?
4
Let g be ((-20)/(-30))/(304/(-12)). Which is greater: g or 0?
0
Let u = -32 + 34. Let i(l) = -l**2 + 5*l - 7. Let f be i(u). Which is bigger: 0 or f?
0
Let m = -17 + -39. Which is smaller: m or -164/3?
m
Suppose -8 = -2*f, 3*f - 17 = -i + 5. Suppose 0 = -i*b + 8*b. Is b smaller than -1/4?
False
Let d be (-50277)/(-97020) - (-15)/(-20). Let n = d + 12/55. Is -1 at least n?
False
Let a = 5 - -7. Let g = 1546 + -1545. Is a greater than or equal to g?
True
Suppose 4*t + 2*y - 6 = 0, -14 = -t - y - 2*y. Let z(w) = w**2 + 14*w + 22. Let p = -53 + 41. Let l be z(p). Is l smaller than t?
True
Let u = -34 - -78. Let f = -44 + u. Do -3/68 and f have the same value?
False
Let o = -436 + 548. Which is greater: o or 111?
o
Suppose 3*k - 14 = -182. Let o = 57 + k. Is 5 less than o?
False
Suppose 0*j - 3*j = 0. Suppose j = 4*m + m - 40. Let d be 29/(-9) - m/(-36). Which is greater: -7 or d?
d
Let u = 1393/4 + -348. Suppose -4*n = n - 20, -5*n = -5*d - 20. Suppose d = -5*s + 4*s. Is u equal to s?
False
Let x be -2 - -7 - (6 - (-21)/(-18)). Which is bigger: x or -0.03?
x
Suppose 4*n = -0*n + 200. Let c = -35 + n. Which is bigger: 13 or c?
c
Suppose -10*s = 11 + 29. Let k be s/(-6)*63/56*36. Is k != 28?
True
Let v be ((-14)/3)/(-2) + 1/(-3). Suppose q - 11 = -0*t - 2*t, -v*t = -4*q - 6. Is q less than 3/2?
True
Let m = 6 - 4. Suppose -3*a - m - 7 = 0. Let j(y) = y**2 - 4*y - 23. Let o be j(7). Is o != a?
True
Suppose -3*f - 3 = 2*k - 293, 3*k = 2*f + 409. Let g = k - 422/3. Which is greater: g or -2?
g
Suppose -10*c = -c. Is 7/11 bigger than c?
True
Let t = -5293/5 + 1060. Is 2 at most t?
False
Let p = 15/791 + 40997/7119. Suppose 0 = 4*k - 2 - 18. Which is smaller: p or k?
k
Let r = -5.1 - 5. Let n = 10 + r. Which is smaller: 1 or n?
n
Let o(v) = v + 7. Let s be o(-3). Suppose -s*z = 2 + 10. Let c be z - -2 - 2 - -2. Which is smaller: c or 1?
c
Suppose 0*w = 5*w. Let a be w + -2 + (1 - 0). Let v(j) = -j**3 - j**2. Let b be v(a). Which is greater: b or 2?
2
Let h(v) = -36*v**3 + 3*v**2 - 4*v + 1. Let w be h(1). Let s be (-60)/w + 1/1. Which is smaller: s or 0.1?
0.1
Suppose 68*r - 5*r + 126 = 0. Which is greater: r or -431?
r
Let z = 140.112 + 0.488. Which is greater: 1 or z?
z
Suppose 0 = 2*r - 17 - 41. Let v = 24 - r. Let l = 4 - v. Which is greater: l or 4?
l
Let v = -792/7 + 114. Let t = 126 - 127. Let m be (-3 + 15/5)/t. Are v and m unequal?
True
Let u(i) = -10*i**2 - 99*i + 10. Let z be u(-10). Let y be 3/(-3)*2/14. Which is bigger: z or y?
z
Let b be 12/3*((-35)/(-10) - 3). Which is smaller: b or -115?
-115
Let m be 21/(2*2 + (-136)/40). Which is greater: m or 38?
38
Let t = 32.87 + -4.87. Which is greater: t or -5?
t
Let q = -238 + 712/3. Let h be 2 + -1 + 0/(-3). Let b = h - 2. Which is smaller: q or b?
b
Suppose 3*g - 7 - 11 = 0. Let m be 4/2 - (-5 + 15/5). Suppose 5*n = 3*h - 32, 4*n + 36 = m*h - n. Is g smaller than h?
False
Let i = 253 + -113. Let v be (5 - 6) + i/(-6). Let s = v + 145/6. Which is smaller: s or 0.3?
s
Let b be (3340/(-5768))/(22/(-7)). Let v be 2 + (-1 - (-822)/(-824)). Let j = b - v. Is j at least as big as 1?
False
Let b(s) = -s**3 + 6*s**2 + 17*s - 111. Let l be b(5). Which is smaller: l or 2/231?
l
Let s(f) = -7*f + 28. Let c(i) = -3*i + 14. Let o(p) = -9*c(p) + 4*s(p). Let r be o(-11). Which is bigger: -5 or r?
r
Let i = -0.16 + -0.84. Let k = i + -1. Let q = 2 + k. Which is smaller: q or -0.01?
-0.01
Let g(p) = -7*p - 5. Let c(x) = 3*x + 3. Let o(h) = 9*c(h) + 4*g(h). Let b be o(5). Suppose -j = 4*y, 0 = -b*j - 0*j - y. Are -1 and j equal?
False
Let q be ((-2)/(-1))/((-5)/30). Let p = -63.3 - -31.2. Let h = p + 32. Which is bigger: q or h?
h
Let l = -90 - -55. Which is smaller: l or -141/4?
-141/4
Suppose -30 = -n + 3. Suppose 0 = f - 2*p - 12, 5*f = 3*p + n - 1. Let z = f - -1. Is 6 != z?
True
Let h = -0.18 + 0.18. Let b be (-9)/(-495)*65/2. Let d = 12/11 - b. Does h = d?
False
Let z = 49 + -90. Is z smaller than -1?
True
Suppose -2*g - 3*f - 110 = 0, 0*g = -3*g + 3*f - 195. Which is bigger: -60 or g?
-60
Let d(h) be the third derivative of -h**5/60 + 3*h**4/8 - 4*h**3/3 - 5*h**2. Let i be d(8). Let t = -26/15 + 323/195. Which is greater: i or t?
i
Suppose -2*y - 2*n = -22, -3*y + 54 = -0*n - 4*n. Let s be (-26)/91 - (-4)/y. Which is smaller: 1/15 or s?
s
Let t be 15/1100*28 - (-3)/(-15). Does t = 1?
False
Suppose -722*o = -702*o - 5900. Is 297 bigger than o?
True
Let q be ((-510)/48)/(-5) + 1/(-8). Which is bigger: q or 189?
189
Let k be 12/(-20) - (-6)/10. Suppose k*f = f + 1, -f - 16 = -5*s. Suppose -4*n + s*n = 0. Which is smaller: 1 or n?
n
Suppose -2*s + 11535 = -6609. Let g = 27475/3 - s. Let p = 87 - g. Is 2 <= p?
False
Let h = -8 - -5. Let z be -10*(0 + (-4)/5). Let o be ((-4)/(-10))/((-198)/24 + z). Is h > o?
False
Let x be 4/(-8)*-5*(-520)/75. Are x and -16 nonequal?
True
Let l = -4.77 + 5.173. Let s = 0.103 - l. Do s and -13 have different values?
True
Suppose 2*y - 2*a = -3*y + 3872, -5*a + 769 = y. Do 773 and y have the same value?
False
Suppose 4*c = -n + 19, 3*c = -2*n + 4 + 9. Which is greater: -3/71 or n?
-3/71
Let c(a) be the first derivative of a**3/3 + 6*a**2 + 4*a - 4. Let y be c(-12). Suppose 0 = -4*v - 0*v - y. Which is bigger: 2/69 or v?
2/69
Let u be -45*((-180)/(-12))/5. Which is bigger: u or -137?
u
Let l be 4/16 + 199/(-820). Let r = l + 1119/15170. Which is smaller: 0 or r?
0
Let u(b) = b**2 - 14*b + 1. Let d be u(14). Let w be d/(-1)*(0 - -1). Is w bigger than 0?
False
Let u = 0 + 0.3. Let l = u + -0.3. Let o = -0.0184 + 0.1184. Which is smaller: o or l?
l
Let d be 1 - -10 - (2 + -3). Let z = -18 + 30. Does z = d?
True
Let h(z) be the third derivative of -z**5/60 + 23*z**3/6 - 29*z**2. Let y be h(-6). Does y = -5?
False
Let a be (-6)/9*3*6/2154. Is a <= 1?
True
Let h = 1597 + -20771/13. Which is bigger: 0 or h?
0
Let c(o) = 2*o**3 - 19*o**2 + 9*o - 9. Let s be c(9). Let k be 49/10 - (-6 - s) - 2. Which is greater: 1 or k?
1
Suppose 0 = -4*i - 16, -9*l + 10*l + 2*i = -12. Is -17/4 <= l?
True
Let g = 32 - 29. Suppose 2*y - 22 = -g*f, 4*y + 0*f - 44 = f. Is y equal to 12?
False
Let v(p) = 6 - p - 8 + 0. Let d be v(0). Which is smaller: -7/4 or d?
d
Suppose 0 = 5*g - g + g. Which is smaller: g or -1/173?
-1/173
Suppose -4*x + 20 = -4*j, 9*j = 4*j + x - 9. Which is bigger: -5 or j?
j
Let a = -2 + -7. Let l(z) = 4*z + 17. Let g be l(-4). Let c be (g + -13)/(57/38). Which is greater: a or c?
c
Suppose 2*k - 72 = 5*k. Let x be ((-8)/20)/(k/20)*-3. Are x and 2/309 equal?
False
Let c = 111 + -111.4. Which is smaller: -77 or c?
-77
Let t = 0 + -0.2. Let r = -0.3 - t. Let v = 20.6 + -19.6. Which is smaller: r or v?
r
Suppose n = -1, 2*l = 6*n - 2*n - 136. Let f be (-12)/(-210)*-5 - (-36)/l. Is 0 greater than f?
True
Let t(w) = -w + 2. Let f be t(2). Suppose -5*r - 4*a - 6 - 8 = f, 3*a - 7 = 5*r. Let l be r*(-3)/(-444)*-4. Which is smaller: l or 1?
l
Suppose 0 = -14*x + 24*x - 490. Are 49 and x nonequal?
False
Let z = 503 + -518. Which is smaller: z or -24?
-24
Suppose -8*o + 6 = -66. Suppose -7*r = -o*r + 2. Which is smaller: r or 2/9?
2/9
Suppose x = 5*y - x - 162, 0 = 3*y - x - 98. Let l = -16747 - -16781. Is l greater than y?
False
Let a be 3/12 - 52/336. Let z = 544 - 544.2. Is a smaller than z?
False
Let i be (9 + 132/(-36))*(-3)/(-4). Which is smaller: i or 5?
i
Suppose 4*m + 2 = -y, m - 2 + 6 = 0. Let r = -10 + 49/2. Let j = y - r. Which is smaller: 1/4 or j?
j
Let y(w) = w**3 + 4*w**2 - 4*w - 4. Let s be y(-4). Suppose -2*i + 5*i - 4*q = -s, 9 = i + 3*q. Which is greater: -39/2 or i?
i
Let f = -11 - 9. Let z = f - -20.1. Are z and -28 nonequal?
True
Let k = -77 + 85.1. Let x = k - 9.1. Is x smaller tha