False
Let t = 4038 + -4036. Let a = 45 + -41.4. Does a = t?
False
Let y = -28/23 - -640/299. Let l(m) = -m**2 + 34*m + 495. Let p(w) = w**2 - 3*w - 25. Let d be p(10). Let f be l(d). Is f > y?
False
Let s be (-6)/(-69) + 144884/(-1420710). Is 1 at most as big as s?
False
Let h = 94.3 - 22.3. Let q = 93 - h. Is q at most as big as 1?
False
Let c = -84.6 + 12.6. Let j = c + 81.1. Let l = -30.9 - j. Which is smaller: -2/3 or l?
l
Let p(u) = 101*u + 4. Let f be p(1). Let w = f - 105. Let b(r) = -r**3 - 2*r**2 + r + 11. Let o be b(w). Is o < 11?
False
Suppose -22 - 84 = -z. Let x = -111 + z. Which is bigger: x or -3?
-3
Let b = -4 + 7. Let n be (-405)/(-816) - (b/6 - 0). Let q = 419/2992 + n. Which is greater: 0.1 or q?
q
Let b = 12 + -20. Let v = -5 - b. Let u be (-84)/(-406)*87*(-6)/(-9). Is u less than v?
False
Suppose 2*w = -10*w - 18*w - 2*w. Which is greater: w or 6304?
6304
Let k be -6 - 6/6*-8. Suppose 4*c - 8*c + 4 = -k*p, 4*p + 8 = 0. Is 10/21 smaller than c?
False
Let q = -258.8 - -30.8. Let h = q - -228. Is h at most as big as -79?
False
Let p be -10 + 4/((-4)/(-5)) + 3. Let m be 1 + 16/6 + -1 - p. Suppose 3*q + 24 = 7*q. Which is smaller: q or m?
m
Suppose 0*v + 6*v - 174 = 0. Let w = -43 + v. Let l = -779/58 - 2/29. Is w <= l?
True
Suppose -2*n - 11 = -2*a - 5, -4*n + 13 = a. Let v(l) = -l**3 - 6*l**2 + 20*l - 14. Let y be v(a). Which is smaller: y or -188?
y
Suppose 0 = -30*j + 34*j - 480. Suppose 10*b - j = -40. Is b equal to 8?
True
Let s = 58 + -64. Let u = 4.18 + 1.82. Is s greater than u?
False
Let p be (-2)/(-22)*-4*9/((-189)/595). Is 11 greater than or equal to p?
True
Suppose -3*w = -5*z - 7, 7*z = -4*w + 4*z + 19. Let a be (-1 - w/(-3))/(-1). Suppose -75*t - 2 + 4 = 2. Is a greater than or equal to t?
False
Let i be 1 - 2 - 0 - -6. Suppose 8*g + 15 = -5*m + 4*g, -5*g - 30 = -i*m. Let b be (-1)/((-2108)/765 - (-8)/(-18)). Which is bigger: m or b?
m
Let f be 9/((-7)/(1470/(-9))). Let a = f - 171. Is a <= 39?
True
Let f be (32 + (-5670)/175)*10/2. Is f less than or equal to 468.6?
True
Let r be (3105/(-210) - -15)*4/(-3). Which is greater: -482 or r?
r
Let m be 2/11 - (-24 + 18 + 13784/1276). Which is smaller: m or -4?
m
Let z = 105 + -92. Suppose -n + 1 = -2*t + z, -n - 15 = -3*t. Is n greater than or equal to -50/11?
False
Suppose 7632 = 70*u - 106*u. Which is smaller: -203 or u?
u
Let u be (-1)/((-7 - 59580/(-8512))/((-5)/(-4))). Does u = 2660?
True
Let f = 21979912/967 + -22730. Is f at least as big as 0?
True
Let u be -9 + 10 - -3 - (-2086)/(-455). Is u bigger than -1?
True
Let z = 4822.9 + -4823. Which is bigger: z or 38/35?
38/35
Suppose -2*h = 3*k + 30, 0 = -4*h - h + 4*k - 121. Let w = h + -9. Let g be 518/(-18) + 10/(-45). Is g at least as big as w?
True
Let x be (-1)/4 - 3534/(-248). Are x and -1/7 equal?
False
Suppose -2*v - 3*v + 2*q = -6145, -4*q - 2458 = -2*v. Suppose v = 23*b - 933. Is 2 != b?
True
Let a = -3693.95 - -3694. Is -76 smaller than a?
True
Suppose -7*p - k = 445, -2*k = -2*p - 51 - 67. Is p equal to -66?
False
Let d be (-50)/(-18) + 2/9. Let t = -903 + 908. Suppose -2*i - t*z = 0, -8*z = -2*i - d*z - 20. Which is smaller: i or -35/6?
-35/6
Let x = -9 + 159. Let s = 148.74 - x. Let a = 0.74 - s. Which is smaller: a or 49?
a
Let n be ((-36018)/45 + -24)/(0 - 2/10). Which is smaller: 4120 or n?
4120
Let h be (-7)/14*(-78 - 2). Let b be 280/h - (0 + -1). Is 1 < b?
True
Let o = -53 - -10. Let v = o - -44. Let t = -6/127 + 368/2413. Which is bigger: v or t?
v
Let b = 176.7 + 25.3. Let u = 202.3 - b. Is u at least as big as 17?
False
Let f = -5536 + 6370. Is 835 bigger than f?
True
Let u(t) = 13*t**3 - 14*t**2 - 4*t - 8. Let h be u(4). Which is bigger: -2 or h?
h
Let s be 240/135 - (-2)/9. Suppose 5*v + 243 = 2*v + 4*o, -3*o = s*v + 145. Let h = -78 - v. Are -1/21 and h equal?
False
Let m(x) = -x**3 + 28*x**2 - 13*x - 24. Let c be m(28). Let o = 14354/37 + c. Suppose 0 = 4*t + l - 1, 0 = -2*t + 5*t + l - 2. Which is smaller: t or o?
t
Suppose 2*f + 4*l - 26 = 0, -f + 3*l - 37 = -6*f. Let d be 104390/(-910) + f/7 + -1. Is d at most -115?
True
Let r = 84.05 - -0.95. Let a = r - 86. Which is smaller: a or -8?
-8
Let z = 4207 + -2233915/531. Let r = z - -1048/3717. Let o be -1 - 4/2*-1. Do o and r have the same value?
False
Let p = 9.1369 + -0.0369. Let u = p + -699.1. Which is smaller: u or -0.1?
u
Let r be -3 - ((-12)/4 - -13). Suppose 4*s = -3*s + 14. Let m be (-2 - (2 - -1)) + s. Are r and m unequal?
True
Let k(q) = -92*q**3. Let r be k(-1). Let u be (-27)/21 + r/28 + -3. Let n be (-3)/(4 - (0 - 0)). Which is smaller: n or u?
u
Let y = 4332 - 4267. Which is smaller: 1110/17 or y?
y
Let n be 19 + 195/(-60) + -17. Which is bigger: n or 0.621?
0.621
Suppose -54 = 3*m + v, -5*m - 169*v = -164*v + 110. Is -87/8 equal to m?
False
Let y = 20.4 + -20.8. Which is smaller: 54 or y?
y
Let u(b) = -2*b**3 + 34*b**2 - 23*b + 22. Let y be u(16). Let z be (9/(-1) - -13) + y. Is 169 bigger than z?
False
Suppose -2157 = -7*k + 2764. Let i = k - 2811/4. Are i and -110 nonequal?
True
Suppose -4*v + 2*d + 7 - 199 = 0, -4*d - 180 = 4*v. Let f = 38503/4 - 9578. Let l = f + v. Are l and 0 equal?
False
Let a(o) = 4*o + 52. Let z be a(-9). Suppose -5*c = 5*f, -11*c = -3*f - z*c. Which is smaller: f or 6/19?
f
Let k = 24.1 - -44.9. Let x = -0.0585 + 69.1585. Let g = k - x. Is g equal to 43?
False
Let h be (4/(-79))/((-27)/105). Let b = h - -2/79. Which is greater: b or -87?
b
Let m be (-3 - (-11319)/3752)/((-3)/4). Let c be -3 + (-72)/(-54) - 2/(-3). Which is smaller: c or m?
c
Suppose 5*k = 5*u - 70, 18*u + 3*k - 30 = 17*u. Suppose -3*b + 0*b = -2*i + 6, -5*b + 56 = 4*i. Let n = 9 + i. Is u less than or equal to n?
True
Let t be (0 - (-70)/(-4))/((-96)/1152). Suppose -3*q + 213 = -t. Let w be q/63 + (-2)/21. Which is bigger: 1 or w?
w
Let n be (74/(-6) - -1)*-27. Are 306 and n nonequal?
False
Suppose 278 + 1276 + 1190 = 49*m. Let x be (-10020)/72*(-4)/10. Is x != m?
True
Let k(f) = -3*f**2 + 94*f - 603. Let j be k(9). Is -2/77203 less than or equal to j?
True
Let u = -7.7 + 7.758. Let g = -0.07 + u. Let k = g - -0.012. Is 5 >= k?
True
Let q = 111 + -114. Let u be (q/(-27))/((-10)/(-12)). Which is smaller: u or -40?
-40
Let u be (379215/(-12))/(-5) + ((-301)/(-28) - 11). Which is smaller: 6322 or u?
u
Let o = 229 - 182. Let r be ((-10)/(-6) - 79/o)*-3. Is r < 1?
True
Let f = 2.01 + -2.1. Let h = 302386 + -302384. Which is greater: f or h?
h
Let q be ((-13)/(78/774))/((-1)/(-1)). Let m = 122 + q. Which is smaller: -1 or m?
m
Let f(l) = 1571*l - 2788. Let r be f(4). Which is greater: r or 3497?
3497
Let f = 6785 + -6949. Which is bigger: -174 or f?
f
Let z(c) = -c**3 - 3*c**2 + c + 3. Let p be z(-3). Let k = 2204 + -2204.134. Are k and p nonequal?
True
Let j(t) = 8*t - 25. Let v be j(6). Suppose 906 - 5391 = -v*h. Are h and 195 unequal?
False
Let i be (15/10380)/((-3)/8). Is -1 bigger than i?
False
Let f = -183269 + 1282885/7. Let w = -108/9877 + 3/83. Which is smaller: w or f?
w
Let d be -1 + (14876/14842 - 0). Let t = 132/115 + -23432/20815. Let z = d + t. Do z and 0 have different values?
True
Let s(n) = -2*n**3 + 58*n**2 + 31*n + 44. Let c be s(30). Is c greater than -830?
True
Let y(n) = n - 33. Let t(i) = -i**3 + 4*i**2 + 4*i - 7. Let m be t(5). Let a be (186/m)/(1/(-2)). Let c be y(a). Is c <= -16/5?
False
Let m = 496 - 484. Let p be (m + -14 + -1)*(1 + 0). Which is greater: p or -23/8?
-23/8
Let z(p) = 4*p**3 + 31*p**2 - 6*p + 16. Let h be z(-8). Which is smaller: h or 60/259?
h
Let j be (14/77 + (-204)/396)/(21/(-522)). Are j and 7 unequal?
True
Let d(f) = 10*f**3 + 318*f**2 - 33*f - 184. Let z be d(-32). Which is smaller: z or 6?
z
Let d(o) = 84*o - 70. Let a be d(-4). Let r = 399 + a. Let k = -16 - -9. Is r smaller than k?
False
Suppose -2*g + 4*g - 3*c - 13 = 0, 0 = -3*g - 5*c - 9. Suppose -2 = -5*t + 2*k - 4, 0 = 4*t + 2*k - g. Is -18 <= t?
True
Let l(o) = -o - 9. Let b be l(-4). Suppose 0 = -206*u + 76*u + 138*u + 32. Do u and b have different values?
True
Suppose -150*i + 331*i - 656849 = 0. Is 1 greater than or equal to i?
False
Let a = 10358 - 6991652/675. Which is smaller: 10 or a?
a
Let x = -389 - -273. Let r = 42 + x. Let g(b) = -35*b - 3. Let y be g(2). Which is greater: y or r?
y
Let u = 55189/2 + -27595. Let