*l - 7. Is p greater than f?
True
Let b(p) = -6*p**2 + 10*p + 23. Let x(f) = 8*f - 3*f - 10*f - 5*f - 22 + 7*f**2. Let n(h) = -6*b(h) - 5*x(h). Let v be n(12). Is -2 < v?
False
Let a = 11 - 6. Let n(g) = g**3 + 6*g**2 - 8*g - 2. Let o be n(-7). Suppose -3*p - p - 12 = -2*q, o*p = 3*q - 17. Which is smaller: q or a?
q
Let t(d) = d - 1. Let m be t(6). Suppose 8 = -m*a + 23. Let c be (-3)/(2/(-1 + a)). Are -4 and c non-equal?
True
Let m(l) = -2*l + 4*l - 3 - l**2 + 2*l. Let x be m(3). Let i = 367/5 - 73. Which is smaller: x or i?
x
Let h(t) = -338*t - 2. Let r be h(-1). Which is smaller: r or 337?
r
Let u be (1/2)/((-4)/288). Let c = -143/4 - u. Let i be 1 + 0 + -3 + -3. Which is smaller: c or i?
i
Let q be (-124)/217 - (-52)/42. Which is smaller: q or -2?
-2
Let x = 102 + -97. Let p be 3*4/(29 - x). Which is smaller: p or -5?
-5
Suppose 6*m - 4*m = 8. Suppose -3*n = n + m. Which is smaller: n or 0?
n
Let j be (2/4)/((-2)/16*-4). Let y = -62/11 + 1973/352. Which is greater: y or j?
j
Let p be ((-1230)/(-287))/((-18)/28). Is p less than or equal to -7?
False
Let o(b) = -b**3 + 3*b**2 + 9*b - 4. Suppose x = -2 + 6. Let d be o(x). Let n = 23 - d. Which is smaller: n or 13/2?
13/2
Suppose 4*o - 4 = 0, -o = -w - 0*o. Let u = -6/13 - -36/247. Is w less than u?
False
Let k be 17541/63 + 18 + 6/(-14). Is 296 at least k?
True
Let k = -7 - -16. Suppose 0 = -7332*m + 7350*m - 216. Which is bigger: m or k?
m
Let j = -2241609156 - -3201018052271/1428. Let n = j - 23/1428. Let q = 124 - n. Is 1 smaller than q?
False
Suppose -8*j + 150 = -6*j. Which is bigger: 74 or j?
j
Let n be ((-2)/3)/(4*(-4)/912). Let d = n - 37. Is 1 > d?
False
Let z be 2 + -1 - (-7 + 2268/284). Let v = z + -76/355. Which is greater: v or -1?
v
Let o = -149 - -212. Suppose 4*b - 7*b = o. Is b > -20?
False
Let g = -284/15 + 58/3. Let u = 4348.1 + -4348. Is u equal to g?
False
Let u be ((-27)/33 - -1)*1. Let r = -4 - -3.7. Let v = r - -0.5. Is u > v?
False
Suppose 5*a - 2*k - 3*k - 340 = 0, 5*a - 340 = -2*k. Let n be (-280)/a - (-16)/4. Does 2 = n?
False
Let h be (1/8*2)/(133/(-76)). Are h and 2/5 unequal?
True
Let h = 337/2 - 164. Let p = 9 - h. Let c = -5 + 10. Which is greater: c or p?
c
Let v be (-2)/11 - (-11)/(-121)*-794. Which is greater: v or 4?
v
Suppose -4*i = n + 84, 7 = -4*n - 9. Let p be 2/(-9) - (-142)/(-9). Let q = i - p. Is q less than -3?
True
Let p(l) = 30*l - 1019. Let j be p(32). Which is smaller: -66 or j?
-66
Let d be (308/156)/(-1) + 2/(-6). Which is bigger: 1 or d?
1
Let d be 10/25 + 36/10. Suppose 8 - d = 2*y. Suppose -y*b + 1 = -b. Are b and 7/4 equal?
False
Suppose 0 = -2*u + 788 - 172. Let z be (-3)/(-7) + (-244)/u. Which is smaller: 1 or z?
z
Let f = -1.2 + 0.2. Let x = 595.4 - 621.4. Is f smaller than x?
False
Let u(y) = -4*y + 105. Let a be u(26). Let i be (-2)/((24/(-567))/(-4)). Let z be 4/18 - (-96)/i. Are a and z non-equal?
True
Let m be ((-57)/(-12) + -5)/(3/(-39)). Which is bigger: m or 3?
m
Let o be ((-13)/(-78))/((-5)/(-30)). Is 11/13 greater than o?
False
Let j be (-12)/45*-519 - 6/(-2). Let h = j + -141. Is h bigger than -47?
True
Let k = 206 + -205.4. Which is smaller: k or 17?
k
Let k be ((-1)/(-4))/(5 + (-150)/36). Let x = -29/30 + k. Which is smaller: 9 or x?
x
Suppose -7 = -k - 10. Suppose 6*l + 70 = 4*l. Let q be l/20 - (-12)/16. Is q at least as big as k?
True
Let a = 363.2 - 367. Which is bigger: 0.3 or a?
0.3
Suppose -2*n - 62 = 4*u, -2*n + u - 53 = -4*u. Let f = n - -34. Is 0.2 not equal to f?
True
Let z(o) = -o**3 + 11*o - 6. Let l be z(3). Which is greater: l or -1/267?
l
Let y be (9/(-6))/(6/(-20)). Suppose 0*n - 1 = -n, 19 = -3*b - y*n. Let z = 13 + b. Is 0.1 greater than z?
False
Let b = 6.3 - 6. Suppose -n - 16 = -4*j, -45 = -5*n - 0*j - 5*j. Do n and b have different values?
True
Suppose 3*p - 3*a - 18 = 0, 2*p + 2*a + 4 = -0*p. Let r be (-1)/(9/(-6) + p). Which is greater: r or 0?
0
Let n be (-19)/(-7) + 16/56. Suppose -n*w + 101 = 4*b, -2*b + w = -w - 40. Is 23 < b?
False
Suppose -19*j + 14*j - 9 = 2*s, 3*s - 3*j + 3 = 0. Is 11.8 < s?
False
Let x be (4/8*-6)/1 - -2. Let c = -1308 - -9202/7. Let v = c + -7. Which is smaller: v or x?
x
Let g = -10/9 - -29/18. Suppose -13*r + 32 - 786 = 0. Let c = r + 60. Do c and g have different values?
True
Suppose -4*t + 273 = 9*t. Are 31 and t non-equal?
True
Let s = -1182 - -1228. Which is smaller: 233/5 or s?
s
Let i(j) = j**2 - 7*j - 8. Let n be i(7). Let x be n/(-80) - 33/30. Which is bigger: x or 90?
90
Suppose 5*c = -4 + 24. Suppose 0 = q - 2*q, 2*q - 42 = -j. Suppose 45 = k + j. Which is smaller: k or c?
k
Let c = -2244 - -17983/8. Which is bigger: 3 or c?
c
Let o be ((-2)/4)/((-2)/(-4)). Let i be (-5)/(-19)*(-308)/(-70). Let w = i - 311/285. Which is smaller: o or w?
o
Let c(z) = 3*z**2 + 37*z + 73. Let k be c(-12). Is k <= 62?
True
Let f = 45 + -44. Let l be 730/30 - (f + 2/(-3)). Which is greater: 23 or l?
l
Let i(k) = -k**3 + 22*k**2 - 34*k - 131. Let f be i(20). Which is greater: f or 2?
2
Let i = -34 + 38. Suppose i*u - 36 = -3*c, 2*c = 5*c + 2*u - 30. Is 9 < c?
False
Suppose 3*o - 25 = 5*h, 4*h - 4 = -0*h. Let r = 197 - 188. Let l = r - o. Which is smaller: l or -1/5?
l
Suppose 0*w - 396 = -11*w. Is w at least 40?
False
Suppose 3*c - 2*h - 119 = 2*h, -2*h = 5*c - 155. Let s be (2 - (0 + 0))*c/(-22). Are s and -24/11 non-equal?
True
Let k be (-2)/(13/((-52)/(-1864)))*2. Is 1 smaller than k?
False
Suppose -5*s - w = 115, -11*s - 2*w = -12*s - 23. Which is bigger: -52 or s?
s
Let d be (-440)/117 - 18/(-81). Which is bigger: -3 or d?
-3
Let z(o) be the second derivative of -o**5/20 + 5*o**4/12 - o**3/6 - 11*o**2/2 - 8*o. Let q be z(4). Which is bigger: q or 10/11?
q
Let w = -8 - -7. Let v be 78/(-806)*1/(3/2). Which is smaller: v or w?
w
Suppose -2*g + 76 = 5*t, g = 5*t + 4*g - 79. Suppose z = 4*f - 138, -4*f - 393 = 4*z + 159. Let c be z/(-10) - 12/(-60). Is t at most c?
True
Suppose h - 3*v - 130 = -3*h, -3*v = 3*h - 108. Suppose 4*k + 50 = -4*g + 6*k, -4*k + h = -2*g. Does g = -29/3?
False
Let j = 47.889 - -0.111. Let q = j + -46. Which is greater: q or 1/12?
q
Let k be -1 - (2 - (-30)/(-3)). Is 7 less than or equal to k?
True
Suppose 0 = 16*m - 64 - 48. Which is bigger: m or 82/13?
m
Let o be 8 - (-36)/(-5) - (-866)/(-1120). Is o <= 1?
True
Let k(h) = h - 5. Let m be k(11). Suppose 2*j - 56 = -m. Suppose j = -5*x + 4*r, -4*x + 5*r + 5 = -5*x. Are -3 and x unequal?
True
Let o = -20 - -28. Suppose 4*k - k + 2*z - o = 0, -4 = -5*k - z. Suppose n - 4*r = -r - 8, k = 4*n - r - 1. Is n smaller than 1?
False
Let a = -28 + 29.7. Let h = a + 0.3. Let f be 90/63 - (-108)/(-105). Do h and f have the same value?
False
Let p = 535/26 - 144/13. Which is bigger: p or 3/14?
p
Suppose 0 = -4*n + 12, 4*t + 2*n - 67 = 5*n. Which is smaller: -0.01 or t?
-0.01
Suppose 4*c = 4*h - 36, 3*h = -0*c - 2*c + 2. Let p = -5400 + 5395. Is c less than or equal to p?
True
Suppose -3*u = -5*b - 8*u, b - u + 10 = 0. Which is smaller: b or -3?
b
Let j = 7 - -24. Let b = j - 34. Which is smaller: 1 or b?
b
Let z = 5/29 - -43/87. Which is greater: -0.35 or z?
z
Let k = -11 - -9. Let w = -32.6 + 1.1. Let r = w - -32. Is k less than r?
True
Suppose 0 = -5*p - 15, -2*p = -3*r + 1 + 8. Which is bigger: -2/197 or r?
r
Let r = 21 - 29. Let f = r - -13. Let w = -8 + f. Is 0.1 equal to w?
False
Let f = 4 + -3. Let d = f + -4. Let y be 1/(-3) - 13/d. Which is smaller: y or 5?
y
Suppose -132 = 3*k + 3*s, 3*s + 0*s = -5*k - 214. Is k less than -31?
True
Let w = 0.13 + 0.03. Let o = w - 0.36. Which is bigger: 5 or o?
5
Let y = -38 - -37.43. Let s = y + -23.43. Let h = 25 + s. Which is smaller: h or 1/2?
1/2
Suppose 0 = -38*u + 92*u + 702. Do -156/11 and u have different values?
True
Let y(x) = -x**2 - 34*x - 138. Let p be y(-4). Which is smaller: p or 8?
p
Let t be 4*-1*2*8/64. Which is greater: t or 7?
7
Suppose 45 - 21 = 6*w. Is 5/18 less than or equal to w?
True
Let y(c) = 2*c - 26. Let q = 38 - 27. Let g be y(q). Is g > -1?
False
Let c = 4 + 1. Suppose 120 = -3*j + j - 3*i, j + 47 = c*i. Is j smaller than -58?
False
Let j be (-30)/(-9) - (-8)/12. Suppose 0*r + u = -j*r - 8, -5*r - 5*u = -5. Let c = r + -3. Is c equal to -7?
False
Let l(j) = -2*j**2 - 27*j + 29. Let g be l(-14). Are 180/11 and g nonequal?
True
Suppose 131 