*y + 4. Let j be s(-5). Let t be j/12*(-4 + 1). Is 2/27 <= t?
False
Suppose -3*x - 3 = 2*p - 0*x, 0 = 4*p + 2*x + 2. Suppose -3*t + 16 = 5*y + 6, -4*y + 15 = t. Is t less than p?
True
Let h = -19 + 7. Let z = 11 - 24. Do h and z have different values?
True
Let q = -0.01 - 5.99. Let t = 0 - 1. Which is smaller: q or t?
q
Let d = -452 + 2247/5. Let k = 31/10 + d. Suppose 0 = -0*a + 3*a + 3*l + 9, 4*a - 6 = 2*l. Is a greater than or equal to k?
False
Let v = -840 + 9249/11. Let m = v + -1. Suppose 2*w = 6 - 4. Is w <= m?
False
Let h = 64 - 773/12. Let y be (-2)/(-8) + 0 - 0. Let r = y - h. Are -2/3 and r equal?
False
Suppose 0 = -4*n - 5*t - 35, -4*n + 4*t = -3*n + 14. Let u(a) = a**2 + 9*a - 8. Let o be u(n). Which is smaller: 0 or o?
0
Let p be -1*14 + 1 + -2. Which is smaller: p or -17?
-17
Let n be -3 + (2 - 0) - 0. Let u be (212/5)/((-12)/(-30)). Let p = u + -1164/11. Is p at most n?
False
Let u be ((14/4)/(-7))/(10/(-115)). Which is bigger: u or 7?
7
Let p = 101 + -101. Which is bigger: 7 or p?
7
Let x = -1 + 2. Let h be -1*1 - (0 - x). Suppose v - 5 = 6*v. Which is smaller: h or v?
v
Let l = -1.67 + 1.77. Which is bigger: l or -16.7?
l
Let l = -1 - 2. Let t = -15 + l. Let j be (-11)/9 + (-4)/t. Which is greater: j or -1/7?
-1/7
Let q(o) = o**2 + o - 3. Let w be q(2). Suppose 3*t = t + 10. Suppose 5*z = 4*d - 38, -t*d + w*z - 8 = -49. Is d <= 7?
True
Let a = -0.1 + 1.1. Let t = -0.3 - -1.5. Let d = -0.2 + t. Is a at least d?
True
Let o be ((-101)/(-8))/((-15)/(-156)). Let f = o - 2989/10. Let j = f - -167. Which is smaller: -0.2 or j?
j
Let b(n) = -n**3 - 5*n**2 - 7. Let s be b(-5). Let m = s + 6. Which is smaller: m or -2/9?
m
Suppose -160 = -6*u - 2*u. Which is smaller: u or 1?
1
Let m = -217 - -2385/11. Let s(q) = -q + 4. Let d be s(5). Is m equal to d?
False
Let i = -1293 - -43959/34. Is 0 greater than i?
True
Let r(h) = h + 10. Let o be r(-6). Suppose -3*u + 20 = -5*w, o*w - 2 = u - 18. Suppose m = -4*m - c + 8, 0 = -5*c + 15. Is m at most u?
False
Let c = -80/3 + 566/21. Let n = c + 3/14. Is 0.3 greater than n?
False
Let q = 149 - 145. Is q > 18/5?
True
Suppose 0 = 4*x + b + 4*b - 23, -5*x = -5*b + 5. Suppose 6 = 5*c - 14. Suppose c*g - 3*v - 8 = 0, -2*v = x*v. Is 1 not equal to g?
True
Suppose 2*w + 2 = m - 6, w = 2*m - 10. Let j be (m/30)/((-2)/6). Let a = 0 - 0. Which is greater: j or a?
a
Let y = 0.2 - -1.8. Let g = 1 - -6. Let d = g - 4. Is y at most as big as d?
True
Let h(t) = 2*t**2 + 1. Let r be h(1). Suppose -3*j + 2 - 11 = 0. Let n be 0*(-1)/2 - j. Is n >= r?
True
Let x = 13.1 - 15.1. Which is smaller: -0.049 or x?
x
Let w = -4442/341 - -556/31. Which is smaller: 4 or w?
4
Let t = 77 + -7. Which is bigger: t or 69?
t
Suppose 3*m - u - 32 = 0, 2*m - 36 = -m - 3*u. Suppose -3*h + 3*j = 3, 4*h + 0*h - j = m. Suppose -3*i + 5*i - h*f + 26 = 0, -f + 5 = 0. Does -4 = i?
False
Let i = -9.4 - -9. Let p = i - -0.3. Is 1/4 < p?
False
Let p be ((-2)/(-4))/((-2)/(-4)). Let y = -6.08 - -0.08. Let i = -6.2 - y. Is i at most as big as p?
True
Let m = -4 + 13. Let p = 2 + 0. Let j be 1/p*(-12)/m. Is -3 <= j?
True
Let f = 31 - 405/13. Let y = f + -9/26. Which is smaller: -1/8 or y?
y
Let s = 29 + -59/2. Let y be 0 + 3 + -1 + 20. Let d = y - 65/3. Are d and s unequal?
True
Suppose 8 = -3*b + m, 0 = 4*m - 22 + 2. Do 38/5 and b have different values?
True
Let r = 125717501/589608 - -3/65512. Let l = r - 213. Which is greater: 2/7 or l?
2/7
Let i(s) = -5*s**2 + 32*s. Let w be i(5). Which is smaller: 33 or w?
33
Suppose g - 2*c + 3*c = 1, -5*c + 13 = g. Let y(a) = 3*a**3 + 2*a**2 + a. Let s be y(-1). Is g at most s?
True
Let g be ((-10)/3)/((-4)/6). Suppose 2*u - 1 = -4*z - u, 0 = -g*z + 5*u + 10. Is 1 > z?
False
Let s = -91.7 + 88. Which is greater: s or 1/2?
1/2
Let n = 43 - 303/7. Suppose -5 = -34*v + 39*v. Which is smaller: n or v?
v
Suppose -15 = 2*g + 3*x, 4*g - x = -6*x - 31. Let u be 7/g - (-12)/(-54). Is 2/11 at least u?
True
Let n(v) = 2*v**2 + 2. Let m be n(-2). Let y be (12/(-15))/((-4)/m). Let t be (-2)/((4 - y)*1). Is -2/7 greater than t?
True
Let l = 35 + -34. Is 1 greater than l?
False
Suppose -23 = -3*q - 4*u, 0 = 2*q - u - 4*u + 23. Let i be 3*(-1)/(-6)*-14. Let w = 8 + i. Is q less than w?
False
Suppose -9*z = -8*z. Is -2/35 < z?
True
Let v = -0.31 - -12.31. Let h = -8 + v. Are h and 3 equal?
False
Suppose 16 = -3*l - l + 4*w, 4*l - 2*w + 6 = 0. Let f = -251/14 - -18. Which is bigger: l or f?
l
Suppose 16 = 3*q - 41. Are 22 and q non-equal?
True
Let w = -6 - -4. Let k = 2 + w. Let v = k + -0.1. Is v greater than or equal to 1/4?
False
Let n(k) = -k**3 - 11*k**2 + 18*k + 30. Let w be n(-12). Which is greater: -40 or w?
-40
Let s(r) = -r**2 + 6*r + 3. Let w be s(6). Suppose w*o = -2*o - h - 37, -3*h - 20 = 2*o. Which is greater: -2/3 or o?
-2/3
Let u = -5327/6 - -890. Is 1 not equal to u?
True
Let y = -3 - -1. Let j(m) = -m + 2. Let f be j(5). Is f less than or equal to y?
True
Let w(m) = -m**3 - 7*m**2 + 11*m + 15. Let x be w(-8). Which is bigger: -7 or x?
-7
Let x be (-3 + -49)/(-1 + 4). Let z = x + 18. Is z bigger than 2?
False
Suppose 7 - 3 = -3*c - v, c + 5 = -4*v. Let b be 2 + -2 + 27/(-117). Is b at most as big as c?
False
Let v be (2 + (-2138)/(-14))*-1. Let r = -155 - v. Suppose 0 = 2*w - 4*w + 2. Is w at most as big as r?
False
Let t = 30682 - 57835572/1885. Let a = 5623/30160 - t. Do -1 and a have the same value?
False
Let s be 44/105 - (-4)/(-14). Let m = s - -11/30. Let x be (-1)/(-4) + 42/24. Is x at most as big as m?
False
Let l = 36 - 36. Suppose -2*j - 1 = i, 4*j - 5*i - 19 = -0*i. Which is smaller: j or l?
l
Let t = -14.9 + 15. Is t greater than -38?
True
Let r be 18/10 + -2 + (-8)/(-25). Is r < 1?
True
Let q be 1 + 2 - (-3)/(-3). Suppose -5*x + 3*x = 4*t - 6, 5*x - 5 = -5*t. Let j be 21/(-14)*(x - 1). Do q and j have different values?
True
Let o(i) = i - 1. Let r be o(3). Suppose r*t + 3*c = 4*c + 1, 3 = c. Are t and -2 nonequal?
True
Let t = -1.2 + 0.2. Suppose -2*r + 1 - 5 = 0. Let s(u) = u + 3. Let h be s(r). Is t at least as big as h?
False
Let i = -2 - -12. Let j = i - 8.5. Is 1 < j?
True
Let m = -4.5 - -5. Let u = 16 - 16. Which is greater: u or m?
m
Suppose -3*y + 1 = 4. Let s be ((4 - 3) + y)/2. Suppose s = -4*m + 2 + 14. Is 4 at most m?
True
Let d(u) = u**2 + 8*u + 4. Let h be d(-8). Suppose 0 = -z + h*z. Let q be (12/18)/((-2)/3). Is q less than z?
True
Let a(h) = -h**2 - 4*h + 7. Let s be a(-5). Suppose -p = -s*p - 2. Suppose 2 = -g - 0. Is g smaller than p?
False
Let i = -104 + 105. Which is smaller: i or 76?
i
Let o be 304/(-966) + (-16)/(-56). Is o at most 1?
True
Let t(m) = m**2 + 2*m - 3. Let p be t(1). Which is smaller: p or 14/11?
p
Let n = -0.18 - 0.82. Is -16/7 at least n?
False
Suppose -2*t + t + 1 = 0. Let i = -14 + 15. Is t at least as big as i?
True
Let q = 11.6 - -1.4. Let j = 9 - q. Let t = -5 - j. Which is greater: 2/7 or t?
2/7
Suppose 0*n = 3*n - 6. Let p(l) = -n - 3*l - l**2 - 3 + 4. Let b be p(-2). Which is bigger: b or -2/9?
b
Let z = -461/7 - -66. Are z and 3 equal?
False
Suppose -2*s = 2*a + 4, s = -3*s - 5*a - 10. Let f be (s/2*1)/(-2). Is f at most -3?
False
Let c be ((-2)/(-10))/((-57)/68). Let m = c + 2/15. Is 0 less than or equal to m?
False
Let d = 54.044 + -0.044. Let l = 59.2 - d. Let q = l + -5. Is q less than or equal to 1?
True
Let m(o) = o**3 + 5*o**2 - 6*o. Let k be m(-6). Suppose k = 3*p - 0*p - 6. Suppose 2*t = -5*r + 11, 2*t = -4*r - 2*t + 4. Is p <= r?
True
Let s be (-14)/21 - 7/3. Suppose -p - p = 0, 5*a - p + 20 = 0. Let o = a - s. Is -1 >= o?
True
Let a be (1/(-2))/((-2)/(-48)). Let n = -7 - a. Let v(m) = -m**3 + 4*m**2 + 4*m + 6. Let b be v(n). Which is greater: -1 or b?
b
Let h = 12.1 + -12. Are -6 and h equal?
False
Let v be ((-3)/(-6))/((-2)/(-4)). Is v bigger than 4?
False
Let z be (2 - 78/33)*1/(-2). Let o = -2 + 2. Suppose 2*r - 2*x = 6, -2*r - x - 8 + 2 = o. Which is smaller: z or r?
r
Let i(t) = t**2 + 14*t + 11. Let d be i(-13). Let v be -2 - (0 + -1) - d. Suppose 3*f - 3*b = 11 + 1, -f - 2*b = 8. Is f equal to v?
False
Suppose -2*x = -6*x + h - 3, 0 = -5*x - 2*h - 7. Let t = -69 + 69. Are x and t unequal?
True
Let q = 18 - 168. Let w = -1948/13 - q. Suppose 2*u = -0*u - 2. Is u at least w?
False
Let a = 4 + 0. Suppose a*f - 2*f = -6. Which i