+ 168. Is l != j?
True
Suppose -5*s - 2*b = 0, -b = -4*s - 0*b. Let h = 24 + -38. Let r be (2/5)/(h/(-10)). Is r less than s?
False
Let l = -0.03 + 0.03. Let t = 141131/2890 - 4/4335. Let h = 49 - t. Which is bigger: l or h?
h
Let q = 9.97 + 0.03. Let a = q - 13. Let g = 7/6 + -3/2. Which is smaller: a or g?
a
Let k = 2.96 + 0.04. Let v = k - 6.4. Let h = -0.4 - v. Which is smaller: 2 or h?
2
Let y be ((-22)/5)/((-6)/(-10)). Let f = 9 + y. Let h = -4/3 + f. Does 1 = h?
False
Let n be 14/12 + (-2)/12. Suppose 4 = 5*s - n. Is s not equal to -2/5?
True
Let o(r) = -r**2 - 13*r + 1. Let b be o(-13). Which is smaller: -1/32 or b?
-1/32
Let x(m) = -m - 3. Let n be x(-5). Let l(g) = g**2 + 8*g + 2. Let c(o) = o**3 + 3*o**2 + 4*o + 4. Let k be c(-3). Let i be l(k). Is n >= i?
True
Let c = -0.5 + -0.5. Let a = 47.1 + -50. Let l = a + 3. Which is bigger: l or c?
l
Let v be (10/(-6) - 0)*3. Let y be v/10*(1 - 1). Let q = 978/55 + -88/5. Which is greater: q or y?
q
Let d = 187603 - 82186. Let z = d - 17710109/168. Let r = 4/21 + z. Which is smaller: 1 or r?
r
Let u = 47 - 46. Which is smaller: 2/291 or u?
2/291
Suppose -4*a + 5*o + 29 = -0*o, a + 5*o = -24. Let i be 1*(a/(-3) + 0). Which is smaller: i or 26?
i
Let f = -8 + 7. Which is bigger: f or -2/57?
-2/57
Let k = -0.3 + 0.4. Let b = 0.5 + -0.7. Let f = k + b. Is 2 smaller than f?
False
Let m = 1/698719 - -531425707/698719. Let u = 762 - m. Is u greater than 0?
True
Let h = 10/13 - -35/39. Suppose 5*f + 2*s = 6, -8*f - 5*s = -3*f. Suppose 16 = -2*a + 5*w, -f*a - 3*a - 5*w + 30 = 0. Is h at least as big as a?
False
Let z(k) = k**3 + k**2 - k + 4. Let o be z(0). Let r = 66 - 64. Is o > r?
True
Let z be -1 - (20/5 + -4). Which is greater: -11 or z?
z
Let o(u) = -4*u + 3. Let n be o(-3). Suppose -5*k = 5*z - 0 - n, -5*k = -4*z - 15. Let p = -2 + 4. Is p less than k?
True
Suppose 25 = -5*j - 5*f, -4*f = -2*j + 21 - 7. Let b be -1 - (7/(-5) - j). Do 2 and b have different values?
True
Let n = 144 - 137.9. Let u = n - 6. Is u equal to 0?
False
Let h be 4/(-2) + (-10 - -12). Is h equal to -1/7?
False
Let f = 9 - 5. Let d = 2 - f. Let a be 1*2/d*2. Which is greater: -0.1 or a?
-0.1
Let n be 32/7 + (-7)/(-49). Is n at most as big as 5?
True
Suppose -3*x - 27 = c - 6, 3*c + 5*x = -43. Which is greater: -54/11 or c?
-54/11
Let x(d) = d - 5. Let v be x(5). Let c be 21/(-9)*-2*(-6)/(-42). Are c and v nonequal?
True
Suppose -3*f - 1 = -2*f. Let h(c) = -c - 3. Let t(k) = k - 2. Let i be t(-2). Let j be h(i). Do j and f have different values?
True
Let s be (0 + (-23)/3)*3. Let u = s + 70/3. Which is smaller: -2/7 or u?
-2/7
Let k(y) = -y**3 - 4*y**2 + 4*y - 4. Let z be k(-5). Is z >= 9/7?
False
Let j = 33/719 + 116443/79090. Let c = 1/55 - j. Is -3 < c?
True
Let c = 1 - 1. Suppose 2*q + 5*w - 10 = c, 2*w - 6 = -w. Suppose -2 + 9 = -7*g. Is g < q?
True
Let w(r) = -r**2 + 5*r + 4. Let f be w(5). Suppose s = 3*d - s + 11, -f*d - 23 = -s. Which is bigger: -8 or d?
d
Suppose 0 = -i + 2*b + 4, -12 = -i - 2*i - 2*b. Suppose -i*t = 2*v - 4, 5*t = 2*v + 2*v + 5. Which is bigger: 1/15 or v?
1/15
Let t = -4.11 + 4. Let h = -0.01 - t. Let f = -0.2 + h. Which is smaller: 0.06 or f?
f
Let i = -2.26 - -2.2. Is i bigger than -0.06?
False
Let m = 3 + -2. Let u be m*(-1)/(-13) + 0. Which is smaller: u or 0?
0
Let y = 110 - 433/4. Which is smaller: y or 2?
y
Let z be 1/(-2) + 3/(-2). Let k be 4 - (1 + z)*-3. Is -1 > k?
False
Suppose 5*n - 310 = -x, 4*n + 0*x - 248 = 4*x. Let b = n - 247/4. Let f(m) = -m**2 + 8*m + 8. Let r be f(9). Is r less than b?
True
Suppose -o - 3 = p, -5*p - 3*o - o = 14. Which is smaller: p or -1?
p
Let x = -514 - -14908/29. Which is smaller: 1 or x?
x
Suppose 0 = j + 6*j - 35. Suppose -q - 2*k = 2*q - 9, -q - 4*k = 7. Is q less than or equal to j?
True
Let z(l) = l + 12. Let w be z(-12). Suppose 4*a + 9 = 3*x, -a - 9 = -2*x - 3. Suppose w = x*k + 2*k. Are 0 and k equal?
True
Let k = 47 + -48. Which is smaller: 9 or k?
k
Let c = 11 - 7. Let n = -4 + c. Is n greater than 1/4?
False
Suppose -3*f + 2*m + 32 = 3*m, 3*m + 21 = 4*f. Suppose -x - 1 = 3*b + 3, 3*x - f = -2*b. Is x smaller than 8?
True
Let l be 10*(-3)/(-18) + 4/(-6). Is 1/57 less than l?
True
Let x be ((-20)/(-25))/((-1)/5). Let k be 190/105 + x/6. Do k and 0 have the same value?
False
Let h = 1.72 - 0.22. Which is bigger: h or 1?
h
Let g = 43 + -29. Suppose -3*w - g = 5*y, -3*y + 5*w - 18 = 2*w. Is y <= -4?
True
Let p be 28/6 - 1/(-3). Suppose 3*b - 2 = -l + 8, 20 = p*l. Suppose 0*r - b = -r. Is r less than 3/5?
False
Let d = 11 - 9. Suppose -d*z + 0*s - s - 8 = 0, 5*z + 4*s + 26 = 0. Which is smaller: z or -3?
-3
Let n(w) = -w**3 + 7*w**2 - 5*w - 4. Let i be n(6). Suppose 26 = 5*b + 4*k, -2*b - 1 = i*k - 11. Suppose 2*f = b*f. Is f at most as big as 0?
True
Suppose 0 = -2*c - 2*c - 20. Let s be (c/(-6)*-2)/(-1). Which is greater: 1 or s?
s
Let o = -19 + 17.4. Let v = -0.2 + o. Let y = v + 2. Is -2 at least y?
False
Let k = -6 - -10. Suppose k*x = -x. Which is bigger: 2/9 or x?
2/9
Suppose -4*n + 2 - 1 = 5*f, 5*n - 32 = 4*f. Let j(v) = 2*v - 8. Let r be j(6). Is r at most as big as n?
True
Let s = -84 - -60. Which is smaller: s or -1/2?
s
Let j = 3.1 - 3. Do 0.13 and j have the same value?
False
Let f be (-5 + 2)/3*-2. Let q = f - 10. Which is smaller: q or -9?
-9
Suppose 0 = -4*s - 2*f + 3*f - 4, -5*f = -4*s + 12. Is s bigger than -3/5?
False
Let v = -119 - -1069/9. Is 3 at least as big as v?
True
Suppose -5*j + 3 = -4*j. Suppose -k + 3 = j*l - 5*l, -l + 3*k = 9. Let q be (0 + -1)/(0 - -1). Is q at most as big as l?
True
Suppose u + 3 = -1. Suppose 2 = -2*g - 2. Is u at most g?
True
Let s = 8 - 8. Is -2/7 >= s?
False
Suppose 21 = -5*d - 19. Let l = d - -8. Which is greater: -1 or l?
l
Let q be 3/12 + 693/(-180). Are q and -4 equal?
False
Let q(p) = -p**2 - 12*p - 10. Let y be q(-11). Is y <= 2?
True
Let d(l) = -l**3 - 9*l**2 + 11*l + 17. Let k be d(-10). Which is smaller: k or 10?
k
Let r be (1*-64)/((-11)/22). Which is smaller: r or 127?
127
Suppose 4*f = f + 3. Let q = 2 + 3. Let l be q/(-8) - 1/(-4). Which is smaller: l or f?
l
Let y = 0.112 + 1.028. Let q = 0.14 - y. Is 5 greater than or equal to q?
True
Suppose a = -4*a. Let f(n) = a*n + 0*n**2 - n**3 - n - 4*n**2 - 3. Let m be f(-4). Is 3/5 at least as big as m?
False
Let h(x) = -6 - x**2 + 2 - 1 + 0 - 6*x. Let j be h(-5). Let c = -294 + 3236/11. Which is greater: c or j?
c
Let c = 5.13 - 0.13. Let s = -2 + c. Let n = s + -3.2. Is 0.1 less than n?
False
Let j = -4 - -8. Suppose 4*t - 3*q + 0 = -33, 2*t = -3*q - 21. Let n = t + j. Which is bigger: n or -4?
-4
Let n be 10/66 - (-1)/(-3). Suppose 0 = 5*k - k - 4. Is k less than n?
False
Let m be 3/2 - (-15)/10. Suppose -3*y + 4 = -5*o - 5, 0 = m*y - o - 9. Suppose 4*q = y*q. Is 0 at most q?
True
Suppose 12 = 4*n - 0*n. Suppose -5*u = -a, 0 = -4*u + 3*a + n + 8. Is u > -1?
False
Suppose 2*n + 14 = 4*n. Let w = -2 + n. Let u = 4 + 2. Which is greater: u or w?
u
Let p be ((-6)/(-15))/((-8)/(-20)). Let l be 4 + (-4 + p - -2). Which is smaller: 4 or l?
l
Let f(s) = s**3 + s**2. Let u be f(0). Let w be (-1)/(-1) - (1 - -1). Let t be (-4)/10 + w + 2. Is t bigger than u?
True
Let r = 0.1 - 0.26. Is r bigger than -0.1?
False
Let i = 1397 - 6854/5. Let a = 26 - i. Which is smaller: a or 1/4?
a
Let p = -10 - -20. Suppose -3*v + 17 = -p. Which is bigger: 8 or v?
v
Let b be (-12)/(-20)*4/(-6). Suppose 2*y - y + 2*x - 10 = 0, 4 = -4*x. Let m be (3/(-15))/((-4)/y). Does b = m?
False
Let s(c) = -2*c + 4. Let r be s(3). Let g = -7/32 - 431/224. Is r greater than g?
True
Let b be -1 - ((-60)/8 + 2). Let d = b - 5. Which is greater: d or -2?
d
Let z = 43 - 1. Let c be 2/(-4) + 3/z. Is c >= -1?
True
Let u = -3 + 5. Does 1 = u?
False
Let h be 1 - 0 - (1 + -5 - -1). Is -0.01 smaller than h?
True
Suppose -46 - 11 = -3*r. Are 19 and r non-equal?
False
Let h(a) = a + 4. Let f be h(-7). Is f > -3?
False
Let c be (-35)/4 + (-2)/8. Let d be c/(-4) + -4 + 2. Suppose 1 = -4*n - 3. Is d less than n?
False
Suppose 0 = 3*c + 2*c - 4*q - 16, -3*c + 16 = 4*q. Which is bigger: 3 or c?
c
Let l = -10 + 8. Let c = 7 + -5. Suppose -3*o = -o + 5*j - 4, 0 = -c*o + 3*j - 12. Which is greater: o or l?
l
Let u be (-67)/(-5) + (-2)/5. Suppose u = -4*g - 7. Is -4 at most as big as g?
False
S