uppose 0*v + v = 0. Suppose -5*a + 2*b + 2 = -1, v = 2*b - 2. Let d be -2*(2 - a/(-1)). Is -5 greater than or equal to d?
True
Let l(m) = m**2 + 1. Let o(n) = -n**2 + n. Let t(y) = 3*l(y) + 4*o(y). Let a be t(5). Let u be -2*(-2 + (-5)/a). Is 1/5 != u?
True
Let t be -3 - (3/12 + -3). Is t at least -1?
True
Suppose -3*q - 7 - 2 = 0. Suppose 4*w + 4 = -4*l, l = -5*w + 2*l - 11. Is q less than w?
True
Let p be ((-4)/(-6))/((-1)/(-3)). Suppose -17 = -p*y + 3. Is y greater than 11?
False
Let l be (-9)/(-6) - (-31083)/(-19764). Let a = 1/732 - l. Is 1 less than a?
False
Let y = -946 + 3853/4. Let x = -19 + y. Let q(w) = w**2 - 2*w - 1. Let i be q(2). Which is greater: i or x?
i
Suppose -8 = y - 2*y + 4*g, 5*g = -2*y - 10. Suppose y = h - 2*h. Suppose 3*c + 3*q - q - 14 = 0, 3*c - 3*q + 6 = h. Is 3 > c?
True
Let f(i) = -i**2 - 11*i + 2. Let q be f(-9). Let m = -14 + q. Which is smaller: 7 or m?
m
Let f(o) = -o**3 + 8*o**2 + o + 12. Let k be f(8). Is 21 greater than k?
True
Let u be -2 - -3 - 12164/(-40). Let i = u + -306. Let z = i - -2/5. Which is smaller: z or 0?
z
Let h = -0.2 - 0. Let q = -1.2 - h. Suppose 0 = -3*m - 3. Is m at most q?
True
Let w = -140972 - -3665705/26. Let a = w - 33/2. Which is smaller: a or 1?
a
Let j be (8/(-9) + 14/63)/2. Which is greater: j or -4?
j
Let l = 76 - 75.59. Let m = 0.4 - l. Let z = 1.01 + m. Is z at least as big as 1?
True
Let w be 6/24*(1 + 0 + 3). Is w less than -2/159?
False
Suppose 4*j + 14 = -m - m, -5*j - 20 = 3*m. Let l = j + 2. Let w = -129/595 - -2/119. Which is smaller: l or w?
w
Let l = 0.59 - 0.6. Let q = -0.11 - l. Which is greater: 3/5 or q?
3/5
Let q(b) = -3*b + 2. Let x be q(2). Let j(i) = 6*i - 1. Let p(r) = r**2 - r. Let u(c) = -j(c) - p(c). Let z be u(-6). Which is smaller: z or x?
z
Let t = -15 + 12. Is t at most as big as 1?
True
Suppose -5*o + 2*s = -6, 5 + 4 = 4*o - 3*s. Let a = 1/6 - -13/12. Let i = -3/2 + a. Which is greater: i or o?
o
Suppose 5*d + 3 = 4*u + 25, 2*d + 5*u + 11 = 0. Let s be ((-3)/d)/((-1)/(-14)). Let b be (-4)/(-14) + 20/s. Which is smaller: 0 or b?
b
Suppose 0 = -5*r + 4*k - 2, -r - 13 = -0*r - 5*k. Suppose i - 17 = 3*m, -4*m + r*m - 6 = 2*i. Is 2/3 smaller than i?
True
Let d(a) = a**3 + 3*a - 3. Let j be d(0). Let b be 8/12 - 2/3. Let u be -5*(b - 2/(-5)). Which is smaller: j or u?
j
Let z be (1 - 1) + (4 - -19). Let y = z + -144. Let q = 1575/13 + y. Is 1 >= q?
True
Let k = -3 - -2.8. Let z = k - -0.1. Let n = z - -0.2. Which is smaller: n or -1?
-1
Suppose 0 = -u + 5*c + 10, 3*u + c + 5 = 3. Let i = 2 - u. Let h be 4/8 + 1/i. Is h smaller than 1?
False
Let d = -0.16 - -0.26. Let q(u) be the first derivative of -u**4/4 + 2*u**3/3 - 3*u**2/2 + 2*u + 1. Let h be q(2). Is h less than d?
True
Let p(u) = -u**3 + 5*u**2 + 6. Let s be p(5). Suppose s*a = a. Which is smaller: -1/5 or a?
-1/5
Let j = -40 + 43. Is j smaller than 7?
True
Let b = -99 - -100. Is 1/19 != b?
True
Let o be (4/6)/((-6)/(-18)). Let q be ((-9)/(-6))/(3/6). Is q smaller than o?
False
Let l(i) = 2*i + 4. Let f be l(-5). Let b = -135 - -127. Which is smaller: f or b?
b
Let y = 15 + -14. Which is greater: y or 2/17?
y
Let z = 93 + -557/6. Let h be 6/(30/(-8) - -3). Let d = 7 + h. Is z at least d?
True
Suppose 15 = 5*x - 0*x. Suppose -12 = 5*k - 5*r + 3, 2*k = x*r - 11. Suppose 15 = k*g + g. Which is greater: 4 or g?
g
Let g be -5 - ((-2)/4)/((-1)/(-2)). Is g at most -5?
False
Let l = -8 + 7.9. Which is greater: l or 3?
3
Let x be 1*(-1 - 1) - 1. Let t = 7 - 9. Which is bigger: t or x?
t
Let x = -1/2611 + 13117/161882. Does -1 = x?
False
Let l be (-14)/(-60) + 5/(-15). Let x = -2 + 1. Which is bigger: x or l?
l
Suppose 130 = -3*v - 5*m, 5*v - v = 2*m - 208. Is -49 less than or equal to v?
False
Let c(x) be the second derivative of x**5/20 + 7*x**4/12 - x**2/2 - 8*x. Let q be 1/(-1)*7*1. Let y be c(q). Is -1 at least y?
True
Let j = -39 + 505/13. Suppose 3*q = -q. Let l be (0 - q)*(3 + -2). Is l less than j?
False
Let j = 2 + -3.1. Is 0 < j?
False
Let z = 77 - 541/7. Let p(v) = -4*v - 1. Let w be p(-1). Suppose 0 = -a - w*a + 4. Which is smaller: z or a?
z
Suppose 2*l - 34 = 2*t, -2*t - 3*l = -2*l + 25. Let u = 8 + t. Is u < -4?
True
Let l(x) = x**2 - 7*x + 3. Suppose 2*z = -2*n + 6 - 2, 0 = -3*n - 15. Let v(j) = j - 1. Let h be v(z). Let c be l(h). Is c > -3/2?
False
Let v(z) = 47*z + 228. Let y be v(-5). Let t = -1180/3 + 387. Which is greater: y or t?
t
Suppose 0 = -2*i - 2. Let s = 2 - i. Let h = s - 2. Is h equal to 1?
True
Let u(k) = -2*k + 1. Let w be u(-3). Let j(y) = -y + 10. Let z be j(w). Is 1 >= z?
False
Let r = -4 - -6. Suppose r*g + g = 0. Which is greater: g or -1?
g
Let p = 139/37 + 11839/148. Let v = 83 - p. Is v equal to -2?
False
Let l(h) = 2*h**2 + h. Let q be l(-1). Let v = -0.49 - -0.54. Do q and v have different values?
True
Suppose 0 = -4*o - x + 3*x - 36, o = 2*x - 6. Suppose 4*m - 18 = -i + 3*i, -5*i - 5*m - 60 = 0. Are i and o equal?
False
Let m(i) = -i**2 + 11*i - 13. Let f be m(10). Suppose v = 2*v. Suppose v*s - 12 = 3*s. Is f less than s?
False
Let r = -0.07 - 0.03. Let d = 0 - r. Are d and 2 non-equal?
True
Let d(s) = -s**3 - 11*s**2 - 9*s - 3. Let f be d(-11). Let v be 2/6 + (-20)/f. Which is smaller: 1 or v?
v
Let y be 7 - 4/((-5)/5). Which is smaller: y or 12?
y
Suppose 3*u - 3*j + 57 - 15 = 0, 2*j - 64 = 5*u. Let m be (u/20)/(1/(-3)). Which is smaller: m or 1?
1
Let k = 14/11 + -39/22. Let m be 2/154 + 6/(-21). Which is smaller: k or m?
k
Suppose -13*q = -7*q + 6. Which is smaller: q or 3/14?
q
Suppose -2*w + 2*c = 4, -w + 0*c - 4*c = -8. Suppose w*t - 40 = 4*t. Let p be ((-64)/t)/(-4) - -1. Which is smaller: -1 or p?
-1
Let w = 6.9 - 103.9. Is w bigger than 1/3?
False
Let b(y) = -20*y. Let n be b(-2). Let s be n/(-28) + (-2)/(-1). Let d(f) = -f**3 + 11*f**2 + 1. Let a be d(11). Are a and s equal?
False
Let b = 809/207 + -34/9. Is 0 not equal to b?
True
Suppose 3*i = a - 36, i - 4*a - 38 = 3*i. Is -16 smaller than i?
True
Suppose -z - q - 79 = 3*z, 35 = -2*z + q. Do z and -20 have different values?
True
Let g = 4 - 5. Let u = -5 - g. Suppose -3*a - 2*a = 20. Is a >= u?
True
Let c be (-4)/(-1 - 0/4). Suppose c*r = 3*r. Is 1/2 less than r?
False
Suppose 5*z = -1 + 11. Let k be (4 + -7)*z/(-6). Let l = -162/329 - -3/47. Is k not equal to l?
True
Let f be 555/12 - -2 - 3. Let q = -45 + f. Which is smaller: q or 0?
0
Let b be -2 + (2 - (0 + -2)). Let i be b*3/(-138)*-2. Suppose 0*l + 2*w = -l, 5*l = w. Which is bigger: l or i?
i
Let t = 10.97 + -11. Is t <= 0.1?
True
Suppose -8 = 4*p, 3*r = -0*r - 5*p - 25. Let k = r + 17. Let w(t) = t - 9. Let a be w(k). Is 3 smaller than a?
False
Let c be (-3)/(36/(-14)) + (-14)/84. Is -2/37 <= c?
True
Suppose 8*q - 47 = 81. Let c(d) = 2*d**3 - 4*d**2 + 2*d - 2. Let g be c(3). Let m = q - g. Which is smaller: m or -7?
-7
Let x = -20 + 28. Is -1 greater than or equal to x?
False
Suppose 0*j - 22 = -3*f - 5*j, -2*f - j = -3. Let u = 11 - 5. Let t be (-4)/(-24) + (-4)/u. Which is greater: f or t?
t
Let m be -2*((-6)/4 + -1). Let r(i) = i**2 - 13*i + 40. Let x be r(8). Which is smaller: x or m?
x
Let t = -145 - -146. Are -0.01 and t nonequal?
True
Let t(p) = -p + 3. Let d(o) = o**2 + o + 1. Let b(u) = -5*u**3 - 2*u**2 - u. Let c(z) = b(z) + d(z). Let w be c(-1). Let s be t(w). Is -3 > s?
False
Let u = 52 - 51.9. Is 12/13 less than or equal to u?
False
Suppose 2 = h + 1. Let v = 141 - 1831/13. Do v and h have different values?
True
Let r be ((-2)/(-8))/(1/2). Let i = 2 - 0. Let d be 3 - (3 + (4 - i)). Is d > r?
False
Let b be (-126)/66 - (-1 + -1). Which is smaller: b or 0?
0
Let b be ((-10)/(-4)*-2)/(-1). Suppose 0 = k + b, -f + k = f - 3. Is f >= 3/8?
False
Let s = -7 - 1. Do 0 and s have different values?
True
Let n = 8 - 8.6. Which is smaller: n or 0?
n
Suppose 0*g - 7*g - 7 = 0. Let x = 17/40 - 5/8. Which is bigger: x or g?
x
Let y be (26/(-42) + 14/49)*3. Let r = -4656/11 - -423. Which is greater: y or r?
r
Let h be (-1 + 1)*9/27. Which is smaller: 1/5 or h?
h
Let o = 19 - 13. Let b = o + -5. Suppose -3*x - 4 = 5*i, 3*x = -3*i - 2 - 4. Are i and b nonequal?
False
Let r = 2/33523 + -15688774/167615. Let z = 94 + r. Which is bigger: z or -1?
z
Let n = -130.5 - -128. Is n greater than -1/2?
False
Let m be (104/14)/(75/476). Let l = m - -6