 3 = 4*f + 23. Let d be f/(-15) - 4/(-6). Is 2 equal to d?
False
Let g = 16 - 14. Which is smaller: g or 4/3?
4/3
Suppose 4*c - 3 = 13, -3*c = -j - 10. Let g be (6/(-30))/((-2)/55). Let p = g - 5. Is j not equal to p?
True
Let j = -17 - -17.2. Which is smaller: -0.2 or j?
-0.2
Let z = -3 - -4. Let p = -1 + z. Let r be (3/9)/(5/(-2)). Which is smaller: r or p?
r
Let z(m) = m + 11. Let u be z(-9). Suppose u*b - 16 = -5*w, 0*w = 3*w + 5*b - 21. Which is smaller: w or 1?
1
Suppose 4*r = 2*i - 10, 2*r + 0*i - 4 = -2*i. Let n be (-2 - -2) + -5 - r. Are -5 and n equal?
False
Let g(p) = p**2 + 9*p + 7. Let q be g(-8). Let r be 282/1110 + 1/(-5). Which is smaller: r or q?
q
Let t = -12.6 + 7.7. Let f = t - -5. Are f and 0 equal?
False
Let i be ((-4)/15)/(6/(-5)). Let u = -4 - -11. Suppose -4*k - 15 = y, 3*k + u + 7 = 2*y. Which is bigger: y or i?
y
Suppose 5*z = 3*q - 49, z + 3 = -5*q - 18. Is z at most 3/7?
True
Suppose c + 5 = -3*y + 2*c, -5*y + 5 = 5*c. Which is greater: y or 1/4?
1/4
Let g = -12 + -52. Is -64 less than or equal to g?
True
Suppose j + 0 = -2. Let l = 3 - 4. Let c be l*2*4/8. Which is smaller: c or j?
j
Let g be 3/(-2) + (-1)/2. Suppose -16*f + 10 = -21*f. Is f at least as big as g?
True
Suppose -2*k - 8 = -2*v, v - 2*k = -7*k - 8. Let d = -1 - -16. Let o be (-5)/d + v/18. Is o at most -1?
False
Let b(u) = u**3 - 5*u**2 - 6*u - 1. Let v be b(6). Let n(i) be the second derivative of i**3/6 - 5*i**2/2 - i. Let j be n(4). Is j >= v?
True
Let m(q) = 3*q. Let r be m(-1). Let p(i) = 3*i**2 + 1 - i**3 + i - 5*i + 3*i. Let a be p(3). Are r and a unequal?
True
Let b(m) = -m**3 - 7*m**2 - 8*m + 3. Let d be b(-6). Suppose -5*q + 27 = -4*f, 3*f + f + d = q. Which is greater: f or -0.1?
-0.1
Suppose s = 5*f - 15, -2*s - 5*f + 20 - 5 = 0. Which is greater: s or 5/7?
5/7
Suppose 0 = -3*w - 9 - 3, -2*i - 8 = 5*w. Suppose 4*d = 4 + 4. Let k = d - -3. Are k and i unequal?
True
Let f = 6.3 + -6.3. Let i = 2 + -2.02. Is i less than f?
True
Let a = -1 + 2. Suppose -10 - a = -s. Let y be (-47)/77 + 2/s. Which is smaller: y or -1?
-1
Let d(h) = -h**3 + 5*h**2 - 2. Let k be d(5). Let n = k + 0. Let x be n + 1/2*0. Which is bigger: -2/5 or x?
-2/5
Let k be ((-28)/16)/(1/4). Let g be (-7)/k - (1 + 1). Is -4/13 less than g?
False
Let a = 0.17 - -0.13. Let o = 0 - 3. Let p = o - -4. Is a at most as big as p?
True
Let o = 4829/35 - 138. Let m = -29/210 + o. Is m less than or equal to 4?
True
Let r = 278 + -3062/11. Let h = -63/143 - r. Which is bigger: 1 or h?
1
Let c(o) = -o**3 + 4*o**2. Let s be c(4). Let g(k) = k. Let f be g(2). Which is smaller: f or s?
s
Let a be 10/3 + (-4)/12. Let b = 28/9 - a. Do b and 1 have the same value?
False
Let o(j) = 3*j - 7. Let m be o(2). Is m greater than or equal to 0?
False
Suppose 0 = 2*k + 6, 4*k + 13 - 40 = -3*s. Is 13 greater than s?
False
Let p be ((-2)/3)/((-16)/144). Is 7 at most p?
False
Let c(k) = 10*k**3 - 2*k**2 - k. Let h be c(-1). Let y = -28 + 17. Is h > y?
False
Let z(p) = -3*p**2 + 7*p + 6. Let h be z(5). Are h and -34 equal?
True
Let u be (0 + 44)*(-9)/2. Let l be ((-12)/u)/(4/(-6)). Suppose 5 = -4*w + d, 2*d - d + 4 = -5*w. Is w bigger than l?
False
Suppose 2*t = -2*t - 0*t. Is t >= 2/105?
False
Let c(y) be the second derivative of y**5/20 - 5*y**4/12 + 5*y**3/6 - y**2 - y. Let g be c(4). Is -3 >= g?
False
Let j(s) = -s**2 - 4*s - 2. Let i be j(-4). Suppose -2 = -5*k - 7. Which is greater: k or i?
k
Let p be ((-3)/(-4))/(117/(-208)). Which is smaller: 0 or p?
p
Let s = -1 + 3. Let n = 14 - 13.06. Let t = n - -0.06. Is t at most as big as s?
True
Let i = 1.9 - 0.4. Let k = 4.5 + i. Let s = k + -5. Is s equal to 1?
True
Suppose 2*g = 2*r + 4, 0 = 2*r + 5*g + 39. Let w = -28 - -70. Suppose -t = 6*t + w. Is r less than or equal to t?
True
Let y be (-44)/6 + (-2)/3. Let t(k) = 7*k**2 + 8*k + 6. Let a(d) = 15*d**2 + 16*d + 13. Let h(z) = -6*a(z) + 13*t(z). Let m be h(y). Which is bigger: m or -2/5?
m
Let w = 0.14 - 0.1. Let x = -0.04 + -0.12. Let s = 0.06 + x. Which is greater: s or w?
w
Let j be ((-2)/(-6))/((-1)/(-6)). Suppose -2*b = -3*g - 6, -12 = -4*b - 4*g - 0*g. Is j at most as big as b?
True
Let d(v) = -3 - 3*v + 0*v + 2*v. Let c be d(-3). Is c smaller than -1/8?
False
Let m(u) = -5*u - 2. Let i(l) = 14*l + 6. Let w(n) = 4*i(n) + 11*m(n). Let j be w(0). Is 4/3 at least as big as j?
False
Let j = 0.004 - -0.796. Is j at most 1/3?
False
Let w = 3 + -3.2. Let k = 3.4 - 3.1. Let f = k + w. Is f at least as big as 4?
False
Let d = -35.31 - -35. Let s = d - -0.11. Which is smaller: -1/2 or s?
-1/2
Let t(f) = -3*f + 3. Let m be t(-3). Suppose -5*p - 4*k + 2 = 4, -3*k + m = -3*p. Is -4/3 smaller than p?
False
Let z be 36/(-7) + 7/49*1. Which is bigger: z or -6?
z
Suppose v = -0*v + 2. Suppose 0 = v*z + 3 + 3. Let a(s) = s**3 + 2*s**2 - 2*s + 1. Let o be a(-3). Is z < o?
True
Let g(o) = o**2 - 3*o + 2. Let x(b) = b. Let c(p) = -g(p) + 3*x(p). Let i be c(5). Which is smaller: 4 or i?
i
Let q be (2 + -4 - -4)/(-3 - -5). Let m be ((-4)/(-95))/((-4)/10). Is m <= q?
True
Let x(w) = -w**2 + 7*w + 8. Let n be x(8). Let v be 3 - (2 + 5 - n). Let r(i) = -i**2 + i + 2. Let y be r(3). Is v at most as big as y?
True
Let b = 6 + -6. Let f = b - -3. Is 3 greater than or equal to f?
True
Let f = -31 - -51. Let g = f + -12. Let u = 8 - g. Is -1 at most u?
True
Suppose -2*p + 8 - 58 = s, -4 = -2*p. Which is bigger: s or 0.1?
0.1
Let b be ((-3)/(-4))/((-15)/(-8)). Let y be (-4)/(-14) - 15/(-21). Let o = y - 1. Is b != o?
True
Let d = -289/2 + 4893/34. Are 0 and d equal?
False
Let u(a) = -3*a + 20. Let o be u(11). Suppose 0 = 5*l + 78 - 8. Which is greater: l or o?
o
Let n be (13 - 14)*2/8. Let p = 0 - 1. Let k = p - -2. Is k greater than or equal to n?
True
Let m = -0.03 + -2.97. Let a = -1 - m. Let k = 0 + -1. Is k < a?
True
Let g be (13/(-26))/(1/(-2)). Is 4 bigger than g?
True
Let n be (5/10)/((-5)/(-130)). Which is greater: 14 or n?
14
Suppose -8*w + 9*w - 5 = 0. Does 4 = w?
False
Let w be (-9)/351*(-1 - -10). Which is greater: w or -1?
w
Let z = 4 + -18. Let v be z/21 + 8/3. Suppose g = 2*g - 3. Which is greater: v or g?
g
Let l = 7 - 4. Suppose 0 = 5*i - l - 2. Let x be 0 + (0 - (-6)/45). Which is smaller: i or x?
x
Let x be (10/385*-1)/(2/(-1)). Is x equal to -1?
False
Suppose -2*q = -5*k - 0*k - 30, -4*k + 5*q - 24 = 0. Let w be k/14 - 0 - -1. Which is bigger: w or 2?
2
Suppose 0 = 7*y - 13*y + 90. Is y at most as big as 15?
True
Suppose 1 = 3*s - 7*s - 3*u, -3*s = 3*u. Is s bigger than -6?
True
Suppose 6*g - g = -15. Is -2 < g?
False
Let q = 1088/77 - 135/11. Which is greater: 3 or q?
3
Let b be ((-11)/88)/(0 - 1). Which is greater: b or 1?
1
Suppose -3*v + 3*b + 22 = 2*v, 3*v + 2*b = -2. Suppose -r - v - 10 = -4*i, -4*r + 3*i = -4. Let k be 20/(-8) + 2/r. Which is greater: -3/4 or k?
-3/4
Suppose 2*i + 5*r + 8 = -0, 4*i + 2*r + 16 = 0. Let l = i - -7. Suppose 0 = -4*p - l - 5. Which is smaller: -1 or p?
p
Suppose 4*h + 77 + 43 = 0. Is h <= -86/3?
True
Let d = -3 + 2.9. Let y = -0.2 - d. Is y != -0.1?
False
Let k be 3/1 - (7 + -5). Which is bigger: -1 or k?
k
Suppose 3 = u + 1, 2*m = u - 16. Let t = 9 + m. Suppose -5*a + t = 7. Which is bigger: a or -2/3?
-2/3
Let a(v) = v**3 - 10*v**2 - 12*v + 8. Let d be a(11). Let k be -4*33/30 - d. Let h(g) = g**3 - 6*g**2 - g + 6. Let n be h(6). Which is smaller: n or k?
k
Let u be (-25)/6 - (-36)/9. Which is bigger: 0 or u?
0
Let t = 30 + -33. Is -5 >= t?
False
Let p = 0.6 + -0.3. Let m = 0.1 - 0.1. Let f = p - m. Is 0.1 <= f?
True
Let n = 0 + 0. Let p be -1 + (-30)/42 + 1. Is n greater than p?
True
Let r = 31 + -35. Let j = 9 - 6. Let m = r + j. Which is greater: m or 1?
1
Suppose -3*b = -2*b + 1. Let o be (-3)/7 - 3 - -3. Do o and b have the same value?
False
Suppose 5*j + 2*o + o = -1, -5 = 5*j + 5*o. Which is smaller: j or -12/29?
-12/29
Suppose -14 = 3*p - 3*x + 7*x, -5*x + 29 = -4*p. Let u(k) be the first derivative of k**2/2 + 10*k + 8. Let c be u(-15). Is p equal to c?
False
Let a be ((-6)/(-324))/(4/(-426)). Let b = a - -20/9. Which is smaller: -1 or b?
-1
Let j = 18 + -29. Is j at least -1/4?
False
Let q = 0.2 + 1.8. Let c = -16 + 14.8. Let f = -0.9 - c. Is f bigger than q?
False
Let q = -2/207 - 136/207. Let c be -5 + -2 + 5 + 4. Let r be (0 + (2 - c))/(-2). Which is 