r(u) = u**2 - 9. Let l(t) = t**2 - 14*t + 24. Let c be l(12). Let v be r(c). Let p be 1/((-64)/(-22) + -3). Is v bigger than p?
True
Let y = -29 + -41. Let z be 6/42 - 74/y. Which is greater: z or 2/5?
z
Suppose -2*w + 6*w - 16 = 0. Suppose 5*c - 7 = 3, -4*c + w = -4*k. Which is smaller: k or 1/11?
1/11
Let g = -0.48 - -0.21. Let w = g - 5.73. Which is bigger: w or -3?
-3
Suppose 0*b + 10 = 5*k + 5*b, 0 = -5*k + 5*b - 40. Let g = 580 + -4080/7. Which is greater: g or k?
g
Let w(u) = 8*u**2 - 5*u + 3. Let r be w(5). Let m be 1/(36/r) + (-3)/6. Are m and 3 equal?
False
Let g(d) = -29*d + 223. Let p be g(-6). Which is smaller: p or 399?
p
Let u = -2.211 - -1.54. Which is smaller: u or 2?
u
Let q = -0.18 + 13.18. Let p = -6 + q. Let m = 10 - p. Is m less than or equal to -0.3?
False
Suppose 2*h + 16*h + 35 = -17*h. Let p be (6/3)/((-71)/1). Which is greater: p or h?
p
Let q be 1*(60/(-28) + 2). Let k = -2 + 1. Which is smaller: q or k?
k
Let l be (-3)/(7/(-7)) - 4. Is -635 smaller than l?
True
Let x be (7 - 1430/102) + 7. Suppose 1 - 10 = -3*j. Suppose 0 = j*m - 4*m. Which is smaller: m or x?
x
Suppose -421 - 321 = 2*n. Which is bigger: n or -370?
-370
Let b(i) = 3*i + 25. Let p be b(-7). Suppose 4*a + w + 19 = -p*w, -3*a - 28 = w. Is a < 0?
True
Let p = -24/23 + 481/483. Suppose -4*k = 3*r + 20, -25 = -16*r + 11*r + 5*k. Which is bigger: p or r?
r
Suppose 7 + 3 = -5*c + 5*g, 5*c = 4*g - 11. Let m be ((-4)/c)/((-4)/(-18)). Is 1 greater than m?
False
Let z = -124 - -136. Suppose -3*a = 2*o + 3 + 17, z = -2*o - a. Which is bigger: o or -0.01?
-0.01
Let m = -7753837/764 + 10149. Is m >= -1?
True
Suppose 72*h = -3626 - 7390. Are h and -153 equal?
True
Let i = -2 - -1. Let v = -30 - -31. Let h = i + v. Which is greater: -1 or h?
h
Let y = 0.139 + 0.061. Let l = -2.8 - y. Let m = -3.2 + 3. Which is smaller: m or l?
l
Let f(z) be the first derivative of z**4/4 - z**3/3 - 4*z**2 + 6*z - 2. Let t be f(3). Which is smaller: t or 6/29?
t
Let l = 50 - 23. Let x be ((-36)/l)/((-4)/30). Which is smaller: 11 or x?
x
Let u(x) = -182*x - 49. Let q be u(-13). Let j = q + -361453/156. Which is bigger: j or 1?
1
Suppose 4*n - n + 12 = 0. Let y be -2*-1*(-6)/(-4). Suppose 8*a - y*a = -20. Is a < n?
False
Let f = -464/75 - -27248/525. Let a = f - 1712/35. Suppose 0 = -5*y - 2*q - 24, -4*q - 5 = y + 7. Is a at least y?
True
Let z = -12280/22473 + 2/2043. Let w = -2 - -2. Suppose 2*n - o + 6 = w, 5*o - 3*o = -n + 2. Which is smaller: z or n?
n
Let f = -227 - -227. Which is smaller: -3.8 or f?
-3.8
Let a = -3347/456 - -1/152. Suppose -4*d = 3*v - d - 18, 2*v = -4*d + 12. Suppose n + v = -4*q + 3, q = -3*n - 20. Is a not equal to n?
True
Let r be 4/((-1)/(-1) - 15). Is 2/13 at most as big as r?
False
Let p = -5.6988 - -5.66. Which is smaller: 0.1 or p?
p
Let h be (39/(-26))/(2/44). Let q = -40 - h. Are q and -44/7 unequal?
True
Let a(p) = -p - 3. Let g be a(-4). Let q = -2/97 + 881/388. Is g smaller than q?
True
Let g = 1661 + -1959. Is g not equal to -299?
True
Suppose 5 + 5 = -4*g - 2*u, 5*u - 50 = 5*g. Suppose 2*a = 3*a + 5. Is a at most g?
True
Suppose 0 = -5*b + 8*b + 9. Let s be (92/(-18) - 0) + 2. Is b at least as big as s?
True
Let g be (1 - 16/6) + 0. Suppose -2*c - 2*c - d - 5 = 0, -2*c - 5*d - 7 = 0. Which is smaller: c or g?
g
Let g(k) = 29*k - 3. Let w be g(2). Let a = w - 107/2. Let l = 1 - -1. Which is greater: a or l?
l
Suppose -3*c - 4*h = -50, -3*c - 2*h + 18 = -28. Let n = c + 16. Are n and 31 equal?
False
Let m = 0.347 + -1.347. Is m greater than or equal to 120?
False
Let o(w) = w**3 + 9*w**2 - 7*w + 7. Let h be o(-9). Is h smaller than 69?
False
Let a be 3 - (1 - 3 - -4). Let u be (6/(-12))/(a/2). Which is smaller: u or 1?
u
Let a = 8991982/54387 - -2/54387. Let q = -160 + a. Let x = q + -5. Is x at most as big as -2/15?
False
Let t = -3077/7 + 437. Is t less than or equal to -4?
False
Let i be (12/10)/((-5)/(-25)). Suppose -i*y + y + 10 = 0. Suppose -53 + 21 = y*d. Are -17 and d non-equal?
True
Let n be (9 + 3992/(-444))/((-2)/(-14)). Is 0 at most n?
True
Suppose -y = 4*x - 29, 4*y - 28 = -3*x - 2*x. Let v = -8 + x. Suppose v = 2*r + 3*r. Which is greater: r or 1/6?
1/6
Let q = -145 + 415. Are q and 269 equal?
False
Suppose 4*a + 5*i - 993 = 0, i + 622 + 641 = 5*a. Let l be 24/a*2/(-4). Which is bigger: 0 or l?
0
Let m = 0.882 + -0.882. Is -206 greater than or equal to m?
False
Let w = -271839/71 - -3829. Which is bigger: w or 0?
w
Let n(y) = -47*y - 628. Let s be n(-12). Are s and -51 nonequal?
True
Let u be 6/(-14) + (-72)/28. Let a be u/(-4) + 4 - 4. Which is smaller: 0 or a?
0
Let x = -118 + 296. Suppose 88 + x = 7*g. Is 37 >= g?
False
Suppose 0 = -j, 150 + 30 = 5*a + 5*j. Let d be 1/(((-3)/32)/(a/24)). Is -15 bigger than d?
True
Let z be 88/(-148)*12/(-21). Let p = -2/37 + z. Is 4/7 less than or equal to p?
False
Let d be ((-140)/(-12) + 4)*-6. Let b = d - -98. Is b > -0.2?
True
Let r(j) = 4*j - 22. Let a be 3 + 4*(0 + 1). Let d be r(a). Suppose 7*n - 16 = 3*n. Are d and n nonequal?
True
Suppose 0 = -2*b - 3*k - 5, 12*k - 10*k = -3*b - 5. Is -1/200 at least b?
True
Let f = 20 + -26. Let q(w) be the second derivative of -w**4/12 - w**3 - w**2 - 3*w. Let t be q(f). Is -8/3 at least t?
False
Let v = 2248 + -2247.89. Is 47 less than v?
False
Suppose -4*u + 176 = -184. Let l be ((-2)/(-3))/(u/(-27)). Is l greater than or equal to -3?
True
Let z(j) = -35*j + 13. Let u be z(-6). Which is greater: u or 1?
u
Let z be (-6)/(4*3/6). Let f = -152 + 152.8. Are f and z non-equal?
True
Suppose -16*i - 98 = -114. Is -2/793 greater than i?
False
Let b be 48/(-16)*(-5)/15. Which is bigger: -1/359 or b?
b
Let y = 592 + -65119/110. Let g = y - 28/55. Let r(v) = -v**3 - 6*v**2 - 4*v + 3. Let b be r(-5). Which is smaller: g or b?
b
Let b be ((-171)/798)/(3/(-4)). Do b and 148 have the same value?
False
Let y = 46 + -10. Let d = y - 145/4. Does d = 38?
False
Let z(t) = -67*t**3 - t**2 - 2*t - 1. Let o be z(-1). Suppose -2*n - 2*y + 4 - 30 = 0, o = -4*n + y. Let i = n + 13. Are i and -3 unequal?
False
Let f = 355210/117 + -3036. Which is greater: f or 0?
0
Let u = 4 - -4. Let y = 8.1 - u. Is y < -5/3?
False
Let p(a) = -a + 7. Let u = 14 - 8. Let t be p(u). Which is bigger: t or 2/95?
t
Let c = -71.98 - -71. Let u = c - -0.18. Let h = u - -0.8. Is 3 at least h?
True
Let o(x) = 19*x**2 + 1. Let q(c) = c**3 - 8*c**2 - 8*c - 8. Let g be q(9). Let a be o(g). Suppose -20 = 18*z - a*z. Is 10 greater than or equal to z?
True
Suppose -2*i + 2*o + 71 = -3*i, 0 = -o - 5. Let r = -36 - i. Suppose 0 = -5*g + r. Is 5 equal to g?
True
Let m = 1.15 - 0.15. Let x = 24 + -24.21. Is x >= m?
False
Let y = -5 - -3. Suppose 3*v + 52 = -11. Let s be v*y*(-2)/(-12). Which is greater: 0 or s?
s
Let y = -11 - -11.1. Let b be (-50)/13 + 22/(-143). Is b > y?
False
Let a(h) = 3*h - 12. Let k be a(3). Let j be 21/3 - (k - 1). Is 10 bigger than j?
False
Let d = 2.046 + 0.954. Is d smaller than 81?
True
Suppose -34*d - 12 = -12. Which is bigger: -2/1903 or d?
d
Let i = -61/1224 - -3/136. Suppose 2*y - 48 - 140 = -3*h, -2*h = -2*y - 122. Let u = h - 61. Is i at most as big as u?
True
Let i(y) = 10*y - 379. Let k be i(41). Do k and 31 have the same value?
True
Let v = -0.141 + 0.18. Let i = 4.261 + v. Let j = -0.7 - i. Which is bigger: j or 1?
1
Let m be -2 + 4574/(-11) - (-194)/(-1067). Do -419 and m have the same value?
False
Let u(b) = b**2 - 8*b + 1. Suppose g = 9 - 1. Let c be u(g). Is c smaller than -2/251?
False
Let y(h) = -2*h**2 + 4*h - 2. Suppose 16*b - 6*b = -20. Let i be y(b). Is -16 less than i?
False
Suppose 0 = 2*j + 2 + 6. Suppose -v + 3*v + 20 = 0. Let u = j - v. Which is smaller: 4 or u?
4
Let b(m) = -m**3 - 5*m**2 - 3*m + 4. Let h be b(-4). Which is smaller: h or 0.04?
h
Let v = 17 - 14. Let x be ((v - -1) + -2)/2. Are -2/5 and x nonequal?
True
Let h be 15/5*(-69)/9*-4. Suppose h + 88 = 20*s. Is 54/7 equal to s?
False
Suppose 6*l = 10*l. Let j = 49.1 - 53. Let s = 19.1 - j. Which is greater: s or l?
s
Let y(i) = i**2 + 6*i + 5. Let o be y(-5). Suppose o = -2*h - 5 + 13, 0 = 5*n - h - 26. Suppose n = 5*b + b. Which is smaller: 4 or b?
b
Let m be (-84)/(-22) + (-16)/(-88). Suppose -r + m*r - 6 = 0. Let q(v) = -v + 8. Let s be q(6). Is s equal to r?
True
Let s = -66.95 + 64. Let w 