Let v = 1.4 - d. Which is greater: 2 or v?
2
Let p be (-9)/(-7) - (1 - (1 + -1)). Which is smaller: -31 or p?
-31
Suppose 5*b + 5*u - 5 = 20, -2*u - 10 = 0. Let w = 7 - b. Are w and -3 nonequal?
False
Let a = -412/153 + 42/17. Is a >= -0.3?
True
Let d = -197/134 + -2/67. Suppose 5 = 3*o - z, 0*z = 4*o + 4*z - 28. Suppose 2 = 2*c + o*g, 5*c - g + 19 = 7. Which is smaller: d or c?
c
Suppose 2*v = -4*n + 6, -2 + 4 = 4*v - 2*n. Suppose v = -3*j - 2. Let g be 4/(-56)*(0 + j). Which is smaller: 0 or g?
0
Let a = 0 - 0. Let p = 49/4 - 13. Which is smaller: p or a?
p
Let x = -93/92 - -6/23. Which is greater: x or -1/2?
-1/2
Let k be (10/6)/(2/6). Suppose -k = 4*z - 21. Is 4 bigger than z?
False
Let h(t) = 4*t + 6*t**3 - 3*t - 8*t**3. Let i be h(-1). Let w be i/(3/9) + 0. Are w and 0.1 nonequal?
True
Let s be 30/(-50)*10/4. Is s != 1/3?
True
Let v = -0.09 + -0.01. Let g = 1 + -2. Let r = g + 0.9. Is r at least v?
True
Suppose -3*q + 4*x = -26, -5*q + 2*q + 32 = 2*x. Let h be 5/q*0/2. Is -1/6 bigger than h?
False
Let w = -1.7 - -18.9. Let x = -17 + w. Is -3/7 at most as big as x?
True
Let g be 24/(-14) + 2 - 120/322. Which is greater: 0 or g?
0
Let t = -7 + 3. Which is smaller: t or 1/2?
t
Suppose 3*n + n = 8. Let v be 8/12*114/4. Suppose 2*d + 7 = -r, -v = -3*d + 4*r - n. Which is bigger: -2/9 or d?
-2/9
Suppose -5*x - 110 - 20 = 0. Which is smaller: -24 or x?
x
Suppose 0 = 12*n - 0*n - n. Is -0.5 at most n?
True
Let f = -5434/15 - -362. Which is bigger: f or 0?
0
Let l = -13 - -13.2. Let b = l + 3.8. Is 1 less than or equal to b?
True
Let a be ((-365)/(-10))/((-3)/(-6)). Let l = a - 149/2. Which is smaller: l or 0.2?
l
Let f(w) = -w**2 + 9*w - 3. Let q be f(8). Suppose -2*o = -4*m + 34, -4*o + o + 15 = q*m. Are m and 5 nonequal?
True
Let p(w) be the first derivative of -w**2 + 10*w - 7. Let b be p(5). Is b less than or equal to 0?
True
Let a be ((-4)/(-12) + 0)*-15. Which is bigger: -6 or a?
a
Let v = 9.5 + -2.5. Are v and 2 equal?
False
Let r = 1 - 1. Let u = r - 1. Let w = 344 - 1722/5. Which is smaller: w or u?
u
Let y = -18 + 9. Let z(n) = -n**2 - 10*n - 10. Let p be z(y). Let r be p/((-2)/6*1). Which is bigger: r or 7/2?
7/2
Let w = -0.1 - 0.1. Let u = 0.2 - w. Let j = u + 1.6. Is -2 equal to j?
False
Let t = 1201/3204 - -5/356. Is t greater than or equal to 1?
False
Suppose -6*d + 4*d + 4 = 0. Suppose 7*x - 2*x = d*p - 30, 4*p = 2*x + 28. Suppose 8*v = 3*v - p. Is -0.1 at least v?
True
Let t = 0.1 + 0.3. Is -1 at most t?
True
Suppose 0 = -o - 2*o. Let d = -167/7 + 24. Is d bigger than o?
True
Let f = -5.12 + 0.12. Let a = f + 7. Suppose 0 = 8*k - 4*k. Is k smaller than a?
True
Suppose -13 = 4*r + 5*d + 7, 4*r - 4*d - 16 = 0. Suppose r = 2*p - 2*b + 2, 6 - 35 = -p - 5*b. Let k = 3 - 2. Which is smaller: k or p?
k
Let w = 117 - 117.51. Let u = w + -0.19. Which is greater: u or 1?
1
Let t = 0 - 7. Which is smaller: -6 or t?
t
Suppose 4*a = 2*a. Let d = -3 + a. Which is greater: d or -5/2?
-5/2
Let p be 1/12*4*-3. Let y be 2/1414*-216 - 0. Let c = y + 2/101. Is c at most as big as p?
False
Let y(k) = -k + 6. Let p be y(4). Let s be ((-6)/(-9))/(p/3). Let l be 5 + 1 + -3 + s. Which is bigger: 3 or l?
l
Let f(t) = t**2 - 2. Let m be f(-2). Suppose 2*z + m = -x, 2*z + 3*x = x + 2. Let k be z/(-3)*(-1 + 1). Are k and 1 equal?
False
Let a = 3 + -5. Let o(b) = -b**3 + b**2 - b + 1. Let r be o(0). Suppose 2*c - r = -7. Is a bigger than c?
True
Let h be ((-6)/(-4)*-1)/(-6). Which is smaller: h or -1?
-1
Let x = -1/56 + 123/616. Suppose -2 = -2*m + 2*b, 9 = 5*m + 5*b - 6. Let l be (-4)/(-8)*(m - 4). Is x greater than or equal to l?
True
Let t = 0.16 + -1.36. Let g = -7.9 - -0.7. Let m = g - t. Is 0.1 smaller than m?
False
Let n be -4*((-36)/8 - -4). Is 3/2 at least as big as n?
False
Suppose -3*s + 2 = -2*l - 13, 0 = 5*l - 5*s + 25. Suppose -32 = -2*d - 3*a + 2*a, l = 2*d - 3*a - 32. Let u be d/40 - 4/10. Which is greater: u or 2/13?
2/13
Let z be (-4)/((-24)/27) - 4. Which is greater: 3/13 or z?
z
Suppose 2*a = -3*a + 25. Suppose 0*l + 3*l - a*j = -40, 5*l + j + 20 = 0. Is l bigger than -5?
False
Let c be 3*2/(-39) + 135/117. Is c greater than or equal to 1/53?
True
Suppose -18 = 3*i - z, 3*z - 5 + 0 = 2*i. Let k = -7 - i. Let m be (-3 - k)*1 + 7. Is m bigger than 3?
True
Let g = 0.2 - 0.5. Let w = -10 + 12.7. Let l = g - w. Which is smaller: 0.2 or l?
l
Let r(u) = -2*u**3 - 2*u**2 + 1. Let c be r(-2). Let b(l) = -l + 7. Let k be b(c). Which is smaller: k or 3?
k
Let s = -111/4 - -28. Let n = 1 - 0. Which is greater: n or s?
n
Suppose 5*f = -0*c + 5*c - 35, 0 = -2*c + 3*f + 19. Let b(o) = -o - 2. Let k be b(-3). Let g be (k + 0)/(3*c). Which is smaller: g or 1?
g
Let l = 164 + -817/5. Is -1 != l?
True
Let i(p) be the first derivative of -p**4/4 + 5*p**3/3 - 5*p**2/2 + 7*p - 2. Let x be i(5). Let a be 6/x - 14/3. Is -4 at least as big as a?
True
Let q(i) be the second derivative of -i**4/12 - 4*i**3/3 - 3*i**2 + 2*i. Let w be q(-7). Is 1/2 at least w?
False
Let q(x) = x**2 - 4*x - 7. Let p be q(6). Let z = -3 + p. Is z != 0?
True
Suppose 3*l - 7*l + z - 10 = 0, 0 = -2*z + 4. Let h be 1172/(-10)*(-2)/4. Let a = h + -59. Is l less than a?
True
Let c = -0.9 - -0.2. Is c at most as big as 0.1?
True
Let c = 16 - 16.7. Let r = c - -0.6. Are 3 and r equal?
False
Let t = 12.6 + 42.4. Do -1 and t have different values?
True
Let f = -14 - -8. Let h be ((-2)/(-3))/((-8)/66). Is f less than h?
True
Suppose 0 = -2*a - 3*a. Suppose -r - r = a. Is 2/17 >= r?
True
Let g = 4 + -3. Let d = -4 + 3. Let q = -0.8 - d. Which is smaller: q or g?
q
Suppose b = v + 6, 3*v - 8 = -4*b + 9. Let d be -2 + 1 + (-1 - 0). Which is greater: d or v?
v
Suppose 5*p + 27 = -3*s, -21 - 13 = 5*p - 4*s. Which is greater: p or -8?
p
Let j be (-2 + -1 - -1) + -3. Let t = 3 + j. Let c be (0/(-3))/(2/2). Which is bigger: t or c?
c
Suppose 4*w + 3*g - 228 = 0, 0 = -w + 2*g + 50 + 18. Let b be 30/(-4)*3/w. Let t = -2 - -2. Which is greater: t or b?
t
Let g be -3*3*20/96. Is -2 bigger than g?
False
Let o(n) = -n**3 + 6*n**2 + 5*n - 4. Let z be o(5). Which is greater: z or 47?
47
Let x = -21 - -24.7. Let h = x + -0.7. Let t = h + -4. Which is greater: 2 or t?
2
Let h = 12 + -8. Suppose -3*f = 2*f - 4*o + 70, -h*f - 4*o - 56 = 0. Let r be 2/(4/f) - -2. Do -5 and r have the same value?
True
Let m = -2.8 + 18.8. Let j = m - 25. Which is bigger: 0 or j?
0
Let f be ((-2)/3)/(4/(-18)). Suppose -3*j = -3, 4*i + f*j - 2 = 5*i. Which is greater: i or -2/5?
i
Let y = -153 - -245. Let u = -826/9 + y. Is u >= 1?
False
Let y be (-8)/(3 + (-14)/4). Let i be (-12)/y + (-46)/(-8). Suppose -2*x - i = -3*p, 5*p - 7 = 4*x - x. Is p < -3?
False
Let w be 3 + -6 + 4 + (-2)/2. Which is smaller: w or 1/29?
w
Let j = -129 - -1160/9. Which is smaller: j or -1?
-1
Let t be -2*(-2)/(-4)*1. Which is bigger: t or -8/7?
t
Let f(o) = o**2 - 7*o + 6. Let b be f(7). Let c(k) = -k**2 + 3*k + 2. Let w be c(3). Suppose w = -4*j + b. Is -1 not equal to j?
True
Suppose 0 = x - 2*l - 1, -7*x + 2*l - 8 = -3*x. Let k = x + 6. Suppose 2*w + 5*g = -0*g - 19, -w - k*g - 11 = 0. Is w not equal to -4/3?
True
Suppose 0*s + 2*s = k + 20, -3*s = -9. Which is smaller: -2 or k?
k
Let c = 13 + -10. Suppose w = c*o - 6 - 4, 0 = 4*o + 5*w - 7. Which is smaller: 3/2 or o?
3/2
Let v = 0 + 0.1. Let u be 15/(-25)*6/9. Which is bigger: u or v?
v
Let p = 62 - 61. Is 1/10 less than p?
True
Let f be (-4)/28*2/(-23). Let l = 473/805 + f. Are l and 1 non-equal?
True
Let w be (4/33)/(2/6*-2). Which is bigger: w or 0?
0
Let a = -718/5 + 143. Is a at least as big as 0?
False
Let t = 2 + -3. Let m = -2 - t. Let n = 344.2 + -344. Which is smaller: m or n?
m
Suppose 4*z = 4*c - 12, 0 = -2*c + 4*c + z + 3. Suppose 3*h + i + c*i - 3 = 0, 0 = -3*i - 9. Is h at most as big as 10/3?
True
Suppose 6*v = v + 60. Let u = v - 14. Is u at least as big as 2?
False
Suppose -2*c = -3*p - 14, 2*c + 5*p - 3*p - 4 = 0. Let g be c/(-6) + 14/3. Is g smaller than 4?
False
Suppose 5 - 20 = -5*v. Suppose -2*f = f. Suppose f = 4*m - 1 - v. Which is bigger: m or 2?
2
Let j = -5117 + 2399871/469. Which is greater: j or 0?
0
Let f = -3/11 + -2/33. Let n = -1789/12 - -149. Let y = f - n. Which is smaller: 1 or y?
y
Let c = 2 - -4. Let d(n) = -n**3 + 6*n**2 + 2*n + 2. Let r be d(5). Suppose 0 = 2*