 <= k?
False
Suppose -9*r = 3*r + 12. Is r != 2/93?
True
Suppose -5*b + 36 = -2*b. Suppose -q + b = -4*f, 2 = -5*f - 8. Is 0.1 > q?
False
Suppose 0 - 2 = -2*s. Let k = -6 + 7. Let d be 1 + (k - 14/6). Are d and s unequal?
True
Suppose 5*l - 4 = -2*n, -4*l - 3 = 2*n - 5. Which is bigger: -12/5 or n?
-12/5
Suppose 19 = -g - 9. Which is bigger: g or -29?
g
Let c = -2 + 1. Let t be c + (-9)/30*-6. Which is smaller: 1 or t?
t
Suppose -w = 5*n + 4, 4 = n + 2*n - w. Let v = -11 - -11. Is v smaller than n?
False
Suppose -y = -7*y - 6. Let a be (-3)/10 + 2/4. Is y smaller than a?
True
Let o = 3 + -3. Is o bigger than -3/29?
True
Let f(u) = 27*u**2 + 2*u - 1. Let a be f(1). Let l be -1 - (a/(-8) - -3). Is -4 at most l?
True
Let o = 5 - 1. Suppose -5*x = 2*d - o*d, 5*x = -d. Which is smaller: x or 1?
x
Let b be 1 + ((-4)/(-22) - 1). Suppose -5*t + 158 - 158 = 0. Which is greater: b or t?
b
Let l = 13/12 - 3/4. Let i = -7.3 + -0.7. Let w = 8 + i. Which is smaller: l or w?
w
Let a = 12 - 13.8. Suppose -5*s + d + 9 - 7 = 0, 6 = 3*s + d. Which is smaller: a or s?
a
Let y = -6.1 - 2.8. Let m = 9 + y. Let f = 0 - 2. Is m less than f?
False
Suppose 0*a = a + 5. Which is greater: a or 3?
3
Let d be 3/(((-21)/2)/7). Is -16/7 <= d?
True
Suppose -3*v = 2*x + 2*v + 25, 5*x + 74 = -v. Do 1 and x have different values?
True
Let y be -2 + 9 + (-6)/(-3). Let k be y - 9 - 2/4. Which is bigger: k or -1?
k
Let f(d) be the first derivative of 0*d**3 + 1/2*d**2 - d + 3/4*d**4 + 2. Let o be f(1). Is o equal to 3?
True
Let a be 1/(2/(-10) - 0). Let m(z) = -z**2 - 9*z - 6 - 3 + 3*z + 5. Let r be m(a). Is 2 at most r?
False
Suppose 4*u - 25 = -u. Suppose x + 7 = -4*a, 0*x + 28 = -a + u*x. Is a > -2?
False
Let w = -0.19 + 9.19. Which is bigger: 2/11 or w?
w
Suppose -8*u - 8 = -4*u. Let k be (0 + 1)*(u + 3). Is k at most as big as -1/14?
False
Suppose -3*a - 10 = 2*a. Let v = -1 - a. Let i be (v + 0)/(2 - 3). Is i less than 0?
True
Let n be (4 - 0)/(4/22). Suppose 3*c = 2*c + 4*d - 19, 4*d - n = -2*c. Which is bigger: -1/5 or c?
c
Let t = 0.23 + -0.13. Which is smaller: -0.02 or t?
-0.02
Let s be (-1 - 2)/((-12)/20). Suppose 0 = -s*z + 3*z + 4. Let u be 2/2 - (-4)/16. Is z <= u?
False
Let y be 2/(-5)*(12 - 2). Suppose 4*k = 2*k - 6. Let n be k - 4/(2 + y). Is n bigger than -1?
False
Let f(o) = o**3 + 12*o**2 - 7*o - 8. Let u be f(-12). Let a = u + -682/9. Let g be 1 + 1 + 0 + -1. Which is bigger: g or a?
g
Suppose -8*p = -p + 14. Let u be (-15)/p*(-56)/(-70). Are u and 5 unequal?
True
Let w = -0.5 - -0.4. Do 12 and w have different values?
True
Let r be (-2 - 0)*18/(-4). Suppose -25 + r = 4*x. Let l be ((-1)/(-18))/((-1)/x). Which is greater: l or 0.1?
l
Let q = 0.3 + -1.2. Let d = -1 - q. Let n = 5 - 8. Is d at least n?
True
Let y = 2 + -2.05. Let v = y + -4.95. Which is greater: v or -0.1?
-0.1
Suppose s + 4 = -2*k - k, 0 = -2*s - 5*k - 10. Is s smaller than -10?
False
Suppose -4*z + z = -4*u + 3, 3*z + 3 = -3*u. Let r be (30/24)/((-3)/(-12)). Suppose r*p - 6*p = 0. Which is smaller: z or p?
z
Let y = -5.9 - 0.1. Let j = y - -5.7. Let f be 2/2*(1 - 1). Which is smaller: j or f?
j
Let g = 0 - 0.2. Let v = 1.198 + -0.198. Which is greater: v or g?
v
Let t(p) = p**2 - 6*p + 4. Let a be t(8). Let y be 8/a*(-10)/6. Are 1 and y non-equal?
True
Let y be 2*(-7)/5*(-3 - -8). Is y smaller than -14?
False
Suppose -4*l + 2*u + 0 = -2, 2*l + 2*u = -14. Let s be (-2*l/(-20))/1. Which is smaller: s or -1?
-1
Suppose 10*k = 5*k + 225. Which is smaller: k or 44?
44
Let l = 0 - 1. Let t be (-295)/(-2175) - 6/90. Which is bigger: l or t?
t
Let z = 73 + -220/3. Which is smaller: 0.54 or z?
z
Let o = 6.1073 - 0.0373. Let t = 6 - o. Is t at most as big as 1?
True
Let j = -8 - -2. Let m = 6.04 + j. Is -1/4 not equal to m?
True
Let l be 1/(-10)*30/8 + 0. Let q(t) = t + 17. Let j be q(0). Suppose 2*w = -2*p - 8, -p - 5*w = p + j. Is p at most as big as l?
True
Let p = -0.9 + 4.3. Let n = p - 3. Let f = -67/2 - -33. Which is bigger: n or f?
n
Let z be (-9)/(4/(-12) - 0). Let x be (z/(-15) + 1)*5. Which is smaller: x or 2?
x
Suppose 4*o = -2*u + 20, u + 3 = o + 1. Let y = -10 - -11. Let i = o - y. Does 3 = i?
True
Suppose 41 = -10*t + 851. Is 82 less than or equal to t?
False
Let d = 62 + -42. Suppose r - 5*i - 6 = 6, -5*r + 5*i + d = 0. Let a be r/(-6) + (-3 - -5). Is 1 > a?
False
Let z = 9 + -6. Let r be z/(-9) - (-12)/9. Is r < 2?
True
Let h = 0.3 + -1.1. Let l = h + 0.9. Is l greater than or equal to -1?
True
Suppose 0 = -5*o + 3*o + b - 9, b - 24 = 5*o. Suppose 3*u + 8 + 4 = 0. Is u <= o?
False
Let a = 0 + 1. Let v = -7/30 - 1/6. Which is smaller: a or v?
v
Let b = 5 - 4.9. Let x = 5.1 + -5. Is x greater than b?
False
Let a be (-14)/(-6) + (-2)/(-3). Let v be a/9*0 - -5. Suppose -4*b - m - v = 0, -2*b + 3*m = 4*m + 1. Is -2 not equal to b?
False
Let y be 1/(-3) - (-174)/36. Let h = y - 4. Do 1 and h have different values?
True
Suppose -x - 2*x + 6 = 0. Which is smaller: 1 or x?
1
Let z = -6.55 + -0.25. Let f = z - -7. Is -1 < f?
True
Let j(t) be the third derivative of -t**4/24 - 5*t**3/6 - 2*t**2. Let a be ((-14)/(-4))/(3/(-6)). Let r be j(a). Is r at least as big as 6/7?
True
Let d be (-10)/4*8/430. Let l(m) = m**2 - 7*m - 8. Let g be l(8). Is g smaller than d?
False
Suppose 5*d + 5*g + 5 = 0, -2*d + d + g = -9. Let k = 11 + -6. Let m be 3 + -3 + k + -1. Is m greater than or equal to d?
True
Suppose 18 = -3*g - 63. Which is smaller: g or 1?
g
Suppose -14*l - 153 - 267 = 0. Are 1/4 and l nonequal?
True
Suppose 2*a + 4*x - 9 = 7, 2*a = -2*x + 16. Let d = a + -5. Suppose -d = -i - n + 3, 0 = -3*i - 4*n + 22. Is 2 >= i?
True
Let i be 1/((9/(-3))/(-6)). Do -11 and i have the same value?
False
Let c be 2/(2 - 2 - -2)*7. Which is smaller: c or -1?
-1
Suppose -2*g = -5*m + 3*g - 15, 27 = -4*m + g. Let w = -7 - m. Do w and -4 have different values?
True
Let v = 9.3 - 9. Let d = 0.1 - 0.1. Let q = d + -0.1. Are v and q non-equal?
True
Suppose 2 = 2*x - 0. Let j be 75/(-36)*2 + 4. Is x <= j?
False
Suppose -22 = -4*g - 2. Which is bigger: 2/19 or g?
g
Let d = 256 + -256. Let t = 21825/8 - 160767/56. Let f = t - -142. Is d not equal to f?
True
Let n be 2/9 + 38/(-9). Let o be (n/(-2))/2*-2. Let v be o + 3 + (-1)/(-1). Are v and 0.1 equal?
False
Suppose 4*c = 4*n + 20, 0 = -n - 5*c + 13 + 6. Which is bigger: n or -51?
n
Let o = 2 + -4. Let h = 7 + -8. Which is smaller: h or o?
o
Suppose 0 = 5*g - 22 + 2. Is g <= 5?
True
Let b be 4/14 - (-50)/70. Which is bigger: b or 12?
12
Let p = -9 + 11. Suppose 3*k = -w - 0*k - 4, -k + 8 = -p*w. Which is greater: w or -6?
w
Let s = 2/291 + 1154/1455. Let f(n) = -n**2 + 1. Let k be f(1). Is k less than s?
True
Let u(z) = z**2 + 12*z - 12. Let x be u(-13). Which is smaller: -4/11 or x?
-4/11
Let z(t) be the first derivative of -t**2/2 + 2. Let q be 0/(2*2/(-4)). Let m be z(q). Is -1/3 smaller than m?
True
Let q = 3 - -21. Let g be (-8)/q + (-8)/3. Let x be (-8)/(-6)*9/(-6). Is x at most g?
False
Let v = -2.5 - -3.5. Is v at least -0.11?
True
Let u be ((-10)/3)/(16/(-24)). Let s(i) = -6*i**3 - 2*i - 2. Let o be s(-1). Which is smaller: o or u?
u
Let c = -0.5 + 1.5. Let y = -1 - c. Let g = 1.2 - 0.2. Which is smaller: g or y?
y
Let w = 771 + -2389/3. Let s = 25 + w. Do -1 and s have the same value?
False
Suppose 0 = n + 2*n - 18. Suppose -2*m + 0*m + 19 = 5*r, 2*r = n. Suppose -3*f = -3*o + 3, 0 = -3*f - 0*f - 2*o + 12. Is m greater than or equal to f?
True
Suppose 34*a + 3 = 37*a. Which is bigger: a or 0.14?
a
Let p(r) = -r**3 + 6*r**2 - 2. Let x be p(6). Let o be 2/6 + x/(-6). Suppose -l = -h, 5*h - 4 + 3 = 4*l. Is o less than l?
True
Let n be 2/(-9) - 116/(-36). Suppose n*t = -2*t. Which is greater: t or 3/5?
3/5
Suppose -4*p = -5*v + 8, 0 = v + p + 2*p + 6. Suppose -4*x + 4 = -v. Which is bigger: x or 1/7?
x
Let k be (-72)/7 - (-10)/35. Let w = -48/5 - k. Which is greater: 0 or w?
w
Suppose 11*q - 6*q - 65 = 0. Which is smaller: q or 12?
12
Let r(k) be the third derivative of -k**6/120 + k**5/15 + k**3/6 - 3*k**2. Let y be 4/18 - 34/(-9). Let g be r(y). Is -1/3 greater than g?
False
Let h(r) = 4*r - 3. Let t be h(2). Let k be 2/(-8) - t/(-4). Let b = k - 1. Which is bigger: -2 or b?
b
Suppose -3*g - 1 + 4 = 0. Is -5 at most g?
True
Let n(u) = 5*u + 25. Let w be n(-5). W