a + 89, 3*d + 66 = -3*a. Let s be 2/(-7)*d/27. Let l = -2.05 - -2.25. Are s and l non-equal?
True
Let u(x) = x + 3. Let f(n) = -n**3 + 8*n**2 - 8*n - 5. Let a be f(7). Let w be a/(-18) - 17/3. Let s be u(w). Is 0 equal to s?
False
Let o = -635.2 + 586. Let y = o + 50. Which is greater: -0.3 or y?
y
Let m be (-3)/14*84/(-48). Let f be (-1)/1 + (-2)/(-1). Let c = f + -1. Is m at least as big as c?
True
Suppose q + q = -106. Let o = -47 - q. Which is greater: o or 9?
9
Suppose f + 112 = b - 765, -4*b - 5*f = -3535. Let r be (-4)/(-26) - b/4875. Which is smaller: -1 or r?
-1
Suppose 0 = -4*d + 3*z + 25, 4*d + 5*z + 2 = 3. Let o(m) = -3 - 3*m + 2*m + 2 + d*m**2 - 3*m**2. Let t be o(0). Is t less than or equal to -9?
False
Let o be (-154)/9130*(-4)/7. Is o greater than or equal to 1?
False
Let p = 320 - 319.9. Let y be 6/9 - (-12)/(-19). Let o = y + -97/1140. Which is smaller: o or p?
o
Let d = -381 - -1153/3. Suppose -3*t = 162 - 15. Let n = -46 - t. Which is smaller: d or n?
n
Let c = 119 - 127.1. Let t = 59.1 - 59. Which is bigger: t or c?
t
Let p = 0.829 + -0.119. Let d = 0.31 - p. Is 7 >= d?
True
Let n = 176/39 - -132/13. Let v = 24 + -10. Is v equal to n?
False
Let d(m) = m**3 - 4*m + 9. Let r be d(-4). Suppose -76 = s - 37. Is r smaller than s?
False
Let u(o) = o**3 + 6*o**2 + o + 5. Let d be u(-6). Let g(c) = -188*c**3 - 2*c**2 + c + 2. Let v be g(d). Let y = -2807/15 + v. Is y bigger than -1?
True
Let q = -24.9 + 15. Let z = -1.6 + 0.7. Let g = z - q. Which is smaller: 1/4 or g?
1/4
Let n be 50*(-4 + 96/30). Which is bigger: -39 or n?
-39
Let r(y) = -5*y + 1 + 4*y + 3 - 5. Let k be r(-3). Suppose 0 = -3*w - 3*n - 9, 5*n = -6*w + k*w - 15. Which is greater: 1 or w?
1
Suppose -2*a = 1 - 9. Suppose -a*z + 27 = -1. Suppose 5*b + 14 = 44. Is z at most as big as b?
False
Let h(b) = b**2 + 6*b + 3. Let n be h(-6). Suppose 3*c + n = -3. Let y be (-2 - 4 - c)*-1. Which is smaller: 0 or y?
0
Let z = 6172 + -796198/129. Is z greater than or equal to 0?
False
Suppose 6*x = x. Let k(w) = 16*w**2 - 3*w - 3. Let f be k(-2). Suppose 5*y + f = 32. Which is smaller: y or x?
y
Suppose -5*g = -4*f - 36 + 190, -4*f = 5*g + 146. Let d = g - -26. Is d at least as big as -4?
True
Let l be 12/4 + 2 + -1. Suppose -d = l*d + 60. Let n be (d/(-22))/(-2 + 1). Are -2 and n nonequal?
True
Let t be (-3)/6 + (-124)/40. Let j = t + 22/5. Is -4 > j?
False
Suppose -62*w + 3*k + 4 = -61*w, w = -3*k - 2. Does 13/68 = w?
False
Let s(h) = 5*h - 12 - 11*h + 7*h. Let u be s(11). Let t be (10/(-6) - u)*-15. Is t > 10?
False
Suppose 2*q = 2*t + 4*q + 82, -3*t - 2*q = 124. Let p be -3 - t/9 - 1. Which is smaller: 2/5 or p?
2/5
Let t(l) = 5*l - 29. Let c be t(-7). Let s = c + 71. Which is greater: s or 8?
8
Suppose -2*y + 2*c = 3*y + 1032, y = -2*c - 216. Which is smaller: -1/2 or y?
y
Let d(j) = j**3 + 14*j**2 + 14*j + 15. Let h be d(-13). Let n be h/4 - (0 - (-45)/130). Let s be 2/(-6) - (-2)/6. Do n and s have different values?
True
Let k = -0.0752 - 0.1448. Is 0 bigger than k?
True
Let m(f) = 4*f**3 + 25*f**2 - 2*f - 11. Let g be m(-6). Is g greater than 2/19?
True
Let o(n) = -n**3 + 2*n**2 + 4*n + 1. Let l be o(3). Let x be ((-8)/(-12))/(4/210). Suppose l*q = -q - x. Is q at most as big as -6?
True
Let o be 48/14*21/2*1. Which is bigger: o or 30?
o
Let k be 1/(-9) + 338/(-117) - -92. Which is smaller: 88 or k?
88
Suppose 15 = -3*w + 6*w. Suppose 12 = -5*j + 37, 19 = -c + w*j. Which is greater: 3 or c?
c
Let y be 3/12 + 430/(-2040). Let g be 4/26 + 4/(-26). Which is smaller: g or y?
g
Let y = -70.01 - -70. Let d = 0.81 + y. Which is smaller: 3 or d?
d
Let d(r) = -3*r - 5. Suppose -2 + 0 = w. Let x be d(w). Let s = -4 + x. Is s < -3?
False
Let a = 49 + -46.7. Let n = 0.004 + 0.996. Are a and n unequal?
True
Suppose 12 - 98 = -91*q + 5. Let o be (44/30)/2 + -1. Is q > o?
True
Let m = 10 + -2. Suppose -r + 2*o = -1, -r + 4*o + 7 = m*o. Is 5/2 less than r?
True
Suppose 8 = 2*v, o + 0*v - 4*v = -44. Let u be 1/o + 2/(-8). Let n = 306 - 306. Which is bigger: u or n?
n
Let o = 14.6 + -14. Let h = o - 0.7. Which is greater: -18 or h?
h
Let u be -3*(6 + (-340 - -4 - -3)). Which is greater: 982 or u?
982
Suppose 34*d + 6*d = -8*d. Are d and 10/113 equal?
False
Let a = -318 + 316. Which is smaller: 14 or a?
a
Suppose 2*u = 4*u + 2. Let f be 638/24 + (-2)/8. Let h = -26 + f. Is u at least as big as h?
False
Suppose -2*a = c + 3*a - 28, -3*c + 5*a = 16. Suppose 0 = 4*h + c*x - 91, -2*h + 4*x + 6 = -12. Is h greater than 21?
False
Let r = 0.42 - 0.59. Let d = 0.17 + r. Which is greater: -2/131 or d?
d
Let k = 9/284 + -525/23288. Which is smaller: k or 0?
0
Suppose 422*x + 46 = 420*x. Let c be ((-6)/8)/(105/56). Which is smaller: c or x?
x
Let z be (5031/(-416) + 12)*-11*4. Is z greater than or equal to 4?
True
Let c(j) = -j - 4. Let m be (-4)/(-8)*-6 + -5. Let i be c(m). Let h be 30/35*14/i. Which is smaller: h or 2?
2
Let q(f) = f**2 - 15*f - 15. Let u be q(16). Suppose -2*y + 5*s = -2, 3*y + 1 - 4 = 3*s. Is y bigger than u?
False
Let k(r) = 2*r**2 - r - 2. Let z be k(3). Let i = -13 - z. Which is bigger: i or -25?
-25
Let w = -6 + 8. Let i(a) = 6*a - 2. Let p be i(w). Let j = p - 10. Which is bigger: j or 6/5?
6/5
Let s be (-32)/24*(-6)/4. Suppose 0 = s*k + 3*q + 4, 0 = 3*q + 2*q + 10. Is 1 bigger than k?
False
Let g(l) = 5*l**2 - 2 - 5*l**2 + 7*l - l**2. Let d be g(6). Let t = 2/219 - 665/876. Which is smaller: d or t?
t
Let o(j) = j**2 - 2*j + 2. Let n be o(0). Let q(m) = 9 + 2*m - 6*m**n + 0*m + m**2 + 4*m**2. Let x be q(4). Are 1/7 and x nonequal?
True
Suppose 66 = -2*n + 4*l, 2*n - 10*l + 5*l + 66 = 0. Which is smaller: -225/7 or n?
n
Let s = 1.36 - 0.56. Is s smaller than -18?
False
Let n = -1.5 - -1.427. Let a = n - -0.063. Let d = 0 + 0. Is a greater than or equal to d?
False
Let r = -53 - -9. Let g be ((-2)/r)/((-7)/4). Which is smaller: g or 1?
g
Suppose -211*h - 130 = -201*h. Let u(t) = -t**2 - 3*t + 5. Let a(q) = 6*q**3 - q**2 - q. Let z be a(-1). Let y be u(z). Is y less than h?
False
Let i = -197 - -193. Is i <= 9?
True
Let h be -4 - 9/((-18)/8). Suppose h*c = 5*c. Let x be (0/2)/(c + -1). Which is greater: x or 4/5?
4/5
Let y = -7840 + 62641/8. Let d = -4743/64 - -45349/704. Let o = d - y. Which is greater: 1 or o?
1
Let o(j) = 61*j + 274. Let t be o(-6). Is t bigger than -97?
True
Let a = 59.587 - -1.773. Let i = a + -61. Do 1 and i have the same value?
False
Suppose 14*o - 62*o - 384 = 0. Let d = 4 + -10. Which is smaller: d or o?
o
Let u = 1.2 - 1. Let y = -2848.07 - -2848. Which is greater: u or y?
u
Let y(k) = -k**3 + 15*k**2 - 21*k - 116. Let x be y(13). Which is smaller: -311/6 or x?
-311/6
Let c(j) = j**2 + 11*j + 11. Let k be c(-10). Let g(x) = -x**2 + 2*x. Let u be g(k). Which is bigger: u or -6?
u
Let n be 17/51 + (7/(-3) - 2). Let u be (-5 - 177/(-6))*n/(-2). Is u not equal to 49?
False
Let i be (0/(-1))/(-10 - -9). Suppose i = -0*b + 5*b + 125. Is -23 <= b?
False
Let g(k) = 8*k**2 + 5. Let i be g(-2). Do 40 and i have the same value?
False
Let l = 0.085 - 1.025. Let s = l - -0.14. Let a = 0.9 + s. Are -0.08 and a equal?
False
Let h(j) = 2*j - 26. Let b be h(11). Let k be 7/((-28)/8) - b. Suppose 4*c = 2 + k. Which is smaller: c or 3?
c
Let z = 3 + -2.5. Let a = 0.52 - -0.18. Let y = z - a. Does y = -0.2?
True
Suppose -2*v - 28 = -3*x, -5*v + 45 = 5*x + 40. Suppose -8 = -3*y + 5*y. Is y equal to v?
False
Let w(k) = -20*k**2 - 4*k - 32. Let a(g) = -7*g**2 - g - 11. Let q(b) = -17*a(b) + 6*w(b). Let i be q(-2). Suppose -2 = -i*m - 7. Is m equal to -2?
False
Let o(b) = -2*b**3 - 9*b**2 - 2*b - 3. Let d be (-1 - 0)/((-2)/(-8)). Let v be o(d). Let c = -11 - v. Which is smaller: 2/3 or c?
c
Suppose -2*z + 16 = 3*k, 3*k = 4*k + 3*z - 10. Suppose 4*d = 14 - 2, -3*i - 12 = -k*d. Suppose 4*q - 37 - 7 = i. Which is smaller: q or 10?
10
Suppose 0 = 2*m - 13 - 1. Let y = 16 - m. Suppose y = 6*l - 3. Which is bigger: l or -3?
l
Let n be 13 - (1 + -2)/((-10)/20). Suppose 8*z - n*z = 3. Which is greater: z or 2?
2
Let c be (1/547)/(2/(-10)). Which is bigger: c or 0?
0
Let w(i) = 3*i - 10. Let b be w(4). Let s be (-5)/5*(b + -1). Is -2/7 greater than or equal to s?
True
Let i = -75004 + 301679/4. Is i at least as big as 416?
False
Let g be 1/(50/(-2625)*6/4). Is g bigger than -3