= 3*v - c*w - 13. Is v > 4/13?
True
Let y = -2.01 + 0.01. Is y at most as big as 0.5?
True
Let a = -1 + -1. Let k = -4 - -1. Let v = k - a. Are -2 and v non-equal?
True
Suppose 6 = -7*a - 15. Which is smaller: 4 or a?
a
Let c be (18/4 - 3)*(-6)/(-9). Are -2/79 and c non-equal?
True
Let m = -2 - -4. Let k(i) = i + 6. Let j be k(-7). Let y = j + m. Are y and 0 equal?
False
Suppose -k - 2*k - 169 = -4*f, 2*f - k - 87 = 0. Is f >= 1?
True
Let c be (21/14)/(2/4). Let j be 4/((c - 3) + 6). Which is greater: j or 2?
2
Suppose 0 = -9*c - 83 - 115. Is -23 less than c?
True
Let n(d) = 13*d - 2. Suppose -4*m + 0 = -4. Let i be n(m). Which is smaller: 10 or i?
10
Let g be (6/14)/((-8)/(-7)). Which is greater: -2/3 or g?
g
Let m = -32.94 + 33. Which is greater: 0 or m?
m
Let u(y) = -y**2 + 10. Let d be u(0). Let s = 9 - d. Is 1 greater than or equal to s?
True
Let v = 8 + 2. Let m(p) = -p**3 - 11*p**2 - 21*p - 16. Let q be m(-9). Is v > q?
False
Let m = -33 + 46. Let k = m - 12.8. Is k at most 0.3?
True
Let t(q) = q**3 + 6*q**2 + 6*q + 3. Let j be t(-5). Let r be (6 - 4)*(-13)/j. Let x = r + -9. Which is smaller: 5 or x?
x
Let v be ((-6)/(-4))/(-3)*18. Is -1 not equal to v?
True
Suppose -5 = 8*r - 29. Which is smaller: -1 or r?
-1
Let a = 31 + -31. Are 6/17 and a equal?
False
Let v(g) = -14*g - 66. Let m be v(-9). Which is greater: 59 or m?
m
Let v be 2/(-3) - (-463)/1050. Let a = 3/50 - v. Which is bigger: a or 1?
1
Let s be 14/6 - (-2)/3. Suppose s*z = -z - 3*n + 19, -2 = 3*z - n. Which is greater: z or 1/2?
z
Suppose -3*w - 5 + 1 = 4*j, 0 = -w - j. Let b be w/(-18) - 10/(-45). Is -1 at most as big as b?
True
Suppose 3*g + f = 6, g = 4*g - f. Suppose -2*p = 2*p + 4. Let d be (1 - 1) + g + p. Is -1/4 >= d?
False
Let c be (-2 + 6)*(-1 + 0). Let h = -17 - -21. Let l = h + -3. Is c less than l?
True
Suppose 5*p = -5*s - 25, 0 = -2*p + s + 2 + 3. Let v = 79/20 - 27/10. Which is greater: v or p?
v
Let j(k) = -k + 16. Let n be j(7). Let q(r) = r**2 - 6*r + 8. Let w be q(6). Which is smaller: w or n?
w
Suppose 1 = -o - q, -5 = -q - 4. Suppose -4*w - 3 = 5. Is o at least as big as w?
True
Let v be (48/(-105))/((-6)/45*-3). Which is smaller: 0.1 or v?
v
Let d be 1 + 162/21 + 40/(-10). Is d < 5?
True
Suppose -4*c + 5*c - 3 = 0. Suppose 0 = c*g - 2*g. Is g less than or equal to -0.02?
False
Let n be -1 + (6/24 - 41/(-44)). Let m = 1 + -1.1. Which is smaller: n or m?
m
Let o(b) = -b + 1. Let f(r) be the second derivative of -r**5/20 - r**4/4 + r**3/2 + r**2/2 - r. Let p be f(-4). Let i be o(p). Do -4 and i have the same value?
True
Suppose 5*w - 3*w - 6 = 0. Suppose 4*g = -3*r - 9, -w*g = 3*r - 0*g + 6. Let s = -23 - -24. Is s > r?
False
Let u(y) be the first derivative of -y**2/2 - 6*y + 2. Let o be u(-5). Is o smaller than 2/9?
True
Let w be ((-1)/(-3))/((-10)/(-420)). Is w != 2/7?
True
Let c = -10 + 15. Let r be 0/c + (0 - 0). Which is bigger: -3/7 or r?
r
Let k be ((-10)/8)/((-2)/(-8)). Let f = k + 14. Let d be 3/f*3 - -5. Is d at most 6?
True
Let x be ((-33)/6)/(-1*1). Let s = x - 7. Is 0.2 greater than s?
True
Let s be ((2 - 3)/1)/(-1). Let h(j) = j**3 - 5*j**2 + 1. Let c be h(5). Does s = c?
True
Let f be (-2)/8 + (-741)/739. Let x = f - -2/739. Is -2 at most as big as x?
True
Let c(a) = a**3 - 7*a**2 - 2*a + 6. Let r be c(7). Let g be (2/r)/((-7)/(-8)). Which is bigger: -1 or g?
g
Let f = -9 - -12. Let x = f - 3. Does -5/4 = x?
False
Let i = 39 + -40. Which is smaller: i or 46?
i
Let t(x) = -x**3 - 4*x**2 + 2*x - 1. Let b be t(-4). Let v be b/12 - (-1)/(-4). Let y = -2 - 0. Is y > v?
False
Let n = -74 - -52. Is n at least -25?
True
Let g(b) = -b**3 - 5*b**2 - 4*b + 1. Let p be g(-4). Let f = -5/29 + -52/203. Are f and p nonequal?
True
Let p = -75 + 58. Are p and -33/2 nonequal?
True
Let c = 0.1 + 4.9. Let q = -3 + c. Which is bigger: q or -0.07?
q
Let d be (-25)/(-7) - (-21)/49. Are 5 and d unequal?
True
Let t = 4 + -8. Let y = t - -6. Let l be y/(-6)*(0 + -2). Do l and 1 have different values?
True
Let u = -7 + 6. Is -7/6 at most u?
True
Let u(r) = r + 34. Let w be u(-20). Does 1 = w?
False
Let p(u) = -u + 5. Let s be p(-5). Let l = 1 + s. Suppose -27 = -4*m - l. Is m smaller than 2?
False
Suppose -5*x - 23 = -2*h, -4*x = -2*h + 11 + 7. Let c = 158 + -113. Let w be ((-24)/c)/(-8)*21. Do h and w have the same value?
False
Suppose -5*o = -2*o + 5*s - 79, 4*o - 116 = -4*s. Which is bigger: o or 0?
o
Let i = 0.2 - 0.3. Let f = 3 - 3.2. Let p = f - i. Are 0.1 and p unequal?
True
Let o be -2 - (-1 - 1 - 2). Let b(z) = z**3 + 3*z**2 - 3*z - 4. Let f be b(-3). Suppose 4*t - 2 = -2*c, 3*t - f*c + 0 = -5. Which is greater: t or o?
o
Let r be (6/((-12)/2))/(2/66). Which is bigger: r or -34?
r
Let w(a) = -2*a - 3. Let j be w(-5). Let d(v) = -v + 6. Let o be d(j). Is -5/3 less than o?
True
Let w(l) = -l**2 - 6*l - 7. Suppose u - 4*g = 8 + 1, 3*u = 5*g + 6. Let z be w(u). Is z at least 1?
True
Let z(o) = 3*o**2 + o + 1. Let h be z(5). Let s be (-3)/(-2)*12/h. Let d = -10 + 9. Are d and s nonequal?
True
Let j be (170/(-136))/(1/4). Which is smaller: 4 or j?
j
Let k = 25 - 13. Which is greater: 8 or k?
k
Let z = 1 + 1. Suppose 3*p = -z*p. Is -3/4 > p?
False
Suppose 5*i - 3 - 22 = 0. Let a = i + -3. Which is smaller: 3/2 or a?
3/2
Let z be (-4)/16 - 66/(-8). Let q be -1*(-2)/(-2)*0. Suppose 4*c + q = z. Which is greater: c or -1?
c
Let c = -13 + 10. Which is smaller: c or -2?
c
Suppose -x + 16 = 4*j, 5*j + 3*x - 23 = x. Suppose -n + 4*m - 20 = -5*n, n = j*m - 15. Let f = 10 - 71/7. Which is bigger: f or n?
n
Let n(j) = -j**2 - 11*j + 14. Let g be n(-12). Let v be (-3)/(-6*g/20). Suppose -v = 3*o + 4. Which is smaller: -2 or o?
o
Suppose 0 = 4*n - n - 3, -4*n + 184 = 3*m. Which is greater: 59 or m?
m
Suppose -d - 20 = -6*d. Is d equal to 5?
False
Suppose 0 = -4*b - s - 11, -5*s - 19 = b + b. Let u be ((-26)/195)/(b/6). Let k = -1/2 + 1/6. Are u and k nonequal?
True
Suppose 2*n - 2 = 8. Suppose -5*p + 2*w - 5 = 0, 0 = -2*w + n*w. Let t be (p - 0)*2/(-10). Which is bigger: t or 1/3?
1/3
Let z = -2 + 2.1. Let d = 0.9 + -1.3. Which is smaller: z or d?
d
Let x(b) = b**3 - 10*b**2 + 9*b + 6. Let g be x(9). Suppose 0 = -g*p + p - 5. Let i be -1*(-2*1)/(-6). Is p smaller than i?
True
Let d = -13.18 + 13. Let i = -0.08 - d. Which is smaller: i or -5?
-5
Let l be 4 - 1 - 1*-2. Suppose 0 = -l*q + 1 + 4. Let f be -2*2/8*0. Do f and q have the same value?
False
Suppose -5*r = -4*t + 80, -8 = 2*r - 0*r. Let y be 10/t - (-4)/(-15). Is y smaller than -0.3?
False
Let v(u) = -u**2 - 5*u + 8. Let h be v(-6). Let t = h + -1. Let z be 0*(1 - (-6)/(-3)). Is z >= t?
False
Let d(v) = 2*v - 5. Let n be d(4). Let l be (3/n - 0)*3. Let y(t) = t - 3. Let i be y(l). Is 1/13 at least as big as i?
True
Let d(x) = -x**2 - 3*x - 2. Let l be d(-2). Let c be 4*1/((-6)/(-3)). Suppose 7 = 3*m + 2*m + j, c*j = -5*m + 9. Do l and m have the same value?
False
Suppose -16 = -u + 2*j, j + 57 = 5*u - 68. Suppose -5*m - 2*n - 94 = 0, -4*m - 103 = n - u. Let l be (6/5)/((-6)/m). Is 3 at most as big as l?
True
Let z = -61 + 53. Is z smaller than -7?
True
Let n = 53 - 52. Which is greater: n or -1/4?
n
Let x = 2545549/170 - 152367/10. Let y = x + 263. Let q = 13/34 + y. Is q < 2?
True
Let a(w) = -5*w - 64. Let n be a(-12). Is 3 less than n?
False
Let a = 45 + -88. Do a and -43 have different values?
False
Let f = -113/1365 - -2/35. Is f > 1?
False
Let d = -0.3 - 0.7. Suppose n - 30 = 3*n - 3*a, -3*n = 5*a + 26. Let v be 5*((-3)/n + 0). Which is greater: d or v?
v
Let l = -31.2 - -31. Do -0.2 and l have the same value?
True
Suppose -3*i - 18 = 9. Let o(y) = -4*y + 3. Let p be o(3). Is i >= p?
True
Suppose -8*o + 88 = -4*o. Is 21 greater than o?
False
Let d = 6 - -2. Suppose -2*h - d + 2 = 0. Let b = -17.5 + 16.5. Which is greater: b or h?
b
Suppose n = 2*p + 12, 5*p = 2*n - 16 - 15. Let d be 6/(-21) + (-2)/p. Let x be (2 - 1)*21/7. Is d at least x?
False
Let w(j) = -j**2 + j - 1. Let b be w(1). Is b less than -1?
False
Suppose 4*t - x = x - 4, 4*t - 8 = -4*x. Suppose -12 = 4*l, t*a - l - 4 = a. Which is greater: -2 or a?
a
Let g = 0.074 - -7.926. Is g at least as big as -4?
True
Suppose -8*m = -3*m - 4*q - 78, -2*m + 22 = 3*q. Is m < 17?
True
Let a = -27/44 - -4/11. Let l = 3 + -4. Is a greater than or equal to l?
Tru