or -7?
-7
Let y be (-250)/350 - 396/14. Suppose -15 - 174 = 7*n. Are n and y equal?
False
Let h = 0.133 - -68.867. Let y = h - 68.942. Let b = -0.042 - y. Is -0.4 at most b?
True
Let g = -118 + 31. Let p = -151 - g. Let l = p - -75. Is 7 equal to l?
False
Let q = 365/8 - 647859/14200. Do 1 and q have the same value?
False
Let h = 23 + -2823. Let z be 6 + (h/(-63))/(-4). Which is smaller: z or -6?
-6
Let z be (-7)/7*1/(-3) + 2730/(-63). Is -61 less than z?
True
Let h = 631 + -650. Let f be ((-29)/(-6))/(3 - 13/4). Is h smaller than f?
False
Let m = -1478 + 1477. Which is smaller: -965 or m?
-965
Suppose 0 = 5*r - 19*r - 1778. Let p = r + 126. Let b = 162136/67 - 2420. Which is greater: b or p?
b
Let v(o) = o**3 - 3*o**2 - 7*o + 25. Let x = -158 - -163. Let q be v(x). Which is smaller: q or 44?
q
Suppose -5*o + 2*j = -8, -39*j - 1 = -40*j. Which is smaller: o or 99/94?
99/94
Let z = -46195723/46206 - -8998/9. Which is smaller: 1 or z?
z
Let m = 18 + -4. Suppose m*g + 14 + 42 = 0. Let b = -1 - 4. Which is greater: g or b?
g
Let b(s) = s**3 + 32*s**2 - 64*s + 90. Suppose 11*o = 15*o + 2*r + 134, 3*o + 103 = r. Let g be b(o). Is g >= -48?
True
Let a = 484.5371 + -0.5371. Do 5 and a have the same value?
False
Suppose -2*o = -31 - 29. Let m = -87 - -88. Let l be ((-5)/o)/(m/(-26)). Are l and 0 equal?
False
Suppose 2*r - 20 = 3*f - 11, 3*f - r = -6. Let l = -227 - -34. Do f and l have the same value?
False
Let k = -712 - -875. Suppose -k*s + 170*s = -7. Which is smaller: 3/173 or s?
s
Let c = 13.908 - 7.035. Let x = -0.127 - c. Let p = -2 + x. Do p and 1 have different values?
True
Let c = -73 + 145. Let d be 1/(-3*52/c - -2). Which is bigger: -2 or d?
-2
Let d = 1/736 + -2581/3680. Let n = 70 - 69.66. Let q = -0.66 - n. Which is smaller: d or q?
q
Let r = -308 - -312. Let l be ((-5)/20)/((-1)/8). Let j be (-1)/(4 - 9/l). Which is smaller: r or j?
j
Let v be 15/(45/(-546)) + -6. Let d = -929/5 - v. Which is greater: 3 or d?
3
Let y be (-5 - -3)*(-22)/(-4)*2. Let x(r) = r**3 - 7*r**2 + 5*r + 1. Suppose 4*i - i - 15 = 0. Let p be x(i). Which is smaller: y or p?
p
Let t be (-5 + (-162)/(-30))*10. Let r be 204/10*(54/t + -6). Is 153 >= r?
True
Suppose l + 7 = -z, z + 19 = l - 6*l. Let v be (-38)/z - (-3)/(-6). Let h be (12/(-60))/(3/(-5)). Is v at most as big as h?
False
Suppose -7778 - 8296 = -18*o. Suppose -o = 9*f - 56. Let h = f - -106. Which is greater: h or 14?
14
Let g = 1.035 - 1.035. Do g and 0.785 have the same value?
False
Let o be -1 + (-13)/(1352/27482) + 2 + 0. Which is smaller: -264 or o?
-264
Let o be (-7)/(-14) - 94/(-36). Suppose -2*t + 40 = 2*r, -29 = -2*r + r - 4*t. Suppose -3*w + 11 = -3*p + 32, -r = p + 5*w. Is o < p?
False
Let k = -766/45 + 84/5. Which is smaller: 1357 or k?
k
Let y be ((-408)/28)/6 - 3/(-7). Let a be y/(-5)*(1 + 3 - -1). Suppose -31 = a*t + 19. Which is smaller: -24 or t?
t
Let v = -5/978 + 49973/18582. Let p = -5419/2033 + v. Which is bigger: p or 1?
1
Let n(q) = -q - 17. Let f be n(-8). Let k be -2*(-85)/(-15)*6/7. Which is smaller: f or k?
k
Let i be 156/65 + (-3 - 0) + 1. Let s = -0.043976 - -51.089976. Let h = s - 0.046. Is i not equal to h?
True
Let c be (-42)/(-189) - (-52)/9. Let m be 0/(-3) + c - 8/4. Suppose -70 = -x - m*x. Is 13 less than or equal to x?
True
Let g be (-31 - -29)*(-10 + 94). Is -168 at least as big as g?
True
Suppose 5*w = 20, -23*r + 4*w = -22*r - 758. Which is smaller: 4645/6 or r?
r
Let b = 70 - 83. Suppose 10*g = -185 + 15. Is b not equal to g?
True
Let u = 366.942 + 0.058. Let q = u + -367.1. Which is smaller: 250 or q?
q
Let g be (19164/17319)/2 + -1. Let w = 3/251 + g. Let k be ((-357)/(-49) - 7) + (-9)/7. Does k = w?
False
Suppose 29*j = 918 - 889. Which is smaller: -4/4587 or j?
-4/4587
Suppose -11*u - 169 = 1435 + 255. Which is smaller: -192 or u?
-192
Let n(q) = q**3 - 18*q**2 + 9*q - 157. Let u be n(18). Let i be u/(-38)*(-32)/(-320). Which is smaller: i or 0?
i
Let g(j) = j**3 - 69*j**2 - 794*j + 138. Let s be g(79). Which is bigger: s or -169?
-169
Let r = 12562 - 12562.1. Is 2.438 at least r?
True
Let r = -0.27293 + 5.27293. Which is smaller: 58/21 or r?
58/21
Suppose 96*b - 253 = -637. Which is smaller: b or -392/109?
b
Let r be 320/(-120)*(-459)/132. Which is bigger: 0.2 or r?
r
Let j(u) = -10*u - 49. Let a be -6*((-33)/6 + 6). Let t be j(a). Suppose 2*l + 52 - 14 = 0. Are l and t unequal?
False
Let m be 0 + (2 - (-1 - -2)) + -541. Let x = m - -322. Is -218 not equal to x?
False
Let u be 1/3*(-5 + 2) + 19. Suppose u = -2*d - d. Is -50/11 at most d?
False
Let v be 153/5 - (-2 + 65/25). Suppose 25*o = -30 + v. Which is smaller: o or -7?
-7
Let w = -1941/142 + 12/71. Is w greater than or equal to -15?
True
Let b be -15*28/5064*9768/(-98). Let x = b - 58/7. Which is bigger: x or -1?
x
Let c = 11436.07 - 11436. Are 5.4 and c equal?
False
Let j(f) = 3*f**2 - 54*f + 29. Suppose -255 = -41*d + 26*d. Let n be j(d). Let b = -29 - -9. Which is smaller: n or b?
n
Let m be -5*1 + (-6841810)/(-1368500). Is m at most as big as -1?
False
Let w(u) = -39*u + 489. Let a be w(13). Which is smaller: -60 or a?
-60
Let z(o) = -o**2 - 14*o + 16. Let f be z(-14). Let a = f - -7. Which is bigger: 21 or a?
a
Suppose -331 - 101 = -9*h. Suppose 624 + h = -4*v. Let z be ((-4)/v)/(15/6). Which is smaller: -1 or z?
-1
Let a = -218 + 219. Let w(d) = -26*d**3 - d**2 - 2*d + 1. Let g be w(a). Which is smaller: 0.1 or g?
g
Let q = -24.8 - -28.06. Let s = 0.06 - q. Let j = -2.8 - s. Do j and -1/2 have different values?
True
Suppose 2 = -4*n + 22. Suppose -4*g - 36 = -s, -2*g + 122 = 8*s - 5*s. Suppose -23*o = -s*o + 68. Is n at least o?
True
Let k = -599.9 - -598.9. Does k = -2986?
False
Let x = 71 - 107. Let h = -3 - x. Let p = -3 - -3.1. Does h = p?
False
Let a be 7390/(-14) + 882/98. Is a > -519?
True
Let q(x) = 6*x + 30. Let i be q(9). Let o = 146 - i. Suppose g + g - 4*h = o, 4*h - 16 = 0. Is 39 at least g?
True
Suppose -20*a = -69*a + 343. Which is smaller: a or 190/29?
190/29
Let c = 0.68 - 0.28. Let i = c - 1. Let u = i + 0.3. Which is greater: 0.16 or u?
0.16
Let v = 3475 - 5832. Is v at most as big as -2357?
True
Let z = -93643 - -390210383/4167. Which is smaller: z or 0?
0
Suppose -15 + 17 = 2*j. Is -2/2561 greater than or equal to j?
False
Let n = -147 + 147. Is n bigger than -3/1154?
True
Let t be 2676/92 + -29 + (-8)/92. Are 3/9548 and t non-equal?
True
Let q be (18/20 + -1)*(-10300)/(-824). Which is bigger: 207 or q?
207
Let a(b) = -3*b**2 - 11*b + 312 + 2*b - 219 - 90. Suppose -3*c = h + 13, -4*c + 7 - 26 = 3*h. Let o be a(c). Which is smaller: o or 0?
o
Let l be 2460/246 - 9*1. Which is smaller: 2/7187 or l?
2/7187
Suppose 9*r + 13598 - 17918 = 0. Is 480 at most as big as r?
True
Suppose -14*f + 18*f = -2*a + 1424, 0 = a + 4*f - 698. Is a <= 0.06?
False
Let a be 13/((-78)/576)*8/(-18). Is 43 less than a?
False
Suppose 0 = 3*u - a + 4*a - 30, 3*u - 28 = -4*a. Let s be (10/4)/(u/(-264)). Do -56 and s have the same value?
False
Let c = 1326205220/6571 - 201827. Which is greater: c or -1?
c
Let h(j) = -537*j - 3758. Let p be h(-7). Which is smaller: p or -3/9937?
-3/9937
Let c = -4153 + 4153.0254. Are c and 5 unequal?
True
Suppose -2*n + 4*l - 4 = 0, -1 = l + 3. Let c = -125 + 149. Let y be -5 - -1 - c/8. Which is smaller: y or n?
n
Let j = -1405 + 1418. Suppose 3*g + 0*g + 9 = -2*d, 0 = -5*g + 15. Let s = j + d. Is 4 >= s?
True
Let v = -20050 + 20050. Which is smaller: v or -26/19?
-26/19
Suppose 3799 - 11246 = 11*a. Let z = a - -4755/7. Is 3 > z?
True
Let g be 0 - 0 - (-25 + -6). Let x = 36 - g. Suppose x*m = -2*f - 13, -7 = 2*f + 2*m - 3. Is f != 39?
True
Let a = -4265 + 6603. Which is greater: 2337 or a?
a
Let u be (-1158)/24 + -4 - (-1)/4. Let f(j) = -j**3 - 16*j**2 - 50*j - 24. Let b be (7 - 35/7)*2*-3. Let m be f(b). Which is bigger: u or m?
m
Let b = 404 - 304.6. Let w = b + -116. Is 0 less than w?
False
Suppose 6*k = 7965 + 22713. Are 5113 and k unequal?
False
Suppose -4*l = -5*o - 454, 5*o + 213 + 236 = -l. Let r be (44/(-8) + 5)*o/3. Suppose 2*g - 43 = -4*p + 19, -3*p = -2*g - 57. Is p at least r?
True
Let j = 138 - 134. Let r(q) = -82*q - 41. Let g(t) = 41*t + 20. Let f(b) = j*r(b) + 9*g(b). Let a be f(-3). Is -107 smaller than a?
False
Suppose -11 = -5*p + 4. Let w = 56 - 31. S