 -124 + 123.9988. Let p = g - 0.0988. Which is bigger: p or -1.41?
p
Let c be ((-1 - -46)*-1)/(27 + -26). Suppose -t + 13 = 57. Which is smaller: t or c?
c
Let z(b) be the first derivative of 2*b**2 - 57*b + 66. Let n be z(14). Let a(w) = -w**3 + 6*w**2 + 7*w + 1. Let p be a(7). Which is smaller: n or p?
n
Let k = 2.401 - 0.001. Let h = -30.4 + k. Let n = -33.8 - h. Which is smaller: n or -1?
n
Let q(n) = 11*n**2 - 98*n + 11. Let u be q(9). Suppose 1750 = u*t - 1970. Is 186 bigger than t?
False
Let f(y) = -y**2 + 9*y - 8. Let t = 41 - 34. Suppose -t*c + 10*c - 21 = 0. Let r be f(c). Is 4 greater than r?
False
Let g be (-24)/(-11) - 2 - (-10272)/132. Let x = -115 + g. Suppose -111 = 2*f + f. Is x at most f?
True
Let l(i) = i**3 - 7*i**2 + 7*i - 7. Let o be l(6). Let b be ((-36)/(-30))/(o/(-110)*-2). Let j = b - -257/4. Is j not equal to -1?
True
Let z = -40.429 + 40.229. Which is bigger: z or -5.224?
z
Let i(c) = -68 - 74 + 37 - 48*c + 15*c. Let p be i(-5). Which is smaller: 61 or p?
p
Let x = -1210312797/402215 - -1668/7313. Let p = x - -3009. Is 0 > p?
False
Let h be (-90)/(1 + 14) + -59*15. Which is greater: -889 or h?
-889
Let i = -410315/273 - -1503. Are -0.1 and i unequal?
True
Suppose 41 = -2*v + 5. Let r be 99/54 - 3/v. Suppose 5*a + 23 = 2*a + 2*o, -33 = 5*a + r*o. Which is smaller: -9 or a?
-9
Let l(n) = -32*n - 767. Let d be l(-24). Which is greater: d or -1/440?
d
Let n be (-18 + -3 + 3)/(4/(-30)). Suppose 0*y - 5*y = n. Let a be y/12 - 5/20. Which is smaller: -2/3 or a?
a
Let r be 4/(-3) - (16 - 980/60). Which is smaller: r or -818?
-818
Let b be ((-3)/75*-5)/(3/3). Are -123 and b unequal?
True
Let t = -12 + 69. Let q = 4.4 + -1.4. Is q != t?
True
Let r(s) = s**2 - s - 1. Let l be r(3). Suppose 6*t - l*t = 30. Let f(h) = h**2 - 5*h - 55. Let g be f(-7). Which is bigger: t or g?
t
Let c = -1152440/100201 + 1116/97. Which is smaller: 1 or c?
c
Suppose -5*b - 123 = -2*i, -b + 4*b = -2*i + 147. Let n be i/(-18) - (0 + 2 - 6). Which is smaller: n or -26?
-26
Suppose 0 = 3*g - 5*v + 211, -3*g - 11*v - 166 = -7*v. Let w = 97 - 157. Are g and w non-equal?
True
Let b = -27 + 32. Let x be 1 + -2 - (-7)/b. Let d be (7 + -1)*(175/28 + -7). Is x at least d?
True
Let o = 1210 - 636. Let s = o + -390. Suppose s = -16*c - 216. Is -71/3 greater than or equal to c?
True
Suppose -4343*y - 7179 = -z - 4338*y, -4*z + 28796 = -4*y. Which is bigger: 7205 or z?
7205
Let m = -2.9465 - 3.0535. Which is smaller: -739 or m?
-739
Let t = 611 + -611.1. Which is greater: t or -202?
t
Let v(p) = 3*p**2 + 2*p - 9. Let j be v(-6). Suppose 4 - 2 = 2*i, j = 5*u - 3*i. Let t = u - 12. Is t bigger than -0.7?
True
Let c(a) = a**3 - 2*a**2 - 48*a - 8. Let j be c(-6). Let z be (-1474)/j + 6 + (-75)/12. Which is greater: z or 182?
z
Suppose -61*c + c - 23*c = -623911. Are 7518 and c non-equal?
True
Let x(y) = -y**3 + 3*y**2 + 2*y + 17. Let t be x(5). Let r be (-6)/t*8/(-16). Which is greater: r or 0?
0
Let s be (30/(-2))/(-3) + -12. Let b(p) = -p**3 - 12*p**2 - 5*p + 13. Let j be b(s). Are -197 and j equal?
True
Let b(q) = 50*q**3 - 9*q**2 - 11*q - 4. Let j be b(-1). Are j and 4/3 non-equal?
True
Let d = -66 - -153. Let k = -53 + d. Is -2/25 < k?
True
Suppose 0 = 39*k - 43*k. Suppose -7*c - 94 + 52 = k. Are c and -39 non-equal?
True
Let g be (-9)/60 - 2/(-5). Let w = -623 - -1079. Let k = 456.007 - w. Which is bigger: k or g?
g
Let y = 305477/9 - 33991. Which is bigger: -2/9 or y?
-2/9
Suppose -4*t + 4*s + 14 = 2, -4*s - 19 = 3*t. Suppose -5*p = 4*l - 79, -2*l + 1 = 2*p - 31. Let b be -4 - (-902)/210 - 3/p. Which is smaller: t or b?
t
Let t(c) = -c**3 - 4*c**2. Suppose -20 = -0*u + 5*u. Let z be t(u). Suppose 5*w - 13 = 18 - 11. Is z at most as big as w?
True
Suppose -8*n + 13*n = 0. Let w = 7 - 1. Let p = w + n. Is 16 smaller than p?
False
Let v = -6968 - -5295. Is -1674 at most v?
True
Let j = 1 - 1.1. Let q = -21 - -22.1. Which is bigger: q or j?
q
Let u = -4396 - -4463. Which is greater: 78 or u?
78
Let a = 193247 - 6559382920/33943. Is -1 at least a?
False
Let t = -1094/77 + 95/7. Let a = 3.11 + -1.11. Which is greater: a or t?
a
Let s be -28 - -1 - (-34986)/(-2856). Which is smaller: s or -39?
s
Let t(b) = -2*b - 39. Let g be t(-12). Which is bigger: -1 or g?
-1
Let j = 1120 - 5090. Which is greater: j or -3971?
j
Let s be 19/((-19)/(-6)) - (-10 - (2 + 356)). Which is greater: 360 or s?
s
Let l = 203.94 + -204. Let n = l - -0.46. Which is smaller: n or -0.13?
-0.13
Suppose -4*i + 5*u = i + 15, 3*i - 51 = -9*u. Is -243 at least i?
False
Let s = 210 + -205. Let q be -5 + s + (-1 - -1). Which is smaller: q or -3/92?
-3/92
Let b = 156.5 - 149.5. Is 82 not equal to b?
True
Let s(x) = x**3 - 14*x**2 + 24*x - 129. Let o be s(13). Which is smaller: o or 519/35?
o
Let t be 77/7 + -3 + -1. Suppose 2*q + 5*r - t = 0, 6*r - 5*r = 1. Which is smaller: 3/194 or q?
3/194
Let i(p) = p - 20. Let v be i(19). Suppose 3*x + c = 55, 0 = -0*x - x - 4*c + 22. Let k be (-1 - x/(-14)) + 20/175. Is k not equal to v?
True
Let r = 16053 - 16052. Is -29/236 < r?
True
Suppose m + 93 = -2*z, -z - m = -3*m + 54. Let a = z + 53. Suppose -12 = 4*x + 4*h, -2*x - 33 = a*h - 12. Which is smaller: x or 14?
x
Let w = 5030 - 4434. Which is greater: w or 598?
598
Let y = 233/4 - 2543/44. Let c = 241/22 - y. Suppose 0 = 2*v - 28 + 4. Which is bigger: c or v?
v
Suppose 56*p = 59*p - 435. Let m = p + -142. Which is greater: -16 or m?
m
Let o = 0.153 + -75.153. Let m = 77 + o. Let l = 7.11 - 0.11. Is m != l?
True
Let w be 30/(-4)*(0 + 96/(-20)). Suppose 17*d - 14*d = w. Let r be (-2)/d + (-16)/672. Which is smaller: r or 1?
r
Let p = -47 + 45. Let n be ((-6)/(-9) - 1)*(p - 40). Suppose -2*a + 0*a = -3*z - 11, a + 5*z + n = 0. Do a and -2/131 have different values?
True
Let o(d) = -67*d**2 + 5*d + 44. Let c be o(3). Which is smaller: c or -545?
-545
Suppose 5*a - 32*a = -270. Suppose -a*s = -542 - 188. Is 73 less than s?
False
Let t = 266.2 + -319.7. Which is bigger: -4 or t?
-4
Let s be (112/(-63) + 2)/(4/6198). Let w = -340 + s. Which is smaller: w or -2/9?
-2/9
Suppose 2*f = -0*f + 18. Let a be 1/(14 + -13)*28/3. Is f at most as big as a?
True
Suppose -315 = v - 10*v. Let d(u) = -74 + v + 37 + 2*u. Let x be d(0). Is 2/29 at least as big as x?
True
Let y = -592 - -301. Let q = y + 279. Which is smaller: 1/8 or q?
q
Suppose 0 = -5*d + 620 - 215. Let p be 27 + -9*(-1595)/261. Is d <= p?
True
Let d = 8 - 17. Let r = 2971 + -2977. Do r and d have different values?
True
Let z = 32 + -63/2. Let k = -142.74 - -142.74. Do z and k have the same value?
False
Let d be (-70)/(-5) - 1*-1. Suppose -9*x = 81 + 54. Let v be (-4840)/(-300) - ((-2)/x)/1. Which is bigger: d or v?
v
Let i = -431 + 325. Let j = i + -538. Is j bigger than -643?
False
Let g be 20/(-5)*(-1 - (-168)/174). Let x = -5.2 - -8.2. Is x <= g?
False
Let b = -12203 - -12216. Which is smaller: 19 or b?
b
Let a = 1407 - 1395. Which is greater: a or -17?
a
Let a(t) = -7*t**2 + 795*t + 97. Let d be a(96). Is 11906 not equal to d?
True
Let n(j) = 5*j - 36. Let h be n(8). Let p be ((2 - -2)/h)/(6/(-132)). Suppose 23 = 4*q - 3*u + 105, 0 = 3*q - 2*u + 62. Are p and q nonequal?
False
Suppose 8*h = 4*h + s + 375, 5*h + s - 471 = 0. Let r = h - 80. Let v = -7 - r. Which is greater: v or -20?
-20
Let y be 8 + (15 - 8) - 1. Suppose 0 = -4*d + 9*q - 13*q, 3*d = 4*q - y. Which is smaller: -1.04 or d?
d
Suppose 0 = 322*j - 358 + 36. Which is bigger: 4/399 or j?
j
Let n(z) = 9*z + 13. Let m be n(9). Let d = 1040/11 - m. Let c = 8.236 - 7.236. Is d > c?
False
Suppose 437*o - 116 = 321*o. Let d be 382/984 - (-2)/(-6). Let n = d - -31/5412. Which is smaller: o or n?
n
Let q be 84/(-15) - -5 - 4/(-220)*8. Let d(y) = -y**3 + 2*y**2. Let g be d(2). Does q = g?
False
Suppose -6*l + 21 = -l + 4*f, -2*f = 2. Suppose 4*b - 3 - 3 = 2*k, -5*b = -l. Let t be (12/(-165))/((-2)/10). Are k and t non-equal?
True
Let k be -1 + -1 + -3 + 131. Let h = k + -130. Is h bigger than 1?
False
Let u = 0.02093 + 0.07907. Do -1.323 and u have the same value?
False
Let t = 9450 + -13867. Is t <= -4417?
True
Let x be ((-18)/4)/((-13)/(-26)). Let g be x/81 + 8/36. Is -0.05 > g?
False
Let g be (2 - 1)*50/1025. Suppose 4*l + 122 = -9*q + 4*q, 2*l = -4*q - 100. Let f = -27 - q. Is g less than f?
False
Le