t g be z(-5). Which is bigger: 29/4 or g?
29/4
Let z(b) = -b**3 + 5*b**2 - 3*b + 1. Let f be z(3). Suppose 0 = f*t - 449 - 131. Are t and 0 nonequal?
True
Let v = 14 - -188. Let x = -1409 + 1611. Is v equal to x?
True
Let g = 139920163/1912 - 73180. Which is bigger: 0 or g?
g
Let z = 34/681 - -284488/3405. Is -0.2 at most as big as z?
True
Let b = -42675 - -5505104/129. Which is smaller: b or -1?
-1
Let g = -8 + -1. Let s(y) = -y**3 - 10*y**2 - 7*y + 18. Let p be s(g). Let v = -127/5 + 2174/85. Is v at least as big as p?
True
Let f = 26 - -35. Let d = 44/105 - 14473/210. Let p = d + f. Which is bigger: -9 or p?
p
Suppose 13*b = 12*b. Suppose 11*f - 31 - 13 = b. Suppose -4 = -4*d + 2*j + j, -f*d = -j + 4. Which is greater: d or -1?
-1
Let j(f) = -95*f**3 - 8. Let u be j(-2). Let w be 6/(-14) + (u/(-28))/(-2). Which is smaller: -3 or w?
-3
Suppose -3*s + 19 = 2*g, g + 2*s + 3*s - 27 = 0. Suppose 3*d + 8 = -2*a, -3*d + g*d = -a - 4. Let u = -4/821 + -1422/45155. Do u and d have the same value?
False
Suppose -207 = 12*m + 393. Let o be ((-6)/(-10) - (-5)/m)*0. Suppose -l - l - 3*r = 9, 4*l - 5*r - 15 = o. Which is smaller: l or 4?
l
Let q be 5/20 - (-1094)/8. Let v be 6/(-4)*(-17367)/189. Let b = v - q. Are b and 0 unequal?
True
Suppose 3*c - 23 = -2*k, 4*k + 0*c - 6 = 2*c. Suppose 3*a + 18 = 2*m, -12 - 24 = -k*m + 5*a. Suppose 0 = -4*p - 2*f + 5*f - m, 5*f = -5. Is -10/3 != p?
True
Let r = 4.76 - -0.64. Let a = r - 8.4. Is a bigger than 0.17?
False
Let c(i) = 7*i**2 + 8*i + 5. Let n be c(-1). Suppose 4*p - 46 + 58 = -5*f, -12 = 4*f + n*p. Are f and -3/212 non-equal?
True
Let p = 623 - 605. Let s be -2 + p/10 + (-242)/(-110). Which is greater: s or 22/17?
s
Let a = 3193 + -4685. Which is smaller: a or -1493?
-1493
Let m = -10883/93434 - -98/1023. Is m at most as big as 0?
True
Let o = -3945/4147 - -9/319. Is -1 smaller than o?
True
Let c be (-10 + (-4542)/(-12))/(-4 - 72/(-16)). Is 734 smaller than c?
True
Let s = -618752 + 2453983/4. Is -5255 smaller than s?
False
Let z = -194/5 - -751/20. Let g = -0.21 - 61.79. Let i = 63 + g. Is i at least z?
True
Let d(a) = a**2 - 3*a - 10. Let k be d(5). Suppose k = -13*t + 6*t + 294. Suppose -14*p - t = -16*p. Is 22 greater than or equal to p?
True
Let z be (-1)/(-10)*-2 - (-6581498)/4875090. Let p = 38/33 - z. Which is bigger: -1 or p?
p
Let x = 1140 + -575. Let p = -565 + x. Which is smaller: 13/5 or p?
p
Let q = -106 + 528/5. Suppose 27 = 14*v - 5*v. Let j be 11*v*31/(-372). Is j bigger than q?
False
Let x = -6167 + 6168. Is x at least 21.9?
False
Let z(c) = 15*c. Let x be z(5). Let p be (x/45)/((-5)/(-18)). Suppose 9 + 11 = 4*r. Are p and r nonequal?
True
Let j be ((-4)/(-6))/((-10)/(-155) + (-508)/186). Is -13619 >= j?
False
Let u = 6 + -1. Suppose 4*k - 17 = u*l, 1 + 0 = 2*l + k. Let p(q) = q**2 - 23*q + 108. Let d be p(7). Which is smaller: d or l?
d
Let d = -6.77 - 23.13. Let s = -30 - d. Let m = -55 - -89. Is m at most as big as s?
False
Let u = 14 + -45. Let q = u + 30. Is q != -25?
True
Let l = 1/317121 + 1262645/1851669519. Is 1 greater than l?
True
Let w = 11857807/28752 + -4949/12. Are 2 and w equal?
False
Let u(x) be the second derivative of 11*x**4/12 + 5*x**3/3 - x**2/2 + 24*x. Let q be u(-1). Which is greater: -2 or q?
q
Suppose -f - 3*h = -0*f, 0 = h. Let z be f - (0 + 2 + -2). Let t be 184/(-44) + z - -4. Which is greater: -1 or t?
t
Let l(z) be the second derivative of 2*z**3/3 - 26*z**2 + 12*z. Let s be l(13). Is s at least -5/4?
True
Suppose -6 = -14*j + 17*j + p, -8 = 5*j + p. Is j != -14/457?
True
Let x = -0.163 + -0.417. Let s = -0.48 - x. Which is greater: -0.017 or s?
s
Let g be (-45)/(-21) - 16/14. Which is smaller: 1/727 or g?
1/727
Let d = -4672 + 4671.9. Which is bigger: -26.551 or d?
d
Suppose 3*m + 19 = -5*a, 2*m = -2*m - 4*a - 20. Let d = 54040 + -54034. Is d greater than m?
True
Let o = -2.392 + 0.118. Let j = o - -0.274. Is -16 bigger than j?
False
Let w(a) = 4*a**3 - a**2 - 3*a. Let r be w(-3). Let h(v) = 137*v - 2987. Let b be h(21). Which is bigger: r or b?
r
Let w(o) = -o**3 + 4*o**2 + 27*o - 31. Let s be w(10). Let l = s + 332. Is -33 less than l?
True
Let w be 2 - 4 - -4 - 0. Let u = w - 5. Let z(b) = b**2 + b + 1. Let r be z(u). Which is greater: r or 8?
8
Let s be 0*((-25)/(-150)*-2 - 8/(-6)). Let g = 765 - 11482/15. Is s less than or equal to g?
False
Suppose -2*m - 477 = -5*m + 3*z, -328 = -2*m - 3*z. Suppose j + 6*j + m = 0. Let y = -34 - -9. Is j greater than y?
True
Let d = 1.3123 - -2732.6877. Do 1 and d have the same value?
False
Let g = -11.1574 + -0.0026. Let m = g + 2.16. Which is greater: m or 0.06?
0.06
Let i = -8310 - -8305.249. Let v = i - 0.249. Is 0.04 greater than v?
True
Suppose -38*o - 5600 = -6*o. Let b = -145 - o. Is b less than 34?
True
Let h = -943112493/138985 + 47500/7. Are h and 1 non-equal?
True
Let d = -3878.8 + 3879. Is -0.9 smaller than d?
True
Let i be 51/2*36/27. Let p = 53 - i. Let k = p + -77/4. Is k greater than or equal to 0?
False
Let u(w) = -w. Suppose 6*i = 3*i + 12. Let t be u(i). Let a = -3449/2 - -1722. Is a < t?
False
Suppose -387 = 3*c + 521*r - 524*r, -r + 552 = -4*c. Let b = -143/25 - 10196/75. Are c and b non-equal?
True
Suppose -66*l - 2266 = 148*l + 1372. Let j = 239/395 - 2/395. Which is smaller: j or l?
l
Let l(s) = 5*s + 1183. Let h be l(22). Which is smaller: h or 2583/2?
2583/2
Suppose -4*n = n. Suppose 0 = -0*j + 3*j + z + 193, n = -j + 5*z - 75. Which is bigger: -67 or j?
j
Suppose -2*y + 6 = 5*h, -y + 0*y - 5*h = -3. Suppose -b = -4*b - 5*r + 87, -y*b + 2*r + 66 = 0. Let l = b - 25. Is -4/5 greater than l?
True
Let d be ((-403)/(-26) + -13)*(-170)/(-105). Is d greater than or equal to 5?
False
Let k be ((-39282)/(-8))/((-27540)/2304). Let l = 2054/5 + k. Are l and 0 equal?
False
Let c = -159.088 - -159. Let m = c - -2.088. Let h(j) = 2*j**2 - 5*j - 4. Let y be h(5). Is m greater than or equal to y?
False
Let d = -14176 + 14175. Let m be ((-6)/214)/(6/4). Is m not equal to d?
True
Suppose -25*s + 4403 + 19484 = -10163. Is 1361 smaller than s?
True
Let p = 309 - 433. Let v be 68/(-8) + 7 - p/82. Let w(j) = j**3 + j**2 - 3*j - 3. Let q be w(-2). Which is smaller: q or v?
q
Let t be 1/4 + (-182)/152. Suppose 0 = 367*z - 60*z + 614. Are z and t nonequal?
True
Let r be 10425/(-315) + 4/42. Let c(i) = -15*i**2 - 175*i + 34. Let t be c(-12). Is r < t?
True
Suppose h + 503 = 2*c, 3*h + 512 = 3*c - 241. Suppose -c = 8*t - 100. Which is greater: -6 or t?
-6
Let o be 292/32 - (35/40)/7. Let h be -2*(2538/8)/o. Which is greater: h or -71?
h
Suppose -4*b + 4 = 4*i, 0 = -i - b + 5*b + 16. Let q(a) = a. Let x be q(5). Suppose 2*o - i*f = -2*o + 4, -3*f = x*o + 19. Is o > 0.12?
False
Let d = -1.5 - 3.5. Let t = 49 + d. Let y = -45.7 + t. Which is smaller: y or -1/2?
y
Let t(n) = -3*n**3 + 20*n**2 + 69*n - 15. Let y be t(9). Is 29 equal to y?
False
Suppose -23 = 24*k - 71. Which is smaller: k or -11.9?
-11.9
Let p = 208 + -216. Let i be (-2 - p) + (-15)/(30/4). Is 37/7 smaller than i?
False
Let u(i) = 12*i**2 - i - 2. Let j be u(1). Which is smaller: j or -452?
-452
Let c = -0.7 - 0.4. Let x = 2.2 - c. Let p = 5.3 - x. Is p < 0?
False
Suppose -m - 156 = -4*y, -2*y + 34 = -4*m - 44. Suppose 3*s + y = 141. Which is bigger: 37 or s?
37
Let n(a) = -50*a - 35. Let w(s) = -3*s - 2. Let h(u) = -2*n(u) + 35*w(u). Let p = 5358 + -5358. Let f be h(p). Does f = -5/17?
False
Let k = -49/2 - -249/10. Suppose -c + 2 = i, -5*i = -6 + 1. Suppose 2*v + 4*o + c = 3, 2*v - o + 3 = 0. Is k > v?
True
Let l = -25 + 30. Let k = -260.2 - -260. Is l < k?
False
Let z = -85 - -85.019. Let d = -0.169 - -0.16. Let k = z + d. Which is smaller: k or 0?
0
Let h be 2/(-7) + 141/(-21). Let u be 2/18 - (-140)/36. Suppose 0 = -u*c + 33*c + 261. Is h at least c?
True
Let y(u) = -18*u**2 + 51*u - 107. Let o be y(31). Let i = 94699/6 + o. Which is smaller: i or -40?
i
Suppose 5*z - 4523 + 5913 = 0. Is z bigger than -1?
False
Suppose -2*d + 2*t = -36, -2*d + 41 = t + 2*t. Let y = 55029 + -55028.94. Which is smaller: d or y?
y
Let u be (-2 - (-110)/40)*9538/(-3). Which is smaller: -2385 or u?
-2385
Let p = 29 - 114. Let g = -49 - p. Let h = -34 + g. Is h > -0.1?
True
Suppose 0 = -2*r - 6*v + 21 - 1, v = 5*r - 18. Let k = 10.922 - -0.078. Is k >= r?
True
Let d =