 (-24)/(-11) - 8/44. Let p be k/2*2 - 23/5. Which is greater: p or w?
p
Suppose -32 = 3*n - 32. Let o = 3.48 - 3.7. Is o less than n?
True
Suppose 5*v = 3*v + 16. Suppose -7 + v = -o. Which is greater: 4/13 or o?
4/13
Suppose 3*p + 475 + 14 = 0. Which is bigger: -166 or p?
p
Let g(f) = -6*f + 3*f - f**3 - 9 + 8*f**2 - 2*f. Let c be 544/85 - 3/(-5). Let y be g(c). Is y >= 7?
False
Let s(m) = -13*m - 104. Let f be s(-8). Are f and 2/35 equal?
False
Let f = 63 - 33. Suppose 0 = 4*x - 2*z - f, -27 = -x - 2*x + 3*z. Is x at least 6?
True
Let c = 40 + -154. Let g = -103 - c. Which is smaller: 0.06 or g?
0.06
Let j be (-81)/135 - (-1)/10. Are j and 150 equal?
False
Suppose 0*l - 31 = 2*l - 5*n, 3*n + 15 = -3*l. Let w(u) = -8*u + 5. Let a be w(3). Let c = 9 + a. Which is bigger: l or c?
l
Let c(z) = 6*z**3 + 2*z**2 - 2*z + 6. Let f be c(2). Let o be f/14 + 15/(-105). Is o less than 4?
False
Suppose 4 = -p + 3*p - 4*l, -l = p + 13. Let k be 66/p + (-12)/(-48). Suppose -z = s + 2*s + 24, 4*s = -z - 32. Is s > k?
False
Suppose 5*v = -2*r - 7, 4*v + 2*r = -3 - 1. Let u = -58.8 - -57.9. Does u = v?
False
Let n = 0.206 - -0.794. Are n and -72 equal?
False
Let z = -2/53 - -61/212. Let l = -2.83 - -1.82. Let u = l + 1.31. Is u equal to z?
False
Suppose 0 = 3*b - 2*t - 449, 33*b + 2*t = 34*b - 155. Which is greater: 149 or b?
149
Let n = 428 - 430. Which is bigger: 6 or n?
6
Let u = -352251 + -44512. Let s = -39280231/99 - u. Let l = 59/9 + s. Is 0 less than l?
False
Suppose -5*p - 51 = -2*p. Let w = -2 + p. Suppose -2*j - 45 = 3*m, -j = -5*m - 0 + 3. Are j and w equal?
False
Let j(a) = -a**3 + 12*a**2 - 18*a - 3. Let u be j(8). Is 114 < u?
False
Let i(z) = -49*z - 291. Let t be i(6). Is t bigger than -1753/3?
False
Let h(w) = w**2 + w + 3. Let m be h(0). Suppose 2*b = 5*b + m. Is b > 4/25?
False
Suppose 4 = 4*n, n = -2*u - 2 + 3. Which is smaller: 5/23 or u?
u
Let a = -314 - -283. Which is smaller: -151/5 or a?
a
Let m = 14 - 30. Let k be ((-3)/(23 - -1))/((-232)/m). Which is smaller: 0 or k?
k
Let x = 1/427 + -168241/1281. Let w = -132 - x. Which is smaller: w or 11?
w
Let l = -0.059 - 3.941. Let p be 2/6 - (-42)/(-18). Is l at least p?
False
Suppose 0 = -12*h - 1006 + 8446. Are h and 622 nonequal?
True
Suppose 0 = -10*g + 12 - 2. Let j be (-108)/26 - (-20)/130. Let n be (-5)/2*j/14. Which is bigger: g or n?
g
Let i = 126 + -125. Which is greater: 7/41 or i?
i
Let l be (-2)/(-6)*912/4. Suppose 0*s - 4*s + l = 0. Are 20 and s unequal?
True
Suppose -13*z + z = -96. Suppose z - 20 = 12*b. Which is smaller: b or -6/19?
b
Let i be (-69)/27*3 - -7. Which is smaller: i or -123?
-123
Let y be (-2)/6*(-3)/(-4). Let b = 111.728 + -1.128. Let r = 109 - b. Are y and r non-equal?
True
Let t be ((-3)/6)/((-1)/(-12)). Let q be (t/(-4))/((-126)/8). Which is smaller: 1 or q?
q
Let s = 2.96 + 0.04. Let a = s + -4. Let l = -0.686 - -0.086. Is l > a?
True
Let h be 1 + 1 + (-4 - -5). Suppose -3*b - 60 = h*t, -3*t + 2*b - 50 = -0*t. Which is smaller: -16 or t?
t
Let u be (-1)/(-2) - (-27)/6. Let q be 4*(9/u)/(-3)*5. Is q > -3?
False
Let q(m) = 36*m + 245. Let x be q(-6). Is 194/7 equal to x?
False
Let d be ((-3)/(-77))/((-2160)/(-756)). Is d less than 0?
False
Let j = -678 - -677.73. Which is greater: 1 or j?
1
Let j = -1056555779/333 + 3172837. Let z = 60/37 + j. Is -1 greater than z?
True
Let g = -0.42 - 0.08. Let n(j) = 2*j**2 - 31. Let i be n(4). Which is smaller: i or g?
g
Let l = -665 - -662. Let c = -0.02 - 0.04. Let s = 2.06 + c. Are s and l equal?
False
Let t = -1246139/35290450 + -4/54293. Let l = t + 21/50. Is 1 <= l?
False
Suppose -4*i - 6 = -2*r + 5*r, 15 = -5*i. Suppose 0 = 3*g - u + 3*u - 70, 68 = r*g - 4*u. Which is bigger: g or 25?
g
Let p(r) = -12*r**2 + 452*r - 32. Let q be p(38). Which is smaller: q or -186?
-186
Let g = -2/7 - -1/28. Let w(y) = -y**3 - y**2 + 2. Let x be w(-4). Let v = -49 + x. Which is bigger: v or g?
v
Let r be ((-14)/49)/((-2)/160*-4). Which is greater: r or 2?
2
Suppose -5 = -2*s - 11. Let y be 12/5960*(0 + -2). Let i = y + -8919/5215. Which is smaller: i or s?
s
Let n = 276 - 301. Let l(k) = -3*k**2 + 4*k + 5. Let t be l(4). Are n and t non-equal?
True
Let f = 96 - 22. Let h = f - 78. Which is smaller: -3 or h?
h
Let g = -47251316495346961/21489 + 2198860649819. Let o = g - 15/14326. Let a = -400 + o. Which is bigger: 0 or a?
a
Suppose -7*m - 80 = -24. Let o = -27 + m. Is -35 at least o?
True
Let q = -29 - -31. Let b be (66/18)/(q/4). Which is smaller: b or 6?
6
Let n be 9/((-114156)/(-16))*(-7)/6. Is -1 > n?
False
Suppose -56*t = -27743 - 26857. Is t <= 974?
False
Let l be (-3)/(-81)*(0 - (-6)/30). Is l at least as big as 1?
False
Let s = 105 + -105. Let q be (-10)/(-15)*(-42)/(-40). Which is smaller: q or s?
s
Suppose -4 = 2*d + 2*f, 4*d + 0*d = -2*f + 2. Suppose -2*w = -8*n + d*n + 105, -5*w = n + 276. Which is smaller: 0.2 or w?
w
Let u = -19 - -32. Is -8 at least as big as u?
False
Suppose -29 = -r - 477. Is r greater than -448?
False
Let y = -149 - -209. Is y <= 61?
True
Let c = 0.074 - -0.126. Let u = 0.09 + 0.01. Let d = 1.1 - u. Which is smaller: d or c?
c
Let y(z) = -z + 14. Let x be y(14). Suppose -w - 3 = -x*w. Let q(d) = d**3 + d**2 - 5*d - 2. Let m be q(w). Which is smaller: -6 or m?
-6
Let h(z) = -z**2 + 4*z - 2. Let k be h(4). Let y(w) = 3*w**2 - 3*w. Let u be y(2). Let l be (k/u)/((-2)/6). Which is smaller: l or -1/17?
-1/17
Let l(i) = i**2 - 15*i + 1. Let d be l(9). Let p = d - -9. Which is greater: p or -45?
p
Let w = 60 - 24. Let a = w - 26. Is a greater than 13?
False
Let n be 324/48*48/(-2). Does -2 = n?
False
Suppose -3*s - 72 = -7*s. Suppose 0*a = -3*a + s. Let r be (-56)/22 - a/(-3). Which is smaller: r or -1?
-1
Let q be 16/(-24) - 41/(-3). Let g = 12 - q. Is -3 < g?
True
Let k be -23 + -8*(-15)/10. Let t(b) = -b**3 + 2*b**2 - 2*b + 2. Let u be t(3). Which is smaller: u or k?
u
Let r = 22 - 57. Let o be (-7)/(r/(-10)) - -14. Is o equal to 14?
False
Suppose 40 = -5*x + 5. Let z = -9 - x. Let s = -43 + 44. Is s != z?
True
Suppose -5*t = -2*t - c - 36, -12 = -t - 2*c. Let g = t + -9. Let q be (14/(-63))/(4/g). Which is smaller: 0 or q?
q
Let t(a) be the second derivative of -4*a**3 - 9*a. Let f be t(-1). Which is greater: 23 or f?
f
Let c(m) = m - 1. Let t be c(5). Suppose 0 = t*o + 4*w - 8, 0*o = -3*o - 4*w + 8. Suppose o*g = -g. Is 1 not equal to g?
True
Suppose 0 = 4*s - 5*l - 4, -5*l + 28 = 5*s - 22. Let m be ((-2)/s)/(-1)*3. Let h = 2/133 + -181/3192. Which is smaller: h or m?
h
Let g = -0.316 + 66.916. Let o = -67 + g. Is 4/5 at least as big as o?
True
Let v = -9.692 + -0.308. Which is smaller: -3 or v?
v
Suppose 8*y - 5*y = 4*c - 35, -y - 3*c = -10. Suppose -5*h + 84 = -5*m + 19, 0 = -h + 4*m + 16. Let s be 7/(-1)*h/14. Does y = s?
False
Suppose -12 = -3*o - f, 0 = -o - 4*o + 5*f. Which is smaller: 10 or o?
o
Let q = -573 - -5747/10. Which is smaller: q or 1?
1
Let z = -0.03 - 0.09. Let q = z - -1.32. Let m = 1.3 - q. Which is greater: m or -3?
m
Let f(g) = -g**3 + 3*g**2 + 7*g - 10. Let a be f(7). Is a equal to -157?
True
Let l = 18 + -18. Which is bigger: 5/43 or l?
5/43
Suppose 0 = d + 25 - 5. Let k be 3/5 + (-128)/d. Let i(t) = t - 5. Let x be i(k). Which is bigger: 1/2 or x?
x
Let u = -1.742 + 1.272. Which is greater: u or 0.15?
0.15
Let n(g) = -g + 0*g**2 + 1 - 1 + g**2 + 3. Let i be n(3). Do i and 9 have the same value?
True
Suppose 2*m - 2*j + 34 = 2*j, 0 = -4*j + 12. Let v = 12 + m. Is -0.3 not equal to v?
True
Suppose 16*m = 25*m. Does -1/89 = m?
False
Let f be 247/(-60) + (-15)/(-75) + 4. Is f < -2?
False
Let a be ((-36)/24)/(0 + 3/(-10)). Suppose 9*g + s = 4*g + 5, -a = -5*g - 5*s. Is -3/29 at least as big as g?
False
Suppose -3*l = -2*l. Let c = -2177783/34 + 128315/2. Let g = c - 105. Which is greater: g or l?
g
Let c = -533 + 4259/8. Suppose -4*n + 2*j + 3 = 13, 2*j - 5 = -n. Which is greater: c or n?
c
Let a = -76 - -68.4. Let j = a - -7. Which is greater: -1/3 or j?
-1/3
Let g = 9/10 + -139/110. Let l = 10 + -6. Suppose -5 = -3*v + 2*b + l, 9 = -3*v - 4*b. Is v != g?
True
Let h be ((24/21)/((-12)/(-42)))/6. Which is greater: h or 499?
499
Let p be (39/18)/(-13)*-6. Let l be p + -1 - 8/(-76). Are l and -2/11 unequal?
True
Let i = 213 - 125. Do i and 88 have the same value?
True
Let y be 