Which is smaller: c or o?
o
Let k = 63 + -695/11. Let i be 1/(-2)*(-6)/3. Are i and k equal?
False
Let d(m) = -m**2 + 9*m - 3*m - m + 3*m - 7. Let k be d(7). Are k and 2 unequal?
True
Let b(x) be the second derivative of -x**4/24 - x**3/2 + 3*x**2/2 - 2*x. Let d(n) be the first derivative of b(n). Let i be d(-4). Which is smaller: i or 0.3?
0.3
Let h = -267 + 808/3. Which is greater: h or 1?
h
Let y = 6 + -5. Let v = -8.03 + 8. Let z = v - 2.97. Which is greater: y or z?
y
Let g = 14.2 + -16. Let o = g + 2.8. Which is greater: -0.03 or o?
o
Let k(p) = p**2 + 12*p - 12. Let q be k(-13). Let v be (-1)/1*(1 + 1). Let w be 1 + v*(-3)/9. Is w at most as big as q?
False
Suppose -2*g - 4*q = 3*g + 145, 0 = 3*q. Which is greater: -31 or g?
g
Suppose -4*u = u + 285. Which is bigger: -58 or u?
u
Let y(i) = 2*i - 1. Let h be y(2). Suppose 3 = 3*d - 3*s, -h = 2*s + 1. Let q be d/(2*2/(-12)). Is 3 at least as big as q?
True
Let q = 5 - 5.1. Let a = -0.1 - 0.1. Let t = q - a. Which is bigger: t or -1?
t
Let x = -276 + 2488/9. Does 1 = x?
False
Let y = 770905/132 + -5840. Let g = y - -2/33. Suppose 3 = -4*o - 1. Which is smaller: g or o?
o
Let s = -6 - 1. Let p be -3 - -1 - (s - 80). Let q = 253/3 - p. Are 0.3 and q non-equal?
True
Let p = 1 + -2. Let v be p*1/(-3) + 1. Which is smaller: 0 or v?
0
Let u be ((-66)/(-24))/(1/4). Does u = 10?
False
Let r = -33 - -33. Let l = -2975627/444 - -20105/3. Let y = l + -2/37. Is y > r?
False
Let w be 3 + 0 - (18 - 15). Is w smaller than -12/11?
False
Suppose 14 = -8*d - 18. Is -5 > d?
False
Let g be ((-1)/28)/(10/20). Which is greater: g or -1?
g
Let j = -15.09 + 0.09. Let k = 13 + j. Which is bigger: -3 or k?
k
Let k be (-2)/3*9/(-2). Suppose -3*y - k = -0*y. Is y at least -1?
True
Let l = 3 - -5. Let o(b) = -b**2 + 8*b - 9. Let w be o(l). Let n = 11 + w. Is n equal to 2/3?
False
Suppose 0 = -2*s + p - 2*p + 3, -2*p = -2*s. Let r be -1 - (-10)/2*s. Let k be (-48)/22 + r/22. Which is bigger: 0 or k?
0
Let d = -8/15 + 31/30. Let k = -0.94 - -12.84. Let h = 12 - k. Which is bigger: h or d?
d
Let d = -1 + 1. Suppose d = 3*a - 5*a + 70. Let y be (-4)/(-10) - 19/a. Is 1 not equal to y?
True
Let h(f) = -2*f**3 - f**2 - 6*f + 21. Let u(z) = -z**3 - 3*z + 10. Let j(c) = 4*h(c) - 9*u(c). Let x be j(4). Suppose -g = -x*g. Is 2/7 greater than g?
True
Let y(k) = k**2 - 9*k + 9. Let h be y(8). Which is smaller: 4/13 or h?
4/13
Let t = 3 - 4. Let d = -0.3 - -0.1. Let w = -0.1 - d. Which is greater: w or t?
w
Let j = 16/5 - 13/5. Is 2 bigger than j?
True
Let l(t) = -t**3 + 4*t**2 + t - 3. Let r be l(4). Which is smaller: r or 2/51?
2/51
Let k = -0.87 + 0.57. Is k greater than -4/19?
False
Let p(w) = -2*w**2 - 3*w + 2. Let c be p(-3). Is 2/3 smaller than c?
False
Suppose 0 = -2*b + 338 + 60. Let r = -1793/9 + b. Do -1 and r have the same value?
False
Let v = -17 + 15. Is -1 >= v?
True
Suppose -3*g = q + 4, 2*q - 7 = -g - 0*q. Suppose -2*k - k = 9. Are k and g equal?
True
Let b be (7 + -10)*(-4)/(-6). Let d be (-2*(b - -1))/(-27). Is -1 greater than or equal to d?
False
Let o = -260/9 + 29. Which is smaller: 1 or o?
o
Let c = -85 - -90. Which is bigger: 10 or c?
10
Let j = 1/3 + -4/15. Let b = j + 1/15. Is b greater than 0?
True
Let z = -279 - -5331/19. Is 3 equal to z?
False
Let r = -2 + 7. Suppose 45 = r*p + 5. Is p equal to 8?
True
Suppose -o + 0*o = 0. Let v = o + 4. Let c = v + -4. Is 0 at most as big as c?
True
Let i = -36 - -4. Let t be i/(-72)*1/2. Is t smaller than 1?
True
Let r(w) = w**2 - 16*w + 5. Let t be r(16). Which is greater: 6 or t?
6
Suppose z = 6*z + 170. Let l be (-397)/12 - 6/9. Let a = z - l. Which is greater: -2 or a?
a
Let f be 5*2*(-13)/2. Which is smaller: -66 or f?
-66
Let f(d) = -d**3 + 10*d**2 + 12*d - 2. Let u be f(11). Which is greater: 2/3 or u?
u
Let p(f) = 3*f - 8. Let z be p(-12). Which is greater: -45 or z?
z
Let r = -25 - -15. Let k = r + 9.9. Is k < -1/6?
False
Let d = -14 + 20. Let h be (-30)/7 + (-24)/(-84). Let b be h/42*d/(-2). Which is greater: -1 or b?
b
Let s be (4/8)/((-2)/12). Let c = 2/185 + 356/1295. Which is smaller: c or s?
s
Let n(q) = q**3 - 3*q**2 + 2. Let v be n(3). Suppose -v*c = c - 15. Suppose -z = -c*z. Do 0 and z have the same value?
True
Let k = -0.2 - -0.2. Let o = -0.4 + 1.4. Let g = k + o. Which is greater: 0.1 or g?
g
Let v = 8 - 5. Let w = v + -2.6. Let c = -0.2 + w. Is c greater than or equal to -2/3?
True
Let u(g) = 2*g + 2. Let l be u(9). Let r be ((-2)/5)/(2/l). Which is bigger: 2 or r?
2
Let k = -253/5 + 51. Is k > 16?
False
Let s(f) = f**2 - 4*f - 8. Let t be s(5). Is -9/5 != t?
True
Let f be ((-42)/8)/(6/(-48)). Let v = f - 22. Suppose 2*b - 4 = 3*b, 5*b + v = -4*u. Is -2/11 <= u?
True
Let j(a) = -10*a + 6. Let f be j(1). Is f < -13/4?
True
Let q be 42/5*(-6)/(-7). Let i = q - 7. Let p = 6 - 6. Which is smaller: p or i?
p
Let q be 3/9 - 1/3. Which is greater: 8/13 or q?
8/13
Let q be (-8)/12 + 60/(-18). Which is smaller: -3 or q?
q
Let g = 3.4 + -4.4. Is 21 less than g?
False
Let v be (2 - -1)*(-9)/12. Let s be (2 - 3)*1/4. Which is bigger: v or s?
s
Let a = 11 + 4. Let q = 14 - a. Is 6/17 smaller than q?
False
Suppose 3*u - 5 = 2*q, 7 = 2*u - 8*q + 3*q. Let p be 0 + (u - (-2)/2). Are p and 3/5 nonequal?
True
Let p(d) = d**3 - 3*d**2 + 2*d - 4. Let q be p(3). Let a = -18 - -20. Is q smaller than a?
False
Suppose -5*t + 3*b - 5 = 4*b, 4*b = 4*t - 20. Let d = 3 + -5. Which is bigger: d or t?
t
Suppose -4*s - 5*k = -11, 0 = -4*s - 2*k + 1 + 1. Suppose g = 4*f + 5, -15 = 9*g - 4*g. Do s and f have different values?
True
Let m be 52/228 + 4/(-12). Which is smaller: m or 0?
m
Suppose 13*c - 6*c = 7. Let z = 11/10 + -47/70. Are z and c non-equal?
True
Let w(o) = 2*o + 10. Suppose 0 = c - 2 + 7. Let j be w(c). Is 0 not equal to j?
False
Let z = -4 + 3. Let b be 2 - 4*z/(-2). Do 0 and b have the same value?
True
Let n(j) = j + 1. Let k be n(-1). Let p = -638/5 + 128. Which is bigger: p or k?
p
Suppose 0 = -5*t - 12 + 2. Let c be (3/(-2))/(6/(-8)). Suppose c*p + 4*r = -16, 6*p = 2*p + 3*r + 1. Is t equal to p?
True
Let q = 2 + -3. Let u = -1.9 + 2.2. Which is greater: u or q?
u
Suppose 0 = 3*g + g - 2*a - 62, -3*a + 3 = 0. Let b = g + -9. Suppose b = 5*t + 2. Is t <= 2?
True
Let c = 8461/2 + -4454. Let x = -219 - c. Is 4 less than x?
True
Let l = -4 + 2. Let n be 4/(-14) + l/(-7). Let b(h) = -h**2 + 2*h + 2. Let o be b(3). Which is greater: o or n?
n
Let f = 6 + -6. Let p = 0.1 - f. Which is smaller: -3 or p?
-3
Let y = -1 + -1. Let x = y + 1. Let z be 0 - 3/2 - -2. Is z <= x?
False
Let p = -0.01 - -3.01. Let r = 0.26 - 0.16. Which is bigger: p or r?
p
Let i be 1/(2/12) + 3. Let l = i - 8. Is -1 smaller than l?
True
Let g be (-26)/(-230) - 3/15. Let s(f) = -f - 4. Let o be s(-4). Let b be o + 2 + 8/(-5). Is b less than g?
False
Let r be 2/40 + 5/(-20). Is 1 greater than or equal to r?
True
Let u(y) be the third derivative of y**4/24 + 2*y**3/3 - 2*y**2. Let n be u(-3). Is n smaller than 1/11?
False
Suppose 4*k - k - 6 = 0. Let j be ((-4)/(-6))/(k/24). Is j <= 8?
True
Let q = -5 - 0. Let a = q + 5. Is -2 greater than a?
False
Let h = 20 - 29. Is -12 > h?
False
Let v(p) = -p**2 + 3*p + 8. Let f be v(7). Let m be (8/f)/(3/(-5)). Is m at most 0?
False
Let b(g) = g**2 + 5*g + 1. Let i be b(-4). Let j(h) = -h**2 - 2*h - 1. Suppose -v - 4 + 1 = 0. Let u be j(v). Which is bigger: u or i?
i
Suppose 5*g + q = 32, 3*q + 15 = -2*q. Let n be g/(-3)*4/14. Let k be 4/(-7)*(-21)/(-6). Which is smaller: n or k?
k
Suppose 5*y - 5*x = -25, -3*y = -5*x - 4 + 23. Let l(o) = o**3 + 3*o**2 + o + 3. Let a be l(y). Is a >= 1?
False
Let a = -211/21 + 54/7. Which is smaller: a or 4?
a
Suppose -5*c + 2*j - j + 10 = 0, 5*c + 2*j = -5. Let m be (4/16)/(c - -1). Is m >= 1?
False
Let m(f) = -f**2 - 12*f + 9. Let i be m(-13). Is -5 greater than i?
False
Suppose 9*l - 3 = 6. Is l at least -1?
True
Let b = 109829/32004 - -36/889. Let j = -38/9 + b. Does -1 = j?
False
Let v be (24/(-20))/((-4)/10). Let g be v/(-2)*(-8)/(-66). Is g less than or equal to -1?
False
Let t be (-33 - 11)*(-1)/2. Let s = t - 12. Do s and 10 have the same value?
True
Suppose 2*h = -3*h - 3*f - 15, -4*f - 20 = -5*h. Let u = -718 + 2132/3. Let j = -7 - u. Which is greater: h or j?
j
Let d = 29 - 9. Suppose -4*p + d = 4. Suppose p