t m be 1/(-3) + 1713/2925. Let x = m + -4/325. Which is greater: x or 0?
x
Let g be (-27)/30*552/(-736)*(-40)/18. Let m = 1.2 + 3.8. Are m and g non-equal?
True
Let d = 225 + -435. Let a = d - -214.3. Which is bigger: 1 or a?
a
Let j = -4020 - -4376. Which is smaller: j or 350?
350
Let t(z) = -2*z**2 - 122*z + 1021. Let d be t(-73). Is -731 at most as big as d?
True
Let k(j) = 3*j**2 - 42*j + 5. Let u be k(12). Let t = 333/5 + u. Let m = 0.06 - -0.74. Do m and t have the same value?
False
Suppose 3*w + 105 = -3*f, -11 = -f + 5*w - 46. Which is bigger: f or -614/17?
f
Suppose 2*n - 87 = n + p, 5*p + 10 = 0. Suppose v + f = -55, 5*f - n = v - 0. Suppose -47*d - 21*d + 55*d = 793. Is v > d?
True
Suppose 2*l - 6*w - 218 = 0, l + 3*w - 48 = 37. Let u(h) = 100*h**2 + h + 1. Let n be u(-1). Which is smaller: l or n?
l
Let b be (1/3)/(255/(-10)). Let u be ((-3)/27)/(((-15)/5)/27). Is u < b?
False
Let b(v) = -2*v + 12. Let q(u) = 2*u - 8*u**2 + u**3 + 0*u - 19 + u. Let k be q(8). Let d be b(k). Which is bigger: 1 or d?
d
Let x = 31 + -7. Let y = -17.2 + x. Is y not equal to -0.2?
True
Let y = -107 + 110. Suppose -16 = y*x + t, -10 = 2*x + 2*t + 6. Is -5 less than or equal to x?
True
Let d(y) = 2*y - 7. Let k be d(6). Suppose -k*q + 5*t - 25 = 0, -5*q - t = -0*t + 19. Let i be 4/2 + q + (-1008)/(-513). Which is bigger: 1 or i?
1
Let p = 15626 - 15626.2. Which is smaller: p or -1/130?
p
Let y = -41063/2250 - -7/250. Suppose -2*z - 57 = z. Is z less than or equal to y?
True
Let z = -159277 + 159675. Suppose 0 = 4*v - 12, 0*w - 4*v + 409 = w. Is w less than z?
True
Let z(g) = 366*g + 10189. Let p be z(-30). Which is bigger: -10 or p?
-10
Let p = -11985 - -35954/3. Which is greater: p or -59.14?
p
Let i = 188314/559 + -4380/13. Is i bigger than 438?
False
Let k be ((-10)/(-70)*-7 + -1)/(454/(-30)). Is k smaller than -1?
False
Let r be (2/12*-32)/((-1)/(-9)). Let q = r - -42. Is -37/5 at least q?
False
Let r(i) = -3*i**2 + 8*i - 9. Let g be r(4). Suppose -3*b + 2*n - 548 = 0, 0 = 2*b - 3*b + 5*n - 174. Let w = b - -161. Which is smaller: w or g?
g
Let i = -2 - -5. Let t(r) = r**3 + 21*r**2 + 35*r - 32. Let f be t(-18). Let m be f/8 - (i/4)/1. Is 37 equal to m?
False
Let b = 1000.37 + -567.381. Let j = b - 433. Is 7 smaller than j?
False
Let g(l) = 8*l - 17. Let p = -57 + 49. Let b be g(p). Let k be 7 + -4 - (0 - 246/b). Do 0 and k have different values?
True
Let r = 59645 - 319100751/5350. Which is bigger: 0 or r?
0
Let i = 24.328 - 11147.328. Are -0.1 and i non-equal?
True
Let i(r) = -r**3 - 9*r**2 - 84. Let m = -303 + 293. Let n be i(m). Which is smaller: n or 12?
12
Let u = 697/8 - 475/24. Which is greater: u or 68?
68
Suppose -158 = -10*p - 2578. Let x = p - -241. Is x < -1/108?
True
Let g = 5015/33 - 152. Suppose -2*i = 4*x - 7*i + 14, 0 = 4*x + 5*i + 34. Let d be (x/(36/(-6))*0)/3. Which is greater: d or g?
d
Suppose -11735 = -10*j + 10115. Is j >= 2185?
True
Let a(s) = 346*s - 13. Let w be a(-5). Let g = -19143/11 - w. Let v = 46.1 - 45.9. Which is bigger: v or g?
g
Let c = 384/65 - 7/65. Suppose -1108*h + 4952 - 1786 + 2374 = 0. Is h <= c?
True
Let p = -0.86 + 0.96. Let z = -2803 - -2807.022. Let r = z - 0.022. Which is bigger: r or p?
r
Let g = 207 + -209. Let d be (14 - 12)/(g/3). Is -1 at least d?
True
Let v(x) = -2399*x - 48. Let j be v(1). Is -2447 < j?
False
Suppose 2*i + 7 + 3 = 0. Let u be 1/i + ((-330)/(-25) - -3). Let r be (-5)/10 + ((-15)/u)/(-3). Which is smaller: 3/2 or r?
r
Let i(d) = -13*d**2 + 250*d + 737. Let p be i(-3). Which is bigger: p or -111?
-111
Let n(b) = 1040*b**2 - b - 1. Let y be n(-1). Let j be (-500)/y*723/20. Let d = 230/13 + j. Which is bigger: d or -1?
d
Let o(i) = 371*i - 321. Let r be o(3). Which is greater: -0.2 or r?
r
Let a = -155863 + 1716614/11. Let v = 193 - a. Is v at least 0?
True
Let l be (792/(-308))/((-22)/(-28) - 1). Let h be 1/(-2)*(12 - l). Let t be 2/(-12)*63/12. Are t and h equal?
False
Let r be 2/5 - (1 - (-404)/260). Let c be 2/(-12) - (-10)/(60/247). Let x = c + -42. Is x <= r?
False
Suppose -6*s = 3 + 117. Let n be (1 - (-183)/5) + (-8)/s. Is 0 at least as big as n?
False
Suppose 0 = 2*z + i - 24, -i + 74 = 5*z + 8. Let j be ((-28)/8)/(1/z). Let x = j + 50. Are 18/19 and x unequal?
True
Suppose -16*n - 22924 = -60*n. Let f = n + -522. Which is smaller: 208 or f?
f
Let s(y) = 3*y**2 - 2*y - 19. Let g be s(-4). Let d = 52 - g. Let l = 54 - 38. Which is greater: d or l?
l
Let p(s) be the second derivative of s**3/6 + 5*s**2 - 11*s. Let n be p(-7). Suppose 6*q - 5*q = 2*x + 8, 0 = 4*q - n*x - 12. Which is bigger: q or -23?
q
Let g(r) = -r**2 - 4*r - 5. Let d be g(-5). Suppose -10 = -f - 3*w, 3*w = -5*f + 529 - 563. Which is greater: f or d?
d
Let h(k) = -k**3 + 14*k**2 + 52*k - 68. Let d be h(17). Is d at least as big as -57?
True
Let b = 236.1 + -2.1. Let h = -2.491 + 3.491. Which is smaller: h or b?
h
Let n(g) = 9*g + 177. Let o be n(20). Which is smaller: 346 or o?
346
Let q(y) = -7*y + 7*y**3 + y + y - 2 - 4*y**2. Let g(m) = 15*m**3 - 7*m**2 - 9*m - 3. Let i(v) = 6*g(v) - 13*q(v). Let b be i(11). Is 11 at least as big as b?
True
Let t(q) = 11*q + 1. Let d be t(-3). Let z(a) = a**2 + 10*a - 1164. Let m be z(0). Let r be 2/(-3) + m/36. Is r less than d?
True
Let n = 2957 - 5674. Which is bigger: -2716 or n?
-2716
Let y(i) be the second derivative of -i**4/12 + 7*i**3/2 - 128*i. Let l be y(21). Which is bigger: l or -2/251?
l
Let i(t) = t**3 - 54*t**2 - 40*t - 570. Let r be i(55). Which is smaller: r or 251?
251
Let v(d) = -5*d - 1. Let s(l) = -11*l - 3. Let b(z) = 6*s(z) - 14*v(z). Let q be b(-2). Let u be (1/84)/(q/(-32)). Which is bigger: u or 0?
u
Let k = -15937 - -16041. Is 108 > k?
True
Let x = 1153847/777 - 1485. Which is smaller: -1 or x?
-1
Suppose 10*o = 2*o + 1512. Let i = -568/3 + o. Which is smaller: 0.34 or i?
i
Let i be 3*((-14)/(-18) + 4/18). Suppose 0 = 2*a - 10, -i*c = 5*a - 4 - 21. Let x(n) = 2*n**3 - 6*n**2 - 3*n - 2. Let p be x(3). Is p not equal to c?
True
Let i(s) = -s**2 - 7*s - 4. Let b be i(-6). Suppose 10*a - 5*a + 30 = 0. Let h be 17/a + 0 + b. Which is bigger: h or -2?
h
Let b(o) = o**3 - 43*o**2 - 80*o + 673. Let c be b(45). Which is smaller: c or 7860/7?
7860/7
Let i be (-2)/5 - (-184)/10. Suppose -b = 2*b - 3*c - i, -3*c - 10 = -2*b. Let l = 1/102 + 4687/510. Which is smaller: l or b?
b
Suppose -10*q = 392 + 168. Let k be (40/q)/(18/147). Which is smaller: k or -5?
k
Let g(i) = i**2 - 17*i + 2. Let v be 2/10 + 5/(100/336). Let q be g(v). Suppose -45 = -2*l + 3*p - q*p, 5*p - 120 = -5*l. Is 24 at most l?
False
Let b be 84/1632*344 + -1 + -10. Which is bigger: -3/7 or b?
b
Let b = 99625/9 + -11093. Which is bigger: -25 or b?
b
Suppose 0 = -4*z + 93 + 7. Let t be (z/(-10) + 2)/(1/(-10)). Suppose 56 - 14 = -2*q + t*n, 171 = -5*q - 4*n. Do q and -30 have the same value?
False
Let j(m) be the first derivative of 10*m**3/3 + 5*m**2 - 18*m + 23. Let c be j(5). Let d be c/(-20) - 39/(-26). Is -14 at most d?
True
Let y(c) = -c**2 - 65*c - 392. Let g be y(-8). Is g less than 47?
False
Let y be 9/(-12) - ((-21197)/7788 + 2). Let p = y - 167/354. Let k = -22 - -38. Are k and p nonequal?
True
Let p be 3 + (-91)/21 - (-2)/6. Let i = p + -2. Which is smaller: -27/7 or i?
-27/7
Let c = 218027/47 + -4639. Suppose 3*v = 4 - 1. Which is greater: c or v?
v
Let k = -220.836 - 0.164. Let o = 220.851 + k. Let s = 0.051 - o. Are s and 2 non-equal?
True
Suppose 1 + 2 = 3*n. Let x = 1175/13 + -8223/91. Is n less than or equal to x?
False
Let q(v) = -18*v**3 + 3*v**2 - 13*v - 29. Let s be q(-3). Let x = s - 497. Do x and 184/7 have the same value?
False
Suppose 0 = 5*g - 2*g - 6. Let o be -5 + 6/6 - -10. Let p be (4/o)/((-14)/(-27)). Is p at least g?
False
Let l be 12 + 0 + 1 + -2. Let s = -2626 + 1372. Let f = s + 1263. Which is smaller: f or l?
f
Let m(g) = -8*g + 175. Let d be m(22). Is -684 smaller than d?
True
Let a = 3188 + -3187. Let l = -20177/403425 - 2/4075. Is l at least a?
False
Let n be ((-9230574)/2604 + (-9)/(-21))*-8. Let a = n - 28352. Which is bigger: 2 or a?
a
Let w(o) = 1725*o + 1726. Let s be w(-1). Let z = -372/7 - -53. Which is greater: z or s?
s
Suppose -197718 = 200*r + 373600 - 105718. Is -2328 not equal to r?
False
Let z be ((-8)/20*21/14)/(10829/544 + -20). Let 