 -5*t. Which is greater: t or 16/15?
t
Suppose -3*c - 6 = 0, -5*c - 27 = 2*o - 33. Let a be 144/270*(-2)/o. Is a > -4?
True
Let r be 3/(-12) + 51/300. Let f = -68165 - -6816333/100. Let y = f + r. Are -2 and y non-equal?
True
Let n(g) = -112*g**3 + 5*g**2 - 39*g + 66. Let q be n(2). Are q and -894 equal?
False
Suppose -96 = 4*b - 12*b. Suppose -5*q + 182 - b = 0. Let c = -35 + q. Which is bigger: c or 4?
4
Suppose 64*l + 42*l = -l + 321. Which is smaller: 2191 or l?
l
Let i = 9.032 - -0.068. Let f = i - 9. Let u = -913 + 913. Is f at least u?
True
Suppose -3432 = 4*d + 4*v - 504, -d - 735 = -2*v. Is d bigger than -732?
False
Let g be 2/(-9) - (87/(-27) - 0). Suppose -15 = 3*a + 2*x + x, -4*x = -g*a - 1. Are a and -2 non-equal?
True
Let i = -33237 + 22464. Is i at least -10773?
True
Let z = -18.864 + 3.864. Is -63 >= z?
False
Suppose 26*r + 1421 = 1447. Is r != -28/353?
True
Let s be (156/(-15))/((-26)/(-10920)*21). Is -163 < s?
False
Let c be ((-96)/2)/(42/756). Which is smaller: c or -866?
-866
Suppose -3*t + 12 = -5*d, 22 = -5*t + 42. Suppose -17*i + 14*i = d. Do -1/86 and i have the same value?
False
Let w = 10425.1 + -10425. Is w > 2102?
False
Let b = 2619/7 + -375. Let y = -3.01 - -63.01. Let f = -60.4 + y. Is f not equal to b?
True
Let z(c) = c + 3. Let a be z(-8). Let p be a/(-4)*(486/120 + -4). Is p greater than -1?
True
Let m = -9086 - -9087. Is m less than 33/907?
False
Let d = -545.99 - 3.01. Let a = d - -572.3. Let k = 23 - a. Is 0.17 at most as big as k?
False
Suppose 2*a + 1232 = q, -4*q + a + 1013 + 3929 = 0. Which is greater: 1237 or q?
1237
Let r = 4767 - 6732. Is -1964 less than r?
False
Let y be 7*1 - (36 + -3)/11. Let i be (52 + -22)*y/30*6. Suppose -4*k = -7*k - 6. Is k >= i?
False
Suppose 0 = -16*i + 11 - 27. Let f be i/(-7 - (-396)/21). Which is bigger: f or -1?
f
Let g be ((-6)/(-4))/(3/(-56)). Suppose 3*w + 2*s = s + 11, 4 = -3*w + 2*s. Suppose -w*f - 107 = 2*f - p, 3*p + 111 = -4*f. Which is smaller: g or f?
g
Suppose 0 = -3*w, 4*w + 534 + 303 = i. Which is greater: 835 or i?
i
Let m = 103 + -64. Suppose -j - 47 = -m. Which is smaller: -66/7 or j?
-66/7
Let d = -5846807/61 - -95855. Is d less than or equal to 6?
True
Let w = -14 - 7. Let l be (-328)/14 + (-196)/343. Which is smaller: l or w?
l
Suppose -151 = -6*w + 197. Let x = -59 + w. Let s = 1/1201 - 21631/15613. Do x and s have different values?
True
Let i = -17.46 + 911.46. Let m = 911 - i. Is m < 1.1?
False
Let c be (4/(-108))/((-12)/8). Suppose -2*u = 2*o - 5*o - 5, 0 = 2*o - 2*u + 4. Is o greater than c?
False
Suppose -4*j = -2*c + 94, 5*c + 0*j - 3*j = 256. Suppose -q + 3*q + y = 9, -2*q = -4*y - 4. Suppose -l - q*i = 0, 4*l - 19 = i - c. Is l at most as big as -5?
True
Let c be 1/(44/8 + -3)*10. Suppose c*j + b + 1 = 0, 4*j - b = 2 - 9. Let f be j/((-1 - -3)/(-82)). Is f < 39?
False
Let p(h) = h**3 + 8*h**2 - 8*h + 12. Let n = 24 + -33. Let j be p(n). Suppose y + k - 10 = 2*y, -4*y - j*k - 68 = 0. Which is greater: y or -13?
-13
Let x(z) = 172*z + 688. Let u be x(-4). Is u at most as big as 3/73?
True
Suppose 4*n = 4, -43 = 3*h + 27*n - 22*n. Is 64 < h?
False
Let q(a) = 7*a**2 - 8*a + 344. Let w be q(18). Is 1/4 less than or equal to w?
True
Suppose 78*r = -3*r + 90831 + 69954. Which is smaller: r or 1991?
r
Suppose -3*x - 58 = -z, -4*z - 3*x + 0*x + 157 = 0. Let m = 44 - z. Which is smaller: m or -7/23?
-7/23
Suppose 3*l - 7*l = 4. Suppose 3*m = 2*d - 9, -2*d + 19 = 3*m - 8. Let v(i) = i**3 - 10*i**2 + 9*i - 1. Let n be v(d). Is n <= l?
True
Let t be 10/16*(-501)/(-6097170). Which is smaller: 1 or t?
t
Let c = -18 - -826. Is c bigger than 803?
True
Let u = -3.15 + -3.85. Let a be 4 + -8 + 9 + -4. Which is greater: u or a?
a
Suppose -4*o = 3*z + 799, o + 0*o - 3*z + 196 = 0. Is -192 != o?
True
Suppose -2268*y = -2267*y + 5*c - 23, 5*y = 2*c + 7. Which is smaller: 199/75 or y?
199/75
Let a = 2.5679 - 3.14. Let l = -62.6079 + a. Let w = -63 - l. Which is smaller: -2/5 or w?
-2/5
Let g(l) = -8*l - 50. Let d be g(-6). Let z be (-3)/((-2)/2) + (-3)/(-3). Let a be (-1)/((-15)/(-108)*z/20). Which is smaller: d or a?
a
Let u = -321 + 406.6. Let a = u - 85. Let d = -75 - -80. Which is smaller: a or d?
a
Let m = -5825 + -15249. Is -21073 less than m?
False
Let w = 0.6 + -0.37. Let v = 0.0282 + 0.1018. Let s = w - v. Is s >= -0.001?
True
Let v be (-12 - 1) + 21008/400 - (2 + 1). Are v and 36 non-equal?
True
Suppose -2*b - 2*w - 2 = -w, -6*b - 5*w - 6 = 0. Which is smaller: b or 825?
b
Let r be (45/(-12))/((-6)/48). Suppose 0 = l + 8*l - 243. Is l less than or equal to r?
True
Let r = -34 - -41. Let l = r - 12. Let v = -117.8 + 118. Which is smaller: v or l?
l
Let l = -482914 + 14438645688/29899. Which is greater: l or -1?
l
Let t = 35.9 - 22.9. Let h = -2.5 - 19.5. Let k = h - -20. Which is smaller: k or t?
k
Let k(g) = -7*g + 14. Let z be k(2). Suppose 2*b = -3*w - 46, 3*b + 0*b - 4*w + 86 = z. Are -5 and b equal?
False
Let y be (-3 + -4)*1/(-1). Let c be (-3 - -8) + (1 - y). Let u be (-39)/(-15)*c + (0 - -2). Which is smaller: u or 8?
u
Let q be 1071/(-15) - 3/5. Let o be (4/(-6))/(16/q). Let u be (-17)/51*o*2*1. Do u and -7 have the same value?
False
Let b = 5.9476 + -5.866. Which is smaller: -0.07 or b?
-0.07
Suppose -2*q - 18 = 3*o - 2, 3*q = -4*o - 22. Let m = -945 - -946. Which is smaller: q or m?
q
Let i = 50321/48 - 2097/2. Is 1 greater than i?
True
Suppose -3*y - i - 6 = 4, 0 = -3*y + 3*i + 6. Let w be y*(-1 - 22)*2/4. Suppose 8*p + w = -73. Does -14 = p?
False
Suppose -3*q = 4*b + 806, 0 = -5*q - 8*b + 3*b - 1335. Let u = q - -140. Is u equal to -123?
False
Suppose 60*q - 187612 = -7*q - 57*q. Which is bigger: 1 or q?
q
Let i = 64.64 + 34.36. Which is bigger: -1/9 or i?
i
Let z = 8 - 9. Let s(j) = -11*j**2 - 9*j - 17. Let w be s(-6). Let t = w - -3952/11. Which is smaller: t or z?
z
Let a be (-6)/18 + (-5 - (-232)/84). Which is smaller: a or 2.7?
a
Let r = 798 - -1031. Which is greater: -1 or r?
r
Let l(w) = -878*w + 32484. Let f be l(37). Let q be 4/(-14) + (-146)/126. Are f and q nonequal?
True
Let o(s) = -9*s**3 + 5*s**2 + 11*s - 3. Let f(t) = -19*t**3 + 8*t**2 + 20*t - 6. Let l(u) = 3*f(u) - 5*o(u). Let v be l(1). Is v <= -1.6?
True
Let u = 100 + -124. Let p be ((-4 - -1)*-1)/((-108)/u). Let y = -9.08 - -0.08. Which is smaller: p or y?
y
Let u(b) = 74*b**3 + 2*b**2 - 8*b - 11. Let q be u(-1). Which is bigger: q or -139?
q
Suppose 10*k + 14306 = 14346. Which is smaller: 1/523 or k?
1/523
Let y be -37 + (5 + 0)*-1. Which is smaller: y or -53?
-53
Let u be ((-8)/(-230))/(17/(-5) - 25). Which is bigger: u or 1?
1
Let q(h) = -h**2 + 19*h + 41. Suppose 2*p = 40 + 16. Suppose 5*c + p = 8, 0 = t - 4*c - 37. Let s be q(t). Are -4 and s unequal?
True
Let y(t) = -t - 13. Suppose 7*i = -d + 4*i + 2, -5*d - 80 = -3*i. Let c be y(d). Let f be -3 - (8 - c) - 0. Is f not equal to -13?
True
Let z = 28382 + -26981. Are z and 1401 non-equal?
False
Let k(z) = z**2 + 2. Let r = -82 + 84. Let t be k(r). Let v be (-1 + t/4)*(2 + -4). Is -7 < v?
True
Let i be 67130/111112 - (-3)/(-12). Let k = 1/817 - i. Let u = -0.06 - -1.06. Which is greater: k or u?
u
Let i be (-45 - 155)*(-22)/8. Let b = i - 930. Is b not equal to -379?
True
Suppose 9*d - 23*d = -14. Let w be 26/(2 + -1) + 2. Let k be 7/w - (-246)/(-1048). Is k less than d?
True
Suppose 23*v - 27*v - 4440 = 2*i, -i - 3*v - 2219 = 0. Is i equal to -2223?
False
Let y(o) = -o**3 - 19*o**2 - 22*o - 76. Let f be y(-18). Let h be (1335/(-10))/(-3)*f. Which is bigger: -176 or h?
-176
Let o = -251 + 269. Suppose -16*w + o*w = -2. Let t = 9 - 18. Which is greater: t or w?
w
Let h = 178242515/3466 + -51426. Which is greater: -1 or h?
h
Let w = 9395 - 13247. Let a be (12/9)/((-8)/w). Let r be (-3)/9 - (-202)/a. Are r and 1 equal?
False
Let b = 2158 + -2115. Suppose 21 = g - 21. Is g at most b?
True
Let v be 14/((-9)/(-12) - 1). Let l = -346985/2 + 173438. Which is bigger: l or v?
l
Let n = 392 - 1179. Let f = -81060/103 - n. Which is bigger: 1 or f?
1
Let s(o) = -18*o - 1098. Let y be s(-62). Is -16 at least as big as y?
False
Let b be 11/(-57) - (-9)/(297/(-11)). Let d be (4/(-114))/(4/3). Let w = d - b. Is 1/6 greater than or equal to w?
False
Let c be (2 - -3 - 4)/(10/(-290)). Let f(u) = -u**2 + u - 1. Let q be f(6). Which is 