 is bigger: g or d?
g
Let s = 9 - 5. Suppose 0 = 3*c - 2*a - 6, -2*c + 3*a + s = 6*a. Suppose -4*z + 3 - 5 = -2*g, -5*z - 3*g = -14. Which is bigger: c or z?
c
Let a be 6/(-2) + 20/4. Suppose 32 = -3*u + u + a*f, 0 = -u - 2*f - 16. Let m be ((-6)/u)/(18/(-8)). Which is smaller: m or -1?
-1
Let m(z) = -z**2 + 12*z. Let x(v) = -v - 1. Let t(p) = -m(p) - 5*x(p). Let o be t(6). Let h be (-5)/10 + o + 1. Are h and -2/9 equal?
False
Let r = -7 - -4. Suppose 4*z + 2*o = 22, 0*z - o + 18 = 3*z. Let q be (z/(-2) + 3)*4. Which is bigger: r or q?
q
Let n(k) = k**3 + 13*k**2 - 6. Let w be n(-13). Let u(v) = v**2 + 5*v - 14. Let o be u(w). Is -8 > o?
False
Let k = -5 - 6. Let w = k + 142/13. Which is greater: w or 1?
1
Let y be 2 + 114/8 + 1/(-4). Is 17 equal to y?
False
Let k(v) be the first derivative of -v**4/4 + 2*v**3/3 - 2*v**2 + v + 2. Let u be k(3). Let a = u - -58/3. Is a less than or equal to -1?
False
Let n be (2/4)/((-2)/(-20)). Let b be (-12)/n - (-2)/5. Is 3 at most as big as b?
False
Let d(n) = -4*n**2 + 3*n - 2. Let x be d(2). Let j = x + 8. Let z be (-2)/4 - 10/j. Which is bigger: 1 or z?
z
Suppose 4*r = 2*r - 4. Let q = r + 0. Suppose 3*c = -3*m - 12, c + 3*c - m + 6 = 0. Is c not equal to q?
False
Let f = -9652872428 + 35213677784423/3648. Let s = -8701/38 - f. Let l = -1/64 + s. Are 2/3 and l equal?
False
Let p = -5/8 + 59/120. Which is smaller: p or 0?
p
Suppose 0 = -3*l - 4*g - 1 - 15, 0 = -2*l - g - 4. Let k be 2/6*0 - 1. Which is greater: k or l?
l
Suppose -x = -3*f + 8, 0 = 5*f + 4*x - 1 - 18. Suppose -f*i + 3 = -0*i. Let o = -0.5 + 0.3. Is o greater than or equal to i?
False
Suppose r - 4*r + 15 = 0. Let k = -25 - -17. Let w = r + k. Which is greater: w or -1?
-1
Let f be (34/(-374))/(1/(-38)). Which is smaller: f or 3?
3
Let p = 4.105 - 0.105. Is 1/5 at least p?
False
Let x = -0.21 + 0.33. Let n = x - 0.02. Which is smaller: -5 or n?
-5
Let i(y) be the first derivative of -y**2/2 - 12*y - 1. Let h be i(-10). Which is smaller: -9/5 or h?
h
Let o = 2 - 5. Let a be (-8)/20 - o/3. Let b = 1 - 1. Which is bigger: a or b?
a
Let m = 357/5 - 71. Which is greater: 0.1 or m?
m
Suppose 2*y - 5*y + 4*q = -13, 3*y + 5*q + 23 = 0. Do y and 0.3 have different values?
True
Let n(s) = -s - 6. Let i be n(0). Let h = i - -6. Let z(f) = -f - 2. Let q be z(-3). Are q and h non-equal?
True
Let p = -5.53 + -1.77. Let z = p - 0.7. Let l = -5 - z. Which is greater: -0.2 or l?
l
Let t = -57 + 52. Are 1 and t equal?
False
Let w = -27 + -3. Let f be 56/w - 8/(-12). Is 0 < f?
False
Let i(a) = a**3 - 6*a**2 + 3*a + 6. Let p be 8 + 3*1/(-1). Let r be i(p). Let x = 5 + r. Which is bigger: x or -1/6?
x
Let a(o) = o**3 - 8*o**2 - 10*o + 7. Let u be a(9). Suppose -d - 10 = 4*d. Let f be (3/u)/(3/d). Is 3/2 greater than or equal to f?
True
Let t be ((-1)/(-9))/((-5)/(-30)). Which is smaller: 0 or t?
0
Suppose -2*b + 31 = 5*f, -5*b + 4*f + f - 10 = 0. Suppose i - 4*i = b. Which is smaller: i or 2/11?
i
Suppose 2*j = 4*w - 7 - 27, -3*j + 37 = 2*w. Let y be 5/(-3) + (w - 9). Which is bigger: y or 2/7?
y
Let n = 30 - 213/7. Is n less than or equal to -1?
False
Let k = -0.17 - -1.67. Let h = k - -2.5. Which is bigger: -1/6 or h?
h
Let h(j) = -5*j - 4*j + 5*j**2 - 7 + j**3 + 9*j. Let t(x) = 4*x + 3. Let n be t(-2). Let f be h(n). Is -7 greater than or equal to f?
True
Let b be (-15)/14*7/2. Let m = b - -127/36. Which is greater: m or -1?
m
Let m = 3 - 1. Let k be ((-1)/2)/((-3)/(-6)). Let g be ((-2)/4)/(k/m). Which is greater: 1/4 or g?
g
Let r be (-1 + 1)*(1 + 0). Suppose -5*k - 2 = 3. Let d be (-3)/(-12) + k/1. Which is greater: d or r?
r
Suppose 18 + 0 = 3*h. Which is bigger: h or 7?
7
Suppose -4*l + 44 = 4*q, 2 = -l + 4. Suppose -q*v + 3 = -6*v. Which is smaller: 2/17 or v?
2/17
Let p = 9/4 + -2. Which is smaller: 0.08 or p?
0.08
Let c = -3.8 - -4. Let y = 0.3 - 0.4. Let v = c + y. Is 1/2 bigger than v?
True
Let f be (2*3)/((-15)/10). Let s(o) = -o**3 - 4*o**2 - o - 3. Let y be s(f). Which is smaller: 4/3 or y?
y
Let a(h) = -h**3 - 3*h**2 + 7*h - 5. Let u be a(-5). Is u less than -0.2?
False
Suppose 0 = -0*y - y + 2. Suppose 3*o = 4*o, o = -5*g + 5. Is g greater than y?
False
Let q be -2 + (-57)/(-12) + -2. Let z = 11 - 10. Which is bigger: z or q?
z
Let j(n) = 6*n - 16. Let p(s) = -5*s + 15. Let r(u) = -6*j(u) - 7*p(u). Let z be r(-9). Is z at least 1?
False
Let l be ((-35)/10)/(-2 + 4). Is l smaller than -2?
False
Let s = 0 + 0. Let b = 0 - s. Let g be 2/5 + 84/(-135). Is g not equal to b?
True
Let x(d) = -d + 90. Let n be x(0). Suppose 4*g = -5*p - 163 + 13, g + n = -3*p. Let b be (-2)/(-5) - (-27)/p. Which is greater: b or -2?
b
Let t(k) = -k**2 + 6*k + 6. Let n(m) = m**3 + 10*m**2 + 8*m - 2. Let b(o) = o**2 - 8*o + 3. Let r be b(6). Let c be n(r). Let p be t(c). Is p > -1?
False
Let p(j) = j + 2. Let o = 7 - 12. Let y be p(o). Let w be (y - (-5)/2)*2. Which is smaller: w or -1/4?
w
Let j be 1*(-2)/(-10) + 0. Suppose -z + 4*h + 10 = 0, 14 + 0 = 3*z - 4*h. Let n be (-2 + 5 - z) + -2. Is n bigger than j?
False
Let w = 2 + 7. Suppose -36 = 4*b - 8*b. Is b greater than w?
False
Let t be (4/12)/(2/78). Are 14 and t nonequal?
True
Let f be 6 + 2 + (-4 - -1). Suppose 2*x + 0*x + f*l + 27 = 0, 5*x + 10 = -l. Which is greater: x or 1?
1
Let y(m) = 3 - 2*m**2 + 2*m**2 + m**3. Let g be y(0). Suppose 5*q - x + g = 0, 2*q + q - x + 1 = 0. Are -1 and q non-equal?
False
Let z(n) = n - 16. Let k be z(15). Let q = -82 - -823/10. Which is smaller: k or q?
k
Let g(u) = -38*u. Let f be g(-1). Let y = -192/5 + f. Let r = -4 + 3. Do r and y have different values?
True
Let m(v) = -v**3 - 4*v**2. Let h be m(-4). Let r(d) = -d - 6. Let q be r(-7). Let p = h + q. Is p less than 1?
False
Let p be -3 + (-21 - 3)/(-2). Are p and 8 equal?
False
Let n(f) = -2*f**3 + f**2 - f - 2. Let m be n(-2). Suppose 15 = 5*t - m. Suppose -2*v = -5*s - 21, 3*s = -2*v + t*v - 43. Is 9 not equal to v?
True
Let x = 67 + -67.2. Which is greater: -5 or x?
x
Let o be 1/(-2) - 3/(-9). Let b = o - -2/3. Is 2 != b?
True
Let b(c) be the third derivative of -c**5/60 - c**4/4 - 2*c**3/3 - 3*c**2. Let w be b(-4). Is 4 less than w?
False
Let s = 124 + -124. Is 1/13 at most as big as s?
False
Suppose 17*p = 10*p + 140. Do p and 56/3 have the same value?
False
Suppose 4*k + 11 + 1 = 0. Is k not equal to -1?
True
Suppose 5 = 3*w - 1. Suppose 3*o + 11 = f, 2*o - w = -4*f - 0*f. Suppose -f*v = -5*v. Is v bigger than -2/13?
True
Suppose 66 = -0*a - 2*a. Which is smaller: -32 or a?
a
Let y = 7.9 + -8. Let q = 0 + -0.5. Let o = 0.3 + q. Which is smaller: o or y?
o
Let h(m) = -m**2 - 11*m + 12. Let n be h(-12). Which is bigger: 2 or n?
2
Suppose 2*b + b - 6 = 0. Suppose -b*h - 2 + 10 = 2*z, 0 = h - 4. Which is smaller: z or -1/4?
-1/4
Let t(v) = v**3 - 6*v**2 + 4*v - 3. Let h be t(5). Let m be (4/(-10))/(h/(-10)). Which is bigger: 0.4 or m?
0.4
Suppose 2*y - 52 = 200. Let f be (-4)/(-18) + (-37)/y. Is 0 bigger than f?
True
Suppose 5*n - 3*p + 0 = 8, -5*n = p - 24. Let l be (-2 + 3 - 0)*2. Is l bigger than n?
False
Let o be 2/6 - (-130)/(-120). Let h be 0 + (0 - 0)/(-1). Which is bigger: h or o?
h
Let x = -18 - -19. Which is greater: x or -3/2?
x
Let f be (90/(-12))/(3*-1). Let k(u) = -u**2 + 6*u + 30. Let d be k(9). Which is greater: d or f?
d
Let h = -2.4 + -0.6. Let t = -43.2 + 43. Which is bigger: h or t?
t
Let i(g) = g**2 + 18*g + 15. Let w be i(-17). Is w greater than -2?
False
Let f(w) = -w**3 + 2*w**2 + 11*w + 13. Let g be f(6). Is g bigger than -65?
False
Let b(k) = -k**2 - 9*k - 1. Let y(w) = -3*w**2 - 2*w - 1. Let m be y(-2). Let l be b(m). Which is greater: -2/7 or l?
-2/7
Let m = 5 + -23. Let h = 15 + m. Is 0.1 < h?
False
Suppose 0*s = 3*s + 3*p - 9, -2*s = -3*p + 9. Suppose s*o = -o. Let t = 146 + -729/5. Are o and t equal?
False
Let h = -6 + 2. Let y be (-6)/h*12/18. Is y at least as big as -2?
True
Let h(s) = 3*s - 13. Let u be h(5). Is u less than 10?
True
Let o be -3*6/27*3. Let p = 3 + o. Suppose -4*w + 2*i - 1 = p, -i + 1 = 0. Is 0 < w?
False
Suppose -g + 8 = -4*k, 12 = 4*g - 5*k - 20. Suppose 4*i - 2*i + g = 0. Let s be -2 + 0 + 3/3. Is i not equal to s?
True
Suppose -20 = -5*d + d. Suppose -3*c + 4*k = -17, -d*c + c + 10 = k. Let q(z) = -z**3 - z**2 + 2*z + 2. Let u be q(-2). Which is smaller: u or c?
u
