 Let o be -2 - (f + -1 + -2). Are o and -3/2 equal?
False
Suppose 0 = 3*n + 5*u + 11, 3*n = 2*u - 6*u - 10. Let a be 6*(5 + -12)*3/n. Which is smaller: 66 or a?
a
Let m = 2.48 + -1.27. Let b = -5.51 + m. Let v = -3.3 - b. Is v < 2?
True
Let k be (-4)/(-1) + 1 + 2. Suppose -k*s + 16 = -23*s. Which is greater: s or 5?
5
Let s = -1118 - -571. Let k = -552 - s. Which is bigger: k or 0.6?
0.6
Let t = -217.5 - -214.5. Which is greater: 46 or t?
46
Let c(h) = -4*h**2 - 5*h - 15. Let g be c(9). Let t = g + 422. Which is smaller: t or 32?
32
Suppose 0 = -29*v - 7174 - 7210. Let s = v + 5490/11. Which is smaller: s or 3?
3
Let w = 2568379/290 + -17713/2. Let i(k) = k + 6. Let z be i(-5). Does w = z?
False
Let z be 1 - (-4 - -2)/(-2). Suppose z = 3*l - 0*l - 6. Suppose 0 = 4*s - 5*t - 19, 3*s + l*t + 6 = -t. Is -1 >= s?
False
Suppose 0 = -5*j - 5*d + 8 - 33, -d = 4*j + 5. Let u = -8.64 - -13.35. Let z = u - 4.61. Is j less than or equal to z?
True
Let l(q) = q**3 - 76*q**2 + 78*q - 281. Let r be l(75). Is -33 greater than r?
True
Let x = 63339905/799 + -79274. Are 1 and x unequal?
True
Let u = 411 - 70. Let m = -341.2 + u. Which is greater: m or 1.7?
1.7
Suppose 10 + 20 = 5*x. Let z be 3/(-9)*18/x. Is -4/85 > z?
True
Let a(v) be the third derivative of v**4/3 - 97*v**3/6 - 71*v**2 + 2. Let l be a(7). Is l at least as big as -41?
True
Let f = -2544 + 2143. Which is smaller: f or -406?
-406
Let t = -1507 + 1506. Is 18/185 < t?
False
Let q = 60.8 - 9.8. Let h = 1092.9 + -1042. Let x = h - q. Which is greater: -0.6 or x?
x
Let w = -202 + 22. Let p = 899/5 + w. Which is greater: p or -2?
p
Let t = -0.0221 + 10.1021. Let p = t - 0.28. Let i = p + -10. Is i at least 4?
False
Let q be 1286/74 + (9 - 16 - 2). Which is smaller: 9 or q?
q
Let d be -3*(-3 + (-91)/(-21)). Let l = d - -8. Which is smaller: 9 or l?
l
Let d(j) = -900*j + 6024. Let g be d(8). Which is bigger: g or -1183?
g
Let g be (-3 + 1)/(6/9) + 11. Let t = g + 3. Let b(a) = -a**2 + 15*a - 27. Let d be b(t). Is 16 smaller than d?
True
Suppose -4*p + p + 4*l + 1 = 0, -5*l + 7 = -p. Let d be ((-2)/3)/(p + 65/(-21)). Suppose 0 = -d*r - 0*r. Are r and -1 unequal?
True
Let t = -2240 - -2431. Which is greater: 2/9 or t?
t
Let v(x) = x**3 + 71*x**2 + 81*x + 763. Let f be v(-70). Which is greater: f or -555?
f
Let s = 21 - 21. Suppose 4*q - 10 = u, s*u - 2*u = -3*q + 5. Which is bigger: q or 30/13?
q
Let u be (-6)/9*(-9)/630*-7. Which is greater: u or -0.049?
-0.049
Let n(w) = w**2 - 83*w + 1160. Let b be n(63). Is -139 at most as big as b?
True
Suppose -5*h + 5*b - 20 = 0, 6*b - b = 15. Let x be ((-7 - 35389)/(-4))/(-4020). Let r = x + 1/804. Which is smaller: h or r?
r
Let y = -712 - -711. Which is smaller: y or 3/758?
y
Let g be (-211)/4 - (-2)/(-8). Let l = 29043 - 58193/2. Which is smaller: l or g?
l
Let q be (-2 - 186/(-8)) + (-4)/16. Let o be (-5 + 2)/(q/(-4)). Does o = 1/6?
False
Let a = -76022203/1640 + 46355. Are a and 1 unequal?
True
Let u = -16 + 8. Let b be (-220)/u*(-2 + 4). Suppose 4*i = 45 + b. Is i at least 24?
True
Let r = -388 + 9698/25. Let p be (-1 - 1)/4*(-20)/10. Which is bigger: p or r?
p
Let o be -1 + (1 - -5) + 18 + -23. Suppose o = 121*d - 113*d + 8. Let x = -7/57 + -4/19. Which is smaller: d or x?
d
Let q be (-1)/(-3*6/(-126)). Let s be (2 - q)/(-3) - 36. Let t be ((10/4)/5)/(s/52). Are 39 and t non-equal?
True
Let r(i) = i - 119. Let q(d) = -3*d + 229. Let h(m) = -4*q(m) - 7*r(m). Let n be h(16). Let u be 36/(-10) + (-1 - -2). Which is smaller: n or u?
n
Let b(p) = -7*p + 834. Let n be b(119). Let v be (-2)/(68/9 + -1). Do n and v have the same value?
False
Let t be -2 + 1 + 23 + 2. Suppose 0 - t = 3*x. Suppose 2*a + 4*r - 11 + 37 = 0, 5*r = 4*a. Which is smaller: a or x?
x
Suppose 80*m = 79*m - 3. Suppose 2*u = -u + 4*k + 10, -k - 1 = 0. Let t be u/((-24)/(-20))*m. Do -7 and t have the same value?
False
Let z = -4168 + 4216. Is z smaller than -137?
False
Let i = -62 + 120. Let j(q) = -59*q**3 - 2*q**2 - q + 1. Suppose -15*o - 1 = -14*o. Let m be j(o). Which is bigger: i or m?
m
Let o(j) = 81*j + 810. Let q be o(-10). Which is smaller: q or -74/53?
-74/53
Suppose 2*o - 5*u = -35, o - 2*u = -u - 10. Let x be (2/(-5))/(119136/(-222900)). Let v = 2/1241 + x. Is o at least as big as v?
False
Let n = -81/31 - -1899/620. Let k = n + 1/20. Let y = -1.14 - -1.44. Which is smaller: k or y?
y
Let g = 5136 - 5107. Is g greater than 158?
False
Let b be ((-66)/(-24)*-2)/(1/14). Suppose 7*m + 786 = 254. Is b > m?
False
Let v(q) = -1214*q - 133. Let o be v(1). Is -1348 greater than or equal to o?
False
Suppose -4*c + 45 - 237 = 0. Let m(i) = -i**3 - 146*i**2 + 153*i + 839. Let g be m(-147). Is g smaller than c?
False
Let t(r) = r**2 - 6*r + 6. Let g be t(6). Let n be (-3 + g/2)/((-6)/3). Let d be (-2 - n)/(4 + -7) + 6. Is d greater than or equal to 7?
False
Let v(w) = 3*w**2 + 94*w + 152. Let q(p) = p**2 + 32*p + 51. Let y(d) = 17*q(d) - 6*v(d). Let b be y(-18). Let r = -1 + -9. Which is smaller: b or r?
r
Let l = -56 - -43. Let n = l + 11. Let i be 5*(-1)/12*n. Are i and 0 nonequal?
True
Suppose -31*m - 1568 = -143*m. Which is bigger: 41 or m?
41
Let h = -1.95 - -3. Let j = h - 0.61. Let o = -2.56 - j. Is o less than or equal to -4?
False
Suppose k + 15984 = 10*k. Suppose -45*p = -33*p + k. Which is smaller: p or -147?
p
Let r be (-3)/(-7) + 384/(-14). Suppose -w + 3 - 1 = -3*z, z + w = 6. Let y be z*(3 - r/(-8)). Is y greater than -3?
True
Suppose 2*k = 4*k. Suppose 4*q = 3*c - 18 - 20, -c - 3*q - 9 = k. Let g be (7/21)/((-2)/c). Which is smaller: 7 or g?
g
Let x = 704 - 1027. Let b = -327 - x. Do 4/7 and b have different values?
True
Suppose -j + 3*j = -5*f + 32, -4*j = -5*f + 56. Which is smaller: -39/11 or j?
j
Let p = -135786 + 135789. Let a = -0.2 + 0.8. Is p <= a?
False
Let v(l) = -l**2 - 28*l - 94. Let z be v(-24). Let q be (-8)/20 - (-68)/20. Suppose q - 5 = -z*i. Do 0 and i have different values?
True
Suppose 3*h = w - 1, 2 = 2*w - 5*h - 4. Let x(d) = -3*d**3 - 3*d**2 + 2. Let c be (2/7)/((-2)/14). Let b be x(c). Is b greater than w?
True
Suppose -36*l + 35*l + 30 = 0. Let v = 1425 - 1393. Is l less than or equal to v?
True
Let k be ((-1)/3)/(6 + (-275)/45). Suppose 3 - 3 = -k*p. Is -3/37 less than or equal to p?
True
Let i = 237.88 - 27.78. Let o = i + -210. Is -12.3 greater than o?
False
Let j be (-306)/54 + 1/(-3). Let l = -4 - j. Suppose 4*d + 4 = -r, -l*r - 3*r = -2*d + 20. Which is greater: r or -6?
r
Suppose 281*b - 3360 = 12. Does -177 = b?
False
Let w be ((-27)/(-6) - 2)*(-22)/(-209). Does w = -1/2?
False
Let w = -55 - -54.71. Let p = -12.29 - w. Suppose 1 = -2*i - 3*s, 12*i - 2 = 13*i + s. Is p smaller than i?
True
Let i be ((-2)/(-8))/((-22)/(-88))*136. Let f be (4 - 108/24)*i/2. Which is smaller: -26 or f?
f
Suppose -4*j - 7 = -19. Suppose 11*k = -20 - 2. Let r be ((-11)/33)/(k/(-4)). Is j <= r?
False
Let c be (3 - (2 + 4)) + (-9)/(-3). Is c > -213.5?
True
Suppose -4*y - 29*y = -132. Suppose m = -3*d - 14, 4*d + y = 4*m + d. Is m not equal to -12/19?
True
Suppose -y + 5*w - 2662 = 0, -12*y = -9*y - 4*w + 7942. Is y bigger than -2641?
False
Suppose 5*z = 4*x + 57, -3*x + 5*z - 23 = 26. Let s be (x/(-30))/(36/(-90))*165. Which is smaller: s or -2?
s
Suppose -2*z + 3*r - 80 = -3*z, -12 = 4*r. Let a = z - 85. Which is smaller: 26/5 or a?
a
Let l(g) = -87*g + 3. Let v be l(2). Let n(m) = -3824*m - 38410. Let t be n(-10). Is t not equal to v?
True
Let m = 0.12 + 0.38. Let q = -3.8 - m. Let v = q - -5.8. Is v < 1?
False
Let z = 468 + -452. Suppose -2*p + 360 = z*p. Which is greater: p or 141/7?
141/7
Let g(d) = 2*d**3 - d**2 - 5*d - 5. Let k(y) = -2*y**3 + y**2 + 4*y + 4. Let b(q) = 4*g(q) + 5*k(q). Let v be b(-1). Let w = 74 + -72. Which is greater: v or w?
v
Let u = -31209/649336 - 3/3529. Which is smaller: u or -1?
-1
Let w be (-2)/7 + 3309/(-105). Let g = -73316 - -73283. Is w < g?
False
Let b(a) = -3*a**2 - 14*a + 8. Let r be b(3). Is -59 != r?
True
Suppose 6*u = 9*u - 21. Let k be (-30)/14 - u/7. Let n = 184 - 187. Which is smaller: n or k?
k
Let d(m) = -752*m**2 + 47*m + 18. Let q be d(3). Which is smaller: -6611 or q?
-6611
Suppose -68*s = -65*s + 9. Let m be (-6 - s - 34) + -1. Is -38 equal to m?
True
Let t(n) = -n**3 - n**2 - 2*n + 147. Let m = -509 + 509. Let j be