i + 454 = -74. Suppose -2*x + 13*x - i = 0. Suppose -x = z + 2*z. Which is bigger: z or -2/9?
-2/9
Let i be (-52156)/357 - ((-184)/(-28) + -7). Is -146 at least i?
False
Let v(p) = p**3 + 2*p**2 + 4*p + 3. Let t be v(-1). Suppose 28*m - 23*m - 940 = t. Is 188 equal to m?
True
Suppose 5*r = 93 + 72. Let z = -2 + r. Let x be ((-108)/45)/(6/(-80)). Which is greater: z or x?
x
Let o = -165 - -201. Suppose -o*h + 53*h = 68. Is 2 > h?
False
Let q be (1946/(-49))/((-2)/((-8)/(-30))). Let z = q - 26/5. Let h = -90 - -632/7. Is h < z?
False
Let d = -292 - -290. Let j be 3380/(-28) - 1/(-7)*d. Which is smaller: j or -123?
-123
Let s(v) = -2*v**3 + 58*v**2 + 27*v - 2382. Let u be s(35). Is u <= -16138?
False
Let r = 11 - 18. Suppose -7*i + h + 934 = 865, -5*i - h = -39. Are i and r unequal?
True
Let y be (67/(-5)*5)/(10 - 9). Which is greater: -89 or y?
y
Let j(m) = -104*m + 1535. Let c be j(13). Is 177 at least as big as c?
False
Let a be (-4)/5 + (-31 - 3124/220). Is a >= -325/7?
True
Let b = -3780/19 + 979001/4921. Suppose 0 = -5*m + 6 - 1. Is m bigger than b?
True
Let i = 17523 + -17524. Let y be 1/(-3) - 123/(-450). Is y not equal to i?
True
Let g be 5/(4 - 119/28). Let t be 36/(-24)*g/6 + 3. Suppose 2*r - 13 - 1 = l, 5*l + 22 = 2*r. Which is smaller: t or r?
r
Let m = 41872 + -217985631/5206. Which is smaller: 0 or m?
0
Let v(k) = 10*k**2 + 378*k - 75. Let a be v(-38). Which is bigger: -8/623 or a?
a
Let v = -93017 - -282233/3. Is 1062 equal to v?
False
Let r be (12 + 0)*((-10)/2950 + 0). Let o = -2207/17995 - r. Is -1 less than o?
True
Let x = 3936.048 - 3936. Is 2/85 greater than or equal to x?
False
Suppose -j + 6*j - 4 = -4*x, -3*j + x + 16 = 0. Suppose -3*o + j*o = 1. Let c = 16/3 + -11/3. Is c < o?
False
Let v = 794/3 - 3155/12. Let w = 1.2 - 0.7. Let c = w - 0.4. Is c < v?
True
Suppose 0 = 4*f - 4*i - 32, 200*f - i = 195*f + 12. Which is greater: 1/1256 or f?
f
Let s = -5951 + 5886. Are -84 and s nonequal?
True
Let r = 1407 + -1324. Which is smaller: r or 247/3?
247/3
Let k be (14/(-107 - -23))/(1/3). Is -1 greater than or equal to k?
False
Let u(a) = a**3 - 41*a**2 - a + 23. Let x be u(41). Let g be (-64)/x + (1 - (0 - -3)). Suppose 0 = 4*i, v - 3 = -i - 0. Which is greater: v or g?
v
Let i = -562130/11 - -51048. Which is greater: -56 or i?
i
Let t be -1 + 3 - 15514/7332. Let s = -19/78 - t. Suppose 56*l - 120 = -64*l. Is l not equal to s?
True
Let s(p) = p - 25*p - 185*p**2 + 183*p**2 - 5. Let l be s(-13). Is l smaller than -34?
False
Let x(a) = -29*a + 97*a + 264 - 87*a. Let f be x(15). Is f equal to -22?
False
Let z be 32/176 + (-32)/176. Is z less than -2/121?
False
Let i(k) = k**2 - 163*k + 2086. Let m be i(14). Which is greater: -18/1765 or m?
m
Let m be (-1 - -15) + -65 + 51. Which is greater: m or -3/1627?
m
Let k = 953.782 - 0.782. Let u = 960.82 - k. Let f = 8 - u. Which is bigger: -0.1 or f?
f
Let i be 10/(-60) - 5198/(-12). Let g = 432 - i. Which is smaller: 5/7 or g?
g
Let t = 17 - 24. Let j(n) = n + 9. Let m be j(t). Suppose -m*o + 0 - 2 = -s, -3*s - 18 = 2*o. Do o and 2 have different values?
True
Let h(l) = l**3 - 22*l**2 - 74*l - 13. Let q be h(25). Let f be (3/9)/((-8)/q). Is -6 at least f?
False
Let d = 26.224 + 30.776. Which is greater: d or 55?
d
Let f(z) = -z**2 - 9*z + 5. Let a be f(-9). Suppose 4*t = 2*c - 20, -2*c + 0*c = 2*t - 8. Is t greater than a?
False
Suppose 574 = -4*i - 3*f + 1695, -3*f = -i + 284. Let l be (4 + (9 - 13))/(-11). Which is smaller: i or l?
l
Let u = -1899091/2415 + 3932/5. Which is smaller: 1 or u?
u
Suppose 5*q + 2*x = 21, 2*q - 8 = -4*x + 3*x. Suppose q*b - 5 = 0, 2 - 56 = -2*g + 2*b. Is g smaller than 134/5?
False
Let i(f) be the first derivative of -6*f**2 - 100*f - 2. Let d be i(-19). Which is smaller: 127 or d?
127
Let v = 200.8 + -198.75. Which is smaller: 4 or v?
v
Suppose 234 = -163*m + 397. Suppose -8 = 3*l - 2. Let d be 1*l/(-63)*-1. Is m less than d?
False
Suppose 48*j - 96 - 1872 = 0. Is -63 bigger than j?
False
Suppose 249*k - 120 = 254*k. Let w be (-6 - (-44)/k) + 5. Is w bigger than -3?
True
Suppose 3*h + 3*d + 2*d = 28, -12 = -2*h - 2*d. Let p = -37883 + 1780500/47. Which is bigger: h or p?
h
Let p = -68 + 1598. Do p and 1530 have the same value?
True
Let i = -130 + -43. Let s = 173 + i. Is s less than -13?
False
Suppose 1980*p - 5*u + 272 = 1983*p, -u = -5*p + 416. Which is smaller: p or 421/5?
p
Let j be (18/4 - 7)/(-20*(-7)/(-56)). Which is smaller: j or -45/431?
-45/431
Suppose -80*q = -75507 + 2947. Which is smaller: 6345/7 or q?
6345/7
Let w be 33/22*3/((-1107)/96). Let m(f) = f**3 - 6*f**2 - 9*f + 14. Let a be m(7). Which is smaller: w or a?
w
Suppose -8*t - 52 = -4*t. Let h(w) = -2*w + 23. Let j be h(t). Suppose -2*s - j = c + 3*s, 0 = -c - s - 33. Does -30 = c?
False
Suppose -3*h + 4*h - 27 = 2*n, 58 = 4*h + 2*n. Suppose 18*m + 29 = h*m. Let a(w) = 10*w + 2. Let q be a(-3). Do m and q have different values?
True
Let a be (-4)/6 - 22/3. Suppose 3*f + 69 = 4*n, 58 = 3*n - 2*f + f. Suppose -n = 3*u - o, 28 = -4*u + 3*o - 0. Are a and u equal?
False
Let z be (-12)/(-66) - (-2398760)/(-1518). Let o = 1580 + z. Let p = 30 + -31. Which is smaller: o or p?
p
Let x = 43087 - 43086. Is x >= -3/24035?
True
Suppose 0 = 1472*j - 1494*j. Does j = 23/192?
False
Let x be 1*2/(-4)*0/12. Suppose 5*p + 15 = x, 4*l + p + 156 = -3*p. Which is greater: -34 or l?
-34
Suppose 0 = 3*t - 5*y - 130, 89 = 2*t - 2*y + y. Suppose 4*c = -i - t, 2*c = 3*i + 2*i + 115. Let u be ((-270)/i)/6 - 2. Which is bigger: u or -1?
u
Let d = 629.92 + -636. Let z = 6.28 + d. Which is bigger: z or 55?
55
Let g = 180/157 + -21757/18840. Suppose 0*z - 3*z = 4*d - 13, -4*d + 3*z - 5 = 0. Which is smaller: g or d?
g
Suppose -11*w = -2*z - 6*w - 124, 107 = -z - 5*w. Suppose 5*p = -k - 375, 5*p + 139 = 2*k - 251. Is p greater than z?
True
Let s = 630 + -267. Suppose -59 = -5*f - 3*l - s, -5*f = 5*l + 310. Is -59 > f?
False
Let a = 7.126 + -0.126. Let x = a - 7. Which is smaller: -1 or x?
-1
Suppose 4*l + 27774 = -3*q, 15708 = -6*l + 2*q - 25940. Which is smaller: -6941 or l?
l
Let j = -0.3405 + -37.6595. Is j equal to -20?
False
Let f(k) = -24*k - 275. Let c be f(-23). Suppose 0 = 10*r + 57 - c. Are r and 23 unequal?
True
Let v = 6404/86211 - 2/9579. Which is greater: v or -14/5?
v
Let o = 284280799/15979187 - -2/371609. Is 19 greater than o?
True
Let i be 28/35 + (-234)/5. Let o = -36 - i. Let c be (-6)/((-72)/o)*18/(-20). Is c not equal to 1/2?
True
Let g be (-26)/14 - (-48)/168*7. Is 59/7 at least as big as g?
True
Let r(b) = 5572*b - 79. Let v be r(-1). Which is smaller: v or -5652?
-5652
Let u = -35.959 + 36. Let k = -42.959 - u. Let p = k - -43.1. Which is smaller: -2 or p?
-2
Suppose 0 = -4*d + 2*p + 8 - 30, 19 = 2*d + 5*p. Let i be d + 15 + 4 - (1 - -3). Suppose -5*q + 3*z - 20 = 0, 2*q = 3*q + z + i. Which is smaller: q or -9?
-9
Let c = -21242 - -85584022/4029. Which is smaller: 0 or c?
0
Suppose -j - 59 = -s, 4*s + 2*j = j + 221. Suppose -3 = -z - y + 3, 4*z - 4*y - s = 0. Which is smaller: z or 1?
1
Let o = 57 - -15. Let r be (o/20 - 3)*-5. Let l be (r + 6)*(1/6)/1. Which is smaller: l or 1?
l
Let t = -2023 + 2012.8. Is 0.026 at most t?
False
Let f = -15 - -10. Let o(p) = 6*p**3 - p**2 + 5*p + 8. Let g be o(f). Let l = -2333/3 - g. Which is greater: l or 13?
l
Let m(q) = -q**3 + q**2 + 10*q. Let a be m(-3). Suppose 21*t + a*t - 6183 = 0. Do t and 228 have different values?
True
Let o = -2 + 2. Let l = -7198124/27 + 266597. Does l = o?
False
Let k be 436/482870*10/(-8). Which is bigger: k or -1?
k
Let k be (-21978)/58 + (-518)/7511. Which is greater: -380 or k?
k
Let n be 1 + (0 - -2) + 1. Suppose 7*r = -n + 25. Suppose -x = -2*u + x + 6, -u = r*x + 5. Is 0.11 >= u?
False
Let h = -200.9 - -202.69. Let d = -5 + 5. Is d bigger than h?
False
Let y = -1136 + 767. Do y and 0.04 have different values?
True
Let z = 4293 + -4294. Which is greater: z or -2/17927?
-2/17927
Let q(f) be the third derivative of f**6/60 - f**4/12 + 72*f**2. Let u be q(-2). Which is bigger: u or -9?
-9
Suppose 87*o - 1179 - 3693 = 0. Suppose -9*f = o - 506. Suppose -j = -6*j + 250. Is j != f?
False
Suppose 129809 + 51955 = 505*n - 109*n. Which is smaller: -4 or n?
-4
Let b(w) = 13*w**2 + 120*w - 243. Let z be b(-30). Which is smaller: