
Let w = -9.7 + 9. Let n = -0.4 - w. Let c be 15/(-75) + (-11)/(-5). Are n and c equal?
False
Let z(o) = -2*o**3 + 7*o**2 - 10*o + 25. Let t be z(3). Let v = -37 - -30. Let u be v*-8*(-36)/(-616). Which is greater: t or u?
t
Let d = 3.6237 + -0.6237. Is d at least -699?
True
Let j = -0.3 - -0.2. Let y(d) = d**2 - 7*d + 9. Let s be y(6). Suppose 206*n = 205*n + s. Does j = n?
False
Let n = 4/2049 - 6155/4098. Which is smaller: -1/52 or n?
n
Let d(u) = 5*u - 44. Let v be d(0). Let s = -39 - v. Suppose -19*z + 20*z = s. Which is greater: 4 or z?
z
Let z(i) = -7*i + 106. Let m be z(15). Is 0.171 bigger than m?
False
Let s(c) = c - 25. Let m be s(27). Let i be ((-2)/10)/(48/(-440)). Is m greater than or equal to i?
True
Let f = 8 + -6. Let h = 11212.034 + -11212. Is h < f?
True
Suppose 5*w = 5*t + 115, -2*t - 151 = 3*t + 4*w. Let f be (-1950)/t - (-2)/(-9). Suppose -8*q + f - 240 = 0. Which is bigger: q or -23?
q
Let a = 255.2 - 253.7. Which is smaller: a or 30?
a
Suppose 46*t - 40*t = -24. Let y be t + (5 - (5 - 3)). Let f = -1739/198 - -96/11. Which is smaller: f or y?
y
Let v = 2916.888 + -2956. Let i = 0.188 - v. Let x = i + -38. Is -2 less than x?
True
Suppose 5332*l - 5317*l = 14280. Is l greater than 946?
True
Suppose 4*b - 4*j - 4 = -b, j = -5*b - 1. Let c be b - ((-12)/(-60))/(3282/(-15)). Which is smaller: -1 or c?
-1
Let v = 11495 + -11496.43. Let r = -2 + 1.07. Let z = v - r. Which is smaller: z or -1?
-1
Suppose 2*i = -3*m + 3 + 4, -4*i = -2*m + 26. Suppose -2*o + 9 + 29 = 2*u, 3*u = -m*o + 87. Which is greater: o or 18?
18
Suppose 500 = 9*u - 256. Suppose -u*n + 236 = -80*n. Does n = 58?
False
Let t = -14.2 + 14.11. Let c = 28.91 - t. Is -2 less than c?
True
Let l = 53/5764 - 31567/3233604. Let w = l - 10768339/98736. Let s = w + 109. Which is greater: s or 1?
1
Let h be (-2717)/4356 + (8/(-9))/(-4). Let m = h - -7/12. Is m smaller than 15?
True
Let w be (-10)/35 + (-222183)/63. Are w and -3527 equal?
True
Suppose s - 5*s = -4*m + 424, -5*m - 184 = 2*s. Let n = -105 - s. Let t = 2933 - 32287/11. Is n > t?
False
Let g = 7273 + -5501. Which is bigger: 1771 or g?
g
Let u(q) = 470*q**2 - 15*q. Let k be u(1). Is 453 less than k?
True
Let u = 12097 - 12097. Which is bigger: 4/2823 or u?
4/2823
Suppose -13*o - 6685 = -39*o - 9*o. Is o smaller than 765/4?
True
Let f be 0 - (12/(-14))/(-3). Let z = 31396 + -31396.22. Which is smaller: f or z?
f
Let k(v) = -v**2 + 15*v - 2. Let f be k(5). Suppose c + f = -2*a, -5*c + 4*a - 178 - 62 = 0. Which is bigger: c or -50?
c
Let o = 25 - 23. Let j be (6 + (-410)/(-4))*o. Are j and 218 unequal?
True
Suppose 2*z - 3*y = 19, 35 = 3*z + z - 5*y. Suppose -9 = -4*x - z*x. Let g = -160 + 3355/21. Is g at least as big as x?
False
Let p be (-36)/(-11544)*(-32)/(-9)*-527. Let v = p + -4/1443. Is -5 less than v?
False
Let x(b) = -26*b + 30. Let o be x(-37). Let m be o/6617 + 9/((-117)/2). Which is greater: m or 0?
0
Let f = 2152 - 2141. Which is bigger: 117 or f?
117
Suppose -3*f - 155 + 23 = 3*b, -2*b - 45 = f. Let c = f - -42. Let w = -1/3 + 16/21. Which is smaller: c or w?
c
Let f(o) = -o**2 - 20*o + 51. Let l(z) = -2*z - 25. Let n be l(-2). Let p be f(n). Is p less than 31?
True
Let t be (1580/(-30) - -6)/1. Is t smaller than -0.2?
True
Let z be (((-30)/(-1))/((-14)/(-119)))/1. Let a be (-720)/3*(18/z)/(-3). Is a >= 5?
True
Let c = 24171 - 11674597/483. Is 2/3 > c?
True
Let z(r) = 67*r - 267. Let v be z(4). Is 1/451 less than v?
True
Let a be 31/186*(-6)/4. Suppose 0 = -3*p + 55 + 92. Let h = -49 + p. Which is bigger: a or h?
h
Let y = 2464.57 + -2324.7. Let k = -140 + y. Let x = -193/483 + -2/69. Is x greater than k?
False
Let o(w) = 26*w**3 + 7*w**2 + 3*w - 3. Let h be o(-2). Let i = 188 + h. Which is smaller: 3/134 or i?
i
Let f = 8339/60 + -139. Let u = 37/30 - f. Which is bigger: u or -5?
u
Let b(u) = -3*u**2 - 83*u + 138. Let v be b(23). Which is smaller: v or -3356?
v
Let r = -97 + 99. Suppose 0 = -q - 2*a - 5, -r*q + 0*a = -2*a - 14. Suppose -2*s - 2*h = q*h + 18, -3*s + 3*h = -15. Which is bigger: s or -4/9?
s
Suppose 37454 + 43808 = -131*m + 12356. Which is greater: m or -528?
m
Let g be (-9)/6 - 0 - (22110/44)/(-67). Let d be 2/((-8)/(-50))*2. Suppose 0*m - 5*m = -d. Is m > g?
False
Let n = 28935 + -28933. Which is greater: 407/32 or n?
407/32
Let n be 3/9 - 60307/241815. Let h be (46/(-7889))/(5/(-1 - 0)). Let x = n + h. Is 0 at most as big as x?
True
Let b = 106061 - 1165720/11. Let f = b - 15727/187. Is f bigger than 1?
True
Suppose 0 = -3*g - r + 2*r - 241, g = 5*r - 85. Let p be 4/(-22) - g/44. Which is bigger: 0 or p?
p
Let o(i) = i**2 + 12*i - 19. Let l be o(-10). Let a be (-2)/218*(-26)/l. Let z = -989/1308 - a. Which is smaller: z or -2?
-2
Let p(j) = -1741*j + 8477. Let b be p(4). Which is bigger: 1512 or b?
b
Let f be 6/(-4)*(-788)/(-6). Suppose 5*b + h = -969, -h + 591 = -1141*b + 1138*b. Which is bigger: b or f?
b
Suppose 3*g = -2*g. Let u = -3282 - -777832/237. Which is smaller: u or g?
u
Let q = -237.5 + 236. Let o = 214.5 + q. Is o > 0.1?
True
Let r(s) = -2*s**3 + 4*s**2 - 23*s + 73. Let a be r(-17). Are a and 11446 equal?
True
Suppose -10*q + 144 = -7*q. Let b be 6/8 - 228/q. Let t be (b/3)/4*16. Is t >= -4?
False
Let r = -262.9736 - 0.0264. Let k = r - -260. Which is smaller: k or 20?
k
Let c(h) = -h**2 - 4. Let f(j) = -j**2 + j - 3. Let d(m) = 5*c(m) - 4*f(m). Let z be d(3). Is z bigger than -29?
False
Let z = 852719/354 + -4817/2. Which is greater: -1 or z?
z
Let n(g) = g**3 + 4*g**2 - 4*g + 4. Let c(i) = i**2 + 15*i + 10. Let t be c(-14). Let b be t/44 - 108/22. Let u be n(b). Is -2 greater than or equal to u?
False
Let i(f) = -4*f**3 + 101*f**2 + 24*f. Let p be i(9). Is 5482 at least as big as p?
True
Let w(v) = 84*v + 994. Let c be w(-12). Is c != -115/8?
True
Suppose -r + 3*v + 531 = 0, 7*r - 10*r = 2*v - 1549. Which is greater: 518 or r?
r
Let k = 29210 - 29205. Are k and 10/43 non-equal?
True
Let h = -4 + 3.89. Let w be (1 + -4)*56/24. Let r be -1*(1/2 + (-7 - w)). Is h <= r?
False
Let f be 5/((-40)/(-4))*2. Let y(c) = 26*c - 3*c**2 - 4 - 1 - 10 + f. Let b be y(8). Is 15 less than b?
False
Let x = 12867 + -12868. Is 2/55333 greater than or equal to x?
True
Let b be 3/(14 - 29) + (0 - 5446/(-5)). Is b >= 1089?
True
Let s be (2/38)/((-2)/15). Let h be (-472)/(-320)*56/(-190). Let b = s - h. Does b = -2?
False
Let u(z) = -465*z**2 + 8*z - 8. Let v be u(4). Let p be v/34 - (1 + 1) - -3. Let n = p - -217. Which is smaller: 4/13 or n?
n
Let y = -0.00626 + -0.03074. Which is smaller: -14 or y?
-14
Suppose -12*t + 4*o - 6 = -11*t, -2 = -4*t + 3*o. Suppose -x - t*p - p = -11, -4*x = 4*p - 4. Suppose 0 = w - 3*g + 2*g + 9, 0 = 5*w + 4*g + 54. Is w < x?
True
Let h = -2498 + 2469. Suppose -2*r = -3*r + 1. Is h > r?
False
Suppose -m - 90 = 3*g, 5*m = 4*g - 247 - 165. Let h be (-24)/m - 23/7. Let r(t) = -t**3 - 2*t**2 + 10*t + 4. Let f be r(-4). Which is smaller: h or f?
f
Suppose 19 = -6*v + 1309. Let z = 185 - v. Which is greater: z or -3?
-3
Suppose -27 + 0 = 9*i. Let t(o) = o**3 + o**2 - 2*o - 1. Let b be t(-2). Let c(x) = 4*x**3 + x**2. Let r be c(b). Is i bigger than r?
False
Let r = -9 - -8. Let c(g) = -3*g + 7. Let u be c(-3). Let s(n) = -n**2 + 14*n + 32. Let y be s(u). Is r smaller than y?
True
Let b = 1 + -1. Let k be (4 + (-120)/18)/(1810/45). Let g = 2764/1991 - k. Which is smaller: b or g?
b
Suppose 22 = 41*v - 40*v. Let d be (1 - 24/v)/((-40)/(-520)). Does 1 = d?
False
Let q(i) = -27*i + 11. Let z be q(-4). Suppose -5*n = 3*s - z, n + 3*s - 30 - 1 = 0. Is n < 22?
False
Let n(f) = f**3 - 2*f**2 - f + 1. Suppose -7*v + 1 = -8*v. Let p be n(v). Is p <= -1/17?
True
Let d = -9495 + 9182. Which is smaller: d or -316?
-316
Let o(i) = 3*i**3 - 3*i**2 - 8*i - 4. Let y be o(-2). Let s be 109/y + (-2)/6. Let z = -10 + 9. Which is greater: z or s?
z
Let p be -5 + 4 - ((-1828)/1160 + (-7)/35). Which is bigger: 1 or p?
1
Let j = -7310 + 7411. Which is greater: 96 or j?
j
Suppose -68*o + 67*o = -117. Let u = o + -218. Is 1 greater than u?
True
Let t = -11421/4 - -2855. Is -1.723 > t?
False
Let g be (-2 - (-1948)/12)/((-172)/(-21156)). Is g >= 19722?
False
Let k be (-968 - -2)*(-2)/(-3). Let i = k - -634. Is -3 > i?
True
Let d(p) = -p**3 + 47*p**2 + 8*p - 88. Let o be d(46). Which is 