+ 11/2. Suppose 0 = -3*y + x + 5 + 8, -3*y = -j*x - 25. Is 3 less than y?
False
Let y = 0 + -0.1. Is y bigger than 2/19?
False
Let v be (-5)/2*4/(-35). Suppose 7 = 2*k + 5. Is v not equal to k?
True
Let s = -219 - -9. Let u = s - -835/4. Which is greater: u or 0?
0
Suppose -i + s = -7, -2*i - 2*s + 9 = -3*s. Let u be 3 + 8/(-4) + i. Is u less than or equal to 3?
True
Let m(k) = -6*k + 14. Let l be m(-4). Are 38 and l equal?
True
Let a = 164 - 167. Which is greater: a or -2?
-2
Let q be 48/(-44)*(-2)/3. Let i be (-2)/(-11) - 27/(-33). Is q < i?
True
Let q = -1457/55 + 210/11. Is q greater than -6?
False
Let p = 5.08 - 0.08. Let u = -7 + p. Which is greater: u or 0.6?
0.6
Suppose 4*v = 3*m - 5, -2*v + m + 0 = 3. Is v at most -4?
False
Let h be (-10)/(-4)*(-4)/(-5). Suppose -m + 3 = -h. Is 3 greater than m?
False
Let i be -2 + (-2)/(18/(-15)). Suppose -4*x - x - 5 = 0. Is x >= i?
False
Let s be (-69)/(-75) + 2 - 3. Which is smaller: s or 1?
s
Let n(c) be the first derivative of -1/4*c**4 + 1/3*c**3 + 1/2*c**2 + 2*c - 3. Let u be n(0). Is u <= 2?
True
Let w = 23.1 - 23. Is 0.11 greater than or equal to w?
True
Suppose 4*i - 4*y = 2*i - 16, 3*i + 20 = 5*y. Suppose i = 2*q - 3*j + 6, q + 2 = -3*j + 8. Suppose 0 = -2*t - q*t. Is t equal to -2/15?
False
Let k(i) = i**3 + 8*i**2 + 5*i - 9. Let y be k(-7). Suppose -y*c = -c. Is c greater than -1/5?
True
Let p = -127 - -76. Let v be (p/4)/(3/(-1)). Which is smaller: v or 5?
v
Suppose 0 = -y + 3*y. Let a be y/2 - (-2)/(-7). Suppose 9*m + 4 = 7*m. Is a > m?
True
Let j = -1932.01 - -1942. Let x = 10 - j. Is x smaller than 2/7?
True
Let i(n) = -n**3 + 6*n**2 + 8*n - 9. Let v be i(7). Suppose 8*r - 2 = 10*r. Which is smaller: v or r?
v
Let v be ((-20)/6)/(2/(-3)). Let r = v - 8. Let g = r + 2. Is g less than 1?
True
Let o = 0.3 - 0.9. Let h = 0.5 + o. Let r = 87/4 + -22. Which is smaller: r or h?
r
Let t = -35.06 + 35. Do -1/3 and t have different values?
True
Let c = -5 + 6. Let p be 2 + (2 - 0) + -3. Is c greater than p?
False
Let x = -67 + 72. Which is greater: x or 7?
7
Let f be (-2)/3 + (-2)/6. Let j = -58 + 29. Let q = j + 86/3. Are f and q equal?
False
Let q be (-3)/6 - (-15)/22. Let k = -31/2 - -63/4. Which is greater: q or k?
k
Let u be 34 - (12/4 - 4)*1. Is u greater than or equal to 38?
False
Let j = 24.99 + -25. Which is smaller: j or -1?
-1
Suppose -h + 9 = 2*h. Suppose 0 = -q + h*q - 6. Suppose -2*z = -4*a + 6, -3*a + 2*z + 4 = -q. Which is smaller: a or 0?
a
Let w = 2 - 1.9. Let n = 21.05 - 21. Which is bigger: n or w?
w
Let w(t) = -t**2 - 5*t + 7. Let q be w(-6). Which is bigger: q or -1?
q
Let i(g) = g**3 + 5*g**2 - 7*g + 7. Let x be i(-6). Let m = -9 + x. Which is smaller: m or 1?
1
Let j = 0.22 - 0.12. Is j greater than 35?
False
Let g = 6.2 - 6. Is g >= 3?
False
Let k = -22 - -33. Are 11 and k equal?
True
Let z(y) = y**2 + 2*y - 7. Let u be z(-3). Which is greater: -2 or u?
-2
Let l(j) = -j + 7. Let z be l(-2). Which is greater: 26/3 or z?
z
Let i be (2/1)/(-8)*-2. Which is greater: i or -3.6?
i
Let z = -9.1 - 2.9. Let t = -7 - z. Is t smaller than 0?
False
Suppose 2*i - 3*a + 4 = 0, -3*i - 5*a + 11 = -2. Let r be (-58)/(-18) - 4/18. Which is smaller: i or r?
i
Let r be 2*(9 + 2/2). Suppose 2*s - 12 - 4 = 0. Suppose 5*u + 5*v + r = 0, 2*v + s = -0*u - 4*u. Do 1/7 and u have the same value?
False
Let o(z) = z**2 + 2*z + 6. Let g(d) = d**2 + d + 5. Let s(c) = 3*g(c) - 4*o(c). Let t be s(-4). Are t and -5 unequal?
False
Let n = 45 + -44.67. Let a = 0.03 - n. Let u = -0.3 - a. Which is bigger: u or -1?
u
Let i be (-2)/12 - (-110)/(-60). Let l = i - -3. Which is smaller: 0 or l?
0
Let v be (-2)/(-14)*(-7)/((-42)/27). Which is smaller: v or 2?
v
Let h = 26 - 27. Let o = 17/4 - 4. Which is greater: o or h?
o
Suppose -2*o + 3*o - m = -5, 3*o + m + 27 = 0. Is -6 at least o?
True
Let l = -0.3 - 6.7. Let o = -10 - l. Let d = -2.6 - o. Is 1 bigger than d?
True
Let u(z) = -2*z - 2 + z + 0*z. Let y be u(-4). Which is smaller: y or 1?
1
Suppose -4*s = i + 53, s - i + 31 = -2*s. Which is greater: -1 or s?
-1
Let k be 1 - (-3)/(-2 - -5). Is k not equal to 0.1?
True
Let t = -3 - -4. Let q = t - -1. Let r = q - 2.1. Which is smaller: r or -1?
-1
Let j be 2/14*12/(-12). Suppose 8*k - 3*k + 5 = 0. Which is smaller: j or k?
k
Suppose -3*c = 12, -7 - 2 = x - 3*c. Let r be (1 + x/12)*-4. Is r < 3/2?
False
Suppose 0*g = 3*g - 24. Let l = g - 13. Are l and -4 unequal?
True
Let x be (-6)/(-45) - 26/120. Are 0 and x nonequal?
True
Let k be (1 - 1) + 0 + 12. Suppose k = 3*z - 0*z + 3*h, 3*h = 3*z. Which is smaller: 3 or z?
z
Let i = 58842866/263571 - 36422/163. Let d be 2/(-1) - (-888)/441. Let v = d + i. Which is smaller: v or -1?
-1
Suppose -16*x - 80 = -21*x. Let r = 4 - x. Which is smaller: r or -13?
-13
Suppose -5*b = 2*j - 4, -3*b + 0*b = 3*j - 6. Suppose -a - j = -3. Are a and 0 unequal?
True
Let m(j) = 5*j**2 - j - 1. Let d be m(-1). Let n = d + -5. Which is greater: 1/4 or n?
1/4
Let j(z) = z + 5. Let d be j(-5). Let r = 2 - d. Suppose 4*w + r = 3*w. Which is smaller: w or 0?
w
Let t be (4/1 - 4) + 0. Is t <= -2/9?
False
Let m = 13 - 11. Let n = -1 + 1.3. Is m bigger than n?
True
Suppose -5*z - 5*b + 325 = 0, 8*b - 259 = -4*z + 3*b. Let t be 8/10*(-331)/(-4). Let n = t - z. Which is smaller: 0 or n?
0
Let n(l) = l**3 - 4*l**2 + 2*l + 4. Let d be n(3). Suppose -3*w - d = -u, 3*u = -2*w + w + 3. Let h be (12/4)/3*1. Which is bigger: w or h?
h
Let t = 17277/25 - 691. Suppose d = -15*s + 12*s + 1, 4*d = 16. Which is bigger: s or t?
t
Let y be ((-6)/(-4))/((-15)/(-4)). Which is bigger: 14 or y?
14
Let o(w) = 4*w**2 + 2*w. Let n be o(-1). Let m(i) = i + 1. Let b be m(0). Which is bigger: b or n?
n
Suppose 0*p = 5*p - 25. Let g = 417/94 + 3/47. Which is bigger: p or g?
p
Let f(s) = s**2 + 3*s + 7. Let p be f(-6). Does p = 23?
False
Let u be (-10)/(-15)*3/2. Let g be u + (387/(-228) - -1). Let x = -1/19 + g. Is x less than or equal to 1?
True
Let p be (1 + -4)*(-344)/30. Let u = -35 + p. Suppose a + 3*a = -4. Is a > u?
False
Let s = -719/44 + 65/4. Let o be (-33)/44*8/(-6). Which is smaller: o or s?
s
Let x be (-4)/18 + (-25862)/180. Let f = x - -144. Which is bigger: -1 or f?
f
Suppose -3 = p + h, 5*h + 0 + 8 = 2*p. Suppose 0 = -3*q - 2*k, 5*q = 2*q + 5*k + 21. Let a be (q/(-8))/((-6)/8). Which is smaller: p or a?
p
Let b be ((-2)/5)/(2/(-20)). Let w = -1 + 5. Is b > w?
False
Let i(z) = z**2 - 2*z - 1. Let c be i(4). Suppose c*d - 4*d = -12. Let p = -3 - d. Which is greater: p or -2/7?
p
Let p be (3/4)/(332/32). Which is bigger: 0 or p?
p
Let r = 3.06 + -3. Let s = r + 0.14. Is 4 at most as big as s?
False
Let l(h) = -h**2 - 9*h + 7. Let u(p) = 2*p**2 + 19*p - 14. Let k(a) = -9*l(a) - 4*u(a). Let b be k(-6). Which is bigger: -2 or b?
b
Let u be (-6 - (-1 - -2)) + -1. Let b = 97 + -105. Is b at most u?
True
Let d be ((-3)/(-5))/(-8 + 11). Suppose 6*y = y + 15. Suppose y = o + 4. Is d less than or equal to o?
False
Let u be (-8)/(-6)*(-12)/(-10). Which is smaller: 2/5 or u?
2/5
Let m(n) = -n**2 + 7*n - 7. Let k be m(6). Let t = 487 + -6815/14. Are t and k non-equal?
True
Suppose -g + 5 + 4 = 0. Let q = 27 - g. Let j be q/42*4/6. Is j greater than -2?
True
Let t = -10 - -14. Suppose -b + 4*b + 12 = 0. Let s(q) = -q**3 - 5*q**2 - 5*q. Let n be s(b). Is n at most t?
True
Suppose -2*y - 6 = -0*y. Suppose -22 = -4*i - 5*w, -3 + 7 = -2*w. Suppose 0 = 2*z - 0 + i. Which is bigger: z or y?
y
Let y(g) = -2*g**3 + 15*g**2 - 6*g + 9. Let r be y(7). Does 16 = r?
True
Let d be (-2)/7 + 110/(-7). Let m = d - -10. Are -6 and m unequal?
False
Let l be (2*4/(-4))/(1*-1). Which is greater: l or 5/4?
l
Let j be (-4)/(-8) - (-3)/2. Let c be (j/6)/(5/(-15)). Is c smaller than 1?
True
Let l = 27 - 26. Is l at least 3/7?
True
Let r = -63 + 57. Let j = 4 - -1. Suppose -j - 23 = 4*i. Is r <= i?
False
Let n(y) = -73*y**2 - 2*y + 1. Let q be n(-1). Is -69 less than q?
False
Let j(y) = y**3 - 8*y**2 + 8*y - 7. Let u be j(7). Let s be 10/(-6) + u + 1. Let k be -3 - (0/2 - 2). Are k and s nonequal?
True
Suppose -6*h - 5 = 7. Do h and -1 have the same value?
False
Let m = -0.04 + -2.96. Let d = -1 - m. Let i = d + -3. Which is smaller: 2/5 or i?
i
Let j = -148 - -225. Suppose 0 = -4*o - 29 + j. Suppose -5*i + i = -o. Is 2 equal to i?
False
Let