o(l) = -64*l - 65. Let m be o(-1). Is n equal to m?
False
Let k be 25/(-144 + -31)*(9 - -1). Which is bigger: k or -9/11?
-9/11
Let y = -4876.963 - -4877. Is y greater than or equal to 4.1?
False
Let a(u) = -u**3 - 8*u**2 + 13*u + 55. Let d be a(-9). Suppose -82*i + 63*i - d = 0. Which is smaller: i or 2/969?
i
Suppose 0 = -9*t - 10 + 28. Suppose 0*g - j + 110 = 2*g, -t*j - 55 = -g. Which is bigger: 54 or g?
g
Let t be (-6)/15 + -7 + 508/1220 + 6. Are -2 and t nonequal?
True
Let u(f) = -23*f**3 + 2*f**2 - f - 1. Let q be u(2). Let d be (14/6)/((-168)/12888). Is d <= q?
True
Let g(o) = 30*o**2 + 788*o - 788. Let k be g(1). Which is bigger: k or 1365/44?
1365/44
Let n = -11/1383 + 38294/4988481. Which is greater: n or -1?
n
Let b = -4872 - -1115686/229. Let o be (5 + -1 + -3)*(-2 + 2). Which is smaller: o or b?
b
Suppose 5*n = -w - 0*w - 216, -3*n - 4*w - 116 = 0. Let u = 44 + n. Suppose -2*g - 5*t + t + 134 = u, -4*g - t = -275. Which is smaller: 70 or g?
g
Let n be -2 - (10/2 + -1). Let x be n/(-4) - 2/(-4). Let j be -1*(-2)/4*-12*(-18)/(-108). Which is smaller: x or j?
j
Suppose 170*v = -57*v + 906028 - 192567. Which is bigger: 3139 or v?
v
Let i = -3802073113/1746420 - -23/116428. Let c = i - -2178. Which is greater: c or 1?
1
Suppose 16348 + 56210 = 44*a + 178. Which is bigger: 1646 or a?
1646
Suppose -4*v - 5*x = 67 - 28, -38 + 52 = -2*x. Let i be (42/194)/3*1. Which is smaller: i or v?
v
Let z = -20 - -24. Suppose z*f = 2*p + 8 - 2, -p = -5. Let x be ((-175)/84)/(1/f) + -3. Is -10 bigger than x?
True
Suppose -47*y + 1536 = 81*y. Which is greater: y or -3/4?
y
Let n = -11967 + 11843. Which is smaller: n or 3/16?
n
Let z(u) = 87*u**2 - 2*u + 31. Let y be z(16). Let p = y - 39664649/1781. Do -1 and p have the same value?
False
Let b = -1.944 + 2. Let f = -2.722 + 2.466. Let c = b + f. Which is greater: c or -3?
c
Let j be (3 - 2)*3*1. Let g be (3/(-5))/(15159/(-73350)). Which is bigger: j or g?
j
Let h(c) = -31*c + 130. Let r be h(4). Let w be 4/(-7) + -5*r/315. Does 4/3 = w?
False
Let o = -252 + 266. Suppose 2*q + 2*c + 0 + o = 0, 0 = 2*q - 5*c - 21. Which is greater: q or 4?
4
Let w = -8923 + 8924. Which is smaller: 2/12425 or w?
2/12425
Let l = 3288 - 3287.8. Which is bigger: l or -13?
l
Suppose -b = -g, 2*g + 14 = -5*b - 7. Suppose -115*j = -120*j + 25. Is j equal to g?
False
Let i(f) = -f**3 - 9*f**2 - 6*f + 6. Let x be i(-6). Let q be ((-44)/x)/(2/519). Suppose 7*p + q = 54. Which is bigger: -18 or p?
p
Let q = 0.014 - -150.986. Let z = q + -71. Is z at most 0.2?
False
Let m = 1453/45 - 43/45. Let g(b) = -b**2 - 20*b - 68. Let v be g(-10). Is m less than v?
True
Suppose -4*m = -5*p + 11, -p - m = -2*p + 3. Let w = -1/382142 - -862303429/2292852. Let k = 376 - w. Which is smaller: p or k?
p
Let h be (-2654 - -2)/1 + (-4 - -8). Let s be (-6)/(-14) - (-1 + h/(-1834)). Which is smaller: s or 0?
s
Let y = 1 - 1. Suppose -s + 10 - 5 = y. Suppose s*f = 3*f - 2. Is f <= -9/7?
False
Let q(h) = h**3 - 25*h**2 - 49*h - 136. Let k be q(27). Let b(n) = -3*n**2 - 6*n - 4. Let i be b(k). Which is bigger: i or 3/37?
3/37
Let c = -6559 + 6558.9. Is c > 227.2?
False
Suppose 9 = 6*r - 15. Suppose r*i + 189 = -5*w + 34, 3*w + 71 = 2*i. Let f = -8 + w. Is f at least -35?
True
Let i = 382 + -461. Let h = -78 - i. Is -160 < h?
True
Suppose 1358 = -297*n - 9334. Is n bigger than 16?
False
Suppose 14*i = 342 - 118. Let x be (i/680)/(2/(-30)). Is 0.1 >= x?
True
Suppose -4*k + 8*z = 10*z - 2886, 3*z + 3580 = 5*k. Let j = 3598/5 - k. Suppose -w - 4 = -3*w. Are w and j nonequal?
True
Let d be (459/(-4))/3 + -2. Let l = d - -40. Let c(y) = 4*y + 9. Let z be c(-5). Which is greater: l or z?
l
Let k = -11415/152 + 597/8. Let f = 33 + -34. Is f at most k?
True
Let k be (12/(-8))/(99/57156). Are k and -865 non-equal?
True
Let z be (-4)/14 - (-2242)/(-826). Let c be (3 + 3/z)*(-2)/(-4). Let b be 2/5 - (-6)/(-20). Is b > c?
False
Suppose 7*n - 3 = 25. Suppose 0 = -n*w - 0 - 4. Let f = -315/8 + 155/4. Is f greater than or equal to w?
True
Let j be ((-546)/(-48) - 0) + (-4)/8*-6. Is j > 14?
True
Let x(s) = s**3 - 12*s**2 + 19*s + 13. Let v be x(10). Suppose 0 = -v*r - 4*t - 20, -r + 5 = 5*t - 6*t. Let d be (-24)/27*2/(-8). Which is bigger: r or d?
d
Let h = 0.64 + -0.6942. Let n = h - -0.1942. Which is smaller: -0.17 or n?
-0.17
Let g = 3 - 3.2. Let o = 125 + -69. Suppose -3*w = -h - o, -7*h - 54 = -3*w - 4*h. Which is smaller: g or w?
g
Let l be 0*((-4)/18 + (-329)/(-3384)). Let t = -0.41 + 0.01. Let z = t - -0.3. Which is bigger: l or z?
l
Let g(o) = 6*o**2 - 46*o + 80. Let n be g(5). Is 2/2021 != n?
True
Let t(u) = u**3 - 19*u**2 + 3*u - 2. Let r be t(19). Let a = -520/9 + r. Is -3 at least a?
False
Let o = -37.54 + 0.14. Which is smaller: o or 13?
o
Suppose -705 + 9783 = 34*s. Is 5 less than or equal to s?
True
Let p = -270 + 273. Suppose 9*y - 52 = 7*y + 2*h, 0 = -3*h - p. Which is bigger: 27 or y?
27
Let k(r) = -r**2 + 78*r - 525. Let y be k(68). Is y greater than 156?
False
Let j = -56 + 95. Let s(d) = -5*d**3 - 14*d**2 - 11*d - 12. Let o be s(-5). Let a be (-9)/12 - o*(-4)/32. Is j smaller than a?
False
Suppose -2*l + 3*q - 1682 - 11625 = 0, 33278 = -5*l + 4*q. Is -6656 bigger than l?
True
Let k = -4127 - -4052. Which is greater: k or 36?
36
Let s be 6/81 - (-1344)/16848. Which is bigger: 314 or s?
314
Suppose 4*g = -211 + 47. Let a be 2 - (20/(-7) - -2)*7. Suppose a*d + 210 = 3*d. Is d greater than g?
False
Let h be ((-105)/81)/((9/27*-1)/(-2)). Is h <= -7?
True
Suppose 0 = -170*w - 126*w + 264*w + 1536. Is w greater than 1738/37?
True
Let u be 1/(2 - 7/(-14)). Let d = 7 - 5. Suppose 0 = p - z, 0 = 2*z - 4*z + d. Which is bigger: u or p?
p
Suppose 69 = 5*l - 131. Let i be ((-477)/848)/(-2*(-3)/l). Do -2 and i have different values?
True
Let a be (-2)/(-1) + ((-45)/(-3))/(-1). Let t = a + 17. Suppose -u - t*r - 13 = 0, -3*u + 2*r - 4 = -5*u. Are u and 7 unequal?
False
Let n = 6 - 6. Let c = 4596 + -4598.457. Let w = -0.243 + c. Which is smaller: w or n?
w
Let b(g) = 11*g - 48. Let v be b(-16). Let i = -2461/11 - v. Let x be 2/(-3) + (-24)/(-9). Which is greater: i or x?
x
Let v be 1*(2 - -191) + 0 + -1. Let a = -217 + v. Is a at least as big as -25?
True
Suppose -2*z - 4*g - 3036 = -7*z, -z - g = -609. Let a = 609 - z. Which is greater: -6/361 or a?
a
Let b = 7066.83 - 7245. Let y = b + 177. Do 0 and y have the same value?
False
Let s = -8.3 + 1.94. Let t = s - 0.84. Is t > 2/7?
False
Let l be (-3 - -3)/((0 - -2)/1). Let p = -104 + 109. Let h be p/((-4935)/1988) - 2/(-1). Is l less than h?
False
Suppose 4*v - 114 = 23*v. Let n be (v*(-9)/486)/73. Which is greater: -1 or n?
n
Let h(s) = 2*s**2 - 15*s + 28. Let g be h(2). Let o be g + (-151)/(-13) - 1. Which is smaller: o or 16?
16
Let l = -1759.9 - -9234.9. Which is smaller: l or 0?
0
Suppose 23827 = -14*n + 7873 - 29070. Are -3217 and n equal?
False
Let m be ((-4)/(-1169))/(60/42). Let b(n) = 2*n**3 - 20*n**2 - n + 10. Let l be b(10). Is m bigger than l?
True
Let m be -3 - ((-919)/(-10))/((-7866)/45). Let a = -56/23 - m. Which is greater: a or -1?
a
Let b be ((-1)/2)/(3/(-18)) - 3. Let p be b*(-2)/(-10)*-1. Suppose p = -60*r + 55*r. Which is greater: -1/20 or r?
r
Let d = 485 + -468. Suppose 2*v - 5*v + i - 1 = 0, -4*v + 5*i + d = 0. Is -8/7 bigger than v?
True
Let u = -7 + 10. Suppose -z + i = 4*z, -5*i = 0. Suppose z*v + u*v = -6*v. Are 4/31 and v equal?
False
Let o = -85 - -110. Let g be (-20)/(-6)*2340/o. Let w be 1 - (3 + (-620)/g). Which is greater: 0 or w?
0
Let l = 89.5 - 91.5. Which is smaller: 4299 or l?
l
Let g be 1/(-5) + (1304/20 - 2). Let l = g + -61. Suppose 0 = j - l*j + 3*n - 1, -3*n - 4 = -2*j. Which is greater: j or -3?
j
Let g = 0.101 - -61.899. Let t = -62.39 + g. Let x = t - -0.49. Is x greater than or equal to 0.2?
False
Let w = 1679 - 20149/12. Which is greater: w or 0.22?
0.22
Let r = -279 + 552. Let b = r + -272.979. Which is bigger: b or 0.2?
0.2
Let n = 7290370525/24331 - 299633. Is n at least as big as 0?
True
Suppose 15983 + 7964 = -77*x. Which is bigger: 0 or x?
0
Let w = 0.1 + 29.9. Let j = -388 + 381. Let m be (56/(-24) - -9) + j. Which is smaller: w or m?
m
Let d(n) = 11*n + n**2 + 46 - 23 - 25. Let x be d(-11). Let c = -10489/40 + 1298/5. Which is greater: x or c?
x
Suppose 4