 Which is smaller: d or 1/3?
d
Let g = 412.81 + -409. Let n = -0.19 - g. Is n greater than or equal to -0.2?
False
Suppose 0 = 2*m, -5*m + 3 + 7 = 5*c. Let a = c - 4. Let g be (-1)/(a - (-3 + 2)). Which is greater: 6/11 or g?
g
Suppose g - 5 = 0, -4*w + 2*w + 5 = g. Suppose -c = -w*c - 3. Suppose 5*u = -5*v + 20, 6 - 17 = -4*u - c*v. Is u greater than or equal to -1?
True
Let q = 2 - 1. Let s(l) = -l**3 - l**2 + l - 39. Let g be s(0). Let d be ((-2)/g)/((-2)/6). Which is smaller: d or q?
d
Suppose 28 - 33 = -5*x. Is x at most as big as -2?
False
Let k be -6 + (-6355)/(-1045) - (-4)/22. Which is smaller: k or 1?
k
Suppose 0 = -0*q + q - 14. Let k = q + -15. Does k = -2?
False
Let n(p) = p**3 - 5*p**2 - 8*p + 7. Let j be n(6). Is j at least as big as -32/9?
False
Let r = -2 - -2. Let j = 72 + -507/7. Which is greater: j or r?
r
Let s(r) = -r**2 - 5*r - 2. Suppose 0 = 2*c + 3*v - 1, 4*c + 3*v + 2*v = -1. Let w be s(c). Is w bigger than 4/7?
True
Let c be ((-1)/2)/((-15)/960). Which is smaller: c or 28?
28
Suppose -3*v + 5*s - 3*s = -28, -3*v - 5*s + 56 = 0. Is v bigger than 12?
False
Let p(c) = 2*c - 20. Let z be p(10). Is z bigger than -3?
True
Let l = 0 + 2. Suppose 2 = 3*g - 6*g - 5*p, -4*g + 2 = 2*p. Which is greater: l or g?
l
Let r = -31 - -19. Let s = 12 + r. Is s smaller than -1.2?
False
Let r = -5 + 5. Which is smaller: r or 2/3?
r
Let n be (-76)/60 + (-6)/(-10). Which is bigger: 1 or n?
1
Suppose -4*d = 4*a - 13 - 11, 2*d = a + 24. Do d and 12 have the same value?
False
Suppose w - 5*w + 48 = 0. Suppose 2*h = w + 4. Suppose -3*c = -o - 5*c + h, -5*o = c - 13. Do o and 2 have the same value?
True
Let j = 96 + -8833/92. Is j smaller than 1?
True
Let m(z) = -2*z + 3. Let x be m(3). Let k = -23 + 23.1. Which is bigger: x or k?
k
Let f(g) = g - 2. Let h be f(7). Let n = h - 1. Which is bigger: 5 or n?
5
Suppose 16 + 29 = -5*m. Is m greater than or equal to -11?
True
Let g = -20 - -44. Suppose 3*o + g = 3. Are o and -8 unequal?
True
Suppose 15 = 2*i + 19. Are 0.04 and i unequal?
True
Let m = 0 + -3. Let n(g) be the third derivative of -g**4/24 + g**3/2 + 2*g**2. Let w be n(5). Which is smaller: w or m?
m
Let l = 0 - -4. Suppose -l*d = -7 + 3. Let n be 1/(36/(-8) - -4) - -1. Is n greater than d?
False
Let g be 6 + (4*-1)/2. Suppose 3*t + 4*o = g*t - 25, -4*t - 5 = 5*o. Suppose -4*d = -t*d. Are d and 2/19 unequal?
True
Let l = 449/8 - 56. Let k = -2 - -2. Is k >= l?
False
Let b = 37477/1020 + 2/255. Let t = b + -37. Let j be 1*3/(-9) + 1. Is j smaller than t?
False
Suppose -5*d + 0 = 5. Is -1/2 > d?
True
Let m = 6/11 + -7/33. Let i = 0 - 0.1. Which is smaller: i or m?
i
Let z = 11 + -15. Is z > -3?
False
Let t be (5/(-75))/(2*2/(-108)). Is t <= 0.1?
False
Let l = 65 - 72. Which is smaller: 0.2 or l?
l
Let f = -17 - -14. Let u be 2*(-3)/((-18)/f). Which is smaller: -2/35 or u?
u
Let b = -99482/9 - -11069. Let l = -83/9 - b. Let f = l + 25. Are -1/4 and f equal?
False
Let t(v) = v**3 - 3*v + 1. Let u be t(-3). Is u > -17?
False
Let o = 1/41 - -38/123. Let v be (-6)/(-10) - 4/(-10). Let i be 1/(-3 + 1 + v). Which is smaller: i or o?
i
Let s(n) = -n**3 - 2. Let c be s(0). Let u be c - 0 - 8/(-5). Which is bigger: 2 or u?
2
Let a = -1 + 1. Let t = 0.01 - 0.11. Let u = a - t. Is u less than or equal to -0.1?
False
Let c be 1/8*-4 - 2/4. Is -4/71 equal to c?
False
Let t be 3/18 - ((-167)/6)/1. Which is greater: t or -2?
t
Let d = -0.35 - -0.05. Let c = 0.1 - 2.1. Do d and c have different values?
True
Let n be 2 + (-3 - -3)*-1. Suppose -2 = -4*o + n*o. Which is smaller: 2 or o?
o
Let n be 138/(-392) + 5/20. Let k = 181/147 - n. Is k < -2/7?
False
Let t = -52616656/45045 - -1/45045. Let d = t + 1169. Is 1 >= d?
True
Let g be -12*(-3 - (-309)/102). Is g less than -1?
False
Suppose f + f - 18 = 5*l, -4*l + 18 = 2*f. Which is greater: 6 or f?
f
Suppose -5*m + 25 = -5*k, -2*k - 2*m + 0 = -10. Let a be (4/(-5))/((-18)/(-10)). Which is bigger: a or k?
k
Suppose -3*w + 1 = -2*w. Is 3 >= w?
True
Let q = -10 - -10. Is q >= 2/93?
False
Let k(y) = y + 1. Let q be k(1). Let m be q*3 + -1 - 2. Let z = m + 0. Do z and 4 have the same value?
False
Let k = -422/23 - -1/69. Let h be 2/(-24)*(-3032)/(-14). Let w = h - k. Which is bigger: w or 0?
w
Let i = 51 + -11. Suppose -5*q + k + 20 = 0, i = 5*q + k - 6*k. Is 3 > q?
False
Let z(b) = -b - 8. Let a be z(-4). Let n(s) = s**3 + 5*s**2 + 4*s - 4. Let g be n(a). Let x = 4 + g. Is x <= 0?
True
Let q(y) = y**3 - 7*y**2 + 6*y - 2. Let t be q(6). Let a be (-3)/t*(-50)/(-15). Which is smaller: 4 or a?
4
Suppose q + 4*o - 11 = -0*q, 4 = 2*q - o. Let y(x) = x - 1. Let l be y(2). Is l greater than q?
False
Suppose -4*v - 36 = -5*o, -4*o + 3*v = -2*v - 27. Which is bigger: o or -2/7?
o
Let h be (17/(-15) - -1)*3. Let l be -4*1/(2/(-2)). Let y be l/10*1/(-2). Which is bigger: y or h?
y
Let a be 2 + -2 + 0 + 3. Suppose 0 = a*p - p + 2. Let z be 0 - (68/(-24) + 3). Is z equal to p?
False
Suppose 0 = -q + 4*b + 10, -3*q - 1 = -b - 31. Which is bigger: 8 or q?
q
Suppose 5*t = -3*p - 11, -2*t = p + 2*t - 1. Is p equal to -6?
False
Suppose -7 = -3*v + 5. Suppose -v*b + 15 = -b. Suppose 2*w - b*w = 0. Which is greater: w or -6/5?
w
Let a be ((-16)/24)/(10/(-21))*4. Which is bigger: a or 6?
6
Let p be -1 + 0 - (-116)/112. Which is greater: p or -0.1?
p
Suppose -10 = -9*g + 4*g. Suppose 0 = 2*y + g. Is -2/3 < y?
False
Let h(y) = y**3 - 2*y**2 - 4*y + 4. Let p be h(3). Suppose -5*b + 18 = 3*g - 34, -2*b = -3*g + 17. Suppose g = -o + 4*o. Are o and p equal?
False
Let b = -2.8 + 1.8. Is b less than or equal to -9?
False
Suppose -6*q - 55 = -q - 4*o, 2*q + 3*o + 45 = 0. Is -2 bigger than q?
True
Let g(z) = 5*z - 3. Let d be g(1). Is d != 2?
False
Suppose -42 = 3*w + 12. Let n be ((-2)/4)/(12/w). Suppose 2*i = 2*p - 6 - 4, 0 = -2*p - 2*i - 6. Is n at most as big as p?
True
Let k(a) = a + 13. Let z be k(-7). Let p = -14 + 20. Are z and p non-equal?
False
Suppose 0 = 2*n - 6, n + 0 = m - 1. Let v = -5 + m. Is v at least 0.5?
False
Let y = -54 - -53.93. Which is bigger: 3 or y?
3
Let m = 7133 + -92780/13. Let t = 4 + m. Is t bigger than 0?
True
Let c(k) = -k**2 + 19*k. Let q be c(20). Are -19 and q non-equal?
True
Suppose v = x + 2 - 0, 0 = 5*x - 4*v + 8. Suppose x = 3*n + n + 12. Let b be (0 + 1 - 4)*1. Is n greater than or equal to b?
True
Let q = 4.6 - -0.4. Let c = q - 5. Which is bigger: c or -1?
c
Let d = -12 + 18. Suppose 3*r + 5 = 4*r. Is d < r?
False
Let q be (0 - (-39)/45) + (-1)/5. Which is greater: -20 or q?
q
Suppose -3*m - 4*f - 22 = 0, -3*m = -3*f + 12 + 24. Let h(i) = -i**3 - 10*i**2 - 12. Let r be h(m). Let k be 2/8 - (-75)/r. Which is smaller: -5 or k?
k
Let u be 8/(-116)*(3 + -1)/2. Which is bigger: 1 or u?
1
Let i = -8 - -6. Let z = 4 - i. Let q = z + -3. Is q greater than or equal to -2/7?
True
Suppose 2*q - 3*q + 4 = 0. Suppose -q*h - 2 = -6. Is 0 > h?
False
Let m = -105 + 108. Is m < 2?
False
Let k(o) = o + 6. Let z be k(-11). Which is bigger: z or 1?
1
Suppose s = 2*s - 2. Suppose -5*q = s*j - 13, -5*j + 2*q + 3*q + 50 = 0. Is j greater than or equal to 10?
False
Suppose 24 = -x + 5*p, 0*x = x - 3*p + 18. Which is greater: x or -10?
x
Let q(z) = -z**2 - z - 7. Let i be q(0). Let j = i + 6. Which is smaller: -1/10 or j?
j
Let n be (6/2 + -2)*-1. Suppose 0 = -q - 0*q. Let d be 0/(-2) - q - 1. Is d at most n?
True
Let u be 12 - (3 + -1 - 2). Suppose 0*z + 5*b - u = -2*z, 4*b = -5*z - 4. Let q = 6 + -10. Is z <= q?
True
Let o = 1/28 + -205/252. Which is bigger: o or 0?
0
Let r = -0.2 - 0.8. Let u = r + 1.1. Let t = -0.2 - -1.2. Which is smaller: t or u?
u
Suppose a - 3*u = -u + 14, 5*u + 17 = a. Suppose -4*h + a = -6*h. Which is greater: -7 or h?
h
Let o be (-1)/2*(-4)/(-13). Let f be (1 - -3) + (0 - 4). Is o greater than f?
False
Let d(b) = b**3 + b**2. Let v be d(-1). Suppose -5*g = -v*g + 10. Which is smaller: -2/3 or g?
g
Let a(v) = v**2 - v + 2. Let u be a(0). Suppose 0 = -5*t - 2*f + 55, -u*t - 3*f = -25 + 3. Are 12 and t unequal?
True
Let h(p) = 23*p**3 + 13*p**2 - 2*p - 2. Let c(j) = -12*j**3 - 7*j**2 + j + 1. Let i(g) = -11*c(g) - 6*h(g). Let v be i(-1). Is 3 < v?
True
Let a = -0.12 - 0. Let d = 7.88 - a. Let i = 9 - d. Is 0.1 less than or equal to i?
True
Let m = -12/11 + 59/44. Is 1 at least m?
True
Let i = 4/41 