t t = -133.256 + 133. Let r = t + 0.046. Let s = -0.98 - 0.02. Is r at most s?
False
Let s = -1.11 - 373.89. Let r = s - -355. Is 1.3 > r?
True
Let d = -4.3 + -12.7. Let w = d - -15. Let z be ((-12)/8)/1*(-14)/(-231). Is w at least as big as z?
False
Let p be (6/7)/((-56)/(-196)). Let n be p + -6 + 6/(-6). Is n smaller than -9?
False
Let q = -366 - -362. Let u = 93 + -64. Do q and u have different values?
True
Let i(u) = -u + 17. Let j be i(14). Suppose -231 = -2*c + 4*c + j*b, -4*c - b = 477. Let x be (c/(-4))/(6/8*2). Which is smaller: 22 or x?
x
Let c = -262 - -283.025. Let t = c + 0.175. Let r = t - 25. Which is smaller: 0.2 or r?
r
Let l be 0 + (-1 - (-2)/(-16)). Let c be 8/12*(533 - 11). Let g = c + -350. Is l < g?
False
Let w = -1057 + 284. Let z = w - -393. Is z bigger than -380?
False
Let p(i) = i**3 + 4*i**2 - 6*i - 9. Let y be p(-4). Let f be 34/20 + 8 + (-129)/y. Which is smaller: 2 or f?
f
Let l(m) = m**3 - m**2 - 18*m + 274. Let r be l(-7). Suppose 11 = 4*f + 3. Let s be 0 + 1/(f/13). Is r less than s?
False
Let l = 1846 + -1846. Is l greater than or equal to 21/71?
False
Let r be 15/(-27)*-129 - 4/(-12). Let y = r - 165. Is y <= -93?
True
Let v(b) be the second derivative of -b**4/12 - b**3 + b**2/2 + 15*b. Let d be v(-6). Let o = 1114 + -11129/10. Which is bigger: o or d?
o
Let y = -2.29 + -2.1. Let x = y - -4.64. Does 1/8 = x?
False
Let q = 2291.03 - 2291. Which is bigger: 0.096 or q?
0.096
Let l = 24979 + -24977. Let c = 2810/1211 - 6/173. Is c at least as big as l?
True
Let v be ((-20)/45)/((-10)/45). Suppose 7 = -3*l - 4*a, 2 = l + v*a + 5. Which is smaller: 8/23 or l?
l
Let r = -23036 + 22771. Is -267 at most r?
True
Let z(p) = 228*p + 2053. Let m be z(-9). Are m and -20/187 equal?
False
Let j(s) be the second derivative of s**3 - 161*s**2 - 73*s. Let o be j(49). Which is smaller: -24 or o?
o
Let c be (-4)/6 + (-8)/(-168)*14. Is c <= -6/1991?
False
Let f be 0 + -2 + (0 - (-4 - 2)). Let u be (-21)/14*f/(-3). Let p = -25 + 24. Which is bigger: u or p?
u
Let c = -64159/10 + 6421. Let o = -1888 + 3783/2. Let d = c - o. Are -3 and d non-equal?
True
Let v = 49.21 - 49. Let q = -4.41 + v. Let w = -4 - q. Are 0 and w nonequal?
True
Let y = -79.989 + 61.289. Let w = -101/3 + 33. Is y greater than w?
False
Suppose -28*n - 4004 + 1120 = 0. Let b(c) = -9*c - 3. Let w be b(11). Are w and n unequal?
True
Suppose 0*a + 3*a + 2*p + 89 = 0, -5*a = -3*p + 123. Let c(d) = -d**3 - 25*d**2 - 116*d - 348. Let r be c(-20). Which is smaller: r or a?
r
Let s = -3582 - -3811. Is s greater than or equal to 16?
True
Let z = -25251/4 - -25245/4. Let b be 0 + (2 + -3)*2. Is b at least as big as z?
False
Let r(s) = -2*s**3 - 57*s**2 + 29*s - 10. Let v be r(-29). Let t(x) = -x**3 - 9*x**2 + 10*x + 11. Let m be t(v). Suppose 22 = 4*l - 2*l. Is m not equal to l?
False
Let p = -89 - -93.18. Let n = p + 0.22. Let y = 157 - 158. Which is greater: y or n?
n
Let s = -2 + 3. Let w = s + -0.8. Let b = 14277 - 14276.2. Is b bigger than w?
True
Let p = 68839 + -68840. Let l = -334 + 194. Which is greater: p or l?
p
Suppose h + 6*a + 1502 = 10*a, -4*h = a + 6025. Is h < -1506?
False
Let x = 7.809 + -6.809. Suppose -3*q + 132 = -6*q + 3*a, -3*a - 102 = 3*q. Let j be 3/(-15) + q/(-145). Is x > j?
True
Let y = -30190 - -29956. Which is smaller: -42 or y?
y
Let j = 132 - 116. Suppose 6094 = j*d - 5*d. Let w = -18284/33 + d. Which is greater: -1/4 or w?
w
Let b = -123/20 - -32/5. Let u = 79.708 + -1401.498. Let f = -1322 - u. Is f less than b?
True
Let v = -9451 + 11135. Is 1687 bigger than v?
True
Let z(k) = 124*k**2 + 12*k - 12. Let c(s) = -2*s**3 + 2*s**2 + 14*s - 5. Let p be c(3). Let r be z(p). Is r < 122?
False
Let s = -41.205 + 41. Let k = -798 + 797.995. Let h = k - s. Are 1 and h non-equal?
True
Let d = 8460 + -4973. Which is smaller: 3486 or d?
3486
Let f be 3*(-1 + 5 + (-70)/15). Let i be 19/(-2) + 7/(-28)*f. Is -9 not equal to i?
False
Let x(m) = -m**3 - 16*m**2 + 65*m - 89. Let p be x(-20). Is p < 211?
False
Let c = -4.977 - -0.908. Let s = -4.1 - c. Let a = -0.101 - s. Which is smaller: -2 or a?
-2
Let r = 27.83 + 19.17. Let z = 35022/5 + -6865. Let p = z - 139. Which is smaller: r or p?
p
Let g = 68 - 61. Suppose -g*f + f = -60. Let p be (-1)/6 - f/(-15). Which is smaller: 1/7 or p?
1/7
Let k be -73*3/(-15) - 5/25. Let j = k - 218/15. Which is smaller: 1 or j?
j
Let v = 3626 + -3409. Is 3/11 at most v?
True
Let d(s) = -s**2 - 19*s - 175. Let v be d(-34). Let z = -685 - v. Let l = -816 + 84049/103. Is z greater than l?
False
Suppose 7 = -7*k, -4*k - 2437 = 2*j + 149. Which is smaller: j or -1290?
j
Let p(q) = q**2 - 2*q + 1. Let t be p(-2). Suppose t*s - 430 = 1262. Let o = -1314/7 + s. Do o and 3/4 have different values?
True
Let m = 1.89 + -1.932. Let b = m + -0.158. Let y = -2.96 + -0.04. Is y less than b?
True
Let x = 265 + -262. Suppose -62 = 3*c - a, 3*a + 78 = -x*c - 0*a. Is -162/7 at most c?
True
Suppose 0 = 5*i - 2*i + 12. Let j = 88106/3 + -29696. Let l = j - -4832/15. Which is smaller: l or i?
l
Let p(a) = a**3 - 19*a**2 - 17*a - 11. Let i be p(20). Let n be 6/4 + i/14. Suppose n = 19*h - 24*h. Which is smaller: h or 7?
h
Let o(l) = 2*l**3 + 3*l**2 + 8*l - 11. Let x be o(2). Let a be 0 - (-2)/50*-5. Which is smaller: x or a?
a
Suppose 0 = 16*g - 76*g - 7*g - 67. Let i = -5 - -3. Let k be (-9)/42 + 0/i. Which is bigger: k or g?
k
Let t = -32 - -19. Let x = -716057/4 + 179001. Which is bigger: x or t?
t
Let n = 1338 + -7016. Which is bigger: n or -5679?
n
Let k be (357/(-30) + 8 + 4)*(-10)/4. Is -138 bigger than k?
False
Suppose -26*o - 42*o = -408. Let m(s) be the first derivative of 4*s**2 - 47*s + 1. Let h be m(o). Which is smaller: h or 1/30?
1/30
Let h = 11103 - 211021/19. Which is smaller: -10 or h?
-10
Let y be (1946/26)/(-7) - -10. Which is greater: y or 0.05?
0.05
Suppose -95 = 255*b - 350. Are b and 0.89 unequal?
True
Let i be (4/6)/((-2)/6). Let m(u) = -2*u - 218 - u**3 + 0*u + 219 - 4*u**2. Let d be m(i). Is d bigger than -2?
False
Suppose -2*f = 5*y + 8, -181*f - 3*y = -186*f + 42. Let o = -47 - -54. Are o and f nonequal?
True
Suppose 9*l - 16 = l. Let o be (-1)/l - (59/8 + -8). Which is smaller: o or 1?
o
Suppose 3*t - 375 = 2*h, 4*h + 756 = 8*t - 4*t. Is -197 less than or equal to h?
True
Suppose 0 = 704*y - 699*y - 30. Let h be (12/(-8))/(y/(-8)*-7). Is 8.3 at most h?
False
Let g be 3*(-5 + 64/6). Suppose -k = g - 62. Which is greater: -3/4 or k?
k
Let z be 3100/558*(2 + 8/(-6)). Which is smaller: 5 or z?
z
Let n = -5029 - 9342. Is n bigger than -14371?
False
Suppose -631 = -4*t - 211. Suppose -1040 = 35*y - 45*y. Is y > t?
False
Let w = -4132 + 2701. Is w not equal to -10022/7?
True
Let n = 95 + -91.32. Let i = n - 1.08. Let r = 2.8 - i. Which is bigger: 2/27 or r?
r
Let k = 4327 - 3873. Are k and -1 unequal?
True
Let u be (-5016)/2698 + (-3 - -5). Does 1 = u?
False
Let v be 13/(65/20) - -1049. Suppose 0 = -16*c - 19 - v. Is -67 <= c?
True
Suppose -n - 3 = -3*h, 2*h = -4*n - 2*h + 36. Suppose 4*z = 8, -c + n*c + 4*z - 58 = 0. Let k be (c/(-36)*-2)/(0 + -1). Which is smaller: -2 or k?
-2
Suppose 4*t + 38 = 18. Let b be 56*(1 + 3 + t). Let g = b - -55. Do -1/48 and g have the same value?
False
Let l = -200 + 206. Let n be ((-132)/(-18) + -4)*l. Is n at least as big as 20?
True
Let x be 4 - 3/(-3) - (-201618)/(-40250). Is 0 bigger than x?
True
Suppose q = 4*m + 6*q - 832, 1057 = 5*m + 2*q. Suppose -5*k - a - m = 0, 2*k = 2*a - 42 - 36. Let l = -44 + 1. Do l and k have the same value?
False
Let d = -3339 - -5241. Which is smaller: d or -2?
-2
Suppose 3*h - 60 = -7*h. Suppose 52 - 220 = -h*x. Is 22 at most as big as x?
True
Suppose 0 = -3*m - 15, -2*m - 303 = -2*l + m. Suppose 1026 = -9*j + l. Which is greater: -99 or j?
j
Let q = 0.315 + 1.685. Which is smaller: 0.1267 or q?
0.1267
Let h be -6*((-4014)/54 - 4). Is h at most as big as 470?
True
Let n be 8 - (-17 - (-120590)/40). Which is bigger: n or -2991?
n
Let k = 0.15206 - 0.05206. Let i = 13232/2457 - 146/27. Is k < i?
False
Let b be (-8)/4 + 2 - -2 - 8. Let m be (-16)/12*b/(-4). Let t be m/8 - 30/(-56). Is t less than or equal to 1?
True
Let v = -2657 - -2656.7. Which is greater: v or 0.025?
0.025
Let a be (36/32)/(-3) + 75670/(-368). Let f be (-12)/(-30) - 0 - 2064/10. Are a