t and d have different values?
True
Let c = 0 - -1. Let z(n) = -n**2 + 6*n + 2. Let b be z(5). Suppose -3*q - l + 4 = -b, -5 = -l. Is q greater than c?
True
Let w = -2 + 4. Suppose -w*p = -6*p. Suppose 3*h - 5*h - 4*i - 12 = p, 0 = 2*h - 5*i - 6. Which is bigger: 0 or h?
0
Suppose -2 = -5*p + 3. Are p and -2 non-equal?
True
Let z = 2 - 0. Let r = 3 + 1. Which is bigger: z or r?
r
Let k = 0 + 0. Is k equal to 1/5?
False
Let i = -10 + 8. Let l be i/3*(-30)/(-5). Is -4 less than or equal to l?
True
Let l be (-2)/9 - 4/(-6). Suppose 2*z - 18 = 5*g, 4*z - 12 = -3*g + 7*g. Which is smaller: z or l?
z
Let r = 7 - 3. Suppose 1 = 3*o - 2*z, -3*z = o - z - 3. Which is bigger: r or o?
r
Let p be -2*(4 - 76/20). Is 1 > p?
True
Let b = -103 + 159. Which is smaller: 58 or b?
b
Let c = 1 - 2. Let f = 0 + c. Let m = 2/13 + 5/52. Is m greater than f?
True
Let m be (-430)/4*(-7)/(-35). Let s = m + 21. Which is smaller: 0 or s?
s
Suppose -4*r - 12 = 0, d + 2*r + 7 = -r. Is d equal to 19?
False
Suppose 0 = 5*v - 3 + 8. Let h = v + 6. Which is smaller: 13/3 or h?
13/3
Let q be (-52)/10*(-20)/8. Let z = 7 - q. Let i be z/8 - (-9)/12. Which is bigger: i or 1/4?
1/4
Let s = 100 - 81. Is 19 >= s?
True
Let y(n) be the third derivative of -n**5/60 - 5*n**4/12 - 7*n**3/6 + 3*n**2. Let t be y(-9). Suppose 0 = 4*a - t*a - 4. Is a greater than or equal to 2?
True
Let o = -8 - -7. Which is smaller: o or 20?
o
Suppose -18*y = -15*y + 39. Let x = y + -4. Is x >= -17?
True
Let w = -23 + 47/2. Is -1 bigger than w?
False
Suppose -4*x + 15 = -x. Let l = -6 + x. Let d = 2 + -3. Are d and l non-equal?
False
Let v be ((-9)/(-27))/(14/3). Which is bigger: -2 or v?
v
Let w = -696/4355 - -2/335. Which is smaller: w or 1?
w
Suppose -5 = -4*b - b + 5*g, -3 = -3*b + 2*g. Which is bigger: b or 3/8?
b
Let n = -14 + 29. Let d be 144/410 - 6/n. Which is smaller: 0 or d?
d
Suppose 3*s = l - 3*l + 49, 4*s - 5*l - 50 = 0. Suppose -s = -q - 3. Let k be 10/8 - 3/q. Is 3/4 smaller than k?
True
Suppose -2*v - 8 = r - 42, 3*v + 4*r - 56 = 0. Suppose -d + v + 47 = 0. Let y be (3/(d/(-6)))/(-1). Which is smaller: y or 1?
y
Suppose -2*n - 14 = -18. Let d(z) = -11*z**2 + 11*z + 14. Let k(h) = -7*h**2 + 7*h + 9. Let u(q) = 5*d(q) - 8*k(q). Let r be u(n). Is r smaller than 0?
False
Let n be 0 + (-4)/(-18) + 50/99. Which is greater: n or 0?
n
Suppose 0 = q - r - 2 - 3, 4 = -r. Suppose 4*s = 3*t - 26, -t - 2*t + q = s. Which is smaller: 0.3 or t?
0.3
Let x be (1/((-10)/(-6)))/((-15)/(-50)). Suppose 5 - 3 = -2*h. Do h and x have the same value?
False
Let i be 27/21 - 4/14. Let r be 18/4*(-3 - -5). Let z be ((-3)/r)/((-34)/(-12)). Which is greater: i or z?
i
Suppose 3 = x - 7. Is 9 at most as big as x?
True
Suppose 5*w - 8 + 28 = 0. Which is bigger: w or -3?
-3
Let f = -1.7 + 1.7. Is f less than or equal to -0.04?
False
Let f be -3*(-1 - 4/2). Suppose -21 = 5*o - t, -3*o + f = -5*o + t. Let q be ((-2)/(-6))/((-2)/o). Which is greater: q or -1?
q
Suppose 0 = -5*v - u + 44, -20 = v - 5*v + 3*u. Suppose v*y = 3*y. Let j(k) = -k**2 - 9*k - 9. Let r be j(-8). Is r equal to y?
False
Let b = -19 - -45. Which is smaller: 0.3 or b?
0.3
Let q(t) = -t - 4. Let h be q(-7). Suppose 0 = h*v + 5 - 11. Suppose 0 = 4*u - 4 - 4. Is v at least as big as u?
True
Let u(i) = i + 1. Let s be u(3). Suppose 4*l - 4*k = k - s, 0 = -k. Do l and -2 have the same value?
False
Let h be -6*1*(-2)/4. Suppose -2*t - 1 - 5 = 0. Let z be t/(-6)*(1 - -1). Are z and h equal?
False
Let d = -4107 - -1055501/257. Let f = -2070/1799 + d. Is -2 >= f?
False
Let r(m) = m**3 + 5*m**2 - 2*m + 4. Let z be r(-6). Let g be (-3)/10*z/(-105). Which is smaller: g or -1?
-1
Let u = -1739862 - -1165708349/670. Let t = 1/134 - u. Which is bigger: -1 or t?
-1
Let y = -179/5 + 3068/85. Let w = y + 16/119. Which is smaller: w or 1?
w
Suppose 2*t - 5*t = 2*d - 3, -18 = -d + 4*t. Suppose -r = -4*r + d. Suppose -r = -4*b + 2. Which is greater: b or 2/17?
b
Let a = 19 + -21. Let g be (-2)/2 - (3 + -1). Are a and g unequal?
True
Suppose u + 4 = -r, u + 4*r + 10 = -6. Suppose u = 4*o + 30 - 6. Let z(j) = j**2 + 6*j. Let p be z(o). Is p at most as big as 1?
True
Let i be (-2)/(-4) - 3/(-2). Let s be (-1)/(34/(-16) - -2). Let z = 9 - s. Which is smaller: i or z?
z
Let z(q) = 3*q + 1. Suppose -4*i - 5 = i. Let b be z(i). Suppose 18 = -4*d - 0*d + 2*y, 24 = -5*d + 4*y. Which is bigger: d or b?
b
Let b be 100/(-39) - (-20)/(-30). Which is bigger: b or -3?
-3
Suppose 0*g - 13 = -3*h + g, 5*h + g = 35. Are h and 9 equal?
False
Let i = 81 - 80. Which is greater: i or -2/229?
i
Let r = 348 - 17401/50. Which is bigger: -1 or r?
r
Suppose 2*k - 8 = 8. Which is bigger: 9 or k?
9
Suppose 10 = 5*w + 5*t, 5 = 4*w + 3*t - 3. Is w at most 18/11?
False
Suppose 0 = -q + 1 - 0. Let o be q + 2 - (-2 - -1). Which is smaller: 7/2 or o?
7/2
Let x = 2 + -1. Let l = -6.5 + 3.1. Let c = 3.2 + l. Is x < c?
False
Let u = 176 - 864/5. Which is smaller: u or 4?
u
Let v = -3.6 - -0.6. Let r = v - -3.3. Let f = -1.1 + 0.1. Which is bigger: r or f?
r
Let n(k) = k**2 + 2*k - 1. Let u be n(2). Let j = 17 - u. Is 21/2 at most as big as j?
False
Let n be 2*2/(-8)*-1*14. Is 2 equal to n?
False
Let g = -2.7 - -2.57. Let o = 0.03 + g. Which is bigger: 2/3 or o?
2/3
Let w(r) = r + 4. Let h be w(5). Are -2 and h equal?
False
Let u be (4/(-3))/((-20)/12). Which is bigger: u or 2?
2
Let j(z) = z**2 + z - 1. Let h(m) = -5*m**2 - 13*m - 4. Let a(g) = -h(g) - 6*j(g). Let y be a(8). Let u be y - 2 - (0 + -1). Which is bigger: u or -1/2?
u
Suppose h + h = -8. Let b = -9 - -6. Which is bigger: b or h?
b
Let s be -6*(0 - (-3)/21). Which is smaller: s or -2?
-2
Let t = -10 + 17. Let s = 11 - t. Let y = s - -1. Is y equal to 4?
False
Suppose 3*u + 1 = 7. Suppose 0 = -j - u*j. Suppose j = -2*w - a - 3, 2*a + 4 = -2*w - w. Which is greater: w or -3?
w
Suppose 0 = 2*p - 5*r - 2, p + 2*r + r - 23 = 0. Let z = p - 8. Is z greater than or equal to 2?
True
Let p(a) = a**3 - 7*a**2 - 2*a + 10. Let i be p(7). Let c be (30/8)/5*i. Which is bigger: c or -2?
-2
Let x be (4/8)/(2/(-28)). Which is greater: -20/3 or x?
-20/3
Let t(n) = -11*n**2 - 5*n - 4. Let k be t(-2). Is -36 <= k?
False
Suppose 8*m = 6*m + 14. Are 7 and m equal?
True
Let m = 163/2 + -80. Suppose -5*q + q = -16. Suppose -q*k - 18 = -10*k. Which is greater: m or k?
k
Let g(z) = z**3 - 4*z**2 + z + 2. Let m be g(3). Let t be 2 + -1 + 3/m. Let j = 0.1 - 0.1. Is t greater than or equal to j?
True
Let x be -5*(-100)/164 - 3. Is 0 at most x?
True
Let w = 40 + -39.36. Which is bigger: w or 0.2?
w
Suppose 3*t - i - 2*i = 9, -2 = i. Is -2/25 > t?
False
Let v = 97/5883 - -3/1961. Let d = v - -541/777. Which is smaller: 2 or d?
d
Let o = -27 + 27.15. Is 0 greater than or equal to o?
False
Let k be 1/85*(-74175225)/(-1820). Let j = 8155/17 - k. Let r = -2/91 - j. Do 0.1 and r have the same value?
False
Let w = -1823/12 - -152. Which is smaller: w or 1?
w
Let h be ((-6)/12)/((-2)/(-4)). Let z be h/(-4) + (-21)/36. Is 1 less than or equal to z?
False
Suppose 0 = i - 4*q + 25, -4*i + 2*q + 1 = -5*i. Does i = -7?
False
Suppose 4 = -5*r - 11. Let l = 6 - 10. Is l less than r?
True
Suppose -z - 25 = -4*v + 2*z, 4*v = -5*z + 33. Let i be v/6*3 + -3. Which is greater: i or -2?
i
Let b = 10 + -8. Suppose -2*m - 4*s - 6 = 0, -b*m + s = -3*s + 14. Let o be 0 + 0 + m/6. Which is smaller: o or -2?
-2
Let n = 0.2 - 1.2. Suppose c + 106 = -3*p, 2*c + 0*c - p + 212 = 0. Let r = -528/5 - c. Which is bigger: r or n?
r
Let h = 30 + -29. Which is smaller: -1 or h?
-1
Let l(t) = -t**2 - 8*t - 1. Let n be l(-7). Suppose -4*m + 2 - n = 0. Which is bigger: m or 2/9?
2/9
Let y be (2/6)/(3/54). Suppose 16 = 4*k - 0*k. Suppose -k*o = -14 + y. Do o and 3 have the same value?
False
Suppose 2 = 2*m - 2. Which is smaller: m or 18/7?
m
Let k(u) = -u + 1. Let h(b) = -b**2 + 2*b - 9. Let z(n) = h(n) + 6*k(n). Let s be z(-3). Which is greater: -1 or s?
s
Suppose 0 = -5*h + 11 + 9. Suppose -o = o - 4. Suppose -o = k - h. Is k <= 2?
True
Let m = -11 + 10. Is m greater than -7?
True
Let b be (-1)/(-2) - 1/2. Which is smaller: 2/19 or b?
b
Let b = 0 + 0. Let w be (-2 - -1)*1 - -31. Let c be 6/(-4)*8/w. Is b greater than or equal to c?
True
Let x(a) = -5*a - 2. Let r be x(-4). Which is smaller: -1 or r?
-1
Let h = -3.0