et x be f(5). Suppose 22*t - 16*t = 90. Is t greater than or equal to x?
False
Let v be 6/9*(-249)/(-2). Let m = -912/11 + v. Let b = -123 - -124. Is m smaller than b?
True
Suppose 0 = 4*q - 90 - 22. Let g = 3 + 1. Suppose 4*m = -q + g. Is m less than -6?
False
Suppose -2*x = 3*x + 75. Let a = 4046 + -4058. Which is smaller: x or a?
x
Let x(s) = -2*s**2 + 8*s - 4. Let d be x(3). Suppose d*z - 43 = -0*z - 3*n, 0 = z - n - 9. Which is bigger: z or -1?
z
Let u(v) = -v**2 - 11*v. Let g be u(-6). Let p be 39/12 + 2/(-8). Suppose 4*c = -r + 37, 5*c = p*r - r + g. Which is smaller: c or 7?
7
Suppose 10*p = -12*p - 22. Is p equal to -20/41?
False
Suppose 0 = 11*q + 29 + 4. Let g be ((q - -2)/(-3))/(2/(-78)). Let j be 12/(-1) - (-4)/(-2). Are j and g nonequal?
True
Suppose 44*t - 3 = 47*t. Which is smaller: t or -2/83?
t
Suppose -6 = 3*s + 81. Suppose 0 = 4*p - 2*p + 56. Is s greater than or equal to p?
False
Let z = -9 + 13. Is z >= 43/9?
False
Suppose -2*v - 4*s + 29 = -7*v, 25 = -5*v + 5*s. Let j be -3 - (v - 3)/2. Suppose b = -3*g + 14, -j*g = -b - 18 + 2. Is b smaller than -2/25?
True
Let n = -63.05 + 65. Let z = n - -0.05. Which is smaller: z or -8?
-8
Let n be -2*(-1 - -2) - -2. Suppose n*c - 3*d + 129 = -4*c, -4*c - 154 = 2*d. Let i be 45/c + 1/4. Do i and -6/11 have the same value?
False
Suppose -4*u + 11 = 23, 3*u = 5*d + 761. Is -155 smaller than d?
True
Let a be (4/242)/(112/(-84)). Which is bigger: a or 1?
1
Let z(t) = -t**3 + 17*t**2 + t + 216. Let r be z(18). Which is smaller: -88 or r?
r
Let i = -43.2 - -43.1. Does -122 = i?
False
Suppose j - 5 = 6*j. Which is greater: -2/57 or j?
-2/57
Let x = -1.194 + 0.194. Which is smaller: -4/5 or x?
x
Let r(n) = 3*n**2 + 8*n - 12. Let i be r(5). Do 102 and i have different values?
True
Let a = 5.456 + -5.6. Let u = a - -0.044. Let r = 17 - 27. Is r > u?
False
Let h = -36 + 37. Let i be 8/(-6)*(-9)/2. Let w(j) = -j + 6. Let z be w(i). Is h not equal to z?
True
Let b = 6.54 + -6.34. Does -171 = b?
False
Let a be (5/10 + -1)*-8. Suppose d + 2*r + 2 + 12 = 0, 0 = -2*r - 8. Let u be a/(d - (3 + -7)). Which is smaller: u or -4?
-4
Let p be (6/9)/(1/69). Let s = -328/7 + p. Let l = -16/35 - s. Is l greater than -1?
True
Let x(v) = v**3 - 10*v**2 - 10*v + 7. Let q be x(11). Suppose 8 = -4*f, -3*k + 82 = -5*f + 21. Which is smaller: q or k?
k
Let f be (-2387)/155 + (-6)/10. Is f < -1?
True
Suppose -2 = -8*l - 2. Which is smaller: l or 1?
l
Let r = -196/5 - -1272/35. Which is smaller: r or -4?
-4
Suppose 9 = -5*s - 3*n, 0*n + 2*n = -6. Let g be (1*-3)/(3/(-2)). Let v = g + -3. Which is bigger: s or v?
s
Let s(c) = -c**2 - 30*c - 175. Let z be s(-6). Is -40 equal to z?
False
Suppose -84 = -6*o - 8*o. Let u be (-2)/3*((-264)/(-40) - o). Let q = 0.12 + -0.1. Is q bigger than u?
True
Let t be 452/(-339) - (-1214)/6. Which is bigger: 2 or t?
t
Let r be ((-9315)/(-234))/((-1428)/(-16)). Let n = -120/91 - r. Which is smaller: -1 or n?
n
Let m = 235 + -365. Which is bigger: m or 0?
0
Let q be (-1 + 0)/((-2)/(-64)). Let d(h) = -36*h - 2551. Let t be d(-70). Is t > q?
True
Let m(u) = -2*u**2 + 22*u - 45. Let x be m(6). Which is bigger: 16 or x?
16
Suppose 300 = 7*d + 5*d. Are d and 122/5 non-equal?
True
Let u = -7/30 + 9/10. Let d(b) = -b**2 - 12*b - 15. Let c be d(-11). Let s be 3 - ((-12)/c + 0). Are u and s nonequal?
True
Suppose -12*h + 2*h = -260. Suppose 0*w = 2*w - h. Which is bigger: w or 14?
14
Let u be (-1779)/(-6) + -4 + -2. Let l = 297 - u. Which is bigger: 8 or l?
8
Let t = -13 + -51. Let n = t - -65. Let p = 0 - 0. Which is bigger: p or n?
n
Suppose 0 = 3*v + 2*j + 2, 7*v + 5*j + 5 = 2*v. Suppose v = 10*b - 13*b. Let w(d) = -2*d**2 + d. Let l be w(1). Is b smaller than l?
False
Let z be 4/(-14) + 19/(-7). Suppose -3*k = -3*u - 33, -u + 1 = -6*k + k. Which is smaller: u or z?
u
Let u be 17/11*(-3 + 4). Let n = u - 215/132. Which is greater: n or -3?
n
Let h(r) = -r + 1. Let q be h(1). Suppose 0 = -18*y - 257 + 293. Which is greater: q or y?
y
Let n = -0.4 - 0.9. Let i = -0.3 - n. Let p = 10926/13 + -840. Do p and i have the same value?
False
Let f be 3 + -6 + 6/(-2). Suppose 0*q = 4*q - 2*g - 42, 0 = -5*q + 5*g + 65. Let a = q - 14. Does f = a?
True
Let f(h) = h**2 - 7*h - 11. Let j be f(10). Which is greater: 22 or j?
22
Let l(t) = -t**2 + 143. Let g be l(0). Let s be g/65 + (-1)/5. Suppose 2*r + a = 5*a - 18, -s*a = r - 3. Which is bigger: r or -11/4?
-11/4
Suppose -81 = -4*w - 0*w + 5*l, -3*w + 32 = 2*l. Let i be 14/w*(-27)/(0 - -1). Which is greater: i or -29?
i
Suppose 31 = 3*f + 2*f + 3*b, -4*f = -2*b - 16. Let c(w) = -2*w**2 - 3*w + 3*w**2 - 4*w + 9. Let i be c(f). Which is bigger: 0 or i?
0
Let f be 362/(-18) + ((-232)/72 - -3). Which is smaller: f or -21?
-21
Let w = 273 + -273. Is 1/51 at most w?
False
Let q = -155 + 154.9. Is -265 < q?
True
Let u = 882 - 665. Is 217 at least as big as u?
True
Suppose -z + 8 = 2*b + z, -4*b + 2*z = 8. Let n be (-1 - b)/((-10)/(-10)). Let s be (4 + 6/(-2))*n. Is s != -2/37?
True
Let h = 38.1 + -2.1. Let r = -38 + h. Is r equal to 0.5?
False
Suppose 39*j - 48*j + 999 = 0. Which is greater: j or -4?
j
Let a be 278/139*57/(-2). Which is greater: -59 or a?
a
Let w(u) = u**3 + 13*u**2 - 4*u - 7. Let r be w(-13). Are r and 44 equal?
False
Let k = 453/4 - 113. Let c = -0.06 - 0.02. Let q = c - -0.68. Is q greater than k?
True
Suppose 20 = 5*a - 10*a. Let o be -2*7 - ((4 - -1) + a). Which is greater: o or -14?
-14
Let o = 4 - -7. Suppose 2*w = 5*t - 35, -t - 2 = 2*w + 3. Suppose 4*n + t = -o. Do -4 and n have the same value?
True
Let k be (-1)/((4/(-10))/((-4)/10)). Let t be 1/7*k/3*3. Is t >= -2/9?
True
Let m be (-1)/((-25 - -23)/((-32)/2)). Is -0.3 at least m?
True
Let j = -0.15 - 6.85. Let b = j - -24. Is 0 less than b?
True
Let l = 1823 - 1823. Do l and 4/13 have different values?
True
Let h = -7 - -5. Let w be ((-2)/12)/(h/(-4)). Let q = 25114 + -25113. Is q at least as big as w?
True
Let w = 1940 + -17459/9. Which is bigger: -1.3 or w?
w
Let u be (-30)/(-180) + (-770)/12. Which is smaller: u or -68?
-68
Let j be (-1)/(-1*(-3)/(-12)). Let l = -2 + j. Let d = 1 - -1. Is d greater than or equal to l?
True
Let l(m) = -5*m**3 - m**2 + 2*m - 1. Let k be l(1). Suppose 2*t = -6, 14*a - 9*a + t = 22. Which is smaller: a or k?
k
Suppose -q = 5*q - 24. Suppose 0*r + 3*s = q*r + 1913, r + 482 = 2*s. Let c be 2/(-7) - 17/r. Is c greater than 1?
False
Let n(t) = -t - 3. Let c be n(-3). Let y = -32567/23 - -1416. Are y and c unequal?
True
Suppose -6*c + 9 = -9. Suppose -5*y + 27 = 4*l, y + l = 3*l - c. Suppose 0 = -p + y*p. Which is bigger: 3/5 or p?
3/5
Suppose 0 = -2*f + 4*f - 20. Let a be 32/f*(-5)/(-2). Suppose -3*p - 30 = -a*p + 3*x, 2 = -p - x. Is p at most 4?
True
Suppose 69*r = 66*r. Let m = 1/4 + r. Is 24 bigger than m?
True
Let n = -10 + -5. Let x = n - 7. Let i = 15 + x. Do i and -2/3 have different values?
True
Let l = 30 + -31. Let m be 20/30*1/2. Let r = -2/3 + m. Is l smaller than r?
True
Let d(v) = -4*v**2 - 1. Suppose 3*n - 5 = -z, -3*z + 2 = -0*n - 4*n. Let f be d(n). Let p be f/2*(-24)/(-70). Is -2 smaller than p?
True
Let r = -48 + 85. Let d = -113/3 + r. Is d bigger than -1?
True
Let s be ((-8391)/(-3003) - 4/(-26)) + -3. Is 1 at least as big as s?
True
Let b = 271 + -267. Is 90/31 greater than b?
False
Let g = -3 + 2. Let n = -220 - -334. Let w be -4 + 3/n*148. Which is smaller: g or w?
g
Suppose -2*v + 3*v - 62 = 2*w, -4 = -2*v. Let a be (-2)/(-21)*w/(-12). Is a bigger than 0?
True
Suppose z + 5*d + 187 = 0, -2*z - 2*z + d - 664 = 0. Are z and -166 nonequal?
True
Suppose h + 4*y + 5 = 20, 5*h = y + 54. Is 14 greater than or equal to h?
True
Suppose -118 = -35*f + 5622. Which is bigger: f or 165?
165
Suppose -19 = y - m, -4*y + 2*m - 67 = 7*m. Which is smaller: y or 3?
y
Suppose -2*s - 27 = -5*s. Suppose 10 = -0*h + 2*h. Suppose -h*q + s = -4*q. Which is bigger: q or 10?
10
Let d = 38.6 - 38. Let u = -1.4 - d. Let r = -268/7 - -38. Is u greater than r?
False
Let a = 598/17 + -35. Suppose 5*j + 52 = 92. Suppose -6*x = 2 - j. Is a smaller than x?
True
Let v = -16 + -1. Let n = -4 - v. Suppose -n*x = -8*x. Is x greater than -3/4?
True
Let p(w) = w - 7. Let y be p(14). Suppose -5*o - 3 = y. Is -6 <= o?
True
Let t = -0.1 - -0.3. Let n = 1.8 - 1. Let z = n +