
False
Let c be (-2)/7 + (-69)/21*-1. Let w(k) = k + 1. Let r be w(1). Is c bigger than r?
True
Let v be (42/(-16))/((-3)/22). Let x = 19 - v. Which is smaller: x or -2/7?
-2/7
Let m = 23 + -5. Let k = 16 - m. Does 2/5 = k?
False
Let v(a) = -a + 4. Let i be v(2). Let w = 11 - -3. Suppose b - 3*d + 10 = 0, i*b + 5*d - w = b. Which is smaller: b or 0?
b
Let l = 40 + -25. Are 14 and l equal?
False
Let s = 16 + -22. Do -7 and s have different values?
True
Let o = -386/9 + 376/9. Which is smaller: -2 or o?
-2
Let w be 6*(-4)/(-9) + (-3)/(-9). Is 1 >= w?
False
Let g = -7 + 10. Let f(d) = -2 + 4 - 3*d**2 + 4*d**g - 3*d**3. Let x be f(3). Is 1 != x?
True
Let x = -5 - -5. Suppose -7*a + 3*a = 16. Let m = a - -1. Which is smaller: x or m?
m
Let p = 4955/9064 - 1/824. Is 1 at least p?
True
Let j be -2 - -6 - (-2)/(-1). Suppose 5*g - 3 = j*g. Which is bigger: 3 or g?
3
Let u = -16 - -20. Let o(f) = f**3 - 3*f**2 - 2*f - 2. Let t be o(u). Do 5 and t have the same value?
False
Let x be (0 - 2)*8/(-16). Which is bigger: 14/11 or x?
14/11
Let a = 28 + -28. Suppose 5*p + 41 - 16 = -5*f, 0 = -p - 2*f - 9. Which is smaller: p or a?
p
Let v = 0.2 - 0.3. Suppose 0*n + 45 = 5*n. Let y = n - 9. Is v < y?
True
Suppose -h = 2*h + 6. Let c(f) = -2*f**2 + 2*f + 2. Let l be c(2). Do h and l have different values?
False
Suppose -y = -4*y + 24. Let a be 20/y*(-8)/(-10). Suppose -5*o - 3*r + 20 + 7 = 0, 5*r = o + 17. Which is smaller: o or a?
a
Let p(s) = s - 4. Suppose -6*c + 2*c = -8. Let m = c - -1. Let y be p(m). Which is smaller: -2 or y?
-2
Let n = 0.5 + -0.45. Let w = 0.11 - n. Which is smaller: w or 0?
0
Let q(c) = -c**2 - 9*c + 3. Let i be q(-9). Suppose 3*w - 11 = -4*f - 0*w, 0 = i*f + 3*w - 12. Is f bigger than -1/11?
False
Let r be (1 - -6) + (-36)/(-12). Is r less than 11?
True
Let i = -2 - 5. Which is bigger: 2 or i?
2
Let p = 0.23 - 17.23. Let d = 16.91 + p. Let j = d - 0.01. Is -3/7 <= j?
True
Suppose 0 = -3*p + p. Is p less than -1/10?
False
Let f(y) = -2*y + 18. Let j be f(12). Let o be 8/(-3) + 2/j. Is -4 <= o?
True
Let s be 3/1*3/9. Let z = 1 - s. Let q be (-5)/2*4/(-95). Which is smaller: q or z?
z
Let c(k) be the third derivative of k**4/12 - k**3/6 + 2*k**2. Let a be c(1). Which is smaller: 2/17 or a?
2/17
Let d be 2 - -1 - (4 + -1). Suppose -11 = -5*h + r, d*r + 16 = 4*r. Which is greater: h or 4?
4
Let o be 2 + -2 - (2 - 0). Suppose 0*n - n + 6 = 0. Suppose 0 = 2*y - n*y - 4. Which is smaller: y or o?
o
Suppose 8 = -3*y - 2*f, 2*f + 10 = -4*y - 4. Which is bigger: -5 or y?
-5
Let n = -36 + 39. Which is bigger: -0.3 or n?
n
Let w(r) = -r**3 + r**2 + 2*r + 1. Let z be w(2). Which is smaller: z or 2/67?
2/67
Let m = 1/653 + -3278/8489. Let t be (28/273)/((-3)/(-8)). Let x = t + m. Do 1 and x have the same value?
False
Let r be (-2)/((-168)/(-52)) - (-8)/28. Which is greater: r or 129?
129
Let k(r) = -2*r**2 + 2*r**3 - 2 - 5*r**3 + 2 - r. Let h be k(-1). Suppose -5*m - 2 = -2*s + h, -m = -3*s + 19. Is s less than or equal to 7?
True
Let h(i) = i**2 + 2*i. Let r be h(-3). Let w = 0 - r. Let u be w/(-7)*(-6)/9. Does u = -2/7?
True
Let c = -2 - -9. Let v = 9 - 14. Let d = c + v. Is d smaller than 2?
False
Let n = -120/779 + 2/41. Suppose 45 = -21*o + 24. Do n and o have different values?
True
Suppose -22 = 2*z - 4*t, -2*z + 0*z - 4 = 2*t. Is z bigger than -1/5?
False
Suppose 5*g - 20 = -10. Let k(d) = -d**2 - d - 2. Let v be k(7). Let j = v - -176/3. Is j at least g?
False
Suppose -4*d - 5*c - 1 = 7, -c - 4 = 0. Let i be (d/4)/(6/(-148)). Let h = i + 17. Is h greater than or equal to -1?
False
Let j be ((-6)/4)/(12/592). Let y be (-6)/(-27) + j/90. Let t = -2 + 2. Which is smaller: y or t?
y
Let d = 9 - 15. Let t be d*1*2/(-30). Which is smaller: 0 or t?
0
Suppose -j = -5*j. Do 4/5 and j have the same value?
False
Let t(f) = -5*f - 2. Let l be t(8). Which is greater: -41 or l?
-41
Suppose 13 = -p - 2*q, 6*q - 3*q + 9 = 2*p. Let r be (-9 - 3)/p + -3. Is r at least 4/13?
True
Let i(c) = c**3 + 8*c**2 - 2*c - 16. Let p be i(-8). Suppose p = v + 2*v. Let z be (0 + (0 - -1))/(-1). Is v != z?
True
Let k(w) = -6*w + 1. Let u(s) = 7*s - 2. Let z(l) = -6*k(l) - 5*u(l). Let d be z(-6). Is -1 greater than d?
True
Let u(a) = -14*a + 32. Let y be u(3). Let g be (10 - -2)/(-1) - 0. Which is smaller: y or g?
g
Let h(o) = o**2 - 5*o + 3. Let c be h(5). Suppose 3*z = -4*q + 9 - 4, 5*q - 12 = 2*z. Is c <= q?
False
Let q be 2/(-5) + 32/5. Let s be 1 - (q + -2) - 2. Is s at least as big as -6?
True
Let m be -4*(15/(-12) - -1). Let z be 1*(-1)/7*-2. Which is smaller: m or z?
z
Let v = 0.2 - 0. Let g = -0.6 + 1. Let q = -0.4 + g. Which is smaller: q or v?
q
Let r be -2 - -1 - 2/(-6). Let u = 4 - 9. Let w = 6 + u. Which is smaller: r or w?
r
Let b = -277 + 2213/8. Which is smaller: b or -1?
-1
Let z be (-15)/18*(-3)/(-10). Let j = 3.6 + -7.6. Is z less than j?
False
Let d(o) = -2*o - 2. Let n be d(-3). Let k be (n/10)/((-1)/5). Which is bigger: -1 or k?
-1
Let j = 8 - 13. Let f(p) = p + 5. Let s be f(j). Is s greater than -2/15?
True
Suppose 5*j = -2*i + 9, -3*i + 4*j - j + 3 = 0. Let s be 4 + (4*-2)/4. Suppose s = u + u. Which is smaller: u or i?
u
Let n be (68/10 - 5)*30/16. Which is greater: 3 or n?
n
Let g = -7 - -6. Let y = -1 - -3. Let t = 2 - y. Which is smaller: t or g?
g
Let n be (-2)/(84/45) + 1. Let h(w) = w**3 + 6*w**2 + 5*w - 1. Let a be h(-5). Which is greater: a or n?
n
Let c be 0/((-3)/(6/(-4))). Suppose 4*r - r - 9 = c. Suppose 0 = -j - r*m - 11, 0 = -0*j - j + 4*m + 10. Is -2 at most j?
True
Let a be (-9 - -7)/(4/(-1)). Do a and -1/7 have the same value?
False
Let k(m) = -2*m**2 - 1. Let v be k(-1). Suppose 9 = -4*z + z. Is z at most as big as v?
True
Let w be (-4)/8 - 2/(-4). Let u be 2 + -3 + -2 - w. Which is smaller: u or -4?
-4
Let n(s) = -4*s - 4. Let a be n(-2). Suppose c - a = 3*c. Suppose 2*i + 1 + 1 = 0. Is c not equal to i?
True
Let j(n) = 2*n - 1. Let f be j(2). Let s be (1/3*0)/(-3). Suppose -f*u + s*u - 3 = 0. Do 0.1 and u have different values?
True
Suppose -g - 2 = -5*o, 0 = 2*o - o - 3*g - 6. Which is smaller: 2/101 or o?
o
Suppose r + 5*s - 25 = -4*r, -4*s = -20. Suppose -5*f = -r*f. Let m be (-8)/22*(-2)/(-4). Which is smaller: f or m?
m
Let h = 95990/9331 - 2/1333. Which is bigger: -2 or h?
h
Let i = 4.9 + -4.1. Do 0 and i have different values?
True
Let k = 2.9 - -1.1. Let v = 4.01 - k. Let q = v + -2.01. Which is bigger: q or -0.1?
-0.1
Let t = -1.038 + 0.038. Let i be 1 - (-5)/(70/(-8)). Which is greater: i or t?
i
Suppose 2*s + 2 = 4, 5*s - 17 = 4*z. Let n be -16*(z + 14/4). Let l be n/4 - 1*2. Do -3 and l have the same value?
False
Let d(x) = -2*x + 7. Let r be d(5). Let z be 1/2*(r + 3). Let k = 95/132 + 1/33. Which is greater: k or z?
k
Suppose 5*p - 3 - 21 = r, 3*r + 24 = 3*p. Suppose 3*q + 11 = -p*w, 2*w - 1 = q - 4. Is -2/53 >= q?
True
Suppose -j + 4 + 30 = -n, -2*n - 76 = -4*j. Is n <= -29?
True
Let x = -96 - -108. Is x at least as big as 12?
True
Let w(l) = l**3 + 8*l**2 - 6*l + 15. Let d be w(-8). Which is smaller: d or 64?
d
Let s = 4 - 8. Let g = s - -4.2. Which is smaller: -1/3 or g?
-1/3
Let t(z) = -4*z - 12. Let n be t(2). Is -22 at least n?
False
Let q = -34 - -37. Is 8/5 >= q?
False
Let z be -2*1 - (-1570)/40. Let u = -37 + z. Let i be 0 + 1 + 1 - 1. Do u and i have the same value?
False
Let v be 0/2*(-1 + 0). Let a be 21/6 + (-2)/(-4). Let x be v - (-2)/(-2 + a). Which is smaller: 0 or x?
0
Let w(x) = x**3 + x - 5. Let f be w(0). Let j = f - -1. Which is smaller: j or -5?
-5
Let q = -0.3 + 0.08. Are q and -1 non-equal?
True
Let h = -63 - -37. Let c be (-2)/(-5) - h/10. Suppose -3*w - c*k = -w - 2, -w + 2*k = -1. Which is greater: -1/4 or w?
w
Suppose 2*d = -d + 9. Let u = d - -1. Suppose 0 = u*s - 6 - 6. Which is smaller: s or 2?
2
Let f = -13 - -14. Is f greater than 2?
False
Let v be ((-4)/28)/(1/5). Are 0 and v equal?
False
Let w = -28 + 17. Let c be (-9)/(((-54)/(-8))/9). Which is bigger: w or c?
w
Let t = -558 + 2495/4. Let j = t + -65. Is 1 smaller than j?
False
Let l = 127 + -126. Is l greater than 9/8?
False
Let h(k) be the second derivative of -k**5/20 - k**4/2 - 5*k**3/6 - k**2 + 4*k. Let m be h(-4). Let a be (-7)/(-3)*m/(-49). Is 0 >= a?
False
Suppose -1 = 5*i - 6, 5*i = -t + 5. Is t smaller than -7/6?
Fal