 - a, 0 = 2*c - 8. Are j and k equal?
False
Suppose -l = -23 - 4. Suppose 21 = -4*c - l. Let o be 2/18 + (240284/198)/(-86). Is c <= o?
False
Let j = 10937 + -973133/89. Let l = j - 632922/216715. Let d = 75473/14610 + l. Is d less than 6?
True
Let v(g) = g**3 - 14*g**2 + 10*g - 135. Let s be v(12). Which is smaller: -300 or s?
s
Let o be (-15)/28 - (-8)/32. Suppose 6 - 1 = -a. Let t = a - -9. Is t less than o?
False
Let y be (-12)/138 + -12 + 12. Suppose -3*k = -9 + 6. Which is bigger: y or k?
k
Let w = -14.9 + 14.089. Let o = 3.811 + w. Is o smaller than -73?
False
Let k be 70/(-138) - (-1)/3. Let p = 608.2256 + -608. Let z = p + -0.1256. Is k >= z?
False
Let t = 3/22088 - 883931/3026056. Is t < 1?
True
Let n = -1119.8 + 1119. Let v = 24.63 - -0.37. Is n smaller than v?
True
Let a = 459403/32 - 14358. Let p = -889/160 - a. Do -4 and p have different values?
True
Suppose -2 + 9 = i, -3*u + 3*i + 15852 = 0. Is u >= 5291?
True
Suppose -o = -3*j + 18, -5 = o - j + 3. Let p be 296/(-74) + (-13)/o. Which is smaller: p or -6?
-6
Suppose 416*n + 658697 + 1038999 = 0. Are -20407/5 and n unequal?
True
Let h(t) = -111*t**3 - 3*t**2 - 4*t - 2. Let g be h(-2). Suppose -36*s + 43*s = -g. Which is smaller: -128 or s?
-128
Let p = -1.0577 + -183.9423. Which is bigger: p or -6?
-6
Let c = 70092254/2259 + -31028. Which is bigger: c or 0?
c
Let g = 129/11 - 81119/6919. Which is bigger: g or 0?
g
Let i(f) = f**3 + 4*f**2 - 15*f + 6. Let q be i(-8). Let m = -97 - q. Do m and -1/3 have different values?
True
Suppose -320 = -0*u - 5*u. Let c = -0.9572 - 4.0428. Do u and c have the same value?
False
Let p = 5169 - 5029. Which is bigger: p or 155?
155
Suppose -747*k = -687*k + 24480. Does k = -2854/7?
False
Let g = 8.833 - -156.497. Let p = -166 + g. Let s = 0.57 + p. Which is greater: s or 5/4?
5/4
Let s be (-42)/15 + 3 - (-600)/125. Which is bigger: s or 83/18?
s
Let k = 178 - -83. Let o be ((-3666)/423)/(3/(-90)). Is k != o?
True
Let f(q) = 4*q + 7. Let a(s) = 49*s + 84. Let t(h) = 3*a(h) - 35*f(h). Let p = 35 + -37. Let m be t(p). Which is smaller: m or 5?
m
Let l = -434 + 230. Let p be ((-2)/(-3))/(l/85). Suppose -7*t = -2*t + 5. Is p at least t?
True
Let d(v) = -v**3 - 36*v**2 + 73*v + 1169. Let l be d(-37). Let a be -4 + 2 - (0 - -160). Is l less than or equal to a?
True
Let i = -78061 + 73455393/941. Which is smaller: -1 or i?
-1
Suppose 569 = -13*x - 3773. Let o = 366 + x. Are 32 and o nonequal?
False
Suppose 3*z + 433 = -2*a, 816 = -4*a - 0*z + 4*z. Let w = a - -199. Is w at most -13?
False
Let f = -82/6157 - 20341990/55413. Which is greater: -366 or f?
-366
Let o be ((-92)/8 + 2)/(14/364). Which is greater: o or -4?
-4
Let i(t) = -t**2 - 31*t - 101. Let h be (52/65)/((-1)/35). Let z be i(h). Is -16 at least z?
True
Let s = -18 + 21. Let g be s/(1/(40/(-15))). Suppose -119 + 87 = 4*a. Are a and g equal?
True
Let a(y) = 3*y**2 + 29*y + 98. Let c be a(-4). Let b = -0.11 - -0.01. Are c and b equal?
False
Let o(s) = 2 - 2 - s - s**2. Let q be o(-2). Let k = 482 + -476. Are k and q unequal?
True
Suppose -5*l - 146 = -5*v - 176, -3*l - 2 = 2*v. Is 108/47 smaller than l?
False
Let x = -361306244/931 - -388084. Which is bigger: -1 or x?
x
Suppose -3*c + 54 = 5*d - 16, 3*d = 3*c + 66. Which is bigger: -3/19 or d?
d
Let s(l) = 28*l + 243. Let b be s(18). Let g = -705 + b. Do g and 43 have different values?
True
Let x(r) = r**2 + 28*r + 186. Let s be x(-14). Let c be (-880)/(-700) + (-6)/s. Which is bigger: c or 1?
c
Suppose 2*a - 1 = -5. Let f(l) = l**2 + 24 - 29 - 3*l - 2*l**2. Let y be f(a). Is 0 greater than y?
True
Suppose 21*j - 25170 = 23*j - 4*o, -3*j = -2*o + 37783. Is -12598 bigger than j?
True
Suppose 2*l - 91 - 215 = -2*b, 3*l - 1495 = -10*b. Is 147 greater than or equal to b?
False
Suppose -166*t + 1999 = -1819. Is -186 not equal to t?
True
Let y = -205/3 - -69. Let d = 9564.2 - 9623.2. Which is smaller: y or d?
d
Let z = -5793 + 3914. Let i = 1881 + z. Suppose 5*p = 4*p - 5. Is p at most i?
True
Let r be (80 - (14 + -12 - 10))*2/8. Let u(i) = i**3 - 6*i**2 - 5*i + 9. Let f be u(7). Is r greater than or equal to f?
False
Let a = -5602 + 20094. Is 14491 smaller than a?
True
Let c be 21/12 - (2605/(-780) - -4)*3. Which is smaller: 11/4 or c?
c
Let h be (-254)/(-12) + (-150)/100. Let u = -19 + h. Do u and 2 have different values?
True
Let m(x) = -2 + 0*x**2 - 5 + 3*x - x**2 + 4 + x**3. Let d be m(1). Suppose 6*z = z - d*z. Which is bigger: z or 5?
5
Suppose -2*x + 9*x - 210 = 0. Suppose -10*v = x + 10. Is v at least as big as -35/9?
False
Let h = -1872 + 14977/8. Let k = -31.924 - 0.076. Which is smaller: k or h?
k
Let i(r) = r**2 - 44*r + 239. Let q be i(39). Let a be ((-48)/5)/(2 - q/20). Is 48 > a?
False
Suppose -701*a = -678*a + 643 - 3265. Is 89 bigger than a?
False
Let f = -244 - -243.34. Let n = 0.618 - -0.012. Let v = f + n. Which is bigger: -0.1 or v?
v
Let t = -71822 - -42590418/593. Which is smaller: 0 or t?
t
Let q be (5/(-60))/((-279)/109647). Let z = -27 - -59. Which is bigger: z or q?
q
Let g = 0.47 - -21.53. Let t = g - 22.2. Are t and -0.8 non-equal?
True
Suppose -218 = -3*h + x, -x - 13 + 8 = 0. Suppose 3*b + 293 = 4*q, -5*b + 51 + 76 = 2*q. Is h at least as big as q?
True
Let u = 3429/70 + -331/7. Let l = 751 - 749. Is l at least as big as u?
True
Let q = -1211/40 + 167/5. Suppose 0 = w + 3*w - 5*j - 56, 0 = 2*w + 5*j + 2. Let p = w - 6. Is p less than or equal to q?
True
Let g = -25773 + 25775. Which is greater: g or -5117?
g
Let a be (-5)/((-10)/3704)*16/(-544). Which is smaller: -53 or a?
a
Let a = -1824 + 1798.9. Let q = -9 + -16. Let i = a - q. Is 1/5 less than i?
False
Let s(d) = 2*d + 11. Let w be s(-6). Let u be (27 - 34) + (26406/627)/6. Does u = w?
False
Suppose -26 = 5*d - k, 0 = 2*d - 6*k + k - 8. Let m be ((d/3)/(-2))/((-1)/(-2)). Suppose 2*y = m - 0. Is y greater than 22?
False
Let y = 61 + -59. Let j(o) = o**3 - o**2 - o + 6. Let q be j(y). Suppose 10 = -2*h + q. Is -1/31 at least as big as h?
True
Suppose 74*g + 99*g = 221*g - 192. Let j be ((-2)/(-4))/((-5)/(-30)). Suppose j*o - 3 = 18. Are o and g equal?
False
Suppose -2*p + 29 = -d, -2*d + 8*p - 55 = 3*p. Which is smaller: d or -613/17?
-613/17
Let c be 12/16*2*-2. Let h be -8 + 3 + ((-448)/(-40) - 11 - -1). Which is smaller: h or c?
h
Suppose -18*w + 46 = 5*w. Suppose -688 = -18*q + w*q. Are q and 2 equal?
False
Suppose -1968 = -21077*w + 21061*w. Which is smaller: 128 or w?
w
Let v be 9*(-9)/(-200) + 0/(-1 - -18). Do -1 and v have the same value?
False
Suppose 99 = -3*t - 0*t. Let a be (-5)/(1 + t/18). Suppose 0 = -2*f + a*f - 16, 0 = 4*d - 2*f + 4. Is d less than or equal to 2/15?
False
Suppose -2*y + l - 275 = -913, 5*l = 34*y - 10822. Suppose 4*w = 5*v - 1616, -2*w + 8 = -4*w. Which is smaller: v or y?
y
Let c(x) = 9*x**2 - 10*x - 9. Let p be c(-1). Suppose -p*h = 5*h - 390. Which is smaller: h or -0.03?
-0.03
Suppose -91*n = -n. Do 439.8 and n have different values?
True
Let d be (-25)/((-8450)/(-52)) + (-11)/13. Is d greater than -6/1853?
False
Let n = 319.141 + -319. Let m = -0.239 - -0.048. Let w = m + n. Which is bigger: 1 or w?
1
Let h be -15*(-6)/(-18)*14. Let g be (-27)/21 + 1 - 110/h. Is g greater than 0?
True
Let w(b) = -5*b**2 + 72*b + 45. Let n be w(15). Which is greater: 9/1918 or n?
9/1918
Let d(x) = -14*x**2 - x + 1. Let v be d(1). Let j be 10*2 - 7/(v/4). Suppose j*m - 23*m = 74. Is m > -74?
False
Let t be -14*6*(-19)/(-20083). Is t at most -8?
False
Let t = 60 - 241/4. Let d = -62812/56547 + -2/6283. Is t bigger than d?
True
Suppose 0 = c - 5*l - 758, -c - 4*l + 148 = -673. Which is smaller: c or 790?
790
Let g(w) be the third derivative of -w**5/60 + 7*w**4/24 - 3*w**3/2 + 3*w**2. Let j be g(5). Let d be (-3)/(-7) + 534/(-1197)*j. Which is bigger: d or -1?
d
Let u(t) = -4*t**2 - t + 2. Let k be u(3). Let y = 13/549 + -102179/2745. Let d = k - y. Is d greater than 1?
False
Let t = -1410.52 - 47.48. Which is smaller: t or -1/3?
t
Let c(w) = -w**3 - 35*w**2 - 9*w + 850. Let j be c(-34). Is j greater than 1/917?
False
Let d = 53 + -37. Let t = d + -10. Let z = 9.7 - 9.9. Are z and t nonequal?
True
Let s = -1611 - -937. Let j = s - -674.1. Is 107 greater than j?
True
Suppose -30 = -334*u + 331*u. Let w be (-6)/u + 1114/(-10) - 5. Is w >= -116?
Fal