t v = -849.75 - 18.25. Are 1/6 and v non-equal?
True
Let o(n) = -n + 6. Let p be o(-7). Suppose -39*u + 38*u = 0. Suppose -2*a - p - 7 = u. Is -9 bigger than a?
True
Suppose 33*g - 385 = -352. Which is bigger: g or -8/607?
g
Let w(v) = 4*v**2 - 6*v + 2. Let u be w(2). Let j be (-345)/(-10) - u/(-4). Suppose 28*a = 32*a - j. Which is smaller: a or 11?
a
Let n(i) = 147*i - 2179. Let x be n(15). Which is smaller: -543 or x?
-543
Let g = -17711 - -17711.3. Is g at least as big as 1029?
False
Let d be (-15)/30*146*1*1. Let f = 85 + d. Suppose -p - p = -f. Is 7 at least p?
True
Suppose 2*x + 2*x - 156 = 0. Suppose -3*t - x = -m - 4*m, -3*t = -m + 51. Suppose 0 = -4*k - 67 - 5. Does t = k?
True
Let b = -1618 + 744. Which is smaller: -4374/5 or b?
-4374/5
Let a be (6/(-2) + 2)*-1*13. Let x = 33 - a. Let j be ((-27)/258)/(2 - x/16). Which is smaller: 0 or j?
j
Let u = -4.56 - 27.44. Is 3/7 > u?
True
Let j(y) = -5*y**2 + 26*y - 26. Let q be j(1). Let n be (-14)/(-35)*q/(-2). Does n = 5/38?
False
Suppose -2*z + 462 = -2*f - 750, 5*z - 2423 = 4*f. Which is smaller: -606 or f?
f
Let j be -6 + (15/4 - (-7)/28). Let h be 435/(-190) - j/4. Which is smaller: h or -2?
-2
Suppose 14*c - 629 = 4*h + 17*c, 0 = 2*h - c + 307. Is -156 less than h?
True
Let s be (-8 - (-31)/2)/(3/588). Which is greater: 1/3 or s?
s
Let t(b) = 16*b**2 - 7*b**2 - 5*b + 15*b**2 + b**3 + 47 - 73. Let x be t(-24). Is x greater than or equal to 94?
True
Let o = 15777 + -15776.8. Is -114 at least o?
False
Let z = 3157.6 + -465.6. Which is smaller: z or 1?
1
Let t be (-9)/12 + 1 - (-15198)/(-24). Let z = -450 + t. Let g be -2*(18/z)/6. Is 0 smaller than g?
True
Let h(n) = -n**3 + 7*n**2. Let l be h(7). Suppose l = 2*p - 25*p + 46. Which is bigger: p or -119?
p
Let g(r) = r**3 - 116*r**2 + 76*r + 1348. Let z be g(115). Is -3138 at most as big as z?
True
Let b = 7431 + -29723/4. Are b and 2/107 non-equal?
True
Let u(k) = -k**2 + 15*k + 6. Let w(x) = 2*x**2 - 29*x - 13. Let z(r) = 7*u(r) + 4*w(r). Let h be z(12). Let m be (-15)/h*2/6. Is -2 less than m?
False
Let u = 1103/24 + 16499/72. Which is smaller: 274 or u?
274
Let i = 33813 - 439571/13. Is 28/15 at least i?
True
Let q = -54 - -33. Let u = 20 + q. Let g be (52/(-6))/u*3/1. Do g and 27 have the same value?
False
Suppose -468 - 680 = 14*z. Is z less than or equal to -65?
True
Let f be -3 + -6 + 0*(0 + (-5 - -4)). Which is smaller: f or -328/39?
f
Let p(d) = 98*d - 1076. Let u be p(11). Is 514 smaller than u?
False
Let i be 17404/10 - (-55 + 72). Is 1724 != i?
True
Suppose 5*g + 4*j + 126 = 0, 4*g + 4053*j + 84 = 4054*j. Is g <= -304/13?
False
Let b(v) = -v**3 + v**2 - v + 1. Let y(g) be the first derivative of g**3/3 + 3*g**2 + 12*g - 1. Let i be y(-3). Let d be b(i). Is -20 greater than d?
False
Let d = 37.5 + 5.5. Let c = d - 42.929. Let g = c + -0.171. Are 15 and g nonequal?
True
Let x = -24221/13 - -1867. Is 3 <= x?
True
Let l = 1649/16 - 103. Let m be 12/4*(-18)/189. Which is greater: l or m?
l
Let r = 175/4 + -731/20. Suppose -5*d + 5 = -475. Suppose 2*q = d - 80. Is r less than or equal to q?
True
Let g be (-98)/(-265923)*9/3. Which is smaller: g or -2?
-2
Let r = -14083 + 13521. Which is smaller: 3/5 or r?
r
Let o(d) = -316*d + 7295. Let q be o(23). Is q less than 65?
True
Let t = 28 - 21. Suppose 13 = -t*b - 6*b. Is 0 < b?
False
Let x = 14172 + -99202/7. Are -73.33 and x non-equal?
True
Suppose -2*w + 6 = 2*h, -2*h = -w - 28 + 58. Let z = 4061/273 + -41/21. Which is greater: z or w?
z
Let g be (-93)/(-5) - (-144)/(-240). Suppose g - 10 = -4*b. Let u be (-1)/(-5)*10/8. Is b at most as big as u?
True
Suppose -4*o = 4, 0 = w + w + 2*o + 2. Suppose 5*a - 6*a - 50 = w. Let v = 43 + a. Which is greater: v or -4?
-4
Let g be (-6136)/1711 + 8/2. Is 2/89 at most as big as g?
True
Let d be ((-152)/304)/((-3418)/(-12)). Which is greater: 0 or d?
0
Let i = -403 + 498.4. Let d = -158.1 + i. Let p = d + 63. Is -0.09 greater than p?
False
Let b = 30.3 - 400.3. Let o = -369.99 - b. Is -0.1 bigger than o?
False
Let c = 77.2 + 0.8. Let x = 77.918 - c. Let f = x - -1.482. Which is smaller: -0.2 or f?
-0.2
Let m = 2/297 - -11866/2079. Let n = 38/7 - m. Do 4/21 and n have the same value?
False
Let y = -45 - 0. Let z be 610/10*-1 + 17. Is y less than z?
True
Let s = -56520/19 + 1270472/437. Which is greater: -67 or s?
-67
Suppose 0 = u - 9 + 4. Let x be u - ((-2 + -1)*1 - 16). Is x at least as big as 18?
True
Let c = -24 - 26. Let t be 392/32 + (-2)/8. Suppose 0 = -2*m - 86 - t. Which is smaller: c or m?
c
Let h = 5.78 - 4.78. Let p = 1809/7 + -258. Is h at least as big as p?
True
Let b = -0.02 + -13.98. Let v = b + 14.1. Let d = -5.8 + 9. Is v at least d?
False
Let r = -18 + -54. Let d = -107 - r. Let q be d/(-11) + 3/(-1). Which is greater: 0 or q?
q
Let k(v) = -v**3 + 124*v**2 + 778*v + 72. Let c be k(130). Which is bigger: -187 or c?
-187
Let v(y) = y**2 - 36*y + 51. Let t be v(25). Which is smaller: 3 or t?
t
Let q = -1.5 - -1.5. Let k = -76 + 46. Let f = k - -27.6. Is f equal to q?
False
Let m = -0.1073 - -1.5073. Is m bigger than -83?
True
Let v = 1277 - -2625. Is 3903 bigger than v?
True
Suppose -5*y - 3*b = -8, 5*y - 4*y + 3*b - 4 = 0. Which is smaller: y or 1269?
y
Let d(b) = -458*b - 2712. Let j be d(-13). Are 3243 and j equal?
False
Let g be (0 + 2)*11/(88/48). Let z be (105 - g)*(-2)/6. Which is smaller: z or -29?
z
Let z(l) = 2*l + 18. Let m(b) = -5*b + 61. Let r be m(14). Let j be z(r). Suppose 0 = 4*v - 8 - 16. Which is bigger: j or v?
v
Suppose 446*q - 33 = -5*m + 450*q, -5*m + 5*q + 40 = 0. Which is bigger: m or 5319?
5319
Let u be 1 - (-1)/(-3)*-5. Let p be ((-87)/45 - 15/9)/((-24)/20). Which is smaller: p or u?
u
Suppose 2*g = -3*d + 468, -g - 24 = -d - 263. Suppose -12*t = g + 315. Are -137/3 and t unequal?
True
Let n = 2.2 + -4.4. Let f = 4.2 + n. Let d = 16 - 24. Which is smaller: d or f?
d
Let r = -3.828 - 56.172. Which is bigger: r or 8?
8
Let x(t) = -101*t - 89. Let b be x(-14). Let w = -5375/4 + b. Which is bigger: -20 or w?
w
Let i be 2128/63 + ((-50)/18 - -3). Suppose 127 + i = 7*x. Which is bigger: x or 4/3?
x
Let g = -253 + 238.5. Let n = 21.5 + g. Is n not equal to -2?
True
Let p = -236 - -83. Let x = -153.5 - p. Is 0.4 < x?
False
Let o = -170.531 - 0.469. Let t = o - -171. Is -52 equal to t?
False
Let a = -283171/1387815834 - -1/136502. Do -1 and a have the same value?
False
Let m(b) = -286*b**3 + 5*b**2 - 18*b + 27. Let z be m(3). Which is smaller: -7703 or z?
z
Let m = -677 - -594. Is -80 >= m?
True
Let h = -71 + 98. Let r be ((-168)/(-36))/((-60)/h). Is -2 at most as big as r?
False
Let i = -82 - -83. Suppose -5*x - 6 = -i. Which is smaller: -172 or x?
-172
Let i = -292/11005 + 14/355. Is 4/7 != i?
True
Suppose 161*f - 162*f = 4*l - 1302, -3*f = -4*l + 1326. Is l greater than 21?
True
Let g = -14227 + 14163. Which is greater: -54 or g?
-54
Let y = -14/193 - -2179/772. Let r(v) = -v**3 + 8*v**2 - 5*v - 11. Let p = 24 + -17. Let m be r(p). Which is bigger: y or m?
m
Let w be ((-52)/(-26))/((-1)/(-35)). Let b be w/(-50) - -2*1/5. Which is smaller: b or -10?
-10
Let i = -0.1 + 0.1. Let m = 0.0060065 + 0.0789935. Is m at most i?
False
Let a = -239121/31445635 + 3/39455. Which is greater: a or 0?
0
Let c = 552 + -192. Let l = -360.2 + c. Is -22 > l?
False
Let o be (-10283)/(-5382) + -1 + -1. Let y = -1/46 + o. Let w(k) = -k**2 - 6*k + 7. Let t be w(-7). Which is greater: y or t?
t
Suppose 5*c = 3*n + 29, -2 + 30 = 4*c - 4*n. Suppose -5*t = -0*y + 4*y + 983, t = c*y - 187. Is t smaller than -195?
False
Suppose -55*i = -19*i - 4860. Suppose -3*l + 115 = -296. Is l greater than or equal to i?
True
Let i = -18549 - -56431/3. Let w = -261 + i. Let a = -4/27 + 17/297. Is w greater than or equal to a?
True
Let m = -2108/3975 + 8/3975. Which is greater: -2 or m?
m
Let i = -331 - -510. Let n = 178 - i. Which is greater: -320 or n?
n
Let b = 0.98 + -48.98. Let i = -107 + 155. Let l = b + i. Is l at most as big as -0.39?
False
Let l = -0.39 - -0.39. Let x be (-16304)/58 + -5*1. Let q = -286 - x. Is q at least as big as l?
True
Let m(i) = -113*i + 214. Let b be m(0). Which is smaller: 641/3 or b?
641/3
Suppose -3*s = -154*a + 158*a - 2637, -4*s + 3*a + 3491 = 0. Is s smaller than 874?
False
Suppose -z - 5*m + 75 - 475 = 0, -2*z +