 - 536. Let f = -273/2 + v. Does 0.07 = f?
False
Let g be 61631680/(-3423970) + (-18)/(-1). Which is bigger: g or 0?
0
Let h(f) = f**3 + 3*f**2 - 9*f - 12. Let z be h(4). Suppose -3345 = -79*o + z*o. Which is smaller: o or 225?
o
Let j = 835 + -825. Suppose 7*u = j*u - 99. Is 31 at most as big as u?
True
Suppose 3*t - 30*i - 170 = -32*i, 2*t = -4*i + 108. Let a = 7 - -51. Is t smaller than a?
False
Let h = 175.67138 + -134.818. Let o = h - -0.05662. Let f = 41 - o. Which is smaller: f or -3?
-3
Let r = 224.9 + -240.9. Is r >= 7?
False
Let j = -12208073669/14525 - -840487. Is j equal to -1?
False
Suppose 18*z = 50371 + 2279. Let b be (-3)/7 + z/(-84). Is b at least as big as -35?
False
Suppose 2*x + 15 = j, -37 - 17 = -5*j + 3*x. Suppose -2*l = 3*s - 29, 0 = -4*s + s + 3*l + j. Suppose s*y - 4*y = y. Are -14 and y non-equal?
True
Let p = 4.05 + 5.79. Let l = 10 - p. Let i = -3719/6 - -1241/2. Which is greater: i or l?
i
Let d(y) = -2*y**3 - 254*y**2 - y - 195. Let f be d(-127). Which is greater: f or -7/9?
-7/9
Suppose 30*m = 38*m - 16. Let k be m + (-266)/90 + -5 + 6. Is k at least -1?
True
Suppose 126*y + 127*y = 288*y + 5390. Are y and -619/4 nonequal?
True
Let v be -2*(7 + 5/(-2)). Which is smaller: -403 or v?
-403
Let o be 10/(-14)*1 - 166/(-581). Which is smaller: o or -5?
-5
Let y = 55013/31 - 1775. Is y bigger than -0.23?
False
Let k = 4.8555 - 1.8555. Is -24/29 greater than k?
False
Let u = 157 + -151. Let k be (119/14)/((-2)/(-12)). Let g = 56 - k. Which is smaller: g or u?
g
Suppose h + 5*d + 9 = 0, -5*h - 557*d = -558*d - 111. Which is bigger: 557/25 or h?
557/25
Let u = 12297 - 12323. Which is bigger: 119 or u?
119
Let q(n) = 26*n**2 + n. Let b be q(-2). Suppose -8020 = -94*y + 1662. Are b and y non-equal?
True
Let x = 250 + -460. Let b = 419/2 + x. Which is smaller: b or -2/9?
b
Let d = -167.54 - -2.54. Let j = 165 + d. Which is bigger: -3 or j?
j
Let n(k) = -25*k - 5. Let i be n(-3). Suppose 0 = -5*t - 3*q - i, t = -0*t - 5*q - 36. Let l be t/5 - (3 - 5). Is l smaller than -1?
False
Suppose -8 - 7 = -2*f - x, 5*f = x + 41. Suppose -16 = -f*n - 0. Suppose -h - 1 = -q + 3*q, 0 = n*q + 4*h + 4. Which is bigger: q or -0.2?
q
Suppose 0 = 5*b + 19 - 79. Let p = b - -3. Suppose -3*r - 4*j = 9, -r = -134*j + 130*j - 61. Which is bigger: r or p?
p
Let o = -13750 + 13750. Which is greater: o or -103?
o
Let m = -25 + 23. Let c be ((13 + -2)*m)/2. Let w be -4 - c*(-3 + 4). Which is smaller: w or 1/4?
1/4
Suppose -2944 = -s - 7*s. Suppose 2*j = -2*x + 4*j + s, -554 = -3*x + 2*j. Let m = 1481/8 - x. Is m > -2?
True
Let u = 3.573 - 0.153. Let g = 4.42 - u. Suppose 5*c + 0*c - 155 = -5*l, -2*l - 2 = 0. Which is greater: c or g?
c
Let x be 18/10 + 3/15. Suppose -j + 0*r - 13 = -x*r, 9 = -j + 3*r. Let k = j - -29. Which is greater: k or 10?
10
Let b be 2/8 + (-27)/76. Let a = b + 102/247. Is a > 0.4?
False
Let v(q) = -2*q - 6. Let j be v(-4). Let l be j - (-1 + 1)/(-1). Let i be 2 + (-3120)/(-105) - 30. Is i greater than l?
False
Let y be 918043/(-3286899)*-15 - (-16)/(-4). Let p = y + -35/187. Which is smaller: 1 or p?
p
Suppose -40*z - 2652 = 4*m - 42*z, -6*m - 3*z - 4014 = 0. Which is smaller: -665 or m?
m
Let a = 7349/12 + -1739/3. Let j be (-2)/(-9) - (-1716)/54. Let h = a - j. Is h < -1/2?
False
Suppose -10*x + 12 = -13*x. Let a be x/(-22) - 513/99. Which is smaller: a or -2?
a
Let i(s) = 12*s - 24. Let l be i(-7). Let c = l - -206. Let q = c - 109. Which is greater: 3 or q?
3
Suppose -5*s - 3 + 9 = 11. Is -1/28464 greater than or equal to s?
True
Let d be 54/24 + 114/(-8). Let m be (10/(-35))/(d/2352). Which is smaller: 55 or m?
55
Let m(w) = w**2 - 9*w + 29. Let j(h) = -5*h**2 + 43*h - 143. Let c(b) = 2*j(b) + 11*m(b). Let s be c(3). Is -0.1 smaller than s?
True
Let b = -1375.6 - -1373.117. Is b < -1/3?
True
Let i = -1691 + 1705. Is i at least as big as 14?
True
Let w(b) = -b**2 + 7*b + 1. Let q be w(7). Suppose 4*d + 6 = y + y, 2 = -2*y. Let s be (1*d)/q + 9159/4544. Which is greater: 0 or s?
s
Let a(r) = -2*r**3 + 5*r**2 - 2*r + 1. Let h be a(2). Suppose 3*v = -9, -u + 4*v + 6 = 3*v. Let x be u/60*16/6. Is h less than x?
False
Let v = -146 - -146.029. Let g = 16.971 + v. Which is smaller: g or 3/2?
3/2
Let x be 0/(1 - 3) - -12. Let s(o) = -o**3 + 12*o**2 - 7. Let j be s(x). Let d = 73 - 75. Is d bigger than j?
True
Suppose -3*h = -14*h - 110. Let b be (-432561)/720 + 2/h. Let l = b + 601. Which is smaller: l or 0?
0
Let u be (-6)/(2*(-9)/2). Does 164/9 = u?
False
Let o be 5 + (9 - 4) + -3. Let f(v) = -2*v - 6. Suppose 5*g - 6 = 3*g, 0 = 5*r - 4*g + 42. Let i be f(r). Is o != i?
True
Let i = -38955 - -6388653/164. Let y = -2/41 - i. Let j = 19 + -18.92. Which is greater: y or j?
j
Let p(t) = 8*t + 20. Let z be p(8). Let l = z + -60. Suppose -l + 3 = -3*g. Which is smaller: 5 or g?
5
Let s = -10762 - -7791. Is -2971 not equal to s?
False
Let l = -1836 + 1989.6. Is l <= 0.1?
False
Let i = 1097 - 988. Which is bigger: 33 or i?
i
Let u = 4531 + -4530.965. Do -0.24 and u have the same value?
False
Let c = -29629 + 740588/25. Which is smaller: c or -5?
c
Suppose 134 - 4 = -154*l - 24. Is l at least as big as -1/24158?
False
Suppose 169 = -9*p + 907. Which is smaller: 93 or p?
p
Let w be (-3238)/(-7965) - 1/5. Let j = w + -10/59. Suppose -13869113 = 16*v - 13869097. Is v bigger than j?
False
Let v = 66686 + -66641. Let n = 2 - 1.9. Which is bigger: v or n?
v
Let v = -40.7 - -6.7. Let l = -0.3639 + 34.4639. Let z = v + l. Is z at most 21?
True
Let l(a) = -3*a**3 - 27*a**2 - 88*a - 9. Let p be l(-5). Are 1039/8 and p non-equal?
True
Let j(i) = i**3 - 18*i**2 - 15*i + 54. Let x be j(19). Let m be (-210)/(-20)*x/3. Which is bigger: 1/4 or m?
m
Let q be 10/(-83130)*(-120)/100. Which is smaller: -1 or q?
-1
Let a(k) be the second derivative of k**3 - 9*k**2 - 2*k. Let m be a(5). Suppose m*i - 37 = 251. Is 24 != i?
False
Let k be (-2)/(-8) + (-1)/4. Let t be (36/(-51))/(-352 + 336). Which is bigger: t or k?
t
Let j be (1 - 2450/2396)/((-27)/6873192). Let s = j + -201369072/103627. Let w = -3794 + s. Which is smaller: 1 or w?
w
Let t be (-91)/(-2)*(-5936)/(-2597). Do t and 104 have the same value?
True
Let a = 3968 - 1035. Is a less than or equal to 2934?
True
Let w = 93 + -29. Let g = w - -54. Let f = -2011/17 + g. Which is bigger: 1 or f?
1
Let y = -1 + 6. Let u(i) = i**3 - 20*i**2 + 5*i + 17. Let m be u(20). Let q be (3/(-4))/(m/(-676)). Are q and y equal?
False
Suppose -17*d + 3298 = -3*d + 1072. Suppose -2*g + 10 = 0, 0*h - 4*g - 454 = -3*h. Is h equal to d?
False
Suppose 8*r - 6*r - 5*v = -279, -2*v = -14*r - 2118. Which is bigger: r or -1656/11?
-1656/11
Let h = 480420/3197882479 + 2/252857. Which is smaller: 1 or h?
h
Let t = 370 + -371. Suppose -3*a = -8*a - 100. Let f be ((-1)/a)/((-4)/(-24)). Is f less than or equal to t?
False
Let h be 5 + (-651)/(-5)*(-20)/510. Is h smaller than -1?
False
Let z(r) = -3*r**2 + 113*r - 278. Let w be z(45). Is 6 < w?
False
Let a = -19148 + 19103.7. Which is smaller: a or -3/8?
a
Let p = -352 + 345. Let b be (-171)/18*(-2)/(-3). Which is smaller: b or p?
p
Suppose -3*p + 21 = -3*o - 0*o, 5*p + 2*o - 14 = 0. Let w(u) = -6*u + 9. Let y be w(p). Let l = 1709 - 1720. Is l equal to y?
False
Suppose 510*j - 315 = 509*j. Let y be 4/16 - j/(-36). Is 15 bigger than y?
True
Let l be 1686*((-21)/35)/((-18)/10). Let t = 2249/4 - l. Let c be 4/(24/10) - 2. Is c at most t?
True
Let g = -0.2961 - -1.2961. Is g less than or equal to -1/23?
False
Suppose -326*c + 102489 = 55*c. Is 263 at most c?
True
Let n = -22219/915 - -364/15. Suppose -19 = -3*k - 2*y, -3*y - y + 11 = -3*k. Suppose -2*c = 5*d + 15, 4*c = k*d + 3*c - 2. Does n = d?
False
Let y = 1.74 + -1.03. Let m = y + 0.19. Do 3 and m have the same value?
False
Suppose -15*q - 7*q = -10*q. Suppose q = -9*p + 39 - 129. Let k be (-4)/(2*-1) + -12. Is p < k?
False
Let n = 618914/13 + -47636. Which is smaller: -26 or n?
n
Suppose 5*v - v - 3*w + 4 = 0, 0 = w - 4. Suppose 0 = v*f + 20*j - 25*j + 414, f = 2*j - 209. Which is smaller: -218 or f?
-218
Let s(v) = -3*v + 17. Let f be s(9). Let w be 3 + 5/(f/(-44)). Let q = 19 - w. Which is bigger: q or 0?
0
Let t = -87.49 + 2.49. Let j = t + 181. Does j = 2/9?
False
Let g(l) = l**2 + 2*l - 12. Let u(j) = -j. Let b(y) = g(y) + u