 smaller: -1/11 or d?
-1/11
Let w(c) = -c**2 + 4*c. Let u be w(-6). Let r be ((-6)/u)/(2/15). Let k = -11 - -13. Which is greater: r or k?
k
Suppose -4*u = -5*f + 15, -2*u - 3*u - f = -3. Let p = -2 + -2. Let z = p + 4.4. Which is greater: u or z?
z
Suppose 3*j + 10 = -20. Let k be 2/6*(7 + j). Which is smaller: k or -0.7?
k
Suppose -g - 2*s = 20, -3*g - 2*g - 2*s - 68 = 0. Let t(b) = 14*b + 4. Let a be t(-3). Let v be (-8)/a*3/g. Which is smaller: v or 1?
v
Let s be (0 - 1/(-2))*(-656)/(-40). Are 8 and s equal?
False
Let r = -2/35 - -599/70. Which is greater: 9 or r?
9
Let q = 29 + -19. Which is smaller: 9 or q?
9
Let a be (7 - -1)/(4 + -2). Suppose a*f = u + 10, f - u - u = 6. Let d = 2 - f. Which is smaller: d or -2/5?
-2/5
Let f(p) = -p**2 - 10*p - 12. Let c be f(-9). Suppose 6 = -w - 2*w. Which is smaller: w or c?
c
Let z be (3/124)/(21/8). Which is smaller: -1 or z?
-1
Let i = -19 - -19. Is i != -2/181?
True
Suppose t + 2*j = 3, -7*t = -10*t + 4*j + 19. Let r be 3/(2/(16/6)). Suppose -3*u - u = -r. Is u > t?
False
Let n = 6 + -3. Suppose 4*m - p = 3*p + 16, -p = -2*m + n. Let f = -33/2 - -83/5. Which is greater: m or f?
f
Suppose 0 = 5*j - 3 + 18. Let w be ((-2)/j)/((-1)/(-6)). Suppose 0 = w*x - x - 3. Which is bigger: x or -0.3?
x
Let n be 2 + (-12)/(-15)*1. Is n equal to 3?
False
Suppose -4*i - 2 - 6 = 0. Let x = 3 - i. Let b be (-1 - x/(-3))*-3. Which is smaller: b or -1?
b
Let b = 9 - 17. Let l = b - -7.9. Which is smaller: 0.1 or l?
l
Let w = 1/2 - 1. Suppose -2*v + 4*v - 2*m - 34 = 0, m + 62 = 4*v. Let j be (v/(-6) + 1)/3. Is w at least as big as j?
True
Suppose 5*r = 5*b - 65, -r - r - 5*b - 26 = 0. Which is smaller: r or -58/5?
r
Let j = 29/6 + -62/15. Let h = -1039/180 + 56/9. Let f = h - j. Which is smaller: 2/7 or f?
f
Suppose -5 = -5*c + 5. Suppose 3*p = -2*p. Is p >= c?
False
Let y = -6.1 + 0.1. Let r = 7 + y. Suppose 0 = 4*w + 4*z, 2*w + 12 = -w + 3*z. Which is smaller: w or r?
w
Let k = -130278781/205 + 635502. Let b = 21/5 + k. Let t = -35/123 + b. Which is smaller: 2/7 or t?
t
Let m(h) = -h**2 - h - 1. Let j be m(0). Suppose -4*o + 63 = -81. Let r be o/(-40) - (-2)/5. Is j at least as big as r?
False
Suppose 9 = -2*y + 3. Let t(x) = x - 3. Let n be t(-3). Let v = n - y. Are v and -4 unequal?
True
Let a = -39 + 43. Which is smaller: 0 or a?
0
Let n(t) = -5*t + 45. Let o be n(14). Is -25 <= o?
True
Suppose -2*s + 7 = 4*l - 3*l, -s - 7 = -3*l. Is l less than or equal to 4?
True
Let f = -12 + 13. Let z(n) = n**2 + 5*n - 4. Let o be z(-6). Let s be o/(-4) - 13/(-18). Which is smaller: s or f?
s
Let b = -0.8 + -3.2. Let t = b - -3. Is t bigger than -2?
True
Let h = 5 + -3. Suppose 4*g = -2*a - h, 2*g - 5*a - 4 = 1. Let l = -119 + 592/5. Which is bigger: g or l?
g
Suppose 2*w - 5*s = -0*s - 25, -4*w + 5*s = 25. Suppose w*r = r. Let q = 19 - 15. Which is greater: q or r?
q
Let g = 14 - 11. Let b(v) = 3*v - 2. Let n be b(g). Let c = -8 + n. Which is smaller: c or 0?
c
Let b = 3.6 - 3.7. Is b at most -25?
False
Let j = 6 + -4. Let t = 57 + -169/3. Are t and j unequal?
True
Let y be 10/(-2) - (-2 + 2). Which is smaller: y or -7?
-7
Let g(l) = 3*l**2 + 5*l - 4*l**2 - 8 - 11*l. Let d be g(-6). Is -7 bigger than d?
True
Let m = 0.06 - -0.34. Let g = m - 5.4. Are -1/2 and g non-equal?
True
Let d(o) = -o + 2*o + 1 + 0*o**2 + o**2 + 2*o**2. Let g be d(-1). Suppose -2*p + g*z = -14, -2*z = 5*p + 3*z + 15. Is p less than 0.1?
False
Let s(y) = -y**2 + 6*y + 13. Let f be s(8). Let p(w) = 4*w + 2 - 5*w + 2*w. Let j be p(-5). Is f not equal to j?
False
Suppose 10 = 4*j - 5*j. Let o be (-2)/10 + 18/j. Which is smaller: o or 3?
o
Let z be 2 - 3 - (-2 - 0). Let s be z/4*12/(-10). Suppose 3*l - 16 + 3 = 4*b, 6 = 2*l. Which is smaller: s or b?
b
Let q = -1 + -0.2. Let i = q + 6.2. Let n = i - 4. Are n and -0.2 non-equal?
True
Let x be (3/(-14))/(36/(-42)). Are x and 1 equal?
False
Let m be 1/2*(14 - 4). Suppose 2*a - m = 3*l, -4*a + 1 = -2*l + 5*l. Which is greater: 1/3 or l?
1/3
Let v(c) = c**2 + 4*c + 3. Let x be v(-2). Which is smaller: -2/21 or x?
x
Suppose 2*f + 1 = 5. Suppose -4 = 2*l + f*l. Let t be 1 - (-2 - l)*-3. Is t < -2?
False
Suppose 4 + 11 = 5*g. Suppose -3*o - 24 = -3*p, -p + 3*p - 4*o - 20 = 0. Let r be (-2)/p + 4/12. Which is smaller: r or g?
r
Let y = -1478371/30 - -49264. Let m = y - -46/3. Which is greater: 1 or m?
1
Suppose -3*g = -4*g. Suppose g = -5*m - 5*o + 15, -2*m - 5*o = 2*m - 15. Let l = 0 - 3. Is m at least as big as l?
True
Let d be (-8)/10 + 19/5. Suppose -2*b - 2*k + 6 = 0, 2*k = 2*b + d*k - 4. Let c = -6.7 - -7. Which is smaller: c or b?
c
Suppose 2*c - 10 = 3*i, -i + 0*i - 5*c = 26. Which is smaller: i or -8?
-8
Let b = 0.009 + -0.109. Are b and -6 nonequal?
True
Suppose 11 + 86 = -z. Is z smaller than -97?
False
Suppose -5*t - 15 = 25. Suppose 5 = r - 5*h, -h - 3*h + 28 = -4*r. Let z be t/20 - 34/r. Which is smaller: 1/3 or z?
1/3
Let q be 9/(-16)*(3 + 1). Is q not equal to 1/4?
True
Suppose 4 = -3*a + 4*x + 2, 0 = 3*a + x - 23. Suppose a*i + 1 = 7*i. Let z = 0.6 + -0.1. Which is smaller: z or i?
z
Suppose -19 = 2*y - 5. Which is greater: y or -5?
-5
Let u = -6 + 3. Let p be ((-15)/6)/(-1)*-6. Let f be ((-2)/5)/((-3)/p). Is f less than or equal to u?
False
Let h = -1095/7 - -470/3. Let g = h - -2/21. Let f be -1 - 4/(-1) - 2. Which is smaller: f or g?
g
Let b = 236 + -698/3. Let k = b - 61/21. Which is bigger: 0 or k?
k
Let d(q) = q**3 + 3*q**2 - 5*q. Let y be d(-4). Is 5 >= y?
True
Suppose 3*k + 20 = 59. Let r be 248/18 + 5/(180/8). Are k and r nonequal?
True
Let o be (2/4)/((-3)/(-12)). Let i(l) = l**2 + 0*l**2 + o + 6 + 7*l. Let p be i(-6). Is 3 != p?
True
Let k = 2/5 + 2/5. Let x(z) = -z - 8. Let c be x(-6). Which is greater: k or c?
k
Let o = -33 + 30. Let k be 3*2/8*-4. Is o greater than k?
False
Let q(u) = -u**2 - u. Let i be q(4). Let t = 41/2 + i. Which is smaller: 0 or t?
0
Let z = 0 + 0.03. Let a = -4.97 - z. Let s = 6 + a. Is s less than 2/13?
False
Suppose 2*r + 8 = -a - 1, 4*r - 12 = 4*a. Let d(j) = -j**3 - 4*j**2 + j + 3. Suppose -3*m + 8*m + 20 = 0. Let b be d(m). Is r bigger than b?
False
Let u(q) = -q**2 - 5*q + 8. Let b be u(-6). Let o be 3*(12/(-9) - -3). Which is smaller: o or b?
b
Suppose -x - 16 = 4*i, x + x = i - 23. Let d be (-8)/x + (-5)/3. Which is smaller: d or 0.07?
d
Let l(v) = v**3 - 7*v**2 - 9*v + 9. Let i = -31 + 19. Let a be (-99)/i - (-2)/(-8). Let u be l(a). Which is smaller: 2 or u?
u
Let i(t) be the first derivative of t**2/2 - 4*t + 1. Let d be i(5). Let n = -17/92 + 10/23. Which is bigger: d or n?
d
Let v = -179 - -709/4. Let u be ((-3)/(-12))/(10/(-40)). Which is smaller: v or u?
v
Let g = 64 + -125/2. Let w(v) = v**2 + 2*v - 5. Let t be w(-4). Suppose -t*h + 0*h = -9. Is g greater than h?
False
Let d be ((2 + 2)*-1)/(-1). Suppose -d*b = -b. Which is smaller: 2 or b?
b
Let x = 15 + -5. Suppose 7 - x = l. Is -3 equal to l?
True
Suppose 6 + 2 = -4*t. Let l(o) = o**3 + 3*o**2 + o + 1. Let g be l(t). Let q(r) = 4*r**3 - r**2 + 1. Let p be q(1). Which is bigger: g or p?
p
Suppose -2*p - p + 10 = -m, -m + 18 = 4*p. Let i(q) = -q**2 - 8*q + 12. Let d be i(-9). Which is bigger: d or m?
d
Suppose 0 = 6*a + a - 42. Suppose 0 = -3*r + 2*t + 28, 0*r + 2*r - 5*t = 37. Is r equal to a?
True
Let a = -3/29 + 93/58. Let x = 3 + -2. Which is smaller: x or a?
x
Let z = 0.71 + -2.71. Are z and 2/5 equal?
False
Let g be (-20)/(-15)*(-3)/(-2). Suppose -5*t - 3*a - 2 = 0, -5*a + g*a - 6 = 3*t. Let j be (6/15)/(t/10). Is j equal to 2?
True
Suppose -26 = -2*o - 14. Is 0.5 at most as big as o?
True
Let a = 2.904 + -0.004. Is a < 1/4?
False
Suppose -3*k - w + 2 + 13 = 0, 5*k = -5*w + 35. Suppose 4*z = -2*o + 10, -k*o + z = -4*z - 7. Let y be (-1 + 5)/(o + -1). Are 4 and y non-equal?
True
Let c = 2 - 3. Let r(f) = -2*f + 3. Let h(s) = -s - 1. Let d(y) = 3*h(y) - r(y). Let m be d(-6). Is m smaller than c?
False
Let u(t) = t**3 + 7*t**2 - t - 7. Let g be u(-7). Suppose b - 2*b + 2 = g. Is b at least as big as 0?
True
Let z be (-1)/(-2) + (-1108)/(-56). Let x = 20 - z. Are 2/3 and x unequal?
True
Let l(n) = n**3 - 6*n**2 - 18*n + 16. Let s be l(8). Let u be ((-2)/10)/(2/(-8)). Is u != s?
True
Let u(c) = c**3 + 20*c**2 + 18*c - 18. Let i be u(-19). Is i less than 49?
True
Let g(d) = -4*d**2 + 8 + 3