*2 + 8*n + 12. Let v(l) = l**2 + 3*l + 4. Let j be v(-3). Suppose 3*s + 11 + j = 0. Let h be c(s). Is -1 >= h?
True
Let p = 13140974/1245 - 10555. Is 0 < p?
False
Let o be (-4)/6*3/(-8). Suppose 0 = -m - 5*v + 124, -2*m + m - v = -120. Let x = m - 118. Is x at least as big as o?
True
Let g = 3.14 + 6.86. Which is bigger: g or 96?
96
Let z = 910 - 698. Is z <= 425/2?
True
Suppose 2*b - 2*w + 8 = 0, -6 = 3*b - 4*w + 4. Let h be -1 + 35/10 + b/4. Are 1 and h nonequal?
False
Let i = -285 + 141. Let h = i + 143. Which is bigger: h or -0.7?
-0.7
Let t be (-84)/(-34) + 1*-2. Suppose 0 = 3*k + 2*k - 4*s + 15, -s + 6 = k. Which is bigger: k or t?
k
Let b(s) = s**3 - s. Let i be b(-1). Let k be (6/(-645))/(12/30). Are k and i unequal?
True
Let i = -0.131 - -20.131. Let m = -5 + 5.1. Which is greater: m or i?
i
Let x = 45/7 + -769/112. Which is smaller: x or 0?
x
Let k = -25 - -19. Let o(w) = -w**3 - 4*w**2 + 11*w - 7. Let p be o(k). Which is smaller: p or -7/10?
p
Let k = 1 + -35. Let a be 2 + 14/k*5. Which is smaller: a or 0?
a
Let w = -16.5 - -15. Let o = w + 2.9. Is 1/4 >= o?
False
Let i = 14 + -24. Suppose -247*n = -223*n + 192. Is n < i?
False
Let i = -145/32 - -21477/4768. Which is smaller: i or -1?
-1
Let k be (-18 - -39) + 1*4. Suppose -2*x = -7*x + k. Suppose x*i + 8*r + 15 = 3*r, -4*r = 8. Do i and -3/5 have different values?
True
Let w be (-81)/38*(-12)/42. Let v = -2/19 - w. Which is smaller: -1 or v?
-1
Let w(o) = -o**2 + 15*o - 9. Let d be w(8). Is 14 at most d?
True
Let b = 272 + -586. Let v be 2/11 + b/2090. Which is greater: v or 1?
1
Let z(b) = b**3 - b**2 + 3*b - 6. Let i be z(2). Which is bigger: 3 or i?
i
Let g be 2 + (-4140)/(-21) + 11/(-77). Which is smaller: 399/2 or g?
g
Let g be (-544)/204*(-18)/(-1864). Which is smaller: g or -1?
-1
Suppose -3*j - 3*j - 18 = 0. Let m(y) = -y**2 - 5*y - 4. Let z be m(-3). Suppose -3*x - 8 = 2*p + 4, -z*p = -4*x - 16. Which is greater: j or x?
j
Let p(r) = r - 11. Let f be p(6). Let t(a) = -a**2 + 4*a - 2. Let o be t(4). Let j be (-6)/(2/(4 + o)). Is f less than j?
False
Let l(f) = 14*f - 260. Let a be l(20). Is 0.07 equal to a?
False
Suppose 0 = -u - 17 + 20. Suppose 2*j + 25 = 5*h, -u*j + 0 + 5 = h. Which is smaller: -3 or h?
-3
Let h be 4/((-65)/(-20) - 3). Let d = 15 - h. Which is bigger: d or 1/37?
1/37
Let f be (696/36 - 20) + 4/6. Which is smaller: f or 6/17?
f
Let f = 8 + -1. Let d = -29 + 34. Is f at least as big as d?
True
Let r be 13210/(-75) - 12/(-90). Which is smaller: -527/3 or r?
r
Let h be ((-13)/(-13))/((-1)/(-2*1)). Suppose 0 = -5*x - r - 20, h*x + 16 = -2*x + 3*r. Is -30/11 at least as big as x?
True
Suppose -235*j + 233*j = 140. Which is smaller: -67 or j?
j
Let z = 46 - 41. Let s be 1/z - (-101)/20. Which is bigger: 6 or s?
6
Let x = -6 + 32. Suppose -5*a + 21 = x. Is 3/16 equal to a?
False
Suppose -4*r = -3*b + 17, -r + 6*r - 4*b + 22 = 0. Let q = r - -2. Let j be 90/(-306)*((-16)/(-30))/(-4). Is j greater than q?
True
Let g = -391/4 - -2149/22. Let d = 4 + -4. Which is smaller: g or d?
g
Let x = -3 - -11. Let m be (4 + 11)*(-3 - x/(-3)). Let p be 1/(((-21)/18)/7). Which is smaller: m or p?
p
Let m = -145.83 - -4.83. Which is smaller: m or 1?
m
Suppose -2*j + 5 = -3. Suppose -3*l = -j*l + 1. Let s = 26/63 + -5/9. Is l bigger than s?
True
Suppose 0 = 122*o - 124*o - 14. Is -4/3 < o?
False
Let o(x) = 2*x**2 + x + 5. Let s be o(0). Suppose 2*i = s*y - 35, 5*i - 40 - 3 = -2*y. Is 8 smaller than y?
True
Suppose 842 = 3*r + 6*y - 4*y, y + 2 = 0. Let c = r - 2259/8. Which is smaller: 0 or c?
c
Let g = -9 - 22. Let s = 30.9 + g. Is -24 < s?
True
Let a be (-2)/(-5) + -1*66/15. Let i be -3 + -4 + 3 - a. Let l = 81/29 - 3. Which is greater: i or l?
i
Let u = 205/13 + -3339/65. Is u < -35?
True
Let b = 32.35 - 23. Let w = -9 + b. Let n = w + -1.35. Do n and -0.05 have different values?
True
Let t = -23.48601 - -0.01601. Let q = t + 0.47. Let f = 22.7 + q. Which is smaller: f or -2?
-2
Let t be -2*((-4)/4 - 26). Suppose -143 + 583 = 8*u. Is t at most u?
True
Let q = -0.193 - 0.197. Is q >= -1/3?
False
Suppose -9*n = -13*n. Is -9/85 smaller than n?
True
Let b(h) = 25*h - 525. Let s be b(-15). Is -899 greater than s?
True
Let q = 32 - 31.88. Let a = -0.02 + q. Which is greater: -2/5 or a?
a
Let i = -4 - -3.84. Let g be ((-36)/21)/(6/21). Let q be ((-2 - g)/(-4))/(0 - -1). Is i > q?
True
Suppose 5*d + 0*g + 133 = g, 93 = -3*d + 5*g. Is d >= -132/5?
True
Let i(j) = j + 30. Let l be i(-28). Is 3/2 less than or equal to l?
True
Suppose 4*n + 5*z = -71, -n = n + 5*z + 43. Suppose -2*v - 2*o + 28 = -4*v, 0 = -3*v + o - 44. Which is bigger: v or n?
n
Suppose 3 = -2*r + 7. Let f be 70/(-42)*(-18)/35. Which is bigger: r or f?
r
Suppose -9 + 45 = 3*x. Suppose -10*m - 6 = -x*m. Is m at most -1?
False
Let j = 8.6 + 47.4. Let k = j - 65. Is -6 > k?
True
Let d = -13901 + 7476. Let t = d + 13141/2. Let m = t + -10763/74. Is -1 equal to m?
False
Let p(u) = -u**3 - 22*u**2 - 18*u + 45. Let o be p(-21). Let q be (670/(-15))/(12/o). Do q and 1 have different values?
True
Suppose -7*w - 199 = 151. Let h be -3 + (-6)/6 - w/(-1). Is -54 bigger than h?
False
Suppose 4*q = 2 + 2. Let c be 2 + (-1)/2*14. Let x be 12/c + (3 - 1). Is q greater than x?
True
Let g = 72 - 72.012. Is 1/3 greater than g?
True
Let b be 18/63*2 + (-24789)/(-21). Which is greater: 1182 or b?
1182
Let x(y) = -y**3 - 12*y**2 + 9*y + 18. Let q = -142 - -129. Let t be x(q). Is 69 smaller than t?
True
Let l be (-24)/368*(-1)/3. Let v = 5 - 6. Which is greater: v or l?
l
Let r be 24/(-37176)*(-2 - -2 - 2). Is r at most as big as -1?
False
Let r be 1/(11/(-13574)) + 8. Is r >= -1226?
True
Suppose 2 = -4*m + 2*c, m - 11 + 29 = 4*c. Is 13/22 != m?
True
Let g(d) = -8*d - 47. Let z be g(-8). Is z smaller than 5/9?
False
Suppose q - 218 = -213. Suppose -3*j = -3*b + 3, -4 = -4*b - 6*j + 2*j. Which is smaller: q or b?
b
Let x be ((36/6)/6)/(2/(-2)). Which is smaller: -2/69 or x?
x
Let g(x) = 22*x + 469. Let v be g(-20). Suppose -3*i + 32 + 52 = 0. Which is bigger: v or i?
v
Let g(u) = -u**3 + 3*u**2 - u - 1. Let m = -100 + 102. Let b be g(m). Are b and 1/60 equal?
False
Suppose 192 = -46*o - 84. Is -32 less than or equal to o?
True
Let w = -6/7 + 1. Let f be (-4)/(-10) - (-15)/25. Are w and f equal?
False
Let m = -84 - -86. Let g be ((2 - -5) + -6)/(m + -1). Are -1/33 and g equal?
False
Let n(z) = -2*z**3 - 15*z**2 - 8*z - 6. Let y be n(-7). Suppose 2 + y = -3*d. Which is bigger: -1/124 or d?
-1/124
Let a = 35.1 + -35.88. Which is smaller: a or -10?
-10
Suppose -3*u + c + 108 = 0, -4*c - 76 = -3*u + 41. Let g = u - 57. Is -107/5 smaller than g?
False
Let a = -115463/5 + 23092. Let k = 4 + 0.3. Let i = k + -4. Do i and a have the same value?
False
Let w(r) = -r**2 + 9*r + 14. Let a be w(10). Suppose a*l + 7 = 5*p + 2, -2*p + 2 = -l. Which is smaller: l or 2/11?
l
Suppose 2*z + z = 0, 4*z = -5*g + 20. Let o be (-4)/(-32)*g*-92. Is -46 at least as big as o?
True
Let f(q) = -q**3 + 17*q**2 + 17*q + 5. Let h(k) = -k**3 - 9*k**2 + 7*k - 12. Let y be h(-10). Let x be f(y). Which is bigger: x or -62/5?
-62/5
Let y(i) = i**2 - 18*i - 25. Let k be y(20). Suppose -18*b + 18 = -k*b. Suppose -2 = -v + 4*o, -3*v - 2*o = -6*o - 14. Is v <= b?
True
Let t(y) = -y**3 - 7*y**2 - 6*y + 4. Let v be t(-6). Suppose -9*x = -v*x. Let o be ((-5)/((-1830)/24))/(-2). Is x smaller than o?
False
Suppose 3*f - 80 = -92. Let y(a) = 2*a + 4. Let p be y(-4). Is f at most p?
True
Let z be (-59)/(-413) - (-1990)/(-14). Is -142 < z?
False
Let p be (-5 - -3)*(18/(-12))/(-3). Which is smaller: p or -0.468?
p
Suppose -4*j - 3*l - 3 = 0, 3*j + 4*l - l = -3. Let y = 21/10 - 8/5. Is y < j?
False
Let d = 4 - 20. Suppose 25*r - 26 = -r. Which is bigger: d or r?
r
Let c = -140 - -1961/14. Suppose -4 = 12*u - 10*u. Is c at least u?
True
Let h = 3 - 4. Let t = -4 + h. Let d = -4.3 - t. Does 1/4 = d?
False
Let p = 16 + -31/2. Let w = 609 + -95611/157. Let m = w - 320/471. Which is smaller: m or p?
m
Suppose 0*u + 10 = -5*u. Let o(y) = 4*y + 1. Let f = -3 - -2. Let p be o(f). Is u at most p?
False
Let c = 403 + -54. Which is greater: -1/3 or c?
c
Let r = 14.47 + -131.47. Which is smaller: 1/2 or r?
r
Let w = 169 + -167. Let t = 4 + w. Let z = 1 - 1. Is z < t?
True
Let h(z) = z**3 + 12*z**2 - z -