 3. Let v be n(m). Are v and 77 non-equal?
False
Suppose 5*i - 2574 = -6*i. Let b be i/27*(-9)/(-6). Which is greater: b or 1?
b
Suppose -6*h = -h - 4*m + 28199, -3*m = -3*h - 16917. Let r be (-3 + h)*3/(-42). Let q = -404 + r. Which is smaller: q or 0?
q
Let o(r) = -2*r + 3*r - 2*r**3 + r**3 - 2*r**2 - 3. Let m be o(-3). Suppose -m*c - 8 = c. Are -5/7 and c equal?
False
Let x = 34/49 - 8156/11613. Is 0 greater than or equal to x?
True
Let d(s) = -s**3 + 4*s**2. Let o be d(4). Suppose -i - 9 = -4, -5*b - i = o. Do 3/37 and b have the same value?
False
Let o = 1108.1 - 1108. Which is bigger: o or -70?
o
Let k = 8.3 + -1.8. Let r = -8 - k. Let d = r - -3.5. Does d = 0?
False
Let v = -11 - 6. Let g = 28 + -14. Let u = v + g. Is u <= 0?
True
Let u = 526 - 486. Is -1/2 greater than or equal to u?
False
Suppose 5*x - 56 + 11 = 0. Let y = x + -17/2. Suppose 13*q = 18*q - 5. Which is greater: q or y?
q
Let j = -1619.3 + 1528. Let l = 91 + j. Let b = -7.1 - -1.1. Which is bigger: l or b?
l
Suppose 458 + 784 = -9*b. Let x = b + 139. Are x and 1/19 unequal?
True
Let s(t) be the second derivative of -t**5/20 + t**4/6 - t**2/2 + t. Let d be s(-1). Suppose d*o = -0*o - 10. Which is smaller: o or -0.2?
o
Let x(r) = -10*r + 151. Let f be x(21). Is f greater than -59?
False
Let q be (-2)/(-4)*(-274)/(-1). Let w = -136 + q. Is 2/45 smaller than w?
True
Let w(n) = -n**3 - 2*n**2 + n + 1. Let l be w(-1). Suppose -c = 2*q - 12, c = -2*c - 2*q + 24. Let m be 5/((-15)/c) - (-60)/55. Is m at least l?
True
Let q be 56 + (-4 - (5 - 10)). Let s = -52 + q. Which is smaller: s or -4?
-4
Suppose f + 1589 = -4*l, l = 5*l + 3*f + 1591. Is -396 equal to l?
False
Let v = -3.29 - -0.09. Let b = -2.2 - v. Is -8 <= b?
True
Let i = 10953/5192 - 123/88. Which is smaller: i or 2?
i
Let p be (-11)/330*6*5. Is -1/685 at least p?
True
Suppose 9*n - 14 = 2*n. Suppose 44 = -n*r - 2*r - t, 0 = r + t + 8. Which is bigger: -11 or r?
-11
Let d = 0.077 + 3.023. Let t = d + -3.04. Is t greater than or equal to 0.2?
False
Let p(i) = 2*i + 55. Let c be p(-34). Is -15 smaller than c?
True
Let i = 1147 + -1153. Does i = 133?
False
Suppose 3*d + 19 = -2. Suppose -11*a + 16 = -4*c - 13*a, 2*a = -c - 7. Which is smaller: c or d?
d
Let m(q) = -q**2 - 13*q - 39. Let s be m(-4). Let b be (45 + -7)/(s - -2). Which is greater: -118/3 or b?
b
Suppose -76*s - 10 = -78*s. Suppose -4*j + b - 142 = 3*b, 2*j - s*b = -77. Which is smaller: j or -35?
j
Suppose -36 = -2*r - 4*l - l, r + 4*l = 15. Let u = -22 - 1. Let y = r + u. Which is smaller: y or -7/9?
-7/9
Let b be 6/(-104)*20/(-18). Let a be (310/2275)/((-24)/(-190)). Let v = a + b. Which is smaller: v or 0?
0
Suppose -4*j + 134 = -66. Is j less than 48?
False
Let o = -0.042 + 5.242. Which is bigger: o or -1/3?
o
Let f = 27.298 - 0.748. Let a = f + 1.45. Which is smaller: 2 or a?
2
Let b = -305.2 + 305. Which is greater: -4.6 or b?
b
Let w = -5 - -4. Let o = -0.07 + 0.07. Let b = o - 3. Is w <= b?
False
Let a = -0.915 - 0.115. Let q = -0.93 - a. Which is bigger: 3.5 or q?
3.5
Let c = -1195.43 - -1190. Which is greater: c or -2/5?
-2/5
Let j(l) = l**2 + 9*l + 8. Let n be j(-7). Let h be 1 + -6 - 190/(-665). Which is smaller: h or n?
n
Let q(v) = 4*v + 95. Let z be q(19). Which is greater: z or 172?
172
Suppose 8*s - 4*s + 2*a - 72 = 0, 5*a + 18 = s. Let v be s*3/2*1. Is 26 at least v?
False
Let z = 558.07 - 558. Which is greater: z or -6?
z
Let m be 2/(-1) + (-20)/(-10). Is m greater than -2/2173?
True
Let j = -446.6 + 446. Which is smaller: 197 or j?
j
Let c = 0.14 - -0.06. Let u = -1.2 + c. Suppose -6 - 3 = -3*t. Is t <= u?
False
Let l = -39071/229320 + 111/520. Let q be (-4)/(-10) + 1460/(-3150). Let c = q + l. Is 1 greater than c?
True
Suppose -13*l + 15*l = -12. Let z(q) = -3*q**2 - 19*q - 1. Let d be z(l). Is 0 less than d?
True
Suppose 81 = 4*t + 281. Let u = 5980 - 36179/6. Let m = u - t. Which is bigger: m or 0.3?
0.3
Let u = 25.1 + -24. Let k = u + -1. Is 3/8 greater than or equal to k?
True
Let n(k) = -k**3 - 7*k**2 - 2. Let b be (-75)/10 + 2/4. Let o be n(b). Let y be 255/360 + 4/(-3). Do o and y have different values?
True
Let c = 3715/6 + -1207/2. Let v = -16 + c. Is 2.4 <= v?
False
Let o = 1896 + -1879. Does o = -0.2?
False
Suppose -n + 17 = -2*v + 2*n, 2*n + 33 = -5*v. Which is bigger: v or -6?
-6
Let h = -1206 + 1206. Which is smaller: h or 0.1941?
h
Let f = -143/4 + 421/12. Which is greater: -6 or f?
f
Let s be ((15/(-9))/(4/12))/(-1). Suppose s*t + 285 = x - 61, t + 4*x + 86 = 0. Are -1 and t equal?
False
Suppose 32*m = -14*m - 16*m. Which is smaller: 23/32 or m?
m
Let y = 0.06 - 21.06. Let v = -6 - y. Let w = 14 - v. Which is smaller: 4 or w?
w
Let c = -31 + 25. Let l be (-6)/(-38)*(-2)/c. Let r be (-40)/30 - (-1)/3. Which is smaller: r or l?
r
Let h = 462 - 460. Let q = -2466 + 22222/9. Which is smaller: h or q?
h
Let o be ((-28)/(-70)*-1*5)/2. Is o < -9?
False
Let q(w) = -2*w - w**2 - 2*w + 1 + 2*w + 0*w. Let p be q(1). Let a be p/(-4)*4 + -1. Which is bigger: 9/4 or a?
9/4
Let p = 11 + -12. Is p < 1/27?
True
Let g = 96 + -41. Let t = g + -54.95. Which is smaller: -7/2 or t?
-7/2
Let l be (-6)/4 + (-13819)/(-9334). Is l bigger than -1?
True
Suppose -7*o - 9*o = -16. Which is greater: -1/65 or o?
o
Let o be 3*136/18*(-24)/(-16). Which is greater: 4 or o?
o
Suppose -1 = -q - 2*k - 5, 0 = -q - 4*k - 4. Let i = -45 + 49. Let a be -4 - (i + -4 + 2). Which is smaller: a or q?
a
Let a = 363 + -363.18. Is 4 > a?
True
Let p be ((-3)/(-2))/((-8)/(-16)). Suppose 36 = p*d + 2*s, -5*s - 1 = d - 26. Is d < 11?
True
Let s be (1/(-1))/((-12)/48). Let p be 45/(-12) - (-3)/s. Let g = -13 + 23/2. Which is smaller: g or p?
p
Let x(g) = 5*g - 138. Let f be x(26). Let r(o) = o**3 + 6*o**2 - 5*o + 5. Let h be r(-7). Which is bigger: h or f?
f
Suppose 5*f - 80 = 4*t, 7*t = 3*t - 20. Suppose 0 = -5*z + 2*z - f. Let p be 52/84 - z/(-12). Is p at least 7?
False
Suppose 0 = -i + f - 2 + 7, -52 = -4*i - 4*f. Suppose -8*g = -i*g. Let d = 2520/52331 - 2/1217. Which is greater: d or g?
d
Let s = -0.142 + 0.115. Is 1/4 greater than or equal to s?
True
Let m be 8/7*56/48*3. Let t be -7 - 0/((5 - m)*2). Which is bigger: -33/5 or t?
-33/5
Suppose -13 = 6*d - 1. Let t be (5 + -8)/((-3)/2). Suppose -4*s - 2*k = -t, -s - 5*k = 5 + 8. Is d at most s?
True
Suppose 3*j + 20 = -4*o, 0 = -2*o + 5*j - 0*j - 36. Let c(a) = 9 - a - 44 + 12 + 16. Let h be c(o). Which is greater: h or 2/9?
h
Suppose 0 = 2*v - v + 5. Let h be 6/(v/(40/(-3))). Let g = h + -16. Is 2/21 at least g?
True
Suppose -3 = 3*r + x, 5*r + 6 = r - 2*x. Let w = -84 - -418/5. Let c = w + -7/20. Which is smaller: c or r?
c
Let x(g) be the first derivative of -g**3/3 + 9*g**2/2 - 8*g - 8. Suppose 3*q = 2*h + 22 + 6, -5*h - 10 = 0. Let p be x(q). Which is bigger: -1 or p?
p
Let v be 3624/(-33) + 5 - 10/55. Which is smaller: -104 or v?
v
Let k(m) = -m**3 - 2*m**2 + 12*m + 15. Let q be k(-3). Let t = 23 - 24. Which is greater: q or t?
t
Let u = -3.1 - -3. Let q = -203 - -417/2. Are u and q unequal?
True
Let x(h) = -h**3 + h**2. Let v(d) = -d**3 + d + 1. Let z(s) = 3*v(s) - 2*x(s). Let l be z(-2). Let o be (3 + -2 - l)*-1. Is o at most -2?
True
Let b = -23 + 45/2. Let s = -0.01 - 9.99. Let y = -9.4 - s. Which is bigger: b or y?
y
Suppose -3*c - 3*d + 12 = 0, -c + 17 = 4*d + 4. Is -1/6 less than or equal to c?
True
Let w = -15.86 + 15. Let z = w + -0.14. Let h = -0.088 + -0.012. Is h < z?
False
Let c(a) = -64*a + 133*a + a**2 - 1 - 63*a. Suppose -r + 3*r + 12 = 0. Let x be c(r). Which is greater: x or 2/31?
2/31
Let t = -397 + 398. Let u = -0.02 - 6.98. Is u at most as big as t?
True
Let v(q) = 2*q**2 - 17*q + 37. Let y be v(9). Is y <= 48?
True
Let d be (-2)/(-18) + (-35)/(-9). Let c = d + -35/9. Is 1 >= c?
True
Let d = -34 - -38. Suppose -5 = -5*b + d*b. Let q be b + -3 + (-8)/5. Which is smaller: q or -2?
-2
Suppose 0 = 2*s + 8, -n - 2*n + 4*s + 13 = 0. Are n and 1/35 nonequal?
True
Let a(h) = 2*h + 4. Let v be a(-4). Let x = v - -8. Suppose -11 = -3*k - 2*n, n - 67 = -2*k - 59. Which is bigger: k or x?
k
Suppose -5*r = 5*p - 10, 1 = 2*r - p + 6*p. Suppose -c = 4*w + 12, -5*w - 2 + 4 = -r*c. Let n be c + (-57)/(-3) - 0. Which is smaller: 0.1 or n?
0.1
Let b(r) = 5*r - 21. Let y be b(4). Let s(u) = -2*u**3 - 4*u**2 -