s 7 > v?
False
Suppose -p + 2*p - 3*f - 15 = 0, 0 = -4*p - 3*f. Let q be 4/(-12) - 14/p. Are q and -4 equal?
False
Let h(w) = -2*w + 4. Let k be h(2). Is k less than or equal to 5/6?
True
Let i = -6/5 - -37/35. Is i equal to -0.3?
False
Suppose -1 = -g + 4*x - 0, -3*g + 3 = 4*x. Let j(z) = -z**2 - 4*z - 2. Let y be j(-4). Let b be y/(-5)*10/18. Which is greater: g or b?
g
Let a(d) = d**3 + 2*d**2 - 2*d + 1. Let y = 0 + -1. Let w be y/(-2) + 1/2. Let p be a(w). Which is bigger: 1 or p?
p
Let h be (-3)/9 + 771/45. Does 16 = h?
False
Suppose 2*r = -5*x + 11, x + 2*r + 4 - 3 = 0. Suppose 2*i = -i + x. Is 1 < i?
False
Suppose -4*c = 2*v + 1 - 5, -3*c = 2*v - 3. Which is smaller: 4 or v?
v
Let m = 62 - 51. Which is smaller: 59/5 or m?
m
Let s(d) = -2*d**3 + d**2 + 2*d - 2. Let b be s(2). Let o be 8/(-40) - 2/b. Which is smaller: o or 1?
o
Let f be -10 + (-5)/(10/(-6)). Do -8 and f have the same value?
False
Let w be 2/9 - (-141)/(-27). Let a = -7 + w. Is -11 bigger than a?
True
Let m = 77/4 + -259/12. Which is smaller: -2 or m?
m
Suppose 0 = 2*o + 4*l + 22, 2*o + 3*o = 3*l + 10. Let c(n) = 2*n**2 - 2*n. Let a be c(2). Suppose 7 = -a*t + 3. Is o bigger than t?
False
Let x be 2/(3 - 124/44). Does x = 10?
False
Suppose -3*n + 10 = 19. Which is greater: n or 3/5?
3/5
Let a(c) = -5*c**2 - c + 1. Let b be a(1). Which is greater: b or -4?
-4
Let q = -2/791 - -1608/10283. Let i(w) = 5*w - w + 9 - 3*w. Let v be i(-8). Are v and q equal?
False
Suppose -5*z = 3*l - 19 - 7, -2*z = -4*l. Suppose 0 = -v + z. Suppose -20 = 5*w, 5 = -3*x - 5*w - 3. Is v < x?
False
Suppose -n - 2 = -0*n + 2*x, -5*n = -3*x + 75. Which is smaller: -13 or n?
-13
Let u = -6 - -5.85. Is 0 >= u?
True
Let p be (15/3)/((-6)/44). Let o = -37 - p. Which is bigger: o or -1?
o
Suppose 5*m - 97 = 3*v, -5*m = v + 21 - 2. Is -55/2 greater than v?
True
Let k = 4 + 3. Let r = 110 + -104. Is k greater than or equal to r?
True
Let n = 432 + -10798/25. Let c(v) = -v**3 + 6*v**2 + 2*v - 13. Let q be c(6). Which is bigger: q or n?
n
Let n = 10 - 17. Which is bigger: n or -6?
-6
Let u(f) = -125*f - 5. Let d be u(1). Which is smaller: d or -129?
d
Suppose 0 = 5*y + 7334 + 6546. Let h be -3 - (-3)/((-42)/y). Let n = -195 + h. Which is smaller: 0 or n?
0
Let s(q) = q**3 - 5*q**2 - 3*q + 5. Let g be s(6). Let k = g + -19. Is 5 equal to k?
False
Let b(j) = j**3 + 5*j**2 + 5*j + 6. Let z be b(-4). Let l be (1 + (-44)/36)*z. Which is greater: l or 1?
1
Let i = -1/75 + -44/75. Let q be (-1)/(0 - (-3)/9). Let s be (-60)/(-25) + 0 + q. Is s at least i?
True
Let t = 18 - 18. Suppose t*z - 2*z = 6. Do -2 and z have different values?
True
Let w be (-3)/3 - (-4)/3. Let q = -0.01 - 3.99. Which is greater: q or w?
w
Let i = 50541/95 - 532. Let v = 281/380 + i. Which is smaller: 0 or v?
0
Suppose -297*m + 292*m = -45. Which is smaller: 3/10 or m?
3/10
Let y = -3 + 8. Let n = -10.9 + y. Let v = n + 6. Are v and -1/2 non-equal?
True
Suppose -2*v - 4*z + 10 = 0, 5*z + 2 = -3*v + 12. Let b = 6 + v. Is 0.3 greater than or equal to b?
False
Suppose 5*y - 25 = -5*k, -5*y = -3*k + 9 - 2. Suppose -11 - y = -4*l. Do 4 and l have different values?
True
Suppose -o - 3*f + 2 = 0, 0 = -5*o + 4*f + f + 50. Suppose -3*n + o = -4. Let d be (-2)/10*n/(-2). Which is greater: 1 or d?
1
Let i be -2 - (2 - (10 - 5)). Is -4/57 not equal to i?
True
Suppose -40 + 12 = 7*r. Let a be 104/28 - 2/(-7). Let z = r + a. Is z at least -1?
True
Let v be 1/((-1)/22*-2). Which is smaller: 8 or v?
8
Suppose 0 = q - 5 + 15. Is -10 greater than q?
False
Suppose 4*t = -0*t + 20. Suppose 3*l + 2*j = 10, -t*j = 3 - 13. Suppose 3*z - 10 = -l*m, 4*z - 15 = 4*m - 5*m. Which is bigger: m or -2/11?
-2/11
Suppose 7*d = 2*d + 20. Suppose 3*i - 12 = -3*m, 2*i + 3 - 14 = -5*m. Which is smaller: i or d?
i
Let y = 0.3 + 1.7. Let x = y - 1.8. Let q = x - 0.3. Is q at most 0.2?
True
Let h be 3/((-54)/68) + 4. Which is bigger: h or 0?
h
Let s be -2 + -2 + 9 + -1. Let j = -11 + 11. Let q = j + 0. Which is greater: s or q?
s
Let l be (-66)/(-18) - (-2)/6. Suppose -3*z + l*s = 7, 2*z + 4*s = 4*z + 10. Which is smaller: 1 or z?
1
Let k = 3 - -2. Let w be -1 + 1 + k/(-3). Is w != -3?
True
Let v = -2.39 + 2.6. Let n = -0.01 + v. Let g = 0.2 - 0.1. Which is smaller: n or g?
g
Let s = 11 + -7. Let w(o) = 3*o**2 + 2*o - 1. Let y be w(1). Is s != y?
False
Suppose -4*f = f - 25. Suppose -4*w - w = f. Which is greater: w or 0.1?
0.1
Let h(n) = -6*n**2 - 5*n + 11. Let j(f) = f**2 + f - 2. Let y(c) = -2*h(c) - 11*j(c). Let v be y(2). Are v and -2 unequal?
True
Let j be -1 + (-1 + 1)/(-2). Let f = -13 + 0. Let g = -12.9 - f. Is j >= g?
False
Let b(r) = -6*r - 12. Let c be b(-2). Which is smaller: c or -2/135?
-2/135
Suppose -r = -26 + 5. Let h be 14/49 - 27/r. Is 2/9 greater than or equal to h?
True
Let l = -8 - -8. Is 0 at least as big as l?
True
Let s = -1 + 1. Suppose 0 = 5*w - 2*a + 5, -w + 5*w + 4 = -a. Which is greater: s or w?
s
Let h = -3 - -2. Let o = 0 + h. Let x be 1 + o*(-2)/(-2). Which is smaller: x or 2?
x
Let s(f) = f**3 - 2*f**2 - 3*f + 1. Let o be s(3). Is 1/10 equal to o?
False
Let v be 1 + (6/(-15) - 14/(-35)). Which is bigger: -1/104 or v?
v
Let k be (23/10)/(3/(-6)). Which is bigger: k or -4?
-4
Let w = -0.4 + 0.1. Let t = 0.6 + -0.1. Let k = w + t. Which is smaller: -1/2 or k?
-1/2
Let d = 5 + -11. Let c = d + 6. Is c at most as big as 1?
True
Let f = 2054/9 - 228. Let w = 19/36 + f. Which is greater: 1 or w?
1
Let i be (1/(-2))/(4/(-152)). Which is smaller: i or 20?
i
Let s = -6 - -10. Is s < 9/2?
True
Let z = -498 + 499. Suppose u = -u. Let q be (u + -1)/(39/(-6)). Is z > q?
True
Let w be (-10)/35 - (-12)/(-21). Is -1 bigger than w?
False
Let i(p) = -2*p**2 - 14*p + 2. Let z be i(-7). Suppose -23 = l + 5*u - 7, -3*l = 3*u. Suppose l*n = 8*n - 8. Is z at least n?
True
Let v(r) = -r**2 + 2*r + 2. Let i be v(3). Let o(j) = 8*j**3. Let f be o(i). Is f > -8?
False
Let t(p) = p**2 - 2*p + 1. Let v be t(1). Is v smaller than 1?
True
Let l(k) be the third derivative of k**4/24 - 5*k**3/6 - 3*k**2. Let g be l(4). Let i = -0.2 - 0.8. Is g greater than i?
False
Suppose 0 = 2*a + a + 33. Let m be -1 + 6/(-3) - a. Let l be (-2)/5*(-2 - m). Is 3 >= l?
False
Let k = 6 + -4. Suppose -1 + k = -h. Which is greater: h or 1?
1
Suppose -5*s + 47 = -68. Let x = s - 13. Suppose -3*h = -0*h + 4*z + 2, 4*h - x = z. Is h >= 2?
True
Suppose -4*n = 2*s + 12 + 16, 0 = -5*s + n - 48. Let j be (-3)/(-15) + 22/s. Let r be ((-2)/20)/(j/8). Is 1 >= r?
True
Let a(j) = j**3 - 8*j**2 + 4*j + 3. Let k be a(8). Let u = k + -15. Is u smaller than 20?
False
Let h = -1.529 + 0.029. Which is greater: -0.2 or h?
-0.2
Let m(s) = s - 3. Let h be m(3). Suppose 0 = -g - g - 12. Let o be 1 + 0 + 4/g. Which is bigger: h or o?
o
Let z = -23.8 - -21.78. Let h = 0.02 + z. Are h and 0 nonequal?
True
Suppose 4*x - 15 - 1 = -5*v, 16 = 3*v - 4*x. Which is smaller: v or 1?
1
Let f = -3 + 2. Let y = f + 1.2. Let o = 0.4 - y. Which is bigger: 1/2 or o?
1/2
Suppose -4 = -5*w + 1. Which is bigger: w or 2/15?
w
Let l(w) = -w**3 - 5*w**2 + 8*w + 6. Let f be l(-6). Let n = -4 + 4. Let x be n*2/f + -5. Is -5 not equal to x?
False
Let n = 2/97 + -212/873. Suppose 9*z = 5*z. Is z equal to n?
False
Let s = 4 - 4.06. Let w = 2.94 - s. Let f = 3.1 - w. Is 0.1 >= f?
True
Let i = -14 + 14. Suppose i = -4*p - 1 + 9. Is p < -2?
False
Let v = -3.2 - -0.2. Let d = 3.01 + v. Is -0.1 not equal to d?
True
Let i be (-1 + -3)/56*-1. Are 0 and i equal?
False
Let s = -2.4 - -2.38. Is s greater than 0.3?
False
Let j = 52 - 47. Which is bigger: 2/15 or j?
j
Let b = -9 - -6. Let y = 3 - b. Is 6 < y?
False
Let z = 3 + -2. Let j = -3 - -4. Is z at least as big as j?
True
Suppose -11 = s - 5*d + 6, 5*d = 2*s + 19. Let u be (-48)/(-30) - (-4)/s. Which is bigger: u or -1?
u
Let d be 6*(3 - (-609)/(-207)). Which is smaller: 1 or d?
d
Let a(y) be the second derivative of -y**4/12 + 2*y**3/3 + 3*y**2 + 4*y. Let j be a(5). Is j at most as big as -2?
False
Let m = 30 + -31. Let b = 62 + -373/6. Which is bigger: b or m?
b
Let u = -4 + -3. Let g = 3 - u. Let v be (-34)/g - (-2 + -1). Do 4 and v have the same value?
False
Let t be (-4 + (7 - 2))/(6/(-2)). Let o = -6 - -1. Which is smaller: t or o?
o
Let q be (-6)/(-3)*(2 - 1). Suppose 5*u - 4*c = -6, 2*c - c + 