= 30791 + -30790.9. Which is greater: t or -94.5?
t
Let h = 41 - 37. Let q be (-17)/34 + (-214)/h. Let l be ((-2)/8 + 1)*12/q. Are 1 and l equal?
False
Let u(r) = r**3 - 7*r**2 - 2*r - 1. Let d be u(6). Let h = d + 49. Suppose h = -2*s + 8*s. Is s less than -1/25?
False
Let f(k) be the second derivative of 17*k**3/6 - 85*k**2/2 - 98*k. Let d be f(5). Are 1/8 and d unequal?
True
Let k be (-1)/(-3)*(14 - 17). Let o be (144/136 + -1)/(k/8). Does o = 1?
False
Let o = -1823.3 + 1840.9. Let k = -2/191 + 392/955. Which is smaller: k or o?
k
Suppose -6 = k - 3*q + 2, -5*q - 8 = k. Let f be (k/(-6) + 0)/((-3)/216). Let j be (-3 - f/33)*-5. Is -1 != j?
True
Suppose 4*j - 2*a - 22 = 0, -10*j + 2*a = -11*j - 2. Suppose -12 = j*o, -5*m - 31 = -4*m + 3*o. Which is bigger: -20 or m?
-20
Let h = -16100 + 16622. Are h and 522 nonequal?
False
Let d(a) be the third derivative of 59*a**5/60 - a**4/8 - 2*a**3/3 + 12*a**2. Let l be d(-1). Let h = l + -53. Is h less than -4?
False
Let y be -5*(-24)/(-2799)*6/15. Is 1 at least y?
True
Let g(y) = -33*y + 34. Let j be g(6). Let t = -2505 - -2341. Is t greater than or equal to j?
True
Suppose -338 = 1394*l - 1407*l. Is l < 16?
False
Let s = 69 + -69.33. Let o = 2353 + -2352.7. Let a = s + o. Is a > 0.01?
False
Let h = -0.9683 + 0.7283. Which is smaller: 1 or h?
h
Let t = -19.66 - -22.4. Let d = 3.2 - t. Let w = d - 1.76. Which is smaller: w or -1/6?
w
Let g(w) = -w**3 + 85*w**2 + 545*w + 74. Let o be g(91). Which is bigger: o or -720/43?
-720/43
Let v = 574 + -387. Let k = v - 119. Let w = k - 69. Is w <= -2?
False
Let i(q) = q**3 + 13*q**2 - 158*q - 837. Let z be i(-19). Which is bigger: z or 1/31853?
1/31853
Let c = -432613/26 - -16639. Suppose -2*x - 3*y = 6, 3*y + 32 - 8 = -5*x. Let i be (4/(-6))/(4/x). Which is smaller: c or i?
c
Let u be (64/(-20))/(28/210). Suppose -q - 50 = q. Let n = u - q. Is -0.22 at most n?
True
Let w = 301 + -415. Which is smaller: -19 or w?
w
Let h(f) = -2 + f**2 + 37*f + 45*f - 123*f + 43*f. Let x be h(3). Which is bigger: x or 68/5?
68/5
Let m = -999 - -1663. Let k = 732.8 - m. Let n = -68 + k. Which is bigger: n or -1/3?
n
Suppose -2*q + 93 - 25 = 0. Let b be 45770/1380 - (1/(-3) + (0 - 0)). Which is smaller: b or q?
b
Suppose 13 = -2*s + 7. Let j = -0.85 + -0.28. Let z = j + 1.26. Does z = s?
False
Let j(o) = -o**3 - 8*o**2 - 8*o - 2. Let x be j(-7). Let t = 9 - x. Let m be (6/(-92))/(2/(t/6)). Which is greater: m or 0?
0
Let m be (22 - 3) + -1 + -3. Suppose 3*b - 183 = m. Let j be 144/b*2/8. Which is bigger: j or 2?
2
Let s(x) be the third derivative of -x**5/60 - x**4/4 + 80*x**3/3 + 78*x**2. Let q be s(-16). Is q != -19/13?
True
Let t(s) = -s**3 + 8*s**2 + 2*s - 11. Let g be t(8). Suppose 0*w - 2*n = 2*w - 70, -g*w + 166 = 2*n. Let v be 3 + (-2 + -6 - -36). Which is smaller: v or w?
v
Let m be 63387/2*(12 - (-520)/(-39))/(-6). Which is smaller: 21128/3 or m?
21128/3
Let d = 1878 - 5635/3. Which is greater: d or 2/1065?
2/1065
Suppose 10*v - 39 + 5 = 6. Let c(o) = -o - 2. Let t be c(-6). Is v bigger than t?
False
Let u(k) = 543*k + 32569. Let v be u(-60). Let p(b) = b**2 - 11*b - 1. Let i be p(9). Which is smaller: i or v?
i
Let p = -18022 + 15655. Which is smaller: p or -2372?
-2372
Suppose -2*d - 5*p = -0*d + 11, 28 = -4*d - 4*p. Let l be 15/(-21)*(-812)/290. Which is smaller: l or d?
d
Let i = -351 - -13. Let h = -393 - i. Is -59 less than h?
True
Suppose 2*h + 2*w + 656 = 0, -5*h - w = -7*h - 668. Which is smaller: -326 or h?
h
Let f = 777 + -776. Let u be 7/f - (-220)/(-180). Are 5 and u equal?
False
Suppose 0*g + g + 13 = 3*t, 3*t - 4*g = 25. Let i = 61 - 57. Suppose -t*x = -i*x - x. Which is bigger: -2/9 or x?
x
Let a be 25236/(-90)*(5/2 - 0). Which is smaller: a or -697?
a
Let y = -31695 - -22566839/712. Let f be 0 - 0 - (-3)/(-3). Which is greater: y or f?
y
Let g be 6034/(-1155) - (-128)/960. Suppose 1 = -3*s - 11. Which is greater: s or g?
s
Suppose 0 = -5*g - 71 + 76. Let w = -349840/293 + 1194. Which is greater: g or w?
g
Let t be (-137462)/468*(-12)/(-15). Let c = -1888/9 - t. Is c greater than 0.1?
True
Suppose -366073 + 5991 = -79*k. Is k >= 4557?
True
Let b be (-51)/(255/20) - (-2 + 7). Is -232/25 at most as big as b?
True
Let c(f) = f**3 - 73*f**2 + 273*f + 203. Let d be c(69). Suppose 7*h - 2*h - 5 = 0. Suppose z - h + 3 = 0. Which is smaller: d or z?
d
Let p = 18399 - 18012633/979. Which is smaller: p or -1?
-1
Suppose 4*k + 16001 = 3*u, -2*k = -4*u - u + 7997. Let d = 732181/183 + k. Are 0 and d nonequal?
True
Suppose -5*c - 130 = -275. Let y = 1951/30 + -215/6. Is y > c?
True
Let v = 35.9753 + -0.0753. Let m = 35.8 - v. Is -14/5 at least as big as m?
False
Let i be 12 + (-4298)/127 + 22. Is i <= -1?
False
Suppose -3*c - 4*k + 12 - 305 = 0, -2*c + 5*k - 180 = 0. Suppose 267*l - 241*l = -2522. Which is smaller: l or c?
l
Suppose 17*n = 30*n - 11*n. Is -7/123 greater than n?
False
Let m be ((-12)/4)/((-808)/792916). Suppose 96*l + 8832 = 99*l. Let a = m - l. Which is bigger: 0 or a?
0
Let l(r) = -r**3 + 9*r**2 + 10*r - 89. Let c be l(9). Let m be 62/(-120) + (-2)/(-8). Is c less than m?
False
Suppose -5*o - 3*q - 1305 = 0, 0 = 3*q - 9 - 6. Is o != 2?
True
Suppose 26*g + 5*g - 155 = -62. Is 39/20 at most g?
True
Suppose -r = -0*r. Let p = -2927 + 108290/37. Let x = p - -100/259. Is x >= r?
True
Let o = -1 - -1.1. Let p = -233903/8610 - 1/4305. Let w = 1739/66 + p. Does w = o?
False
Let p = 4613 - 4613. Does 2/285 = p?
False
Let d be (20/(-40))/(129/21). Suppose -27 = -9*l - 36. Which is smaller: d or l?
l
Let x be 64/(-48)*6/(-4). Suppose x*z + 2*p + 6 = -3*p, -4*z - 42 = -5*p. Suppose 0 = 5*f - 20, -2*l + 4*f = 23 + 7. Which is smaller: l or z?
z
Let q = -21 + 74. Suppose 0 = -q*n + 51*n + 2. Is -1/199 at least n?
False
Let t = 1/1167 - -3499/2334. Let q = 46 - 38. Is t <= q?
True
Let n = -2692 + 13254/5. Is -42 != n?
True
Let u = 0.053459 + -318.053459. Let f be 18/12*(-4)/6. Which is smaller: f or u?
u
Let v = 0.06789 - -0.02181. Is 1 at most as big as v?
False
Let o = 1550 + -137944/89. Is 0 at least o?
False
Let l = -38449/3 + 12722. Is l at most -94?
True
Let q = -76556 - -51522200/673. Do q and 1 have different values?
True
Let m(h) = 15*h - 62. Suppose 11*j - 18 = 4. Suppose -3*c = j*u - 31, -c + 11 = 2*u - 2. Let y be m(c). Is y > 73?
False
Let n be (-544)/1592*5/2. Is n at least -2?
True
Let u(k) = 2*k**2 - 115*k - 559. Let r be u(62). Which is smaller: r or 3/295?
r
Let q(c) = -16 - 9*c - 2*c + 8*c + 0*c. Let f be q(5). Which is greater: f or -29?
-29
Suppose 4*j + 2 = 2*t, -2*t + 23 = 3*t - 4*j. Suppose 0*b = t*b - 21. Suppose b*a = -7 + 4. Which is smaller: a or -8/17?
a
Let t = -27.66 - -0.66. Suppose -514 = -2*v - 4*i + 26, -5*v - 2*i + 1390 = 0. Let g be (-12)/(-16) - v/288. Which is bigger: t or g?
g
Let t = 1119 - 1118. Which is smaller: -15/229 or t?
-15/229
Suppose 38*q = 10769 + 4317. Suppose 1008 - q = -13*o. Which is bigger: o or -45?
-45
Let u be ((-17)/24)/(-1) - (-1182)/(-3546). Suppose -3*v - 6 = 2*r, 4*r + v = 5*v + 8. Let i = -1 + r. Which is greater: u or i?
u
Let i = 9680.6 - 9680. Which is smaller: i or 443?
i
Let p = -113 - -113.17. Suppose 10*f - 5*f + 15 = 0. Let j be 1/f*12/2. Is j != p?
True
Let s = 3117 + -638986/205. Which is smaller: -1 or s?
-1
Let q = -765 - -735. Let l be (-1)/(((-81)/12)/((-9)/q)). Is l smaller than -1?
False
Let n(p) = -22 + 3*p**3 + 16 - p**3 + p + 2*p**2 - p**3. Let q be (-2)/9 - (-10)/45. Let k be n(q). Is k less than or equal to -4?
True
Let x = 57.41 - 59. Let s = x + 1.89. Which is bigger: 2.4 or s?
2.4
Let i(f) = f**3 + 6*f**2 + 18. Let w(n) = -n**3 - 5*n**2 - 17. Let a(d) = 2*i(d) + 3*w(d). Let j be a(-4). Is 4/85 less than j?
True
Let v(c) = 110 - 259 + 37*c + 106. Let l be v(8). Is l >= 255?
False
Suppose -4*u = -3*t - 53, 4*u = t + 12 + 11. Is t not equal to 69?
True
Let v(n) = n**3 + 10*n**2 + 22*n - 7. Let y be v(-6). Let c be (-5)/y + -3 - 1*-4. Let b be 1/(-3)*(-44)/(-6). Are c and b nonequal?
True
Let z = -4829525 + 811352995/168. Let d = z - -345/8. Let r = d + 113/231. Is 2 greater than or equal to r?
True
Let r(d) = -d**2 - 95*d - 662. Let v be r(-8). Suppose -3*s + 185 = 2*s. Which is greater: s or v?
s
Let n = 222 - 320. Suppose 191*p + 3618 + 14103 = 12*p. Which is smaller: p or