
Let k = 4 + -4.1. Suppose 0 = 4*j + 4*p - 24, -3*j + 5*p = 5 + 17. Suppose -i + 3 = j. Is k > i?
False
Let r = 99 - 39. Let g = 43 - r. Let o = g - -18. Which is bigger: o or -1/4?
o
Suppose -2*q = d + 2 - 10, -4*d = -q - 14. Suppose 0 = 3*n + 3*g - 15, 4 = n - q*g - 16. Suppose 0 = -2*r + 5*v - 8, r - 3*v + n = v. Does 6 = r?
True
Let p(n) = n**2 + 6*n - 5. Let j be p(-9). Suppose 0 = -26*g + 28*g - 46. Which is smaller: j or g?
j
Let y be (-9 - 2416/(-268))/1. Is y greater than or equal to 0?
True
Suppose 5*z - 3*i - 5 = -0*i, -i + 5 = -5*z. Let n(b) = -b + 1. Let a(f) = 4*f - 5. Let l(d) = -a(d) - 3*n(d). Let t be l(6). Is t > z?
False
Let a be (1/5)/((-3)/(-75)). Suppose -9*m = -a*m - 4. Which is smaller: 2/47 or m?
2/47
Suppose p + 8 = -4*y + 62, 2*y - p - 30 = 0. Let q be (-4)/(-16)*4 - -13. Let h = y - q. Is -3 less than or equal to h?
True
Let l = -0.0501 - 204.9499. Which is smaller: l or -1?
l
Suppose -4*m = m - x - 334, -5*m = -4*x - 346. Suppose -65*a + m*a + 1 = 0. Which is smaller: a or 2?
a
Let m = 1746 - 2083. Are -337 and m nonequal?
False
Suppose -23*k - 4 = -27. Is 20/43 smaller than k?
True
Let m = -44 + 44. Let r be (m*(-3)/9)/(-2). Let i be ((-6)/(-156))/((-3)/36). Which is smaller: r or i?
i
Let d = -16.4 - -19. Let g = 10.6 - 14.2. Let o = d + g. Is -0.05 at most as big as o?
False
Let w = -6 - -11. Suppose z - 3*h = -0*z + 39, -h - w = 0. Suppose 0 = 4*p - 4*n + z, 0*n + 2*n = -4*p. Which is smaller: p or -3/4?
p
Let x = -23.5 - -12. Let d = -12 - x. Is -1/5 greater than or equal to d?
True
Let s be 1/(-3) - (-8964)/(-81). Are s and -107 equal?
False
Let u = -1251/119 - -74/7. Let s = u + 6/187. Suppose -5*f - p = 8, 2*f = 4*f + 3*p + 11. Which is smaller: f or s?
f
Let q be 6/27 - (-101224)/36. Let g = q - 30953/11. Are -3 and g unequal?
True
Let n be (2 - 11/3)*3. Let y(i) = -i**2 - 14*i - 26. Let x be y(-12). Let z be (-23)/7 + x/(-7). Which is greater: n or z?
z
Let x be (1/5)/(405/(-75))*-3. Is -1 less than x?
True
Let c(v) = 70*v - 633. Let w be c(9). Which is smaller: 65 or w?
w
Suppose 7*c - 5*r = 8*c + 10, 0 = r + 2. Which is smaller: c or -3/503?
-3/503
Let l = -947 + 947. Is l greater than or equal to 27?
False
Suppose 20*r = 16*r + 28. Let p = -15 + 21. Which is smaller: p or r?
p
Let b be (8/(-20))/(7/(-15)). Let z = -31 + 12. Let j = 20 + z. Which is bigger: j or b?
j
Let n = -31 - -30.9. Let u = -0.284 + -2.516. Are u and n non-equal?
True
Suppose -v = -2*l + 488, -5*l + 1943 = -4*v - 0*v. Let m = v - -9160/19. Which is greater: m or -1/3?
m
Suppose 125*j - 126*j = -1. Which is bigger: 28/15 or j?
28/15
Suppose 55 = r + 5*t, -13*r = -10*r - 3*t - 201. Which is bigger: 63 or r?
r
Let v(s) = -s**2 + 15*s - 28. Let w be v(6). Which is greater: w or 23?
w
Suppose 4*w - 14 = -2*k - 4, -2*w = 4*k - 20. Suppose k*v - 25 = 0, 3*v - 19 = -4*s - 0*s. Suppose 0 = -2*d + s + 1. Is -1/10 at least as big as d?
False
Let u(x) = -x - 11. Let t(d) = -2*d**3 + d**2 + 3*d - 2. Let w be t(2). Let r be (1*6)/(w/20). Let s be u(r). Is s <= 5?
True
Let w = 94 + -94.07. Is w <= -12?
False
Suppose 8*f + 190 = 510. Suppose -3*r - 32 = 5*q, -f = 2*r + 3*r + 5*q. Which is smaller: r or -0.04?
r
Let m = -446605/71 + 6290. Is -1 at least m?
False
Let z(d) = 2*d**2 - 3*d - 11. Let j be z(-3). Let y be j/(-20) + (-1)/5 + 0. Is y < 1/232?
True
Suppose 3*j - 31 = -3*x - x, -3*x = 3*j - 21. Let k(m) = -m**2 - 14*m + 8. Suppose -7*p = -15*p - 112. Let v be k(p). Which is greater: x or v?
x
Suppose 0 = -3*c + 2*d - 577, -5*c = -c + 5*d + 800. Which is smaller: c or -196?
-196
Suppose -4*o = 4*l - 48, 0*l - 11 = -3*o + 2*l. Suppose -w - 5*g = -2*w + o, -3*g - 7 = -2*w. Is -3 greater than w?
False
Let o be (-1 - -7)*104/(-624). Which is bigger: 2/133 or o?
2/133
Suppose 15 = 4*i - 13. Suppose i = -3*t - 26. Suppose 10 = 28*d + 346. Do d and t have the same value?
False
Let c be 102/119*(-35)/2395. Do c and 0 have different values?
True
Let s(a) = a**3 + 4*a**2 + 8*a + 14. Let n be s(-3). Let w(o) = -o**3 + 7*o**2 + 1. Let y be w(7). Are y and n nonequal?
True
Let s be 2/5 - 198/(-5). Suppose 0 = 4*o + 4*m - s, -5*o + 4*o - 14 = -5*m. Let p(k) = -k**2 - 4*k + 36. Let v be p(-8). Which is smaller: o or v?
v
Let s(z) = 2*z**2 - 14*z - 81. Let f be s(11). Which is smaller: 5 or f?
5
Suppose 0 = a - 4*u + 19, -4*a + 37*u - 36*u = 91. Which is smaller: 1 or a?
a
Suppose -27 = 5*m - 32. Let q be ((-8)/(-10))/(38/(-10)). Is q bigger than m?
False
Let a(l) = 4*l**2 - 6*l + 4*l + l**3 + 3*l**2 - 7*l - 6. Let g be a(-8). Do g and 1 have different values?
True
Let w = -23 - -22. Let u = w - -2. Let g be (-2)/(-1 + 5/(-2)). Which is smaller: g or u?
g
Let p be ((-10)/(-4))/((-4)/(-8)). Let j(g) = g**3 - 4*g**2 - 4*g - 9. Let z be j(p). Is z not equal to -3?
True
Let c be (-2)/(-17) - 104/4352. Which is smaller: c or 1?
c
Let m(c) = c**2 - 2*c - 4. Let i be m(4). Let h(j) = 3*j**3 - 5*j**2 - 2*j + 4. Let v be h(i). Let l = 1183/11 - v. Is l at least -1?
True
Let p be 1*(-32)/(-12)*-3. Which is bigger: p or 0?
0
Suppose 5*a = 3*x - 2, 4*x + 2*a = -3 + 49. Suppose 6*i - x*i = -9. Is i >= 12/7?
True
Let f be ((-70)/7)/(4/2). Does f = -15/4?
False
Let t(s) = s**3 + 4*s**2 - 2*s - 6. Let u be t(-4). Let i be (-4 - -3)*(-2 + u). Suppose 2*z - 1 = -5. Is z greater than i?
False
Let i(a) = 4*a + 10. Let b be i(5). Suppose -2*k + 10 = 4*h, 0 = 6*h - h - k - b. Which is smaller: 3 or h?
3
Suppose o - 4 = -2. Let l be 1/((-3)/(-2) - o). Suppose -3 + 0 = k. Which is greater: l or k?
l
Let c = -365.7 + 365. Let y = 684/7 - 98. Which is smaller: y or c?
c
Let z be -25 + 0 + 3/(-2 + -1). Let r = z + 35. Is 8 <= r?
True
Let l = -1583 + 1641. Is l not equal to 0.9?
True
Let r(f) be the first derivative of -f**4/4 - 4*f**3/3 - 3*f**2/2 - 12*f - 29. Let p be r(-4). Is p less than or equal to 6/11?
True
Let m be 13/((-65)/(-395))*(0 + 5). Which is bigger: 396 or m?
396
Let q = 85 - 46. Let j = -22 + q. Let c = 107 - 90. Do j and c have the same value?
True
Let f = -9 + -7. Let p = f + 19. Let h = -6 - -8. Is p >= h?
True
Let j be (-678)/(-6) - (1 + 3 + -2). Which is bigger: j or 110?
j
Let q be 0 + (5/(-6) - -1). Let l(g) = -2*g + 2. Let a be l(-2). Suppose 3*z + z = 4*w - 16, -4*w + 2*z + a = 0. Is q less than or equal to w?
False
Let a be (147/(-1044))/(3/(-6)). Let s = -3/58 - a. Let n = 0.72 + -0.6. Is s greater than n?
False
Let p = 12.682 - 0.682. Is 0.7 > p?
False
Let s = 4314 + -4313. Let l be (-4)/6 + 232/6. Suppose 0 = -5*u - 77 - l. Is u greater than s?
False
Let h = 28 + -126. Let t = 97 + h. Is t less than or equal to -33?
False
Suppose 0*w + 3*w + 9 = 3*k, -20 = 4*k. Let o(a) = -a**2 + 9*a - 16. Let q be o(6). Suppose 5*y + 39 = -2*h, -q*y = 2*y - h + 26. Does y = w?
False
Let p = -1217 + 1458. Which is greater: 0.2 or p?
p
Let x be (-1)/((-24)/16*12/18). Is -0.193 at most x?
True
Let y(m) = -2*m**2 + 22*m - 60. Let t be y(3). Let z = 3 + -15. Is z at most t?
True
Let a(g) = g - 2. Let x be a(2). Let k be (-5)/(-3 - (-3)/6). Suppose t = 2*t - 5, x = -2*h - k*t - 2. Is h at least -7?
True
Let r be 3/(-5) + 2/3. Let d(a) = -a**2 + 2*a + 4. Suppose 9 = -62*t + 65*t. Let n be d(t). Is n >= r?
True
Let v = -1376 + 1375. Is v equal to -1/187?
False
Let c = 27.1 - -8.9. Let s = 33.7 - c. Let d = -2.5 - s. Which is smaller: d or -0.3?
-0.3
Let l(t) = t**2 - 7*t + 9. Let n be l(6). Let r be n/5*(-7)/21*1. Let c = -4 - -3. Is c bigger than r?
False
Let s = -128 - -132. Suppose s*d - 4*h = 24, 0 = -4*d - 3*h + 3 - 0. Are 0.01 and d equal?
False
Suppose 215*f + 252 = 229*f. Are f and 173/9 unequal?
True
Suppose -5*j = v - 11 - 3, -10 = -3*j - v. Let a be j - -3*(-28)/12. Let g = -6 - a. Is g >= -5/4?
True
Let g = -59 + 56. Let n be -2 + 2 + g/((-3)/35). Which is bigger: 34 or n?
n
Let t(d) = -17*d**2 + 16*d**2 + 7*d - 6*d + 0*d**3 + 1 + d**3. Let r = 3 - 3. Let h be t(r). Which is smaller: 3/2 or h?
h
Suppose -50 = 76*j - 81*j. Suppose 0 = -5*v + 11 + 39. Do j and v have different values?
False
Let s = -1/23 + -18/115. Suppose -5*r = -5*a - 5, 2*r + 1 = 4*a - 1. Suppose -r*i + 3*m = 0, 2*m - 8 = -4*i - 2*m. Is i less than or equal to s?
False
Let x(g) = -g**3 - 9*g**2 + g + 1. Let w be x(-9). Let d(u) = -8*u - 7 - 3*u**2 + 6*u + u**2 - 15*u. Let b be d(w). Is b smalle