 be (-2)/(-5) + 56/(-65). Suppose 0 = 5*q + 2*o - 5, q + 2*o + 11 = 4*o. Is v > q?
True
Let j be (233/(-4) + 6/24)/(-1). Is j at most as big as 56?
False
Let h = 15 + -14. Is h greater than or equal to 8?
False
Let f be 27/(-168) + 2/7. Do 0 and f have different values?
True
Let c = 1 - 2. Let v be (3 - 22/6)*3. Let b = -2 - v. Is b greater than c?
True
Suppose -6 = -5*w + 9. Let r = -175 - -175.3. Which is smaller: r or w?
r
Let f(a) = a - 5. Let y be f(11). Does 6 = y?
True
Let c(b) = -b**2 - 8*b + 7. Let z be c(-8). Suppose a + 1 = -f, 5*f - z = -a + 12. Does a = -5?
False
Let f(m) = -3*m - 1. Let j(w) = 10*w + 4. Let q(r) = -7*f(r) - 2*j(r). Let k = 12 + -8. Let x be q(k). Is 3 at most as big as x?
True
Let i be (-1)/(2 + (-9)/6). Let r be -2 - ((i - 1) + 1). Which is smaller: -3/7 or r?
-3/7
Let m be (-4046)/9*(-5)/(-10). Let u = 225 + m. Does u = 1?
False
Let z(c) = -c**2 - 7*c - 19. Let j be z(-6). Which is smaller: -17 or j?
-17
Let o be 0 - 12 - -2 - -3. Let c be (4/8)/(1/(-2)). Let w be (-1 + -5 + c)/1. Is o < w?
False
Suppose 0 = -n + 5*w + 1 + 2, -5*w = -5*n + 55. Suppose 16*d - n*d - 72 = 0. Is 24 bigger than d?
False
Let n = 14 + -2. Let m be (-1)/2*n/15. Is -1 at most m?
True
Let l = 512/221 + -42/17. Which is bigger: l or -0.08?
-0.08
Let z(f) = 5*f**3 + 4*f**2 - 8. Let j(r) = -9*r**3 - 7*r**2 + 15. Let a(v) = -4*j(v) - 7*z(v). Let l be a(0). Which is smaller: -7 or l?
-7
Let g = 21.5 - 27.78. Let v = g + 0.28. Which is greater: v or 2?
2
Let m(v) be the first derivative of 1/2*v**2 - 6*v + 2. Let x be m(5). Is x bigger than 2/15?
False
Let a = -0.4 + 0.3. Let f = 10 - 10. Is a less than f?
True
Let f be ((-2)/20)/((-1)/(-6)). Suppose 6 + 2 = 2*w. Suppose 3*s - 6 = 5*g, 0*g - 5*g + w*s = 8. Which is bigger: f or g?
g
Suppose 2*k - 2*p - 1 = -5, 3*p = 12. Let n(m) = 2*m - 9. Let j be n(7). Suppose j*o + d + 3*d = -20, -k*d = 10. Are o and -1 non-equal?
True
Suppose -2*a + 3 = -a. Suppose 6 = a*i + 3*z, 8*z - 3*z = i - 14. Suppose 6*d - 2*d = -i. Which is smaller: 0 or d?
d
Suppose -28*z = -33*z - 370. Is z >= -75?
True
Suppose 2 = s - 0, -w + 4*s = -6. Is w greater than or equal to 14?
True
Let v = -22.9 + 23. Is v <= 5?
True
Suppose 4*s - 8 = 0, y + 0 = -4*s + 12. Let t = -6 + y. Let l be ((-3)/2)/((-3)/(-4)). Are l and t equal?
True
Let k = 10 - 29/3. Let s = 6 + -9. Let j = s + 2. Is j <= k?
True
Let l = -26.1 - -25. Let s = -1.1 - l. Is s at least -1.2?
True
Let x be (-242)/(-8) + ((-5)/4 - -1). Which is smaller: x or 0?
0
Suppose 6 - 18 = -2*s. Let z = -2 + s. Which is smaller: 0.1 or z?
0.1
Suppose -3*p + p - 26 = -5*c, 5*c + 2*p - 14 = 0. Suppose 0 = 5*v + 4*u + 26, -c*v - 2*u - 3*u - 28 = 0. Suppose 3*a - 6*a - 3 = 0. Is v equal to a?
False
Suppose -n - 3*n = 0. Suppose n = 2*p - 0 - 2. Let d be (-18)/(-8)*(-2)/12. Which is greater: p or d?
p
Let u(j) = j**3 - 9*j**2 + 7*j + 10. Let v be u(8). Suppose 5 - 1 = -v*a + 5*s, 3*a + s + 6 = 0. Let p be 0 + (-1)/a*2. Which is smaller: -2/5 or p?
-2/5
Suppose t - 2 = -0. Let r be (1/t)/((-5)/(-15)). Are r and -1 equal?
False
Let i = -8.17 - -10.1. Let q = i + 0.07. Is q equal to 1?
False
Let j = -33 - -30. Let c be (1/4)/(1/4). Which is bigger: c or j?
c
Suppose -444 = 10*g - 16*g. Does 75 = g?
False
Let d = 0.01 + -0.11. Let a = d + -0.1. Which is smaller: -2/9 or a?
-2/9
Let v = -41697/49 - -851. Let d = 247 + -247. Is d not equal to v?
True
Let a be 4 + (3 - 3 - (-232)/(-60)). Is a >= -1?
True
Suppose -2*h = -3*l + 2, h + 6 = -2*l + 19. Suppose -2 = 5*f + q, -1 = l*f + 4*q - 9. Which is smaller: -9 or f?
-9
Let o = -0.83 - -3.83. Which is smaller: o or -2/3?
-2/3
Let y = -3.8 + 6.5. Let n = 0.7 - y. Which is smaller: 2 or n?
n
Let i = -4 - -5. Let s be (7/49)/(2/6). Which is greater: i or s?
i
Suppose o - 33 = -j, 5*o = 2*j - 0*o - 59. Let a = j - 129/4. Do a and 1 have different values?
True
Let y(g) = -g**3 + 3*g**2 - 3*g + 2. Let t = -11 - -13. Let u be y(t). Do u and 1/10 have different values?
True
Suppose -s - d - 8 = 4*s, -2*s = -5*d + 14. Let t = 4 + s. Suppose -2*h - t*h = 0. Which is bigger: h or -2/7?
h
Let q = 37/52 + -6/13. Which is smaller: q or -1/43?
-1/43
Let g = 28 + -27.2. Which is bigger: g or 1/2?
g
Let j(f) be the first derivative of f**4/4 + 7*f**3/3 - 9*f**2/2 - 8*f - 4. Let y be j(-8). Which is greater: -1 or y?
y
Let c = -2623/12110 - -2/865. Is -1 at least c?
False
Suppose -4*u - 2 = 2. Let v be (-2)/u + 10/(-6). Suppose 5*k + 4*n = -0*k - 7, k - n - 4 = 0. Does v = k?
False
Suppose -8*b - 18 = b. Suppose 0 = m - 0 + 2. Does m = b?
True
Suppose 4*u - 4*c - 1 - 3 = 0, -3*u = -2*c - 3. Let a(v) = 3 + v + u - 1. Let l be a(-2). Is l > 2/11?
True
Let f(y) = y**2 - y + 1. Suppose 2*x = -4*c, 0 = c - 3*x + 2*x. Let z be f(c). Let p be (0/2 - z) + 4. Is 2 less than p?
True
Suppose 4*i = c - 1, 0 = -c - i - 2*i + 8. Let q(t) = -t. Let j be q(3). Let b = c + j. Are b and 1 equal?
False
Let a = 10 + -10. Let h = 0 + 1. Let p(k) = -k**2 + k + 1. Let t be p(h). Which is smaller: a or t?
a
Let d = 12/19 + -173/304. Which is greater: -1 or d?
d
Let x(r) = 2*r**2 + 51*r - 12. Let i be x(-25). Which is bigger: -1 or i?
-1
Let v = -21 + 148/7. Which is smaller: 1 or v?
v
Let f(o) = -2*o**2 - 8*o + 1. Let n be f(-4). Is n != -2/131?
True
Let r = 12 - 2. Suppose -7 = -4*q + 5*j, -2*q = -4*q + j + 11. Is r bigger than q?
True
Let t be 2/15 - (-50)/(-375). Is -1/14 greater than t?
False
Let h be 1 + (-2)/6*0. Let f = -576/7 + 82. Does f = h?
False
Suppose 0 = 3*v - 2*v - 4*a + 14, -2*a = v - 10. Is v >= 4?
False
Let m(z) = z**3 + 9*z**2 + 10*z + 1. Let u be m(-8). Are -14 and u non-equal?
True
Suppose 0 = a - 4*a + 12. Suppose -4*l - 2*q - 16 = -4*q, -a*l + 3*q = 12. Let c be 12/15 - (-4)/l. Which is greater: c or 1?
1
Let j be (0 - (-3)/4)/(26/312). Is 10 greater than or equal to j?
True
Let z(q) = q**3 + 6*q**2 + 5*q + 6. Let k be z(-5). Suppose -g = 4*y + 3, 4*y + 3*g + 3 = -k. Suppose 3*f - 9 = -y*f. Which is bigger: f or 2?
f
Let f(v) = -v + 6. Let x be f(6). Let b = -3.6 + 6.67. Let i = 0.07 - b. Is x bigger than i?
True
Let s(h) = -6*h**2 - 4*h + 10. Let i(a) = 3 - 3*a**2 + a**2 - a + 0*a**2. Let c(p) = -10*i(p) + 3*s(p). Let n be c(2). Is 4 greater than n?
False
Let m = -575/68 + -3/68. Which is greater: m or -9?
m
Let q be (-13)/(-78)*(-6)/(-10). Let x = 0 + 0. Is x smaller than q?
True
Let l(d) = -1 - d + 3 - 1. Let f be l(1). Let t = -2 - -3. Which is greater: t or f?
t
Suppose -4 = -2*k + 4. Let g = k + -2. Let m = 1 + 2. Which is smaller: g or m?
g
Let s = -2/37 - -136/1147. Is s at least as big as 0?
True
Let u = 290 + -184. Let o = 528/5 - u. Let y = 2 + -1. Is y at most o?
False
Suppose 0 = 4*n - 0*n + 24. Let a = 5 + n. Is a greater than or equal to -2?
True
Let k = -0.05 + 0.15. Let t be (-2)/1 - (-17)/9. Do t and k have the same value?
False
Let i(t) = -t**2 - 13*t - 4. Let u be i(-11). Is 18 <= u?
True
Let s = -41.2 - -5.2. Let f = s - -27.1. Let x = f + 9. Are -6/5 and x nonequal?
True
Suppose -5*n = -2*u + 11, 3*u + 1 = 5*n + 15. Suppose u = -3*z + 6. Which is smaller: 3/2 or z?
z
Let o be 0/(-7 - -2)*(-2)/(-6). Which is smaller: 2/153 or o?
o
Let h(z) = 2*z**2 + 5. Let b be h(4). Does b = 36?
False
Let a = -0.144 + 0.044. Which is greater: -3/22 or a?
a
Let i be -3 + 0 - 100/(-30). Suppose 0*w + 6 = -3*d + 3*w, -4*w = -3*d - 6. Let v be d/(-5) + (-28)/20. Is v at most i?
True
Let q be -2 + (-12)/(-8)*6. Let n(v) = v**3 - 8*v**2 + 9*v + 6. Let s be n(q). Is s at most 21?
True
Let x(z) = -2*z. Let k be x(7). Let d be -2 + 1 + (-10)/k. Suppose 2*h = -2*u - 4, 4*h - u - 2*u = 13. Is h at least as big as d?
True
Let n = -0.05 + -0.05. Let p = n + -6.9. Is p smaller than 0?
True
Let n = -24 + 17. Is -1/3 not equal to n?
True
Suppose 3*g = 2*d + d - 21, -2*g = 2*d - 6. Suppose 9*h = 4*h + d*w - 30, 0 = 2*w - 10. Which is smaller: 2/19 or h?
h
Let s = 119/339 - 2/113. Which is smaller: 5 or s?
s
Let n = 2.5 - 2.36. Let a = -0.06 - n. Which is smaller: a or -1/3?
-1/3
Suppose -b + 2*c = -2*c - 14, 5*b = -2*c + 4. Suppose -4*y - x + 2*x = -5, -3*x - 15 = 0. Suppose y = -0*w - 3*w. Which is smaller: w or b?
w
Let y(r) = -r**3 - 7*r**2 + r. Let a be y(-7). Let c = -3 - a. Are 5 and c unequal?
True
Suppose -5*y + 3*y = 4. Let q = y - 1. Which is smaller: 