173, -4*h + 4*y = 224. Let f = -90 - h. Is f at least s?
True
Let l = -2.425 + 2.525. Do 37/3 and l have the same value?
False
Let f = -0.0004 - 22.0196. Let n = -22 - f. Is 2 at least n?
True
Let c be 9/(-18)*(2 - (1 + -1)). Let o = -142.03028 - 0.07972. Let y = -142 - o. Is y greater than or equal to c?
True
Suppose -5*q = -z + 7, -4*q + 3*q = z - 7. Let s be (14 - 14) + (-12)/(-998). Is s at most as big as q?
False
Suppose 2*w - 4*q - 16 = 0, 6*q = 4*q - 2. Let x be 2*27/w*(9 - 6). Suppose 7*n - 6 = -6. Do n and x have the same value?
False
Let w(n) = 7*n - 27. Let u(s) = -8*s + 30. Let k(j) = 3*u(j) + 4*w(j). Let h be k(6). Which is smaller: h or 5?
5
Let z(g) = 2*g - 37. Let m be z(13). Let b = -3 - m. Suppose 0 + b = -4*p. Is 8 not equal to p?
True
Let w = -0.34 + 0.368. Let p = w - -27.872. Let o = -28 + p. Do o and -47 have different values?
True
Let n be (2 - 1)/(60/180). Suppose n*a + 5*d - 4 = -11, 5*d = -4*a - 11. Which is smaller: a or 51?
a
Suppose 40 = 7*v + 5. Let u(q) = -q**3 + 5*q**2 + 2. Let p be u(v). Suppose 5*h = p*k + h - 2, 3*k - 3 = h. Is k at most -1/6?
False
Suppose -25 = l + 2*c, -4*c + 22 - 97 = 3*l. Let j(z) = 14*z - 348. Let g be j(23). Which is smaller: l or g?
g
Let k = 13552 - 13550.56. Which is smaller: k or -1/6?
-1/6
Suppose -20*c = -500 - 460. Is c at least as big as 640/13?
False
Let u(o) be the first derivative of 15*o**2/2 - 69*o + 422. Let b be u(6). Let y = -6 + 28. Is y greater than b?
True
Suppose 0 = -4*f + 4*y + 472, -7*f = -8*f + 3*y + 116. Let k(p) = 38*p - 32. Let g be k(4). Which is bigger: g or f?
g
Let j = -333 + 320. Let i be 166 + j - (-2 + 0). Is 155 at most i?
True
Suppose -2*z + 54 = -4*p, 0*p = -5*z + p + 108. Let b = z + 0. Let f be 4 + b/(-4) + 1. Are f and 0.21 equal?
False
Let k be (-34899)/180 - 2828/(-1010). Is -190 at most as big as k?
False
Let g(r) = 4*r**2 - 6*r + 5. Let w be g(4). Suppose -u - w = -53. Let i(t) = -t**3 + 9*t**2 - 8*t - 9. Let n be i(u). Which is greater: -7 or n?
-7
Let z be 192/(-8)*-4*6/32. Is z at most as big as 286/17?
False
Let h = 3.468 - 3.268. Which is smaller: -0.24 or h?
-0.24
Suppose -63*z = -51*z + 3156. Let r = z + 325. Which is smaller: r or 65?
r
Let o = 22 - 20. Suppose -o*b + d + 14 = -4, -5 = b + 3*d. Let i = -7 - -15. Are i and b unequal?
True
Let u = 11 + 0. Let j = -38 - u. Let t = j - -51. Which is smaller: t or 0.2?
0.2
Suppose -12802*k + 12815*k = 871. Which is greater: k or 62?
k
Suppose -3*q - 347 = 5*x, -3*q - 95 - 182 = 4*x. Which is bigger: -51 or x?
-51
Let d = 95.6 - -10.4. Let b = 1.53 + -111.53. Let g = b + d. Is g greater than or equal to -4?
True
Let n be 40/(-64)*(1 + -9). Suppose -n*u + 0*u = -465. Are 92 and u non-equal?
True
Let m(k) = 8*k - 22. Let w be m(9). Let d be 5*-2*(-40)/w. Let t(o) = -o**2 + 8*o - 1. Let g be t(d). Which is smaller: -9 or g?
-9
Suppose 5*k - a + 13 = 0, -2*k - 2*a + 2 + 0 = 0. Let b = 233 + -226. Which is smaller: k or b?
k
Suppose 21022 - 19366 = 8*v. Which is bigger: v or 7?
v
Let g = -144 - -239. Let x be 6/((-540)/g) + 1/(-6). Is -1 less than x?
False
Let h = -1212.4523 + 1217.42. Let o = h + 0.0323. Is o at least as big as -14/5?
True
Let s be 6/9*-1 - (-9424)/285. Let h be 62*(3/(-2))/(-3). Which is greater: h or s?
s
Let v = -1024 - 40. Let p be (v/84)/(2/12). Is p at least as big as -76?
True
Suppose -23*l = -22*l - 33. Suppose 12*i = 7*i - 205. Let m = 74 + i. Does m = l?
True
Let l(y) = 21 + 10*y**2 - 3*y - 31 + 14 + 2*y**3. Let f be l(-5). Suppose 22*k - f*k = -57. Which is smaller: k or -21?
-21
Suppose 0 = 2*w - 23 - 41. Suppose a = -a + w. Suppose 0 = -4*k - a, -3*c + 5*k = c + 12. Is c bigger than -9?
True
Suppose -4*j - 1652 = -b, -588*j - 1701 = -b - 591*j. Which is bigger: 1678 or b?
b
Suppose -b + 4 = 3*c, -15*b = -4*c - 10*b + 18. Is -113/12 > c?
False
Suppose -2*h + 5*s - 12 = 0, 6*s - 7*s = 4*h + 68. Let n(c) = -7*c - 111. Let u be n(h). Does u = 1/84?
False
Suppose -2*c - 37 = 31. Suppose -3*p + z - 62 - 39 = 0, -4 = -2*z. Is p at least c?
True
Let r be (-13)/((-52)/(-32)) + 33. Let u be 0/(1 + 2)*r/(-50). Let m = -700 - -8407/12. Which is greater: m or u?
m
Suppose -2*y - 172 = 2*y - 4*s, -4*s + 215 = -5*y. Let o be 22/1 + (y - -37). Which is smaller: 17 or o?
o
Let c be 0 + -1 + ((-1774164)/126728 - -15). Is 1 at least as big as c?
True
Let j = 3895 - 11684/3. Which is smaller: j or -426?
-426
Let k(p) = p**2 + 9*p + 21. Let b be ((-4)/(-10) - 0)*25. Let f = 0 - b. Let q be k(f). Which is smaller: 30 or q?
30
Let n be (-1)/(-4) + 185652/432. Are 427 and n equal?
False
Let r = -139159/6 - -23272. Let v be ((-1656)/(-16) + -1)/(21/(-14)). Let u = r + v. Is u smaller than 10?
False
Let g(p) = -2*p**3 + 7*p**2 - 5*p + 3. Let r be g(3). Let u be (3/r)/((-11)/(-44)). Is u > -6?
True
Suppose -2*d - 2*o = -18, -d = 3*d + 5*o - 36. Let u = -757 + 1002. Let q = -233 + u. Which is smaller: d or q?
d
Suppose 5456 = -2*u + p, u = 6*u + 5*p + 13610. Which is bigger: -2724 or u?
-2724
Let u be -3*((-16)/(-48) - -1). Which is greater: u or 892?
892
Let w be -1*(-27 + -1)/4. Let r be w/(-63)*(-2)/3. Let g = -305 - -306. Which is bigger: g or r?
g
Let x be 1 + 75 - (19 + -23). Let z = 37 - x. Is -43 bigger than z?
False
Suppose 0 = 3*s - 2*u, -3 - 13 = -2*s + 4*u. Which is greater: -3265 or s?
s
Let r be (15 - (-5453)/(-42)) + 3. Let a(w) = -13*w**2 - 4*w - 4. Let b be a(-3). Let k = r - b. Is -2 greater than k?
True
Suppose 0 = 12*z - 7*z - 1605. Let u = z + -130. Is 191 less than u?
False
Let x = 1844.1 + -1790.082. Let a = x - 54. Is a < -1?
False
Suppose 3*w + 16044 = -l, 0 = -3*w - 157*l + 160*l - 16080. Which is smaller: w or -1?
w
Let k be (-4)/(-24)*(6 - 11964/(-102)). Let z be 124/(-6) + -1 + 1. Let m = z + k. Which is bigger: m or -1?
m
Let s be 1 + 0 + 2 + -10. Let d = -31 + 29. Let q be (8/5)/(d/5). Which is smaller: q or s?
s
Let x = -45 + 45. Suppose -6*l + 2*l + 4 = x. Let p be (4/(-1))/(l - 3). Are p and 7/5 non-equal?
True
Let v = 195541/115 - 8501/5. Are 1 and v equal?
False
Let n be 5/2*(-44)/(-360)*8. Let d = n - 136/63. Let x(p) = -p + 4. Let r be x(6). Are r and d nonequal?
True
Let t = 520.39 - 517. Let p = 3.39 - t. Let x(h) = -2*h**3 + 3*h**2. Let j be x(2). Which is greater: p or j?
p
Let o be (-14)/(9 + -10) - 15. Suppose 145 = -v + 19. Let l be 3/v*1*2. Which is smaller: l or o?
o
Let o be 35/(35/(-12)) + 11 + 8/3. Let a = -0.9 + -0.1. Is o < a?
False
Suppose -2*p = 5*u - 9, 51 = p + 4*p + 3*u. Let d be (-10)/(-26)*p/30. Which is greater: 1 or d?
1
Suppose 292 = 6*a - 128. Let r = -86 + a. Let c(q) = 2*q + 36. Let o be c(r). Which is bigger: o or 6?
6
Let a = 17/123 - 3220/23001. Which is smaller: a or 1?
a
Let k = 476.452 - 0.452. Let o = k - 525. Is 4 less than o?
False
Suppose -5*q = -2*q - 69. Let u = q + -27. Let n = -327 + 323. Is u greater than or equal to n?
True
Suppose x + 16 = 5*x. Suppose -2*i + x = -0*i. Suppose 2*o - 17 + 9 = 0, -3*n - o + 13 = 0. Is i less than n?
True
Suppose 2 = -h, -3*h + h = -2*n + 26. Let l be 6*148/24 + -7. Suppose l = f - n*f. Is f at least -13/3?
True
Let f(n) be the third derivative of n**4/12 - 18*n**2. Let i(g) = -2*g + 1. Let z(x) = 5*f(x) + 4*i(x). Let a be z(2). Does a = -1/4?
False
Suppose -2*q = 2*j - 72, 0 = 5*j - 462*q + 461*q - 144. Let z be ((-92)/10)/(6/(-20)). Is z smaller than j?
False
Let r be 55/(-15) - 4/12. Let j be 3/6*r/(-26). Let x = -323.1 + 323. Which is smaller: j or x?
x
Let i = 19/24 + -47/48. Let n(t) be the third derivative of -t**4/4 - 19*t**3/6 - 5*t**2. Let v be n(-3). Which is greater: i or v?
i
Let c(n) = -n**3 + 13*n**2 - 18*n + 109. Let k be c(11). Which is greater: 155 or k?
155
Let g = -16 + 16. Suppose 0 = -j + 2*n - 3*n + 5, -j + 2*n + 11 = g. Let m = 49 - 42. Do j and m have the same value?
True
Let a(i) = -i**3 + 14*i**2 - 9*i - 14. Let h be a(13). Let l(w) = -w**3 + w**2 + 3*w + 10. Let q be l(-3). Which is greater: q or h?
h
Let x be ((-2)/(-5))/((-5)/(-25)). Let c = -532063/9 + 59119. Which is greater: x or c?
x
Let f = -239 + 251. Let d be f/(-27) - 3584/360. Is d at least as big as -11?
True
Let j be 1/3*2/3 + (-72224)/(-1098). Is j equal to 26?
False
Let l = -20.775 - -20.3. Which is smaller: 1 or l?
l
Let k(w) = -w**3 - 8*w**2 - 6*w + 2. Let f be k(-1). Let l be (1 +