60659/82513955 - -1/101995. Are w and 0 nonequal?
True
Let y be (2 + 154/(-33))*18. Which is greater: -442/9 or y?
y
Let z = -2485 + 2515. Let m be (-10)/(-70)*(206 + -1). Is m at most as big as z?
True
Let a be (-13 - -15) + -124*(-3)/6. Let q be 66/22 + (-194)/a. Is q less than -2/7?
False
Suppose -13*k + 4*n - 26 = -16*k, -2*n + 14 = 2*k. Suppose 0 = -k*t - 2*y - y + 109, 3*t + 3*y - 168 = 0. Is 59 at most as big as t?
True
Let z(v) = 19*v + 176. Suppose 48 - 68 = 5*n. Let j be z(n). Is j at most as big as 101?
True
Let n = 20477/21 + -975. Which is bigger: n or 2?
2
Let y = 18987497804/41281547 + 2/1006867. Let c = -460 + y. Let f(a) = 3*a**2 + a - 1. Let o be f(0). Which is bigger: c or o?
c
Let q be (-25893)/35*(-1)/(-370) + 2. Let d = q - -39771/7400. Is 4 >= d?
False
Let b be ((-256)/(-160))/(2/(-30)). Which is smaller: 2/3 or b?
b
Let a be 2*(-1)/5 + (-34732)/(-100). Let x = 273 - 620. Let u = x + a. Which is smaller: u or 1?
u
Let l(n) = -298*n**2 - 64*n - 394. Let q be l(-6). Which is smaller: -0.1 or q?
q
Suppose -44604 = -3*s - 7*s + s. Is s equal to 4959?
False
Let q = -618.3 + 586. Let a = -59.3 - q. Is -9 less than a?
False
Let y = 14293 - 14292. Which is greater: y or -7/473?
y
Let j = -158 + -27. Let w = j + 1305/7. Are 1 and w non-equal?
True
Suppose 2*n - 11 = 37. Let z be (n/63)/(30/(-45)). Is z >= -2?
True
Let w be 3 + -2 + (-2 - 100). Let c = 46 + w. Is 3 bigger than c?
True
Let g = 1294 + -1242.025. Let n = -52 + g. Let a = -0.325 - n. Is 2/13 at least as big as a?
True
Suppose 0 = -3*b + 3*p - 93, -b = 3*b + 3*p + 159. Let z = 2212 + -2247. Does b = z?
False
Let n(c) = -c**3 + 7*c**2 - 2*c - 6. Let r be n(6). Let u(i) = 24*i + 211. Let m be u(-8). Is m > r?
True
Let l(b) = b**2 + 11*b + 11. Let t be l(-10). Suppose m + 0 = -t. Let x be m/(-2)*2 + 11. Is x bigger than 13?
False
Let g be (373/2)/((-45)/10 - -5). Let v = 398 - g. Is v greater than 195/8?
True
Let c(u) = -u + 9. Let i be c(0). Suppose 0 = 5*y + s - 2*s + 53, -s + i = -y. Let o be y/(-87) - 3/9. Is o less than or equal to 1?
True
Suppose -31 = -2*v - 5*s, -9*s = 3*v - 11*s - 75. Let a(c) = 20*c - 15*c**2 + 49 - 3*c**3 + 4*c**3 - 9*c**2. Let p be a(v). Do -20 and p have different values?
False
Let y = -666822/25 + 1508346689/56550. Let h = y + 1/174. Which is smaller: h or 0?
h
Let n = -61 + 291/5. Suppose -3*u + 27*u - 1248 = 0. Suppose -20*l - u = 8. Which is smaller: l or n?
l
Let p(f) = 10*f + 30. Let m be p(-3). Suppose -3*s + 5*b + 146 = -8, m = -3*s - b + 160. Which is smaller: s or 103/2?
103/2
Let z = 4/323 - -2564/1615. Which is smaller: 2 or z?
z
Suppose -3*x + 5*p + 421 = 0, 0*x = -5*x + p + 731. Suppose 149*v + 138 = x*v. Let f be (-8)/(-84)*9/v. Which is smaller: f or -1?
-1
Suppose -8*v + 316 = 292. Suppose v*a - 14 + 26 = 0. Does -31/6 = a?
False
Suppose -3*q = 12, 0 = -x - 2*x + 4*q - 2. Let s be (-1 + 0)/(x + 267/45). Suppose 0 = -v + 14 - s. Is 1/2 less than or equal to v?
False
Let d = 143/290 - -1/145. Let a = 37.2 + -23.3. Let n = -14 + a. Which is bigger: d or n?
d
Let g(x) = -49*x**2 + 822*x - 11. Let w be g(17). Which is greater: w or 0.4?
0.4
Let n be 8/32 + 18/(-8). Let q(y) = 6*y**3 + y**2 + 4*y + 3. Let k be q(n). Is k bigger than -48?
False
Let z = -13.347 + 24.499. Which is greater: z or -1/2?
z
Let p(o) = o**3 - 15*o**2 + 30*o + 13. Let q be p(14). Let d = q - 238. Which is smaller: d or 2/601?
d
Let b = -1028123/19 - -54143. Which is smaller: b or -1?
-1
Let i = 685569/158 + -4339. Which is greater: i or 1?
1
Let o = 142 - 172. Let r(i) be the third derivative of i**5/60 - 5*i**4/6 - 5*i**3/3 + 9*i**2. Let n be r(19). Are n and o equal?
False
Let q be 10/(-14)*6/(-5055). Let v = -13306066097/432208903 + 298402/9643. Let d = q - v. Which is bigger: 1 or d?
1
Let h be 14/4*7/(14/(-8)). Let l be 4/30 + (-553861)/(-39930) + h. Are 0 and l non-equal?
True
Let y = -0.583 + 48.683. Let d = -53 + y. Let f = d - -4.78. Which is bigger: f or -2?
f
Let o = -10365 - -10364.73. Which is greater: 260 or o?
260
Let a = 1.8 + -0.5. Let w = 1.4 - a. Let x = -202 - -184. Do w and x have the same value?
False
Let q be 620776/155100 - 1*4. Which is bigger: q or 1?
1
Let n be -3*6/(-27) - 10/15. Suppose -v - 11*v - 96 = n. Let c be 9/2*v/(-72). Which is smaller: 26 or c?
c
Let x = -0.35 - -0.1. Let f = -959.14 - -959. Let p = f - x. Which is bigger: 1 or p?
1
Suppose -40*b - 450 = -42*b. Let i = b - 225. Is i less than or equal to 3/50?
True
Let j be (-12)/10*(-80)/24. Suppose l + 5 - 43 = 0. Suppose -l = -j*g - 2*h, g - 14 = 5*h + 1. Is 10 at least g?
True
Suppose 55*t + 38*t - 651 = 0. Suppose 5*w - 23 = 3*u, -3*u - u = w. Suppose -4*q + 56 = w. Which is smaller: q or t?
t
Let p = 81 + 55. Let s = -132.16 + p. Is 0 less than or equal to s?
True
Suppose 0*h - 20 = -4*h. Suppose h*m + 5*r - 20 = 0, -2*m + 3*r - 7 = -20. Let z(x) = 2*x**2 - 30*x + 33. Let o be z(14). Are m and o equal?
True
Let j = -1050 - -1810. Is 2281/3 >= j?
True
Let m = 0.56 + -0.18. Let y = -1.58 + m. Let b = y - -2.2. Is b at least -47?
True
Let k(y) = y**3 + 9*y**2 - 18*y - 22. Let p be k(-12). Let b = p - -1668/7. Which is bigger: b or -0.069?
b
Let h = -13046 - -13059. Which is bigger: h or -111?
h
Let c = -409/1800 + 1/200. Let h = 43/6 + -15/2. Which is greater: h or c?
c
Let u(v) = -v**2 + 43*v - 40. Let b be u(40). Let t = -80 + b. Which is greater: 14/13 or t?
14/13
Suppose -2*j + 5 - 3 = y, -5*j = -4*y + 60. Let u(r) = -10*r**2 - 3*r - 2*r**3 + 3*r**3 + 9 + 13. Let d be u(y). Are d and -8 unequal?
False
Let o = -6.856 - -3.856. Is o not equal to -1/2899?
True
Let g be (-9)/(-24)*20/(-30) - 1287/(-6604). Is -0.07 >= g?
False
Suppose -d - 6 = -2*h, -4*d + 9 = -3*d + 3*h. Suppose d = i - 2*a - 25, 6*i - 2*a - 149 = i. Is i at most 32?
True
Suppose -5*a + r + 3 = -2, 5*r = 0. Let n be -2 + -1 + 3 - (a + -19). Do 4 and n have the same value?
False
Let c = 4738 - 5446. Are c and -708 non-equal?
False
Let x be 6/21 + -12*(-4)/28. Suppose -7 = 2*l - 3*a, -x*l + 0*l - 8 = -4*a. Let m be 43/(-72) - l/9. Is -0.4 < m?
True
Let s be 2*14 - ((-25)/(-5))/5. Let p = 29 - s. Let l be (-1)/(-43)*2/(p + -3). Which is bigger: l or 1?
1
Suppose t + 3*d = 15, 4*t - 5*d - 28 = -9*d. Suppose v - 2 = n - 4*n, 4*n = -v + t. Which is bigger: n or 9/5?
9/5
Suppose 0 = 5*t + t + 1128. Let y = 105 + t. Let w = y - -65. Is w smaller than -17?
True
Let l(j) = -j**3 + 2*j**2 + 2*j. Let a be l(3). Suppose 11*i = 13*i - 14. Suppose -i + 1 = 2*z. Are z and a nonequal?
False
Let d(h) = h**3 - 23*h**2 + 7*h - 101. Let o be d(23). Let r = o - -97. Which is bigger: r or 156?
r
Suppose -2*q - 2 = -4*x, 5*x - 3*x - 5*q = -19. Suppose 5 = x*p - 7. Suppose p*f + o + 6 = 0, -3*f - 3*o = 9 - 0. Which is greater: f or -1/69?
-1/69
Suppose -2*g = 2*c + 6, -2*g - 20*c = -16*c - 4. Let l be g + (10 - (2 + -1)). Let n = -10 + 59/6. Is l != n?
True
Suppose -4*g - 707 = -2*a - 6207, 5*g + 2*a = 6875. Is g less than 1375?
False
Let y = 296 + -292. Suppose 1 - 25 = -4*c - 4*b, -y*c + 39 = -b. Is c greater than or equal to 25/3?
True
Let s be 2/1 - 4/3. Let y = -8897 - -8962. Which is bigger: y or s?
y
Let d = -1605715/4804 - 11/2402. Is d greater than -333?
False
Let k(z) = -35*z - z**3 - 14*z**2 + 114322 + 2*z - 114343. Let u be k(-11). Which is bigger: -20 or u?
-20
Let v = 447 - 410. Let k(s) = s**2 - 34*s - 111. Let t be k(v). Which is smaller: t or -3/4?
-3/4
Suppose -18*f + 20*f = 20. Let y be (-340)/275 + (-4)/f. Let t(a) = -a**3 + 16*a**2 + 108*a - 65. Let v be t(21). Is y >= v?
True
Suppose 0 = -5*a - 0*p - 2*p + 1507355, 0 = 3*a + 5*p - 904432. Let v = a + -9047813/30. Let u = -633/5 - v. Which is bigger: -1 or u?
-1
Let d be (4*2)/((-4 - 2)/(-6)). Suppose -d*f + 533 = -595. Suppose 7*r - 4*r + f = 0. Which is bigger: r or -91/2?
-91/2
Suppose 0 = -161*g + 638*g + 254*g - 21930. Let p = 26 - -5. Which is bigger: p or g?
p
Let n be ((-2)/(-5))/((-345618)/910). Which is smaller: n or 1?
n
Suppose -y + w = -2*y + 5, 2*w + 4 = 0. Suppose 126 = 17*j + y. Are 4 and j nonequal?
True
Let v = -2820 - -11279/4. Which is bigger: v or 434?
434
Let m(k) = -8*k - 26*k**2 + 45*k**2 + 2*k - 7 - 25*k**2 + k**3. Let q be m(7). Which is bigger: q or -6?
q
Let d = -519 - -518. Is 2/12205 at least as big as d?
True
Let w be 