s greater: h or -3?
h
Let a = 0 - -1. Let v be (-1)/(a/8)*-2. Suppose -p - 4*t - 8 = 0, 5*p = 2*t - 2 - v. Do p and -4 have different values?
False
Suppose -2*y = -c - 2, 5*c + 4*y = 3 + 1. Suppose c = -5*b - 0 + 5. Which is smaller: 2/3 or b?
2/3
Let f(r) = -r**2 - 5*r - 1. Let k be f(-5). Let z = k + 2. Let s = -11 - -13. Is s less than z?
False
Suppose 2*p - 3 = 3*p. Suppose 0 = -3*v + 12 + 6. Let g be ((-1)/2)/(3/v). Are p and g equal?
False
Let m(r) = r**2 + 13*r + 18. Let j be m(-10). Are j and -11 nonequal?
True
Let f(h) = -h**3 + 6*h**2 + 5. Let v be f(6). Suppose -4*j - 11 = 3*s + 6, s = -v*j - 24. Let b = 3 + -2. Is s < b?
False
Suppose 5*n = -3*z + 6, -5 - 7 = -2*n + 2*z. Let i = 1 - n. Let c be i/(((-8)/(-3))/4). Which is greater: -4 or c?
c
Let w = -3/19 + 59/133. Which is greater: w or 19?
19
Let y(t) = t - 8. Let f = -10 - -26. Suppose f = 3*o - o. Let p be y(o). Which is bigger: p or -1?
p
Suppose 5*d - 11 = -4*p, 3*p = 2*d - 3 - 6. Suppose h - 13 = -3*c + 6, 12 = d*h. Are c and 7 unequal?
True
Suppose -6 = 4*c + 3*t, 4 = -0*c + 2*c - 2*t. Let y = -1 + 0. Which is smaller: c or y?
y
Let i = 76 - 91. Which is bigger: i or 3?
3
Let h = 0.1 - -0.2. Let m = 0.4 - h. Which is greater: -4/5 or m?
m
Let n be ((-50)/30)/((-1)/3). Is n < 3?
False
Let q = 3/2 - 7/4. Let p = -0.89 + 0.69. Which is bigger: q or p?
p
Suppose -5*g - 5*b = -10*g, -2*b = -3*g - 2. Is g at least -2?
True
Let z be 9/(-12) + (-6)/(-8). Let m = 60 + -959/16. Does m = z?
False
Suppose -6*h = 50 + 406. Do -76 and h have the same value?
True
Let s(z) = -z**3 - 3*z**2 + 3*z - 2. Let y be s(2). Let f be 4/y*2*0. Is -3/4 > f?
False
Let x(d) = 2*d**2 + 11*d + 6. Let r be x(-8). Which is bigger: 47 or r?
47
Suppose 4*v + 18 = 3*s, 2*s + 2*v + 2 = -0. Let o = -3 - -2. Let d = s - o. Is 4 >= d?
True
Suppose -12 = -0*f + 3*f - u, 3*u = 0. Let b be -1 + (f - (-1 + 0)). Let g(l) = 3*l. Let m be g(-1). Is b bigger than m?
False
Let j be (-1 + 0)*13/65. Which is greater: j or 0?
0
Let u = 116459/167046 + -1/5062. Let j = u - 4/11. Which is bigger: -1/9 or j?
j
Let c(i) = i - 14. Let l be -1 + 8*(-8)/(-4). Let b be c(l). Which is smaller: -2 or b?
-2
Suppose 0 = 3*z - 5*f - 59 - 16, 5*f = z - 15. Is z less than 30?
False
Let n(y) = y**2 + 6*y + 1. Let i be n(-5). Which is smaller: -13/5 or i?
i
Let b(n) = n**2 + 3*n - 1. Let k be b(-4). Suppose -w + 4 = -3*z - 0, w - z - 8 = 0. Let c = 13 - w. Is k less than or equal to c?
True
Let q = 9 - 6. Let w be (-1)/1 + 0/q. Let b be 3/((-33)/20) - 12/(-6). Which is bigger: b or w?
b
Let n be ((-4)/40)/(1/2). Let g(o) be the third derivative of o**6/120 - 7*o**5/60 + 7*o**4/24 - 5*o**3/6 - 3*o**2. Let q be g(6). Is n bigger than q?
False
Let m be (-1)/(39/(-9) + 4). Is m < 2?
False
Suppose -t - 22 = -4*o, -4 = -4*t - 3*o + 3. Let i be (-1 - t)*1*-1. Which is smaller: 2/7 or i?
i
Let m be (-1)/7 + 6/21. Let n(f) = 4*f - 3. Let a be n(1). Which is bigger: m or a?
a
Let p(f) = -3*f - 6. Let c be p(-4). Is c not equal to 6?
False
Suppose -22*q + 441 = -13*q. Is 51 at least as big as q?
True
Let w = -27 - -19. Let u be (-10)/w - 4/16. Is -5 <= u?
True
Let i be 3 - ((-7)/(7/(-15)) - 4). Is -47/6 greater than i?
True
Let i = -13 - -79/6. Suppose -2*m - 6 + 8 = 0. Does m = i?
False
Let a be 0/3 - 130/(-8). Let b = -577/36 + a. Which is smaller: b or -1?
-1
Let p be 1 + 1*(1 + -3). Let a(b) = -b**3 - 9*b**2 - 4*b + 4. Let h be a(-4). Let z be (-8)/20 + (-14)/h. Which is smaller: z or p?
p
Suppose 0 = 4*d - 9*d + 20. Let s be -1 - -2 - d*1. Let f be -1*((-6)/s - 5). Is f less than 3?
False
Let r be (-5)/10 - (-9)/26. Let l = -6.99 - -7. Let s = -0.01 + l. Which is smaller: r or s?
r
Let y = 1946/9 + -216. Let d = 97 - 98. Is y smaller than d?
False
Let v = 47 + -56. Which is smaller: -2 or v?
v
Let n = -28 + 82/3. Let u = 1.3 + -10.3. Which is greater: u or n?
n
Let x = -59 - -532/9. Which is smaller: x or 1?
x
Let y = -30 + 31. Let p = 10 + -3. Let c = 4 - p. Which is smaller: y or c?
c
Let w be (-6)/(-8) - (-21)/(-12). Suppose -5*c = 4*x + 33, -2*c = x + 3*c + 27. Does x = w?
False
Let j be ((-3)/(-4))/(1/4). Suppose 4*s = j*s + 3. Let i = 6 - s. Which is smaller: 4 or i?
i
Let d be 3 + (-12)/9*-3. Is d less than or equal to 10?
True
Let t = 6 + -78. Is -74 at most t?
True
Let j = 6/11 + 58/55. Let w = -39 + 42. Which is bigger: w or j?
w
Let n be (51/4 + 0)*(-28)/(-7). Which is smaller: n or 50?
50
Let r be (-65)/9 - -7 - (-409)/18. Is 22 >= r?
False
Let a = 56 + -78. Let c = -21 - a. Are c and 1/12 equal?
False
Suppose 7*z - 139 + 118 = 0. Let i(h) = -h**3 + 7*h**2 - 5*h - 5. Let a be i(6). Which is smaller: z or a?
a
Let c(p) = -4*p**2 + p**2 + 4*p**2 + 1 + 8*p**2. Let i be c(-1). Let w = i + -10. Which is smaller: w or 5/4?
w
Let m be (4/(-10))/((-11)/(-220)). Let j(f) = f - 8. Let l be j(0). Is m at least l?
True
Let s = 15629/4 - 3956. Let y = -48 - s. Let g(p) = -p**3 - 7*p**2 + p + 7. Let i be g(-7). Which is bigger: i or y?
y
Suppose 0 = -5*f + 4*m - 2, 10*f - 7*f - 5*m = 4. Which is greater: 7 or f?
7
Let v = 130 + -227. Is v > -0.2?
False
Suppose q = -2*q - 60. Which is bigger: -19 or q?
-19
Let x be 1*-2 + 5 + -1. Suppose -4*q = -2*q + 3*t + 1, 0 = 3*q + 4*t + 3. Let u = x + q. Which is bigger: -1 or u?
-1
Let w(r) = 3*r - 1. Let x = -4 - -5. Let g be w(x). Let k be 2/(g - 4) + -1. Is -3 at most k?
True
Let y(m) be the third derivative of -m**6/120 + m**5/60 + m**3/3 - 8*m**2. Let g be y(2). Is -3 greater than or equal to g?
False
Let t be (-1 - -2)*8/32. Let p = 174586/21 + -8312. Let q = -88/63 + p. Is q >= t?
False
Suppose -5*j + j = -4. Suppose 5*q = 9*q + 8. Let n be 0/((-2)/(q + 1)). Which is smaller: n or j?
n
Suppose 4*c - 6 + 18 = 0. Which is smaller: 0 or c?
c
Let f be -1 + (-1)/(-1) - 1. Suppose 0 = 3*r + 2*r. Is f less than r?
True
Let k = -2 - -2. Let a = 0.1 + k. Let d be (-6)/(-10) + 0 + (-209)/165. Is d at most a?
True
Suppose -22 + 103 = 3*n. Let u = -31 + n. Is -11/4 at most u?
False
Let d be (3/1)/((-2)/(32/12)). Which is smaller: -12 or d?
-12
Let i = 16 + -7. Suppose -i = 6*b - 69. Which is bigger: 9 or b?
b
Suppose 0 = -2*f + 30 - 80. Let v be (-32)/(-2)*22/(-14). Let l = v - f. Which is smaller: l or -1?
-1
Let h be 2/(-6) + (-6)/9. Which is smaller: 2/11 or h?
h
Suppose 3*v + 0 = -15. Let m = v - -2. Is m < -0.2?
True
Let a be 3142*3/(52 + 2). Let q = a - 175. Does q = 0?
False
Suppose 1 = 5*f + 3*l, -2*l + 7 = -2*f + 1. Let y be 8/(-2 - -1)*4. Let d = y + 191/6. Is d != f?
True
Let g = -0.11 - -0.47. Let a = 0.3 - g. Let v = 2.94 - a. Are 1 and v unequal?
True
Let q = -0.14 + 0.24. Is q greater than -2?
True
Let v = 22/3 - 676/93. Is 0 != v?
True
Let n = 18 + -11. Let w = n + -12. Let h = 7 + w. Is -1 less than h?
True
Let c(l) = -l**3 + 2*l**2 - 2*l + 3. Let p be c(2). Let y(m) = m**3 + 9*m**2 + 7*m - 9. Let w be y(-8). Let f be 3 + 36/(-10) - w. Is p equal to f?
False
Let b be (-2)/16 - 8/(-64). Which is greater: b or 2/61?
2/61
Suppose 16*i - 27 = 5. Is i at most 14/5?
True
Let w be (1 + 1)*(2 + -9). Let o = w - -24. Let f be 4/(8/o)*1. Which is bigger: 4 or f?
f
Let j be 3/(-12)*-1 + 0. Do 2 and j have different values?
True
Let l be 4/12*36/(-28). Which is smaller: l or 1?
l
Let p = -66 - -68. Is p at least -5/6?
True
Suppose 0 = 2*w - z - 6 - 5, -5*w - 5*z + 20 = 0. Suppose -3*t - w*g - 6 = 10, 5 = 5*t + 2*g. Which is smaller: t or 4?
t
Let d(q) = 15*q + 12. Let c be d(-4). Is c > -49?
True
Suppose 0 = 2*v - 1 - 3. Let i(q) = -3*q + v*q + q + 3*q + 4. Let t be i(-3). Which is bigger: -6 or t?
t
Suppose w = 3*w + 12. Let n(r) = r**3 + 5*r**2 - 4*r + 7. Let a be n(-6). Is w at least as big as a?
False
Suppose 0 = -x - 4*n + 320 - 65, 1187 = 5*x - 2*n. Let h be (-1)/2 + x/190. Let l = 3/19 - h. Which is bigger: l or -1?
l
Let g = -4 - -8. Let z = 22.2 - 22. Let k = z + -2.2. Which is bigger: g or k?
g
Suppose -7*s + 11*s = 140. Suppose 2*b + s = 7*b. Which is greater: 8 or b?
8
Suppose 0 = -2*v + v + 1. Let j = 2 + -9. Let q = j - -6. Is v at most as big as q?
False
Let v(k) = k. Let p be v(-1). Let f be 15/((-9)/3) + p. Let b = f - -8. Do b and 2 have the same value?
True
Suppose -3*x + 5*x = 2*q - 6, 30 = -4*x - 5*q. Let b(u) = u**2 - 6*u - 6. Let v be b(6). Which is smaller: v or x?
v
Suppose -4*w = 