se
Suppose 2*h - 3*f = -7, -3*f = -4*h - 1 + 2. Is 2 > h?
False
Suppose -3*i = -0*i - 3. Let k be -7 + 7 + i/1. Suppose 0 = -2*v + k - 3. Does -1 = v?
True
Let f be 1*(1 - (-2)/(-8)). Let x(a) = 2*a - 3. Let t be x(4). Suppose 3*p + 9 = -t*s, -p = p - 3*s - 13. Which is bigger: f or p?
p
Let l = 127/177 - 3/59. Is 1/15 <= l?
True
Let k(d) = d - 10. Let u be k(18). Let q = 7 + -1. Which is greater: u or q?
u
Suppose 4*w - 6 - 2 = 0. Let z be (-1)/(-3 + w + 0). Let h be z + 1 + -3 + -1. Is -2 < h?
False
Suppose -4 = -x + 4*i + 12, x + 3*i - 2 = 0. Suppose -n - x = -3*n. Suppose 5*m - w = -4*w + 19, 0 = -5*m + 5*w + 35. Is n less than or equal to m?
True
Suppose -4*a = q - 8, -5 - 4 = -5*a - q. Let f be ((-1)/(-3))/(2/(-30)). Let u = 5 + f. Which is greater: a or u?
a
Let h be (-130)/(-15) - (-1)/3. Let d be 3/((-4)/((-40)/3)). Is d at most as big as h?
False
Let n = 29/18 + -10/9. Is n <= -0.04?
False
Let b = 9 - 27. Which is greater: b or -19?
b
Let a be 2*3/24 + 234/(-120). Does -1 = a?
False
Suppose 4*b + 4*d - 16 = 0, -3*d + 6 = -6. Suppose s - 2 = b, -4*i + s = -i - 4. Suppose -n = -0 - i. Which is greater: 4 or n?
4
Let h(j) = j**3 - 2*j**2 - 8*j + 9. Let q be h(4). Do q and 10 have different values?
True
Let f = 1/59 + 57/118. Let p = 2.1 + -2. Which is smaller: f or p?
p
Suppose 4*y = -8, -3*y - 6 = i - 2. Suppose i = -0*c - 2*c. Are -1 and c unequal?
False
Let s(v) be the first derivative of v**4/4 - v**3/3 + 2*v + 2. Let l be s(0). Let h be 36/28 - l/2. Are 0 and h non-equal?
True
Let x = -0.9 - -2.2. Let n = 0.7 + x. Is n >= -2/3?
True
Let p(z) = -2*z**3 + 3*z**2 - 1. Let q be p(2). Let s(g) = -5*g**2 + 9 - g**3 + 0*g**2 - 4 + g. Let k be s(q). Is k bigger than -1/3?
True
Let v = 19 + -13. Let p = -6.1 + v. Which is smaller: p or 0.3?
p
Let j be ((-2)/(-6))/(3*(-4)/72). Let b = 2 + -1. Let w be -1 - 4*b/2. Is w < j?
True
Let f(d) = -d + 2. Let x be f(2). Suppose 2*c - 4*a = 48, 4*c - a = a + 78. Let z be 4/(-18) - (-4)/c. Are x and z unequal?
False
Suppose -5*j = 2*a - 16, 2*a + 18 = -3*a + 2*j. Let d be -3 + (a - 2) + 3. Is -5 smaller than d?
True
Let x = 69 + -346/5. Let k(d) = d**3 + 1. Let f = -13 + 13. Let g be k(f). Which is greater: g or x?
g
Let t be (-3)/(-3) - 1 - -3. Suppose 0*x = -t*x + 5*r + 40, -x + 30 = -5*r. Suppose 2*n - 8 = 4. Which is smaller: x or n?
x
Suppose 5*z = -83 - 17. Let f be (24/z + 3)*-1. Suppose -4*h = 2 + 6. Which is greater: h or f?
f
Let p be 15/4 + 2/8. Suppose -3*q + 4*q - p = 0. Which is smaller: 5 or q?
q
Let o = -48 + 53. Let y(c) = 4*c**2 + 10*c + 2. Let d(j) = 5*j**2 + 11*j + 2. Let i(a) = -5*d(a) + 6*y(a). Let u be i(o). Is u bigger than 3?
False
Let y = 4.66 - 5.6. Let j = -0.06 + y. Does j = 2?
False
Let s be 8/60*-3*5. Let x be 1*-4 + (-4 - s). Is -5 less than or equal to x?
False
Suppose 0 = -c - o - 7, 3*o = 5*c - 0*o + 19. Let x be 3/c*(-25)/(-10). Let t = -2.9 - -3. Which is smaller: x or t?
x
Let q be 243/78 - 0 - (2 + 1). Is 1 at most as big as q?
False
Let a = -100712/135 - -746. Is a less than 0?
True
Suppose 10*d + 6 = 3*y + 7*d, 0 = 3*d + 9. Let j = -2/7 + 5/42. Which is bigger: j or y?
j
Let b be ((-4)/4 + 0)/(-1). Is -2 not equal to b?
True
Let c be (69/6)/(-1)*2. Let h = -14 - c. Is h not equal to 8?
True
Let o(b) = b. Let d = -10 + 15. Let r be o(d). Let u(l) = -l**2 - 5*l - 2. Let p be u(-3). Is p at least as big as r?
False
Let a(s) = s**2 + 3*s + 2. Let u be a(-3). Suppose -3*v = -u*v. Suppose v = 2*w - w. Which is smaller: w or -2/7?
-2/7
Suppose 3*f + 3 = 5*b, 4*f + 2 = 2*f + 4*b. Which is greater: 29 or f?
29
Let n = 19 + -9. Let m = n + -9. Which is smaller: m or 2/5?
2/5
Let y be (-2)/(-6) + 16/6. Let m be (-1 - (-4)/3)*3 - -1. Do y and m have different values?
True
Let k be -1*(3 - 2 - -2). Let h be ((-3)/(-1))/(-3) - k. Suppose -4*q = 6 - h. Is q greater than or equal to 3/7?
False
Suppose 0*f = 5*f - 5, 3 = -x - 4*f. Let p be (-2)/(-7) + 142/x. Let d be (-4)/20 - (-11)/p. Which is smaller: 1/3 or d?
d
Let c = 28.35 + -0.35. Is 0 at most c?
True
Let b(k) = k**2 + 3*k - 6. Let y be b(-5). Suppose -v - r = -0*v + 13, -32 = 2*v + y*r. Let a be v/(-12)*6/20. Is 0 at most a?
True
Suppose 3*b = 5*b + 2. Let r(d) = -10*d**2 + 1. Let h be r(b). Is -10 less than h?
True
Let u(l) = 2*l + 15. Let b be u(-10). Which is greater: b or 0?
0
Let b be 16/(-7) - (31 + -31). Is b less than -3?
False
Let p(y) = -y**3 + 5*y**2 - 2*y - 13. Let q be p(4). Is 0 < q?
False
Suppose 12 = 4*g, 6*g - 6 = 2*a + 2*g. Suppose 5*q + a*k = 23 - 0, 5*k - 13 = -2*q. Suppose -b - 12 = -5*b. Which is greater: b or q?
q
Let v = -2 - 2. Let s be 3/v*(-1)/(-2). Which is greater: -1 or s?
s
Suppose 0 = -o + 2 - 5. Are -11/3 and o unequal?
True
Suppose -2*a + 1 + 11 = 2*g, -2*g - 5*a + 15 = 0. Suppose 0 = i + g + 2. Is i smaller than -7?
False
Suppose -c + 3 = -5. Suppose 0 = c*g - 5*g - 9. Does g = 4?
False
Let g(a) = -a**3 + a**2 - 1. Let k be g(2). Let n be (2/(-3))/((-5)/3). Which is greater: k or n?
n
Let p(q) = q**2 + 13*q + 3. Let a be p(-9). Let o be 1/(-3) + a/(-153). Let y be (-24)/(-18) + (-4)/3. Are o and y equal?
False
Let x = -37/2 + 17. Is x > -2?
True
Let r = -2.6 + 2.6. Which is bigger: r or -0.4?
r
Let c be ((-8)/(-12))/(2/36). Which is smaller: c or 0.2?
0.2
Suppose -4*k + 16 = 5*w - 8*w, -5*k = 4*w - 20. Suppose n + n - 10 = w. Suppose 3 = n*d - 6*d - v, 0 = 2*d + 5*v + 18. Is -2/9 > d?
False
Suppose 23 = 2*p - 5*q, 2*p + 7 = 3*q - 4*q. Is -1/12 less than p?
False
Suppose -5*y + 60 - 410 = 4*b, 4*y + 254 = 2*b. Let z = y + 261/4. Is z != -2?
True
Let v be -2 - (-2 + 4 + 0). Let k = -4 - v. Is k at most as big as -2/5?
False
Let q = 6.1 + -0.1. Let u = -5.92 + q. Let x be (-6)/(-4)*1/(-3). Which is smaller: x or u?
x
Let s be (1 + -1 + 1)*-1. Let f(c) = -2*c - 5. Let u be f(-3). Do s and u have the same value?
False
Let f = -255 - -106. Is -150 greater than f?
False
Suppose -p - 4*d + 16 = -0*d, 15 = 5*d. Let m be (-1 + 7/p)*-372. Let v = -1950/7 - m. Which is bigger: -1 or v?
v
Let y(r) = -r**2 - 6*r - 3. Let g(i) = 4*i**2 + 24*i + 11. Let p(w) = 2*g(w) + 9*y(w). Let x be p(-7). Let j be (-66)/14 + x/42. Is j < -5?
False
Suppose -2*l - 2*a - 6 = 0, 3*l + 6 = 4*a - 38. Let t = l - -11. Suppose -t = -3*i - 0. Is 1 at most i?
True
Let g = 0.37 - 0.07. Let a = 0.3 - g. Let p = -2 + 0. Is a less than p?
False
Let c be (-210)/(-25) + 2/(-5). Let p be (c/10)/((-14)/(-35)). Suppose -p*r + 5*i = 3*r - 25, 8 = 4*r - i. Does r = -2/7?
False
Let s be 2/(-1)*(-15)/6. Let x be 2/4*(5 + -5). Suppose -5 = s*l - x. Are l and 2/5 equal?
False
Let p(i) = i**3 - 8*i**2 + 6*i + 9. Let q be p(7). Suppose 4 = -4*j - 0. Let z be (q/(-6))/(j/3). Are z and 1/2 non-equal?
True
Let s = 33 - 18. Let u = s - 15. Is u greater than or equal to 0?
True
Let t be -4 + 0 - 7*2/(-7). Suppose -5*u + 9 = -1. Suppose u*q - q = -3. Does t = q?
False
Let j = 6.4 + -4.4. Is j greater than or equal to 0.04?
True
Suppose 17 = -3*g + 2*i, 5*g + 3*i = 2*i - 11. Let a(m) = m + 4 + 0*m - 2*m + 3*m. Let h be a(-3). Is h <= g?
False
Let h(d) = 2*d + 2. Let s be h(-2). Which is greater: -1 or s?
-1
Let w = -1.3 + 1.4. Which is smaller: w or 2/5?
w
Let o be -1*3 - (-11)/(-7)*-2. Which is bigger: o or 1?
1
Let j = 4 + -3. Let z = -877/2990 + -2/299. Which is smaller: j or z?
z
Let c = -8389 + 8468.89. Let o = 84 - c. Let u = o - 0.11. Is u at least as big as -1?
True
Let f = -3.02 - -0.02. Let c = 3.89 + 0.11. Let t = c + f. Which is greater: -0.1 or t?
t
Let l be (1 + -3)/4*(-396)/(-6). Which is greater: -34 or l?
l
Let t = 55 + -54.8. Let l = 3.1 - -0.9. Which is bigger: t or l?
l
Let k = 0.059 + 0.901. Let q = k + 0.04. Which is smaller: q or -2/3?
-2/3
Suppose -5*n = -4*n - 8. Let h = 17 - 8. Is n != h?
True
Let k be 12/(-6) - (-17)/1. Let f = k - 15. Is 0 less than f?
False
Let k be (-8)/8*0/(-2). Let n be 0 + ((-10)/6 - -2). Let j = n + -2/3. Which is greater: j or k?
k
Let y(v) = -v**2 + 11 - 10*v + 2*v**2 + 0*v**2. Let u be y(9). Suppose -o + 1 - 2 = 0, -r + 2*o + u = 0. Which is smaller: r or 1?
r
Suppose 4*y = -4*t + 420, -2*t + 3*y + 345 = t. Which is greater: 111 or t?
111
Let l = 0.1 - -0.9. Let y be (4/(-2))/(16/246). Let r = y - -31. Are r and l nonequal?
True
Let z = -1/28 - -31/84. Let u(k) = k + 4 - 10 + 0*k. Let o be 