-4*d - 5*z + 13 = 0. Let s(t) = -t - 6. Let y be (-1 - 1)/(2/4). Let o be s(y). Which is smaller: d or o?
d
Let m(r) = r - 10. Let z be m(9). Which is smaller: z or -4/21?
z
Suppose -c = 2*c. Let d(n) = n**2 - 11*n - 10. Let u be d(12). Let g = c - u. Which is smaller: g or -3/5?
g
Let g be (-10)/15 + (-28)/39. Which is greater: g or -1?
-1
Let f(t) = t**3 - 5*t**2 - 5*t - 6. Let h = 1 + 5. Let u be f(h). Let z = 2172/377 + -74/13. Which is bigger: u or z?
z
Let c = 4 - 2. Let l = -2.1 - -2.4. Is l at least c?
False
Let w = -41.9 - -42. Is w greater than or equal to 7/17?
False
Let y be 0 + 15/3*-19. Let c be 4/(-12) + y/3. Let i be 12/c*4/(-6). Which is bigger: 0 or i?
i
Let g = -8 + 8. Let k be -101*(-3)/(-75) + 4. Which is smaller: g or k?
k
Let w = 0.7 + -7.7. Let p = w + 7. Let s be 1/6 + 2/6. Are s and p equal?
False
Suppose -26 = -2*z - 2*p + 6*p, -3*z + 3*p + 24 = 0. Suppose -5*l - 2*c + 0*c = -42, 3*c = z*l - 42. Is l at most as big as 9?
False
Let s = -10 - -4. Let l = s + 5. Which is smaller: 1/3 or l?
l
Let h = 0 - -1. Let m(k) = k**2 - 8*k + 9. Let w be m(6). Let i be -3 + w/4*-4. Which is smaller: i or h?
i
Let x(a) = 2*a**3 + 15*a**2 - 2*a - 3. Let m(i) = i**3 + 7*i**2 - i - 2. Let u(b) = 5*m(b) - 2*x(b). Let j be u(-5). Which is smaller: 3/7 or j?
3/7
Let u be (4/(-14))/((-6)/14). Suppose -5*x + 7*x - 4 = 0. Let h = 2 - x. Which is greater: h or u?
u
Suppose 5*z - 11 = p + 124, -p + 5 = 0. Let f be 16/z - (1 - 0). Let c(j) = -j**2 + 7*j + 17. Let g be c(9). Are g and f nonequal?
True
Let j(u) = -2*u + 8. Let d be j(-3). Is d at least 13?
True
Let u = -0.09 - -3.09. Let l = u - 2. Which is greater: l or -3?
l
Let j = 0.5 + -0.51. Which is smaller: 1/2 or j?
j
Suppose -8 = 2*c - 0. Let l be c/18 + (-284)/(-1602). Let p = l - -198/445. Which is bigger: p or 1/10?
p
Let t be 16/2 + 0/3. Let m = t - 4. Let x be (-21)/52 + m/16. Which is smaller: 0 or x?
x
Let j = -0.6 + 1.8. Let m = -0.2 + j. Is 0 >= m?
False
Let f be 13/9 + -2 - -1. Suppose -2*g + 20 = 3*g. Suppose g = 4*t + 8. Is t greater than f?
False
Suppose -4*w + o = 4*o + 23, -2*w = -o - 1. Is -3 at most w?
True
Let o be (-4)/(-2) + (1 - 0). Suppose o*z - 2 = 2*z. Suppose 0 = -2*x - 3*y + 8, -4*y = -z*x + y - 24. Which is smaller: -3 or x?
-3
Let r be 2/(-4) + 9/6. Let o be 1 - 78/57 - -1. Let x = 77/152 - o. Are r and x non-equal?
True
Let n be (-24)/60 - 6/10. Let r = -60/7 + 233/28. Which is smaller: n or r?
n
Let u = 9 + -17/2. Let y = 271/973 - -1/139. Which is bigger: y or u?
u
Let y = 1 + -5. Let v(n) = -n + 1. Let p be v(y). Which is greater: 6 or p?
6
Suppose 3*u - 22 = 5. Suppose u = 2*b + 3. Let d = b + 1. Is 4 >= d?
True
Let g = 38 - 97. Is g less than -57?
True
Let h = 53/4 - 27/2. Which is smaller: h or 1?
h
Let n be 394/20 - 7/35. Is 20 at least n?
True
Let c = 5.03 + -0.03. Let a = -34 + 29. Let m = a + c. Is m smaller than 1?
True
Suppose -t + 1 = -6*z + 2*z, 5 = 3*z + 5*t. Are z and -150 unequal?
True
Suppose -10 = -x - 4*x. Let q be 0/((-3 + x)*-1). Let b = -3947/10 - -395. Which is bigger: q or b?
b
Let y = -37/100 - -3/25. Suppose -4*i = -12 + 4. Suppose -5*d = -d - t - 3, 6 = -i*t. Is y greater than d?
False
Let u = 1 - 3. Let d be 2 + u/(-4)*0. Let m(x) = 2*x**3 + x**2 - x + 1. Let h be m(1). Which is greater: d or h?
h
Let h(g) be the first derivative of -g**3/3 - 7*g**2/2 - 5*g + 2. Let n be h(-6). Suppose v = 2*z + 7, 6 = -z - z. Are v and n non-equal?
False
Suppose 0*d + 4*d + 3*p + 36 = 0, -2*p = -8. Is d > -8?
False
Let c(h) = -h. Let f be c(1). Let k be 1/2 + 36/(-8). Let s(q) = q**2 + 5*q + 4. Let u be s(k). Which is greater: f or u?
u
Let y be 4 + (0 - (6 - -2)). Is -3 at least as big as y?
True
Suppose -3*x - 1 = l - 10, -6 = -4*l + 3*x. Suppose 5*k = 2*p - 25, -5 = -l*k + 4*k + 2*p. Let i = k + 9. Is 5 > i?
True
Let n be (-5)/(-1) + (5 - 1). Does n = 9?
True
Let f = 15 + -1. Which is greater: f or 15?
15
Let x(m) = 59*m - 1. Let k be x(-2). Let v = -243/2 - k. Which is bigger: v or -2?
-2
Let r(k) = k + 6. Let z be r(-3). Suppose 0 = 2*s - s - 2. Let q = 1 + s. Is z smaller than q?
False
Let j = 4/347 - 5572/1735. Which is smaller: -4 or j?
-4
Let p(s) = -s**2 + 10*s - 9. Let x be p(10). Let u = -10 - -1. Is u at most as big as x?
True
Let m = -5.3 + 6. Let u = 5.7 - m. Which is greater: 0.1 or u?
u
Let y(j) = 2*j + 2. Let f be y(1). Suppose 0*o + h = -5*o, -h = o + f. Let g = -12 - -17. Which is greater: g or o?
g
Let c be (903/297 + -3)/2. Let x = c - 37/198. Let l(d) = d**2 - 4*d - 6. Let z be l(5). Is x less than or equal to z?
False
Suppose m + 2 + 1 = 0. Let g be (12/21)/(m/7). Is -1 less than or equal to g?
False
Let c be 2*(6/4)/3. Suppose -3*i = 0, 0*u - 3*i - 30 = -2*u. Suppose -5*q = -0*v + 3*v + 20, -4*v = -5*q + u. Which is greater: q or c?
c
Suppose 0 = -3*r + 3 - 0. Is -7 at least as big as r?
False
Let c = 9 - 6. Suppose 0 = -2*k + 8, -4*k + 16 = -c*b + b. Suppose 6*x + 392 - 380 = 0. Which is smaller: x or b?
x
Suppose -5*h - 9 = 3*n, -n + 2*h - 30 = 2*n. Let w = n + 7. Is w at most 0?
True
Let n(b) = -b - 3. Let o be n(-6). Let y be (-3)/(-7) - (o - 2). Are y and 0 equal?
False
Suppose -5*f - 92 = -587. Let o be 2/(-536)*f/2. Let a = 4/67 + o. Is -1/4 less than a?
True
Let k = 1 + -3. Suppose 111 - 42 = -23*r. Is k bigger than r?
True
Let v be (-14)/(-6) + 2/(-6). Let w(u) = 2*u - 16. Let l be w(11). Suppose 2*d + 9 = -s, -3*d + 4*s - v = l. Is d < -4?
False
Let j be (-3)/(-18)*(-6)/(-4). Which is smaller: 0 or j?
0
Let b = -7 + 6.8. Let l be (-1 + 12/10)*-6. Which is greater: b or l?
b
Let y be (2/4)/((-57)/38). Are y and 0.25 unequal?
True
Let k be (-394 - 0) + 2/(-10). Let i = 396 + k. Are 3 and i unequal?
True
Let v = -46 - -63. Is v < 17?
False
Let d = -1 + 3. Suppose -4*r + 10 = -d*r. Is -1 > r?
False
Let b(z) be the first derivative of -z**2/2 + 3*z + 2. Let d be b(0). Let n = d - 1. Is 2 smaller than n?
False
Let d be (27/36)/((-1)/(-4)). Is d less than or equal to 2?
False
Let y = -3 + 0. Suppose 0 = 3*d - 2*d + 3. Are y and d equal?
True
Suppose 0*o + 5*y - 18 = -2*o, -o + y = 5. Let p = -649/5 + 129. Which is smaller: p or o?
o
Let l be (1 - (1 + 0))*8/(-32). Is -21/16 equal to l?
False
Let f be (1/(-3))/((-1)/15). Suppose -t - f = -1. Let s be t*1*1/(-2). Which is smaller: 1 or s?
1
Let i = -13 - -17. Suppose -o - 2 = -3*j - 3, -i*o = 4*j - 4. Are j and 1 nonequal?
True
Let c = -7 - 1. Let z(f) = 8 - 53*f - 1 + 49*f. Let r be z(4). Which is smaller: c or r?
r
Let d be (-2)/5 + (-264)/15. Is -19 bigger than d?
False
Let b be (-3)/(-4)*(-4)/(-5). Is -1 at most b?
True
Let o = 0.2 - 0.4. Let j = 15 - 14. Which is bigger: j or o?
j
Suppose 0 = -a + 2 - 1. Is a < -7?
False
Suppose 3*j + 7 - 22 = 0. Suppose j*n - 7 - 4 = 4*m, 0 = -m - 4. Which is smaller: -3 or n?
-3
Suppose 0 = h - 4*h + 12. Suppose 5 = h*u - 3. Let s = u + -1. Which is bigger: -1/8 or s?
s
Let f = -69 - -346/5. Suppose -18 = -2*h + 2*i, 3*h + 5*i = 3*i + 32. Suppose -3*z + z + h = -2*p, 0 = -2*p - 3*z + 15. Is p greater than or equal to f?
False
Let b(n) = n**2 - 2*n. Let c be b(2). Let t = c - -3. Let m(d) = d**3 - 3*d**2 - d + 2. Let a be m(t). Is a less than -1?
False
Let s be (-186)/(-24) - 1/(-4). Is 8 smaller than s?
False
Suppose -5 = -2*p - 5*c, -2*p - 22 = -3*c - c. Which is smaller: p or -9?
-9
Let i be 2/(-8) + 258/(-24). Do -10 and i have the same value?
False
Let t = -1.32 - -1.32. Which is bigger: t or -3/4?
t
Let y = 11 - 17. Let u = y + 5. Which is smaller: u or -1/3?
u
Let c = -44.01 - -44. Is c greater than or equal to 0?
False
Let v = 66 - 65. Which is greater: 5/7 or v?
v
Let b be 11/(-20) - (-2)/(-8). Suppose 2*l - 4 = 8. Suppose -l = -2*q + 5*q. Which is bigger: q or b?
b
Let f = 5 + -5. Are -3/10 and f equal?
False
Let c = 13/7 - 45/28. Which is greater: 9 or c?
9
Let b be (2 + 2)*3/(-4). Suppose -14 = 3*q + 2*z, -3*q + 7 = -5*z + 14. Let h(u) = 2*u + 5. Let x be h(q). Is x equal to b?
True
Let d(p) = -p**2 + 3*p - 6. Let t be d(5). Is t > 0?
False
Let p(s) = 2*s - 25. Let v be p(13). Is 9 at least as big as v?
True
Suppose 3*t + 4*a - 20 = t, a - 3 = 0. Suppose -5*g + 1 = -t. Let b be -1*(-2 + 4 - g). Which is smaller: b or 0?
b
Let x be -4*(-2)/(-56)*3. Let w = 1/14 - x. Let p = -2.3 - -0.3. Which is smaller: w or p?
p
