6. Let x = 6 - 6. Which is smaller: a or x?
a
Let y = 1489/44 - 135/4. Let a = 1 + -1.2. Let p = -0.1 - a. Which is greater: p or y?
p
Let m = 37 + -39. Does m = 13/5?
False
Let a be 3*6/(-47)*(-3)/(-9). Which is bigger: 0 or a?
0
Suppose -4*y - 24 = a + y, 4*y + 24 = -2*a. Is a >= -4?
True
Let c(j) = -3*j - 2. Let o be c(-2). Suppose -14 = -4*n - 3*n. Is n bigger than o?
False
Let q be (-12)/16 + 77/108. Which is smaller: 1 or q?
q
Let c(t) = -t**2 + 1. Let d(b) = -b**3 + 5*b - 3. Let i(l) = -3*c(l) - d(l). Let f be i(-4). Let h = -3 + f. Is h at least as big as 3?
False
Let q = -4 - -1. Let a be (q - -5)*5/2. Suppose 0 - 1 = 3*k + f, 4*f = a*k + 13. Is -1/9 less than k?
False
Suppose -2*b + 5 = j - 2*j, -4*b - j + 19 = 0. Let w(i) = i - 4. Let l be w(b). Let c = 401/3 + -4393/33. Which is bigger: l or c?
c
Let u = 88 + -260/3. Which is smaller: u or 0?
0
Let q = -26 - -20. Let m be (-1)/((-1)/q*51). Are m and 0.1 equal?
False
Suppose q + 521 = 5*k, -2*k + q + 3*q + 194 = 0. Let h be -5*((-72)/k)/6. Which is smaller: 1/4 or h?
1/4
Let s = 0.02 + -0.07. Is 2 < s?
False
Let t(z) be the second derivative of -z**4/12 - 2*z**3/3 + z**2 + z. Let i be t(-5). Is -4 greater than or equal to i?
False
Let c = 84 + -84. Which is bigger: -5/7 or c?
c
Let q = -13 + 19. Which is smaller: 7 or q?
q
Suppose -2 = -c + 1. Let o = c - 2. Which is bigger: o or 2/17?
o
Suppose -7*s - 10 = 3*s. Is s greater than -0.3?
False
Let a = 153 + -154. Which is smaller: 1/99 or a?
a
Let r be (-5 - -6)/(5/(-15)). Let v = -8 + 5. Is r <= v?
True
Let p be (-1 - (-9)/(-3))/(-3 + -6). Do 1 and p have the same value?
False
Let h = 110.05 - 110. Which is bigger: -3 or h?
h
Suppose -1 - 3 = -4*j. Suppose -2*m + f = 2*m - 35, -4 = -4*f. Let i = m + -61/7. Which is greater: j or i?
j
Let m = -1188/17 + 70. Suppose 5*j = -5*c - 10, 4*j - 5*c = j + 18. Is j != m?
True
Suppose 25 = -u - 4*u. Let j be (u/10)/(1 + -2). Which is bigger: j or 1?
1
Let t be (-1)/((-16)/168)*2/5. Which is bigger: t or 4?
t
Suppose -3*c - a + 4 = 0, 5*c - c + 4*a = 0. Suppose 0 = -c*d + 4 + 2. Which is smaller: d or 2?
2
Suppose -m + 6*m - b + 408 = 0, 4*b = -2*m - 150. Let v be (m/(-45))/((-1)/(-5)). Let r be 96/(-54) - 2/v. Is -6/11 at least as big as r?
True
Suppose -3*o = o. Suppose o = -2*b + 3*v - 7, -5*v + 17 = 2*b - 0*b. Let h be b/5 - (-132)/40. Which is greater: 3 or h?
h
Suppose -3*s + 4*y = s + 20, 0 = -2*s + y - 12. Is -6 at most s?
False
Suppose -4*u + 116 = -80. Let t be 1/5 + u/(-45). Which is smaller: t or 0?
t
Suppose 25 = 15*k - 10*k. Let w = k - 4. Suppose s = 4*m + 2*s, -5*s = m. Which is smaller: w or m?
m
Suppose 5*g - 15 - 5 = 0, 4*q = g + 4. Suppose 3*u + 17 = 2. Let i be u/20*24/(-3). Is i at most as big as q?
True
Let v = 20 + -15. Suppose -3*r = v*k - 45, -2*k + 3*r = 2*k - 63. Which is smaller: 13 or k?
k
Let u = 8 - 7.1. Let o = -0.3 + u. Let m = 0.07 + -0.17. Does o = m?
False
Let s = 1/34 - -7/918. Is s at most as big as 1/4?
True
Suppose -6*r = -5*r - 2. Suppose 42 = 6*h - h + 2*i, 4*h = -r*i + 34. Is 9 at least h?
True
Suppose 0 = 5*f - f. Is -3/8 not equal to f?
True
Let t = 2/7 - 15/28. Which is bigger: -15 or t?
t
Let o be (-447)/(-11) + (-3)/(-3). Let w = o + -42. Is 1 at least as big as w?
True
Suppose -f = 4*n - 23, -3*f + 19 = n + n. Which is smaller: 12 or f?
f
Let t = -6 - 6. Is -25/2 >= t?
False
Let d = 3.9 - -1.1. Let j = 4.9 - d. Let x be (-4)/(-13)*(-1)/2. Are x and j unequal?
True
Let p = 8.4 + -8. Let q = 2 + -1.3. Let k = p - q. Is -1 > k?
False
Let j = -0.7 + 0.6. Let a = j - 0. Is a at most 0.6?
True
Let g be -1*(0 - 2 - 1). Suppose 2*w = g*w - 1. Let p = -223/4 + 56. Is p bigger than w?
False
Let g(h) = h**2 - 8*h. Let r be g(8). Suppose r - 5 = w. Is w greater than -5?
False
Suppose 4*u - 118 = 6*u. Let v = -237/4 - u. Which is smaller: -1/2 or v?
-1/2
Let r = 5 + -5.2. Let c = r - -0.6. Which is greater: c or 2/7?
c
Suppose -5*j + 2 = 5*d - 33, 12 = j + 2*d. Let t(z) = 8*z**2 + 1 + j*z**3 + 0*z**2 - 3*z**3 + 9*z. Let n be t(9). Do n and 1 have the same value?
True
Let f(v) = -v**2 + 9*v + 4. Let w be f(7). Is w at least as big as 16?
True
Let d(i) = -4*i**3 + i**2 - 2*i - 2. Let s be d(-2). Suppose -3*w = -5*j - 98, 5*w - s = 4*w - j. Let t be (-8)/18 + (-8)/w. Which is smaller: 0 or t?
t
Let h be (-2 + 1)*0 - 794. Let c = h + 13494/17. Which is smaller: 0 or c?
c
Suppose s - 4*s = -105. Suppose 0*c - 5*c + s = 0. Do c and 6 have different values?
True
Suppose 3*m - 4 = 2*x + 5, 3*m - 12 = 3*x. Let h be (-5)/x + -3 + 2. Is h less than or equal to 0.4?
False
Let h = 82/3 + -28. Which is smaller: h or -1?
-1
Let v = 6 + -2. Which is bigger: 1 or v?
v
Let l be 8/(-32) - (-7)/(-4). Let c be 2/(-5) - l/2. Which is smaller: 1/3 or c?
1/3
Suppose 0 = 5*u + b - 4, u - b = -u - 4. Which is bigger: u or -2?
u
Let v be (-3 - -4 - -7) + 3. Let w = v - 6. Is w > 5?
False
Let y(l) be the second derivative of 1/20*l**5 - 1/2*l**2 + 0 + 0*l**4 + 2*l + 0*l**3. Let b be y(1). Which is smaller: b or -1/2?
-1/2
Let i = 0.6 - -6.5. Let b = -13 - -6. Let v = b + i. Which is smaller: -1/3 or v?
-1/3
Let u = -1/5 + -23/10. Let p be (1/2)/((-2)/16). Which is bigger: u or p?
u
Let x = 107 + -99. Is 0.3 at least x?
False
Let c = 262 + -271. Let p = -0.2 - -0.2. Is p less than or equal to c?
False
Suppose 4*z = 5*z - 5*g + 5, 4*z - 14 = 3*g. Let s = -15 - -21. Is s at least as big as z?
True
Let i be -4 - -2 - (-8 + 2). Let p = i - 2. Does p = 1?
False
Let p = -1991 + 135385/68. Is p equal to 0?
False
Let p(h) be the third derivative of h**6/720 - h**5/15 + h**4/12 + h**2. Let x(j) be the second derivative of p(j). Let f be x(9). Is f equal to -1/3?
False
Let j = 1279 + -8927/7. Let m = -116/35 + j. Which is smaller: m or -0.3?
-0.3
Let x(i) = i**2 + 12*i + 8. Let g be x(-11). Which is smaller: -0.4 or g?
g
Let h be (0 - -4)*1*-2. Let k = h - -9. Which is greater: 1/4 or k?
k
Suppose 6*t + 6 = 8*t. Which is greater: t or -1?
t
Let x = 0.41 + -1.46. Let v = 0.05 + x. Is v equal to -1?
True
Let n(y) = 2*y**2 + 16*y - 13. Let q be n(-9). Is q > 7?
False
Let v be 0/1 - (-14)/(-8). Let m = -167 + 164. Which is smaller: v or m?
m
Suppose -f + 3*u - 3 + 1 = 0, -f + 2*u = 1. Suppose f = 2*w - 1. Are -1/6 and w non-equal?
True
Let m be (-2)/5 + (-14)/(-10). Let q be 2/m - (0 + 2). Let s = -5 - -3. Which is smaller: s or q?
s
Let j(l) = 9*l - 5. Let k be j(2). Suppose -34 + k = q. Is -20 at least as big as q?
True
Let n = 3.3 - -14.7. Let z = n - 22. Which is bigger: 1/2 or z?
1/2
Let n(h) = h**2 - 16*h - 2. Let i be n(15). Let d = 13 + i. Is -5 at least d?
False
Let d = -12.1 - -1.1. Let y = d - -10. Is 0.1 less than y?
False
Suppose 3*d - 7 = 2. Suppose h - d*h = 0. Are -0.1 and h non-equal?
True
Let w be 2*(-1)/2*-1. Let b(j) = -2*j + 2. Let n be b(6). Let a be (1/(-5))/((-16)/n). Is w at least a?
True
Let a(o) = 12*o - 3. Let h be a(11). Let n be (2/h)/(1/(-3)). Is -1 less than or equal to n?
True
Let p = 77.9 + -78. Let l be ((-6)/(-14))/(6/4). Which is smaller: l or p?
p
Suppose 18*g - 152 = 22*g. Is g at most as big as -37?
True
Let s = 5 + -3. Let k be s + (1 - (3 + 0)). Suppose c = -2 - k. Is c less than -2?
False
Let t = -2117/388790 + -1/2287. Let o = -543312/85 - -6392. Let m = t - o. Is m smaller than 0?
True
Let g be 3/18*8/(-12). Do -0.3 and g have the same value?
False
Suppose f + 9 = -2*f. Let b = 7.3 + -7.5. Is f <= b?
True
Let l(n) = n**3 - 25*n**2 + n - 35. Let b be l(25). Is b greater than or equal to -4?
False
Let j = -27.7 - -10.7. Which is bigger: 5 or j?
5
Let q = 19 - 19. Which is smaller: -1/43 or q?
-1/43
Let u be 40/12*(-14)/35. Is -11 at most u?
True
Suppose 4 - 10 = 3*i. Let a be i/21 + (-9)/(-21). Let c = -80/11 - -323/55. Which is greater: c or a?
a
Let l(h) = -3*h - 24. Let g be l(-9). Is 11/5 bigger than g?
False
Let j = -4 - -6. Let h be (j/(-4))/((-1)/(-2)). Which is smaller: h or 1/8?
h
Let a(r) = r**3 - 7*r**2 + 8*r - 14. Let l be a(6). Let k = -2 + 1. Which is smaller: k or l?
l
Suppose 5*j + 2 = 3*j. Let t(f) = f**3 + 3*f**2 + 2*f + 1. Let l be t(j). Which is greater: 2 or l?
2
Let w(n) = 6*n - 4*n - 5*n + 4*n + 7. Let c be w(-5). Let l(o) = -o**3 + 2*o**2 - 3*o + 3. Let x be l(c). Are x and -3 unequal?
False
Suppose -5*g + 10 = -3*g. Suppose 3*n =