985/4. Is g equal to -1?
False
Let q = 18162 + -13667. Which is greater: 4496 or q?
4496
Let s = 280 + -396. Let k be 110/s - (4 + -12)/8. Which is smaller: k or 0?
0
Let d = 20153 + -20153. Which is greater: d or 1.224?
1.224
Let b = -10157 + 10155. Which is smaller: b or -3821?
-3821
Let f = -10/39 + 8/65. Let v(u) = u**3 - u**2 + 4*u + 9. Let i be v(0). Suppose 0 = 10*c - i*c - 1. Is c bigger than f?
True
Let k be (-12)/8 + -108 + (-2)/16*-4. Let a = -24 + 27. Are k and a nonequal?
True
Let y = -581 + 1178. Let w = y - 595. Which is smaller: 108 or w?
w
Let r = 1435 + -2642. Let k = r - -27767/23. Which is bigger: 1 or k?
1
Let u(y) = -21*y - 166. Let i be u(29). Let n = -773 - i. Is 19/24 at least as big as n?
False
Let w be 1*4/(-10) + 162/(-45). Let z be -5 - ((w - -2) + 0). Let u be (-20)/16*(-2)/(-1). Which is greater: z or u?
u
Let f(u) = -u**3 - 6*u**2 - 15*u - 44. Let w be f(-5). Suppose -w*k = 5*k. Are -45 and k non-equal?
True
Suppose 15*r = 38*r - 621. Let y be (-1130)/(-42) + (6/(-3))/6. Which is smaller: r or y?
y
Let t be 7*(-14)/(-147) + 304/488. Which is smaller: t or 2?
t
Let h = 1240.7 - 1241. Is h < -2?
False
Let k = -4.918 - -4.848. Is 6 less than k?
False
Let k = -36 + 31. Let y be (-5)/(-15)*21 + k. Suppose -y*f = 6*h - 2*h + 12, 5*h - f + 1 = 0. Which is bigger: -2 or h?
h
Let s be 9723/973 + (-14 - -4). Let b = 1 + 0. Is b smaller than s?
False
Let f = -0.07 - -16.07. Let a = -492 - -129. Let s = -1453/4 - a. Is s != f?
True
Let w = 47 - 47.1. Let u = -5265 - -5269.842. Let c = -0.042 + u. Do c and w have different values?
True
Let c(g) = -38*g + 13. Let p be c(-4). Suppose -3*l = 3*u + 231, -5*u + 3*l - p = 180. Let f = u - -75. Which is bigger: 5 or f?
5
Let i = -4.103 - -4.302. Which is smaller: 0 or i?
0
Let r(t) = 535*t - 3619. Let w be r(7). Which is smaller: w or 755/6?
755/6
Let i be (4/(-102))/((-4175)/(-3385) + -1). Let f = -2/237 + i. Is f > 1?
False
Suppose -5*q = u - 153, -38*u - 2*q = -40*u + 282. Suppose 40 - u = -a. Is a at most as big as 104?
True
Let i = 254 + -246. Suppose 30*k - 38 = -i*k. Is k less than -1/916?
False
Suppose -2*r = 4*l - 5778, -18*l - r = -23*l + 7233. Is 1445 bigger than l?
False
Let r = -14050 + 18991. Is r >= 0.1?
True
Let w(t) be the first derivative of t**3/3 + 5*t**2/2 - 22*t - 16. Let i be w(8). Let x = i + -70. Is 10 smaller than x?
True
Let x = 147 - 152. Let d = x - -6. Is 1/113 > d?
False
Suppose 2*w = -l + 97, 4*w - 76 = 2*l + 106. Let k be (55/50)/(-11) + w/(-130). Is -2/3 at least as big as k?
False
Let x = 1030080/7 + -146818. Let g = x + -338. Suppose -6 = 5*m + 4. Are g and m equal?
False
Let m(l) = -l**3 - 34*l**2 + 74*l + 71. Let y be m(-36). Which is bigger: 18/3139 or y?
18/3139
Let g = 2522 - 2522. Let n be (-12 + 11)*36/38. Is n greater than g?
False
Suppose 0 = 847*n - 850*n + 3063. Suppose 4 = -1022*u + n*u. Which is bigger: -3 or u?
-3
Let y be (24/14)/(28/(-98)). Let g be (-6)/(28/y + 4). Is 1 bigger than g?
False
Let v = -3247 + 3180. Does -32 = v?
False
Let a = 422 - 437. Which is smaller: -325/4 or a?
-325/4
Let c = -9829/10 - -982. Suppose -22*j + 44 = -11*j. Suppose 4*r - x + 2 = 0, 0 = j*r + 5*x + 20 - 6. Is c < r?
False
Let l = 95 + -237. Let b = 837 + -838. Is l >= b?
False
Let p = 0.01534 - -387.98466. Which is smaller: -2/9 or p?
-2/9
Let s = -115.975 - -116. Let w = s + 0.385. Let b = 0.18 - w. Are -1 and b unequal?
True
Suppose -5*u = y + 99, -3*y + 3*u - 158 - 49 = 0. Suppose 25*x + 289 = 139. Let b be ((-4)/x)/(y/6). Which is smaller: b or -1?
-1
Let d = -33888 - -33829. Let p = -3 - -2. Is d equal to p?
False
Suppose -2*r - 3*r + 14*r = 3*r. Which is greater: 71/70 or r?
71/70
Let x be (-2680 - 3)/(6 + 4 - 11). Which is smaller: x or 2684?
x
Let m be (0 + -1)/(58/52606). Let o = m + 156913/173. Which is smaller: o or 0?
0
Let k = -235 + 235.066. Let n = k - -1.034. Does 4 = n?
False
Let x(l) = -8*l**2 + 96*l - 5329. Let r be x(35). Is -11770 <= r?
True
Suppose 27*t - p = 32*t + 214, 5*t + 5*p + 230 = 0. Let c(j) = -j**2 - j - 39. Let o be c(0). Is t less than o?
True
Suppose 5*g - 228 = v, -3*g + 5*v + 276 - 104 = 0. Is 762/17 greater than or equal to g?
True
Let s be (-114)/(-19) - 13 - -14. Which is smaller: 50 or s?
s
Suppose -13 = p - 1. Let z be -4*(p/22)/(-3). Let s = -277488 + 277488. Is z at least s?
False
Suppose 5*l = -0*l - 10. Let d = -55508.9 + 55500. Does d = l?
False
Suppose -242*w - 1859 = 5*j - 249*w, 3*j - 2*w + 1100 = 0. Suppose 2*n + 729 = -0*n - 5*f, -n - 364 = 2*f. Is n >= j?
True
Suppose -313 = 7*r + 492. Let j = r - -147. Which is smaller: 2/7 or j?
2/7
Suppose -4*o + 4*s + 1368 = 0, -6*o + 2*s = -o - 1719. Is 348 smaller than o?
False
Let b = 4268 - 2721. Suppose -23*n - 3030 - b = 0. Do -200 and n have different values?
True
Suppose s + 82 = 5*f, s = -4*f - 35 + 106. Let q = 37 + -24. Let u = f - q. Is u smaller than -0.2?
False
Let a = 939586/35 - 26846. Are -5 and a equal?
False
Suppose 4773*c - 4770*c - 123 = 4665. Which is greater: c or 1589?
c
Let d(u) = 64*u + 1851. Let h be d(-30). Are h and -60 equal?
False
Let a = -35 - -1. Let w = 7799 - 7832. Are a and w equal?
False
Let b = 6909 + -6920. Which is smaller: b or 4/143?
b
Let v be -21*(16/(-12))/(-4). Let k = v - -1. Let t be (2/k*1)/(4/(-84)). Which is bigger: t or 5?
t
Let h be -14 + (2 - 1) + -2. Let y be 175/(-15)*h + 4/(-2). Suppose -y = 5*j + 87. Which is smaller: -51 or j?
j
Let u = 0.195 - 1.795. Let q = u + 1.4. Is -47 > q?
False
Let g be (-8)/270*-3 - (-2)/6. Let z = -73/90 + g. Which is bigger: z or 1?
1
Let o(p) = 33*p - 71. Let z be o(2). Let h be 6 - (1 + z + 11). Which is greater: h or -1/450?
-1/450
Let x = -269/1172 - 6/293. Is 26 not equal to x?
True
Let m(h) = h**2 - 7*h + 22. Let a be m(12). Let k be (a/1)/(2/(-4)*-4). Let p = -38 + k. Which is smaller: p or 6?
p
Let f(g) = 13*g + 274. Let m be f(-21). Let j(l) = -2*l + 4. Let k be j(5). Let o be (-1)/(-6 - (m + k)). Which is greater: o or 1/37?
o
Suppose 15*r - r = 4214. Let p = r + -351. Which is greater: -49 or p?
-49
Let c be 14 - (147420/1106)/9. Is 0 less than or equal to c?
False
Let g(a) = -2*a**2 + 18*a + 1036. Let v be g(0). Which is smaller: 1035 or v?
1035
Let q be (13/(-52))/(9/4). Let s = 0.0565 - 0.2565. Which is greater: s or q?
q
Let t = -395 + 613. Let u = -217 + t. Is -7/25 less than u?
True
Suppose -2 = -5*b + 4*b - 3*v, -3*b - 5*v = -10. Suppose 7 = -b*t + 7. Let r be (t + 0)/(1 - -2). Which is smaller: 6/23 or r?
r
Let l(z) = -4*z**2 - 23*z + 6. Suppose 0 = -4*h + p - 20, 12*p + 8 = 10*p. Let o be l(h). Let m = 188 - 9962/53. Are o and m equal?
False
Let u be (-3)/(-6)*(128 - 6). Suppose 5*d - 5*x - u = -301, -2*d + 5*x - 108 = 0. Let n = -29 + -14. Is n equal to d?
False
Let n = -4685 + 4701. Is 118/7 greater than n?
True
Let s = 592027/543 - 3271/3. Suppose -57*h + 151*h + 137*h = -108*h - 38*h. Is s less than or equal to h?
True
Let f = 353 + -345. Let i be f - 9732/1260 - (-2)/(-6). Suppose 5 = -4*w - 5*p, -3*w - 1 = -3*p - 4. Which is smaller: w or i?
i
Suppose 4*f - 44 = -3*g, -4*f + 4*g - 2*g = -44. Is -157 less than f?
True
Suppose -476 = -7*v + 24*v. Let y be (-425)/(-7) + (-8)/v. Suppose -2*f - y = -59. Do -2/13 and f have the same value?
False
Let x = 80492 + -80683. Suppose -3*h + 424 = -4*n - 343, 2*h - 575 = 3*n. Is x at least as big as n?
True
Let g = 29842 + -29782. Is g bigger than 3/2?
True
Let u be (3 - (-1 - 0))/(942690/16835 - 56). Is -959 > u?
True
Let m be 72/126 + 76/14. Suppose 0 = n + 2*y - 11, -n - 3*y = -m*y + 14. Is 1/21 > n?
False
Suppose 3 + 23 = a. Let l = a + -57. Suppose -37608*m + 57 = -37612*m - 63. Which is smaller: l or m?
l
Let z(p) = p**3 - 1. Let c = -84 + 85. Let v be z(c). Suppose v = -k - k, 0 = -3*s + 2*k - 102. Are s and -35 unequal?
True
Suppose -5*k = -0*k + 35. Let d be (0 + 2)*(0/2 - k). Let w(g) = 2*g**2 - 28*g. Let v be w(d). Which is bigger: 2/27 or v?
2/27
Let g = 788.5 - 788.4. Suppose 0 = -3*p - 6*y + 2*y + 5, 0 = 2*p - 2*y - 8. Suppose p*q = 2*q + 7. Which is smaller: q or g?
g
Let k = 270 + -228. Suppose d - 4*s = 54, -57 + 18 = -d - s. Is d less than k?
False
Let h be -23 - -16 - 111221/(-15884). Which is smaller: 1 or h?
h
Let t be (-7)/49 + 3155/35. Suppose -9*q - 36 = -t. Is 44/7 smaller than q?
F