 = 108 - 266. Is p <= -79?
True
Suppose 5*n - 62 = -12. Suppose -3*g = 3*w - 6, 2*w - 3*g = 3*w - n. Let t(z) = -z + 2. Let h be t(4). Is w smaller than h?
False
Let m(a) = a**3 - 9*a**2 - 11*a + 9. Let i be m(10). Which is bigger: -0.1 or i?
-0.1
Let o = 24 + -27. Which is smaller: -14/9 or o?
o
Let x(p) = 8*p - 3. Let c(y) = 3*y - 1. Let h(g) = 11*c(g) - 4*x(g). Let f be h(-3). Which is smaller: -2/3 or f?
f
Suppose -4*g - o = -28, -3*g + 5*o = 3*o - 10. Let x = -1 + 4. Let p = g - x. Is p < 4?
True
Suppose y = -5*d + 63 + 142, 0 = 5*d + 5*y - 185. Is d smaller than 41?
False
Let d be (-6)/(-10)*1/3. Suppose -5*g - 5*n - 5 = 0, -2*g + 0*g - n = 2. Let y = 2 + g. Which is greater: d or y?
y
Let p be ((-6)/9)/(2/6). Let x be (0 - p)/(-8)*-1. Let b = 1 + -2. Is x >= b?
True
Let o = -23 + 47. Suppose -2*d - 5*q = -q, 5*d = 2*q + o. Is d at most as big as 4?
True
Let a(f) = -69*f**2 - 2*f + 3. Let l be a(1). Is l > -68?
False
Suppose -21*v + 24*v = 120. Which is bigger: v or 119/3?
v
Suppose 496 = 4*u + 112. Let f be 2/(-3) + 40/u. Are 1 and f non-equal?
True
Let n be 0*(0 - 1) + 0. Let j(y) = -y**3 + 3*y**2 + y - 3. Let a be j(3). Suppose -4*s + r + 2 = a, -3*s + 10 = -8*s - 5*r. Is s smaller than n?
False
Let u = -4.1 + 3.1. Which is smaller: 7/8 or u?
u
Let r = -16 + 20. Let p be 6/9*(-36)/r. Is -1 != p?
True
Let n(v) = v**2 + 7*v + 11. Let r be n(-5). Which is bigger: r or 1/132?
r
Let w(a) = a**2 + 5. Let r be w(0). Suppose 2*y + r = -5*v + 2*v, 3*y + v = -4. Is y greater than or equal to -1?
True
Suppose -m = 1 - 2. Are m and 1/11 nonequal?
True
Let c = -3 + 8. Let v = -7 + c. Is v at least 1?
False
Let b = -7 + 7. Let i(k) = 2*k + 8. Let c be i(-6). Which is bigger: c or b?
b
Let w be 116/(-28) - 10/(-2). Which is greater: 1 or w?
1
Suppose -7*k + 2*k + 5 = 0. Which is bigger: k or 15/7?
15/7
Suppose -3*b = 12, -5*g - b + 41 = -0*b. Let f = g + -15. Let t = -4 - f. Is 1 > t?
False
Let d = 3507/7514 - 3/578. Is 1 at most as big as d?
False
Let l(k) = k**3 + 3*k**2 + 1. Let g be l(-3). Let v = 3 - 3.3. Which is smaller: g or v?
v
Suppose 4*f = -61 + 13. Which is greater: -14 or f?
f
Let i = -2.01 + 2. Let n = -2.01 - i. Let g be (-27)/6 - (-3 + -1). Which is greater: n or g?
g
Let j(c) = -c**2 - 6*c + 2. Let z be j(-6). Let h = z - 3. Is -1/10 >= h?
True
Let r(j) = -2*j + 7. Let k(z) = -3*z + 8. Let s(o) = 3*k(o) - 4*r(o). Suppose -4*c = -3*n - 8*c + 3, -2*n + 4*c - 18 = 0. Let u be s(n). Is u at most 1?
True
Let p be 6/(4/8*1). Which is smaller: 11 or p?
11
Suppose w = -3*k + 59, 4*k = -4*w + 80 + 4. Let s be 16/(-16) + k/17. Let v be 1/1*-1 - -2. Is v != s?
True
Let q(z) = -6*z + 6. Let o be q(3). Is -13 greater than o?
False
Let a = 241/3 + -80. Which is bigger: a or -1?
a
Let i be 1 + -89 + (5 - 4) + -5. Do i and -92 have different values?
False
Suppose 2*d = -5*m + 31, 3*d = 3*m + 4*d - 18. Suppose -8 = m*y + 2. Let j = -4.2 + 4. Is j equal to y?
False
Suppose 4 - 9 = u. Let h be (-6)/(-15) + 36/10. Suppose -t - 16 = 3*q, 0 = 2*t - h - 0. Are u and q unequal?
True
Let z = -33 + 28. Which is bigger: z or -4?
-4
Let h be (1 - 6/9)*6. Let w be (0 + h)*(1 - 2). Let g = w + -2. Is g at least as big as -3?
False
Let f be 524/(-84) - (10/(-6) - -2). Which is greater: -8 or f?
f
Let j = -152.3 - -152. Which is bigger: -11 or j?
j
Let m(y) = y - 5. Let v be m(4). Suppose -4*i + 5*u = -7, -5*u - 9 = -4*i + i. Let s be (8/(-48))/(i/(-9)). Is s not equal to v?
True
Suppose -2*b = -2*y + 3*b + 20, 4*y = -3*b - 12. Is 4 less than y?
False
Suppose -4*z - v = 9 - 4, 5 = 3*z - v. Is -0.05 > z?
False
Let k(q) = -21*q**3 - q**2 + q. Suppose h + 5 = 6*h. Let c be k(h). Let n be c/(-28)*(-8)/(-3). Which is greater: 1/2 or n?
n
Let i(v) = -v - 4. Let x(b) = -b**2 + b - 1. Let c be x(3). Let u be i(c). Let a(r) = -r**3 + 2*r**2 + 4*r - 3. Let y be a(u). Which is bigger: y or -3/4?
y
Suppose 4*i + 3*c = -10, 4*c - 2*c = 4*i + 20. Which is bigger: i or -14/3?
i
Let a = 143/5 + -469/15. Which is smaller: a or -4?
-4
Suppose u = o + 14, -2*o + 3*o + 50 = 5*u. Suppose -4*d + 5*c - u = -d, -2*d + 3*c = 6. Is -4 > d?
False
Let w = 4.2 - 4. Let b be (9/(-57))/(-1 + 2). Let g = -7/76 + b. Which is greater: w or g?
w
Let l be (-8)/30*(-6)/96*18. Is -2 >= l?
False
Let t be (2*(-3)/15)/((-4)/10). Which is smaller: -3/25 or t?
-3/25
Let o(b) = -b**2 - 9*b - 2. Let q(d) = 4*d**2 + 27*d + 6. Let c(p) = -7*o(p) - 2*q(p). Let w be c(9). Which is smaller: 3 or w?
w
Let g be 2/(-16) - (-25)/20. Which is smaller: 0 or g?
0
Let l be 0 + (-2 - -13*2). Is 23 greater than l?
False
Let f(o) be the first derivative of -o**3/3 + 3*o**2 + o + 1. Suppose -8*y + 10*y = 12. Let v be f(y). Is 1 > v?
False
Suppose -6 = 5*t - 1. Which is smaller: 1 or t?
t
Let g be (16 + 15)*(-2 + -1)*1. Which is greater: g or -92?
-92
Let x(k) = k - 12. Suppose 0 = 3*u - 2*d - 23, 4*d - 42 = -0*u - 2*u. Let m be x(u). Which is bigger: m or 0.4?
0.4
Let r be 24/16*(4 - 2). Suppose 0 = -r*v + x + 9, 3*v = 4*v - 5*x - 17. Is v at least 9/4?
False
Suppose 4*l - 27 = 5. Let u = -5 + l. Let h = -3 + u. Is h not equal to 0?
False
Suppose -3 + 1 = -2*m + 3*v, 3*m + 5*v = 3. Let i be (-6)/8*m/(-2). Let w = 0.1 + -0.2. Is i smaller than w?
False
Suppose -5*s = -2*s - 18. Let q(g) = g**2 - 8*g + 9. Let f be q(s). Is f > -2?
False
Let s be (-2)/12 - 445/(-150). Which is smaller: s or 3?
s
Suppose 6*u - u = 0. Suppose 2*f + u = 2. Let z(m) = -2*m**2 + m. Let h be z(f). Is h less than -1?
False
Let r be (-2)/7 - 32/(-63). Suppose -x + 3 = -3. Let y = x + -6. Which is bigger: y or r?
r
Let c be 6/4 - (-14)/4. Let r be 76/(-80) - (-1)/c. Which is smaller: r or -2?
-2
Suppose -4*a + 3*j = -2*j, -4*a = -2*j - 12. Suppose 0*l - 5*l - a = 0. Which is smaller: 1/4 or l?
l
Let u = -1.7 + -0.3. Is 3 greater than u?
True
Let x = -1.2 - -2.1. Let i = -9.9 + x. Let z = 8.8 + i. Which is smaller: 3/7 or z?
z
Suppose 4*p = -g + 18, -3*g - 3*p + 4 = -5. Let c = 7 + g. Is c > 5?
False
Suppose n + 5*c - 13 = 0, -n + 2 = -c + 7. Which is smaller: n or -3?
-3
Suppose u - 3*u = -6. Suppose y + 2*j + u = -4, 0 = 3*j + 3. Let w be (y - 2)*3/12. Is -1 at least as big as w?
True
Let j = 5 + -10. Let h(m) = -m**3 - 4*m**2 + 6*m + 2. Let o be h(j). Is o at least as big as -3?
True
Let u = -5.9 + 6. Is u less than -0.096?
False
Let w be (-2)/(-7) - 33/(-7). Let q be (-1)/(-3) - 28/(-6). Is w not equal to q?
False
Let h = -5197/3 + 1762. Suppose -3*t = 0, n - 5*t = 2*n - 30. Let f = h - n. Which is bigger: 0 or f?
0
Let k be ((-192)/(-9))/(2/3). Let u = -17 + k. Which is smaller: u or 14?
14
Let q(f) = -f**2 - 26*f - 26. Let d be q(-25). Which is greater: 29 or d?
29
Let z = -2 + 0. Let n be -2 + (-5)/((-25)/z). Let m = n - -2. Is 0 bigger than m?
True
Suppose 2*h + 3 = h, 5*n + 5 = -5*h. Suppose 3*z + 2 = 5, 5*z - 15 = -2*v. Suppose 5*i - 2*i - v*p = 1, -3*i - p + 7 = 0. Is n > i?
False
Suppose 0 - 3 = 3*k. Let u be -2 - -2*(-1)/k. Suppose u = -5*n + 1 + 9. Is 2 > n?
False
Let d be (-4)/(-6)*(-5 - -2). Let i be (-1 - (-13)/d)/6. Which is smaller: i or -1?
i
Let d be 1 + (16/(-12))/1. Which is smaller: 2 or d?
d
Let k be (8/(-252))/(1/(-7)). Suppose 2*n = -0*n. Suppose n = 3*d - d. Is k equal to d?
False
Let s(u) = -u**3 + 4*u**2 + 5*u. Let w be s(5). Let q = 26189/15 - 63559/30. Let d = q + 373. Which is smaller: d or w?
w
Suppose -7*s + 5*s = 26. Is -13 <= s?
True
Let z = -2461 - -228871/93. Is 1 bigger than z?
True
Let c(x) = x - 4. Let v be c(8). Suppose -23 = v*h - 7. Suppose -2*n = -4*n - 4*m - 30, -15 = 5*n - 2*m. Is h >= n?
True
Suppose -3*h - w - 5 = 3, 4*h = -4*w. Let r be -4*5/((-10)/h). Which is smaller: -9 or r?
-9
Suppose -2 = -0*p - 2*p. Let w be -3 - -3 - p*-2. Suppose -2*j + 8 = -4*c - 3*j, -w*j = 3*c + 1. Which is greater: -4 or c?
c
Let q be 26/(-10) - 6/15. Let d = 44 - 44. Is d less than or equal to q?
False
Let u = 4 + -5. Suppose -4*c - 76 = -4. Let k be (-8)/(-36) + 22/c. Is k at least u?
True
Let r = 588 - 5299/9. Are 0 and r non-equal?
True
Let v be 528/(-12)*(-1)/4. Which is greater: v or 15?
15
Suppose u + 6 = 3*t, u - 3*u = t - 2. Is u less than or equal to -1/5?
False
Let s = 270 + -190. Suppose -l + x + 6 = -11, -5*l + 4*x + s = 0. Suppose 0*t + 4*g + 13 = t, 3*t - 3*g = l. Which is bigger: -1 or t?
t
Suppose 2*t 